程序正确性验证的代数方法及其研究进展

程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函数、有限差分等验证程序的终止性.最后,总结了各种验证方法的研究现状以及未来发展.     

基于EMFP-树的频繁模式挖掘算法

针对MFP-tree挖掘算法的不足,给出了一个频繁模式挖掘算法EMFP。算法通过将事务数据库的每条事务支持度进行裁剪以及为EMFP-树的节点添加子树个数计数器等措施来提高EMFP-树的挖掘算法的效率。实验结果表明,EMFP-树的挖掘算法是一个高效的频繁模式挖掘算法,其性能优于MFP算法。     

基于最大匹配算法的地址树编码研究

本文在分析当前邮政编码方法的基础上,提出一种新的地址树编码算法——最大匹配算法。该算法结合了地址树的特点,考虑了地址树的唯一性,提出了最佳匹配理论,同时考虑到地址树的匹配速度,引入了地址树结点的可关联层数,提高了匹配的效率。由于地址树具有变动性,为了及时更新地址树词库信息,通过智能化手段自动增加未知结点。     

基于多槽哈夫曼Trie树的规则引擎快速匹配算法

为了提高机场类企业数据在海量规则集合中的匹配能力,提出了基于多槽哈夫曼Trie树（MSTHTrie）的规则引擎快速匹配算法。该算法充分利用了规则点属性名数与规则条数之间的不对称特性,将对规则的线性比对转换为对多槽的并行比对,从而在稳定的空间复杂度下提高了规则引擎的匹配效率。首先对通用规则进行了严格的形式化描述,并在合理假设条件下证明了槽内规则分布命题和动作数定理;然后基于动作数定理提出了简化操作符的MSHtree算法;随之扩展操作类型提出了MSHTrie算法,使规则引擎有了普适性;最后在国内枢纽机场的业务数据上完成对比实验,表明新算法在空间复杂度上较传统线性匹配算法节约了52.6%,匹配性能上与Policytree算法相比提高了21.3%。     

开沟布线问题的模型及算法研究

开沟布线问题定义为由最短路径树和最小生成树这两个问题组合而成的组合优化问题,是一个新提出的、易于描述的却难于处理的NP完全问题.该文将图论、组合优化以及CNRP等技术相结合来对开沟布线问题进行了探索和研究,在指定一些约束的基础上建立的的数学模型较准确的描述了开沟布线问题的实质.给出了求解该问题的最直观简单的方法SP-MST求解法.并引入邻域搜索策略,在CTPHERUR1算法的基础上,提出了基于2-交换邻域搜索的改进算法,实验表明,该算法得到的近似解更接近最优解.     

计算最短路径树Dijkstra算法的改进

针对用于网络寻径表刷新的OSPF路由选择协议中使用的计算最短路径树的Dijkstra算法在网络应用中的不足，提出了一种改进算法，用以计算边和节点上都有代价的图的最短路径树，以更全面刻画网络状态，找到更合理的最短路径树，通过对同一个网络自治系统最短路径树的计算，比较了改进Dijkstra算法和Dijkstra算法的差别，结果表明改进Dijkstra算法能够更加全面地刻画网络状态，找出的最短路径树更为合理。     

基于WGL模型的等价性验证

等价性验证在集成电路设计中占有重要地位.然而,传统的电路表示模型存在着算法复杂度高或只针对特定电路有效的缺点.针对这一缺点在介绍了WGL模型的基础上,给出基于该模型的等价性验证算法,并对比传统的BDD模型进行实验.实验结果表明算法是有效的.     

基于查询索引树的多维连续查询计算方法

首先定义连续查询状态用于维持当前时间窗口内的信息与当前的连续查询结果,再根据已注册的连续查询条件,预先建立每个维度上的查询索引树,用于快速计算更新各个多维连续查询结果,并利用用户兴趣视图遍历树,进一步减少了不必要的搜索过程。实验结果表明,该方法能够在有限的主存空间中快速更新维护多维连续查询状态和计算查询结果,为数据流多维分析奠定基础。     

基于抽象语法树的代码味道识别工具的分析与设计

介绍了如何利用面向对象软件度量方法来识别代码味道,同时提出了以抽象语法树为中间表示形式来设计面向自动化重构的代码味道识别工具,并介绍了该识别工具各个模块的功能与特点.     

