命题μ-演算全局模型检测的高效算法设计

在Long, Browne, Jha 和 Marrero等人工作的基础上,详细分析了用Tarski不动点定理计算不动点交替嵌套深度为4的命题μ-演算公式的计算过程,找到了计算中间结果间具有的两组偏序关系,利用这两组偏序关系设计了一个高效的命题μ-演算全局模型检测算法,该算法与Long等人提出的算法有相似的时间复杂度(O((2n+1)- d/2 - +1)相对于O(n- d/2 - +1)),但空间复杂度有很大的改进(O(dn)相对于O(n- d/2 - +1)),其中n是变迁系统的状态规模,d是命题μ-演算公式中不动点算子的嵌套深度.算法性能的改进对于命题μ-演算模型检测技术的理论研究与实际推广应用都意义重大.     

基于最大不动点模型的描述逻辑系统FLε的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴舍和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.     

描述逻辑FL-循环术语集的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL~-循环术语集的语义及推理问题.给出了FL~-循环术语集的语法、语义和不动点模型的构造方法.针对FL~-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL~-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.     

基于逻辑程序的访问控制描述与推理

提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型——Mp。使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理。     

命题μ-演算局部模型检测高效算法设计

命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为d/2,大大提高了算法的计算效率。     

λ演算中的第二不动点定理*

作者研究λ演算中的第二不动点的性质．首先讨论关于第二不动点的3个命题之间的关系且证明了它们．然后为第二不动点组合子给以一个充分条件且作出一系列的第二不动点组合子．作者还提出和证明了多元第二不动点定理．     

描述逻辑εL循环术语集的混合推理

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要.提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.     

三类不动点与一类随机动力系统的稳定性

不动点理论已被成功地应用于随机动力系统零解稳定性的研究,但Krasnoselskii不动点方法使用的较少.本文在采用Banach和Schauder不动点方法研究的基础上进一步采用Krasnoselskii不动点方法研究了一类随机动力系统零解的指数均方稳定性,得出了使得该系统零解指数均方稳定的充分条件.通过实例与现有文献结论的比较表明,相比于Banach和Schauder等不动点方法,Krasnoselskii不动点方法的应用更加灵活和简便.本文的结论在一定程度上改进和拓展了相关文献的结果,完善了不动点理论在研究随机动力系统零解稳定性上的应用.     

时滞2-D中立型离散状态模型正解的存在性

在Bandch空间中利用不动点定理研究了时滞 2 D二阶中立型离散时间状态模型正解的存在性.     

描述逻辑εLN 循环术语集的不动点语义及推理

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader 的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL 的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN 的语义(包括不动点语义和描述语义).针对εLN 的需要,重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系给出了不动点语义下εLN 循环术语集的可满足性和包含关系推理算法,并证明了推理算法是多项式时间复杂的.     

Knowledge representation using fuzzy Petri nets-revisited

In the paper by S. Chen et al. (see ibid., vol.2, no.3, p.311-19, 1990), the authors proposed an algorithm which determines whether there exists an antecedent-consequence relationship from a fuzzy proposition d _s to proposition d_j and if the degree of truth of proposition d_s is given, then the degree of truth of proposition d_j can be evaluated. The fuzzy reasoning algorithm proposed by S. Chen et al. (1990) was found not to be working with all types of data. We propose: (1) a modified form of the algorithm, and (2) a concept of hierarchical fuzzy Petri nets for data abstraction     

中介命题逻辑的一种无穷值语义模型及其意义

中介逻辑(medium logic, ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.     

Knowledge representation using fuzzy deduction graphs

A new knowledge representation model, known as fuzzy deduction graph (FDG), is introduced in this paper. An FDG can represent a knowledge base containing the fuzzy propositions and fuzzy rules. In an FDG, a systematic method of finding the fuzzy reasoning path (FRP) is given which is based on Dijkstra's shortest path framework. The FRP gives a relationship between the antecedent (source) proposition and consequent (goal) proposition, such that the consequent proposition is reached with the greatest fuzzy value. The process of finding the FRP is illustrated with examples.     

使用多控制器结构的可靠镇定

采用因子化方法研究了具有强镇定被控对象的可靠镇定问题.证明了几种可靠镇定 问题定义之间的等价关系,并表征了可靠控制器的结构.给出了对于任意给定的控制器,存在 另一个控制器使其共同解决可靠镇定问题的充要条件,该条件提供了一种选择可靠控制器的 方法.     

密码算法中的循环移位“异或”运算实质性研究

针对移位和"异或"运算的复合运算进行了研究,指出了m位二进制数的循环移位"异或"变换和移位"异或"变换等同于GF(2)上的多项式乘法问题,并给出了这种变换的可逆性判断的充分必要条件。     

Fuzzy filter for nonlinear sampled-data systems: Intelligent digital redesign approach

This paper presents a fuzzy filter design method for nonlinear sampled-data systems using an intelligent digital redesign (IDR) technique. Based on a Takagi–Sugeno (T–S) fuzzy model, discretized closed-loop systems with pre-designed analog fuzzy and digital fuzzy filters are presented. An IDR problem is given to guarantee both state-matching condition and asymptotic stability. Sufficient conditions for solving the IDR problem are proposed and are derived in terms of linear matrix inequalities (LMIs). Finally, a simulation example is given to show the effectiveness of the proposed method.     

论广义相关性在柔性逻辑中的重要性

本文用测度论的观点，证明柔性逻辑中命题连接词的运算模型是连续可变性的算子族，它受广义相关系数h的控制，并给出了h的物理意义和计算公式，最后，用实例说明了柔性逻辑的方法比CRI和三Ⅰ方法更合理。     

Feedforward control of blast furnace stoves

This paper is concerned with the control of a system of blast furnace stoves when subject to changes in load and operated according to the ‘by-pass main’ principle. A limiting condition for stable cyclic equilibrium at maximum thermal efficiency is first developed for any given combination of the two load variables, blast temperature and flowrate, assuming, in the first part of the paper, zero changeover time. The condition may be used to predict whether a given load change will lead, for constant hot gas flow rate, to the establishment of a new cyclic equilibrium state or to an instability condition called ‘collapse’ by Zuidema. The gain of a feedforward compensator which manipulates hot gas flow rate may also be evaluated so that a wider range of load changes may be satisfied without collapse. Non-zero changeover time markedly reduces the maximum thermal efficiency attainable from a given stove installation and is predicted to lead to the existence of two possible states of cyclic equilibrium for a given hot gas flow rate. The most efficient operating state may be selected by combined feedforward/feedback control over average hot gas flow rate. A new method of digital simulation for regenerator systems is described which uses standard engineering simulation packages and which has a number of advantages when simulating transient stove operation.     

Detecting Race Conditions in Parallel Programs that Use Semaphores

We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race conditions in programs that use many semaphores. We show in this paper that it remains NP-complete even if only two semaphores are used in the parallel programs. For the tractable case, i.e., using only one semaphore, we give two algorithms for detecting race conditions from the trace of executing a parallel program on p processors, where n semaphore operations are executed. The first algorithm determines in O(n) time whether a race condition exists between any two given operations. The second algorithm runs in O( np log n) time and outputs a compact representation from which one can determine in O(1) time whether a race condition exists between any two given operations. The second algorithm is near-optimal in that the running time is only O( log n) times the time required simply to write down the output.