逻辑推理理论的定量发展

本文在一阶谓词逻辑的基础上,为每个定性的Horn子句规则赋予一个蕴涵强度f,从而得到定量的f-Horn子句规则及其Herbrand解释.最后,我们成功地给出了f-Horn子句规则的模糊过程解释,并由此引入了模糊逻辑程序系统.     

模糊PROLOG语言与专家系统

模糊PROLOG语言为专家系统的研究拓宽了道路,本文扼要介绍了新型模糊PROLOG语言一f-PROLOG,旨在说明它的基本语法,以及它和传统PROLOG语言的异同。进而,着重讨论了专家系统中的知识表达和非精确推理,指出传统的知识表达方式和推理方法因缺乏必要的模糊逻辑方法论背景而把大量的模糊信息和经验知识排斥在外,并通过实例说明f-PROLOG不仅是一种良好的知识表达工具,而且很适合用做专家系统的推理机。     

抽指加权的声表面波带通滤波器的计算机辅助设计

本文回顾了基于抽指加权设计的声表面波带通滤波器能够发展起来的原因,介绍了用来合成这类滤波器的计算机辅助设计程序.采用的是一种既适用于基波又适用于谐波的谱线加权换能器模型,介绍了用计算机设计的抽指加权滤波器的几个实例.     

煤矸石集料混凝土抗压强度及耐久性能

以煤矸石-普通碎石混合作为粗集料制备了一系列混凝土试样,其中煅烧和未煅烧煤矸石等量替代普通碎石的掺量为0%、30%、50%、70%和100%,探究了煤矸石粗集料掺量和700℃煅烧对混凝土抗压强度、快速氯离子渗透、抗碳化性能和抗硫酸盐侵蚀性能的影响,并借助X射线衍射仪(XRD)观测矿物成分变化,利用扫描电子显微镜(SEM)观测微观结构。实验结果表明煤矸石作混凝土集料是可行的,最大掺量受混凝土设计强度和所处环境的限制。煤矸石与胶凝材料粘结处空腔的存在不利于混凝土抗压强度和耐久性能,但对固化氯离子性能有利。相比于掺未煅烧煤矸石的混凝土,掺煅烧煤矸石的混凝土的内部结构更致密,但煅烧煤矸石自身的缺陷导致其未获得较大优势。后续研究将致力于更大程度地激发煅烧煤矸石集料的活性以更好地发挥其优势。本研究为煤矸石的大宗高效利用提供试验基础和理论依据。     

从空间数据库发现聚类：一种基于数学形态学的算法

聚类算法能从空间数据库中直接发现一些有意义的聚类结构而不需要背景知识，是空间数据发掘和知识发现的重要手段。在分析已有聚类算法的基础上，提出了一种基于数学形态学的聚类算法，该算法能够处理任意形状的聚类，采用启发式方法自动确定最优聚类数。同时，该算法也可以在矢量型空间数据库中得到实现。试验表明算法是可行和有效的，且能处理存在噪音的数据。     

面向服务软件的网络拓扑表示方法

主要研究了面向服务软件的网络拓扑知识表示问题.首先通过分析OWL-s中服务轮廓和服务模型的定义,研究了Web服务的属性及Web服务之间的主要逻辑关系;而后,提出了面向服务软件的拓扑知识表示方法,运用属性关系图(ARG)来描述面向服务软件的结构;最后,用一个实例说明了该方法的可行性.通过该实例可以看出,该拓扑表示方法可以准确描述服务间存在的多种关系类型及服务本身的各种属性,为进一步研究面向服务软件的结构特性打下基础.     

三级倒立摆的云控制方法及动平衡模式

文章提出了定性和定量之间转换的云模型的形式化表示方法,用来反映语言值中蕴涵的模糊性和随机性,给出云发生器的生成算法,解释多条定性推理规则同时被激活时的不确定性推理机制。利用这种智能控制方法有效地实现了单电机控制的一、二、三级倒立摆的多种不同动平衡姿态,显示其鲁棒性,并给出了详细试验结果。研究成果不仅可用于对太空飞行器以及机器人控制,而且对揭示定性定量转换规律和策略具有普遍意义。     

基于开矿表示的时间序列相似性搜索

时间序列是一类重要的复杂数据,时间序列知识发现正成为知识发现的研究热点之一,时间序列的相似性搜索是时间序列知识发现的重要方面,提出一种新的基于形态表示的时间序列相似性搜索机制。该机制采用逐段线性化技术,将复杂的时间序工线简化为多个直线段,同时,结合时间序列的符号表示思想,构造了基于云模型的形态概念树,提出了时间序列的形态描述方法－基于云模型的时间序列表示法,并在此基础上采用增强动态编程算法实现了时