基于二进制补丁比对的软件输入数据自动构造 被引量：2

1

作者 沈亚楠 赵荣彩 +4 位作者 任华 王小芹 刘振华 张新宇 李鹏飞 《计算机工程与设计》 CSCD 北大核心 2010年第14期3169-3173,共5页

在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分... 在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分析人员构造软件畸形数据的过程,为其快速触发软件脆弱点创造了条件。 展开更多

关键词 软件二进制补丁比对 函数调用图 遗传算法 适应值函数 软件输入数据自动构造

在线阅读 下载PDF 职称材料

Polycube参数化自动构造 被引量：1

2

作者 林俊聪 金小刚 +2 位作者 范争文 刘圣军 冯结青 《软件学报》 EI CSCD 北大核心 2008年第11期3061-3072,共12页

提出了Polycube参数化的自动构造技术.该算法首先对网格进行特征分解,然后用立方体组成的一些基本形体逼近分解得到的各部分网格区域,确定基本Polycube的顶点和边在区域上的对应顶点和路径,将各区域进一步分解为面片,从而在构造Polycub... 提出了Polycube参数化的自动构造技术.该算法首先对网格进行特征分解,然后用立方体组成的一些基本形体逼近分解得到的各部分网格区域,确定基本Polycube的顶点和边在区域上的对应顶点和路径,将各区域进一步分解为面片,从而在构造Polycube的同时完成对曲面的分片,最后再分片参数化并进行面片间的平滑,高效地实现了Polycube的自动参数化.该方法在很大程度上减少了Polycube构造过程中的人工干涉,使其能够在纹理映射等方面得到应用. 展开更多

关键词 参数化 Polycube 自动构造 REEB图 特征分割

在线阅读 下载PDF 职称材料

SLR(1)词/语法分析的自动构造 被引量：4

3

作者 温敬和 温敬平 《计算机工程》 CAS CSCD 北大核心 2002年第3期276-278,共3页

主要讨论了(SLR1)词语法分析器的自动构造,自动生成的()语法分析器可从自动生成的()词法分析器中获得测试SLR1/SLR1SLR1数据进行语法分析,论文相关的软件除可用于编译原理课程教学演示外,还可用于实际编译程序的()词语分析器的自动构造... 主要讨论了(SLR1)词语法分析器的自动构造,自动生成的()语法分析器可从自动生成的()词法分析器中获得测试SLR1/SLR1SLR1数据进行语法分析,论文相关的软件除可用于编译原理课程教学演示外,还可用于实际编译程序的()词语分析器的自动构造。由于SLR1/具有()分析表自动构造功能,因此该软件还可作为软件工具用于程序设计语言本身的设计和构造。 展开更多

关键词 编译程序 翻译程序 词法分析 语法分析 自动构造 SLR(1)词/语法分析器

在线阅读 下载PDF 职称材料

基于XYZ/RE的多媒体同步器自动构造方法 被引量：1

4

作者 赵琛 唐稚松 马华东 《软件学报》 EI CSCD 北大核心 2000年第8期996-1002,共7页

XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统 .它由时序逻辑语言(temporal logic language,简称 TLL) XYZ/ E和以该语言为基础的一组软件工程工具组成 .为了研究 XYZ系统在多媒体领域中的应用问题 ,介绍了... XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统 .它由时序逻辑语言(temporal logic language,简称 TLL) XYZ/ E和以该语言为基础的一组软件工程工具组成 .为了研究 XYZ系统在多媒体领域中的应用问题 ,介绍了一种依据多媒体对象时序描述自动生成用 XYZ/ RE表示的播放同步器的方法 ,XYZ/ RE是时序逻辑语言族 XYZ/ E中表示实时系统的子语言 .与相关工作比较 ,该方法不仅可以处理简单的时序关系 ,而且可以处理嵌套的时序关系 ,所产生的同步器可以复用于不同的节目 . 展开更多

关键词 多媒体同步器 自动构造 XYZ系统 RE

在线阅读 下载PDF 职称材料

汉语句法规则的自动构造方法研究 被引量：3

5

作者 周强 黄昌宁 《中文信息学报》 CSCD 北大核心 1998年第3期1-7,共7页

本文对汉语句法规则的自动构造方法进行了一些探索。通过对汉语句法规律的总结和提炼，提出了一套简单灵活的汉语句法元规则描述体系，包括结构元规则集、标记特征表和中心标记表等部件，在此基础上，构造了一个有效的元规则解释器，取... 本文对汉语句法规则的自动构造方法进行了一些探索。通过对汉语句法规律的总结和提炼，提出了一套简单灵活的汉语句法元规则描述体系，包括结构元规则集、标记特征表和中心标记表等部件，在此基础上，构造了一个有效的元规则解释器，取得了较好实验效果。 展开更多

