结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

耐热碱性磷酸酯酶基因的亚克隆及其在大肠杆菌中的表达

根据耐热碱磷酸酯酶基因的酶切图谱和ＤＮＡ序列,分别在基因的起始密友子和终止密码子设计２个突变引物。引物的５‘端分别带有ＮｄｅⅠ和ＢａｍＨⅠ酶切全点。通过ＰＣＲ从质粒ｐＴＡＰ１１８Ｂ中扩增获得了ＦＤ－ＴＡＰ基因的全序列。经过酶切将基因亚克隆于高达载体ｐＪＬＡ５０３。     

具有不变锥面族的二次系统

本文研究了以二次锥面不变曲面的空间二次系统,给出了这类二次系统在锥面上极限环的不存在性,存在性,以及唯一性的条件。     

Mechanism of lamellar spacing adjustment in directionally frozen agar gels

A theory is presented for predicting the size of ice crystals which result from steady-state, unidirectional growth within aqueous agar gels. Cellular arrays of adjacent ice crystals were separated by an amorphous water-agar membrane at a composition near the vitrification point. Using this vitrification composition and both a steady-state condition and a minimum free energy criterion, the size of ice crystals was predicted for a given solidification velocity and diffusion condition. It was found, however, that this simple model could not predict the trend towards larger crystal sizes that was observed when the initial agar concentration in the gels increased from 3% to 10% by weight agar.     

Facile Total Synthesis of (±)‐Nimbiol

A facile total synthesis of (±)‐nimbiol 1 has been achieved. In order to decrease the dioxo byproduct 2a , an improved oxidation system of CrO₃/H₂O/HOAc/NaOAc was used.     

Studies on Chemical Constituents of Polygonum Ciliinerve Ohwi

Three new apianen lactones Maomailiaoine I ( 1 ), Maomailiaoine II ( 2 ) and Maoimaliaoine III ( 3 ), together with one known apianen lactone, five known flavonoids and three other known compounds were isolated from Polgonum ciliinerve Ohwi. Their structures were deduced from spectroscopic methods and 2D NMR techniques.     

亲脂类分子增溶剂单2－氧一（2一羟基丙基）一β一环糊精（单2一HP一β一CD）的制备及其NMR表征

文中就亲脂类分子增溶剂单２－ＨＰ－β－ＣＤ的合成作了研究，产率从文献报道的５％提高到２８％。文中还给出了产物的ＮＭＲ数据。     

Interference by neutron induced second order nuclear reaction in activation analysis of platinum group elements after a nickel sulphide fire assay preconcentration

In determining the trace platinum group elements and gold in rocks and ores by the neutron activation analysis after a nickel sulphide fire assay preconcentration, there are interferences due to nuclides produced from second order nuclear reactions. This paper presents the degree of interference calculated over the ranges of long irradiation times and of reactor neutron flux from 1·10¹³ to 1·10¹⁵ n·cm^–2·s^–1. According to the results of these calculations, every one of the second order interfering reactions on the PGE+Au, except the¹⁹⁷Au(n, )¹⁹⁸Au(n, )¹⁹⁹Au reaction, can be neglected under the long irradiation time or high reactor neutron flux. Special attention is given to the interference from gold in the determining platinum.     

Synthesis and Characterization of Novel Organosoluble Methyl Substituted Poly(aryl Ether Ketone)s Containing Sulfone Linkage

Several new methyl substituted poly(aryl ether ketone)s containing sulfone linkage with inherent viscosities of 0.62–0.84 dL/g have been prepared from 4,4′‐bis(2‐methylphenoxy)diphenylsulfone and 4,4′‐bis(3‐methylphenoxy)diphenylsulfone with terephthaloyl chloride and isophthaloyl chloride by electrophilic Friedel‐Crafts acylation in the presence of DMF with anhydrous AlCl₃ as a catalyst in 1,2‐dichloroethane, respectively. These polymers having weight‐average molecular weight in the range of 71,000–49,000 are all amorphous and show high glass transition temperatures ranging from 167 °C to 191 °C, excellent thermal stability at temperatures over 400 °C in air or nitrogen, high char yields of 51–58% in nitrogen and good solubility in CHCl₃ and polar solvents such as DMF, DMSO and NMP at room temperature.