模糊推理中零级泛蕴涵的信息度约束研究

基于线性特征测度的定义,本文详细地讨论了模糊推理中零级泛蕴涵满足信息有界性原则的条件,并得出结论：当命题间是相克相关,即其广义相关系数h∈[0,0．5]时,零级泛蕴涵满足信息有界性原则。这一结论对于在实际控制应用中,如何给定命题间的广义相关系数h值具有重要的指导意义。     

基于免疫进化规划的一种柔性神经模糊推理系统

该文基于泛逻辑学提出一种新颖的柔性神经模糊推理系统,用命题间的广义相关性和广义自相关性去解释系统推理模式的连续可变,以及命题真值的测量误差,以期实现真正的智能控制系统,并采用了将进化规划同生物免疫思想中的浓度机制及多样性保持策略相结合的免疫进化规划学习算法,自适应地学习系统参数。最后通过倒立摆的仿真实验体现了该推理系统的可用性和有效性。     

[0，∞)值柔性逻辑中平均运算模型的研究

在柔性逻辑中,不仅命题真值的连续可变性对命题连接词运算模型有影响,而且命题间关系的连续可变性对命题连接词运算模型也有影响。柔性逻辑中的逻辑算子是在其定义域上随广义自相关系数k和广义相关系数h连续变化的算子簇。详细研究了柔性逻辑平均算子,定义了[0,∞)值零级和一级柔性逻辑平均运算模型。为保证逻辑运算模型的零级完整性,该模型在其定义域内,从最大算子经过概率算子和中心算子,到最小算子单调连续变化,证明了该区间上的4个特殊算子形式。     

泛逻辑学的蕴涵性质

蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值。     

基于零级泛与运算的泛逻辑中广义重言式理论

对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存在0、1可达重言式,当α∈(0,1),不存在α-重言式、α+-重言式和可达α-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画。     

泛组合运算模型研究

泛逻辑学是在模糊逻辑的基础上,分析命题之间关系的连续可变性。提出了“广义相关性”和“广义自相关性”两个重要的概念,将命题连接词运算模型定义为由相关性所控制的算子簇,实现了命题连接词运算模型的柔性化。其中泛组合运算模型是为了满足连续值逻辑中综合决策的需求而提出的。目前仅有二元模型,在实际应用中迫切需要多元模型。但由于泛组合问题的复杂度随着“元”的个数增加而急剧增大,其设计有一定的难度。提出了多元泛组合运算模型和生成元加权零级泛组合运算模型,从而不仅满足了应用中多元综合决策的要求,还进一步完善了泛逻辑学中的命题连接词理论。     

广义区间上的泛逻辑自相关系数求解

广义自相关系数的求解是泛逻辑在不确定性推理中需要解决的关键问题之一。称任意[a,b]区间为广义区间,在广义区间上给出了广义N范数、广义N性生成元、广义自相关系数的定义。提出了由复杂系统参数的分布函数求解广义自相关系数的一般方法,给出并证明了重要的直通NLK公式。最后举例说明了求解k值的具体,为从数学模型和逻辑推理两个角度来分析复杂系统参数间的相关性提供了一种新的思路。     

语言真值格值命题逻辑系统中广义文字的归结判定

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语 言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的 逻辑基础。给出了语言真值格蕴涵代数纷相似文献   

基于广义相关性的泛类比度和泛逻辑组合规则

传统的关于事物间类比关系的研究过于简单化,且缺乏目的性.首先对事物间的类比关系进行了详细分析,既考虑了类比事物间的公共属性,又考虑了它们的冗余属性和冲突属性,并用广义相关性对其进行了解释.然后定义了不同决策原则下的泛类比度,使类比度定义符合不同的决策要求.最后给出了类比推理中的泛逻辑组合运算规则,从而弥补了传统类比推理研究中运算规则固定不变的缺陷.     

不等权泛平均运算模型研究

泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的.鉴于现有的泛平均运算模型描述的是一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指出加权算术平均算子、加权几何平均算子、加权调和平均算子、广义加权平均算子等都是其对偶模型的特例.最后比较了广义加权平均运算模型和不等权泛平均运算模型的异同.     

