一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

面向Agent的软件框架

软件框架是软件重用的一种有效技术,然而传统的软件框架是采用面向对象的技术,软件框架的实现存在不足之处.本文采用面向Agent的软件框架,从框架的构件、交互机制和变化性的处理机制进行了阐述,与传统的面向对象的软件框架相比,具有较强的适应性,提高了框架的重用能力.     

基于递阶的软件过程模型重用方法

将重用技术应用到软件过程仿真和控制之中,提出了一种基于递阶的软件过程模型重用方法,并对其中的元模型重用进行了重点阐述,将演化计算与元模型重用结合起来,给出了形式化描述,以及重用实现算法.针对每一个软件项目都建立软件过程模型是比较繁琐和费时的工作,因此重用已有的软件过程模型不仅能缩短开发周期,也能提高软件的可维护性和可靠性.     

软件重用技术与GIS软件开发研究

给出了软件重用的定义,研究了领域分析、重用再工程、面向对象的程序开发方法以及基于重用的软件开发原则和软件重用技术在地理信息系统（ＧＩＳ）软件开发中的应用．     

基于学习的动态多目标方法求解约束优化问题

提出一种用多目标技术求解约束优化问题的算法.该算法有3个特征:1)将约束优化问题转化为等价的动态约束多目标优化问题,然后用动态约束多目标演化算法求解动态约束多目标优化问题;2)演化初始阶段,拓宽约束边界以使整个种群可行;演化过程中,约束边界微弱的收缩以确保动态约束多目标演化算法中种群的大多数个体仍是可行的,这使动态约束多目标演化算法如同多目标演化算法求解无约束问题一样有效;3)采用基于学习的机制自适应调整演化算法的参数,以提高算法效率.实验结果表明,与4个当前较为先进的约束处理算法相比,本文算法效果更优.     

软件构件的设计与重用

根据软件工程的原理和方法研究了计算机软件重用的过程、方法及关键性技术;提出了一种基于可重用构件库的软件重用方法;并简要地介绍了支持这种方法的一个原型系统。     

数据驱动的业务过程角色与任务重分配方法研究

针对现有任务分配方法难以考虑人员执行任务的效率差异性和偏好性问题, 以生产和服务系统执行历史数据为基础, 提出基于人员行为差异性的任务分配方法, 建立以业务执行过程中流程执行时间最少和人员之间负荷均衡为多目标的任务分配优化模型. 基于NSGA II算法, 提出将约束优化模型转换为无约束优化模型, 并给出优化模型的求解方法. 结合业务过程挖掘领域中事件日志的应用实例, 对业务过程中的任务和角色进行重分配, 比较任务重分配前后业务过程的变化情况, 为以后的任务分配提供依据.     

精确的堆内存使用量上界分析

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对＂平板循环＂、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.     

化学学科语义模型的研究

为了方便管理和有效使用各类教育资源,让计算机理解各门学科中概念的语义,本文采用了建立学科语义模型的方法,研究了化学学科的语义模型及其形式化描述.该模型可为实现化学类教育资源的语义分析、自动整合和重用奠定基础,也可为本领域其他学科的语义研究提供参照.     

软件能重用性和C语言

软件能重用性是提高软件开发生产率和质量的关键之一。本文研究了C语言中有利于软件成分重用的特点和不利于软件成分重用的因素,提出了判断C语言模块能重用性的准则和提高其重用性的技术,并给出了典型的实例加以说明。     

代码组件的动态组合重用方法

阐述了代码组件及其动态组合重用方法的基本概念,详细地介绍了一种动态组合重用代码组件的方法——ＤＣＲＣＣ（Ｄｙｎａｍ ｉｃＣｏｍ ｐｏｓｉｔｉｏｎ Ｒｅｕｓｅ ｏｆＣｏｄｅＣｏｍ ｐｏｎｅｎｔ）方法． 实践表明,基于代码组件的封装技术、组合技术和库管理技术,ＤＣＲＣＣ方法能够通过动态组合重用代码组件的方式有效地进行软件开发．     

基于知识约简的故障案例重用方法

案例重用是使用旧的经验去解决新的问题,可以提升基于案例推理的故障诊断系统解决问题的能力,本文提出一种基于知识约简的故障案例重用方法,主要包括针对静态案例的值约简算法（improved attribute value reduction algorithm based on discernibility matrix,IAVRADM）以及新增案例情况下的值约简增量式更新算法（incremental updating algorithm for attribute value reduction,IUAAVR）,其中,IAVRADM算法利用吸收律和互信息增量作为启发式信息,改进了已有算法中分辨矩阵构造和搜索过程,提高了决策规则的生成效率,IUAAVR算法分析总结出需要进行规则更新的3种情况.实验结果表明,IAVRADM算法的适应性强、时间开销低,IUAAVR算法在获得相同数量的决策规则情况下与案例的数量无关且更具时间优势.     

广义抽象距离空间的度量方程

