基于Assume-Guarantee搜索复用的C程序验证方法

提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件的所有执行路径都不会违背给定性质,然后根据这些假设条件遍历所有可能的执行路径以验证给定的时序安全性质,并在遍历的过程中验证这些假设条件是否满足,如果不满足,则不断对其精化和加强.验证方法总是在保证假设条件可靠的前提下尽量使用较弱的条件,使得大量的执行路径由于满足假设条件而可以搜索复用,从而降低验证代价.应用该方法验证了Linux操作系统中SSL协议的实现程序openssl-0.9.6c满足SSL协议的初始握手规范.实验结果表明,该方法具有良好的实用性和可扩展性.

技术多元化能够促进企业绩效提升吗--技术重组模式与科学知识搜索的调节作用

技术多元化是企业获取竞争优势的关键,对于其如何影响企业绩效这一问题,学界存在不同观点。解决跨领域技术融合难题是企业从技术多元化战略中获益的关键,然而现有文献忽略了不同企业技术重组搜索特征差异,对于如何优化技术重组搜索过程以提升技术多元化战略实施效果这一问题尚未提供答案。从技术重组搜索视角出发,探究企业技术重组模式、科学知识搜索对技术多元化与企业绩效关系的调节作用。基于我国高技术产业上市公司面板数据的实证研究发现:技术多元化与企业绩效呈倒U型关系;技术重组创造促使该倒U型关系曲线变得平坦,技术重组再利用促使该倒U型关系曲线变得陡峭;科学知识搜索强度的调节作用不显著,但在企业科学知识搜索强度较高且擅长技术重组创造的情况下,技术多元化与绩效正相关,从而将“技术多元化陷阱”转变为“技术多元化优势”。随着技术多元化程度加深,企业不仅可以通过积累资源,而且能够通过优化技术重组过程,由技术重组再利用模式向技术重组创造模式转变,并通过加强科学知识搜索运用从技术多元化战略中获益。

Xgadget:基于动静结合的二进制Gadget搜索

代码复用技术一直以来都是软件安全研究领域的热点,ROP(return-oriented programming)、JOP(jump-oriented programming)和DOP(data-oriented programming)技术是典型代表。Gadget搜索是代码复用的基础,针对现有静态搜索算法存在支持的Gadget类型不多,不能同时搜索动态链接库等问题,提出了基于动静结合的二进制Gadget搜索方法,基于此开发了搜索工具Xgadget。利用动态映像级插桩,对所有函数进行反汇编;设计了Token级和指令级有穷自动机,实现了基于自动机的静态搜索算法;在五款应用程序中对其进行了测试与评估。实验结果表明,算法支持ROP、JOP、DOP等多种Gadget类型的搜索,能够同时对目标程序动态链接库进行搜索,搜索数量是ROPgadget的12.5倍,单位指令搜索时间较之降低32.1%。算法为不同需求的代码复用提供更为广泛的支持,且输出结果是二进制Gadget,后续复用更直接,有利于代码复用自动化利用。

基于遗传-变邻域搜索算法的堆垛机作业调度优化

基于缩短自动化立体仓库中堆垛机完成货物出入任务时间的目的,建立了堆垛机作业调度的作业时间模型,通过修补机制、校正机制和遗传-变邻域搜索算法的优化方法,使得在优化的过程中,确保出入库任务序列的长度相等,并能够复用同一批作业任务中因出库作业产生的空货位。12组作业任务的仿真实验结果表明,相较于变邻域搜索算法,遗传-变邻域搜索算法的收敛速度更快,其中3组作业任务解的质量更高,总耗时和相对耗时的优化率分别为11.57%~21.56%和35.85%~68.89%,且复用空货位可以缩短堆垛机的作业时间。

本体搜索与排序方法研究综述

本体是知识共享的重要工具,也是语义Web的支柱.随着语义Web的发展,网络上出现了大量的本体.同时,为提高系统通讯、互操作和自动处理的能力,越来越多的应用需要使用本体来实现知识共享和重用.由于本体的构建通常是一个耗时且繁琐的人工劳动过程,因此一个高效的解决方案是从Web上为应用搜索合适的本体进行重用.为此,一些研究者开发了本体搜索引擎和原型系统,提供本体搜索与排序服务.本文主要从本体的收集、处理、用户接口、搜索机制和排序机制等方面,综述了近来年出现的本体搜索工具和相关研究进展,详细阐述了各自的设计原理和实现技术.在此基础上,重点分析了用户接口查询机制和本体排序方法两方面存在的不足,并指出了未来的研究和发展方向.

