-
公开(公告)号：CN103473130B
公开(公告)日：2016-07-06
申请号：CN201310436849.9
申请日：2013-09-23
Applicant: 扬州大学
Abstract: 本发明涉及一种基于随机进程代数的并发系统死锁检测方法，属于计算机应用技术领域。现有并发系统死锁检测技术都受状态空间爆炸问题的影响而效果不佳。本发明所述的方法主要是基于并发系统的逻辑架构和由它所决定的状态空间的结构特性来进行死锁检测，这种检测方法的复杂度基本不随系统中相同类型进程的数目的增加而增大。因而采用本发明所述的方法，能够有效地缓解一些大型并发系统死锁检测的状态空间爆炸问题。
-
公开(公告)号：CN103473130A
公开(公告)日：2013-12-25
申请号：CN201310436849.9
申请日：2013-09-23
Applicant: 扬州大学
Abstract: 本发明涉及一种基于随机进程代数的并发系统死锁检测方法，属于计算机应用技术领域。现有并发系统死锁检测技术都受状态空间爆炸问题的影响而效果不佳。本发明所述的方法主要是基于并发系统的逻辑架构和由它所决定的状态空间的结构特性来进行死锁检测，这种检测方法的复杂度基本不随系统中相同类型进程的数目的增加而增大。因而采用本发明所述的方法，能够有效地缓解一些大型并发系统死锁检测的状态空间爆炸问题。
-
公开(公告)号：CN103455412B
公开(公告)日：2016-10-19
申请号：CN201310434951.5
申请日：2013-09-23
Applicant: 扬州大学
Abstract: 本发明涉及一种基于随机进程代数的并发系统性能模拟方法，属于计算机应用技术领域。现有并发系统的随机模拟技术中，系统从初始状态运行到稳态状态的预热过程会花费很长时间，且这种耗时会随着系统规模的增加而增加。本发明所述的方法利用Fluid逼近技术速度快且几乎不受系统规模影响的优点，迅速求解出系统的近似平衡态,让系统从平衡态附近直接出发进行模拟来提取系统性能参数，省去了预热过程的耗时，能够有效提高算法的收敛速度和降低计算资源的消耗。
-
公开(公告)号：CN103455412A
公开(公告)日：2013-12-18
申请号：CN201310434951.5
申请日：2013-09-23
Applicant: 扬州大学
Abstract: 本发明涉及一种基于随机进程代数的并发系统性能模拟方法，属于计算机应用技术领域。现有并发系统的随机模拟技术中，系统从初始状态运行到稳态状态的预热过程会花费很长时间，且这种耗时会随着系统规模的增加而增加。本发明所述的方法利用Fluid逼近技术速度快且几乎不受系统规模影响的优点，迅速求解出系统的近似平衡态,让系统从平衡态附近直接出发进行模拟来提取系统性能参数，省去了预热过程的耗时，能够有效提高算法的收敛速度和降低计算资源的消耗。
-
-
-
Search Results
4
records
(took 0.011 seconds)
