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

针对航天测控任务中存在的卫星控制人员手工操作多、任务准备周期长、自动化水平低等问题,在分析航天器控制流程的基础上,抽象出面向卫星控制人员的航天器控制高级语言,设计语言规范,描述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机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

红外辐射测量系统内部杂散辐射建模与仿真

杂散辐射是影响光学系统性能的重要因素,对于红外光学系统,除了外部杂散辐射,还须考虑系统自身结构产生的内部杂散辐射。为提高红外辐射计内部杂散辐射分析的精度,建立了 1种基于复合蒙特卡洛法的内部杂散辐射数学模型。首先,将红外辐射计的内部杂散辐射源根据位置分为 2部分:遮光罩入瞳处的热辐射和辐射计内部光学元件、机械部分所发出的热辐射。对于遮光罩入瞳处和辐射计内部光机元件发出的杂散辐射,分别采用正向蒙特卡洛法和反向蒙特卡洛法进行追踪,得到探测器接收面入瞳处的杂散辐射辐照度分布,进而分析不同位置的发射源对接收面入瞳处的杂散辐射贡献。最后,与直接模拟仿真结果进行对比。实验结果表明,在追迹光线数相等的情况下,该方法的精度更高。仿真结果体现了红外辐射计各部分杂散辐射对探测器入瞳面接收到的杂散辐射造成的影响,对后期开展内部杂散辐射抑制提供了方向。     

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

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

如何构建企业内部控制体系

在市场竞争日趋激烈的情况下，企业一般来说面临着两个基本问题：一是如何适应外部环境的变化；二是如何协调内部资源的有效利用。由于企业对外部环境的适应性是建立在内部协调性的基础之上，因此，构建企业内部控制体系、加强风险管理是企业最基础性的工作，也是企业能够生存和发展的保证。然而，目前我国许多企业的内部控制还相当脆弱，风险管理停留在初级阶段，主要体现为：客观环境的局限性、投资者风险意识淡薄、     

重组后航空公司营销战略整合

随着中国加入WTO,我国民航市场竞争日趋激烈,国内航空公司在家门口即已遭遇国际竞争。特别是三大集团重组后、我国航空公司更是面临对外应付竞争、对内进行资源整合的巨大挑战,故而迫切需要制定和实施独特的市场营销战略,以抢占市场“制高点”,培育核心竞争力。本文基于当前民航市场的战略环境分析,从服务营销、关系营销和内部营销三个方向构建全新的营销战略整合,为我国航空公司培育竞争优势、不断成长壮大并最终冲出国门、走向世界提供了一系列的策略与措施。     

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

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