基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

有源磁悬浮动态特性的测试与辨识

惯性仪表有源磁悬浮的动态特性实质上反映着其浮子组件五个自由度的动力学规律。针对时分式有源磁悬浮动态特性测试在工程实现上的具体困难， 基于多输入多输出（ Ｍ Ｉ Ｍ Ｏ） 系统的测试和辨识原理， 采用时分信号激励和近似的时序同步数据采集方法， 进行了磁悬浮各回路的时域测试和辨识， 结果表明， 开环状态下的浮子运动有一定交叉耦合关系， 在有源磁悬浮设计和调试中应当加以考虑。同时分析了辨识的可行性和可信度。     

局部模型跟踪控制理论的应用研究

将文献［１］中的局部模型跟踪变结构理论用于导弹控制系统设计，探索了一条设计控制系统的新路。某型号导弹控制系统设计中采用了本文提出的参数选择法，获得了良好的仿真结果。     

固体火箭发动机排气二次燃烧的抑制技术

介绍了无烟固体火箭推进剂研究的最新进展——固体火箭发动机排气二次燃烧的抑制技术,内容包括二次燃烧的产生机理、抑制机理和国外技术现状等.国外经验表明,采用少量的抑制剂可以达到对高能无烟推进剂发动机排气二次火焰的抑制.     

交换式以太网传输数据生成和性能评价方法研究

先介绍交换式以太网传输数据流生成方法 ,即用接口控制文件 (ICD)对数据流行进行规范化定义 ,并采用数据库对ICD进行管理及生成仿真接口文件 (SID)。然后介绍交换式以太网建模仿真及性能评价方法 ,并用曲线对比法得出仿真结果和实测数据基本吻合的结论 ,论证仿真模型的正确性。数据库辅助仿真的设计方法克服了仿真过程中数据流录入的繁锁及重复性 ,大大节省时间 ,保证仿真数据流的正确性和一致性     

PCA在雷达目标识别中的应用研究

研究了宽带高分辨雷达目标识别中的特征压缩问题.首先提取目标一维距离像双谱特征,然后应用主元分析法(PCA)降低目标特征维数,最后利用支持向量机对3类实测目标数据进行识别.实验结果表明,对雷达目标识别来讲,PCA是一种可行的特征压缩方法.     

光纤嵌入法监测复合材料固化的研究

通过嵌入光纤对芳纶／五氧复合材料板及环氧树脂浇注体的固化进行初步研究，结果表明，光纤嵌入法能准确监测出浇注体及芳纶／环氧复合材料的瞬时固化情况。     

固体发动机失效树专家评分法

根据固体火箭发动机失效树定量分析中确定底事件失效概率存在的困难,提出了确定底事件失效概率的工程方法——专家评分法.用此方法对某型号发动机试样阶段结构可靠性进行了实例分析,得出了较满意的结果.     

航天器舷窗玻璃超高速撞击损伤与M/OD撞击风险评估

用北京卫星环境工程研究所的18mm口径二级轻气炮(TLGG)和20 J激光驱动微小飞片装置(LDFF-20)对用作航天器舷窗玻璃的熔融石英玻璃的超高速撞击损伤特性进行了实验研究和分析.其中,TLGG发射的球形铝弹丸直径分别为1 mm和3 mm,速度2～6.5 km/s;LDFF-20发射的圆柱形飞片厚度7 μm,直径1 mm,速度1～8.3 km/s.撞击结果为:对12 mm厚的熔融石英玻璃,直径为3mm的弹丸甚至在2.8 km/s的低速下就将其穿透,而直径为1 mm的弹丸在6.5km/s的高速下没有穿透,这说明弹丸直径对撞击损伤特性有很强的影响;LDFF-20发射的微小飞片的撞击仅在玻璃表面产生很浅的凹坑,没有裂纹产生,但微小飞片的累积撞击损伤明显地降低了玻璃的透光性.实验初步获得了侵彻深度PC、侵彻直径D1与弹丸撞击速度Vp、弹丸质量Mp之间的经验关系.依据实验结果和目前的微流星体/空间碎片(M/OD)环境工程模型,建议对于高度为400 km、轨道倾角42°、寿命为3年的典型航天器,其舷窗玻璃的临界安全(非穿透)厚度至少为12mm.     

有限推力下时间最优轨道转移

研究了一种有限推力作用下的时间最优轨道转移计算方法。以非奇异根素形式的高斯行星摄动方程为基础,由庞德里亚金极小值原理导出正则方程组,通过将最优控制问题转化为协状态初值为待优化参数的参数优化问题,并通过非线性规划求解得到的参数优化问题,从而避开求解两点边值问题的困难。文章最后给出2个算例,分别计算了零倾角零偏心率最优轨道转移和大倾角改变最优轨道转移。计算过程及结果表明本文所用方法对协状态初值猜测敏感性小,收敛迅速;零倾角零偏心率情况下无奇异;所得控制轨线光滑。