CCSDS XTCE研究综述

综述航天任务操作数据库的国际标准框架XTCE(基于XML的遥测遥控信息交换标准),主要对XTCE的产生背景、框架组织结构、典型应用模式等内容进行了描述。在重点介绍框架中遥测元数据描述语言及其应用实例的基础上,着重分析了国内外对XTCE的研究及应用现状,并进一步指出推广XTCE的深远意义。最后针对目前航天任务的特点,对XTCE的应用前景进行了展望。     

服务化多工艺设计研究

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

组合服务控制流测试

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

多粒度概率语言环境下基于PROMETHEE的改进FMEA方法

针对传统故障模式和影响分析（FMEA）方法中存在关于故障模式评估、风险因子权重和风险优先级排序等方面的固有缺陷,提出了一种多粒度概率语言环境下基于偏好顺序结构评估法（PROMETHEE）的改进FMEA方法。该方法运用多粒度概率语言术语集（PLTS）刻画了专家评估信息的多样性和不确定性,并基于二元语义转换函数为引入工具的语言计算模型统一各专家多粒度风险评估信息,运用最优最劣法（BWM）和熵权法相结合的综合赋权法确定风险因子权重,将PROMETHEE拓展到概率语言环境中用于确定故障模式风险优先序。最后,运用托盘交换架故障风险评估案例来验证该方法的适用性和有效性,并进一步通过敏感度与对比分析以显示该方法的优越性。      

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

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

C#3.0中LAMBDA表达式树的构建

对C#3.0中LAMBDA表达式及其特性进行了研究,提出了动态构建LAMBDA表达式树的方法,该方法可以减化数据库的查询环节.     

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

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

基于Hadoop平台的XML Twig查询处理方法

为解决半结构化XML大数据的处理分析问题,分析了Twig查询结构特点和Hadoop平台架构特征。基于Hadoop平台,通过对XML数据的水平切分,设计了XML数据在HDFS上的分布式存储策略;将Twig查询分解为线性路径,实现了基于MapReduce编程模型的并行查询方法。最后通过实验验证了该方法的有效性。     

不确定性时空查询的一种符号表示法

分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性,以BNF(B ackus-naurform)范式形式给出不确定性时空查询语义的统一符号表示法,并对典型查询进行举例说明。该表示法建立在时态谓词、时空谓词和不确定性时空谓词基础上,可消除由不同表现形式带来的语义混淆,以对各类不确定性时空查询进行统一表示。该方法还可用于不确定性时空数据库原型系统的实现和不确定性时空查询的进一步研究。     

通用机上的实时仿真系统

介绍了通用机上的仿真系统的体系结构 ,实时仿真系统的语言规范 ,软件和硬件设计原则及实现方法 ,以及为编译器 ,实时交互 ,I/O控制器提供所有信息的IDB数据库