基于剩余格语义的格值逻辑系统的程度化方法

基于剩余格的赋值态理论，通过在剩余格全体赋值态集和全体公式集上分别建立概率测度，利用积分方法提出了剩余格语义上公式的概率真度，进而在剩余格语义上建立了概率逻辑度量空间，将计量逻辑学中近似推理方法推广到剩余格语义上，为剩余格语义的概率计量化提供了一种可行的方法.     

MTL代数语义上逻辑公式的概率真度

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.     

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

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

基于属性权重与方差的新的基本概率赋值方法

D-S证据理论在应用中,如何生成一个合理的基本概率赋值函数,仍然是一个亟需解决的问题.研究提出了一种基于属性权重与方差的基本概率赋值函数生成方法,该方法通过计算样本数据方差与实验数据方差之间的相似度,结合属性权重确立出每个实验数据的基本概率赋值.算例分析表明,新方法能准确的对实验数据建立基本概率赋值函数,验证了新方法的准确性与有效性.     

基于 MV 代数语义的格值逻辑的程度化方法

基于MV代数（Many-Valued algebra ）语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度。由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理。本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法。     

一种基本概率赋值转换为概率的最优化方法

将基本概率赋值转换为概率在不确定性决策中有重要作用,本文提出了一种基于证据关联系数的最优化转换方法.主要思想是:转换后所得到的概率分布可以视为一个特殊的基本概率赋值函数,从命题的上下概率之间寻优使得被转换的基本概率赋值与转换所得概率之间的证据关联系数最大.将提出的最优化转换方法与常用的Pignistic概率转换方法通过...     

基于信息守恒的基本概率赋值概率转换方法

针对现有基本概率赋值概率转换方法普遍存在缺少客观标准,主观介入程度过强的问题,该文提出了一种线性加权概率转换方法.该方法首先选择归一化先验信息作为权重,消除了概率转换时主观因素的影响,然后根据概率转换前后先验信息守恒的原理构造方程,最后给出了转换概率的迭代求解方法.实验算例表明,该文方法求解速度快,转换概率合理有效,且与对事件的认知程度相一致.     

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

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

基于B-样条插值的分数阶模板的应用

数字图像的增强以及边缘检测是数字图像处理中的重要内容。根据B-样条函数插值公式,对图像灰度点像素值进行三次B-样条插值运算,提出了基于三次B-样条插值的分数阶增强模板以及分数阶CRONE边缘检测模板。通过对比实验表明,所设计的模板能根据对图像的需求而改变阶次,在图像增强方面能较好地提升图像边缘并且加强纹理细节,在边缘检测方面有良好的边缘定位能力,优于基于Sobel算子的传统方法。     

短波单站无源定位圆概率误差分析

针对短波单站无源定位误差分析问题,提出一种基于圆概率误差的分析方法,建立短波单站无源定位模型,推导了关于方位角、仰角和电离层虚高误差的圆概率误差公式考虑到传统圆概率误差只给出了概率50％的近似结果,重点计算了其他概率的表达式,该方法可以推广求出任意概率条件下的圆概率误差仿真表明,提出的圆概率误差方法理论结果和仿真结果相对误差小于1％,验证了方法的正确性.     

Properties of Measure-based Fuzzy Logic

1　ＩｎｔｒｏｄｕｃｔｉｏｎＡｓｉｓｋｎｏｗｎ ,ｔｈｅｒｅａｒｅｖａｒｉｏｕｓｓｙｓｔｅｍｓｏｆｆｕｚｚｙｌｏｇｉｃ[1～2 ] .ＴｈｅｍｏｓｔｐｏｐｕｌａｒｏｎｅｉｓｂａｓｅｄｏｎＺａｄｅｈ’ｓｆｕｚｚｙｓｅｔｏｐｅｒａｔｏｒｓ.ＴｈｅｒｅａｆｔｅｒｗｅｗｉｌｌｄｅｎｏｔｅｔｈｉｓｓｙｓｔｅｍａｓＺａｄｅｈ’ｓＦｕｚｚｙＬｏｇｉｃ(ＺＦＬ) .Ａｎｅｗｓｙｓ ｔｅｍｗａｓ ｐｒｏｐｏｓｅｄ[3～ 5] ｗｈｉｃｈｉｓｃａｌｌｅｄＭｅａｓｕｒｅ ＢａｓｅｄＦｕｚｚｙＬｏｇｉｃ(ＭＢＦＬ) .Ｉｔｉｓｆｏｕｎｄｅｄｏｎｔ…     

