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

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

关于点变差函数的某些性质

设ｆ（ｘ）为定义于区间Ⅰ（有限或无限）上的有限实函数。任给实数δ＞０，ｘ∈０，∈Ｉ，Ｖ＾Ｘ＋δＸ－δ（ｆ）表示ｆ（ｘ）在［ｘ－δ，ｘ＋δ］上之全变差。     

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

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

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

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

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

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

活性炭—水—SO2三相反应动力学及传质特性研究

ＳＯ２在活性炭淤浆反应器中的催化氧化反应的传质阻力难以消除，当反应器进口中微溶性限制组分氧相对ＳＯ２大大过量时，通过改变反应物的进口浓度来测小颗粒的反应器体积积分平均的氧化反应速率，可间接验证推断的本征反应动力学，这一过程同时也是气体反应物在活性炭浆液中的化学吸收过程，因此可通过改变活性炭催化剂的淤浆浓度，粒径及反应温度，测得各动力学参数，传质参数及增强因子。     

2′—羟基—5′—甲基苯乙酮—铜—三苯基膦三元配合物的电化学合成及光谱表征

在非水溶剂中用直接电化学方法合成了金属铜与2′ 羟基 5′ 甲基苯乙酮(HMAP)及三苯基膦(pph3)的三元配合物,产物经元素分析、拉曼光谱、核磁共振表征及合成过程电流效率测定,该配合物组成为(MAP)Cu(pph3)2,其中Cu和MAP 的两个氧原子配位形成一个五元环结构,同时还和两个中性三苯基瞵配位,形成金属Cu的一价配合物.还探讨了电合成条件,反应机理以及中性配体在低价配合物形成过程中的作用.     

大面积推广低温水地板辐射采暖的探讨

分析低温水地板辐射采暖的原理及基本经济，环保方面的益处，以指导实际的推广应用。