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

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

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

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

芳烃回收塔温度压力补偿控制系统的研究与实施

介绍了一种用温度，压力补偿的方法进行间接测量，实现对芳烃抽提单元回收塔溶剂水含量的组份控制。由于在回收塔上，水含量一定，温度，压力成正比，控制温度，压力成比例变化，就能控制水含量稳定。     

夫兰克─赫兹实验中温度的选择

本文讨论了气体击穿、空间电行与温度的关系，给出了测定原子第一激发电位和电离电位曲线时选择温度应遵循的规律．     

关于理想气体任意准静态直线过程的最高温度点与吸放热转折点

讨论理想气体任意准静态直线过程吸热放热问题时，关键是如何确定过程中吸放热转折点的位置．阐述了最高温度点与吸放热转折点并不重合的原因，并给出了确定最高温度点和吸放热转折点的方法．     

葡萄冬季简易贮藏保鲜技术

<正> 我国栽培葡萄已有2000多年的历史,在这漫长的过程中,广大的果农,不仅创造了丰富的栽培经验,也积累了不少冬季简易贮藏保鲜技术。近几年来葡萄栽培面积迅速扩大,产量成倍的增长,各地运用气调冷藏和机械冷藏等先进的设备,大批量地贮存葡萄鲜果已普遍。为了提高广大果农的经济利益和节约消费者的开支,提倡和推广葡萄简易贮藏保鲜技术,仍显得十分必要。     

数显温控精确测量金属丝的温度系数

在传统金属导体温度系数测量中对于金属丝的加热通常采用了水浴加热法或油浸加热法。这两种方法存在着短路、产生不良气体污染、温度测量不精确等缺点。首次使用了数显温度可控的功率电阻作为金属丝的加热源,在测量中采用了双臂电桥、金属丝的四端电阻接线方式,不仅实现了金属丝的温度可控性和实时测量性,而且将测量精度提高到3%以内。     

回收碘的研究

主要介绍了磷化工厂含碘烟气中碘元素通过富集，沉淀回收的方法。对碘的回收的影响因素很多，主要讨论温度、pH值、沉淀剂的种类与碘回收的关系，并且通过实验找出最佳的工艺参数并确定经济合理、适用性广的工艺流程。     

分解炉虚拟样机的开发

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