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

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

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

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

从有铅向无铅焊接过渡阶段应注意的问题

目前正处于从有铅向无铅焊接过渡的特殊阶段，无铅材料、印制板、元器件、检测、可靠性等方面都没有标准，无铅工艺方面在国内处于比较混乱的阶段。本文较全面地分析了无铅焊接的现状、无铅焊接的特点和对策、无铅焊接存在的主要问题，以及过渡阶段有铅、无铅混用应注意的问题。     

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

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

在线点到点数据传输优化选择模型及其算法设计

最优点到点数据传输线路不仅依赖于其固有的传输时间,还依赖于数据总量,因为数据规模决定了加工次数和传输次数.本文首先建立了在线点到点数据传输网络选择的优化模型,给出了有向路代表集的概念,然后给出了一个时间复杂性为O（m^2logn）的算法产生有向路代表集.最后对静态和动态点到点数据传输有向路问题进行了研究,并给出了一个时间复杂性为O（m^2logn）的多项式时间的算法.     

战区导弹防御知识浅谈之二

上期我们介绍了战区导弹防御的一些基本知识和低层点防御系统，本期我们接着介绍高层区域防御系统、助推段防御系统以及战区导弹防御的发展态势。高层区域防御系统 这类战区导弹防御系统设计用于保护半径在100到200公里以上的大范围地区，如大城市或分布范围广的设施。由于其保护的区域大，人们常常称其为“区域防御”系统，而要想保护较大区域，防御系统的拦截导弹必须在数十公里之外的较远距离和30公里以上的较高高度拦截并摧毁来袭导弹，所以这类防御系统也叫“高层防御”系统。正在研制中的区域防御系统主要有三种型号：一是以色列与美…     

纤维缠绕复合材料壳体中金属嵌件的受力分析及优化设计

本文对一纤维缠绕复合材料壳体中金属嵌件进行了受力分析及形状设计。通过受力分析与设计使得复合材料与金属嵌件接触面应力分布合理化，保证了接触面的变形协调，得到了优化的金属嵌件形式。     

航天ATS快速测试体系结构研究

快速发射是未来空间信息作战和导弹武器发展面临的新课题,快速测试是快速发射的重要环节。航天ATS快速测试需要遵循一定的体系结构而发展。以国际通用测试系统体系结构为背景,结合我国航天测试的需求,提出了航天ATS快速测试体系结构,分析了航天ATS快速测试的测试流程并行化、关键参数连续监测化和测试数据处理快速化等目标,以及所涉及到的图形化程序开发、仪器可互换等关键技术。结论有利于促进航天ATS快速测试技术的进步,并为其发展提供参考。