二值命题逻辑中的蕴涵度量与近似推理

在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具.为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法.     

一阶逻辑中几类特殊公式的真度计算方法

对一阶逻辑?ukasiewicz系统中的几类特殊公式的公理化真度展开研究.根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广.     

模态逻辑公式的概率真度理论

目的 在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法 从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不同逻辑系统自身的推理特点,寻找模态公式真度的内在关系性质。结果 建立的真度理论分别在基本模态逻辑系统K、模态系统S4和S5中讨论分析了模态公式真度所满足的规律特征。结论 不再受限于可能世界的有限性和概率测度空间的均匀性,进一步完善了模态公式的真度理论,为模态逻辑系统内进行近似推理提供了可行的模式。     

谓词逻辑中公理化真度的若干评注

根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算，讨论了该真度下伪距离的性质，并应用赋值法论证了真度为1的公式与广义定理及定理的关系，分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.     

直觉模糊命题逻辑公式的概率真度

定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则。最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果。     

n值命题逻辑系统L_n~*中真度的等价定义及性质

将真度定义的均值表示形式推广到n值Ro-命题逻辑系统L_n~*中,给出了系统L_n~*中真度定义的等价形式,并利用该等价形式简化了真度的若干重要性质的证明,得到了真度的对称性定理。     

标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.     

一类二值谓词逻辑中公式的准真度理论

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集．在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念，证明了关于准真度而言MP规则与HS规则成立，并基于准真度对全体谓词公式之集进行了分类．准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合，但可证明存在一类公式，对该类公式而言，逻辑有效性等价于准真度为1，矛盾性等价于准真度为0．所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广．     

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

将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.     

预制表面缺陷对钢滚动接触疲劳性能的影响

10Cr4Ni4Mo4V是在Cr4Mo4V的基础上研制的航空发动机轴承材料。为研究表面损伤对这两种材料疲劳性能的影响,通过含预制表面缺陷和无表面缺陷的滚动接触疲劳实验,研究了表面洛氏缺陷及其边缘突起对这两种材料接触疲劳性能的影响。通过扫描电镜分析了含表面缺陷试样疲劳发展过程及失效形貌,用X射线应力测定仪测量了试样实验前后残余应力随表面至芯部距离的分布。结果表明,表面缺陷以及缺陷边缘的突起均使材料疲劳性能劣化,10Cr4Ni4Mo4V的接触疲劳性能优于Cr4Mo4V。     

图是λ4-最优的和超级-λ-4的充分条件

设G是有限简单无向图,是G-U不连通,且G-U的每个分支的阶都至少为4的边集U称为G的4-限制边割。基数最小的4-限制边割称为λ₄-割,最小基数称作4-限制边连通度,记作λ₄=λ₄(G)。若λ₄(G)=ξ₄(G),称G是λ₄-最优的。若任意一个λ₄-割都孤立一个四阶连通子图,则称G是超级-λ₄的。应用邻域交条件给出了图是λ₄-最优的和超级-λ₄的充分条件。     

Tin Oxide and Carbon Composite （Sn6O4（OH）4/AG） as the Anode in a Lithium Ion Battery

A tin oxide and carbon composite （Sn6O4（OH）4/AG） with a Sn content of 0.15-0.30 was prepared by chemical deposition at normal pressures and temperatures. The structures of the artificial graphite （AG）, the Sn6O4（OH）4, and the Sn6O4（OH）4JAG were analyzed using X-ray diffraction. The electrochemical lithiation was investigated by measuring the galvanostatic charge and discharge ratio. The electrochemical capacities of the three materials during the first discharge were 310 mAh/g （AG）, 616 mAh/g （Sn6O4（OH）4/AG）, and 1090 mAh/g （Sn6O4（oa）4）. The discharge capacity of the Sn6O4（OH）4/AG was larger than the simple sum of the capacities provided by AG and Sn6O4（OH）4 with the same content. The cyclic performance of Sn6O4（OH）4/AG was also better than that of Sn6O4（OH）4 for voltages of 0 to 3 V. The results imply that the interaction between Sn and C in Sn6O4（OH）4/AG is very strong and effectively inhibits the volume expansion of the Sn.     

