直觉模糊测度的计算树逻辑

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户：zhaodashu

【摘要】

：

建立了直觉模糊Kripke结构（intuitionistic fuzzy Kripke structure，IFKS）模型，提出了基于直觉模糊Kripke结构的直觉模糊测度空间理论，阐述了IFKS的一系列性质。证明了任一路径转

【作者】

：

鱼先锋李超李永明

【机构】

：

商洛学院数学与计算机应用学院,陕西师范大学计算机科学学院

【出处】

：

计算机科学与探索

【发表日期】

：

2017年9期

【关键词】

：

直觉模糊Kripke结构直觉模糊测度直觉模糊计算树逻辑模型检测 intuitionistic fuzzy Kripke structure intuit

【基金项目】

：

The National Natural Science Foundation of China under Grant No. 61228305 (国家自然科学基金), the Special Research Foundation of Department of Education of Shaanxi Province under Grant No. 2015JK0605 (陕西省教育厅专

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

建立了直觉模糊Kripke结构（intuitionistic fuzzy Kripke structure，IFKS）模型，提出了基于直觉模糊Kripke结构的直觉模糊测度空间理论，阐述了IFKS的一系列性质。证明了任一路径转移的直觉模糊可达度（（intuitionistic fuzzy probability，IFP）为初始状态的直觉模糊测度与各转移的IFP所取下确界，任一状态出发的所有路径上路径转移的IFP为所有路径可达度的上确界。给出了路径转移矩阵P及其传递闭包P+的概念，给出了通过计算路径转移矩阵

其他文献

可持久化CSB＋-树索引技术研究

现有主存索引方案为实现重用功能仅将更新操作存储到硬盘中，根据操作序列进行索引恢复，实时性和重用性均较差。为进一步提升重用性和实时性，提出了一种可持久化的CSB＋-树（cachesen

期刊

主存索引持久化CSB+-树内存映射索引头main-memory index durable CSB＋-tree memory map inde

不确定数据流上Top—k异常点查询算法

近几年，随着数据流和不确定数据的产生，不确定数据流上的异常点检测成为新的研究热点。然而，现有的不确定数据的异常点定义中涉及3个参数，这对于用户是非常难设定的，以致不能查询

期刊

不确定数据数据挖掘异常点TOP-Kuncertain data data mining outlier top-k

合作共赢联想助力电力信息化

随着电监会、国家电网公司、南方电网公司和五大发电集团，四大辅业集团的相继挂牌成立，电力行业改革取得，突破性进展，以打破垄断，解除管制、引入竞争，建立电力市场为目的的电力体制

期刊

电力信息化电力市场电价改革信息技术电力工业

外固定架在外伤性耻骨联合分离治疗中应用16例分析

目的：探讨外固定架治疗耻骨联合分离的疗效。方法：根据Tile分型,对16例TileB型损伤的耻骨联合分离患者行外支架固定。结果：16例经6～16个月随访。根据骨折复位情况、疼痛、步态、

期刊

外固定器耻骨联合分离/外科学治疗结果随访研究人类

薄腹屋面梁裂缝处理

<正> 江苏省某单层厂房跨度15m,屋架采用薄腹屋面梁,标准图号为G353(六)《钢筋混凝土屋面梁跨度15m(双坡)》,梁号为SL15—1a,砼强度等级为C28。屋面梁采用平卧重叠制作,翻身

期刊

钢筋混凝土屋面梁薄腹裂缝

新希望乳业正式登陆A股刘永好深交所敲钟

【本刊辑】2019年1月25日,新希望乳业(002946,SZ)正式登陆A股,股票开盘大涨43.84%,报7.84元/股。作为中国民营企业代表,新希望乳业上市后,刘永好旗下将拥有2家农牧业和食品行

期刊

乳业A股深交所上市公司企业代表食品行业农牧业股票

切口混凝土裂缝扩展性能研究

<正> 1 前言在建筑工程中广泛采用的混凝土材料并非完全脆性材料,对于具有宏观裂缝的混凝上三点弯曲梁,当荷载远小于最大荷载时,宏观裂缝尖端附近区域就开始生成微裂缝并逐

期刊

混凝土梁裂缝扩展性能研究

胫骨髁间前棘撕脱骨折17例关节镜治疗分析

2002-05／2005-10我们采用关节镜做创于术治疗胫骨髁间前棘撕脱骨折17例，取得了很好的疗效，现报道如下。

期刊

胫骨骨折/治疗关节镜检查人类

结合公共视图和对象Petri网的跨组织流程建模

组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性，提出了一种基于公共视图和对象Petri网的跨组织工作流建模

期刊

工作流建模跨组织流程公共视图对象PETRI网workflow modeling cross-organizational process publi

桩基非线形设计的新进展与展望——塑性支承桩的概念与应用

在复合桩基的基础上提出了塑性支承桩－卸荷减沉桩的概念，并给出了其学降量计算的方法及其工程应用的基本原则，工程实践验证了塑性桩的概念的正确性，最后对地基与桩基和上部结构共

期刊

复合桩基非线形设计塑性支承桩沉降量

直觉模糊测度的计算树逻辑

与本文相关的学术论文