系统L^＊中极大相容理论结构刻画的归纳证明 被引量：3

1

作者 周红军 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第3期1-6,共6页

在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命... 在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系. 展开更多

关键词 模糊逻辑 系统L^＊ 极大相容理论 满足性定理 紧致性定理

在线阅读 下载PDF 职称材料

L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式 被引量：15

2

作者 何颖俞 王国俊 《工程数学学报》 CSCD 北大核心 1998年第1期1-8,共8页

证明了Ｌ＊－Ｌｉｎｄｅｎｂａｕｍ代数［Ｆ］是具有逆序对合对应的有界分配格，得出了Ｌ＊中的公理系统的一种简化形式．

关键词 系统L^＊ L^＊-Lindenbaum代数 独立性 逆合对应 有界分配格 典型商代数

在线阅读 下载PDF 职称材料

L^＊系统中由单个原子生成的公式的真值函数的特征 被引量：12

3

作者 任芳 《工程数学学报》 CSCD 北大核心 2005年第3期563-566,共4页

本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的... 本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类。 展开更多

关键词 L^＊系统 逻辑公式 真值函数

在线阅读 下载PDF 职称材料

关于形式系统L^(*)的强完备性 被引量：3

4

作者 裴道武 《工程数学学报》 CSCD 北大核心 2005年第1期128-132,共5页

进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。

关键词 模糊逻辑 形式系统L^(*) R_(0)(Γ)代数 强完备性

在线阅读 下载PDF 职称材料

L*系统中L*10的特点及应用 被引量：1

5

作者 吴洪博 刘敏 《工程数学学报》 CSCD 北大核心 2006年第5期835-842,共8页

对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的... 对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的特征标志，另一方面应用L10证明了L^＊系统中的条件演绎定理，给出了L10在L^＊中的一个重要应用。 展开更多

关键词 模糊逻辑 命题演算 蕴涵算子 语义 形式演绎系统L^＊

在线阅读 下载PDF 职称材料

模糊逻辑系统中公式的积分真度和伪距离 被引量：6

6

作者 崔美华 《工程数学学报》 CSCD 北大核心 2010年第5期873-882,共10页

在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重... 在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重积分的复杂计算;研究结果不仅可以用于公式的积分真度和伪距离的简化计算或合理估值,而且拓宽了逻辑度量空间理论的发散度与相容度以及近似推理的研究思路。 展开更多

关键词 逻辑系统L^(*) 公式 积分真度 伪距离

在线阅读 下载PDF 职称材料

模糊命题演算系统的一个新的等价形式 被引量：1

7

作者 马巧云 吴洪博 《工程数学学报》 CSCD 北大核心 2010年第5期947-950,共4页

在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是：在L^＊中增加公理L^＊9b：... 在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是：在L^＊中增加公理L^＊9b：（（（A→C）∨（B→C））→（A∧B→C））,同时放弃约定＂P∧Q是﹁（﹁P∨﹁Q）的简写＂,所得的系统L0^＊与L^＊等价。 展开更多

关键词 模糊逻辑 命题演算 系统L^(*) 等价形式

在线阅读 下载PDF 职称材料

基于L~*系统的一种非单调推理系统 被引量：3

8

作者 吴洪博 马巧云 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第4期4-8,共5页

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这... 研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路. 展开更多

关键词 L^＊系统 非单调推理系统 累积单调推理系统 CM系统 P系统 后承关系 模糊逻辑

在线阅读 下载PDF 职称材料

逻辑系统L~*和BL~*的广义演绎定理的逆定理 被引量：2

9

作者 荣宇音 徐罗山 《计算机工程与应用》 CSCD 北大核心 2019年第1期47-49,共3页

利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。

关键词 逻辑系统L^* 逻辑系统BL^* 广义演绎定理 强可靠性

在线阅读 下载PDF 职称材料

植物叶绿体提取物对红葡萄酒颜色及感官品质的影响 被引量：2

10

