论文研究时间自动机与信号自动机的互模拟算法 .pdf
时间自动机与信号自动机的互模拟算法,朱维军,,基于时间自动机的验证工具已被广泛应用于实时系统模型验证。信号自动机为一类实时系统建立了比时间自动机更适合的模型,但是它还
用户评论
推荐下载
-
元胞自动机源码
元胞自动机 JavaFX 发展细胞自动机的阶段: 康威的人生游戏 细胞自动机:晶粒生长的开始,可视化,边界条件(周期性和非周期性),成核(均匀,半径,随机,弯曲) 元胞自动机:谷物生长,邻域(摩尔,冯
12 2021-04-04 -
英文自动机课件1
本文档是英国利物浦大学计算机系自动机课件第一份。
34 2019-01-02 -
有限自动机模板类
有限自动机模板类,用于状态控制和切换
16 2020-08-09 -
干草叉自动机源码
dmml-干草叉
3 2021-02-23 -
Python自动机报告源码
自动机报告Python 秘书长报告了Python的实用性和实用性 使用Python或Excel进行Aquíveremos paso和pasocómohacer的报告。 Usaremos laslibr
10 2021-02-23 -
matlab元胞自动机
文档概述了元胞自动机的理论,并给出matlab的仿真程序
30 2020-08-09 -
有关下推自动机的模拟
挺好的,有助于理解下推自动机,以及极其模拟过称。
10 2020-11-20 -
论文研究混杂系统的扩展时间自动机模型及验证研究.pdf
混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机
14 2020-07-18 -
编译原理自动机代码及论文
该资源是编译原理中自动机的编写代码,采用C语言编写。可以运行,实现基础自动机。内附有详细编写的过程论文。可以参考。
10 2019-05-15 -
元胞自动机与Matlab.pdf
元胞自动机与Matlab.pdf
27 2019-06-05
暂无评论