区间值逻辑柔性化的研究

蕴涵是研究逻辑学的重点和难点,本文运用泛逻辑学的理论,把广义相关性引入到区间值逻辑中,重新定义了区间值逻辑的补、交、并运算,给出一种区间蕴涵的定义形式,使区间值逻辑运算模型连续可变,进一步证明了区问蕴涵的正则性、单调性和伴随性。以全新的观点给出区间值逻辑在h几个特殊点处的交、并和蕴涵运算模型。这对深入研究区问值逻辑柔性化,具有重要的意义。     

模糊安全性和活性

形式规约使用形式语言构建所开发的软硬件系统的规约,刻画系统的模型和性质。其中,性质规约中的分支时间规约对于系统验证有着非常重要的作用。在经典情形下,系统性质规约是基于二值逻辑的,不能描述不一致或不确定的信息。因此,将其推广到模糊逻辑背景下,有助于对模糊系统进行形式验证。文中首先给出了性质规约中分支时间属性在模糊背景下的形式化定义,重点研究了其中的安全性和活性;然后,定义了两种闭包操作,从而产生了4种类型的属性,即泛安全性、泛活性、存在安全性和存在活性;最后,证明了每个分支时间属性,或是存在安全性和存在活性的交,或是泛安全性和泛活性的交,或是存在安全性和泛活性的交。     

泛蕴涵推理机及其应用

本文提出模糊系统中基于泛逻辑的泛蕴涵推理机,给出其在描绘函数图形时的应用,同时比较了它与Mamdani型和Lasen型两种模糊系统在描绘函数图形时的误差。分析和比较表明,在相同规则下含有泛蕴涵推理机的模糊系统产生的误差最低。     

逻辑系统UL的广义H-赋值

研究了Schweizer-Sklar T-范数（本文讨论p〈0的情况）及其刺佘蕴涵的性质。以此为基础,对泛逻辑基本形式系统UL中的H-g值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值之下可靠性定理成立。     

泛蕴涵的若干性质

泛蕴涵联结词是广泛存在于经验性思维、不确定性推理和各种多值逻辑系统中并且具有普遍意义的逻辑运算之一。论文首先对文[6]中泛蕴涵联结词的定义进行改进,使其定义更为严格且易于运算,并研究了泛蕴涵联接词的若干性质;其次分别给出泛蕴涵与D-P条件和(T-T1)条件的关系,得出泛蕴涵在什么情形下分别满足它们。     

关于择优逻辑单调性的几个结果

本文在Ｓｈｏｈａｍ给出的择优模和择优蕴涵概念的基础上．进一步研究了择优逻辑的单调性．首先，讨论了择优逻辑的若干基本性质，并给出了单调性的一个充要条件；其次，证明了单调性与反证律等价，并给出了单调性的一个更为简洁的充要条件；最后，讨论了解释集合是归纳集时的单调性，证明了单调性与择优蕴涵的退化等价．这些结果，揭示了择优蕴涵、传统蕴涵、单调性、反证律之间的关系．     

算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵

在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。     

关于择扰逻辑单调性的几个结果

本文在Ｓｈｏｈａｍ给出的择优模和择优蕴涵概念的基础上，进一步研究了择优逻辑的单调性。首先，讨论了逻辑的若干基本性质，并给出了单调性的一个充分条件；其次，证明了单调性与上律等价，并给了单调性的一个更为简洁的充要条件；最后，讨论了解释集合是归纳集合是归纳集时的单调性，证明的单调性与择优蕴涵的退化等价。这些结果，提示了择优蕴涵、传统蕴涵、单调性、反证律之间的关系。     

常见模糊蕴涵算子的模糊系统及其响应函数

详细讨论了较常见的21种模糊蕴涵算子构成的模糊控制器及其响应函数.主要结果是,异常蕴涵算子模糊控制算法都可归结为某种插值方法,它们相应的模糊控制器均具有函数逼近的泛性且彼此等效;而正常蕴涵算子(包括正规蕴涵算子的导出算子)模糊控制算法均非插值方法,其模糊控制器都不具有函数逼近的泛性,除Zadeh蕴涵算子外,这些正常蕴涵算子的模糊控制器均只具备阶跃输出功能且在一定意义下相互等效.     