作者 李敏 王文武 +3 位作者 盛文军 张波 王婧 彭帅 《美食研究》 北大核心 2022年第4期86-93,共8页

采用CIE 1976(L^(*)a^(*)b^(*))色空间系统研究植物叶绿体冻干粉处理对干型、半干型、半甜型、甜型红葡萄酒颜色的影响,并对红葡萄酒感官品质变化进行评价。结果表明:(1)叶绿体可清除干型葡萄酒中约90%以上游离态SO_(2)、30%以上结合态S... 采用CIE 1976(L^(*)a^(*)b^(*))色空间系统研究植物叶绿体冻干粉处理对干型、半干型、半甜型、甜型红葡萄酒颜色的影响,并对红葡萄酒感官品质变化进行评价。结果表明:(1)叶绿体可清除干型葡萄酒中约90%以上游离态SO_(2)、30%以上结合态SO_(2),共计清除总硫约35%以上,达到有机葡萄酒限量标准;可清除甜型葡萄酒中约50%游离态SO_(2)、1%结合态SO_(2),共计清除总硫约25%以上,小麦草叶绿体和菠菜叶绿体间无显著差异(P<0.05);(2)叶绿体处理可显著提高葡萄酒的明度(L^(*)),降低葡萄酒的红色(a^(*))、黄色(b^(*))、彩度(C^(*))和色调(h^(*)),处理酒样与原酒相比产生色差(ΔE),但其颜色仍在正常红葡萄酒颜色范围内;(3)感官分析表明,叶绿体处理对红葡萄酒的滋味和典型性影响较小,并可增加酒样的草本类香气和整体香气强度,但会使酒样颜色略显暗淡,香气的复杂性略有降低。三角品尝检验表明,叶绿体处理后干型、半干型、甜型葡萄酒口感与原酒差异均不显著,半甜型葡萄酒口感与原酒差异显著(P<0.05)。研究表明:植物叶绿体可以作为绿色生物氧化剂提升葡萄酒的饮用安全性,且对葡萄酒的感官品质影响较小,具有应用潜力。 展开更多

关键词 叶绿体 亚硫酸盐 葡萄酒 CIE 1976(L^(*)a^(*)b^(*))色空间系统 颜色 感官评价

在线阅读 下载PDF 职称材料

桐油和糯米汁改良土的色彩一致性研究 被引量：1

11

作者 周力沛 唐晓武 +1 位作者 俞悦 杨晓秋 《发光学报》 EI CAS CSCD 北大核心 2019年第4期535-541,共7页

采用直接观察与图像色彩参数对比相结合的方法,对桐油和糯米汁改良后的粉土外观色彩还原性进行定量的对比和分析。首先制备不同质量比的改良土样,并静置养护至色彩稳定。然后采用直接观察方法首先对改良土外观色彩的变化予以初步判断。... 采用直接观察与图像色彩参数对比相结合的方法,对桐油和糯米汁改良后的粉土外观色彩还原性进行定量的对比和分析。首先制备不同质量比的改良土样,并静置养护至色彩稳定。然后采用直接观察方法首先对改良土外观色彩的变化予以初步判断。接着,在固定光源条件下,对土样表面色彩L^*a^*b^*参数进行软件提取,利用色差计算公式计算改良前后土样的明度差、彩度差及色差值。结合两种方法,分析桐油和糯米汁对改良土外观颜色变化的影响。结果表明,改良土中,糯米汁的掺入有使土体轻微发白的作用,桐油的掺入有使土体明显变黑的作用,当桐油、糯米汁和土三者质量比为5∶10∶85时,改良土体颜色与未改良土保持最佳的一致性;而当色差值ΔE>5时,改良土样存在肉眼可观察到的颜色变化。因此,在土遗址加固改良工程中,应保证改良前后土体色差ΔE<5;而采用桐油和糯米汁对遗址土体进行改良时,应采用5∶10∶85的质量配比。 展开更多

关键词 土遗址保护 桐油 糯米汁 色差 L^*a^*b^*色彩系统

在线阅读 下载PDF 职称材料