注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. PVS中的时间自动机

  2. 介绍了自动机理论在PVS中的模型及定理证明的方法。

  3. 所属分类：专业指导

    • 发布日期：2009-06-20
    • 文件大小：205824
    • 提供者：blackxv

  1. 一种嵌入式系统扩展流关系Petri网及应用

  2. 为了将数据流和控制流在同一个模型中明确标识，将经典Petri嗣的4元组结构扩展为7元组，定义一 种新的嵌A式系统扩展流关系Petri同表示方法，应用该表示法对火车控制系统进行建模，并将该模转换成等 价的时间自动机模型．用UPPAAL进行形式化验证。验证结果表明火车控制系统具有可达性和安全性，说明 建立的模型是台理有效的。

  3. 所属分类：硬件开发

    • 发布日期：2009-09-03
    • 文件大小：168960
    • 提供者：lbaihao

  1. 有限自动机的多模式匹配算法

  2. 该算法的基本思想是这样的： 在预处理阶段，AC自动机算法建立了三个函数，转向函数goto，失效函数failure和输出函数output，由此构造了一个树型有限自动机。 在搜索查找阶段，则通过这三个函数的交叉使用扫描文本，定位出关键字在文本中的所有出现位置。 此算法有两个特点，一个是扫描文本时完全不需要回溯，另一个是时间复杂度为O(n)，时间复杂度与关键字的数目和长度无关。

  3. 所属分类：其它

    • 发布日期：2010-01-11
    • 文件大小：400384
    • 提供者：keyanlixiangjsj

  1. 基于时间自动机的模型验证软件

  2. Uppaal是一个集成化的对实时系统建模、确认和验证的工具，它采用一组带有整型变量的时间自动机对实时系统的行为进行模拟和验证，采用的模型检查机制可以避免状态空间的爆炸，已被广泛的应用于算法分析和协议验证方面。 Uppaal使用的是客户端-服务器的系统结构，分为图形界面和模型检测引擎。

  3. 所属分类：其它

    • 发布日期：2010-04-18
    • 文件大小：5242880
    • 提供者：lijuan_guo

  1. 时间自动机及其应用研究

  2. 时间自动机及其应用研究,一个硕士论文，应该很不错的哦

  3. 所属分类：专业指导

    • 发布日期：2010-09-18
    • 文件大小：2097152
    • 提供者：happystarry

  1. uppaal-v4.1

  2. 用时间自动机建模，并对其进行自动化验证的可视化工具。

  3. 所属分类：系统安全

    • 发布日期：2011-03-18
    • 文件大小：8388608
    • 提供者：william_falcon

  1. AC自动机.pdf

  2. AC自动机算法是解决这种问题的一个经典方法，时间复杂度为O(n+m+z)，其中z是T中出现的模式串的数量。AC自动机是基于keyword tree的，并对其进行一些补充。

  3. 所属分类：C++

    • 发布日期：2012-08-04
    • 文件大小：509952
    • 提供者：morgan_xww

  1. 先进先服务原则的元胞自动机航空管理程序

  2. 飞机场有一片飞机等待降落的区域叫做终端区。将其划分为以米为单位的元胞，为防止飞机降落影响到下个飞机，对元胞中的飞机进行速度的微调。 最终根据每架飞机的实际着陆时间和最优时间求出总的时间代价。

  3. 所属分类：电信

    • 发布日期：2013-01-21
    • 文件大小：7340032
    • 提供者：jiongxiaotao

  1. 自动机设计工具JFLAP7.0

  2. 形式语言与自动机的设计工具，其它资料见同时间上传的自动机资料

  3. 所属分类：其它

    • 发布日期：2013-05-11
    • 文件大小：10485760
    • 提供者：piaoxuefengqi

  1. 基于元胞自动机遗传算法的云资源调度

  2. 针对传统遗传算法易陷入早熟收敛等问题，提出一种改进的元胞自动机遗传算法(CGA)，并将其应用于云环境下的资源调度。分 析云计算环境中处理用户群请求的庞大任务数及资源合理分配的问题，利用CGA 算法寻求一组最优的资源调度方案。在CloudSim 仿真平 台上进行实验，结果表明，CGA 算法能缩短任务完成时间，降低用户总成本，满足云环境下的资源调度要求。

  3. 所属分类：其它

    • 发布日期：2014-01-21
    • 文件大小：280576
    • 提供者：deltatang

  1. 物理系统的元胞自动机模拟

  2. 元胞自动机是一种时间空间都离散的动力学模型，是非线性科学的一种重要研究方法

  3. 所属分类：讲义

    • 发布日期：2015-07-03
    • 文件大小：22020096
    • 提供者：farawaylk

  1. 时间自动机与网络协议验证

  2. 随着计算机网络与通信技术的发展，网络协议的复杂性 也日益增加。协议开发的难度增大、周期增长，而且潜在错 误增多。而协议中的每一处错误和缺陷都将给网络系统的稳 定性、可靠性等带来巨大的危害。用形式化的方法来描述与 验证网络协议可以发现协议中潜在的错误。时间自动机可以 用直观的形式描述网络协议，特别是其中的时间特性。现在 已经开发出了基于时间自动机的多种验证工具，都可以很好 地用于网络协议验证中。

  3. 所属分类：网络基础

    • 发布日期：2009-04-07
    • 文件大小：129024
    • 提供者：superlj06

  1. 互斥进程的uppaal模型实例

  2. 该资源是根据建模教程实现的一个简单的互斥进程的模型实例，已在模型检测工具uppaal上实现并进行了模型的性质验证。uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。

  3. 所属分类：其它

    • 发布日期：2018-05-04
    • 文件大小：5242880
    • 提供者：bluedandelion

  1. 基于时间自动机(ta)的四列火车调度的uppaal模型实例

  2. 该资源是实现的一个四列火车调度的模型实例，已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证，资源中还包含实验的模型仿真和性质验证的截图（实验效果图）。uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。

  3. 所属分类：其它

    • 发布日期：2018-05-15
    • 文件大小：330752
    • 提供者：bluedandelion

  1. 时间自动机 建模和验证工具 UPPAAL

  2. 利用时间自动机工具UPPAAL来对项目进行建模和验证 利用时间自动机工具UPPAAL来对项目进行建模和验证

  3. 所属分类：其它

    • 发布日期：2018-12-25
    • 文件大小：18874368
    • 提供者：weixin_38197503

  1. 基于时间自动机的物联网组合服务建模

  2. 在时间自动机理论的基础上，提出一种物联网组合服务建模的方法，来对系统的部分约定属性进行建模、验证和分析。把物联网原子服务作为研究的对象，对时间自动机模型进行扩展，并将其应用于物联网原子服务和组合服务的分层建模中。在分析不同层所对应实体的部分特定属性之后，通过工具ＵＰＰＡＡＬ建立模型并对该模型进行验证和分析。利用提出的方法对智能室温自控系统进行建模并验证，通过实验验证了该方法的可行性。

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：470016
    • 提供者：weixin_38544781

  1. 基于时间自动机的Web服务模型检测

  2. 传统的基于有限状态机的组合Web服务模型检测方法不能保证带有时间约束的组合Web服务的正确性。把组合Web服务看成多智能体系统,将带有时间约束的Web服务智能体建模为时间自动机,通过并发组合构成时间自动机网络,从而用时间自动机验证工具UPPAAL对组合Web服务的运行过程进行模拟,并验证其活性、安全性和死锁等性质。采用该方法对雇员出差安排组合Web服务进行建模和验证,结果表明,该组合Web服务存在死锁问题。最后通过分析死锁产生的路径,完善该组合Web服务的通信协议,从而消除了死锁。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：546816
    • 提供者：weixin_38517105

  1. 一种基于离散时间自动机的LTL性质检测工具

  2. 模型检测是一种自动完成性质验证的算法过程，在模型检测过程中会遇到状态空间爆炸的问题，即随系统规模的增长状态空间的大小呈指数增长，如何缓解此问题一直是研究者研究的重点。目前利用模型检测方法对线性时序逻辑(LTL)性质进行检测的工具还比较少，且效率都较低。介绍了一种基于离散时间自动机的LTL性质检测工具，采用了在状态空间中存储延迟序列(DS)的技术，对状态进行压缩存储，减小了时间空间的消耗，加快了检测速度。实验表明，该工具的检测效果是不错的，要好于同类工具，如DTSpin。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：414720
    • 提供者：weixin_38690376

  1. 基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

  2. 近年来,传感器技术得到了长足而有效的提升,无线传感网络(WSN)以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成.WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护.因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题.系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求.针对以上问题,本文提出了一种基于随

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：1048576
    • 提供者：weixin_38554781

  1. 基于时间自动机的物联网网关安全系统的建模及验证

  2. 物联网是一个多网异构融合网络，其感知层常面临各类安全威胁。物联网网关作为感知层和网络层的桥梁，应当具备安全管理功能，防止安全问题向上层扩散。针对物联网网关目前安全方面的不足，以物联网网关中间件技术为平台，设计一个通用的物联网网关安全系统。该系统可以嵌入不同的安全协议或算法，然后进行建模与分析，能够辅助安全网关的设计和具体实现。利用时间自动机对系统进行形式化建模与验证，验证结果表明物联网网关安全系统满足机密性、可用性、真实性、顽健性、完整性和新鲜性6项安全需求。

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：1048576
    • 提供者：weixin_38723236
« 12 3 4 5 6 7 »