基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

针对多个地球静止轨道目标的巡游轨道设计

运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势.     

加工耐热不锈钢小钻头

我厂三十六车间加工4Cr14Ni14W2Mo零件φ3_(-0.06)~( 0.12)毫米小孔,过去一直采用日本进口的SKH9(相当于我国国产W6Mo5Cr4V2)钻头,后因进口供应不足,采用了国产W18Cr4V通用钻头,使用中发现寿命低,消耗量大,易折断,一次刃磨只能加工2～3个孔,严重的影响了生产。在毛主席关于独立自主、自力更生的教导指引下,工具试验室与五十三、三十六车间协作,在一一一厂工具车间支援下,打破洋框框,经过反复试验,采用国产材料制成了新结构小钻头,性能良好,质量稳定,基本满足了生产需要。现将试制情况介绍如     

陆军的重要战术装备电子战直升机的发展

本文介绍了电子战的组成,直升机用于电子战的主要原因,电子战直升机在陆军装备上的应用和发展及国外主要电子战直升机的一些情况。     

《飞机设计手册》将陆续出版

在毛主席革命路线的指引下,由于广大编写人员积极努力,《飞机设计手册》第三册(强度计算)、第四册(重量重心计算)及第五册(飞机零件设计),均已经编写委员会审定通过,交国防工业出版社印刷出版,不久即将与读者见面。第一册(公式、符号、数表、算法)已审定完,正在整理核对定稿。第二册(飞机设计的一般技术要求)、第六册(标准)及第八册(成品、附件汇编),正在编写第一稿。     

一种长寿命磁滞陀螺电机润滑系统的改进设计

磁滞陀螺电机是惯性姿态敏感器中陀螺的核心部件,磁滞陀螺电机实现长寿命是惯性姿态敏感器长寿命的关键.针对目前陀螺电机轴承的主要失效模式,通过改进润滑系统设计延长了磁滞陀螺电机寿命,并经过寿命试验验证了平均无故障时间大于30000小时.     

静电力平衡式石英挠性加速度计闭环控制系统的设计与分析#br#

针对一种静电力平衡式石英挠性加速度计,建立其表头系统模型并设计一种静电力平衡式闭环控制系统.建立表头摆片的刚度模型和挠度模型,摆片转动引起的电容间隙变化不均匀影响驱动、检测参数;建立驱动电容的静电力方程并分析了静电力负刚度对表头系统刚度的影响.表头的高真空度导致表头阻尼近似为0,因此在闭环控制系统中引入阻尼补偿环节,避免系统在表头谐振频率处振荡,并且在闭环控制系统中设计积分环节和校正环节来提高系统的快速性和稳定性.仿真分析结果表明：在闭环控制系统中引入阻尼补偿环节后可以有效减小系统振荡,静电力平衡式石英挠性加速度计闭环控制系统带宽为2 380 Hz,阶跃响应的超调量为3%,调节时间为0.5 ms,当系统静电力负刚度增大时,闭环系统也可以稳定工作.     

正交试验法在空间自由漂浮机械臂控制参数寻优中的应用

摘要： 针对空间自由漂浮机器人自适应控制参数的寻优问题,引入正交试验设计方法.综合考虑了各因素对试验结果的影响,通过较少的试验仿真次数即可快速获得较为理想的控制器参数,因此该方法对复杂系统控制器参数寻优具有较为实用的借鉴意义.实例证明,采用L81(340)正交表能较好地完成两自由度自由漂浮空间机械臂的14个控制参数寻优.     

面向对象技术在压气机叶片造型设计中的应用研究—通用压气机叶片造型系统

本文通过对实际的应用系统,通用压气机叶片造型系统的功能特点的讨论,介绍了面向对象(Object Oriented)技术在解决工程实际问题中的意义和作用,并对如何把这一技术应用于工程设计领域做了初步的探讨。