基于直觉模糊集的不确定时序逻辑模型

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jgkffdkjkdsf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对现有时序逻辑在描述复杂不确定时间信息方面的局限性,提出了一种基于直觉模糊集的不确定时序逻辑模型。该模型分别定义了离散论域和连续论域下的不确定点时序逻辑、点一时段时序逻辑以及时段时序逻辑的判定公式;引入直觉模糊集的犹豫度参数,使得推理结果更加精确。最后通过实例对两类不确定时间信息进行描述,并对其时序逻辑关系的可能性进行度量。通过分析表明该模型是比较优越的。
其他文献
根据车标区域及车体的对称性特征,提出了一种快速的车标定位方法。先通过垂直间隔差分和水平最大局部投影定位出车牌和车灯水平区域后,利用车牌、车灯和车标之间的几何位置和大小约束关系粗定位出车标区域,然后根据局部对称性和差分水平投影对粗定位区域进行二次定位,得到较精确的车标矩形区域。实验结果表明,平均定位准确率为94%,平均定位时间为21ms。
多描述编码可以有效地防止图像数据的丢失,防止对单份数据的依赖,保证接收端收到图像的质量。网络编码可以有效提高网络带宽利用率。为了适应数据在无线传感器网络中的可靠传
Einstein谜,亦称Zebra谜,是爱因斯坦在20世纪初提出的,他说世界上有98%的人答不出来。该问题是一个典型的逻辑推理题,可以通过SAT求解给出问题的答案。现将Einstein谜转换成SAT求
基于空间平均而非传统时间平均的思想,协作同步技术为无线传感器网络的时间同步提供了一种新的解决方案。结合工业无线网络的特点,利用无线传感器网络的广播特性,提出了一种
针对稀疏矩阵运算难以发挥图形处理器的强大运算能力的现状,基于图形处理器的统一计算架构,在线程映射、数据复用等方面研究了一系列并行计算优化方法,从而完成了一种行压缩存储表示下的稀疏矩阵向量乘并行算法。这些优化方法包括:(1)利用Warp内线程天然同步特性,Half-warp完成结果向量一个元素的计算;(2)取整读取数据,实现合并访问;(3)输入向量放入纹理存储器,数据复用;(4)申请分页锁定内存,加
用隐式多项式曲线来描述数据点集合轮廓具有天然的优势,尤其是在数据点集合轮廓的拟合过程中体现得更为明显。概括了基于隐式多项式曲线的信息建模研究现状,侧重于目前国内外各种隐式多项式曲线拟合算法的分析以及优劣比较。以多个图像物体数据点集合轮廓为例,使用各种拟合算法对其进行拟合,并给出了拟合的效果,分析了算法的优劣和改进措施以及以后的研究方向。
提出了新方法WOSR,以对已经被本体概念标注的领域信息资源进行语义检索。WOSR方法首先建立领域本体,再采用均等概率分布方法为概念赋权,然后通过概念的权重求出概念相似度,最后计
序列模式的挖掘是近年来的研究热点之一,目前很多研究都集中在闭合频繁项集与闭合序列模式的挖掘,较少涉及更加复杂、有重要应用价值的组合序列模式。针对任意长度和任意组合次
协同过滤(CF)个性化推荐算法过程中,用户相似度计算是CF技术的核心问题之一。以用户显式、离散评分的条件为基础,应用概率论分析方法,考察了用户显式离散评分向量,提出了改进方法:全
航空航天等领域大型复杂系统的构建离不开中间件技术的支持。研究了中间件体系结构设计的关键技术和集成机制,介绍了基于TDπ演算的软件体系结构描述方法,提出了一个带有性能约