环境工程在卫星研制生产中的应用

文章从环境工程的应用角度,分析了卫星产品研制生产中环境工程工作的现状和存在的问题,提出了环境工程在卫星研制生产中的应用模式:从指导思想到卫星研制各阶段的任务分配;特别强调剪裁原则、环境分析技术、信息管理和防护技术研究方面是关键问题。指出环境工程是一个复杂的系统工程,必须加强环境工程相关各方的合作,才能实现环境工程对卫星产品环境适应性的保障作用。     

新一代中频检前记录器设计与实现

由于中频检前信号包含丰富的信息,对于事后数据分析具有重要意义,目前,国内对中频检前记录器的需求呈上升趋势。新一代中频检前记录器不仅仅是作为实时解调器发生故障时的一种备份手段,而且成为了一种重要的数据获取手段。介绍704所研制的新一代中频检前记录器的设计思路与实现方法。     

Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.     

具有通信约束的分布式SOR多智能体轨迹估计算法

针对传统多智能体轨迹估计算法信息交换量大，计算量随群规模指数增长，可扩展性差等诸多不足，提出了一种基于超松弛迭代（SOR）的分布式多智能体轨迹估计算法，通过将最大似然（ML）准则下的轨迹估计转化为两级线性优化问题，并综合利用分布式超松弛迭代（Distributed SOR）和标记初始化方法，加快求解速度并简化信息交换流程，最终实现了多智能体位姿轨迹优化和协作定位。实验表明，所提的分布式方法能达到集中式算法的精度水平，在49个智能体规模条件下，位置估计误差小于0.15 m，姿态估计误差小于0.03°，且数据交换量仅到现有主流分布式方法DDF-SAM的0.06%，能很好用于大规模集群的场景。     

CDIO工程教育模式下的教学效果分析

CDIO模式是近年来国际高等工程教育改革的最新成果。国内高校在引入CDIO模式改革过程中,难免会产生一些问题。中国民航大学电子信息工程专业是教育部2010年批准的CDIO工程教育模式第二批试点专业,通过对该校试点班学生学习效果及教师教学效果进行调查与分析,有助于明确改革实践中存在的问题,为CDIO模式在国内高校实践应用及推广提供有益借鉴。     

Parallel Distributed CFAR Detection Optimization Based on Genetic Algorithm with Interval Encoding

Aiming at parallel distributed constant false alarm rate (CFAR) detection employing K/N fusion rule, an optimization algorithm based on the genetic algorithm with interval encoding is proposed. N-1 local probabilities of false alarm are selected as optimization variables. And the encoding intervals for local false alarm probabilities are sequentially designed by the person-by-person optimization technique according to the constraints. By turning constrained optimization to unconstrained optimization, the problem of increasing iteration times due to the punishment technique frequently adopted in the genetic algorithm is thus overcome. Then this optimization scheme is applied to spacebased synthetic aperture radar (SAR) multi-angle collaborative detection, in which the nominal factor for each local detector is determined. The scheme is verified with simulations of cases including two, three and four independent SAR systems. Besides, detection performances with varying K and N are compared and analyzed.     

美国卫星公用平台采办模式研究

基于卫星公用平台的卫星设计、制造理念,以卫星公用平台目录作为重要的采办工具,在当今许多国家的卫星采办项目中得以应用。本文在整理美国卫星公用平台目录建设、管理与应用领域的进展情况基础上,特别是研究分析了美国国家航空航天局下属航天器快速发展办公室(RSDO)的运作情况,探讨了我国航天领域卫星公用平台型谱管理与应用的前景和方向,以及专业咨询机构在采办过程中的作用,为进一步深入实践航天产品工程理论提供了新方法、新模式。     

高速飞行器非视距短波通信的可行性验证飞行试验

当高速飞行器处于失稳失控等紧急情况时，现有航天器测控方法可能面临地面站天线无法及时跟踪和对准飞行器的问题，这将导致测控通信链路的中断，无法传输紧急的安控遥控指令。为了在飞行器失稳失控、非视距通信时与地面站维持通信，提出将短波通信应用于高速飞行器测控通信系统的应急通信，并进行非视距短波通信的飞行试验以验证方法的可行性。在试验中，地面站发射7 MHz的短波信号，高速飞行器内部安装的交流磁场计用于接收短波信号，获得了短波的磁场强度与飞行环境的本底噪声。试验结果表明，随着飞行器海拔的增加，磁场强度减小，高速飞行器始终能在非视距和天线不对准的情况下接收到短波信号，证实了短波应用于高速飞行器应急通信的可行性。试验是进一步验证高速飞行器在远距离、超视距以及拒止环境下应急通信的技术基础，同时，也为高速飞行器短波通信系统的研制提供重要的数据支撑。     

实时离散事件系统的状态反馈逻辑

 基于状态时间的概念,在Ramadge-Wonham模型的基础上提出了一种新的实时离散事件系统模型。在控制目标是保持某给定谓词在闭环系统状态轨迹上为真的情况下,给出了实时控制不变性的定义。研究表明,对这类系统,存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为真的充要条件是该谓词是实时控制不变的。证明了给定谓词所含的最大实时控制不变子谓词的存在性并给出了计算方法。最后,给出一个例子来说明有关结果。     

基于工程训练大赛的应用型本科机械类大学生创新实践能力的培养

培养大学生的创新和实践能力是当今各大学教育所追求的根本宗旨,本文以工程训练大赛为主线阐述了当今应用型本科类高校机械类大学生们创新能力和实践能力培养的主要方法,提出了大学生们在现实的生活中培养创新能力和实践能力的主要影响因素,给出了大学生能力培养的主要途径。