幂等元为本原的半群

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

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

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

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

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

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

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

醋酸纤维素扩散限制膜修饰葡萄糖生物传感器

为拓宽葡萄糖生物传感器检测的线性范围,分别利用质量浓度为0g/L、10g/L、15g/L、20g/L、25g/L和30g/L醋酸纤维素扩散限制膜,对以二茂铁为电子媒介体明胶戊二醛固定葡萄糖氧化酶制备的葡萄糖丝网印刷金电极进行修饰,研究了醋酸纤维素扩散限制膜对葡萄糖生物传感器性能的影响.结果表明,醋酸纤维素扩散限制膜有效地拓宽了葡萄糖生物传感器检测的线性范围,质量浓度为20g/L醋酸纤维素制备的扩散限制膜修饰的葡萄糖生物传感器性能最优,具有良好的产业化前景,其检测线性范围为0～30mmol/L,响应时间为10s,灵敏度为31.4μA/(mol·L-1),相关系数为0.99733.     

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

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

Left-lateral shear deformation found in southern part of the Gaoligong range in west Yunnan and its tectonic implications

It is generally understood that the Tertiary structural deformation in the Gaoligong range in west Yunnan was under the control of right-lateral shear, resulting from the northward movement of Indian relative to Eurasian. In the southern part of Gaoligong range, however, we have recently found many pieces of evidence of left-lateral shear deformation, featuring a 10 km wide shear zone cutting through all tectonic elements of the range in N-S direction, which possibly occurred in late Tertiary time, and postdated the right-lateral shear. This is a significant discovery for revealing characteristics of the Tertiary intracontinental deformation of the Gaoligong range and the interaction between the Indian and the Eurasian continents.     

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.     

末制导炮弹的研制现状及发展趋势

自20世纪末期以来,高新技术大量运用于火炮尤其是弹药的设计和研制中。为了大幅度地提高火炮射击精度,出现了一种将制导技术运用于传统弹药而产生的末制导炮弹。描述了末制导炮弹的制导方式和关键技术,对外军几种典型的末制导炮弹的技术性能进行了简介,总结了末制导炮弹的研制现状及发展趋势。     

煤气-空气多元爆炸性混合气体爆炸反应极限范围的研究

通过大量实验对煤气-空气等多元爆炸性混合气体的爆炸极限范围进行了研究，找出了影响爆炸范围的主要因素。实验表明：爆炸反应呈阶段性和不完全性；甲烷对爆炸范围有影响；水气含量对支链反应有阻止作用；一氧化碳对支链反应有一定的贡献。本文结论对科学的制定安全指标提供了理论依据。