面向Web的知识描述语言

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

嵌入式处理器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机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

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

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

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

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

HK1553B电路的设计与测试

MIL-STD-1553B是一种串行多路数据传输总线,应用于军用飞机、轮船和地面等设备之间进行数据传输。本文论述了HK1553B总线协议处理器芯片的设计验证与测试。因为IC的生产过程是一个技术非常复杂和非常繁琐的工艺过程,所以,本文重点介绍HK1553B电路的设计实现与后端测试,而对IC的工艺实现等技术则不做详细阐述。在不久的将来,具有我所自主知识版权的"HK1553B"芯片将应用到我们国家的航空电子产品上。     

燃气- 蒸汽联合循环性能计算平台界面开发

为实现联合循环机组的快速设计、性能优化及分析,基于热力学定律,采用面向对象及混合编程技术开发了燃气-蒸汽联合循环机组热力性能计算平台。针对燃气-蒸汽联合循环系统流程结构,运用Fortran语言编译了联合循环热力性能计算模块,并借助混合编程技术与C#界面程序实现对接,完成软件界面的编译。提出界面的整体架构及类的实现与继承,构造出窗体类、计算接口类及灵敏度分析接口类,实现了所开发软件的性能计算功能。该软件能快速开展循环方案设计、优化及变工况的性能分析等工作,为机组的设计和优化提供有益指导。     

应用PCL开发温度场分析前后置处理系统

针对“飞机结构三维温度场有限元分析程序（ASTSA）”,为了解决热阻单元的模型建立问题．提出对两接触面分别定义为主从壳元,在转换程序中实现热阻单元的设想。同时,对流单元、辐射单元应用MSC.Patran的壳单元来模拟并给出单元标志以区别于热传导壳单元;规定时间函数曲线在载荷窗体输入,单元死活、内部热生成等在材料参数窗体中输入;云图显示以MSC．Patran提供的模板格式形成。应用PCL为ASTSA开发了完整的前后置处理系统,为ASTSA的推广应用提供技术支持。     

论广告语中成语的使用

分析目前广告语中成语使用的类型和效果，重点探讨滥用仿拟成语的消极影响，主张广告语创作中应慎重使用仿拟成语。     

Geometric structures of frames of reference and natural language semantics

This article aims at formal specifications of reference systems in spatial cognition. It concentrates on two roles of reference systems connected to spatial language: reference systems resolving ambiguities and reference systems forming a basis for the classification of linguistic terms. Although coordinate systems are often seen as candidates for the geometric structure of reference systems, it is shown here that they do not appear in the explanations that go into the details. An analysis of the German terms vor, hinter, rechts and links (in front of, in back of, right, left) presents an alternative model for the geometric structure of spatial reference systems.     

BZ9真空环境模拟器的全过程自动控制设计

文章着重介绍了BZ9设备的自动控制软件的设计思想、方法,可视化高级语言Visual Basic 6.0的应用技巧和实践过程