CHILL编译系统实现技术

CCITT高级程序设计语言CHILL是用于存储程序控制(SPC)电话交换机的标准程序设计语言本文选取并实现了一个实用的CHILL子集,命名为Mini-CHILL。该子集保留了CHILL语言的特征和除信号外的所有并发机构。文中着重介绍在实现Mini-CHILL中所应用的主要技术     

可变报文格式测试工具设计方法

可变报文格式(VMF)测试工具旨在发现被测系统中VMF编解码功能的故障,本文设计了一种测试VMF语法规则及部分语义限制符合性的自动化测试工具.设计了测试工具框架,包括VMF数据元素字典、测试任务管理器、测试用例生成器、VMF编解码器、测试报告生成器、格式转换接口等模块;针对编码及解码功能,设计了使用合法及非法测试用例的测试过程;从VMF语法规则、语义规则两个方面分析了测试需求,设计了可基于VMF数据元素字典自动生成的测试用例类型;给出了测试用例的生成方法:首先生成所有测试用例类型中的一种,然后通过修改该类型测试用例的报文内容或报文编码生成其它类型的测试用例,测试用例生成方法为多项式复杂度,有效地避免了组合膨胀.实验结果表明本文设计的测试工具是可行有效的.     

国防部体系结构框架2.0新发展研究

简要介绍了美军体系结构框架的发展历程,分析了国防部体系结构框架2.0的视角,归纳总结了国防部体系结构框架2.0的新变化。剖析了新增的能力视角和项目视角的作用意义和引入的原因,深入分析了能力视角七个具体模型描述、项目视角三个具体模型描述的作用和相互关系。最后对我军的体系结构框架研究提出了一定的建议。     

本体结构特征分析与匹配应用研究

针对本体匹配中结构蕴含的隐式语义信息难以正确表示和充分使用问题,提出将本体结构特征量化引入本体匹配。根据本体与复杂网络的相似性,分析本体具有的网络特征,提出了一系列基于结构和语义特征的理论和节点、边的量化标准,并将其用于核心节点的选取和边权重的度量。将本体匹配转换为基于元素个体特征和整体组织结构的有权标签图匹配问题,通过二次规划方法求取近似最优匹配。实验证明本体拓扑结构特征对本体匹配具有较大影响,其与核心节点匹配的紧密藕合能够显著提高匹配的准确性。     

数据和信息视角

数据和信息是信息系统中最基本的术语。在美国国防部体系结构框架（DoDAF）版本2.0中,通过揉和概念层、逻辑层、物理层三个不同的层次,将数据和信息作为一个单独的视角来研究。该文在分析数据和信息之间相互关系的基础上,结合具体系统实例,对数据和信息视角所包含的模型与产品进行具体描述。     

基于结构特征量化的本体模块化划分研究

针对大规模本体模块化划分问题,从本体结构与复杂网络的相似性分析入手,根据本体语义和网络结构特征将其转换为对应的概念网络。提出衡量本体中节点局部中心度和边的语义连接强度的量化标准,用于选取核心节点和度量边权重,得到显式表示本体语义和结构特征的无向加权层次网络,将其建模为具有不同位势的电路网络,利用最大位势差法划分本体模块。实验结果表明,该方法能够在线性时间内得到质量较高、适合匹配应用的本体划分。