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

搜索资源列表

  1. MPI程序同步通信基本模型死锁检测

  2. 对MPI程序同步通信基本模型死锁检测的全部理论进行了详细阐述。相关源代码将陆续公布。 文章介绍了MPI程序同步通信基本模型死锁检测的全部理论，该算法已经被《电子学报》录用，等待发表中。为方便后续文章引用，利用此空间暂时开放该文章。文章正式发表后，将删除该资源。

  3. 所属分类：其它

    • 发布日期：2007-09-24
    • 文件大小：1021952
    • 提供者：liaomingxue

  1. MPI同步通信顺序模型死锁检测算法

  2. 文章介绍了MPI同步通信顺序模型死锁检测算法，该算法已经被《计算机工程》收录，等待发表中。为方便后续文章引用，利用此空间暂时开放该文章。文章正式发表后，将删除该资源。

  3. 所属分类：其它

    • 发布日期：2007-09-24
    • 文件大小：34816
    • 提供者：liaomingxue

  1. 基于P_T系统化简方法的工作流过程模型验证

  2. 袁崇义 根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突

  3. 所属分类：专业指导

    • 发布日期：2009-10-13
    • 文件大小：114688
    • 提供者：sdkjd

  1. 基于P/T系统化简方法的工作流过程模型验证

  2. 根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.

  3. 所属分类：专业指导

    • 发布日期：2009-10-13
    • 文件大小：185344
    • 提供者：sdkjd

  1. 容错的分布式系统通用死锁模型检测解除算法

  2. 容错的分布式系统通用死锁模型检测解除算法

  3. 所属分类：其它

    • 发布日期：2010-03-02
    • 文件大小：466944
    • 提供者：pod0511117

  1. 基于人工智能原理的大学课表编排模型

  2. 针对涉及因素多、结构复杂的大学课表编排问题，文章采用人工智能及专家系统的知识，成功地构造出大学课表编排的数学模型及有关编排算法。对排课的死锁问题进行了有效的处理。

  3. 所属分类：其它

    • 发布日期：2010-04-17
    • 文件大小：178176
    • 提供者：xiechengrong

  1. java 并发编程教程

  2. java 并发编程 ThreadLocal 内存模型 JDK并发包编程 并发集合 显示锁 数据冲突 死锁

  3. 所属分类：Java

    • 发布日期：2010-06-17
    • 文件大小：3145728
    • 提供者：hit_hlj_sgy

  1. 操作系统处理机调度

  2. 处理机的层次 调度队列模型和准则 调度算法 产生死锁的原因和必要条件 预防死锁的方法 死锁的检测

  3. 所属分类：其它

    • 发布日期：2012-02-24
    • 文件大小：482304
    • 提供者：lycheemei

  1. java中生产者和消费者模型

  2. 理解java中生产者消费者模型，以及如何利用双缓冲机制来解决同步与死锁问题。

  3. 所属分类：Java

    • 发布日期：2013-04-09
    • 文件大小：20480
    • 提供者：dantelsx

  1. 处理机调度与死锁

  2. 3.1 处理机调度的层次 3.2 调度队列模型和调度准则 3.3 调度算法 3.4 实时调度 3.5 产生死锁的原因和必要条件 3.6 预防死锁的方法 3.7 死锁的检测与解除

  3. 所属分类：桌面系统

    • 发布日期：2013-06-03
    • 文件大小：1048576
    • 提供者：u010934455

  1. 车辆行驶死锁问题

  2. 车辆行驶死锁问题，在Linux下用C语言完成下面模型：设有一个T型路口，其中A，B，C，D各处可容纳一辆车，车型方向如图所示。找出死锁并用有序分配法消除之，要求资源编号合理。

  3. 所属分类：Linux

    • 发布日期：2014-12-21
    • 文件大小：82944
    • 提供者：u011804768

  1. VHDL 语言实例100 内含加法器控制器等100个代码例子

  2. 带控制端口的加法器进程死锁 第55例 地址计数器 第56例 指令预读计数器 第78例ccAm2901四位微处理器的ALU输入 第79例ccAm2901四位微处理器的ALU 第80例ccAm2901四位微处理器的RAM 第99例 多周期指令的描述 第100例 MB86901流水线行为模型

  3. 所属分类：网络攻防

    • 发布日期：2008-11-20
    • 文件大小：330752
    • 提供者：kingwangking

  1. 智能家居平台构件适应与协同模型及形式化分析

  2. 以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型性质进行分析与验证。实验表明,在本模型下平台构件的适应与协同满足不死锁、不中止、不发散的必要性质,且在并行处理多用户请求的条件下能够实现数据一致性与操作有效性。本研究对智能家居平台的研发与验证有一定意义。

  3. 所属分类：其它

    • 发布日期：2020-06-20
    • 文件大小：244736
    • 提供者：weixin_38681286

  1. 基于统一建模平台的BPMN模型业务流程验证

  2. 为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题，提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台，将BPMN模型输出作为该平台的输入。随后输出基于BPMN2.0业务流程形式化验证的Java程序代码，该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁。最后给出复杂信息系统相应实例验证了方案的有效性。

  3. 所属分类：其它

    • 发布日期：2020-10-16
    • 文件大小：340992
    • 提供者：weixin_38527987

  1. 并发机制:CSP vs Actor模型以及Golang实现

  2. CSP & Actor Model 本文将简单介绍CSP和Actor模型俩流行的并发机制,并比较他们的优缺点,并通过Golang中CSP并发机制实现FutureTask.并行机制有很多像是多线程,CSP,Actor等等.拿多线程来说,就有诸多问题,譬如:死锁,可扩展性差,共享状态.就像共享状态会产生很多问题，它涉及到内存的变化。只有一个进程发生变化没问题。但如果有多个进程共享和修改相同的数据，这将非常糟糕.为解决这些问题,提出了很多解决方法呢.比如,CSP和ActorModel. 如下是一些编程

  3. 所属分类：其它

    • 发布日期：2021-01-08
    • 文件大小：233472
    • 提供者：weixin_38681286

  1. practice:知识梳理：数据结构和算法，leetcode解题记录，手写生产者-消费者模型，SpringAOP，Springboot自定义注释解，异常异常处理，整合Mybatis，整合Redis，mybatis逆向工程，死锁，同步锁，读-

  2. 欢迎大家来到Higmin GitHub项目！ 创建此工程是为了巩固基础知识当然能对社区做点贡献也是我小小的心愿〜 本工程包含了SpringAOP，死锁，JUC同步锁，读-写同步锁，线程本地使用，JUC线程池和Spring提供的线程池，jdk 1.8中的日期时间API，数据结构中图的实现及操作和广度优先遍历/深度优先遍历（其他待完善），生成XML文件工具类，防止XSS攻击解决方案，mybatis逆向工程，接口并发测试，BIO，NIO，AIO，Netty的服务，客户端...以及在不断更新中，有不足之

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：407552
    • 提供者：weixin_42137028

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

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

  3. 所属分类：其它

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

  1. habanero-coq：Habanero编程模型的Coq形式化-源码

  2. Habanero编程模型的Coq形式化 编程模型的形式化。 我们主要关注属性的形式化，例如死锁自由和种族自由。 该项目的总体目标是提供理论框架，阅读Coq库，以验证同步机制。 刊物 使用Coq对Habanero移相器进行形式化。 Tiago Cogumbreiro，Jun Shirako和Vivek Sarkar。 JLAMP，90：50–60，2017年。 相序的形式化。 Tiago Cogumbreiro，Jun Shirako和Vivek Sarkar。 在PLACES'16的会议记录

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：157696
    • 提供者：weixin_42178688

  1. 柔性制造系统的改进粒子群无死锁调度算法

  2. 基于柔性制造系统的Petri 网模型, 以制造期最小为优化目标, 将死锁避免策略嵌入粒子群算法中, 提出一种无死锁改进粒子群调度算法. 该算法将粒子与工件的工序序列相对应, 以位置数值的大小表示对应工件工序在执行顺序中的优先级. 采用一步向前看的死锁避免策略方法对序列的可行性进行验证, 提出一种跳出局部极值的策略. 实例仿真结果表明了粒子群调度算法的可行性和有效性, 以及改进粒子群调度算法的优越性.

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：246784
    • 提供者：weixin_38663701

  1. 自动导引车系统防碰撞及死锁的形式化控制方法

  2. 针对自动导引车系统中的协调控制问题,提出一种基于有向图的控制程序自动化设计方法.首先,根据自动导引车系统的结构建立基于区域控制的有向图模型;其次,在部分可观的条件下,定义扩充危险域的概念,给出一种估计危险域中车辆数目的方法,进而给出导引路径的防碰撞控制规范;最后,讨论系统发生死锁的两个条件,给出相应的死锁控制方法,并通过仿真实验验证了所提方法的有效性.

  3. 所属分类：其它

    • 发布日期：2021-01-13
    • 文件大小：265216
    • 提供者：weixin_38635449
« 12 3 4 5 6 7 8 9 10 »