论文部分内容阅读
优先图可方便地描述程序的并发性,优先图与并发程序可以相互转换.发现了一种判断优先图冗余有向边的方法,同时找到了化简优先图的算法.使用该算法化简优先图以后,能使相应程序的并发控制复杂度降低.以化简饱和优先图为实例,相应程序并发控制的复杂度,由化简前的O（n^2）降低为化简后的O（n）.
优先图化简算法研究
【摘 要】
：
优先图可方便地描述程序的并发性,优先图与并发程序可以相互转换.发现了一种判断优先图冗余有向边的方法,同时找到了化简优先图的算法.使用该算法化简优先图以后,能使相应程
【机 构】
：
湖南第一师范学院网络信息中心
【出 处】
：
湖南师范大学自然科学学报
【发表日期】
：
2008年2期
【基金项目】
：
湖南省“十一五”规划重点课题资助项目（XJK06AZC010）,湖南省青年骨干教师基金资助项目（湘教通2005[247]号）,湖南第一师范学院科研课题资助项目（XYS06N16）
其他文献
在2010—2015年的“五年计划”里，国际教练员教育委员会（ICCE）确定了四个关键目标，其中一个目标就是要为全球教练员的发展创建一个平台。而教练员中心就是为创建这样一个平台开展
我国的运动心理咨询和训练研究工作自20世纪80年代以来得到了迅速发展，现已形成较有成效、具有中国特色的心理训练内容、方法和手段，取得了很好的成效。运动员心理咨询和训练是
<正> 灰分的测定方法按国家标准规定。目前,有二种方法;一是550℃灼烧法(标准法);二是850℃的灼烧法(醋酸镁法)。前种方法操作时间过长,不适于对一线产品的检验指导,后种方法
目的：对个体化护理干预进行分析,旨在提高晚期肝癌患者生活质量、缓解不良情绪,提高护理满意度.方法：病例均选取自2016年1月∽2017年1月我院收治的晚期肝癌患者134例,排除相关
随着基础设施网络的不断扩大，使得网络之间的相依性不断增加，导致相依网络系统中发生的级联故障较为严重。对此，本文提出了一个在相依网络系统中研究级联故障的理论框架，其中考虑
“教练员一定要有敬业精神和崇高的奉献精神，对自己从事的项目有深刻的理解和认识。训练中，要用超常思维方式来创新训练手段和方法。优秀教练员比别人睡得少，想得多，敢于自我否定
<正> 我国高水分玉米基本上集中在东北三省及内蒙古东部地区,这一地区粮食部门收购的高水分玉米,原始水分由南向北逐渐增加。例如,在沈阳、昌图地区,玉米原始水分为22％～28％,在吉
为阐明AcSDKP调控骨髓间充质干细胞（MSCs）生长的作用机制,进行人骨髓MSCs体外培养,采用BrdU掺入法、流式细胞术、MTT比色法和集落形成实验等,检测了在AcSDKP作用下的DNA合成速
<正> 我库4号仓在1996年2月局部生虫发热,利用探管结合单管风机局部杀虫、降温、降水取得了既安全、省力,又节省费用的效果。 1 仓房和粮食情况 仓房为砖木结构苏式仓。储粮
合成了一类新型八羟基喹啉双核钛配合物，初步考察了这类配合物在催化烯烃与H2O2环氧化反应中的催化性能．结果表明配体的取代基对此类配合物的催化性能有很大的影响，由5，7-二卤代，