一个新的模糊谓词演算形式系统

首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K 的基本性质,指出了系统L 的定理都是系统K 的定理,给出了系统K 与量词有关的一些重要定理,证明了系统L 的重言式在系统K 中的代换实例都是系统K 中关于任何R0链的逻辑有效公式;系统K 的可靠性定理成立,即系统K 中的定理关于任何R0链也是逻辑有效的;系统K 的强可靠性定理也成立,即系统K 在任何理论T下的定理关于任何R0链也是逻辑有效的.最后给出并证明了系统K 的一种新的演绎定理,一阶系统K 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.

中介逻辑的谓词演算系统(Ⅱ)

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF 的形式定理。定理10 MF:[1]x～A(x)-～xA(x),[2]～■xA(x)■x～A(x)[3]～xA(x)■x～A(x).定理11 MF:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)■(x)B(x),[4]x[A(x)→B(x)],■xA(x)■xB(x),[5]x[A(x)→B(x)],■x～A(x)■xB(x),[6]x[A(x)→B(x)],～■xA(x)■xB(x).定理12 MF:[1]xA(x)∧B■x[A(x)∧B],x 不在 B 中出现,[2]■xA(x)∧B■x[A(x)∧B],x 不在 B 中出现.[3]xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.[4]■xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.定理14 MF:[1]xA(x)∧■xB(x)x[A(x)∧B(x)],[2]■xA(x)∨xB(x)■x[A(x)∨B(x)],[3]xA(x)∨B(x)■x[A(x)∨B(x)],[4]■x[A(x)∧B(x)]■xA(x)∧■xB(x).定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]■x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].

K^(*)■谓词逻辑系统公理化真度的运算性质研究

以一阶谓词逻辑中公理化真度的定义和性质为基础,对K^(*)■谓词演算系统中的公式真度进行了研究,分析了含量词、交算子和蕴涵算子的公理化真度的运算性质,给出了将复杂公式的真度转换为几个简单公式的真度进行计算的方法.

管理信息本体需求的谓词演算有限集构造

由于管理信息需求的不确定性、多样性和动态性,管理信息系统(包括ERP)的开发一直被认为是一项高风险的投资项目.通过管理信息本体的研究,构建基于本体需求的管理信息本体描述框架及其谓词演算集,无疑可以进一步降低管理信息系统的开发成本,缩短开发周期,提高开发效率,并且易于维护,从而延长管理信息系统的生命周期.

一阶Łukasiewicz演算系统中的相似度及伪距离

在Łukasiewicz谓词演算系统中引入公理化真度,在此基础上讨论公式之间相似度和伪距离的运算性质,并举例说明将相似度与伪距离转化为公式真度进行计算的方法.

K^(*)∀谓词逻辑系统中相似度及伪距离研究

从一阶逻辑系统的相似度出发,结合谓词演算系统K^(*)∀,以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质,对相似度性质进行了简化,并对K^(*)∀中闭公式相似度及伪距离的计算方法和性质作进一步推广。

K^+高亲和转运系统吸收动力学特征及其受NH_4^+影响的研究

为探讨钾的高亲和转运系统是否受到铵离子的影响,采用溶液培养方法研究了水稻、大豆两种作物苗期(16d)的K+高亲和转运系统吸收动力学特征及其受吸收液中NH4+的影响。结果表明,NH4+对K+吸收的Vmax的影响在作物种类间有较大的差异,水稻受影响显著小于大豆。NH4+对供试作物K+吸收的Km值影响均很小,说明NH4+对K+吸收速率的影响主要在于影响了细胞膜上K+载体的数量而非影响了载体吸收位点与K+之间的亲和性。

一阶形式系统K^＊及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.

应用酵母双杂交系统发现hALR与Na^+,K^+-ATPase间的相互作用