关键词 语法构造 自然语言处理 汉语句法规则 自动构造

在线阅读 下载PDF 职称材料

LR分析法在词法分析器自动构造中的应用 被引量：12

6

作者 温敬和 《计算机工程》 CAS CSCD 北大核心 2001年第7期188-190,共3页

提出了一种新的自动构造编译程序词法分析器的方法,分析法通常用于语法分析,但只要适当修改分析总控程序,就可将分LRLRLR析法用于词法分析器的自动构造。该方法的优点不仅在于将词法分析器自动构造方法与语法分析器自动构造方法统一,简... 提出了一种新的自动构造编译程序词法分析器的方法,分析法通常用于语法分析,但只要适当修改分析总控程序,就可将分LRLRLR析法用于词法分析器的自动构造。该方法的优点不仅在于将词法分析器自动构造方法与语法分析器自动构造方法统一,简化了编译程序的设计和构造,而且该方法自动化程度较高,只要确定描述单词的文法和词形编码表,便可自动生成任何程序设计语言编译程序的词法分析器。 展开更多

关键词 编译程序 自动构造 LR分析法 词法分析器

在线阅读 下载PDF 职称材料

短跑运动员主要技术参数的计算机自动构造

7

作者 程燕飞 李艳霞 《山东体育学院学报》 北大核心 2009年第6期77-80,共4页

为了解决运动录像解析系统信息反馈缓慢和可操作性差的问题,以短跑为例,研制了"短跑主要技术参数"计算机应用程序,利用计算机智能自动识别运动各阶段的特征时刻(如脚离地瞬间,脚着地瞬间,前、后支撑分界时刻等),从而实现计算... 为了解决运动录像解析系统信息反馈缓慢和可操作性差的问题,以短跑为例,研制了"短跑主要技术参数"计算机应用程序,利用计算机智能自动识别运动各阶段的特征时刻(如脚离地瞬间,脚着地瞬间,前、后支撑分界时刻等),从而实现计算机自动构造和提取特征时刻变量,使运动录像解析系统及时反馈运动信息并具有良好的可操作性。 展开更多

关键词 短跑 技术参数 计算机 自动构造和提取 特征时刻变量

在线阅读 下载PDF 职称材料

有限模型的自动构造

8

作者 张健 《计算机科学》 CSCD 北大核心 1994年第1期17-19,共3页

计算机科学的很多领域引入了形式化方法,逻辑公式经常出现在各种技术中。有时需要判定一个逻辑公式的协调性(可满足性),并对可满足的公式给出一个具体的模型。本文介绍计算机科学和数学中的一些模型构造问题,以及有限摸型的自动构造技术。

关键词 计算机科学 有限模型 自动构造

在线阅读 下载PDF 职称材料

一个自动构造类测试驱动程序的框架 被引量：2

9

作者 姜文 缪淮扣 刘玲 《计算机科学》 CSCD 北大核心 2005年第3期159-161,185,共4页

在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并... 在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。 展开更多

关键词 自动构造类 驱动程序 软件复杂度 软件测试 类测试

在线阅读 下载PDF 职称材料

一种高效的乐高模型自动构造算法

10

作者 周银瓶 邓仰东 《计算机工程》 CAS CSCD 北大核心 2016年第2期218-223,共6页

现有的乐高（LEGO）模型自动构建算法依赖各种局部搜索机制优化构建结果,复杂度较高,在处理复杂、高分辨率模型时较为费时。为此,在归纳比较现有算法存在问题的基础上,提出一种高性能LEGO模型自动构造算法。采用自顶向下解决LEGO问题的... 现有的乐高（LEGO）模型自动构建算法依赖各种局部搜索机制优化构建结果,复杂度较高,在处理复杂、高分辨率模型时较为费时。为此,在归纳比较现有算法存在问题的基础上,提出一种高性能LEGO模型自动构造算法。采用自顶向下解决LEGO问题的方法,减小搜索空间,加快循环收敛。给出一种延迟构造图的方法,在预挖空后再构造竖直方向的图,缩短预挖空步骤的时间。实验结果表明,与现有算法相比,该算法能够在保持模型质量的前提下,对于大型、高分辨率的模型,可缩短50%-78%的构造时间,效率明显提高。 展开更多

关键词 三维快速原型 乐高建模 自动构造 自顶向下 预挖空