一个基于最小冲突修补的动态约束满足求解算法

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统"明月1.0"架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu-LC算法在求解效率和解的质量上都明显优于LC算法.

基于关联与回溯的产品变异设计过程重用方法

为实现在复杂度和数量上急剧增长的产品过程模型和关联知识的重用,提出一种产品变异设计过程的重用方法.对设计系统的模块进行精细化和抽象化,建立具有规范化数据接口的产品结构变异设计的信息模型,用状态空间的带权有序检索树存储变异设计过程;将变异设计语义添加至可移植结构,当发生分割、合并和变换的变异设计行为时,对其抛弃、保持或复制等处理,实现变异设计语义随变异设计行为的继承与变迁;再通过检索变异设计语义不断获得待变异结构,将离散的设计过程关联;深度优先搜索获得把初始状态变换为目标状态的操作序列,执行可行解集,回溯变异设计过程并实现重用.以ACIS为几何造型内核开发自主原型系统,实现涡轮风扇发动机的压气机的转子叶片变异设计过程的重用.结果表明,该方法将设计重用对象由静态的孤立设计结果拓展到动态的连续设计过程,对于准确、快速地实现产品的结构变异设计具有重要意义.

面向CAD数据重用的产品B-rep模型建模方法

为解决计算机辅助设计数据重用中轮廓线搜索困难、轮廓线遗漏以及孔洞特征描述困难等造成重用效率低下的问题,更好地支持产品服务系统的自动化设计,提出了一种基于轮廓劈裂和矩阵变换的产品B-rep模型建模方法。该方法以决策点为节点建立轮廓线有权无向图,构建了基于无向图最小生成树的面轮廓劈裂提取方法;利用矩阵变换生成体、面、环、边、点特征关联矩阵,建立完整的产品B-rep模型。基于该方法开发了一种针对建筑钢结构工程产品的设计系统,应用实例验证了该方法的正确性和有效性。

基于概念模型语义描述的仿真模型资源搜索框架

重用已有模型构建新的仿真应用一直受到系统仿真领域的关注。基于模型数据库搜索、判断与应用需求相匹配的仿真模型资源是实现重用的关键问题。提出一个基于概念模型语义描述的仿真模型资源搜索框架,详细说明了该搜索框架的结构。框架建立了由实体、任务、交互等概念模型元素构成的仿真模型资源语义描述模型,采用本体语义和关键字匹配等搜索策略。模拟实验表明该框架可以很大程度上提高搜索判断的准确性。

Java Bean构件搜索引擎

现有的诸多搜索引擎，由于使用关键字搜索方法，对于专业化的构件搜索效率不高。针对该问题，该文提出一种在Internet环境下Java Bean构件的搜索方法。原型系统表明，利用这种方法构造的Java Bean构件搜索引擎具有很高的搜索效率。

基于特征模式提取的教育信息构件检索

检索是衡量构件库管理系统的一个重要指标.本文侧重对构件库的检索进行了研究,介绍了已有的一些算法,并提出了一种基于样本模式特征提取的构件检索方法,最后分析了构件检索面临的问题和未来研究的发展趋势.

基于搜索的软件设计方法实验教学探索

当前,软件工程在课程和实验教学方面存在教材陈旧,实验手段落后,最新软件技术难以引入到课堂上,实验课程和企业需求不接轨等问题。开展基于搜索的软件设计方法实验教学探索。通过对各种程序设计方法演进分析和比较,指出基于搜索的程序设计方法是软件开发的最新技术和趋势。然后,探索和构建基于搜索的程序设计实验教学环境,作为软件工程实验教学课程的一个创新内容。教学实践表明,深受学生欢迎。

一种分布式软件构件资源服务系统的设计方案

软件构件技术是支持软件复用的核心技术,在网络协同开发环境下,软件构件是一种很重要的共享资源。为了实现对这种资源的有效利用(复用),提高软件生产率,本文提出了一种基于Web的采用数据仓库技术的分布式软件构件资源服务系统的设计方案。

知识深度如何影响高校知识创新绩效?

研究知识深度对高校知识创新绩效的影响以及知识宽度、知识搜索和知识重用的曲线调节作用能为高校知识创新绩效和能力提升提供参考。基于33所高校2011—2020年公开的专利数据,构建固定效应层级回归分析模型,分析知识深度对高校知识创新绩效的影响曲线以及知识宽度、知识搜索和知识重用的曲线调节作用。研究发现,知识深度对高校知识创新绩效存在显著正向影响,但不呈现像企业那样的倒U型关系;知识宽度、知识搜索在知识深度和高校知识创新绩效的响应关系曲线中起显著的负向调节作用;当知识宽度、知识搜索负向调节作用显现时,知识重用的正向调节也会随之凸显。