A Complexity Measure

This paper describes a graph-theoretic complexity measure and illustrates how it can be used to manage and control program complexity. The paper first explains how the graph-theory concepts apply and gives an intuitive explanation of the graph concepts in programming terms. The control graphs of several actual Fortran programs are then presented to illustrate the correlation between intuitive complexity and the graph-theoretic complexity. Several properties of the graph-theoretic complexity are then proved which show, for example, that complexity is independent of physical size (adding or subtracting functional statements leaves complexity unchanged) and complexity depends only on the decision structure of a program.     

A Concurrency Measure

With the new advents of technology and the availability of microprocessors and minicomputers, parallel and distributed processing is gaining widespread acceptability. In such systems resources are shared among a number of processes. Accesses to the resources must be synchronized in order to guarantee proper operation of a system. In this research work, a measure, called maximal compatibility, is developed to measure the degree of concurrency (parallelism) a synchronization policy achieves. A set of accesses is considered compatible if it only contains accesses that are permitted to occur simultaneously. A policy is maximally compatible if it allows every compatible set of accesses to occur simultaneously and if the maximum number of requests is always satisfied without allowing incompatible accesses to occur simultaneously.     

直觉区间值模糊集的熵、距离测度和相似测度

熵、距离测度和相似测度是模糊集理论中的三个基本概念.本文中,我们给出了直觉区间值模糊集的熵、距离测度和相似测度的公理化定义并讨论了它们之间的基本关系.有别于以往的交、并运算,我们提出了直觉区间值模糊集的加法、乘法运算,并在此基础上讨论了直觉区间值模糊集的熵、距离测度和相似测度的性质.     

全自动称重系统

介绍一种全自动称重系统，该系统将红外发射，接收装置与电子秤相结合，使车辆开过地磅房后计算机能自动记录该车的情况。本系统应用于某垃圾处理场，现场运行情况良好。     

一种基于核距离的核函数度量方法

核方法的效果依赖于所使用的核,因此核的选择和其参数的确定是至关重要的。从特定的数据中学习核需要核度量方法评价核的质量。核排列度量核与学习任务的一致性,因为它具有高效性和有效性,是目前应用最为广泛的核度量方法。然而,有研究表明,核排列仅是最优核函数的充分非必要条件。其主要原因是核排列在特征空间中不具有线性变换不变性。提出了一种新的核度量方法用于核选择,称其为核距离排列。该方法能够克服核排列的局限性,并且同样具有高效性和简单的形式。对比实验表明,该方法能够有效地对核进行度量。     

匿名性能衡量方法研究

对现有的多种匿名性衡量方法进行分析和比较,对熵值和θ方法的局限性作了详细分析,指出这两种方法都不能很好地反映出攻击者作局部判定的难易.在此基础上,提出一种新的基于部分熵值的匿名性能衡量方法,该方式在假设匿名攻击有效的前提下,给出相近匿名集的定义,并且基于相近匿名集的元素个数、概率总和以及概率分布重新定义了匿名性衡量的指标.文中详细给出了该方法设计的思想,分析和计算表明,新的衡量方法能较好地体现攻击中常用的排除法,反映出匿名概率集中概率突出且接近者影响攻击判定的事实,能更好地衡量出系统的匿名性能.     

耦合度模型的建立

该文从影响耦合度的因素出发,对其分析研究,给出度量模块耦合度的计算公式并建立模型。     

Resource-Bounded Measure and Learnability

We consider the resource-bounded measure of polynomial-time learnable subclasses of polynomial-size circuits. We show that if EXP ≠ MA, then every PAC-learnable subclass of P/poly has EXP-measure zero. We introduce a nonuniformly computable variant of resource-bounded measure and show that, for every fixed polynomial q , any polynomial-time learnable subclass of circuits of size q has measure zero with respect to P/poly. We relate our results to the question of whether the class of Boolean circuits is polynomial-time learnable. Received July 15, 1998, and in final form September 9, 1999.     

散状固体的流量测量

扼要介绍了当前应用的几种固体流量计，并进行对比，着重叙述了科氏力质量流量计的原理、结构及应用情况。