在线阅读 下载PDF 职称材料

构件行为模型的构造研究

11

作者 马春燕 胡飞 郑小宁 《计算机应用研究》 CSCD 北大核心 2008年第10期3026-3029,共4页

提出了基于UML构件规格说明自动构造构件行为模型的方法,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换,接口操作作为状态转换弧上的输入,能够很好地体现接口的操作调用序列,因而可以作为构件测... 提出了基于UML构件规格说明自动构造构件行为模型的方法,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换,接口操作作为状态转换弧上的输入,能够很好地体现接口的操作调用序列,因而可以作为构件测试的测试模型,对于构件的开发者和使用者进行构件的黑盒测试以及第三方构件的评估很有价值。 展开更多

关键词 构件 测试模型 统一建模语言构件规格说明 构件行为模型 自动构造

在线阅读 下载PDF 职称材料

基于三面投影的平面体自动构形数据预处理 被引量：1

12

作者 王鲁宁 袁卫宁 《西北建筑工程学院学报（自然科学版）》 2000年第3期77-81,共5页

提出了一种以 CAD或 CAG系统输出的图形数据交换文件 [1]为基础 ,自动检查、修改源数据中包含的各种错误、误差或二意性信息的计算方法 ,为计算机自动构造平面立体的数据模型提供必要的数据准备 .经预处理后 。

关键词 源数据 误差 检查 预处理 自动构造平面立体

在线阅读 下载PDF 职称材料

基于神经核网络高斯过程回归的甲板运动预测

13

作者 秦朋 罗建军 +1 位作者 马卫华 武黎明 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第3期377-385,共9页

甲板运动预测与补偿是舰载机自动着舰的关键技术之一。传统甲板运动预测方法依赖于运动建模的准确性和参数调整,面临复杂海况、不同舰型、航态变化时具有适应性差、预测时长短、结果可靠性低等问题。提出一种基于神经核网络高斯过程回归... 甲板运动预测与补偿是舰载机自动着舰的关键技术之一。传统甲板运动预测方法依赖于运动建模的准确性和参数调整,面临复杂海况、不同舰型、航态变化时具有适应性差、预测时长短、结果可靠性低等问题。提出一种基于神经核网络高斯过程回归(NKN-GPR)的甲板运动预测模型,使用神经核网络(NKN)实现高斯过程回归(GPR)模型自动复合核构造,有效改善基于规则库自动核搜索(ACKS)算法依赖人工先验知识的不足。以正弦波组合模型和功率谱模型构造仿真数据,对NKN-GPR模型和基于最小二乘法的自回归(AR)模型进行对比仿真验证,仿真结果表明,NKN-GPR模型在运动预测精度、平滑性、预测时长等方面具有显著优势,证明了所提算法的有效性,可为舰载机自动安全着舰提供理论支撑。 展开更多

关键词 自动着舰 甲板运动预测 高斯过程回归 神经核网络 自动复合核构造

在线阅读 下载PDF 职称材料

计算机辅助几何设计中体的一种描述方法

14

作者 胡人文 《图学学报》 CSCD 1989年第1期33-36,84,共5页

本文对体的基本元素的参数表示法,即体元的参数表示法,三三次曲面体元以及切矢、扭失、三次混合偏导矢的几何意义作了较详细的讨论。1985年美国专家R.SGallager曾协助我们完成了包括体在内的“几何造型软件包”。

关键词 体元 三次曲面 几何造型 曲面片 参数表示 中体 几何意义 曲面形状 自动构造 有限元方法

在线阅读 下载PDF 职称材料

一种基于Linux的无线数据包过滤系统的实现

15

作者 史永哲 张健 刘静 《陕西科技大学学报（自然科学版）》 2010年第4期100-103,共4页

为便于测试人员对无线网络中传递的帧进行过滤,并以此来判断当前网络的运行状态,作者设计了一种可以根据用户需求自动建立过滤器的无线数据包过滤系统,通过采用基于控制流图的算法,在Linux下自动建立无线数据过滤器,将无线数据包在Linu... 为便于测试人员对无线网络中传递的帧进行过滤,并以此来判断当前网络的运行状态,作者设计了一种可以根据用户需求自动建立过滤器的无线数据包过滤系统,通过采用基于控制流图的算法,在Linux下自动建立无线数据过滤器,将无线数据包在Linux系统内进行过滤,测试人员可通过添加更多的结点来满足对数据更精确过滤的要求. 展开更多

关键词 无线过滤机制 过滤器 自动化构造 hostap驱动

在线阅读 下载PDF 职称材料