来自工程和科学研究领域的许多问题,最终都需要求解几何约束问题.距离几何中的各种度量方程为解决涉及几何度量的几何约束问题提供了数学基础,同时是研究正定和非正定距离几何的基础内容和基本工具.通过提出广义抽象距离空间的概念,消除抽象距离空间距离矩阵对称的这一限制条件,建立了广义抽象距离空间的秩的基本定理,作为建立在欧氏空间和非欧空间中的广义抽象距离空间的度量基础,给出了几个具体的有限齐秩广义抽象距离空间的广义度量方程.利用这些广义度量方程,为求解更为复杂的几何约束问题提供了所必需的各种代数方程.     

多启发式信息蚁群优化算法求解取样送检路径规划问题

蚁群优化算法是一种求解组合优化问题的通用算法框架.取样送检路径规划问题是一种带约束的组合优化问题,本文给出了一种求解该问题的数学模型.为求解该问题提出了一种多启发式信息蚁群优化算法(MACO),在选择下一访问节点的概率计算公式中增加了一项启发式信息——起点到被选择点之间距离的倒数,并从理论上分析了该算法的收敛性.在9个算例上进行了仿真实验和分析,说明了新增启发式信息的有效性和适用性,验证了MACO算法可以有效求解该问题,并能获得质量更好的解.     

基于软件知识的测试方法

在软件测试阶段,常使用的排错方法包括排错测试和操作概图测试,但它们采取的都是随机测试的策略．在对它们进行研究的基础上提出一种新的测试方法基于软件系统中使用的知识以及对相关知识的使用方式的软件测试方法．基于软件知识的测试方法可以应用于软件的可靠性稳定增长测试与软件安全性测试,也可以应用于对面向对象软件的测试,以及应用于采用组件重用策略的软件可重用技术的软件系统测试。     

程序重用的自动程序设计方法

在基因表达程序设计（GEP）基础上，从自动程序设计方法学的观点出发，对程序重用的程序表示方法进行了研究．①提出了一种新的基因结构：头＋身＋尾，使计算机自动设计的程序具有必要的复杂性，又便于引入学习机制；②提出了一种新的同源基因结构，它不仅可实现子程序的调用，还具有很强的编程能力；③提出了异族同源基因的概念：一种多细胞结构，它能描述复杂的多层次程序结构，实现可重用程序的复杂调用；④提出了分布估计变异方法，将统计学习机制融入算法，既提高了算法的收敛速度，又提高了解的质量．计算实例表明了这种新的自动程序设计方法的可行性和实用性．     

GMPLS网络中约束最短路径优先算法研究

针对GMPLS网络中求解最短路径问题，提出了一种具有共享风险链路约束的启发式约束最短路径优先路由算法，对该算法的有效性和可靠性进行了比较全面的仿真测试，仿真结果显示此算法提高了网络资源的利用率，减少了网络的阻塞，同时降低了链路失效时的风险，提高了网络的强壮性和可靠性．     

舆情本体概念抽取研究

面对舆情信息的动态性、跨领域性、面向主题等特点,目前已有的领域本体学习方法难以适应舆情本体知识的自动构建.本文采用信息爬取技术收集热点舆情文本信息,根据构建模型自动识别主题进行归类,并对识别后的主题文本提取名词性词汇或者短语作为候选概念集;采用语义相似度方法计算候选概念间的相关度,根据相关度计算各概念的权值,并进行排序;结合词频变化的方法抽取与主题相关的核心概念.实验结果表明,本文方法可有效地抽取与舆情主题相关的核心概念,对舆情本体的构建以及后期的知识共享和重用起到积极作用.     

十八世纪以来中国太湖流域与英国苏格兰的人才比较研究

将中国人才出得最多的地区之一──太湖流域和西方人才出得最多的地区之一──英国苏格兰（１９８３年人口５１４万）进行比较，发现近３００年来，两地在人才上差距相当大，特别是在自然科学、医学和经济领域方面。在这一期间，苏格兰人对世界的贡献和影响要比太湖流域人大得多。本文介绍了所用的比较研究方法，概述了分类比较研究和学科比较研究结果，并从经济基础、思想观念、政治环境、国际交流、教育和战乱等几个方面探讨了形成这种明显差距的原因。最后提出了对２１世纪中华人才的展望。这一研究可以看作是对“汤因比猜想”研究（从人才角度）以及东亚－西欧人才比较研究的一种先期的“模型试验”。对后者的深入研究将有助于对中华民族未来的自我认识。     

规格化对高斯消元法计算速度的影响

从计算原理和计算速度两个方面详细地分析比较规格化对求解线性方程组的高斯消元法在消元和回代过程中的影响,其中包括计算公式的变化、计算元素的计算次数、规格化元素的计算次数、计算所有元素所需的元素总数、对复数矩阵和实数矩阵的计算速度的影响等内容的比较,并对IEEE-57、-118、-300节点系统进行编程比较计算。计算结果表明,高斯消元法中规格化的计算虽极为简单,且对回代环节的影响不大,但可以大大提高前代环节的计算速度,从而大大提高求解线性方程组的计算速度,尤其是对复数矩阵。该结论同样适用于电力系统等各个工程领域用高斯消元方法求解线性方程组。更多还原