固氮酶反应中铁蛋白与MgATP配位的化学模拟

以[Fe_4S_4(SCH_2Ph)_4]~(-2)作为氧化态铁蛋白4Fe-4S中心的模型化合物,化学模拟研究表明,ATP能与[Fe_4S_4(SCH_2Ph)_4]~(-2)原子簇结合,促进原子簇与亚甲蓝之间的氧化还原反应速率,并敏化原子簇中的Fe(Ⅱ),使其易与亚铁螯合剂反应,用正庚烧作萃取刑,在原子簇-ATP体系没有检测到游离的HSCH_2Ph,ATP没有置换原子簇中的—SCH_2Ph,这表明作为电子活化剂的ATP可能通过其磷酸根与Fe_4S_4原子簇结合。     

硫酸介质中四唑类化合物对紫铜的缓蚀作用

采用动电位极化曲线和电化学阻抗谱(EIS)技术,研究5-(4-羟苯基)-1,2,3,4-四唑(4-HPTT)和5-(4-氨苯基)-1,2,3,4-四唑(4-APTT)在暴露于空气的0.5 mol/L H2SO4介质中对紫铜的缓蚀作用。结果表明:在0.5 mol/LH2SO4溶液中,4-HPTT和4-APTT对紫铜的缓蚀效率随浓度的增加而增大,当4-HPTT和4-APTT浓度为0.25 mmol/L时,缓蚀效率分别达到99.3%和97.6%;4-HPTT为阴极型缓蚀剂,而4-APTT为混合型缓蚀剂;加入4-HPTT和4-APTT后紫铜的腐蚀控制步骤由活化和扩散的混合控制过程改变为电荷转移过程;4-HPTT和4-APTT在紫铜/溶液界面的吸附遵循Langmuir吸附等温式。     

KMnO4和MnSO4联用处理污水的试验研究

以生活污水为研究对象,采用KMnO4与MnSO4联用处理污水.试验结果表明,KMnO4与MnSO4联用处理污水,在一定程度上解决了单纯使用KMnO4在高投量时残余量产生的色度问题和低投量时处理效果不理想的问题.KMnO4与MnSO4联合使用能有效地去除水中有机物并降低浊度.试验对KMnO4投加量、KMnO4与MnSO4最佳投量比等进行了一定的研究,认为当KMnO4与MnSO4的摩尔比为1.020时,水样的处理效果最佳.     

完全图Kn的{ P4, S4,C4 }-分解

讨论完全图Kn分解成4个顶点的路、星和圈的存在性．给出完全图Kn存在{C4,S4},{P4,C4),{P4,S4},{P4,S4,C4}-分解以及强制分解的充要条件．     

4次对称群S_4的子群个数及其证明

使用Lagrange定理及n次对称群的基本概念证明了4次对称群存在且只存在30个子群,并给出了每个子 群．其中,除去两个平凡的子群,另有9个2阶循环群;4个3阶循环群;3个4阶循环群;4个Klein4元群;4个S3(在 同构意义之下);3个8阶子群以及1个12阶子群．     

基于Zn_2SnO_4纳米线固态染料敏化太阳能电池光生电荷分离与光电性质研究

采用水热法在不锈钢滤网上制备出Zn2SnO4纳米线.首次通过制备Zn2SnO4纳米线/CBS异质结构来提高复合体系的光生电荷分离效率;逐步改变CBS厚度系统研究了Zn2SnO4纳米线/CBS染料敏化太阳能电池的光电转换效率.结果表明Cu4Bi4S9为1.0μm时,Zn2SnO4纳米线/Cu4Bi4S9异质结具有最强稳态和电场诱导表面光伏效应,对应染料敏化电池最高光电转换效率为4.12%.从光吸收、薄膜厚度、内建电场和能级匹配等几个方面,讨论了异质结和固态染料敏化电池中光生电荷分离的影响因素以及光生电荷传输机制.