液压缸动态特性分析

本文主要以拉氏变换和控制工程为基础，从理论上分析了影响液压缸稳定工作的动态特性，探讨了液压缸动态特性的机理。     

一种由负定函数dV（x）／dt判定动态系统原点稳定性的方法

提出一种由负定导函数判定动态系统稳定性的方法，给出在已知导函数为负定的情况下系统稳定或者不稳定的充要条件，以及一组使用该方法的例子。     

有单位元可消可换半群的单一分解性

本文论证了有单位元的,可消可换半群的单一分解性并简要讨论.     

神经网络自适应控制器设计

对前馈神经网络用于动态系统的辨识、自适应控制进行了分析和数学推导，给出了自适应神经网络控制器的设计方法．最后通过仿真实例进行了说明．     

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

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

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

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

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

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