无线传感器网络空中目标跟踪任务分配技术的研究

以无线传感器网络对空中飞行目标跟踪为背景，针对无线传感器网络协同技术中的任务分配问题，以降低传感器节点之间的通信能量消耗为目的，提出了一种基于弹性神经网络的任务分配算法。首先对多动态联盟多目标跟踪问题进行建模，然后依据最小能量准则，采用一种非全连接的环形结构的弹性神经网络模型，解决了多目标跟踪时的任务优化分配问题以及多个动态联盟对传感器资源竞争冲突时系统能耗增加的问题。仿真结果表明，该算法与传统的方法相比，大大降低了跟踪系统的能量消耗。     

地空导弹武器系统可测试性要求与分配

针对地空导弹武器系统的特点，论述了可测试性的重要性，认为可测试性是一种设计特性，必须从武器系统研制开始就要加以考虑，并贯穿于整个寿命周期中。提出了可测试性的具体定性要求和定量要求，讨论了可测试性的分配问题，给出了分配步骤，最后用例子来说明如何分配可测试性的问题。     

关于内部资本市场效率问题的相关研究综述

本文对内部资本市场效率问题的相关研究进行了归纳总结,系统性的介绍了国外国内关于内部资本市场效率问题的主要研究成果。     

A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

常用文件系统的比较及转换

介绍了不同类型的文件系统以及它们与多种操作系统之间的兼容性，提供了实现各类文件系统之间相互转换的有效方法。     

Reducing mission operations costs through spacecraft autonomy: the near earth asteroid rendezvous (near) experience

With a maximum time of 12 days out of ground contact and a round-trip light time as high as 56 minutes, The Near Earth Asteroid Rendezvous (NEAR) spacecraft requires a moderate degree of onboard autonomy to react to faults and safe the spacecraft. Beyond the basic safing requirements, additional functions are carried out onboard. For example, on-board calculation of the Sun, Earth, asteroid, and spacecraft positions allow the spacecraft to autonomously orient itself for science and downlink operations. On-board autonomous momentum management during cruise relieves Mission Operations from planning, scheduling, and carrying out many manual momentum dumps. During development, additional operations, such as center-of-mass management during propulsive maneuvers and optical navigation were also considered for onboard autonomy on the NEAR spacecraft, but were not selected. The allocation of functions to onboard software or to ground operations involved tradeoffs such as development time for onboard software versus ground software, resource management, life cycle costs, and spacecraft safety.After two years of cruise operations, considerable experience with the NEAR autonomy system has accrued. The utility of some autonomous capabilities is greater than expected, others less so. Software uploads increased spacecraft autonomy in some cases, and the impact on Mission Operations can be assessed. Allocation of functions between spacecraft autonomy and ground operation during development of future missions can be improved by applying the lessons learned from the NEAR experience.     

航空动力装置任务可靠度模糊预计与分配的综合

根据Vague集的直觉性，定义一种判定Vague值真值的函数，进而给出一种确定Fuzzy隶属度的方法。将此方法应用于模糊综合评判理论，得到一种在设计初期根据专家意见，预计航空动力装置任务可靠度的模糊决策方法。根据预计值和比例组合分配法的思想，先按任务可靠度模型的等效串联模型进行任务可靠度指标的分配，然后再对等效串联模型中冗余部分的指标进行分配。     

基于改进DQN的复合模式在轨服务资源分配

针对开展在轨服务前的资源分配非线性多目标优化问题，构建复合服务模式下的在轨资源分配模型，基于对DQN （Deep Q-Network）方法的收敛性和稳定性改进，提出了一种在轨服务资源分配方法。该方法能够应对同时包含"一对多""多对一"的复合服务模式，并在满足预期成功率的前提下优先分配重要服务对象，兼顾资源分配综合效益和总体能耗效率，达到了以期望成功率、较少资源投入尽快完成任务的综合目标。仿真实验表明，改进DQN方法能够在任务执行前依据服务对象重要程度自主分配航天器资源，收敛速度快、训练误差低，在分配效益和总体能耗的优化方面具有明显的比较优势。     

VLIW上的软件旁路与细粒度并行调度

描述并分析了一种新型的VLIW(Very Long Instruction Word)机器模型,为充分利用该模型的并行特性,提出了基于静态单一赋值(SSA)表示的软件旁路方法,以及集成的基于操作的指令调度与寄存器分配算法.与常规的软件旁路方法和基于周期的调度方法相比,该方法可以灵活地进行结果寄存器的分配,并有效减少由重用结果寄存器导致的"危险值"溢出次数,生成高质量的目标代码.      

基于飞行性能最优的多操纵面飞机配平研究

从飞行性能最优的角度,对多操纵面飞机的配平原则与算法进行了研究。以瑞典FO I开发的ADM IRE为例,根据所建立的配平原则与算法对其进行了重新配平。比较了新配平方法与原配平方法的飞行性能,结果证实采用新配平方法的飞机飞行性能较好,说明所建立的配平原则与方法是合理的。