泛逻辑泛运算模型之间的关系

研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x, y, h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0, 0.75), 零级泛或运算S(x, y, h)=(min(xm+ym, 1))1/m, N(x)=(1-xm)1/m时, T, S, N形成一个强De Morgan三元组。进一步证明了一级泛与运算模型T(x, y, h, k)、一级泛或运算模型S(x, y, h, k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0, 075), 一级泛或运算模型S(x, y, h, k)=(min(xnm+ynm, 1))1/nm, N(x)=(1-xnm)1/nm时, T, S, N形成一个强De Morgan三元组。     

基于幂零泛与运算模型的命题模糊逻辑

本文讨论了泛与运算模型T(x,y．h)(h∈(o,0．75))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0,O.75))是一个幂零三角范数;而且泛与运算模型T(x,y．h)(h∈(0,0．75))与泛蕴涵运算模型,(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([0,1].∨,∧．*,→．0,1)作成一个MV-代数。给出了基于幂零泛与运算模型T(x,y,h)(h∈(0,0.75))的模糊命题演算系统PC(T),证明了此命题演算系统与Lukasiewicz逻辑命题演算系统是等价的。     

泛组合运算模型研究

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

一级泛非运算研究

何华灿等1996年提出关于不确定性推理的泛逻辑,对泛非运算给出了它的零级形式N(x)=1-x.本文讨论它的一级形式,内容包括不确定性的级,一级泛非现象,一级泛非公理,一级泛非运算N(x,h)的定义、主要性质和生成方法.这对深入认识不确定性及其逻辑规律,完善泛逻辑理论具有重要意义.     

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

对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当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)时的广义重言式进行了刻画。     

任意区间上的泛组合运算模型研究

泛组合运算为处理复杂系统中因素间相互冲突或协调的关系提供了有效解决途径。针对传统泛组合运算模型是基于单位区间[0,1]的理想情况,重点对在任意区间上取值的泛组合运算模型进行研究,给出并严格证明了其具有的一系列重要性质,为泛组合运算模型在控制中的应用提供了有力的依据。     

泛逻辑学中UB代数系统的若干性质

文[1]提出了理想状态（h=k=0.5）下泛逻辑学对应的代数系统-UB代数,给出了它的一些性质。在[1]的基础上,进一步讨论了UB代数系统,得到一些有趣的结果,这些结果对UB代数的进一步研究是有用的。     

泛逻辑学的蕴涵性质

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

泛逻辑控制模型研究

提出了一种基于泛逻辑学中零级泛组合模型的泛逻辑控制器,并根据输入变量数目的不同,设计了一维到四维泛逻辑控制模型结构。由于考虑到输入量之间的广义相关性,泛逻辑控制模型具有较强的通用性和适应能力,针对不同被控对象无须单独设计,是一种具有柔性潜质的智能控制模型。对典型线性和非线性系统的控制实验,证明了模型的有效性和优越性。     

基于零级泛与运算的谓词形式系统及其完备性

泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统(V)ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统(V)ULh∈(0.1],并证明其完备性定理.从而得到系统(V)ULh∈(0,1]的语义和语构是和谐的.     

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

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

不等权泛组合运算模型研究

实际复杂系统中的各因素一般具有不同的权重,针对现有的泛组合运算模型描述的是一种理想的等权情况,给出了两种广义加权算子模型,并据此提出了一种不等权泛组合运算模型,从而可以更准确地处理复杂系统中各因素间关系的不确定性问题.     

分布式动态负载平衡调度的一个通用模型

在大规模并行分布处理系统，特别是网络工作站机群（ＮＯＷ）系统中，各结点机之间的负载平衡调度是最为常见的关键性问题之一．本文在简单分析了动态负载平衡调度中接收者驱动和发送者驱动这两个常用策略基础上，提出了一个通用的基于混合驱动策略的动态负载平衡调度模型，并给出了曙光１０００并行机上的部分实验结果.     

基于扩展通用图灵机的计算机病毒传染模型

在计算机基础理论模型——图灵机模型的基础上,提出了一种扩展的通用图灵机（EUTM）模型,这种模型突出了计算机病毒的传染特性,极大地简化了计算机病毒传染的形式描述,并根据EUTM模型给出了计算机病毒的形式定义,形式化描述了计算机病毒在单机和多机环境下的传染。最后指出了Fred Cohen关于病毒检测不可判定性定量证明的不足,并利用EUTM模型证明了病毒检测不可判定性定理。     

标准模型下通用可组合的口令认证密钥交换协议

通过构造不可延展的、可提取的且是弱模拟可靠的陷门承诺体制,以及相应的平滑投射Hash函数簇,设计了一个高效的通用可组合(universal composable,简称UC)安全的两方口令认证密钥交换(password authenticated key exchange,简称PAKE)协议,并在静态腐化模型下给出了严格的安全性证明.该协议使得PAKE协议在UC框架下达到了最优的两轮.与已有的协议相比,该协议避免了零知识证明协议的使用,在保持计算复杂度相当的前提下有效地提高了通信效率.     

基于分层模型的1553B总线通用软件模块的设计及实现

1553B总线是一种数字式时分制指令响应型多路传输数据总线,对该总线的应用已有十多年时间,由于缺少1553B总线通信软件方面的设计规范,又由于1553B总线接口芯片和通信协议的复杂性,导致了软件设计的千差万别,而某些不当用法有可能带来可靠性问题或隐患;因此基于分层设计的思想对1553B总线软件通用化模块设计进行了研究,提出了总线灵活配置与资源优化利用的解决办法,并且最后通过对应用实例的验证数据进行分析来说明此设计方案的可行性。