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

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

射线检测厚度宽容度的分析与测定

厚度宽容度是变截面工件射线检测的重要参数。本文分析了典型工件的厚度差,以及不同灵敏度级别的厚度宽容度。应用胶片特性曲线、曝光曲线,从实验角度测量了厚度宽容度,并对结果作了分析和讨论。     

双功能陶瓷膜生物反应器处理污水的实验研究

针对目前膜生物反应器运行过程中膜易污染的问题，研制了一种新型的双功能陶瓷膜生物反应器．该生物反应器的主要特点是采用一种具有双重功能的陶瓷膜作为生物反应器的主要元件，陶瓷膜可以交替地进行曝气和过滤，将膜的在线反冲清洗和生物反应器的供氧曝气结合在一起．考察了不同运行条件下该反应器对COD、氨氮的去除效果．对陶瓷膜的充氧能力进行了实验，测得小孔陶瓷膜、大孔陶瓷膜、砂型曝气头的氧传递系数分别为：0．2315min-1，0．1587min-1，0．0991min-1．     

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

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

提高5CrNiMo钢制弯形件锻模寿命

锻模是重要的生产工具。以弯形件锻模为研究对象,分析其主要失效原因,提高模具的寿命,必须提高型腔的红硬性,避免内部出现上贝氏体,这可以通过提高淬火温度来实现。因而推迟了模具磨损的时间,提高了模具抗堆塌和断裂的能力。     

2004年世界航天运载业分析

2004年是自1961年以来世界航天运载业最为不景气的一年。全世界仅进行54次航天发射,其中有15次商业性发射,占总发射次数的28％。2004年同时又是中国航天发射次数最多的一年,有8次发射,成功地运载了10个有效载荷。美国进行6次商业性发射,俄罗斯5次,海上发射公司3次,阿里安航天公司1次。美国占40％的商业发射市场份额,俄罗斯占33％,海射公司占20％,阿里安航天公司占7％。我国、日本、印度和以色列在2004年都没有进行商业发射。     

月面软着陆探测器地面力学试验方法研究

月面软着陆探测器的主要任务是携带有效载荷实现在月球表面的安全着陆,其经历的主要过程包括发射段、地月转移段、近月制动段、环月段、着陆段和月面工作段。软着陆探测器面临的月球环境比近地轨道卫星复杂得多。为提高软着陆探测器系统的可靠性,必须进行充分的地面试验,验证软着陆探测器的设计合理性。文章分析了月球软着陆探测器在各飞行过程中面临的力学环境,分析了力学环境对探测器系统的影响及作用效果,提出软着陆探测器需完成的地面力学试验项目,设计相应的试验方法,并给出确定试验量级的基本原则。     

最优库存管理

本文分析了如何使库存费用最低的问题,并提出了最佳方案.     

反战术弹道导弹引信炸点控制算法研究

本文推导了ATBM寻的引信最佳炸点控制算法，及使用定向战斗部时所需的弹体坐标系中的脱靶方位，其中对应于最佳炸点的最佳延时为剩余飞行时间减去破片飞行时间。文中根据战斗部的尺寸对炸点控制所允许的误差进行了简单分析，及根据不同交会条件下的计算结果给出了几点实用性建议。     

旋转固体火箭发动机内弹道理论与实验研究

本文系统地总结了我们在旋转固体火箭发动机内弹道理论与实验研究方面的某些成果，其中包括含铝丁羟推进剂的试片实验和装药发动机实验以及燃速敏感性预示和内弹道预示，得出了一些有益的结论，可供发动机设计及推进剂配方设计参考。