航天器控制高级语言的设计与实现

针对航天测控任务中存在的卫星控制人员手工操作多、任务准备周期长、自动化水平低等问题,在分析航天器控制流程的基础上,抽象出面向卫星控制人员的航天器控制高级语言,设计语言规范,描述Windows平台的编辑、编译、运行功能的设计与实现。该语言成功应用于某中心的卫星测控任务中,任务准备快速高效,大大减轻了卫星控制人员的工作量,任务过程自动执行,无需人工干预,提高了航天器控制过程的自动化水平。     

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

面向语义的C4ISR/Sim集成系统设计

采用面向服务的体系结构(SOA, Service-Oriented Archilecture)的C4ISR/Sim集成系统可以借助其体系结构的优势,达到信息获取方式和信息表示语法上的一致.提出的面向语义的C4ISR/Sim集成系统通过扩展SOA,采用系统的层次化的语义体系不仅改善了系统构建的灵活性、可重用性和可扩展性等问题,而且实现了集成系统的语义互通.该体系结构以核心服务层的领域本体模型为基础,扩展定制服务层的模型服务语义描述,通过语义服务匹配,实现应用层的需求描述到系统组成之间的自动映射.原型系统的实现证明了设计方法的正确性和可行性.      

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

基于Lucene＼XML技术的Web搜索引擎设计与实现

Lucene是一个强大的开放源代码的全文索引引擎工具包,对它进行分析应用有利于研究搜索引擎的相关技术.本文使用Lucene\XML技术设计并实现了一个Web搜索引擎,可对Web站点的全部文本、图片、音频三类数据的进行索引;采用了XML作为数据存储容器,可在大信息环境下极大地节省存贮空间和提高索引的速度;同时在客户端方面引进了移动客户搜索界面,把搜索引擎的功能进一步扩大到手机客户,在移动通信高速发展的今天,有着重要的意义.     

数据仓库中历史数据的归档策略研究

XML技术具有与系统和平台无关性。压缩格式紧凑、易表义特性、稳定性高等特点，因此考虑将XML技术应用于历史数据的归档。在组织归档的历史数据时，主要采用代码回替技术来保证归档数据的完整性和可用性。利用XML文档作为中间文件实现历史数据的归档，需要实现将关系模式映射为XML模式，然后实现将关系数据库中的数据传递到XML文档。文中详细介绍了在数据仓库历史数据的归档应用环境下如何将关系模式映射为XML模式。     

基于PDM的协同工艺管理系统研究及实现

针对工艺信息系统对多用户协同工作与管理功能的需求,详细论述了在PDM平台上,基于WEB的协同工艺管理系统的体系结构和关键实现技术。     

一种分布式多数据库系统结构的提交缓冲设计

首先给出了一种分布式多数据库系统结构的事务提交流程 ,其次对数据通讯的发送缓冲和接收缓冲进行了数据库设计 ,对其中的关系进行了描述。对于发送缓冲 ,它以事务、节点和SQL语序的顺序排序并传输 ,接收缓冲以同样的顺序存放并以子事务为基本单位执行。对构造回滚SQL做了语法分析和举例说明 ,最后简述了本系统所使用的通讯协议和调用方式。