存储网格的体系结构及关键技术研究

代表未来计算模式的网格计算对现有存储模式提出了新的挑战,存储网格是适应未来需要的新型存储体系结构。描述了存储网格的基本特性,研究并设计了存储网格的一种体系结构,对存储网格的核心问题及关键技术进行了探讨。     

Graph-tree-based software control flow checking for COTS processors on pico-satellites

 This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.     

基于核心零部件聚类的飞机现场可更换单元划分

为研究军用飞机测试性设计过程中现场可更换单元（LRU）划分工作，以功能独立性和结构独立性为基本原则，以降低飞机维修保障成本和时间为主要目标，设计了一种军用飞机LRU划分方案。方案在首先实现了飞机从整机到零部件的功能结构分层划分基础上，从设备零部件层级出发，以综合重要度作为各零部件的定量化指标，运用帕累托（Pareto）原则筛选出核心零部件。然后基于核心零部件开发了一种LRU划分聚类算法，该算法以军用飞机设计研制阶段、使用保障阶段、退役处置阶段全寿命周期内成本和时间为优化目标构造综合评判因子，实现了非核心零部件与LRU模块之间的聚类组合，得到最优的LRU划分结果。最后以某型军用飞机上蒸发循环制冷装置为例，运用本文设计的方案实现了该装置LRU的划分，并将划分结果与该装置的实际LRU清单进行对比，通过维修保障成本和时间综合评判因子对两种划分结果的优劣性进行分析，得出本文设计方案得到的LRU划分结果对飞机维修保障成本和时间的优化效果较为均衡的结论。     

基于神经网络自适应动态逆的结冰飞机飞行安全边界保护方法

考虑到飞机带冰飞行的安全问题，对结冰飞机进行安全边界保护成为一种有效的解决手段。基于神经网络自适应动态逆跟踪性能好、鲁棒性强的优点，提出了以安全关键飞行参数限制值作为神经网络自适应动态逆的输入，获取可用舵面偏转角的边界保护方法。建立了飞机本体动力学模型，采用高精度的数值模拟方法获得结冰数据库。设计了神经网络自适应动态逆控制律，通过在动态逆环节引入单隐层神经网络，对不确定性逆误差进行自适应补偿，增强了控制系统的鲁棒性。以俯仰姿态保持模式为例设计了结冰飞行闭环安全边界保护系统。以结冰飞机最小平飞速度的估算值作为飞机最低飞行速度，设计自动油门控制系统，实现对飞行速度的保护。通过仿真验证了设计的控制律具有较强的鲁棒性。对结冰严重程度线性增加情形下飞机状态参数的动态响应进行了分析。仿真结果表明，所设计的结冰边界保护系统，能够实现飞机在容冰飞行过程中对安全关键参数如迎角、飞行速度的实时保护。     

服役飞机结构件腐蚀失效故障树分析及改进

对某出口用飞机铝合金结构件在热带海洋大气环境条件下服役时所发生的腐蚀失效问题,提出了采用故障树分析方法对引起飞机结构件腐蚀失效的各因素进行系统分析和探讨.根据结构件腐蚀失效过程及机理的分析,确定导致结构件腐蚀失效的各个因素,建立以结构件腐蚀失效为顶事件的故障树,通过布尔代数运算得到故障树的各阶最小割集.计算故障树顶事件的发生概率,并对底事件的概率重要度、相对概率重要度进行分析排序,找出引起铝合金结构件发生腐蚀失效的主要因素.分析结果表明飞机服役环境、阳极氧化工艺和选材是导致结构件腐蚀失效的主要因素.针对这些主要因素,提出了相应的改进防护措施.     

基于微核结构的可二次开发语音平台

随着电子商务、客户服务等信息服务的普遍化,为了满足各种商业以及服务系统的需求,语音服务作为电信领域备受关注的一个热点,其应用领域也越来越广泛。本语音平台是基于语音技术,整合了网络资源,使用VoiceXML描述和控制语音逻辑的一种交互式服务系统。其特点是信息获取快速准确,以及客户服务多样化越来越明显。可广泛应用于证券电话委托、电话银行、信息查询、语音信箱、自动传呼系统、多功能小型用户交换机等领域。     

基于故障树的蒙特卡罗仿真在可靠性评估中的应用

在某型飞机发动机可靠性评估过程中,通过对各子系统的可靠性分析,构建了系统的故障树模型,提出了基于蒙特卡罗算法的仿真运算。以发动机空中停车为例,通过故障树分析,建立了空中停车的失效模型,应用蒙特卡罗法对失效模型进行了仿真评估。结果表明,基于故障树分析的蒙特卡罗仿真方法,在可靠性评估中计算快捷,可以精确和客观地描述设备的重要度级别,为系统可靠性设计提供有力的支持。     

结构化工艺在卫星总装过程的应用改进

文章介绍了基于工艺文件体系结构化设计和改进,对卫星总装过程不同阶段所需的生产信息进行管理的新方法。运用工艺多级式表达方式,使各个生产阶段有效地获得适合本阶段特点的工艺信息,并以树状图、流程图等形式加以展现,实现生产计划管理、物料计划管理与工艺信息的协调一致。结构化工艺有利于工艺工作方式与信息化手段的结合,通过信息化系统的开发和使用,卫星总装敏捷制造能力将得到有效地提升。     

基于全景子空间的尺度不变特征跟踪方法

提出一种基于全景子空间尺度不变特征跟踪方法,包括离线阶段建立全景图像与原始图像序列特征集对应关系和在线阶段基于关键图像识别的特征匹配等过程.首先利用全景图充分覆盖局部场景信息特性,通过扩展Kd树组织全景图特征并建立其与原始图像序列特征对应关系,不但解决了图像间特征对应,而且能够有效减少全景图冗余特征量,提高首次特征匹配速度.然后给出一种基于投票策略的关键图像识别方法以进一步完成二次特征匹配,从而将多图像大数据量特征匹配转换为单图像小数据量特征匹配目标,较好实现了特征匹配速度与稳定性的平衡.试验结果表明本方法能够有效增强特征跟踪的稳定性.      

航空发动机加力控制系统典型故障研究

为分析采用电子-液压机械式调节的某型航空发动机加力控制系统的故障部位,以加力状态控制的调节规律和工作原理为基础,建立了以"不能正确进入加力状态"为顶事件的故障树。按照该故障树进行发动机试车典型故障分析,使该故障有效排除。