死锁相关论文
针对蚁群算法进行路径规划中出现的运行时间长，搜索效率低和容易出现死锁问题，本文提出了一种基于达尔文进化论思想的蚁群算法。首先......
生产调度是制造业的核心,随着生产模式转变,需求多元化,市场竞争愈加激烈,企业不得不考虑控制成本,提高设备利用率,减少物料在设备......
自“中国制造2025”提出以来,各行各业积极响应国家号召,以黑灯工厂（Dark Factory）为目标,提升设备自动化、流程信息化、生产智能化......
随着软件规模和复杂度的不断提高,软件缺陷问题不断出现。如何提高软件的可靠性已经成为软件工程领域的一个重要研究问题。程序验......
摘要：针对车床作业调度问题，讨论了应用于车床作业调度的遗传算法设计，给出了主要的编码、解码、以及死锁问题的算法模型。结合应用实......
摘要：介绍了PDES时间推进中的保守算法，给出了保守策略，分析了死锁的产生原因，并给出了解决死锁的方法，最后对算法进行了实现。 关键......
摘 要：程序插桩技术是一种基本的测试手段，在软件测试中被广泛的应用。插装方式是指在程序源码中插入一些语句，通过这些语句可以获得......
［摘 要］ 本文从数据库技术视角，对金融危机环境下会计信息共享保证措施进行了探讨。分析了数据库技术目前存在的问题，提出了在金融危机......
针对高密度和散热有特定要求，性能需求强大的企业用户，技嘉推出了 1U服务器平台GS-R127，全面释放了英特尔Bensley这一革命性平台的无......
摘要：多线程技术是提高程序并发性和效率的重要手段，在网络应用、数据库应用软件、因特网以及嵌入式系统的开发中得到广泛的应用。深......
嵌入式系统自二十世纪七十年代出现之后，随着其应用领域的不断扩展，已经逐渐成为计算机应用领域的主角。作为一个整机系统，对嵌入式系......
铁水运输系统是大型钢铁企业物流运输的重要环节,建立铁水运输仿真系统可对各种铁路布局方案、铁水调度方案的合理性进行科学评估,......
Job-shop调度问题（Job-shop Scheduling Problem，JSSP）是一类具有时间约束、次序约束和资源约束的组合优化问题。在理论上已经证明，JSS......
学位
近年来，工作站机群系统(NOWs)蓬勃发展，占据了并行计算领域的主导地位。发展NOWs的关键，是提高互连网络的性能。路由算法决定了消息在......
网格计算是近年来国际上兴起的一种新技术。网格的根本目的是实现非平凡的资源共享和协同工作,消除信息孤岛和资源孤岛,使用户能够......
由于具有正则性、对称性、可嵌入性、并行性和可扩展性等优良特性,星形图(Star Graph)和超立方体(Hypercube)互联网络受到了研究者......
本文分析了DMSO-RTI1.3NG的标准体系结构实现。进而从性能和实现的复杂性分析了现有的两种基于CORBA的RTI体系结构。并在此基础之......
基于校园网的学校内部各管理信息系统的数据共享和交换是学校信息化建设的重要工作。要从根本上解决学校信息系统集成中由于各个子......
可重复向量与死锁是Petri网理论中两个非常重要的概念，在Petri网的活性、公平性的研究中起着举足轻重的作用，因此，可重复向量与死锁的......
目前,软件工业面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在复杂性增加的情况下仍......
生物学与信息科学是目前世界发展最迅速,影响最广泛的两门学科,这两门学科交叉而形成的新兴研究领域属分子计算。根据目前的研究情......
柔性制造系统工作时,多个工序使用同一种资源。一旦资源分配不当,就会发生死锁。死锁会导致系统无法正常运行,解决制造系统的死锁......
随着云计算和大数据时代的到来,信息系统所支持的业务过程产生了海量的事件日志。基于这些事件日志,企业可以进行诸如过程挖掘等应......
随着工业4.0的发展,越来越多的人关注智能制造,智能制造应该快速、灵活地响应订单、设备和原材料的变化。然而订单大多数是小数量......
如今,业务流程管理(BPM)技术已得到发展,并已在小规模和大规模应用。有许多公司和组织实施了面向业务流程的信息系统。通过对已有......
随着工业化的快速发展,制造业的生产线变得越来越复杂,对于能及时处理订单的能力也要求越来越高。怎样设计一个好的调度方案成为了......
离散事件系统中,资源的不合理分配可导致死锁的发生。死锁会降低系统的工作效率,甚至会造成系统停顿。因此,解决死锁问题至关重要......
在复杂应用系统的数据库设计实现过程中,数据库的逻辑模式设计、物理设计和封锁优化是几个重要的关键点.数据库的逻辑模式设计需要......
在多进程操作系统中,系统的资源管理策略是一个关键的全局问题,尤其是当许多进程涉及有限的资源时,因为不合理的调度会导致死锁。......
Petri网理论是用Petri网作为一个系统的模型--系统的数学表示,然后对这个Petri网进行分析,可以揭示出被模拟的系统在结构和动态行......
SDR (Software Defined Radio)自90年代提出以来,它便在无线通信领域受到了广泛的关注。SDR是要将在硬件上实现的功能尽可能的搬移......
操作系统是计算机三级等级考试中必考内容,而进程管理是操作系统中最为重要也是较难的内容,很多考生对这部分内容感到难学,笔者就......
本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其......
针对轨道交通信号系统的特点 ,提出了一种基于 Check方式的城市轨道交通调度监督系统。结合上海明珠线调度监督系统 ,介绍了系统数......
介绍了一种MPI程序死锁检测的静态方法以及该方法所处理的程序模型.为实现该方法,提出了比例方程组(一种特殊线性方程组)的概念并......
针对基本蚁群算法存在收敛速度慢,计算周期长,易死锁等问题,提出了蚂蚁回退、蚂蚁相遇、带交叉点的路径交叉的改进算法.通过随机数......
多移动机器人队形问题是多机器人系统富有挑战性的研究方向之一.为了在动态、复杂的环境中实现队形的完全保持,设计了四种行为:奔......
本文给出的动态监督系统可以检测ada语言多任务程序在运行过程中是否发生死锁.如果死锁的原因是由于程序设计不周而引起的,将提示......
基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型.通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析,给出了系......
银行家算法是操作系统中采用避免死锁策略来解决死锁问题的一种算法.本文首先讲述了关于死锁产生的必要条件,然后根据避免死锁问题......
大规模并行处理机系统（ＭＰＰ）中路由算法对互联网络通信性能和系统性能起着重要作用．文中在虫孔路由的直接网络中提出了一种虚网叠加的自适......
