变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

两个积分公式

本文给出了积分∫_0~(+∞)x~αe~(-ax~ρ)cosbx~ρdx与积分∫_0~(+∞)x~αe~(-ax~ρ)sinbx~ρdx的求值公式,由它们可得到许多重要而常用的积分公式(见文[3])     

一类非连续算子不动点存在的充分必要条件

文章证明了不加连续条件的一类凹算子存在不动点的充分必要条件     

关于三次图边可重构问题的注记

对δ（Ｇ）≥８的连续三次图Ｇ是边可重构的定理给出了一个简单证明。此外还证明了，当δ（Ｇ）＝７，γ（Ｇ）≤８２以及δ（Ｇ）＝６，γ（Ｇ）≤１７时，连续三次图Ｇ是边可重构的     

超氧物歧化酶对糖尿病模型大鼠血液和晶状体中自由基及其清除剂的影响

本工作发现糖尿病大鼠晶状体和血液中的ＬＰＯ、ＭＤＡ水平高于正常大鼠，而Ｔ－ＳＯＤ、Ｃｕ·Ｚｎ－ＳＯＤ水平降低（Ｐ＜Ｏ．０１）．观察用不同剂量ＳＯＤ及不同时间的治疗方案，结果大剂量比小剂量，长时间比短时间更能改善自由基和清除剂的状况，提示糖尿病患者晶状体中自由基代谢异常，这可能和糖尿病性白内障有关；表明ＳＯＤ可能是防治糖尿病性白内障的良药．     

介观耗散互感耦合电路的库仑阻塞效应

给出了介观耗散互感耦合电路的量子化方法,并在介观电路中电荷量子化的基础上给出了介观耗散互感耦合电路的库仑阻塞条件.     

设计走向科学化的重要途径——设计方法学研究的崛起及其成就

本文从当代设计所面临的严峻挑战出发,回顾设计方法学的崛起,综述了在设计及设计方法学研究方面,主要发达国家采取的措施及主要专家、学者的贡献和成就。指出:设计必须科学化,而设计方法学研究是设计走向科学化的重要一步;必须加强对设计本身的研究;计算机技术在设计领域中的应用及其与设计理论研究的结合,对设计的发展及科学化将具有特别重要的意义。     

影响牦牛初生重因素的系统分析

分析了影响牦牛初生重的六个因素和众多因子，母牦牛的产犊季节、牦牛的胎次、犊牛的性别对牦牛初生重影响最大；母牛的年龄、营养情况对初生重影响次之；放牧管理水平对初生重影响最小。     

二阶常微分ZPT方程Suturn-Liouville问题多个正解的存在性

研究了二阶常微分方程Stum—Liouville问题，通过使用不动点指数这一工具，在适当条件下建立了这类边值问题多正解存在的充分条件     

几乎共线性的度量问题

本文考虑回归分析和数值相关分析等领域中的向量相关性的度量问题,引进一种用于度量共线性影响的数量指标,并讨论了它的基本性质以及与病态条件数和复相关系数的关系.