基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

Fuzzy集的基数

关于Fuzzy集的基数，[1]中曾对有限支集的Fuzzy集以及极苛刻条件下的无限Fuzzy集给出过一种定义。但是，正如本文将要指出的那样，该定义是不合理的。本文将从研究Fuzzy映射入手，给出Fuzzy集基数的一般性定义。基于这一定义，不但得到有关基数的大部分结论，而且有其自身的特殊性。     

Fuzzy Entropy： Axiomatic Definition and Neural Networks Model

The measure of uncertainty is adopted as a measure of information. The measures of fuzziness are known as fuzzy information measures. The measure of a quantity of fuzzy information gained from a fuzzy set or fuzzy system is known as fuzzy entropy. Fuzzy entropy has been focused and studied by many researchers in various fields. In this paper, firstly, the axiomatic definition of fuzzy entropy is discussed. Then, neural networks model of fuzzy entropy is proposed, based on the computing capability of neural networks. In the end, two examples are discussed to show the efficiency of the model.     

模糊数序列的收敛性

探讨L-R型模糊数序列的S-和问题，定义关于模糊数的模糊小于的概念，在此基础上探讨模糊数的有序性，模糊数的截集函数的连续性，模糊数的格结构以及模糊数序列的收敛性等重要性质。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

人寿保险业绩指标的确定

本文通过相关分析和聚类分析的方法,对保险业绩指标的确定进行了分析.使确定的指标对业绩评价合理可信.     

聚丙烯酸长链酯的Huggins常数与其分子量的依赖性关系

聚丙烯酸高碳醇酯(PBA)及聚丙烯酸十八醇酯(POA)是具有长烷基侧链的梳状聚合物,在溶剂苯中的Huggins常数(k′)随其分子量(M)的变化而变化.在PBA-苯体系中发现,当M低于某一临界分子量(MLC)时,k′随分子量的降低显著增大;当M大于某临界分子量(MHC)时,k′随分子量的升高而增大;当M在MLC～MHC时,k′基本上保持不变.而在POA-苯体系中发现,当M低于某一临界分子量(MC)时,k′随分子量的降低显著增大;当M大于该临界分子量(MC)时,k′在0.33～0.43变化.文中同时给出了精确算法用来计算PBA-苯体系及POA-苯体系中PBA及POA的特性粘度.当k′＞0.758时,用稀释外推法计算;当0.758＞k′＞0.426时,用一点法公式[η]=ηsp/C(√)ηr计算;当0.426＞k′＞0.334时,用另一一点法公式[η]=(√)2(ηsp-lnηr)/C计算.     

模糊值Choquet积分(Ⅱ)--函数关于模糊值模糊测度的Choquet积分

研究一种取值于模糊数集的Choquet积分，该积分的被积函数是单值函数，所用的测度是模糊值模糊测度。给出其定义、性质和收敛定理。     

高压下某些导电高分子色散关系的研究

利用晶格动力学方法,研究在高压下几种导电高分子具有不同晶格链时的色散关系及其曲线的变化.链间耦合作用的减弱使横波与纵波的ω差值相应增大,且在BZ边界处拉开一个间隙,这是维度作用的结果.     

细胞凋亡诱导剂研究进展

细胞凋亡诱导剂作为癌症治疗药物日益受到重视,并已应用于临床研究,是一类非常有应用前景的药物.综述了近年来细胞凋亡诱导剂的研究状况及进展,重点介绍了它们的结构类型及作用特点.