多Agent系统的形式化开放混合体系结构模型研究

为了有效建立并统一多Ａｇｅｎｔ系统（ＭＡＳ）的理论与方法体系,提供ＭＡＳ的有效设计与实现途径,重点讨论并建立了基于开放环境的ＭＡＳ形式化开放混合体系结构模型,首先,采用面向Ａｇｅｎｔ的程序设计（ＡＯＰ）风范并基于开放环境与组合技术,对Ａｇｅｎｔ的ＢＤＩ模型进行形式细化处理,引入开放混合结构模式的自治、交互Ａｇｅｎｔ形式定义,在此基础上给出开放环境下的自治、交互ＭＡＳ的形式化开放混合体系结构模型,并     

C++ template data structure mappings of ASN. 1 of ITU-T X. 680 suitable with PER (X. 691) and BER (X. 690)

Networking protocols annotated with ASN. 1 of ITU-T X. 680 is readable, however its implementation with traditional routine call is complex and difficult. Object Oriented idea is introduced to get the following simplicities: Make the implementation of protocol data unit annotated with ASN. 1 similar to its definition with little or even without any changes. The framework for encapsulation of ASN. 1 data types into objects discussed here is not only suitable for PER X. 691 but also suitable for BER X. 690. Yu Ai-qing (1969-), male, Ph. D candidate, research interest: multimedia communication on networking.     

一种在万维网上显示Z规格说明的方法

万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言,Ｚ语言用大量的数学符号和模式来构造规格说明,然而,当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号,此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的,本文实现了一种在万维网上显示Ｚ规格说明的解决方法,并给出了程序代码和实例。     

基于函数调用路径的软件实现与设计一致性验证

软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明：算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.     

SIP协议组合模型的研究

在传统的会话发起协议的实现中,实现软件可重用度低、不易于SIP(会话发起协议)的功能扩展,文中采用基于CSP(通信顺序进程)理论的协议组合模型将SIP协议分解成协议构件,准确地描述了SIP协议实体之间的交互,在此基础上建立了一个可以方便地、灵活地进行SIP功能扩展的SIP协议组合模型。这个组合模型首先将SIP协议分解为具有独立功能的构件协议,然后通过这些构件协议的组合来实现更多的SIP功能。这个模型解决了传统的SIP协议实现软件可重用度低、不易于进行功能扩展等缺点。同时,采用CSP对该模型进行形式化描述,从而说明通过构件协议的组合可以实现SIP的功能。     

一种新的力—位混控机器人工作任务描述方法

影响力－位置混合控制和机器人人工业应用的主要障碍之一,在于其工作任务的描述复杂,对使用人员的要求比较高,本文提出了一种新的工作任务描述方法,该方法建立在机器人的微运动描述之上,使描述工作由获得控制参数变成分析微运动组成,大大降低了任务描述难度,可使操作者较方便地描述机器人的工作任务。     

控制性详细规划在密山市中心区规划中的应用

针对传统规划编制方法在步骤和实施中脱节的弊端,通过控制性详细规划这一新理论在密山市区的应用,证明其是衔接总体规划和修建性详细规划必不可少的中间环节．该步骤的实施可加强城市规划管理。     

关于科技名词订定的几个问题

简要论 了科技名词订定工作的重要意义,了进一步加强订定科技名词的权威性和约束力,订定科技名词要结合学科环境保持完整的系统性,订定科技名词应当遵循的几个重要原则以及大力开展有中国特色的科技名词学理论研究,提高科技名词统一与规范化工作水平等几个问题。     

页面置换算法的Z规格说明

虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.     

维特比算法在C55x DSP中的实现

讨论了维特比算法（VA）及其改进的软输出维特比算法（SOVA）在C55x DSP中的实现问题,介绍了C55x的功能特点,并阐明它们在维特比算法三个主要步骤的运用。定量分析了维特比译码算法对C55x DSP的MIPS资源的消耗,为有关开发提供了参考依据。