本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力; ...
/dl/206413.html
标签: 时序逻辑
上传时间: 2021-06-19
上传用户:sinxsoft
近年来工业技术的飞速发展工业机器人越来越多的出现在各个工厂企业中发挥其生产高效、质量可靠的生产服务能力,而其运动关节——电气机器是保证工业机器人能可靠地,稳定地,高效地工作前提,因此对机器人用电机及其电机控制的研究变得尤为重要。随着科学技术水平的发展,生产工艺的提高以及高性能的运动控制理论的研究发展 ...
/dl/206942.html
上传时间: 2021-07-23
上传用户:johnny_dm668
为了实时监测图像质量,建立了像素小波系数的二元空间依存关系模型,并利用该模型实现了图像质量的无参考评价。首先,将RGB图像映射到HSV空间;对图像进行小波分解,并建立小波系数的二元空间依存关系模型,即以广义高斯分布来拟合小波系数的二元联合分布。然后,分析二元空间依存关系与图像质量的相关性,建立了无参考图像质量评价 ...
/dl/207767.html
标签: 空间 依存 参考 图像 质量 评价参考图像质量评价 小波分解 广义高斯分布
上传时间: 2021-09-22
上传用户:VRMMO
笔记分享---Android 高清加载巨图 ,Android项目实例相关源码,完整详细!!!
/dl/207805.html
上传时间: 2021-09-25
上传用户:tangchao340
高功率因数电源资料,包含原理图,PCB及主程序部分
/dl/207942.html
上传时间: 2021-10-06
上传用户:fourleaf
粗糙度的国际标准ISO4287,写相关粗糙度测量的程序时必须要参照的文档,内容为英文版
/dl/208087.html
上传时间: 2021-10-18
上传用户:Hikvision
针对遗传算法易陷入早熟收敛和全局搜索能力差等缺点,提出一种基于可拓理论的小生境遗传算法.算法首先构造了遗传编码物元和可拓遗传算子,然后通过可拓聚类方法实现小生境群体的划分,结合适应度共享技术和聚类代表个体保存策略,维持稳定多样的小生境.仿真实验表明,该算法能可靠、快速地收敛到全局最优解,有效避免早熟收敛,其 ...
/dl/208327.html
标签: 适应 共享 生境 遗传 算法 研究聚类 适应度共享 代表个体 早熟收敛
上传时间: 2021-11-07
上传用户:chenkayin
用matlab编写的线性插值,最近邻域插值,和双三次样条插值
/dl/208600.html
标签: 线性插值
上传时间: 2021-11-30
上传用户:随便
一种多路输入高升压Boost变换器,很不错,需要的去下载。
/dl/208687.html
上传时间: 2021-12-08
上传用户:llq520521
高清晰度电视广播概述:高清晰度和标准清晰度电视的比较,高清晰度演播室信号标准,高清晰度电视数字视频信号接口高清晰度电视是数字电视中的一种业务 数字电视系统的业务
/dl/208918.html
上传时间: 2021-12-29
上传用户:long532532