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

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

铸造合金优化配料原理与计算机软件开发

应用计算机进行优化配料,不仅可以免除人工配料烦琐的计算过程,同时可以降低原材料成本,保证产品质量,提高企业经济效益。为此开发了计算机优化配料软件,论述了它的基本原理和功能,并介绍了该软件应用实例。     

相似设计方法在微小移动机器人性能分析中的应用

将微小移动机器人放大后,作模型试验,利用相似理论,进行模型的设计,并把模型的试验结果应用到原型上去。     

Design and application of 60mer oligonucleotide microarray in SARS coronavirus detection

In April 2003, a novel coronavirus[1,2] which was associated with cases of Severe Acute Respiratory Syn-drome (SARS) was first isolated and sequenced in Canada. The genome of SARS coronavirus (SARS-CoV) is 29727[3] nucleotides in length and has 11 known open reading frames (ORFs). Although the genome organiza-tion of this virus is similar to that of other coronaviruses, phylogenetic analyses and sequence alignment show that SARS-CoV is not closely related to any of the previously ch…     

Triassic U-Pb age for zircon from granites in the Tonghua area and its response to the Dabie-Sulu ultrahigh-pressure collisional orogenesis

Single-grain zircon U-Pb dating was carried out to constrain the emplacement timing of granitic plutons at Chaxinzi, Xiaoweishahe and Longtou in the Tonghua area, south of Jilin Province. The results show that these plutons formed in the Triassic with ages of 203—217 Ma. Geological and geochemical characteristics indicate that the plutons are composed of quartz diorite and granite. The former was derived from partial melting of mafic lower crust, whereas the latter originated from thickened crust with garnet as the residue in the source. It appears that protoliths of these two types of granitits are different although they have the same emplacement age. Considering that these plutons are petrologically different from the coeval granites in the Xingmeng (Xing‘an-Mongolian) to Jihei (Jilin-Heilongjiang) orogenic belt in the north, it is suggested that their formation was related to the Dabie-Sulu ultrahigh-pressure collisional orogenesis since their ages are only 10—20 Ma younger than timing of the ultrahigh-pressure metamorphism, but comparable to that of the first rapid exhumation of the ultra-high-pressure metamorphic rocks and the emplacement of the post-collisional granites.     

适用于我国小麦品质育种的SDS—PAGE方法

本文根据多年来实验室工作的经验，采用国产的仪器设备和药品，提出了在182mm×95mm的凝胶上，一次可装载100个样品，每次点样只需1．5－2μl，用于HMW麦谷蛋白亚基分析的SDS—PAGE方法。该方法具有分辨率高，经济性好，简单易行的特点。特别适于小麦育种计划中对大量品系进行HMW麦谷蛋白亚基分析及利用“半粒法”进行HMW麦谷蛋白亚基分析。     

微双折射光程差测量技术

研究了微双折射光程差测量技术，提出用旋转半波片－反射法测量半封闭玻璃制品应力，探讨以电光调制法为基础的微双折射光程差测量系统的稳定性。从软件和硬件两个方面建立起自动测量系统。实践证明达到了预期要求。     

纯天然蜂王浆口服液的研究

纯天然蜂王浆口服液是王浆蜜的第２代产品，由优质蜂王浆和优质蜂蜜精制而成。其特点是不含任何化学添加剂，完全保持纯天然状态。在室内常温下经过２年多保存期试验表明，该品存放１年，不分层，不发苦，不长霉，不结晶，各项指标完全达到设计要求，符合质量标准。     

光子扫描隧道显微镜的超衍射分辨的光子理论假说

光子扫描隧道显微镜（ＰｈｏｔｏｎＳｃａｎｎｉｎｇＴｕｎｎｅｌｉｎｇＭｉｃｒｏｓｃｏｐｅ，简称ＰＳＴＭ）的发明是在近场光学理论、全内反射理论、光纤技术、高灵敏度光电探测技术和计算机等获得重大进展的基础之上取得的，最近的研究结果表明其ＰＳＴＭ已实现１～３ｎｍ的超衍射极限的分辨率，如何解释ＰＳＴＭ能够获得如此高的超衍射极限分辨率？ＰＳＴＭ能获得的超衍射极限分辨率会是多少？本文提出一种关于ＰＳＴＭ的光子理论假说，这个假说是基于下面两个基本定律：１．光子不只是携带能量和光学信息的载体，也是具有一定空间尺寸的基本粒子２．当光子发生反射、折射、散射等时，仅改变它所携带的能量和光学信息，它的粒子尺寸并不改变，即ｐｈｏｔｏ＝常数．将上面两个基本定律应用于ＰＳＴＭ时，所谓“消逝场（ｅｖａｎｅｓｃｅｎｔｆｉｅｌｄ）”实际上乃是弱光子分布场，探测光纤尖端尺寸实际上相当于一个“门”，它控制着进入光纤的光子数量，通过一些计算，可获得如下几个结论：１．在ＰＳＴＭ的探测系统足够灵敏的条件下，探测光纤尖端的直径Ｄ和近场探测间距Ｚ是决定ＰＳＴＭ超级射分辨率的两个最重要的因索．２．ＰＳＴＭ分辨极限将产生在Ｄ＝ｐｈｏｔｏｎ和Ｚ＝ｐｈｏｔｏｎ．３Ｐ