球面中具有平行第二基本形式的常平均曲率超曲面

本文研究了单位球面中具有平行第二基本形式常平均曲率超曲面的条件,此结果推广了引文[1]的结论。     

异质结光晶体管和隐埋新月激光器的单片集成

在国内首次实现了异质结光晶体管（ＨＰＴ）和隐埋新月激光器（ＢＣＬＤ）的单片集成，该器件除了具有光放大功能外，还具有光双稳和光开关功能，其净光增益大于３１，达到８０年代中期的国际先进水平。     

求a~(n1)~(n2)·(n1)的个位数的一般方法

在许多关于整数整除性的小册子中都谈到了求形如(?)的个位数的问题,但都只就某一个具体的数来谈它的求法,没有形成一般方法。本文给出这个问题的一般求法,     

Close linkage of glucokinase locus on chromosome 7p to early-onset non-insulin-dependent diabetes mellitus.

Non-insulin-dependent diabetes mellitus (NIDDM) is a major health problem, affecting 5% of the world population. Genetic factors are important in NIDDM, but the mechanisms leading to glucose intolerance are unknown. Genetic linkage has been investigated in multigeneration families to localize, and ultimately identify, the gene(s) predisposing to NIDDM. Here we report linkage between the glucokinase locus on chromosome 7p and diabetes in 16 French families with maturity-onset diabetes of the young, a form of NIDDM characterized by monogenic autosomal dominant transmission and early age of onset. Statistical evidence of genetic heterogeneity was significant, with an estimated 45-95% of the 16 families showing linkage to glucokinase. Because glucokinase is a key enzyme of blood glucose homeostasis, these results are evidence that a gene involved in glucose metabolism could be implicated in the pathogenesis of NIDDM.     

一维正交配置法计算甲醇合成平行反应的效率因子

采用正交配置法计算了CO和CO_2加氢合成甲醇平行反应的效率因子,计算结果与实验数据吻合良好,计算方法有效、迅速。     

收缩薄膜动态加热过程的数值模拟分析

收缩薄膜在烘道式收缩包装机中的加热过程具有动态性质。研究该过程对合理确定加热室各主要技术参数及其自动调节方式,以保证收缩包装质量都是必要的。本文着重分析了收缩薄膜加热过程的基本机理,建立了相关的数学模型,还进行了数值模拟试验研究,得到有价值的计算结果,从而为我国大型收缩包装线的设计、研制提供了若干有价值的依据。     

一类非增算子方程解的存在性和唯一性

本文利用锥理论，在自反Banach空间中，研究了一类非增且非线性算子方程Ax=x解的存在性，唯一性和迭代序列的收敛速度，其中对算子A不假定连续性和紧性，且对锥也没有做任何假定。     

提高Prolog实现的专家系统运行效率的方法

Prolog语言由于其表达专家知识的便利性和强大的推理能力,成为专家系统设计用得较多的语言.但是用Prolog实现一个大程序,特别是具有大量知识的专家系统中,其运行效率是很低的.因此,为了将一个系统投入实时运行,在软件设计时就应考虑效率优化.本文从知识库的组织、匹配方法的选取,以及运用启发式控制回溯等三方面探讨效率优化的方法.1 知识库的组织     

基于规则的专家系统诊断问题求解的一种模型

本文试图通过引进外推推理来克服基于规则的专家系统的不足,并为演绎推理和外推推理寻求一种一致的解释和理论基础.在讨论了规则的因果模型解释后,本文提出了诊断问题求解的最佳蕴含模型和基于该模型的循环生成-测试的推理方法.