橡皮筋滞后特性的实验分析

对橡皮筋的力的滞后特性进行了实验分析，并由此说明了不能用橡皮筋做测力计的物理机理，为检验弹簧的质量提供了一种实验途径及理论依据。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

墨家辩学的研究对象与逻辑类型

《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。     

34Mb/s彩色数字电视系统中的PAL彩色信号的分量分离

本文基于PAL信号的频谱特点,分析了由2H延迟线组成的梳状滤波器分离亮度信号的原理,给出了实验电路框图,并简要叙述了误差带来的影响。     

燃烧微粒光学特性的测量与计算

采用快速Ｆｏｕｒｉｅｒ变换红外光谱议（ＦＴＩＲ）对不同煤种及其灰渣的光学吸收指数Ｋ进行了测量，进而利用这些数据以及Ｍｉｅ光学理论计算得到了火焰辐射传热计算中所必须的重要参量－－颗粒的散射和吸收有效因子以及相位函数。     

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

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

思维能力在高考复习中的提高

高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。