共查询到19条相似文献,搜索用时 93 毫秒
1.
2.
3.
本文采用动态优先级分配策略,提出分布式事务死锁探测的有效方法。该方法所使用的优先级分配策略改进了传统的分配方法,它能更为准确地反映事务的运行特性,以较少的通讯开销来探测分布式死锁,且具有更短的死锁探测时延。 相似文献
4.
两种死锁分析的逻辑方法 总被引:2,自引:0,他引:2
从逻辑的角度出发,根据请求模型用谓词逻辑分析死锁,并统一于一个通用的表示中,然后用时序逻辑方法进一步给出了一个更通用的死锁表示,用逻辑方法表示死锁,便于程序安全性验证,最后,把这些方法用于Ada程序的验证系统中。 相似文献
5.
卡恩进程网络(KPN)是一种应用于数据流建模的模型.由于理想的KPN需要无限制容量的用于通信的管道,而这种要求用计算机是无法实现的,所以T. M. Parks提出了一种有界调度策略.然而,这种有界调度又会导致一种理想KPN里不存在的假死锁,即由于写阻塞导致的死锁.针对PN中存在的假死锁,提出一种消息复杂度为O(n)的死锁检测算法DRAP,该算法能找到当前死锁的瓶颈所在,通过增加瓶颈管道的容量来解除死锁. 相似文献
6.
并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。 相似文献
7.
8.
计算机操作系统课程由于概念抽象,较难理解和掌握,因而课程实验对于加强概念的理解显得尤为重要。死锁是该课程的一个非常核心的概念,本文设计了一个基于windows环境下线程机制的死锁模拟教学实验,程序简单,易于实现和理解。实践表明,该实验在教学过程中收到了良好效果。 相似文献
9.
李立耀 《漳州师范学院学报》2007,20(3):35-41
为了保证Web服务集成时的一致性和可靠性,IBM和Microsoft发布了Web服务协作(Web Services Coordination)规范以及Web服务事务(Web Services Transaction)规范,它们负责协调整个业务流程中多个Web服务的协调与合作.但是由WS-Coordination和WS-Transaction所定义的框架并没有对Web服务环境中多个事务并发执行时所出现的死锁问题提供相应的解决方案.因此我们设计了一种适合于Web服务环境的语义锁模式,这种锁模式能够极大地提高Web服务环境中事务间的并发度,提高企业的经济效益,并提出了一种能够根据语义锁中的语义信息最大限度地减少企业经济损失的死锁解除方法. 相似文献
10.
矿物被激发而发光 ,光通量极其小 ,其检测属于微弱光信号检测的范畴 .结合传统的弱光信号的光电探测方法 ,研究了一种以电荷耦荷探测器 (简称CCD)为核心的新的矿物热发光信号的探测方法 ,并以长石矿物的三维热释光谱图为例 ,分析了该光电探测方法的特点 .据实验结果可知 ,长石矿物的热释光谱图的辐射剂量响应的灵敏度整体上比石英的灵敏度大得多 ,其谱图从光子能量角度可以分成蓝光波段和红光波段两部分 ,而且红光信号比蓝光信号稳定 ,重现性好 ,峰峰值易分离等 ;采用以电荷耦荷探测器为核心的光电探测系统 ,能够较好地区分矿物受激发光的光子能量分布 . 相似文献
11.
根据棋盘格图像的特点,提出了一种新的棋盘格角点检测方法.对图像进行边缘提取后,得到两组相互垂直的直线组,通过Hough变换求出直线组的代数方程,采用代数方法求两组直线之间的交点,确定角点的初始位置.对每一初始角点邻域采用灰度变化检测方法进行精确的角点定位.该方法既保证了角点检出的正确性,又提高了角点坐标的检出精度.试验结果表明,该方法具有较好的效果和较强的鲁棒性. 相似文献
12.
通过对无刷直流电机转子位置检测研究,提出了以TMS320F2407芯片为内核的综合转子位置检测方法.该方法结合有位置传感器和无位置传感器的优点,实验证明了该方法的准确性和有效性. 相似文献
13.
基于免疫多样性的分布式入侵检测算法 总被引:4,自引:0,他引:4
提出了一种基于免疫多样性的分布式入侵检测方法,将支持向量机(SVM)作为抗体对入侵行为进行检测.首先,采用随机子空间方法生成多样化的SVM个体,再用人工免疫算法进化个体,然后通过引入Q统计量和互信息作为抗体多样性的度量,由此得到的检测器种群具有知识互补性,最后用集成的思想将种群中各检测器的结论进行合成.数值实验表明,所提方法生成的抗体更具多样性,检测精度高于单个SVM和Bagging方法,其分布式并行检测特性有利于加强检测系统的健壮性. 相似文献
14.
提出了一种将拓扑排序应用于片上网络的死锁检测与恢复的方法.利用片上网络线资源丰富的特点,使用专用线路采集并分析网络中各通道之间的依赖关系,快速确定处于死锁环路中的通道位置,并对死锁环路进行解锁.结果表明,所提出的方法简单有效,可以支持各种路由算法,与广泛应用的死锁避免策略相比,其网络资源的利用率和网络性能有所提高,并具有一定的容错能力.
相似文献
15.
针对资源整合矿井火区探测中普通探测技术耗时长、工程量大,且难以直接定位火区范围等问题,研究了基于瞬变电磁法的火区分布探测方法。以北祖矿为例,在井下全空间条件下,结合地质资料和现场地质情况,采用瞬变电磁仪对北祖矿9209 风巷上覆煤层进行超前探测和剖面探测,反演计算形成超前、剖面视电阻率图,根据巷道上覆煤层在视电阻率图中的响应特征,通过定性分析确定巷道上覆煤层的自然发火区域。结果表明,基于瞬变电磁法的整合矿井火区分布探测方法能够准确定位火区分布范围,可为打钻探测及灌浆堵漏等矿井防灭火工程提供科学依据,明显提高工程效率及效果。 相似文献
16.
基于对短基线单差模型的分析,使用站间载波相位观测值之差的变化率作为周跳检测量,对该量进行数值估算,分析钟跳对该量的影响,从理论上证明该检测量可用于一机双天线单差短基线解算中的周跳探测,并提出相应的周跳探测与修复方法.采用实测数据进行实验分析,结果表明,对于一机双天线短基线数据,该方法不受钟跳影响,能有效探测和修复周跳. 相似文献
17.
基于改进水平集的多运动目标检测方法 总被引:1,自引:0,他引:1
针对多目标检测中目标和阴影连接导致检测失败的问题,提出一种基于改进水平集的精确检测方法.通过对监控视频进行对称差分获取运动信息,将其融合到水平集演化函数中,然后进行一次分割得到演化曲线,以此获得目标的位置信息.根据目标与阴影的差异信息,调整水平集演化函数,进行二次分割可准确分离多个目标及其阴影.将文中方法应用在公路监控的多运动车辆检测实验中,能够有效地检测出运动车辆轮廓,处理速度为24帧/s,消除阴影的准确率达98.6%,取得了准确的检测效果. 相似文献
18.
以加工设备最大加工空间分层索引模型为基础,提出数控加工程序碰撞 检测新方法。该方法将三维物体间的碰撞问题,转化为判断平面内一点与一封闭轮廓曲线位置关系的问题。由此,降低了碰撞检查的复杂程度,因而提高了碰撞检测的效率。文中同时给出以微机为硬件基础的算法实例。 相似文献
19.
为提高波片相位延迟量的准确性,提出了一种基于磁光调制的波片相位延迟量测量方法.在标准1/4波片和检偏器之间插入磁光调制器,调整元件转角使出射光强只剩下偶次谐波成分,利用该特性,通过检测基频成分的残余量而非整个光强信号来进行波片相位延迟量的精密测量.利用琼斯矩阵推导了相应的理论公式并建立了波片测量系统,误差分析表明当环境温度变化范围为0.1℃时,系统测量不确定优于5',对1/2波片和1/4波片的重复测量实验表明测量标准偏差约为2'. 相似文献