概念格在二值命题逻辑命题集约简中的应用

概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的方法.     

计量逻辑中真度的均值表示形式及应用

 命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.     

模糊模态命题逻辑及其广义重言式

首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M 系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M 只有三种广义重言式.     

同标签Vague命题的Lawry乘-加逻辑 与Lawry下-上确界逻辑

作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)真度的概念,并给出了它们的逻辑规律.由此,本文又提出了新的非经典命题逻辑,称为同标签Vague命题的Lawry乘-加(Lawry下-上确界)逻辑.这两种非经典逻辑不仅新颖,而且相比Lawry的不确定模型适应面更广.     

命题逻辑中代数学的影子

命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统,命题逻辑是数理逻辑的基础,也是计算机科学与技术的理论基础.为了深入理解命题逻辑,将命题逻辑与一般的代数学进行比较,从6个方面简要总结和论述命题逻辑中代数学的一些思想和方法,使得读者能从中体会到代数学的一些思想和方法在命题逻辑中的应用.     

Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

 在Lukasiewicz n值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewicz n值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.     

Lukasiewicz命题逻辑中命题的Choquet积分真度理论

将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架.     

含有否定命题逻辑推理的一致性模糊Petri网模型

模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明.     

命题逻辑的计算机实现

命题逻辑是逻辑学的基础,要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应,这样实现命题逻辑的计算机实现就可以通过集合这个工具,首先将命题逻辑转化成集合,然后在计算机上对集合进行表示和处理,最后再将由集合处理的结果还原成命题逻辑的形式输出。本设计主要是基于这一集合理论,在计算机上实现命题逻辑中的两个最基本的处理,命题公式的证明和命题公式的主析取范式求解。     

n值S-MTL命题逻辑系统中公式真度的统一理论

 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.     

统计时分话务峰值复用理论与应用研究

对传统蜂窝小区内的载频时分复用的概念进行拓展,提出了蜂窝小区间频率资源统计时分复用的概念,即统计时分话务峰值复用,深入研究了相关理论及其算法。对统计时分话务峰值复用算法与相关频率分配算法的结合及其对无线话务承载能力改善程度在运营中的GSM无线网络中进行了实验,并结合相关实验数据进行了数值建模仿真分析研究,表明统计时分话务峰值服用理论具有重要的工程应用和理论研究价值。     

函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用

提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式，还证明了n值R₀命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理；并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R₀命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理，在连续值R₀命题逻辑中建立了相对于局部有限理论的公式的广义真度理论，为在R₀命题逻辑中建立基于局部有限理论的近似推理，广义积分语义理论等奠定了基础.     

粗糙逻辑中公式的一种新的粗糙概率真度

本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架.     

空时二维自适应处理的统一理论,模型与局域处理方法

本文提出了机载相控阵雷达空时二维自适应处理的统一理论，并建立了空时二维处理器系统设计的统一数学模型，根据信号处理域的不同类型，本文把处理器系统分为四大类。本文对这四大类局域处理系统进行了深入研究与分析，给出与提出多种可能的降维变。     

(3n+1)值逻辑系统Ro(L)中公式的真度性质

基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0(L)中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统Ro(L)中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0(L)中建立近似推理理论提供了一种可能的框架...     

二维经验模态可分离度及其量化计算

解释和分析了二维信号可分离度的概念.基于二维模态分解理论和二维信号解析相位理论提出了二维模态信号的加性可分离度计算式和乘性可分离度计算式,并分别利用完全加性信号和完全乘性信号对两种计算式的实际效果进行了验证.二维经验模态可分离度的应用意义体现在:它可以鉴定二维模态分解算法分解质量的优劣,可以用来确定模态分解客观分解终止条件,还可以在进行单方向特征信息提取时为预处理方法的选择提供有效依据.     

二值命题逻辑公式的语构程度化方法

本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.     

基于支持度理论的广义MP问题的形式化解

 在n值R₀命题逻辑系统L^*_<em>n中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础.本文的方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.     

ADS—B系统接收处理的关键算法研究与实现

在高A／C应答fruit交迭的环境下,可能使ADS—B信号被ADS—B系统接收后。产生一些错误位,从而必须对ADS—B信号进行检错与纠错处理。首先介绍了基于模式S的ADS-B系统的组成原理,给出了置信度判定的基本思想,阐述了循环冗余编码（CRC）校验的基本理论与纠错技术的基本原理;然后在此基础上,提出了一种基于ADS—B系统的纠检错算法,并给出了纠检错算法的信号处理流程图与FPGA逻辑设计方案;最后采用VerilogHDL语言完成了所有功能模块的设计。并联合ISE与ModlSim两个软件进行了仿真验证实验。实验结果表明,该算法能够有效地对ADS。B信号进行检错与纠错。