软件需求的可否证性研究

系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。     

门式刚架轻钢结构在空军机场建筑中的应用

本文简要介绍门式刚架轻钢结构形式和在空军机场建筑中的应用，重点说明门式刚架轻钢结构设计中应注意的问题和常见问题的处理方法，供设计和有关人员参考。     

中国航天用几种固体火箭发动机简介(一)──FG-02长征一号运载火箭第三级固体发动机

中国早在６０年代中期就已开始研制航天用固体火箭发动机，并于１９７０年首次应用于中国东方红一号卫星的发射，迄今已成功研制和应用了多种不同的固体火箭发动机。这些固体火箭发动机技术性能及应用的情况表明，中国航天用固体火箭发动机具有优良的性能和良好的可靠性，...     

舰载飞机下沉量计算及影响因素分析

根据舰载飞机的动力学方程,计算了示例飞机起飞离舰后的过舰首下沉量。对离舰速度、离舰迎角、飞机总重力、甲板风和预置舵偏度等影响因素作了计算和分析,最后确定了飞机的最小弹射末端速度。     

COMSOL Multiphysics推动铸造技术商业化革新

<正>COMSOL Multiphysics是一款业界领先的科学仿真软件,主要是利用偏微分方程来对系统建模和仿真。其独特之处在于多物理场耦合处理能力。从事专业科学研究的科研人员可开发具有专业用户界面和方程设置的附加模块。现已具有化学工程、地球科学、电磁场、传热、微机电系统、结构力学、声学等模块。数学模拟已经远远超出实验室研发的范围,逐渐成为制造工业中的制胜法宝。法国RocTool公司的成功就是一个典型的例子。     

1982年国外航天液体推进技术的成就

航天飞机的所有液体火箭推进系统性能优越,可称液体推进技术中的一项重大成就。在航天飞机试飞的同时,仍在继续研制以109%额定推力工作的主发动机。“挑战者”号轨道器应用的高性能主发动机已制成,它能使“挑战者”号比“哥伦比亚”号多携带10000磅有效载荷。     

阿里安运载火箭第六次发射(L6)成功

阿里安火箭(L6)已于6月16日格林成治时间11点59分从库鲁航天中心发射。在接近理想的气候条件下,火箭是按预定计划准时起飞的。这枚三级火箭重210吨。其第一级与第二级均正常地进行了分离;第三级则在起飞后4分56秒时点火起动。虽然在第三级加注     

欧洲的轨道救生艇：空间站上航天员安全返回方案

欧洲的轨道救生艇──空间站上航天员安全返回方案早在１９８７年，为向自由号空间站上的航天员提供安全返回飞行器（ＡｓｓｕｒｅｄＣｒｅｗＲｅｔｕｒｎＶｅ－ｈｉｃｌｅ，以下简称ＡＣＲＶ，即轨道救生艇），美国就已提出了其ＡＣＲＶ的基本设计要求，现在这些要求已被...     

分段(片)Bézier曲线曲面程序系统

本文介绍了一个分段(片)贝齐尔(Bzier)曲线曲面程序系统。该系统提供了用于贝齐尔曲线曲面的生成、修改、分割、升阶、单段(片)插值和分段(片)插值等六项功能,而以贝齐尔最新提出的分段(片)方法为核心。在简述分段(片)贝齐尔方法的基础上,本文并介绍了作者的两点改进:(1)将各分段表示都转换成贝齐尔形式,以便作局部修改;(2)作端部处理,使各数据点都处于平等的地位,更适用于闭曲线的处理。最后给出了多个应用实例。