一个解线性不等式组的新方法

对于线性不等式系统（１）：Ａ＾ｒｘ≥ｂ，Ａ∈Ｒｎ×ｍ，ｂ∈Ｒ＾ｍ，ｍ≤ｎ，ｒａｎｋ（Ａ）＝ｍ，给出了一个解系统（１）的迭代算法，并详细地研究了算法的基本性质。     

武汉机场飞行区土方调配大系统优化方案研究

武汉机场是国家重点建设项目。本文提出了机场飞行区土方工程的最优调配问题。它是一个规模庞大的大系统最优规划, 变量多达一千四百九十六个, 一般计算机容量已不够。为此, 在工民建施工领域首次提出了大系统土方调配优化数学模型进行优化, 得出的优化方案可节约经费1073441.29元。所建立的大系统土方调配优化数学模型对工民建等大型土方调配优化有普遍的应用价值。     

力学中的坐标变换

坐标变换在力不中占有重要位置。本文试图通过位移矢量、加速矢量对其进行较系统的讨论。     

子群是正规子群的一个充分条件

判断子群是否为正规子群有多种方法,本文从有限群与其子群阶的关系上,给出子群是正规子群的一个充分条件。     

快速成型技术的典型方法比较

本文介绍了一种当今国内外最新制造技术—快速成型技术。对该技术的四种典型方法进行了较详细的分析和比较，并对快速成型技术的未来发展提出了自己的看法。     

系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。