符号化方法相关论文
Schr?der数列（rn）n≥0=（1,2,6,22,90,394,…）是组合数学中重要的组合序列之一,它的组合意义为:rn表示在第一象限内从（0,0）到（2n,0）允许的步......
模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。......
时间序列作为一种重要的复杂类型数据，它普遍存在于现实生活中，诸如气象、股市、金融、天文等领域。因此对时间序列的相似性研究也逐......
物流服务业在我国的地位越来越高，而传统的模糊决策方法无法解决复杂的不确定情境下物流服务的评估与优化问题。需要结合决策者有限......
Lukasiewicz 路是一种拥有上步 U(1, 1), 水平步 H(1, 0)和下步Ds=(1,-s)的格路, 其中s∈{1, 2, 3 ...}. 本文研究了 Lukasiewicz ......
简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来......
<正> “传统形式逻辑要现代化”这一提法,在我国经过逻辑学界多年来反复讨论,已经引起了人们的重视和关注.不少同志不仅认识到了落......
扼要分析了地理数据库的概念和当前社会对地理信息服务的需求,据此研究了以地理要素符号化表达为核心的地理数据库的构建和维护方......
随着经济社会的快速发展和科学技术的不断进步,空间地理信息应用越来越广、作用越来越大。对于政府管理与领导决策来说,科学布局、......
期刊
为了缓解状态空间爆炸问题，减小模型检测过程中生成的状态空间，加快模型检测速度，引入有限精度时间自动机（finite precision timed aut......
控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动......
