基于OpenGL的虚拟座舱显控系统快速设计与实现

以当前飞机座舱显控系统为背景,介绍座舱显控系统的组成和功能。以国内外通用的座舱显控系统为参考对象,使用VC++开发平台,应用OpenGL专业图形开发库,结合快速原型开发思想,设计并实现了一套完整的虚拟座舱显控系统。该虚拟座舱显控系统实现了数据显示、按键控制等功能。该系统能用来座舱显控系统的论证、开发和功能测试,还为飞行员的演示和培训提供了一种简单、快速、经济的选择。     

在J2EE平台上开发电子政务系统的建模方法研究

阐述了我国建立电子政务系统的必要性；针对电子政务系统的特点，把J2EE(Java2 platform enterprise edition)平台和UML(Unified modeling language)建模方法引入到电子政务系统的开发中，设计出J2EE平台上电子政务系统的构架；在指出传统建模方法不足的基础上，根据此构架．给出了如何采用UML和Rational Rose实现J2EE平台上开发电子政务系统的建模方法．并通过实例验证了该建模方法的可行性。研究表明：在J2EE平台上开发电子政务系统，采用UML作为建模语言、Rational Rose作为分析、设计工具，可以完成从系统分析到系统设计、编码的完整过渡，从而可开发出高质量、可复用、可扩展的电子政务系统。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

基于多态性的UML时序图度量研究

目前对于时序图度量的研究没有考虑到面向对象软件的多态性特点,度量不够准确。本文结合面向对象多态性的特点和UML(Unified mode ling language)类图、时序图,运用图论的方法构建了有向无环图,并在此基础上提出了相适应的度量集,最后通过实例分析说明时序图的多态性扩展和度量集的有效性。同时,本文的研究也为软件测试用例的设计提供了指导。     

航天器自动化测试语言的设计与实现(英文)

航天器自动测试系统是基于各种测试标准的航天器综合测试信息化系统,测试语言是关于各种测试标准描述的形式体系,是提高测试效率的重要手段。在我国多航天器测试的新需求下,航天器测试语言的研究已成为航天器测试领域面临的新挑战。结合当前的测试需求,本文提出了一种高阶航天器测试语言CATOL(China Aerospace Test and Operation Language),介绍了语言的组成结构。为了刻画和定义航天器测试过程,给出了该语言子集 CATOL-PR的语法和操作语义,实现了该语言的原型系统。该语言可促进国内航天器测试的标准化工作,提高测试人员工作效率,使航天器自动化测试工作得到进一步发展。     

虚拟座舱显示系统关键技术研究

根据实际飞行仿真系统中的任务需求,以国内外先进战机座舱显示系统开发经验为基础,结合虚拟现实技术,应用专业的图形开发平台,设计完成了一套“一平三下”的座舱显示系统。文中介绍了该虚拟座舱显示系统的组成结构,深入研究了下视显示子系统中无人机控制台的设计和雷达图像动态显示以及平视显示子系统开发中目标定位和与视景叠加等关键技术问题和解决方法。开发完成的虚拟座舱显示系统具有逼真程度高,实时性好,信息显示标准化、告警分类化,系统模块化、扩展性好等优点,尤其是下视显示系统中无人机控制站和雷达图像显示的开发,增强了飞行员态势感知能力,使该系统在国内同类系统开发中处于领先地位,并在实际仿真系统中得到了应用。     

有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。     

军用计算机语言初论

本文分析了军用软件在军事系统中的地位、军用软件的特点,讨论了军用软件的多语言态势及其潜在危险,回顾了军用语言的历史与现状,分析了军用语言的要求及必备的语言设施,最后简述了国内外有关Ada语言的研究与使用情况。     

身份学说与语言学习

本文从第二语言习得的身份学说与语言学习的关系的角度,阐述了在第二语言的学习过程中,学习者因个人在年龄、性别和接受能力等方面的差异、所处社会环境及文化背景的迥异,使得他们对语言的掌握程度不尽相同,由此强调实际语言教学中要注重因材施教.     

自然语言驱动的智能工作流引擎设计与实现

提出了一种由自然语言驱动的智能工作流引擎,重点讨论了该引擎的模型设计与实现技术.通过对自然语言的理解来分析工作流的流向,从而代替机械的规则和人工的干预,使工作流的运转更符合日常的办公方式,提高了工作流系统的智能性、实用性和可扩展性.本系统在试运行期间效果良好,证实了系统的可行性.