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

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

“解方程器”软件包(EQNS-SOLVER)

作者提出了对于任意多项式方程组的一种带有普遍性的求解方法。多项式方程组可能没有解,或者有无穷多个解,或者有有限个解,解是实数也可以是复数。在有限个解的情况下,所创建的方法能够求出所有的解。作者完成了一个软料包,称为《解方程器》,曾在微型计算机上用FORTRAN语言完成计算过程。本文是《解方程器》软料包的说明,内容包括基本原理、方法、程序结构、应用举例以及使用的步骤。     

用Authorware设计多媒体片段的几个重要技术处理

简述使用Authorware设计多媒体片段中的几个问题的重要性,以及它们各自的一些使用技巧.     

测谎技术的历史、现状和未来

测谎器（ｌｉｅ ｄｅｔｅｃｔｏｒ）是能够帮助判别一个人是否正在说谎的一种装置。测谎器也被称作多道记录仪（ｐｏｌｙｇｒａｐｈ），可以记录受试者被提问时的应激生理改变。这些生理改变包括个体说谎时所伴生的血压、脉搏、排汗和呼吸等指标的起伏变化。测谎器能够帮助警察局和其它调查者，审问嫌疑犯关于他们在案件中的可能参与程度；还能帮助零售商店及其它私营雇主对未来雇员求职者进行必要的的测谎检查，或者调查顾客的偷窃行为［１］。 测谎器的百年历史说明：测谎器的发明及其应用的测谎技术，已经发展成为涉及实验心理学、情绪心…     

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

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

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

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

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

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

污水处理厂管道施工

某污水处理厂工程管道繁多,交叉复杂,由于工程各方认真对待,制定并实施了正确的施工程序与技术方法,严格督促施工安装,取得了较好效果。