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

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

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

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

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

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

钱学森是一个全才

正郑哲敏院士第一次见到钱学森是在1947年,当时他正在清华大学当钱伟长的助教。钱伟长跟钱学森关系很好,郑哲敏从钱伟长那里了解到钱学森的一些情况,后来有机会出国就选择到加州理工学院攻读研究生。郑哲敏去的时候是1948年,但钱学森当时不在加州理工。钱学森再次回到加     

《燃气涡轮试验与研究》征稿

1 《燃气涡轮试验与研究》(季刊)是经国家科委批准的全国性正式期刊,系综合性技术刊物,由中国航空工业总公司第624研究所主办。其读者对象是:从事燃气轮机试验、研究、设计和加工的科技人员、管理干部及有关大专院校的师生。其他机电行业的人员也可以从中吸取有益的信息。     

新春寄语

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

钱学森是典型的“三维科学家”

正通常在人们认识当中都认为钱学森是力学家,中国导弹、航天的开创者,航天之父。但从钱学森全部科学成就与贡献来看,这只是其中的一部分,实际上钱老的研究领域十分广泛,从工程、技术、科学到哲学的不同层次上,在跨学科、跨领域和跨层次的研究中,特别是在不同学科、不同领域的相互交叉、结合与融合的综合集成研究等方面,都作出了许多开创性的贡献。而钱老在这些方面的科学成就与贡献,从现代科学技术发展的角度来看,其意义和影响可能更大也更深远。     

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

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