摘要:本文提出消除π－演算中无卫递归的公理，证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后，所得到的证明系统在π－演算全体正则子集上关于互模拟等价的可靠性和完备性.

摘要:分布式多媒体是分布式计算技术和多媒体技术相结合的新兴技术，其基本特征是实现异地多媒体信息共享．由于连续媒体数据与传统数据在特性上的巨大差异，使得传统网络服务器和相关的存储系统不再适宜支持异地连续媒体的服务，所以要求代之以新的存储系统．本文介绍了作者所开发的分布式多媒体并行服务系统．该系统通过引入系统资源秩概念，实现了多访问流的并行操作，从而弥补了现有服务系统在设计上的主要缺陷．另外，文中给出了一组视频访问流的测试数据，其结果显示出系统对多媒体应用的良好支持.

摘要:本文讨论了遗传算法中框架定理的不足之处，并对之进行了改进，然后分析了遗传算法与Ａ算法的相似性，以及遗传算法的概率性质．由此联想到它与ＳＡ算法的相似性，在此基础上，作者将原先发展的一套ＳＡ算法的理论移植到遗传算法中来，建立一个新的算法，称之为统计遗传算法（简记为ＳＧＡ算法）．为适合于优化计算，作者引入最大值统计量及其对应的ＳＡ算法（简称为ＳＭＡ算法），并将ＳＭＡ算法与ＧＡ算法相结合（记为ＳＧＡ（ＭＡＸ）算法）．新的算法不仅提高了算法的精度和降低了计算的复杂性，而且能克服ＧＡ算法中出现“早熟”的现象以及提供进行并行计算的可能性．更主要的是新的方法为ＧＡ算法的精度、可信度和计算复杂性的定量分析提供了理论和方法上的有力工具.

摘要:本文分析Ｃｏｎｄｏｒ系统的控制软件、远程系统调用及检查点设备的实现和工作过程，讨论其任务局限性，指出实现中的不足并给出改进方案.

摘要:本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系，并将作者提出的可执行定义方法论ＭＨＳＣ（ｍｅｔｈｏｄｏｌｏｇｙｆｏｒｈｉｇｈ－ｌｅｖｅｌｓｐｅｃｉｆｉｃａｔｉｏｎｃｏｎｓｔｒｕｃｔｉｏｎ）与现有方法论进行比较．论文表明可执行定义方法将在软件系统从定义开发到系统实现的进化式开发过程中起着关键的作用，有积极的研究意义.

摘要:本文在简单介绍ＩＰ／Ｘ．２５路由器的功能和结构的基础上给出一种采用ＳＴＲＥＡＭＳ机制的路由器ＴＵＲ在ＵＮＩＸ中的实现．本文还提出一种在面向连接子网服务上实现无连接网络互联的通用有限状态机模型和一种动态地址映射算法．这些方法已应用在ＴＵＲ中，以提高系统的性能．本文最后给出性能、指标及在ＴＣＰ／ＩＰ网络中的一个应用实例，并讨论这类通信软件普遍存在的问题及其解决思路：互操作测试.

摘要:探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.

摘要:本文描述了一种在矢量基础上进行图形识别的通用方法．该方法包括２个步骤：第１步，寻找组成该图形的第１个关键图素；第２步，根据该图形的构造模式，从第１个关键图素出发，不断在其周围区域寻找组成该图形的其它图素．本文还提出了一种新的平面空间数据结构——位置索引．这种数据结构把平面图上的图形及图素用它们的平面位置索引组织起来，从而提高了按区域位置查找的效率．本文还介绍了该方法的２个应用实例：虚线识别和剖面线识别.

摘要:构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.

摘要:研究软件的可重用技术是提高软件生产率、解决软件危机的良好途径．好的重用技术可以带来高可靠、高性能、高质量和高效率的软件新系统．重用是支持软件工程新范型的基本前提．本文介绍了一种支持基于重用的、开放的、不依赖于具体领域的可重用部件管理系统.

摘要:ＨｏｔＪａｖａ是由ＳｕｎＭｉｃｒｏｓｙｓｔｅｍｓ计算机公司推出的ＷＷＷ浏览器．基于一种新的面向对象的语言——Ｊａｖａ，ＨｏｔＪａｖａ浏览器具有与其它同类ＷＷＷ浏览器无法比拟的动态性能，展示了实现真正的动态网络交互的巨大潜力．本文首先对ＨｏｔＪａｖａ浏览器及Ｊａｖａ语言作一简单介绍，然后介绍在Ｓｏｌａｒｉｓ平台上开发ＨｏｔＪａｖａ中文版的具体方案与实现.