基于抽象语法树的代码味道识别工具的分析与设计

介绍了如何利用面向对象软件度量方法来识别代码味道,同时提出了以抽象语法树为中间表示形式来设计面向自动化重构的代码味道识别工具,并介绍了该识别工具各个模块的功能与特点.     

一种XML多分支路径索引查询算法

为高效地实现XML多分支路径查询,提出了基于索引的XML多分支路径查询算法depthjoin.首先对XML文档进行编码并创建索引,然后对查询树进行查询匹配.采用栈存储多分支路径中的单路径,对多分支结点采用索引信息判定其子结点是否具有共同的祖先结点或父结点.与现有的XML分支查询算法相比,算法depthjoin充分利用索引,不需要进行单路径的连接操作,实验表明其查询效率比现有的查询算法高.     

基于XML的学习流模型

在学习流理论的基础上,采用XML规范来实现学习流模型.利用树空间具有层次关系清晰、体系可扩展、定位方式多样、新技术规范及便于技术实现等优点,把复杂知识体系映射到树状结构空间中,以构建学习流模型.给出了模型结构的XML描述.该模型的构建为教学信息网络的计算机控制和管理提供了一种新的方法.     

XML数据公交信息查询优化算法及实现

针对公交线路规划的问题,必须提供一个准确快捷的公交查询系统以满足人们日常出行的需求.研究了基于XML数据的公交查询系统,该系统采用B/S模式,利用ASP.NET框架和C#语言,实现了公交运行查询功能.在换乘查询算法部分及在Dijkstra算法的基础上,分析了路径寻优的原理,实现了路径距离计算的具体方法.并通过减少临时节点排序及数量的方式,改进了Dijkstra算法,最终减少了寻找路径的时间并简化了路径计算.最后,以天津市公交数据为例,用改进的Dijkstra算法对公交查询系统进行了分析验证,结果表明,利用改进的Dijkstra算法可以实现高效的公交信息查询,节约查询时间,节省内存资源.     

对提高统计数据质量的若干思考

随着我国加入WTO,中国的企业要想在激烈的市场竞争中独树一帜,必然依靠准确的统计数据以制定经营战略,正确地组织生产和经营.就如何提高统计数据质量,更好地为企业服务,阐述了作者的几点意见.     

基于XML的多层架构模型的应用研究

主要论述了基于XML的多层架构模型,分析了多层架构模型的特点,并结合其可分层的特点,讨论了XML技术在控制层和模型层的应用以及对各层的作用.     

基于不确定性的并发正确性测试方法的改进

多线程执行过程中的不确定性和异步性,导致测试并发程序的正确性相当困难。基于不确定测试方法上,提出了一个改进的并发程序正确性测试方法。通过激化并发程序的资源竞争来发现潜在的并发错误,从而测试并发程序的正确性。实验结果表明,使用该测试方法可以更加精确地发现并发程序产生的错误并有效地提高并发正确性测试的效率。     

一种加速XML查询处理的ED编码构建和解析策略

使用ED编码进行查询处理可通过减少需要扫描的元素数量来降低系统的I/O负担和加快查询处理的速度,但其解析方向单一、解析过程复杂,这在一定程度上影响了系统性能。提出一种基于可逆有限状态转换器（RFST）进行ED编码构建和解析的方法来增强ED编码解析的灵活性;提出基于代价的ED编码解析策略来协助系统以最优方式解析ED编码,从而达到提升系统性能的目的。     

匹配追踪信号分解收敛性的一种证明

针对匹配追踪信号分解的收敛性问题,借鉴Qian的思路,采用几何辅助方法证明了Jones和Mallat给出的一般性结论,并消除了Qian的证明中的瑕疵。此证明方法可避免运用多个预备引理,完善了Qian的证明过程,同时也为读者提供了另外一种理解匹配追踪的思路。     

基于XML的测试用例复用

在研究测试用例复用和XML语言的基础上，提出了一种基于XML的测试用例复用方法．采用XML描述可复用的测试用例，然后在此基础上对测试用例在库中进行查找并复用，从而使软件测试的效率得以大幅提高．     

基于XML的测试用例复用

在研究测试用例复用和XML语言的基础上,提出了一种基于XML的测试用例复用方法.采用XML描述可复用的测试用例,然后在此基础上对测试用例在库中进行查找并复用,从而使软件测试的效率得以大幅提高.