目的 :采用酵母双杂交系统寻找与人肝再生增强因子 (hALR)相互作用的蛋白质 ,探讨ALR的作用机理。方法 :构建hALR诱饵质粒pGBKT7-hALR ,醋酸锂法转化AH10 9酵母菌 ,转化菌在SD/ -Trp -His培养基上培养及滤纸法 β一半乳糖苷酶活性检测排除自身激活作用后 ,与人肝cDNA文库质粒预转化的酵母菌Y187进行接合试验 ,接合产物在QDO培养基上筛选 ,阳性克隆进一步在含X -α -Gal的QDO平板上鉴定 ,X -α -Gal活性呈阳性的克隆 ,进行PCR及酶切鉴定排除完全相同克隆 ,进一步进行回交试验排除假阳性 ,对阳性克隆进行序列测定和生物信息学分析。结果 :得到数个阳性克隆 ,序列分析结果表明其中 1个阳性克隆是Na+ ,K+ -ATPaseβ亚基部分基因 ,长669bp ,3′端非编码区 2 2 4bp ,编码区长 44 5bp ,编码Na+ ,K+ -ATPaseβ亚基C端的 147个氨基酸残基。 结论 :应用酵母双杂交系统筛选出Na+ ,K+ -ATPase与hALR具有相互作用。

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

对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保证了推理的有效性。

谓词形式系统UL_h^-∈[0.75,1]及其可靠性

对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。

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

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

谓词形式系统UL_(hε[0.75,1])^-及其完备性

主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语义和语构是和谐的。

小电流接地系统K^((1))故障选线与定段方法的研究

小电流接地系统单相接地故障对供、配电网运行的安全性和可靠性有很大的影响。本文根据小电流接地系统单相故障的特点,应用零序光学电流传感器进行故障选线与定段,提高了继电保护的可靠性。

GeS_2-Ga_2S_3-KCl系统玻璃的拉曼光谱研究

对GeS2Ga2S3KCl准三元系统玻璃3个系列样品的室温拉曼谱进行了系统的探测和分析。根据准二元系统GeS2KCl和Ga2S3KCl的熔融淬冷产物的观察和拉曼谱的分析,得出了在GeS2Ga2S3KCl系统玻璃中仅Ga2S3和KCl发生了化学反应并产生了新结构单元GaS32Cl的结论。根据系列Ⅰ和Ⅲ拉曼谱的演变证实了引入的K+离子是以氯原子为最近邻配位且仅形成单壳层结构。根据K+离子对结构单元GaS32Cl和亚结构单元Ga2S4Cl2影响的分析,成功地解释了GeS2Ga2S3KCl准三元系统玻璃中的拉曼谱演变。

铵对不同作物根系钾高亲和转运系统的影响

为探讨植物苗期根系高亲和转运系统的K+吸收动力学特征及其是否受吸NH4+的影响,采用溶液培养和添加K+通道抑制剂的方法,对低K+浓度下5种植物在有铵和无铵时的K+吸收动力学特征进行了研究。结果表明,植物根细胞K+高亲和系统的吸钾特征曲线符合Michaelich-Menten方程。不同植物K+高亲和系统的Km值之间差异较小,均在50%以内,说明不同植物的载体与K+间的亲和性差异较小;不同植物K+高亲和系统的Vmax值间差异很大,说明不同植物根细胞膜上的K+载体数量间差异很大,这是导致不同植物在低钾条件下吸钾能力差异较大的主要原因。铵的存在可以明显降低供试植物在低钾条件下对K+的吸收速率。与无NH4+情况比较,NH4+的存在可使大豆K+吸收的Vmax减少80%;但NH4+对不同载体与K+之间亲和性(Km)的影响较小,由NH4+所导致的Km的降低率均在10%以内。可见,对高亲和系统而言,NH4+对K+吸收的影响主要是由于铵竞争细胞膜上的钾载体所造成的。

命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论

引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理.

基于一阶谓词和范畴论的形状与形状型

为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.