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

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

差分放大器的理论与实验教学研究

讨论了差分式放大器教学中的几个典型问题,包括电路图的规范问题、小信号等效电路以及实验教学中的几个难点.     

“拿来主义”的作用——国际商业银行实施资本运营的经验和启示

众所周知,国际商业银行很多是借助资本市场发展起来的。美国允许商业银行在全美设立分行,总数达到约8600家,而其他发达国家一般都在1000家以下,日本只有不到100家商业银行,而日本的经济总量是美国的一半左右;美国大部分商业银行比其他国家的商业银行规模要小,14%的美国商业银行资产规模不到2500万美元;英国不到5家商业银行,统率了整个商业银行业。相反,美国的最大的10家     

铂钼合金零件冲裁模的制作分析及改进

以具体零件为例分析了铂钼合金采用复合模加工时的缺点，提出了具体的改进方案，并论述了改进后的级进模结构、工作过程及其优点。     

对一种筛法的探讨

从筛法的本质出发,深入讨论一种标准筛法的有关性质,寻找其内在规律,最后得出一种差集非空的充分条件和一些比较实用的结论。     

分解炉虚拟样机的开发

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

一类超几何函数比的几个不等式

获得了由(4)式定义的出现于数论Ramanujan广义模方程中的这类超几何函数比所满足的一些不等式,改进了广义Grotzsch环函数原有的一些界,所得结果可应用于Ramanujan广义模方程的研究.     

关于中国近年反腐败成功经验的探讨

同腐败现象作斗争是我国一项长期艰巨的任务，将贯穿于改革开放和现代化建设的整个过程，总结中国反腐败的成功经验是当前反腐倡廉的重要任务，也是深入进行反腐斗争的需要。     

关于Meyer—Konig—Zeller算子

本文给出了Ｍｅｙｅｒ－Ｋｏｎｉｇ－Ｚｅｌｌｅｒ算子的一个新的逼近阶估计，推广了文〔１〕中的结果。     

C─余模和有理C~＊─模

众所周知，余模和有理模在Ｈｏｐｆ代数理论的研究中发挥着重要的作用。本文将给出余模与有理模之间的关系，论证在特殊条件下Ｍ＊的最大有理Ｃ＊─子模的刻划问题。