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

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

VM—1邻频电视调制器电路原理分析

分析了一种射频处理邻频电视调制器的电路原理，阐述了为满足邻频电视信号传输要求而采取的带外寄生分量抑制技术及ＳＡＷＦ的应用。     

谈综采生产系统的有效度及对经济效果的影响

本文根据可靠性理论讨论了综采生产系统的有效度问题,并就有效度对经济效果的影响程度进行了分析。     

沼气在果菜粮贮藏业上的应用

文中介绍沼气这种新型绿色能源在果菜粮贮藏中的应用情况,详尽描述了其在贮藏果品、蔬菜中的应用过程,文中对其作用的原理和益处也给予了适当介绍。     

基于多项式的函数序列一致收敛的性质

针对文中一个关于多项式函数序列一致收效性质的命题，提出了若改变区间条件或对多项式作一定的限制，则谊命题不成立．并得出在一定条件下，多项式序列必定一致收敛于多项式。     

Study on the EM Scattering of Rivets on the Plate

The electromagnetic (EM) scattering by rivets on the conducting plate is studied for the first time by using electric field integral equation (EFIE) in conjunction with the moment method. The surfaces of the rivets and the plate are partitioned into triangular cells, the current distribution on the patches is represented by sub-domain type basis function, the EFIE is translated into matrix equation by the Galerkin method, then the current coefficient is obtained. The results show the properties of radar cross section (RCS) varying with the incident angle when there are rivets on the plate.     

赛博空间技术及其在虚拟旅游规划中的应用前景初探

结合赛博空间技术的发展和旅游规划的现状，提出和讨论了虚拟旅游规划的概念。并对赛博空间技术在虚拟旅游规划中的应用前景作了进一步的思考。     

两圆锥相接平面的定位计算及其应用

用自动绘图机绘制接口为平面曲线的两圆锥表面展开图,先要准确计算接口平面的位置,再按接口展开的曲线方程,编制两圆锥相交后的表面展开的绘图程序。本文探讨了不同锥度的两圆锥相接平面的定位计算,得出了两圆锥相接平面的定位计算公式。最后,应用本文所推导的公式,简化和论证了有关圆锥相接的若干作图方法。     

天生桥水电站土石过水围堰的试验研究

本文通过对天生桥水电站土石过水围堰的试验研究,全面阐述了土石过水围堰的体型及其适用条件,提出了确定平台高程的定量标准。比较了混凝土面板、铅丝笼与钢筋笼等不同防护型式,通过试验与理论分析,求得稳定曲线与经验公式。试验结果表明:钢筋笼的稳定性为最好。     

剃齿时齿形中凹现象的形成机理

本文综合啮合原理、微分几何和弹性力学的基础理论,对剃齿过程中刀具齿面和被剃齿轮齿面间的失配进行了分析。最后利用径向力求出了齿面间的压切量,从而解释并验证了剃齿过程中产生的齿形中凹现象。这对提高剃齿精度、降低噪音有着重要意义。