分享到:

格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP(X)的研究工作,对格蕴涵代数以及格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法进行了系统深入的研究,主要有以下两方面的研究成果:一、关于格蕴涵代数的研究1、对格蕴涵代数的格论性质进行了研究,得到了当L为完备格蕴涵代数时,关于∨,∧,→运算的一些结果;2、对格蕴涵代数的左幂等元进行了研究,证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和;3、对格蕴涵代数的滤子的性质进行了研究,证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理;4、给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质个结构进行了研究,证明了格蕴涵代数的全体弱滤子构成一个拓扑结构,格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射.二、关于格值命题逻辑系统LP(X)中α-自动推理方法的研究1、对LP(X  (本文共153页) 本文目录 | 阅读全文>>

《电脑知识与技术》2020年20期
电脑知识与技术

LP之单纯形法教辅软件设计与实现

在线性规划理论中,单纯形法是非常经典的求解算法,但它计算复杂,涉及数据较多,掌握相对困...  (本文共3页) 阅读全文>>

《运城学院学报》2013年05期
运城学院学报

基于量子遗传算法的一类非线性lp问题的求解方法

文章构造了求解非线性lp问题的新方法——量子遗传法。给出了具体的量子遗传算法步骤,并...  (本文共4页) 阅读全文>>

《重庆工学院学报(自然科学版)》2007年03期
重庆工学院学报(自然科学版)

规范形式LP问题的改进对偶单纯形法

通过分析对偶单纯形法迭代的实质,就所给LP问题的规范形...  (本文共3页) 阅读全文>>

南华大学
南华大学

血清PCSK9和Lp(a)浓度对中青年急性ST段抬高型心肌梗死的短期风险评估

目的:探讨中青年STEMI患者血清前蛋白转化酶枯草溶菌素9(proprotein convertase subtilisin kexin9,PCSK9)和Lp(a)的浓度与心梗发生时间、冠脉病变严重程度的相关性,并进一步追踪患者短期MACE事件发生与其相关性。方法:收集2018年1月至2018年12月在娄底市中心医院心血管内科因胸痛12小时内入院拟诊为急性ST段抬高型心肌梗死的并进行冠状动脉造影术确诊的中青年患者(年龄0.05),(223.9±92.6mg/L VS 232.2±64.1mg/L VS 230.9±57.1mg/L VS 219.2±48.4mg/L,p0.05)]。3.STEMI组血清PCSK9与hs-CRP呈正相关(r=0.684,p0.001);STEMI组血清中PCSK9和Lp(a)呈正相关(r=0.415,p0.001);STEMI组血清中PCSK9和LDL-C无相关性(r=0.106,p=0.319)...  (本文共63页) 本文目录 | 阅读全文>>

中国矿业大学
中国矿业大学

LP城市商业银行徐州分行小微企业贷款风险管控研究

市场经济的组成中的重要部分之一就是小微企业,而小微企业也在经济发展的舞台中扮演着重要的角色。然而,融资困难一直以来都是小微企业发展过程中的障碍。小微企业的融资困难的问题是由其较小的资产规模、较差的财务状况以及较弱的信用意识等共同决定的,这些因素都称为其获得银行贷款的制约条件。为了减少坏账的风险,缓解小型和微型企业中的融资困难的状况,商业银行针对小型和微型企业的信贷风险管理的强化具有很大的必要性。商业银行对小型和微型企业的信贷风险管理可以通过风险防控策略的有效制定和实施,以促进信贷资金的安全性为目的进行小微型企业信贷业务办理程度的提升,同时促进办理该业务的效率和积极性。行业在近些年来的发展较快,使得竞争更为激烈,并在一些业务市场中出现了的饱和现象。在这样的行业发展背景下,商业银行发展战略也进行了调整,其中重要的调整之一就是对小微企业的信贷支持力度进行提升,促进小微企业贷款业务办理效率的提升和速度的加快。另外,小型和微型企业的风险因...  (本文共83页) 本文目录 | 阅读全文>>