检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于语法树的实时动态电压调节低功耗算法

软件学报 2005年第10期16卷 1726-1734页

作者：易会战陈娟杨学军刘喆国防科学技术大学计算机学院湖南长沙410073

动态电压调节是一种有效的低功耗技术.使用这种技术,编译器指导的动态电压调节能够有效地降低系统功耗.提出了基于语言语法树的实时动态电压调节低功耗算法.该算法在静态程序最差时间分析方法的辅助下,通过在程序内部自动插入电压调节... 详细信息

动态电压调节是一种有效的低功耗技术.使用这种技术,编译器指导的动态电压调节能够有效地降低系统功耗.提出了基于语言语法树的实时动态电压调节低功耗算法.该算法在静态程序最差时间分析方法的辅助下,通过在程序内部自动插入电压调节代码来实现电压调节.在RTLPower(real-timelow-power)实时低功耗系统上完成了算法的实现,对嵌入式测试,程序集的初步测试证明该算法最大可节省50%的能量消耗.

关键词：编译器语法树实时动态电压调节低功耗 RTLPower

在线全文

学校读者我要写书评

暂无评论

语法树推导种类的求解模型

计算机应用 2006年第S2期26卷 236-238页

作者：张超群毛建兰方丽菁广西民族大学数学与计算机科学学院广西南宁530006 南宁研华电子科技有限公司广西南宁530022

在分析任意一棵语法树的结构特点的基础上,用组合数学来建立求解任意一棵语法树对应句型的推导种类的数学模型。经过实例和验证程序证明了所建的模型是合理和有效的。

关键词：推导语法树句型文法

在线全文

学校读者我要写书评

暂无评论

基于语法树的SAO结构识别方法研究

图书情报工作 2016年第21期60卷 113-121页

作者：杨超朱东华衡晓帆汪雪锋北京理工大学管理与经济学院北京100081

[目的/意义]SAO是一种能够表示主题信息和主题间关系的3元组结构,是文献计量学领域一个快速发展的研究方向。为了获得"满足文献计量分析需求的SAO结构",需要解决现有SAO结构识别方法遭遇的3个问题:查全和查准率低、所识别SAO结构和领域... 详细信息

[目的/意义]SAO是一种能够表示主题信息和主题间关系的3元组结构,是文献计量学领域一个快速发展的研究方向。为了获得"满足文献计量分析需求的SAO结构",需要解决现有SAO结构识别方法遭遇的3个问题:查全和查准率低、所识别SAO结构和领域主题相关性不强以及矩阵稀疏性。[方法/过程]提出一种面向文献计量分析的基于语法树的SAO结构识别方法,首先基于共现算法和"主题词簇"方法(term clumping)识别SAO核心组件,然后利用基于语法树的抽取算法实现SAO结构的逐层抽取。[结果/结论]案例研究发现,该方法的平均查准率为0.805 8,平均查全率为0.844 6,所识别SAO结构与领域主题关系较强,且矩阵稀疏性也得到较好改善,可有效应用于相关文献计量分析。

关键词： “主语-行为-宾语”(SAO)识别语法树语义分析共现算法主题词簇

一种上下文无关语言语法树的存储模式及其应用

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2005年第12期26卷 2245-2249页

作者：敖丽敏冯潮阳中国农业大学信息与电气工程学院北京100083 东北电力学院信息工程系吉林吉林132012

