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%，能很好用于大规模集群的场景。     

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.     

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

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

远程教学在精品课程建设中的尝试

精品课程的建设实现了资源的共享,辅助了教师的教学,但精品课程的建设中存在内容不能及时更新、利用率低等问题。通过建立后台管理操作系统,管理员可方便地对内容进行补充更新的远程教学模式在精品课程中的尝试,克服了精品课程建设当中的不足,使用更加方便。     

运载火箭测控系统技术与发展

针对中国新一代运载火箭发射轨道多样、外部环境日益复杂、上行控制和空间环境安全要求逐步提高等发展特点,以及高码率、高覆盖、高精度的测控需求,研究了天基测控、多音组合编码安控、高效遥测和测控数传一体化等几种运载火箭测控新技术的应用前景;从工程的角度,提出了中国运载火箭测控系统发展思路和天地一体化的测控体系结构;并就测控系统资源配置与使用模式、新型测控体制和测控手段、遥测和安控频段等重点发展方向简述了作者的观点。     

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

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

ALPHA900系列数据采集器测试系统的设计

介绍了一个数据采集器测试系统的构成及其软件设计，并对系统软件的设计方法、主要功能和主要特色进行了讨论。     

适用于小型公司的 ISO 9000 质量管理系统(英文)

ＩＳＯ９０００质量管理系统往往存在一种神秘性。一般认为它只适用于大型公司，对小型公司而言，该系统实在是太昂贵了，本文澄清了这种错误的想法，并说明了ＩＳＯ９０００系统内在之属性事实上是灵活的，不论任何行业的小型公司均可适用。此外，它亦指出了认证审核员和质量管理顾问应对那些易犯的错误提高警觉。     

武器装备电磁兼容性的系统验证技术探讨

针对武器装备电磁兼容性系统验证技术的特点和必要性以及国内外的发展情况,提出了武器装备电磁兼容性系统验证技术的研究内容和验证项目。