命题公式集F(S)的基于修正的Godel算子的18类分划

本文利用修正的Godel蕴涵算子研究了命题公式集F(S)中公式确定集的特征,进而以确定集为工具得到F(S)的一个18类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.     

系统Hα中的广义重言式理论

给出了一类带参数的[0，1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1)，进而建立了多值系统Hα．当α＝1时，Hα就是R0型蕴涵算子；α＝0时，Hα是Godel蕴涵算子，所以R0算子与Godel算子在Hα系统中统一起来．在Hα系统中引入了带参数的非运算フα，研究了多值系统H1/2＝(フ1/2，V，→1/2)，以H1/2为赋值域建立了F(S)中重言式的分类定理，并将广义重言式分类定理推广到系统Hα(O＜α＜1)中．     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

￡~*-Lindenbaum代数中的商理想

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如┐D(Γ)的形式.     

BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性.     

￡~*-Lindenbaum代数中的滤子

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的运算,在F(S)∕～中定义了滤子,讨论了滤子的性质,得到了F(S)∕～中的滤子都有形如的形式.     

经典命题逻辑中的一致结构与一致拓扑

为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Γ在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词■与→关于导出的一致拓扑是连续的.得出了n个极大相容理论恰好将F(S)划分成2n个两两不交的非空区域,且每个区域在逻辑度量空间中的直径均为1.     

命题逻辑系统(L)n中公式相对于有限理论的∑Γ-模糊真度理论

将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统(L)n中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.特别地证明了真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B),并利用这一关系在模糊命题演算系统(L)n中的公式集F(S)上引入相对于有限理论的Γ-伪距离, 从而为在模糊命题逻辑系统(L)n中建立相对于有限理论的近似推理框架奠定了基础.     

Zn中的D.F集

若对集S■Zn中每个元素x,均有2x∈S, 则称S为D.F(double-fee)集。设f(n)=max|S|。本文给出了计算f(n)的公式。     

一种非均匀概率空间下逻辑系统G_3中命题的真度理论

利用势为3的非均匀概率空间的无穷乘积,在Go¨del三值命题逻辑系统中引入公式的真度概念,在三值逻辑14,12,14测度下证明G3中全体公式的真度值之集在[0,1]上是稠密的,并给出公式真度的表达通式,为进一步在三值命题逻辑系统中展开近似推理奠定基础.     

Godel不完备性定理的非形式化论述

研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理 1和定理 2 ,给出了 Godel不完备性定理证明的一种非形式化论述 .非形式化地阐述了 Godel不完备性定理证明的基本思想 ,论述了 Godel不完备性定理证明在方法论上的特色及其深远影响     

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。     

合式公式集的可列性

本文首先从理论上证明了逻辑演算中合式公式的可数性,继而运用Gdel数的技巧,将逻辑演算中的每个符号指派一个数码,得到了合式公式集和自然数集的一个无限子集间的1—1对应关系,从而给出了枚举合式公式集中各元素的过程。     

贝叶斯规整化神经网络模型预测化合物分子的血脑屏障通透性

通过分子结构预测血脑屏障通透性是一个颇具挑战性的课题.建立了一个预测化合物分子的血脑屏障分配系数(logBB)的QSAR模型.该模型由表示分子大小、拓扑性质和脂水分配性质的QSAR参数组成.模型被用来预测52个化合物的血脑屏障分配系数,并通过测试集(从52个化合物种选取10个)进行验证,预测值-实验值的相关系数平方(R2)为0.974,均方差(MsE)为0.017 2.验证结果显示该模型大大优于传统使用的多元线性回归模型.因此,该模型可以用于预测药物分子和类似药物分子的血脑屏障通透性.     

命题公式集F(S)的基于修正的Godel算子的十八类分划

本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln,n值G6del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L^＊逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系.     

复杂网络理论下的电网分区及输电断面搜索方法

为有效地进行电网输电断面的搜索,提出基于复杂网络理论的电网分区及输电断面搜索方法。首先,根据GN算法对电网进行分区,对其无法避免的3台及以上串供结构进行检测和修正,以模块度为指标确定最优分区方案,搜索分区断面;其次,根据最小割集思想,基于Karger方法对分区断面进行搜索,获取电网的输电断面。所提方法在新英格兰39节点和某地区实际电网中的应用验证了其搜索输电断面的有效性。     

BL-代数的扰动模糊理想

利用扰动模糊集概念,研究BL-代数的扰动模糊理想的性质。引入了扰动模糊理想的概念并研究它的一些性质。通过扰动模糊理想构造了商BL-代数,并给出了扰动模糊同态基本定理。此外,给出了由扰动模糊集生成扰动模糊理想的方法。定义了扰动模糊理想的一些类型,研究它们间的一些关系。给出了扰动模糊Boolean理想、扰动模糊素理想、扰动模糊既约理想、扰动模糊超理想及扰动模糊Godel理想的一些刻画。     

基于数据段优先级分区重装策略

提出一种基于数据段优先级分区重装策略PRS-DSP,其考虑数据特征及与之相关的事务特点,根据数据段优先级对数据库进行分区,并为每个分区设置相应重装频率,故障恢复时按照数据分区的重装频率来分区重装数据库,系统恢复服务后,根据新事务对数据的请求及数据分区重装频率来设置剩余分区的重装优先级。模拟实验结果表明,该分区重装策略降低了系统事务超截止期比率,其重装性能明显优于完全重装策略。