幂等元为本原的半群

对幂等元是本原的半群进行了讨论。特别地,证明了非零幂等元是本原的Ｅ－逆半群是一个ＴＥ－半群关于半群Ｓ的理想扩张,而半群Ｓ是完全０－直并关于一个ＴＥ－半群的理想扩张。     

软件开发的KFFEITO模型及其实用性

本文提出了能快速研究计算机应和新产品满足市场需求的中小型软件开发模型,即“核心功能优先、由里向外扩展”的软件开发模型。     

具有排除体积的两维高分子链的静态标度律

运用四位置模型对具有排除体积的两维高分子链进行ＭｏｎｔｅＣａｒｌｏ模拟和标度分析,为了提高长链的抽样效率,还提出了被称为“链段伸展法”的抽样方法。对单个自避行走链的模拟结果表明,两维ＳＡＷ链有育明显不同于夫规飞行链以及三维ＳＡＷ链的特点。     

基于min型表现外延的反馈外延外包络

相对于max型表现外延,给出min型表现外延的定义,利用min型表现外延构造了概念关于因素的min型反馈外延.研究了min型反馈外延与概念外延以及复杂因素min型反馈外延与简单因素min型反馈外延之间的关系,得到了与min型反馈外延相关的一些重要性质.定义了min型反馈外延外包络,给出一种从概念外延"内部"对概念外延进行逼近的方法.     

动态累积间歇精馏的温度控制研究

研究了用塔顶温度控制累积罐进行自动切换的操作方法，并以异丙醇一正丙醇为实验物系进行了该操作方法的实验，结果表明，根据塔顶温度控制累积罐自动切换的方法操作稳定、控制可靠，通过实验，给出了温度设定点的选择原则，并讨论了此操作在分离高浓度物料中的表现，认为此操作方法适用范围广泛，实用性强．     

一种新型级联码

提出一种由Turbo与纠正多个随机错误的循环码构成的新型级联码,旨在用纠正多个随机错误的循环码纠正Turbo不能纠正的错误,进一步降低误码率.仿真结果表明:信噪比超过一定值后,此级联码的误码率明显低于传统的Turbo码.     

吖啶酮类衍生物的合成及其电学性质研究

由取代苯胺和邻氯苯甲酸合成了7个吖啶酮类衍生物,用循环伏安法测出它们各自的电势,发现所合成的吖啶酮类衍生物都比常用的电子传输材料2-(4-联苯基)-5-(叔丁苯基)-1,3,4-二唑(PBD)容易被还原,具有较高的电子亲和势.     

无粘结预应力沉淀池实测伸长值偏大原因分析

针对在实际施工过程中，某无粘结预应力沉淀池预应力束实测伸长值比理论计算伸长值偏大，超过规范规定范围的情况，进行了分析和测试，提出了导致实测伸长值偏大的原因。     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

二甲亚砜对强酸性介质中肾上腺素电子转移性能的影响

分别用循环伏安法和核磁共振技术研究了强酸性介质中二甲亚砜对肾上腺素电子转移性质的影响作用，提出了二甲亚砜与肾上腺素几种可能的作用机理，实验结果表明，二甲亚砜对肾上腺素具有较强的稳定作用，使其氧化峰电位正移，发生氧化反应的能力降低。