线性有源网络拓扑分析的k-连接组法

本文提出了Coates图k-连接组的概念,建立了求解线性有源网络不定导纳矩阵一般k阶余因式的k-连接组拓扑公式,得到了线性有源网络拓扑分析的一种新方法——k-连接组法。与正(负)根有向树法相比,这种方法需找的子图和结果中的冗余项都比较少。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

大阻尼隔振系统设计

随着空间技术的迅速发展,飞行器所处的振动、冲击、过载、噪声等动态环境条件更加复杂和恶劣。就振动环境而言,其频率范围之宽,加速度之大,足以使飞行器电子仪器设备内部产生破坏应力。该应力轻者将影响工作性能,缩短仪器寿命;重者还会引起严重故障,造成飞行器飞行失败。因此,为了提高飞行器的可靠性,必须对飞行器上电子仪器设备的振动进行控制,以满足飞行器振动环境的要求。振动控制是应用工程力学原理来减小飞行器电子仪器设备不希望产生的振动效应,从而     

水箱液位检测与水泵控制装置的设计

设计了一个智能贮水水箱液位检测与水泵控制装置,能监控2m范围内的水位变化,测量精度1cm,测量时与被测液位无直接接触,能够清晰稳定的显示结果,在水位超出上、下限时发出声光报警,并能准确地控制水泵工作。     

美国舱外航天服装备使用和保养经验

介绍 未来近地轨道和行星航天服将建立在现在的舱外航天服装备（EMU）基础之上。直到2005年，EMU已成功保障了91次EVA任务（通常每次EVA使用两套EMU），在未来5～10年中，为了完成国际空间站（ISS）的建造，还要保障30～60次EVA。     

基于CORBA的固体火箭发动机多Agent系统

采用CORBA开发固体火箭发动机虚拟样机时，由于CORBA技术还存在一些缺陷，我们结合了Agent技术来弥补不足。采用Agent技术将各应用模块包装成为自包容的自治问题求解Agent，使其能对环境变化自主地做出响应。并基于目的采取行动。将多个A-gent按照组织学原理建立组织模型。即多Agent系统MAS(Multi Agent System)。各Agent通过CORBA的协作机制实现系统层次上的复杂功能。同时介绍了分布对象技术、Agent技术及多Agent环境。     

侧链含硝基氮杂基团的聚醚粘合剂的性能及应用：新型硝基粘合剂…

对新型的侧链含硝基氮杂基团的富能聚醚粘合剂－端羟基２－甲硝胺基乙基缩水甘油醚均聚醚和端羟基共聚醚的性能进行了研究。结果表明，ＮＰＥ的热稳定性和化学稳定性良好，优于普通碳氢聚醚粘合剂和新型氟碳聚醚粘合剂；其固化后的力学性能好。简要地叙述了以ＮＰＥ－Ｂ为粘合剂的固体火箭推进剂的配方和性能。     

伽利略系统对GPS的冲击及美国的应对措施

伽利略系统是欧洲的卫星无线电导航项目，它始于欧盟委员会的提案。并由欧洲空间局合作开发。目前，俄罗斯、中国、巴西、以色列等国家都参与了伽利略计划。伽利略系统作为新一代全球卫星导航系统，有利于发展新一代交通、电信、农业和渔业领域的通用服务，在未来卫星导航应用服务上发挥巨大作用。伽利略系统的总投资约34亿欧元，     

复合材料壳体与喷管的卡环连接结构研究

较详细地对复合材料壳体与喷管卡环连接结构进行了有限元应力,应变分析,对卡环,接头及倒锥等多体接触问题进行研究;对“Ｉ”型及“Ｌ”型卡环结构分别进行了计算和比较,并给出计算结果及结果分析。     

某型号甲地面设备研制中的标准化工作

概述了某型号甲地面设备研制中的标准化工作,从建立型号标准化工作系统、制定及实施型号研制标准化文件、做好标准化评审和定型标准化等方面介绍了型号研制的标准化工作情况,并结合型号地面设备研制实际,分析了标准化工作中存在的问题,提出了几项改进措施和建议。