粗糙逻辑中公式的Borel型概率粗糙真度

来源 :软件学报 | 被引量 : 0次 | 上传用户:cnaxnn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以一种特殊的粗糙逻辑为研究对象,视全体赋值之集为通常乘积拓扑空间,通过利用赋值集上的Borel概率测度,提出了能融合粗糙逻辑与计量逻辑为一体的公式的Borel型概率粗糙真度理论,给出了公式概率粗糙真度的公理化定义,建立起了相应的概率真度表示定理.公式的概率粗糙真度理论可被看作粗糙逻辑中已有工作的计量化,也可看作计量逻辑学中真度理论的粗糙化.基于这一核心概念,进一步给出了粗糙逻辑中已有概念的程度化表示形式,如公式的粗糙度、精确度、公式之间的粗糙相似度等,并建立起了基于粗糙相似度的3种近似推理模式.该结果实现
其他文献
在当前隐蔽战线斗争越来越复杂的形势下,3G给军队安全保密工作构成了新的威胁。本文从介绍3G技术开始,通过了解其特点来进一步分析3G手机可能给部队信息安全带了的隐患,从而
身份混合签密能够高效封装对称密钥和安全传输数据.针对现有身份混合签密方案计算复杂度高的问题,集成身份混合签密和椭圆曲线密码学(ECC)中的双线性映射,构造了一种使用ECC的身份混合签密方案.证明了所构造的方案在随机预言模型下满足co-BDH假设下的保密性和co-CDH假设下的不可伪造性.由于该方案通信成本低且计算效率高,因而能够更好地满足密码学应用需求.
无线传感器网络节点中的廉价晶振极易受到温度、电压、湿度等工作环境因素的影响.节点晶振的这一特性,为室外大规模无线传感器网络时间同步技术带来了两方面的挑战:(1)过高的通
随着因特网的迅猛发展、网络规模的扩大和网络攻击方法的复杂,安全需求与日俱增。本文在分析介绍了入侵检测系统和数据挖掘技术的基础上,设计一种自主学习的入侵检测系统,从网络
主要采取公共政策分析的基本原理与方法,从3个不同阶段回顾并客观评估了政府保障农民健康的职能实践行为,并在此基础上提出了一些政策建议,以增强新形势下政府在农民健康领域应
对数据库的操作是C#程序设计语言教学中的一个重点,大多数教材中只对数据库连接状态下的数据操作做了详细的讲解.但对于数据库断开状态下的操作介绍的并不详细。本文详细探讨了
输卵管碘剂造影是不孕症病因诊断首选的检查方法,同时有疏通输卵管的作用。随着人工流产、宫腹腔手术操作机会的增多,继发不孕症有逐年升高趋势,究其原因多与子宫、输卯管、盆腹
策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关
1资料及方法1.1临床资料。2006年12月至2007年10月我院ICU病房共收治患者426名.其中男性患者242例.女性患者184例,男女性别比为1.32:1:年龄为21.81岁.平均年龄42岁;住院天数1~7天,平均3天
<正>危重病患者的治疗中营养支持是一个非常重要的环节,其中肠内营养支持与肠外营养支持相比,肠内营养更符合生理状态,并且有费用低、实施方便和并发症少等优点[1]。在防止肠