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

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

4‘—烷氧基联苯醚的合成

报道了以４，４＇－二羟基联苯为起始物合成一系列４＇－烷氧基联苯醚化合物的方法，在液－液及固－液相转移催化下合成４＇－烷氧基－４－羟基联苯的相应的醚。并考察了合成反应诸因素对产率的影响。     

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

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

人类首次观测黑洞诞生

不久前，美国航空航天局的天文学家们通过“褐雨燕”卫星，历史上首度成功地观测到浩瀚宇宙中的“大事件”——一个宇宙黑洞的诞生，首次探测到持续时间极短的伽玛射线爆发衍生的可见光。     

分子筛负载HPA/TiO2催化剂的性能

报道了分子筛负载杂多酸和二氧化钛催化剂MS／HPA／TiO2的制备及其对品红溶液降解的效果，系统研究了催化品红溶液降解的优化条件。实验表明，MS／HPA／TiO2具有良好的催化活性且容易回收。当MS：HPA：TiO2=1：10：1，品红的浓度为0．005％（10mL），催化剂的用量为10mg，反应时间为10min，品红的降解率达到96．87％。     

柴油车及稀燃车尾气含氮氧化物研究及进展

对ZSM-5分子筛上担载Cu,Fe,Co,Mo,Ga,In,贵金属等催化剂上NOx的催化还原性能、催化剂的失活原因、金属离子在分子筛上的形态与崔化性能的关联,以及选择性催化还原反应机理等进行了综述。     

化学领域重要研究方向发展态势分析：酶催化

19世纪，科学家更多地从原子层次上认识和研究化学。20世纪科学家则更多地从分子层次上认识和研究化学。进入21世纪，化学会在哪些方面取得重大突破？会遇到哪些挑战和难题？什么是未来化学的新生长点？化学在整个科学体系中占有什么地位？这些部是对化学有全局性、战略性指导意义的问题。中国科学院院士徐光宪先生曾说过这样一段耐人寻味的话。     

分解炉虚拟样机的开发

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

气相法制备N－乙基苯胺催化剂的研究进展

对苯胺、乙醇气相Ｎ－乙基化反应催化剂的制备及其活性进行了评述，特别是对近十年来的发展作出了较详细而深入的论述，指出研制这类反应催化剂的重要性和今后的发展方向。     

基于多尺度排列熵和正则化RVFL的高压隔膜泵单向阀故障诊断

高压隔膜泵单向阀运行工况复杂,运行时产生的振动信号具有非线性、非平稳特性,导致信号特征提取困难,故障状态难以识别.为了提取单向阀运行状态的非线性动力学特征,提升故障诊断模型的识别精度和泛化能力,提出了一种基于多尺度排列熵（Multi-scale Permutation Entropy,MPE）和正则化随机向量函数链接（Random Vector Functional Link,RVFL）网络的单向阀故障诊断方法.首先,对工况下采集的单向阀振动信号进行变分模态分解（Variational Mode Decomposition,VMD）获得既定的若干本征模态函数（Intrinsic Mode Function,IMF）分量;然后,计算IMF分量的多尺度排列熵,构建表征单向阀运行状态的特征值向量;最后,基于运行状态的特征值向量,建立正则化随机RVFL的故障诊断模型,并应用于单向阀的运行状态监测与识别.实验结果表明,构建的故障诊断模型能够精确地识别单向阀的故障类型,准确率达到98.89%.