Ada软件性能检测技术研究及工具的实现

介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法。     

三维烧蚀内部热响应数值计算研究

对热解型碳化复合材料三维烧蚀内部热响应数值计算关键技术进行了研究。采用碳化层—热解面—原始材料层模型,将热解气体与碳化层之间的对流换热处理为源项,通过有限元法建立移动边界条件下温度场求解方程组,采用Gauss Seidel迭代法计算热解气体质量流量和温度场。同时,研究和分析了三维烧蚀移动边界处理方法以及动网格生成方法。由于每个时间步都需要网格重划,烧蚀热防护数值计算对存储效率和计算效率要求较高,本文研究了内部热响应计算中影响存储效率和计算效率的主要因素,并提出了相应的压缩存储方案和求解方案。计算结果表明,移动边界处理方法准确合理;存储方案的存储效率较高;保持刚度矩阵和形函数矩阵正定对称性可以加快温度场计算的收敛速度。     

基于内部总线的控制系统体系结构

控制系统是卫星平台的关键分系统.由于各卫星总体任务的不同,各卫星对控制系统的要求也不断变化,使得控制系统的配置随着任务的不同而发生较大变化,对控制系统的体系结构产生较大的影响.对目前控制系统体系结构的特点进行分析,提出基于内部总线的控制系统体系结构以适应不断变化的配置需求,并进行可行性分析.分析结果表明这种体系结构有利于系统的配置变化和带宽的提高,能满足不同平台任务的需要.     

“勇气”号轶事

在度过了2210个火星日之后,"勇气"号火星车和地面失去了联系。不过有关它的一些轶事也许会永远流传下去。"勇气"号是美国火星探险漫游者任务中两辆火星车之一。2004年在火星上着陆,原本设计寿命只有90天的它却一直工作了6年。初到火星,"勇气"号便出现了计算机故障。恢复之后,它对火星岩石进行了首次人为的研磨,以便研究其内部构造。此外,"勇气"号还经历了小尘暴的洗礼,就此焕发了活力。不过,它最终身陷火星的软土,冻僵而和地面失去了联系。     

服务化多工艺设计研究

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

倾听太阳的心跳

日震学家们又捕捉到了一种发生在太阳表面的振动,终于有望揭开太阳内部动力机制的面纱了.     

组合服务控制流测试

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

月球仍然活跃的构造、火成和内部特征等证据

月球尽管被作为类地行星演化的最终形态的代表,被认为在25亿年前已经完全冷却,根据阿波罗时 代以来、特别是近十余年的月球轨道器和着陆器获得的关于月球构造、火成活动、月震和内部结构等多种证据,表明月球从深层内部到表面仍然活跃,尚未彻底冷却“死亡”。这将完全改变人们关于月球演化历史和状态的观念。     

基于学科链的卫星系统工程方法与实践

目前,绝大多数的卫星系统都是按照分系统来设计的,这种方法的弊端在于分系统内部重复的功能模块对整星而言是冗余的。因此,为了摒除按照分系统设计的卫星系统缺点以提高系统可靠性,我们设计了一个全新的卫星系统,其基于学科功能链。按照学科功能链,我们将卫星系统划分为控制学科链、结构热学科链、电子学学科链、载荷学科链,显著提高了卫星系统的性能、可靠性和功能密度,同时有效降低了研制成本,缩短了研制周期。最终,基于学科链的卫星系统已成功应用于北斗导航全球系统的首发卫星上。本文阐述了基于学科链设计的核心思想和四个主要的学科链内涵。     

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

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