针对上下文无关语言的句子所对应的语法树G树的表示形式提出了一种关系数据库的存储形式.这种存储形式的优点是:表示形式一致;句子分析简单;语句执行速度快.这种存储形式作为一种上下文无关语言的中间语言的形式可以直接交付解释器(抽象... 详细信息

针对上下文无关语言的句子所对应的语法树G树的表示形式提出了一种关系数据库的存储形式.这种存储形式的优点是:表示形式一致;句子分析简单;语句执行速度快.这种存储形式作为一种上下文无关语言的中间语言的形式可以直接交付解释器(抽象机)执行.同时介绍基于这种表示形式的上下文无关句子的编辑器.编辑器是基于W eb的交互式语法制导生成方式实现的.这种表示与存储形式被用于一种描述过程性知识的函数式语言.

关键词：上下文无关语言语法树表示形式语法制导

在线全文

学校读者我要写书评

暂无评论

基于语法树和程序正确性验证研究

计算机应用与软件 2007年第4期24卷 111-112,156页

作者：周必水李骏沃钧军杭州电子科技大学软件学院浙江杭州310018

提出了一种新的基于语法树的程序正确性验证方法(STM方法)。在理论和算法上对方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法的切实可行的解决方案。

关键词：程序正确性验证语法树 XML 解决方案

基于语法树的程序代码复制检测方法及其评价机制的研究

在线全文

学校读者我要写书评

暂无评论

内蒙古大学学报（自然科学版） 2010年第5期41卷 594-600页

作者：张丽萍刘东升李彦臣内蒙古师范大学计算机与信息工程学院呼和浩特010022

程序代码复制(抄袭)检测是计算机软件理论与计算机应用技术中重要的科学问题之一.深入总结了程序代码复制检测的理论方法和技术发展现状,积极探索程序代码在语法树框架下的各种适用性方法,开展基于语法树的多种复制检测方法及其评价机... 详细信息

程序代码复制(抄袭)检测是计算机软件理论与计算机应用技术中重要的科学问题之一.深入总结了程序代码复制检测的理论方法和技术发展现状,积极探索程序代码在语法树框架下的各种适用性方法,开展基于语法树的多种复制检测方法及其评价机制研究,并详细地阐述了其中的关键问题.

关键词：代码复制检测语法树复制检测方法综合评价机制

基于关系语法树的C/C++代码静态检测方法研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与设计 2011年第8期32卷 2879-2884,2900页

作者：刘春燕赖晓晨周宽久郑红波大连理工大学软件学院辽宁大连116620

为减少软件静态分析中信息冗余度并提高信息提取的准确率和效率,提出了一种基于关系存储模式的关系语法树模型,以终结符之间的依存关系建模,有效地减少了信息冗余度,并以可扩展标记语言(extensible markup language,XML)标准格式存储。... 详细信息

为减少软件静态分析中信息冗余度并提高信息提取的准确率和效率,提出了一种基于关系存储模式的关系语法树模型,以终结符之间的依存关系建模,有效地减少了信息冗余度,并以可扩展标记语言(extensible markup language,XML)标准格式存储。利用了成熟的XML解析技术,设计了一种基于XML中间模型的静态检测方法,并将该方法应用于编程规范检测中。实验结果表明,该方法有效地提高了检测效率和精度。

关键词：静态分析关系存储语法树可扩展标记语言编程规范

在线全文

学校读者我要写书评

暂无评论

基于抽象语法树的代码静态自动测试方法研究

北京化工大学学报（自然科学版） 2007年第A1期34卷 25-29页

作者：高传平谈利群宫云战北京图形研究所北京100029 北京邮电大学网络与交换技术国家重点实验室北京100876

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试。动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误,但对于... 详细信息

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试。动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误,但对于一些特殊类型错误的检测无效。鉴于此,本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,进而提出了基于抽象语法树的静态分析技术,并给出了故障自动检测算法。依据该算法开发了自动化测试工具,给出了实验结果和对比分析,并指出了下一步的研究方向。

关键词：软件测试静态分析故障故障模型语法树

在线全文

学校读者我要写书评

暂无评论

基于关键词和语法树的文本风格迁移模型

基于关键词和语法树的文本风格迁移模型

作者：王宇航华东师范大学

学位级别：硕士

文本风格迁移是自然语言处理领域中一个前沿的细分领域,具有重要的研究和工业应用价值。本文在前人研究的基础上,通过对比发现以往模型的不足,进而找到本文的研究目标,即针对现有模型无法实现文本内容和风格保留的平衡的问题,以及现有... 详细信息

文本风格迁移是自然语言处理领域中一个前沿的细分领域,具有重要的研究和工业应用价值。本文在前人研究的基础上,通过对比发现以往模型的不足,进而找到本文的研究目标,即针对现有模型无法实现文本内容和风格保留的平衡的问题,以及现有模型往往只能针对一种语料库,无法对平行语料和非平行语料均做针对性优化的问题,展开了研究探索,本文提出了一种基于关键词和语法树的文本风格迁移模型,不仅解决了现有模型的上述两个问题,而且尝试将其应用在相关的自然语言处理的聊天机器人任务中,从而实现了理论到工业落地的探索。本文受自然语言领域研究的启发,提出了一种基于关键词和语法树的文本风格迁移模型,从词语和语序的角度出发,将模型的整体框架设计为两阶段的处理任务,即先找到目标文本的可能表达的关键词词语列表,其次将这些词语列表通过融合语法树进行排序,输出既保留语意又符合语法的目标文本,并在平行语料和非平行语料两类数据中设计并进行了实验,此外,本文借鉴文本翻译的成熟评价指标,对模型进行了实验验证,证实了模型的有效性。本文的核心贡献主要有以下几个方面:（1）.本文实现了一种基于关键词和语法树的模型,不仅能很好的保留原文语意,又能实现可控的进行文本的风格的转换,且生成的文本具有较好的可读性,解决了过往模型无法实现文本内容和风格保留的平衡的问题。（2）.本文提出了一套预测排序框架。不仅能实现对有监督学习任务和无监督学习任务的处理。通过替换预测词语器模块,可以针对性的对有监督任务和无监督任务进行优化,解决了现有模型往往只针对一类语料的问题。（3）.本文基于上述模型开发了一个可以定制机器人语言风格的聊天机器人APP。通过指定机器人聊天风格,可以实现聊天机器人回复用户时有统一的语言风格。解决了聊天机器人任务,由于训练语料的多样性和不确定性导致的聊天回复文本风格不统一的问题。

关键词：文本风格迁移文本生成有监督学习无监督学习语法树