期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
语言真值格值命题逻辑系统中广义文字的归结判定 被引量:7
1
作者 许伟涛 徐扬 《计算机科学》 CSCD 北大核心 2013年第2期237-240,273,共5页
自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格... 自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数LV(n×2)的一些性质,在基于十八元语言真值格蕴涵代数LV(9×2)的格值命题逻辑系统LV(9×2)P(X)框架下,刻画了1-IESF和2-IESF型对应广义文字的结构,给出了其广义文字的可归结性。这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础。 展开更多
关键词 自动推理 格值逻辑系统 语言真值格蕴涵代数 广义文字 归结
下载PDF
语言真值格值命题逻辑中的α-语义归结方法 被引量:1
2
作者 张家锋 徐扬 陈琴 《计算机科学》 CSCD 北大核心 2015年第11期123-129,共7页
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推... 语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。 展开更多
关键词 自动推理 语义归结 语言真值格蕴涵代数 格值逻辑
下载PDF
语言真值格蕴涵代数的蕴涵不可约元
3
作者 赖家俊 徐扬 《电子学报》 EI CAS CSCD 北大核心 2014年第10期1998-2003,共6页
本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.
关键词 语言真值格蕴涵代数 蕴涵不可约元 有限蕴涵分解元 有限蕴涵分解不可约元
下载PDF
基于语言真值格值一阶逻辑的不确定性推理的语法 被引量:4
4
作者 赖家俊 徐扬 《模糊系统与数学》 CSCD 北大核心 2011年第2期1-6,共6页
讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。
关键词 语言真值格蕴涵代数 语言真值格值一阶逻辑 语法 不确定性推理
原文传递
关于格值模型论中的条件(F′_1)和(F′_2)
5
作者 应明生 《江西师范大学学报(自然科学版)》 CAS 1991年第4期291-293,共3页
本文在一定的条件下证明了L值逻辑的紧致性蕴涵(F’_1)和(F’_2),其推论说明了格值模型论与二值模型论之间存在着一些本质的区别.
关键词 模型论 紧致性 真值格
下载PDF
模糊语言属性偏序结构图的逐层属性约简算法 被引量:2
6
作者 庞阔 周爱 +3 位作者 杨鑫冉 李楠 邹丽 鲁明羽 《模式识别与人工智能》 EI CSCD 北大核心 2022年第9期774-788,共15页
在形式概念分析中,属性偏序结构图作为一种数据可视化工具,可有效解决用户认知过载的问题.在现实生活中,人们往往通过模糊语言值表达偏好信息,会产生大量的模糊语言值数据.为了解决在模糊语言环境下的属性约简问题,文中提出模糊语言属... 在形式概念分析中,属性偏序结构图作为一种数据可视化工具,可有效解决用户认知过载的问题.在现实生活中,人们往往通过模糊语言值表达偏好信息,会产生大量的模糊语言值数据.为了解决在模糊语言环境下的属性约简问题,文中提出模糊语言属性偏序结构图的逐层属性约简算法.首先,基于模糊语言值形式背景构建模糊语言属性偏序结构图,将模糊语言值数据嵌入属性偏序结构图中.通过语言真值格蕴涵代数作为模糊语言值表示模型,表达模糊语言值间的序关系和不可比关系.然后,为了获取保持模糊语言值形式背景区分能力不变的最小属性子集,结合模糊语言值属性偏序结构图,搜索未与底层节点建立边的节点.在保证模糊语言值属性偏序结构图类等价的前提下,计算该节点及其子节点间的差别属性,并构造相应的逐层属性约简模型.最后,通过实例与对比实验验证文中算法的有效性和实用性. 展开更多
关键词 模糊语言属性偏序结构图 属性约简 模糊语言值形式背景 语言真值格蕴涵代数 模糊语言值分层概念格
下载PDF
Simulation and experiment of starting transient flow field of the hydrostatic bearing based on dynamic mesh method
7
作者 张艳芹 Kong Xiangbin +3 位作者 Guo Lili Yu Xiaodong Dai Chunxi Shao Junpeng 《High Technology Letters》 EI CAS 2017年第3期298-305,共8页
A new method is developed to assess and analyze the dynamic performance of hydrostatic bearing oil film by using an amulets-layer dynamic mesh technique. It is implemented using C Language to compile the UDF program o... A new method is developed to assess and analyze the dynamic performance of hydrostatic bearing oil film by using an amulets-layer dynamic mesh technique. It is implemented using C Language to compile the UDF program of a single oil film of the hydrostatic bearing. The effects of key lubrication parameters of the hydrostatic bearing are evaluated and analyzed under various working conditions,i.e. under no-load,a load of 40 t,a full load of 160 t,and the rotation speed of 1r/min,2r/min,4r/min,8r/min,16r/min,32r/min. The transient data of oil film bearing capacity under different load and rotation speed are acquired for a total of 18 working conditions during the oil film thickness changing. It allows the effective prediction of dynamic performance of large size hydrostatic bearing. Experiments on hydrostatic bearing oil film have been performed and the results were used to define the boundary conditions for the numerical simulations and validate the developed numerical model. The results showed that the oil film thickness became thinner with the increase of the operating time of the hydrostatic bearing,both the oil film rigidity and the oil cavity pressure increased significantly,and the increase of the bearing capacity was inversely proportional to the cube of the change of the film thickness. Meanwhile,the effect of the load condition on carrying capacity of large size static bearing was more important than the speed condition. The error between the simulation value and the experimental value was 4.25%. 展开更多
关键词 hydrostatic bearing dynamic mesh transient data oil pad UDF
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部