基于语法与语义分析的代码搜索结果优化

通过示例代码学习简单算法的实现和具体API的使用方式是程序开发人员在软件开发中进行软件复用的高效手段,也是使用代码搜索引擎的主要目的。代码搜索引擎从网页搜索技术发展而来,提供对网络上源代码资源的检索功能,能够有效定位与搜索内容相关的代码,为程序开发人员提供帮助。但现有的代码搜索引擎没有在搜索结果中区别API的实现代码与使用代码,搜索结果存在冗余,导致用户无法快速有效地找到提供有用信息的代码片段。为了使用户更好更快地找到代码搜索目标,阐述了应用语法与语义分析技术从区分API实现代码和使用代码、相似代码聚类、搜索结果摘要3个方面对代码搜索结果进行优化的方法,给出了一个代码搜索引擎的实现,并在实例研究中展示了该方法的有效性。

基于代码结构知识的软件文档语义搜索方法

自然语言文本形式的文档是软件项目的重要组成部分.如何帮助开发者在大量文档中进行高效、准确的信息定位,是软件复用领域中的一个重要研究问题.提出了一种基于代码结构知识的软件文档语义搜索方法.该方法从软件项目的源代码中解析出代码结构图,并以此作为领域特定的知识来帮助机器理解自然语言文本的语义.这一语义信息与信息检索技术相结合,从而实现了对软件文档的语义检索.在StackOverflow问答文档数据集上的实验表明,与多种文本检索方法相比,该方法在平均准确率(mean average precision,简称MAP)上可以取得至少13.77%的提升.

一种基于图数据库的代码结构解析与搜索方法

软件复用是在软件开发中避免重复劳动的解决方案.在复用一个已有的软件项目时,软件开发人员通常需要理解某些代码元素以及其间的关联关系,称之为代码结构.软件开发人员一般通过浏览软件源代码的方式理解代码结构.由于源代码往往规模较大且结构复杂,理解代码结构通常会耗费大量的时间与精力.因此,将软件开发人员想要理解的代码结构自动、清晰地展示出来是很有帮助的.提出一种基于图数据库的代码结构解析与搜索方法以实现这一目的.这一方法可对软件的代码结构进行解析,并在图数据库中对其进行有效的组织和管理.搜索时,软件开发人员输入自然语言查询语句,该方法中的搜索机制会分析查询语句,并从图数据库中截取出与其相对应的代码结构进行展示.该方法具有高度的可扩展性:不同粒度的结点与多样化的关联关系可以容易地存储进图数据库中,且面向不同搜索目的的代码结构搜索算法亦可以容易地集成进搜索机制中.这一方法已在相应的工具中得到了实现,其有效性在一个商业案例研究中得到了验证.

一种提高频谱利用率的航空导航台站频率指配算法

针对多个新建航空无线电导航台站高效频率指配问题,根据美国联邦航空管理局(FAA)的频谱管理规范,研究了在已有多台站场景下的频率指配算法。总结了导航台站频率指配的复用干扰和频率配对两个约束条件,给出了提高频谱利用率的频率指配度量准则,设计了单个新建台站的频率指配算法,给出了多台站频率指配的深度优先递归搜索算法。数值仿真结果表明,所提算法在为多个新建台站同时指配频率时,可有效提高频谱利用率。

基于定位点和路径复用的大型多人在线游戏寻路算法

针对当前寻路算法不能很好满足大型多人在线游戏对于可靠性和低消耗的要求,提出一种基于定位点和路径复用的大型多人在线游戏寻路算法。通过定位点的使用和路径复用,使得无用空间的探索大幅减少,降低了服务器的负载,最终探索出一条接近最优的路径。实验结果表明,该算法具有更高的效率,对于大型多人在线游戏寻路是一个切实可行的解决方案。

基于语法和语义结合的源代码精确搜索方法

针对在编写软件、复用源代码的过程中仅依靠关键词无法精准搜索到适用源代码的问题,提出一种将语法和语义结合的源代码精准搜索方法。首先依据源代码语法语义的客观和唯一性,增加语法结构和"输入/输出"语义作为用户录入请求的一部分,并规范了具体的请求格式;然后在此基础上分别设计源代码语法匹配算法、"输入/输出"语义匹配算法、关键词兼容匹配,以及源代码搜索结果可信度计算算法;最后综合上述算法实现对源代码的精准搜索。测试结果表明:与单纯的关键词搜索相比,提出的方法对搜索的平均排序倒数(MRR)有超过62%的提升,有助于实现源代码的精准搜索。