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

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

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

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

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

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

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.     

矩阵的扩充与紧支撑正交小波

从矩阵的扩充出发给出了尺度因子a=4时紧支撑正交小波的一种构造方法，同时说明了补空间Wj在a=4时可以进一步分解为三个子空间的正交直和，实现Wj的细致化．     

可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

Hopf Galois扩张和Frobenius扩张

设有限维Hopf代数H作用于代数A.A^H是A在这一作用下的不变子代数．     

因素空间理论与知识表示的数学框架（Ⅰ）──因素空间的公理化定义与描述架

系统地研究因素空间理论及其在知识表示中的应用。介绍因素空间理论的基本思想，修改了原有的因素空间的公理化定义，提出了表达概念的基本工具－－描述架，为建立知识表示的数学框架奠定了基础。     

一般Boole空间的单点紧扩张

本文研究了一般Ｂｏｏｌｅ空间的一个特征和Ｂｏｏｌｅ格的一个判定定理。及一般Ｂｏｏｌｅ格的素幻与其单点扩张Ｂｏｏｌｅ格的素幻之间的关系。