基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

黄芩甙抑制儿童全身炎症反应综合征核因子-κB活化的研究

探讨全身炎症反应综合征一般治疗时柱因子-κB活化的情况及黄芩甙的影响.方法用中性粒细胞核因子-κB活性测定法测定30例全身炎症反应综合征一般治疗组.30例全身炎症反应综合征加用黄芩武组及30例正常人组中性柱细胞核因子-κB活性.结果全身炎症反应综合征一般治疗时核因子-κB活化增加.黄芩武可抑制他们的变化.结论黄芩甙是治疗全身炎症反应综合征的有效药物.     

两种蛙科无尾类的核型

腹斑倭蛙：2n=26(16M 1-SM),NF=52,除Nos,2,3,4,6,9等五对为SM外，其余诸对均为M，次缢痕位于8q，威宁蛙2n=26(18M 8SM),NF=52,除Mos,3,4,6,7 等四对为SM外，其余各对为M，次缢痕出现在1q和7q两处，前者频率较高，根据相对长度，臂比值和次缢痕的位置和数目讨论了蛙亚科的核型演化机制，推断可能是相互易位和臂间倒位为主。     

脂肪醛折光指数与分子结构间定量关系的探讨

用图论方法探讨了脂肪醛折光指数与分子结构的关系，提出一个既能表征脂肪醛结构性能关系又能预测折光指数的定量关系式，结果表明，脂肪醛折光指数计算值与实验值的一致性令人满意，平均误差０．１０２％。     

自动选垫机在主减速器装配中的应用

在主减速器装配中,调整齿轮啮合区域及轴承预紧力时需多次拆装;劳动强度大,效率较低,自动选垫机通过检测壳体及相关零件后,自动选出装配所需的调整垫片,一次装配即可,满足了大批量生产的需求。     

网络课件中动态题库的研究

网络课件以其良好的交互性和多媒体功能倍受学习者青睐。近几年来网络课件数量剧增,但对试题库的研究与开发相对简单,给用户提供的试卷或者习题不论是动态或者静态的,均不能很好地考虑网络上不同用户的需求。为此,文章着重从不同用户的需求和提高组卷效率出发,智能地、高效地生成不同需求的试卷或者习题以满足不同用户,同时为提高组卷效率而提出了多种策略相结合的组题方式。     

热连轧精轧机组温度模型的改进

从实际生产数据入手,研究了温度模型设定精度的现状及设定精度与各影响因素之间的关系,同时还消化了原来的温度模型程序并将其移植到微机上.经大量的离线统计回归分析,提出了一个行之有效的温度模型改进方案.该改进方案的思路同样适合其他热轧生产线.     

利用初等变换求极大线性无关组

给出利用矩阵的初等变换求极大无关组的方法 ,并从理论上加以证明 .此法简单易行 ,且计算量小 .     

脂肪腈结构与凝聚型性能之间定量关系的研究

借助于分子拓扑学探讨了脂肪腈的凝聚型性能与分子结构之间的关系，提出一个结构基础明确的定量关系式．对乙腈到二十一烷腈的计算结果表明，沸点、密度和折光指数的计算值都很接近实验值．应用这一定量关系，不仅能够合理表征脂肪睛结构与凝聚型性能的关系，而且有助于揭示物质结构与性能关系之间的奥秘。