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

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

高速线材精轧机螺旋伞齿轮副安装侧隙的正确确定

根据高速线材精轧机的生产实践，对原设计中螺旋伞齿轮副安装侧隙的确定进行了补充改进，取得了良好的效果，对同类结构的间隙选取，具有参考价值。     

美国的AST空中监视试验机

美国的AST(空中监视试验机)由波音767运输机修改而成,以前称为“机载光学设施”,其上装有休斯公司的红外望远镜,用来发展与导弹防御有关的技术,包括美空军的机载激光武器以及     

B-2的“GPS辅助弹药”开始试验

美国空军已成功地进行了打算用在B-2轰炸机上的“GPS辅助弹药”(GAM)验证型的首次试验.在加州中国湖海军武器中心试验场进行的一系列试验的首次试验中,从一架作为替代飞机的F-4上投下一枚弹药。这枚弹药从11400米的空中以90度的弹着角打在离下游处预定目标13.4米的地方,在18.3米的预计半径之内。当与正由诺斯罗普和休斯公司正在研制的“GPS辅助瞄准系统”GATS一起使用时,GAM将能使B-2把907千克炸弹投在离目标6.1米之内。GATS采用飞机的合成孔径雷达来消除可大到9.1米的     

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

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

FeB纳米颗粒的隐身性能研究

分析了雷达隐身材料的电磁参量及纳米材料的结构和吸波原理。用化学还原法制备了FeB的超细非晶颗粒 ,并测量和分析了有关电磁参量。     

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

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