切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
模糊模态逻辑中的永真式与准永真式
模糊模态逻辑中的永真式与准永真式
来源 :电子学报 | 被引量 : 0次 | 上传用户:yanghaibin123
【摘 要】
:
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系
【作 者】
:
胡明娣
王国俊
【机 构】
:
陕西师范大学数学研究所,西安交通大学基础科学研究中心,安康学院数学系
【出 处】
:
电子学报
【发表日期】
:
2009年11期
【关键词】
:
模糊模态逻辑
基本模态逻辑
永真式
有效公式
准永真式
模态逻辑系统M£*
fuzzy modal logic
basic modal logic
taut
【基金项目】
:
国家自然科学基金(No.10771129),陕西师范大学研究生培养创新基金(No.2009CXB006)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合£^*系统构造出了一类永真式和准永真式.
其他文献
用于多目标进化的归一化排序非支配集构造方法
本文基于归一化思想,通过计算进化群体中个体多目标值的归一化和,提出了个体之间排序意义上的大于、等于关系,建立了进化群体中所有个体从大到小的全排序,同时给出了相关理论
期刊
多目标进化算法
非支配集
归一化排序
multi-objective evolutionary algorithm
non-dominated set
no
中西方高校思想政治教育途径的比较
中西方的思想政治教育有着不同的教育途径和教育特点,二者有所区别又有所联系。通过相互比较,不仅能够了解中西方思想政治教育途径的区别,体会中西方文化的差异,更能从比较中
期刊
中西方
主要途径
相同点
不同点
浅析初中英语听力训练中的问题及解决措施
“听英语”是学习英语的先决条件,从最初的字母到句子再到文章,都免不了听与说。我国《中学英语教学大纲》中提出:“培养听力技能是中学英语教学的目标之一,要求学生有一定的能力
期刊
初中英语
听力训练
问题
措施
“不换思想就换人”之谬
老怪:进入新公司以后,我发现部门的员工非常懈怠,经过老板允许后,我制定了新的绩效考核办法。新制度实施后,我发现即便是老板非常支持我的想法,也难以改变员工的抵触和反抗。他们本
期刊
绩效考核
制度实施
绩效制度
配合默契
管理方式
老板
员工
公司
一种基于H∞滤波的模糊变结构交互多模型算法
为提高对机动目标的跟踪效果,本文提出了一种基于H∞滤波的模糊变结构交互多模型算法.该算法采用H∞滤波器作为模型条件滤波器,通过调节其参数来增强对外界干扰的鲁棒性,提高滤波
期刊
机动目标跟踪
H∞滤波
交互多模型
模糊变结构
maneuvering target tracking
H∞ filter
interacting mult
走进陕州风景区 探寻陕州乡土文化——高中“民俗文化研究社团”实践课例
《列子·天瑞》有言:“有人去乡土,离六亲,废家业。”信息时代的今天,年轻人眼光投向世界,对于自己的故乡却知之甚少。教育部多次规划有关乡土文化的课题,引导教师研究乡
期刊
乡土文化
陕州文化
中学生核心素养
大力倡导民族优秀文化进中小学校园
文化对人具有潜移默化、深远持久的影响,大力倡导中华民族优秀传统文化进中小学校园,对于学生的终身发展具有深远意义。阐述了民族优秀文化进中小学校园的措施,学校应该从思
期刊
民族文化
中小学校园
深远意义
措施
生物课堂要“人治”亦要“法治”
生物是自然学科,知识内容条理清晰,但是课程容量较大。传统的课堂中教师讲授得多,学习效率不高,如今学校推行“友善用脑”教学模式,学生是课堂的主体,通过小组合作模式自主学习基础
期刊
课堂
生物
法治
学习效率
基础知识
教学模式
自主学习
合作模式
浅谈分数解决问题教学之感
《义务教育数学课程标准》的总体目标指出:“初步学会运用数学的思维方式去观察、分析现实社会,去解决日常生活中和其他学科学习中的问题,增强应用数学的意识。教师应该充分利用学生以有的生活经验,引导学生把所学的数学知识应用到现实中去,以体会数学在现实生活中的应用价值。” 分数解决问题在小学数学第十一册教材中占有重要地位,它是培养学生能力和发展智力的重要内容。怎样使学生建立正确的解题思路,弄清分数解决问题
期刊
问题教学
解题思路
现实生活
已知条件
课程标准
教学过程
总复习
变式
算理
分率
基于微阵列基因表达谱的一种关联空间的癌症分类算法
利用微阵列基因表达谱分类癌症患者样本对患者的治疗具有非常重要的意义.针对高维、高冗余的微阵列基因数据中致癌因子存在局部相关性的特点,提出一种基于权重的关联空间分类模
期刊
癌症分类
基因表达谱
关联空间
cancer classification
gene expression profile
relative space
与本文相关的学术论文