更 正

对《强度与环境》1999(4)“基于 Petri网的故障分析方法”中的错误进行更正 :1.割集的表示不正确 ,原文用〔〕应改为 { } ,如 :最小割集为〔1〕,〔2 ,5〕,〔2 ,6〕,〔3,5 ,6〕和〔4,6 ,7〕应改为 :最小割集为 { 1} ,{ 2 ,5 } ,{ 2 ,6 } ,{ 3,5 ,6 }和 { 4 ,6 ,7}。2 .图 5中右边方框上方 :最小割集应改为最小路集。本刊编辑部 2 0 0 0年 1月更正     

基于化学杂化和官能团相似耦合方法的RP-3航空煤油反应动力学简化模型构建

真实航空燃料通常包含几十至上百种组分,直接构建其化学反应动力学模型十分困难。本文利用官能团相似法（SCFG）,结合实测RP-3航空煤油组分比例,提出了RP-3四组分模型替代物。利用流动反应器,获得了温度为550～1150K,压力为0.1 MPa下RP-3热解数据,基于化学杂化方法 （Hybrid Chemistry）,构建了以真实RP-3为单一原始组分的航空煤油化学反应动力学模型（XJTURP3-2021）,模型得到宏观点火延迟、层流火焰速度以及微观组分浓度系统验证。基于误差传递的直接关系图法（DRGEP）和全局敏感性分析（FSSA）对模型进行简化,获得含41种组分、212个基元反应的RP-3简化模型（XJTURP3r-2021）。与详细模型和实验数据对比发现,XJTURP3r-2021能较好地复现热力边界对RP-3基础燃烧特征影响规律,为解决CFD仿真对反应源项初始组分数量约束和计算精度固有矛盾提供新思路。     

旋转盘片式空间相机快门的设计与研制

以空间成像观测中应用的快门装置为研究目标,介绍了目前在空间相机中应用的几种快门型式,并分析其优缺点.选取旋转盘片式快门作为研究对象,从曝光方式出发,研究快门控制策略,分析电机选型及控制规则,构建基于DSP控制器的方案,并基于该方案进行了快门曝光时间的测试,最大误差3.0%,最小误差0.1%,测试结果满足任务需求.目前该装置在国内同类快门中具有动态范围宽、曝光误差小、工程化程度高的特点.     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

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

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

新春寄语

1974年,为了加强学术交流、提高科研水平,北京强度环境研究所(702所)开始公开发行《强度与环境》刊物。《强度与环境》立足北京强度环境研究所的专业技术,面向整个专业领域,讨论有关结构强度、可靠性工程、环境工程等方面的技术问题。32年过去了,北京强度环境研究所依托航天高技术优势,逐步完善了试验分析手段,积累了丰富的试验研究经验;《强度与环境》则发表了大量的研究论文,组织出版了多项影响深远的技术文集,在成为各个高校和科研单位之间技术交流的窗口同时,也成为技术人员相互交流的平台。《强度与环境》刊物严谨的工作作风在高校和科…     

航天器分布式智能计算体系的数学建模与调度算法研究#br#

航天器对大容量高效计算的要求越来越高，现有的星载计算体系的能力已经难以满足其需求，需要建立具有自组织能力的智能计算体系，还要实现高效的任务调度.给出了航天器分布式智能计算体系的模型和任务调度问题的多目标优化模型，并根据该模型设计了改进粒子群算法和改进蚁群算法结合的DPSO EACO算法，先利用粒子群算法生成初始调度方案，再用该方案初始化蚁群算法，利用蚁群算法生成最终调度结果.仿真结果表明，该算法的性能与改进粒子群算法和改进蚁群算法相比具有明显的性能优势.