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

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

上海盛安：让生产更安全

上海盛安是一家专业研制和生产机械压力机刚性离合器紧急制动装置的公司,其产品简单说,就是一种与机械压力机配套的安全装置。由于研制时间太长、成本太高,很多研制此项技术的公司都半路退出了。目前中国仅有盛安一家公司研制出此项技术,双重保护、采用光机电一体化技术、能完全杜绝安全生产事故等诸多优点,可以说,此项技术填补了国内的空白。     

离心水泵性能的工业现场测定

将热力学方法与电工仪表测算电动机轴功率方法结合起来,可以较准确地测出一台工业用大型水泵的性能.文中将测算出的泵性能数据与样本性能曲线数据加以比较,说明此法的可行性。     

什么是基因工程

随着DNA的内部结构和遗传机制的秘密一点一点呈现在人们眼前，特别是当人们了解到遗传密码是由RNA转录表达的以后，生物学家不再仅仅满足于探索、提示生物遗传的秘密，而是开始跃跃欲试，设想在分子的水平上去干预生物的遗传特性。     

滤波器的选择与安装

滤波与屏蔽、接地共同构成完善的电磁干扰防护,介绍如何正确选择与安装滤波器,利用其衰减特性,使其对电磁干扰的抑制作用达到预期的效果。     

数码摄影领域"区域曝光"理论的应用探究

以“区域曝光”理论作指导，对数码相机从感光度的测试入手，分别进行了区域曝光测试，制作曝光区等级、特性曲线，有效幅度与纹理幅度的探索。     

新型驻极体滤材-多孔PTFE/PP复合膜的电荷储存稳定性

作者讨论了具有优异宽温区特性的多孔PTFE和多孔PP复合膜的电荷储存稳定性.工作在常温常湿条件下的这类多孔复合膜呈现优异的电荷储存稳定性;与传统的驻极体过滤材料聚丙烯无纺布相比,它的疏水性和电荷热稳定性都有显著的改善.作者还讨论了这类复合膜优异电荷储存能力的结构和驻极体根源.该研究结果对驻极体空气过滤器在较宽温区的应用提供了一定的理论和实验依据.     

耳蜗毛细胞换能的生物物理特性

耳蜗的声感受是通过将大气压的微小波动转换成沿听神经传导的AP而实现的，HC在这-机-电换能过程中起关键作用。近二十年来，HC换能的生物物理特性研究取得许多重要突破，已在诸多方面从根本上改变了人们对听觉机制的传统认识。本文从HC换能模型、IHC与OHC的功能差异以及耳蜗声分析主动机制等三方面对这一领域进行了讨论与展望。