利用空间微重力资源研究金属材料

本文介绍了利用空间微重力资源研究金属材料的重要意义和近20多年来在这一领域已经取得的主要成果(包括难混合金、金属基复合材料和功能材料等方面),并对今后的研究方向和未来的展望作了简要讨论。     

提高服务组织质量管理方法研究

根据当前社会对提高服务质量的急切需求,把服务当作一个过程,从服务质量设计、服务实施和评价、服务质量改进等方面研究提高服务质量管理的手段和方法。     

关于责任会计几个基本理论问题初探

通过论述责任会计的前提条件、重心、目标和本质特征，探讨并总结出责任会计的基本概念；并在此基础上论述责任会计具有的三大基本功能，即规划、控制、考核和评价三大功能。最后论述了建立责任会计体系应遵循目标一致性、责梳利相结合、可控性和反馈性等四项原则。     

一种卫星上的容错数字控制计算机

卫星控制系统用的数字计算机是实时性能很强的控制机,又是信息量较大的数据处理机,同时要求可靠性极高。一般,星载计算机设计成一台双机热备份的容错计算机系统。文章介绍了星载计算机的元器件选择,主机构成及其性能,各种系统软件和应用软件的设计准则,以及整机测试方法等。着重介绍了星载计算机硬件和软件的容错设计。文章最后介绍了星载计算机的使用情况,星载计算机成功地完成了二次飞行试验任务,表明设计思想正确,满足总体技术要求,控制精度高。采用双机热备份系统确实保证了计算机的高可靠性要求。     

F—22战斗机的电子设备材料

Ｆ－２２战斗机除选用一些先进的结构材料外，还采用了一些先进的功能材料，特别是电子材料。本文介绍铝基复合材料、红外材料及液晶材料的应用。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

隐喻理论与成人英语词汇习得

隐喻不仅是一种修辞手段，而且是一种思维方式。隐喻作为认知和语言的纽带，在词汇学习中扮演着重要的角色。借助隐喻的功能学习英语词汇符合认知规律，可有效突破传统英语词汇学习的瓶颈，帮助学习者特别是成人学习者培养地道英语的思维习惯，提高理解和表达英语的能力。     

基于反馈线性化和变结构控制的飞行器姿态控制系统设计

在大姿态角的情况下，飞行器姿态运动的非线性因素和耦合因素不容忽略，使得传统的基于小扰动假设的近似线性化处理方法面临难以克服的困难。本文首先运用反馈线性化方法，将飞行器姿态通道线性化解耦成三个单输入单输出系统，然后运用分散滑动模态变结构控制理论对每个通道分别设计变结构控制器，以期使系统获得对参数摄动和外部扰动的鲁棒性。理论研究和数值仿真表明，所设计的控制系统可以适用于飞行器大姿态角飞行的情况，并对系统参数摄动和外部扰动具有较强的鲁棒性。     

基于网格的电路功能可靠性仿真系统

功能可靠性仿真是建立系统功能与可靠性一体化分析的综合仿真技术,论述了电路功能可靠性仿真系统的体系结构、功能及其实现的故障建模、故障虚拟注入、仿真器集成、故障自动判别等主要技术方法.为解决电路功能可靠性仿真系统中长仿真时间和大数据量存储的难点,提出了基于网格计算技术的体系结构,研究了仿真服务、分析服务和数据管理服务的实现方法,建立了通过网格平台向电路功能可靠性仿真系统提供虚拟计算和存储的能力,减少了系统分析所需要的仿真时间,实现了大量仿真结果数据的分布式存储.基于上述技术思想,实现了以TyrensGrid为网格平台、PSpice为仿真内核的TG-CFRS软件原型,证明了基于网格的电路功能可靠性仿真技术的有效性.     

批产航天器自测试系统设计

集成快检、存储快检与射前快检成为批产航天器亟待解决的问题。传统航天器综合测试模式存在测试效率低、测试改装部署繁琐、测试成本高、测试周期长和难以深入产品内部探查的问题,不能很好地适应批产研制与测发需求。针对该问题,从航天器可测试性与自测试设计出发,研究航天器自测试功能单元的设计方法、自测试通信交互模式、基于结构模型与行为模型的自测试诊断模型设计方法,设计了分层的自测试系统架构,通过总线快速调度自测试流程,提升快速检修能力,满足批产航天器快检需求。