两类模糊系统具有插值性的充要条件

当模糊系统具有插值性时,它必具有泛逼近性.因此,由插值性可以分析模糊系统的逼近能力.本文讨论了由“交”和“并”的方式聚合推理规则所生成的两类模糊系统的插值性问题.首先,通过分析由“单点”模糊化方法、CRI(com positional ru le of inference)算法以及“重心法”构造的模糊系统,指出模糊系统是否具有插值性关键取决于模糊蕴含算子的第二个变量为0和1时的表达式或取值.在此基础上,得到两类模糊系统具有插值性的充要条件.最后给出了满足这两个充要条件的一些常用的蕴涵算子.     

集合交集元素之和的保密计算

安全多方计算是国际密码学的研究热点之一，保密计算集合交集元素之和问题是安全多方计算比较新的问题之一.该问题在工商业、医疗健康等领域具有重要的理论意义和实用价值.现有解决方案是在有全集情况下设计的，在计算过程中会泄露交集的势且存在一定的误判.在半诚实模型下基于Paillier同态加密算法设计了3个协议，协议1计算共有标识符的数量（即用户标识符交集的势）以及与这些用户相关联的整数值之和，协议2和协议3是在不泄露交集势的情况下计算交集元素关联值之和.整个计算过程不泄露关于协议双方私人输入的任何更多信息.所提协议是在无全集情况下设计的，采用模拟范例证明了所设计协议的安全性，用实验验证协议的高效性.     

粗糙蕴涵

Rough implication operator is the emphasis and difficulty in the study of rough logic. Due to the shortage of rough implication in [3]～[5], we redefine rough set and rough implication operator by Stone algebra, and introduce new rough operators such as rough intersection, rough union, and rough complement. Moreover the characteristics of the proposed rough implication are investigated ,and we also point out that the proposed implication operation is superior to that of three-valued Lukasiewicz logic.     

坡代数的区间值模糊理想

模糊子代数是模糊代数的一个重要研究内容。为了进一步了解坡代数的模糊理想的特性,在坡代数中引入了区间值模糊理想概念。讨论了坡代数的区间值模糊理想的相关性质。证明了坡代数的区间值模糊理想的交,直积以及同态像也是区间值模糊理想。     

基于VISSIM的单点交叉口微观模型仿真

通过对城市交叉口交通流微观仿真模型的分析,针对给定城市交叉口各路口的一些几何参数和交通量,运用VISSIM进行交通系统的建模和仿真,得到最佳配时方案,减少路口的交通延误,并用MATLAB软件对仿真结果做了简要分析,证明了交叉口的仿真对提高路口的服务水平有很重要的意义、增加绿信比是提高道路通行能力的有效途径、阐明了仿真的重要性。     

广义的直觉模糊蕴涵及剩余格

根据交通流的动态变化情况,实时优化交通信号配时,是减少交通延误,提高交通效率的有效方法。为减少信号优化时间,提高时效性,提出一种并行化的交通信号对比分析算法,该算法首先根据专家经验和交通管理常识设定一定的信号变化区间,然后针对该区间给定变化区间Δ,依次给定相应的信号配时策略,将每一种信号配时策略分配给集群系统中的一个计算节点,由各个计算节点分别进行仿真运算,最后由主节点聚合分析,对比给出最优信号控制方案。以微观交通仿真系统Paramics进行了仿真实验,结果表明,在4个节点组成的并行网络中,加速比为1.75,其提高了仿真效率,且能较好地遴选出最优控制方案。     

Petri网语言的同步交运算

Petri网语言是用于系统行为分析的有力工具，利用传统的语言运算并不能很好地刻画Petri网的语言行为，为此，本文给出一种新的Petri网语言运算操作一同步交运算，并就网系统的分解和合成过程中的行为关系，分析了Petri网语言的同步交运算的作用和意义．