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

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

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

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

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

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

On the Kauffman skein modules

 Let k be a subring of the field of rational functions in α, s which contains α ^±1 ,s ^±1 . Let M be a compact oriented 3-manifold, and let K(M) denote the Kauffman skein module of M over k. Then K(M) is the k-module freely generated by isotopy classes of framed links in M modulo the Kauffman skein relations. In the case of , the field of rational functions in α, s, we give a basis for the Kauffman skein module of the solid torus and a basis for the relative Kauffman skein module of the solid torus with two points on the boundary. We then show that K(S ¹ × S ² is freely generated by the empty link, i.e., . Received: 20 October 2001 / Revised version: 20 March 2002     

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

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

Enhanced hardness in B-doped ZnO thin films on fused quartz substrates by pulsed-laser deposition

B-doped ZnO thin films have been fabricated on fused quartz substrates using boron-ZnO mosaic target by pulsed-laser deposition technique, and the mechanical properties have been studied by nanoindentation continuous stiffness measurement technique and transmission electron microscope (TEM). Nanoindentation measurement revealed that the hardness of B-doped ZnO films, 9.32 ± 0.90 to 12.10 ± 1.00 GPa, is much greater than that of undoped ZnO films and very close to that of traditional semiconductor Si. The mean transmittance (%) is larger than 81% in the visible range (380-780 nm) for all the films, and the Hall effect measurement showed that the carrier density is around 2 × 10²⁰ cm⁻³ and the resistivity lower than 3 × 10⁻³ Ω cm. TEM characteristics show undoped thin films have more amorphous area between grains while the B-doped ZnO films have thin grain boundaries. We suggest that the grain boundaries act as the strain compensation sites and the decrease in thickness of grain boundaries enhances the hardness of the B-doped ZnO films.     

First Total Synthesis of 12-Hydroxy-13-methylpodocarpa-9, 11, 13-trien-3-one

12-Hydroxy-13-methylpodocarpa-9, 11, 13-trien-3-one 9 was isolated from the twigs ofCroton salutaris1. Many diterpenes exhibit significant bioactivities, such as antibac-terial and antitumour and 9 has a rare structure. In order to study the relationshipb…     

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

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

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

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

A MEMS-Based Piezoelectric Power Generator for Low Frequency Vibration Energy Harvesting

A novel power generator has been achieved to convert vibration to electrical energy via the piezoelectric effect. The generator obtained by micro fabrication process mainly consists of silicon based frame and composite cantilever. The prototype tested at resonant vibration generates 1.15μW of effective power to a 20.4-kΩ resistance load. The potential of this work is to offer miniaturization solutions for power generators, and with the proposed method the ambient ubiquitous vibration can be harvested effectively as endless energy source to form an integrated self-powering system.