面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．     

基于遗传算法的搜索引擎调度

通用搜索引擎（GSE）通过将用户的请求分发给实际的搜索引擎来为用户提供服务。GSE所选用的实际搜索将直接决定搜索的质量。由于实际搜索引擎的性能及用户的请求是动态改变的,所以固定的实际搜索引擎不利于系统整体性能的优化。文中利用一种模拟自然界生物进化过程的计算模型－－遗传算法来实现GSE中智能代理管理器的调度策略。利用它可以动态优化实际搜索引擎的组合,从而提高GSE的整体性能。     

一种基于类型约束的泛型Java程序重构方法

泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过构造类型约束图分析了重构前后程序的类型约束,并给出了提炼接口和成员上移的自动化重构算法,可以在与程序代码规模成线性关系的时间内实施重构,并有效地保证程序的类型正确性.     

一种粗粒度并发程序切片方法

并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对Ada任务机制讨论通信Petri网的基础上，分析了由任务间的同步活动所引起的控制依赖关系，提出了一种粗粒度的切片方法，为人们从较高的抽象层次上理解并发程序提供了一种有效的手段。     

基于概念内涵最小生成子的伪内涵计算方法

 伪内涵是形式概念分析理论的一个重要概念,伪内涵问题的研究是当前研究的热点.传统的伪内涵计算方法为了获得形式背景中所有的伪内涵,需要搜索形式背景中所有的非内涵属性集,而属性的组合容易导致搜索空间爆炸.为此,本文从概念内涵生成子的角度,刻画伪内涵的特性,给出伪内涵判定的充要条件;在此基础上,提出计算伪内涵的GPI算法.GPI算法只需对概念内涵的最小生成子进行计算,便可获得形式背景中所有的伪内涵,有助于缩减算法的搜索空间,提高伪内涵计算效率.理论分析和实验结果表明,本文的算法是有效可行的.     

面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５ 中有明显不同的成份的语义,即类程序包、结构程序包的代数语义．     

四量子可逆逻辑电路快速综合算法

量子可逆逻辑电路综合是以较小量子代价自动构造所求量子可逆逻辑电路.本文提出了一种新颖高效的4量子电路综合算法,巧妙构造置换的最短编码,通过对量子电路进行特定拓扑变换,无损压缩n量子最优电路占用内存空间近2×n!倍,通过对已生成最优电路的双向级联,可使用多种量子门,采用最小长度标准,以极高效率生成较长的4量子电路,如率先生成基于控制非门、非门、Toffoli门库的全部前8层共3120218828个电路,还可快速综合任意长度不超过16的最优电路,并对4量子标准测试电路进行快速且全面的优化.     

武器系统软件的软件工程环境(SEE)

我们所开发的支持武器系统软件生存期的软件工程环境(SEE)包括软件生产与综合两类设施。本文描述编码与测试功能的实施与改进,介绍把权能扩充到要求与设计阶段的一般方法;阐述在同一宿主计算机上同时运用各种方法、程序设计语言与目标计算机的技术,同时讨论了分布式计算机系统中SEE的实现方案。     

概念的最小上近似

近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法找到概念的最小上近似.引入概念的析取定义概念的多元最小上界,证明了基于多元最小上界得到的近似是概念的最小上近似.多元最小上界通常会存在大量的冗余,从而增加概念最小上近似表达式的复杂性.为此给出概念的最简多元最小上界的定义,并提供了寻找最简多元最小上界的有效算法.     

一种基于程序可达图的并发程序依赖性分析方法

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.