丰田公司主宰成功的四个规则

阐述丰田公司生产系统的科学运作方法所能达到的工作结果 ,及其对企业竞争和发展的影响。     

复杂型面上的硬质聚胺酯泡沫塑料喷泡成型工艺

介绍了硬质聚胺酯泡沫塑料的产生、发展、组成成分以及常见的工艺方法,重点介绍了在复杂形面上的喷泡成型工艺,较具体地阐述了喷泡施工中常见的缺陷以及解决方法。     

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

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

张庆伟会见华裔航天员焦立中先生

受中国宇航学会的邀请，前美国航宇局华裔航天员焦立中先生携夫人于2006年2月10～14日代表美国海因莱因基金会来北京进行了短暂的工作访问。在此期间，中国宇航学会理事长张庆伟先生接见焦立中先生，并进行了友好的会晤。中国宇航学会副理事长兼秘书长杨俊华、中国宇航学会副秘书长龚金玉、胡忠民一并参加了接见。     

空间碎片超高速撞击极限穿透比动能研究

研究建立宅间碎片对目标超高速撞击条件下临界穿透靶标的损伤特性的理论模型。基于临界穿透过程的数值模拟结果，系统分析了初始条件与临界穿透的关系，捉出碎片临界穿透靶板的比动能概念。然后分析了临界穿透下的碎片比动能，认为比动能是速度的函数。最后，考虑碎片的实际撞击过程巾最大着靶面积为变形面积，对比动能进行修正，获得了极限穿透条件下的真实比动能与速度无关的结论。     

飞船电缆网数据库系统设计与开发

介绍了电缆网数据库建立的背景,并论述了电缆网数据库系统需求分析,重点描述了飞船电缆网数据库的设计与开发。     

一种新型环氧树脂体系的固化动力学及耐热性研究

通过不同升温速率下DSC研究了E51环氧树脂与DIA芳香胺固化体系的固化工艺、固化交联反应动力学参数及树脂体系的耐热性,利用FTIR方法计算了体系的固化度。通过分析确定了树脂的固化工艺,采用Kissinger、Ozawa法计算出树脂表观活化能,其均值为87.02kJ/mol,结合Crane公式求出反应级数为0.93。采用扭辫法测得玻璃化转变温度Tg=178℃。热失重曲线表明,体系的起始分解温度为364℃。