基于IData的航空多功能显示器图形界面

使用OpenGL编码形式进行航空多功能显示器图形界面开发,存在难度大、周期长及软件执行效率难以保证的问题.IData提供了图形化的开发环境,其使用简单,开发周期短,使用ACG工具可自动生成经优化的OpenGL图形程序.通过对ACG源码的研究,建立了图形程序和应用程序分离的软件框架,实验证明该框架可维护性良好,程序执行效率较高,具有较强的工程实用性.     

从认知语境评价译本——以陈荣捷《道德经》第一章译本为例

翻译界试图用关联理论来重新审视"译者—译本—读者"三者的关系,同时对不可译和对等性这些理论提出了质疑。但少有研究从实际译本出发,用关联理论来评价译本。本文从关联理论的认知语境着手,以《道德经》陈荣捷版本第一章的翻译为例,来看从关联理论评价译本的可行性,为译者提供一种全新的翻译标准。     

基于统一建模语言（UML）的航天器真空热试验测控系统电气建模

随着航天器批量化生产及新型号研制进程加快,航天器真空热试验需求越来越多样,试验温度测量与控制的复杂程度越来越高,现有测控系统逐渐暴露出固有缺陷。文章针对测控电气系统,基于统一建模语言（UML）分析并提出了系统模型,提高了试验设备信息的处理能力,增强了系统设计人机交互的规范性,改进了试验进行时状态跟踪效果。通过实际的案例应用,展示了通过电气模型提高试验可靠性的过程。     

服务化多工艺设计研究

提出了服务化的多工艺设计方法。建立了基于过程规范语言的完整多工艺信息模型,提供统一的工艺数据访问服务和工艺业务服务调用。最后,给出了服务化多工艺设计平台体系结构,采用开源的面向服务架构技术进行了系统实现。     

Java智能卡解析优化方法

 针对复杂的传统Java智能卡指令解析问题,结合Applet的部署特点,提出了指令预解析的概念;给出了转换后的Applet文件(CAP,Converted Applet file)中导入组件、常数池和导出组件的预解析优化存储结构及包注册表结构,使用定长存储结构替代原有的变长存储结构以加快查找过程,引入了导出组件辅助索引表以加快外包类的解析过程;设计了基于优化后组件的静态域、静态方法和类访问字节码指令的快速解析流程,将解析算法的时间复杂度降为常数阶;在Applet下载过程中通过预解析来生成优化后的组件存储结构,在执行过程中依据快速解析流程来完成静态域、静态方法和类对象的快速访问,从而缩短了Applet运行时的解析时间.测试结果表明,在不改变标准Applet下载、运行流程的情况下,该方法有效地减少了卡内存储器的访问次数,缩短了解析算法的执行时间,提高了Applet执行的整体性能.     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

真空热试验中卫星水平度测量系统的设计与仿真

真空热试验是卫星研制过程中必须进行的大型地面模拟试验之一。在真空热试验的准备阶段和试验阶段都必须采集卫星南北板倾斜角度,密切关注卫星姿态,以判断热管是否处于正常工作状态。文章基于AT89C52单片机、TSD-232水平敏感器和C语言设计出一套卫星水平度测量系统,并对其在Keil u Vision3和Proteus联合平台下进行了仿真分析。结果表明:该系统结构简单,程序设计方便,为卫星水平度的实时监测提供了保障。