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

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

海上生产储油船运动性能研究及尺度分析

海上生产储油船运动性能研究及尺度分析季春群，胡侃，陈宇罡（船舶及海洋工程系）海上生产储油船作为海上的生产、储油及中转的基地。是海上浮式生产系统的中心环节，是一项投资大、使用年限长的复杂工程项目．它投产后的各种性能及经济效益在着手设计时，必须进行多方面...     

累积投票制度实效分析

设置累积投票制度符合保护小股东免受大股东侵害的理念,但当前我国尚不具备累积投票制度适用的条件,保护小股东利益仍有待于公司法及其他相关制度的建立和完善.     

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

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

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

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

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

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

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。     

分解炉虚拟样机的开发

以水泥生产过程中的分解炉为对象，分析了分解炉内具体的物理化学过程，同时开发了反映分解炉工作过程(流体力学、燃烧学、分解动力学、颗粒动力学)的数学模型，借助数值模拟方法进行了分解炉虚拟样机的开发，为分解炉的设计与开发提供了试验平台。     

发动机的曲轴转速方程及其近似解

从活塞发动机的动力分析中得到本文中的微分一积分方程(4),其中α为曲轴转角,θ为角速度的平方,而ε<<1为总等效转动惯量的倒数。本文利用压缩映象原理和摄动方法证明了所得方程解的存在性和唯一性,并给出了这个解的渐近展开。