死锁检测相关论文
由于当前使用的关联规则挖掘、支撑集融合检测方法受到空间爆炸问题影响，不能及时更新分布式数据库死锁集合，导致检测误差大等问题。......
随着电力行业信息化程度不断普及,电力系统对现场数据的实时处理的需求日渐提高,催生了支持实时性的高性能数据库的诞生。内存容量......
众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对P......
机器人足球比赛已经成为当前人工智能和机器人领域的研究热点之一，它的兴起促进了多智能体系统、分布式人工智能及机器人学，视觉系统......
信息技术和计算机的快速发展使得软件的执行效率和硬件的性能得到了很大的提高。在现代生活中,具备计算能力和数字通信能力的设备......
随着计算机的发展,软件的规模不断扩大,其复杂度也随之增加,软件故障正成为计算机系统失效和停机的主要因素,软件质量成为计算机领......
本文作者对基于CTR逻辑的控制流图形式化描述和验证方法进行了深入研究，完善了验证算法，加入了死锁检测功能，使该系统可以对包含死......
智能机器人是一个对外界环境高度开放的智能系统,由一系列具有独立问题求解能力的子系统组合而成。机器人各子系统在自主地完成各......
作为互连网络中一种流行的拓扑网络,k-ary n-cube网络目前面临着多应用、多业务以及业务分布不均等问题,这就要求设计的路由算法要......
学位
随着多核处理器的发展和多线程程序的普及,多线程技术的应用越来越广泛。但是在多线程程序中,当多个线程之间运行推进顺序不合适时......
由于面向对象Petri网的应用越来越广泛,以及人机交互行为在软件开发过程和实际应用中的重要性,因此本论文通过分析面向对象Petri网......
多线程技术因其可以提高计算效率、共享数据存储和节省资源开销在程序开发中得到了广泛应用,然而随着多线程程序的复杂度越来越高,......
随着实时嵌入式系统在汽车和航空电子等领域的复杂性和安全性日益突出,应用严格分析技术以确保系统可预测就显得非常重要。因此统......
并发故障普遍存在于并发程序中。并发类是并发程序开发和测试的基础。死锁是常见而不易检测的并发故障。单元测试在故障检测中发挥......
随着POSIX多线程(POSIX Threads,Pthreads)广泛应用于各类复杂并发系统,由线程竞争资源或推进顺序不合适所引发的死锁问题变得越来......
在当今的制造领域,越来越多柔性制造系统已经取代了传统的大批量单一种类加工制造系统,而现代企业也越来越多地把柔性制造系统作为......
随着云计算和Web服务技术的持续升温,Web服务组合也逐渐成为业界关注的重点。Web服务组合是一系列相互独立的Web服务构件的聚集,是......
模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行......
死锁的处理长期以来一直是分布式系统的研究重点,已有许多成熟算法.随着网络技术的发展,越来越多的客户和资源可在网络中自由移动,......
