李友雨
- 作品数：11 被引量：10H指数：2
- 供职机构：聊城大学数学科学学院更多>>
- 发文基金：国家自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：理学机械工程自动化与计算机技术电子电信更多>>
- n值乘积逻辑系统中的随机化研究被引量：2
- 2010年
- 利用赋值集的随机化方法,在n值乘积逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπn-相似度与伪距离的概念,并建立了Dπn-逻辑度量空间,证明了此空间没有孤立点。
- 李友雨张兴芳李绍勇屠桂晶
- Gdel中单个或两个原子生成公式的真度分布
- 2009年
- 以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。
- 李友雨张兴芳李成允
- 关键词：逻辑公式真度
- Π系统中公式的真值函数及真度分布
- 2009年
- 以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。
- 李友雨张兴芳李成允
- 关键词：逻辑公式真值函数真度
- 模糊CRI算法及模糊推理的有效性研究被引量：3
- 2013年
- 通过揭示模糊推理的一种CRI算法的逻辑原理,提出了模糊推理的一种新算法。并对单规则的CRI算法(或三I算法)的重心(或最大隶属度)去模糊法的有效性进行了研究。发现在单规则的CRI算法(或三I算法)的模糊推理中,当大前提的后件取对称模糊集时,采用重心去模糊法使得推理结果无效,而采用最大隶属度去模糊法可使得推理结果有效。
- 李友雨张兴芳
- 关键词：模糊推理CRI算法三I算法
- 椭圆偏振光和部分偏振光检验的理论依据与实验方法被引量：1
- 2005年
- 利用矩阵光学的方法,从理论上推导了椭圆偏振光和部分偏振光检验的依据;建立了实验测试系统,并利用偏振光实验平台,测定了出射光的马吕斯定律曲线.实验结果和理论分析相吻合.
- 唐恒敬吴闻迪张山彪李友雨
- 关键词：偏振光学椭圆偏振光部分偏振光1/4波片
- 逻辑系统中的拟对偶性与拟排中律
- 2012年
- 在经典逻辑和t-模基础逻辑中提出了排中律与拟排中律的新概念,说明经典逻辑(带对偶非的MTL)满足排中律(拟排中律),证明了Go?del模糊逻辑(Lukasiewicz(简称Luk)模糊逻辑)关于最小算子ù与最大算子(关于t-模与t-余模对补算子c)既不满足拟对偶性也不满足拟排中律,检验了Luk模糊逻辑关于Lukt-模与Lukt-余模对?算子满足拟对偶性和排中律。
- 孙丽华张兴芳李友雨
- 关键词：析取范式
- L*系统中由单个原子生成公式的真度分布
- 2010年
- 以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类。
- 李友雨张兴芳李成允
- 关键词：逻辑公式真度
- 公式真度的大小之比较
- 2011年
- 在不同的逻辑系统中,同一公式的真度往往差别很大。因此,本文系统探讨了六个n值命题逻辑系统中公式真度的分布情况。首先,计算了六个n值命题逻辑系统中一个典型公式的真度;然后通过列表比较了该公式在这六个逻辑系统中真度的大小。最后,分析了该公式在每个逻辑系统中的真度随n变化的情况。
- 李友雨张兴芳李成允
- 关键词：真度
- 三值乘积逻辑系统π_3中的随机化研究被引量：3
- 2010年
- 利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
- 屠桂晶张兴芳李成允李友雨
- Luk命题演算系统的析取范式逻辑不等式组的解法被引量：1
- 2014年
- 在模糊逻辑不断走向成熟的过程中,众多学者对Lukasiewicz命题演算系统进行了大量研究并取得一些有价值的成果.对Lukasiewicz模糊逻辑析取范式不等式组的解法进行了初步探究.首先,引入了Lukasiewicz模糊逻辑析取范式不等式组的概念.然后,列举了所有的一维及二维模糊逻辑析取范式不等式组.最后,给出了它们的解的一般形式.
- 李友雨张兴芳
- 关键词：析取范式
