磺化法生产优级溶剂油的实验研究

考察了溶剂油磺化过程中芳烃含量的变化。结果表明，溶剂油中的芳烃在３０～５０℃时与磺化剂反应，并且随着磺化剂加入量的增加，溶剂油中的芳烃逐渐降低，从而达到了溶剂油脱芳烃的目的。     

飞机翼面类部件的雷达散射截面计算

翼面是飞机上重要的散射源。本文利用物理光学和物理绕射理论计算飞机翼面的雷达散射截面（ＲＣＳ）。将理论计算结果与实验进行比较，证明计算方法是相当精确的。对翼面的散射特性进行分析，得出一些重要结论。     

沉降比在活性污泥法处理污水中的作用

通过分析沉降变化规律与其他有关参数之间的对应关系，旨在掌握和控制活性污泥法工艺处理污水的工艺运行情况，使处理后水质稳定达标。     

中性磷萃淋树脂吸附铼的性能和机理研究ⅢCL－P＿（350）－KReO＿4－HNO＿3体系

本文报道四甲基膦酸二甲庚酸萃淋树脂（ＣＬ－Ｐ＿（３５０）从硝酸溶液中吸附鳞的性能和机理研究。实验结果表明，吸附平衡服从Ｌａｎｇｍｕｉｒ经验等温式。测得吸附物分子中Ｐ（３５０）与Ｒｅ（Ⅶ）的摩尔比为２：１。Ｒｅ（Ⅶ）是以形式被树脂吸附，其吸附机理属于综合反应：并测定了吸附过程的热力学函数。     

BP网络及其应用

基函数选取和系数求解是函数逼近中的两个关键问题,目前广泛应用的回归分析或其它映射方法均有局限性。采用人工神经网络中的BP网较好地解决了这两个问题,对理论和实际的数据进行了比较与验证,结果表明.BP网络有助于提高数据处理的可靠性与预测的精度.     

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

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

Expression and Characterization of HGV E2 cDNA in Pichia pastoris

A 559 base pair fragment of cDNA locating at the putative E2 region of GBV-C/HGV was in-serted into Pichia pastoris expression vector pPICgK in the reading frame of α-factor secreting signal pep-tide. The recombinant expression plasmid pPIC9K-E2 was introduced into P. pastoris GSll5 with electro-poration and recombined with the host genome by homological recombination. The His+Mut+ recombinantyeasts were selected and cultivated in the BMMY medium. After 3 days induction with 0. 5% methanol,the target protein(E2) accumulated up to 30% of total proteins in the supernatant. The expressed E2 pro-tein was proved possessing antigenicity and high specificity with Western blot and ELISA probed with serafrom the immunized rabbits and the patients infected by GBV-C/HGV.     

AC发泡剂新工艺研究—Ⅲ电解氧化法

用钌钛金属阳极在含有Ｃｌ—和Ｂｒ－离子的酸性溶液中进行电解氧化联二脲制备偶氮二甲酰胺，获得产品得率为９３—９８％、纯度为９９．６％、电流效率为８８－９２％。母液可循环使用，基本不产生废液．     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.