Reliability Analysis of Logic Circuits

An efficient algorithm is presented for computing the reliability matrix of a logic network whose components are characterized by a known probability of malfunctioning. Using the concept of path sensitizing, a graphical representation of error propagation is derived. Through the computation of Boolean path functions, the information provided by these graphs is put into a malfunction table from which the matrix entries are directly computed. The method not only offers computational efficiency but also provides further physical insight into the reliability problem.     

布尔序集相邻逻辑对称的实现

本文提出一种用逻辑对称轴的关系,解决N维布尔序集唯一相邻的逻辑路径问题。同时还给出一种限维内任一逻辑相邻子集的确定方法。其结果简单直观,适合于计算机实现。这种思想,对于二分树快速搜寻和二分树排序决策等,也具有一定意义。     

基于重写规则法的形式验证技术

<正> 一、引言 验证逻辑设计正确性的传统方法是模拟(Simulation),然而随着数字电路规模和功能扩大,模拟方法已不能保证设计的正确性。与此相对,形式验证(formal verification)方法通过对电路结构的形式进行检查和比较来完成验证。它不需要模拟,因而,避开了模拟信号指数上升的问题。形式验证是一个静态分析,它比动态的逻辑模拟具有更大的潜力。 形式验证的一种方法是将其视为自动定理证明:已知一些公理和已成立的引理,证明某一表达式与另一表达式是等价的。美国Illinois技术研究所的A.S.Wojcik用AURA自动定理证明系统进行了逻辑设计的形式验证,AURA用归结原理作自动定理证明,由于归结法会产生大量子句,因此,证明的效率不是很高。     

Three-dimensional beam propagation analysis of nonlinear opticalfibers and optical logic gates

A three-dimensional (3-D) beam propagation method is described for the analysis of nonlinear optical fibers, where the finite element and finite difference methods are, respectively, utilized for discretizing the fiber cross section and the propagation direction. For efficient evaluation of wide-angle beam propagation Pade approximation is applied to the differential operator along the propagation direction. In order to improve the efficiency and accuracy of solutions, isoparametric elements and numerical integration formulae derived by Hammer et al. are introduced. The propagation characteristics of nonlinear optical fibers with linear core and nonlinear cladding are analyzed, and unique features of nonlinear guided-wave propagation are investigated. Furthermore, all-optical logic gates with practical, 3-D geometry consisting of optical fibers and a nonlinear film are proposed, and their operations of Boolean arithmetic are demonstrated     

基于不相交乘积项的逻辑探测和拆分算法

 针对以往逻辑探测算法存在的不足,提出了一种基于不相交乘积项的逻辑探测和拆分算法.该算法通过将逻辑函数的乘积项转化为不相交乘积项,并结合不相交乘积项之间海明距关系将不相交乘积项拆分成互不相交的二部分,使之分别适合RM逻辑综合和布尔逻辑综合.通过对拆分结果分析,本文进一步提出了一种新的逻辑探测方法.实验结果表明,本文的判别结果能对电路综合过程中的逻辑选择提供一个良好的指导作用.     

S_(BOS)相邻逻辑对称序列构造与实现方法

本文基于布尔序集相邻逻辑对称关系的二分枝树(T_(BOS))结构模型的研究,从中找出布尔序集相邻逻辑对称序列(S_(BOS))关系的内在规律,进而提出用S_(BOS)构造的新方法,来实现N维布尔序集唯一相邻的逻辑路径问题。文中介绍了“对跳定界搜索”方法,对工程应用有着实际意义。