风险驱动的安全关键实时任务调度

安全关键系统面临着日趋严峻的安全威胁,如何降低安全关键实时应用的风险成为挑战。通过结合风险评估与实时调度,给出一种风险驱动的任务调度方案。在分析非周期实时任务可调度性的基础上,提出一种基于处理器瞬态利用率、系统安全风险最小的在线调度近似算法。在不违背关键任务的时间约束和安全约束的前提下,该算法能够在低时间复杂度内得到安全性能确保的次优解。实验结果显示所提算法能明显降低安全关键实时应用的风险。具体来讲,最大安全风险可降低22.2%,并且在安全风险近似率上界为110%情况下,真实近似率最小为102.4%。     

A laboratory study on the thermally induced transformation of hydrogen cyanide (HCN) to the cyanogen anion (CN) in Solar System analog ices

Mixtures of molecular nitrogen and methane have been identified in numerous outer Solar Systemices including the icy surfaces of Pluto and Triton. We have simulated the interaction of ionizing radiation in the Solar System by carrying out a radiolysis experiment on a methane – molecular nitrogen ice mixture with energetic electrons. We have identified the hydrogen cyanide molecule as the most prominent carbon–nitrogen-bearing reaction product formed. Upon warming the irradiated sample, we followed for the first time the kinetics and temporal evolution of the underlying acid–base chemistry which resulted in the formation of the cyanide ion from hydrogen cyanide. On the surfaces of Triton and Pluto and on comets in Oort’s cloud this sort of complex chemistry is likely to occur. In particular, hydrogen cyanide can be produced in low temperature environments (Oort cloud comets) and may be converted into cyanide ions once the comets reach the warmer regions of the Solar System.     

用于识别两颗故障卫星的RAIM算法

提出了一种可以识别两颗故障卫星的接收机自主完好性监测算法.将最优奇偶矢量法应用于两颗故障卫星识别,指出由于故障偏差可能会抵消而使得正确识别率较低.对最优奇偶矢量法进行了改进,利用对单颗卫星故障敏感的最优奇偶矢量对所有可能的两颗故障卫星组合分别构造两个新的奇偶矢量,用于两颗故障卫星的检测和识别.计算机仿真结果显示,改进后的算法与直接利用最优奇偶矢量法相比,可以显著提高两颗故障卫星正确识别率,识别率可超过90%.同时,改进算法的奇偶矢量构造方法简单,计算量将减少90%以上,更有利于工程实现.      

组合卫星接收机中的选星算法

分析了五阶矩阵的行列式值与5颗星GDOP(Geometry Dilution of Precision)值的关系,并由此提出了一种用于双卫星星座组合接收机(如GPS(Global Position System)和BD2(BeiDou2)组合接收机)中的选星算法——组合优选法.该方法首先选出行列式绝对值最大的几种组合,然后根据需要对每种组合从其余可见星中选出几颗最优星,最后根据GDOP最小原则从这几种组合中选取最终结果.计算机仿真结果显示该方法与直接利用GDOP选星相比,95％以上的GDOP相对比值小于5％,而计算量减小40％以上.      

限制励磁方法在无刷交流发电机数字电压调节器中的应用

分析了限制励磁电流功能对无刷交流发电机加载过渡过程的影响,得到了设置励磁电流限制值的方法。采用了曲线拟合的方法对变速无刷交流发电机的励磁电流限制值进行了设置,而且拟合公式是与理论推导相一致的。按照本文的励磁电流限制值拟合方法可以保证无刷交流发电机在整个转速范围内都有良好的加载动态性能。     

基于试飞任务单的轨迹仿真问题研究

阐述了基于试飞任务单的试飞轨迹仿真生成软件系统在辅助试飞管理中的重要作用,对该软件开发中所涉及到的一些新的问题和方法进行了研究。建立了带电传操纵系统飞机的数学模型,并针对试飞轨迹仿真生成中的逆问题,提出了一种基准控制带反馈调节的方法。简要介绍了轨迹仿真生成软件与任务单管理数据库软件的接口设计,对仿真结果进行了动态显示处理。     

企业的知识管理及其措施探讨

知识经济时代已经到来,适应知识经济的企业管理方式正从工业社会的生产管理向知识管理和创新管理转变。笔者对企业知识管理的概念进行了分析,并探讨企业进行知识管理的具体措施。     

空间相机中与大口径透镜有关的结构设计分析

某空间相机镜头在光学设计时,因透过率、吸收率等原因,为了满足光学系统要求,经过各方面平衡后,其中有一片透镜比正常径厚比设计的偏薄些。在镜头总体结构设计时,单独对该镜片及与之相配的结构件进行了有限元分析和实验检测,发现不同的结构形式对镜片面形影响不同。为了解决这一问题,在实验中进行了探讨,以保证整个相机系统满足空间相机的实用要求。     

谐振式光纤陀螺系统建模及其应用研究

谐振式光纤陀螺作为高精度角速度传感器,以其集成化高、成本低以及抗干扰性强等独有优势,逐渐成为下一代光学陀螺研究发展的热点。通过对谐振式光纤陀螺工作原理的分析,建立了陀螺数字信号处理系统可视化模型,并对系统谐振曲线和同步解调曲线等开环输出以及锁频反馈下闭环输出进行了模拟仿真。利用仿真模型分析了正弦波调制下谐振谱分裂现象,并搭建实验装置对其进行了验证。结果表明,实验中正弦信号调制频率高于系统谐振输出半高全宽一半,即对应2 MHz时,谐振谱分裂会导致同步解调输出线性区域出现明显失真,严重恶化了标度因数线性度。因此,搭建的谐振式光纤陀螺仿真模型能够准确而有效地模拟系统的工作状态,在系统噪声抑制和精度提升方面具有指导性意义。