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