论文部分内容阅读
讨论在操作系统中研究的关于进程间通信（IPC）的一个著名的问题：睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标识图性质。
理发师问题的Petri网模型
【摘 要】
：
讨论在操作系统中研究的关于进程间通信（IPC）的一个著名的问题：睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标识图性质。
【机 构】
：
甘肃民族师范学院计算机科学系
【出 处】
：
现代计算机(专业版)
【发表日期】
：
2015年6期
【基金项目】
：
甘肃民族师范学院院长基金(No.2013-16)
其他文献
翻译的文化功能决定了异国文化在语文化中的深远发展。在随着社会的发展和进步,蒙汉翻译是两个民族语言交流、沟通的基础要求,它的整个过程都渗透着文化的气息和艺术的特点。
<正>根据市场数据显示,全国农村约有2.3亿个家庭,占全国家庭的67.7%,是全国最大的消费群体。以家电产品而言,预计2010年中国家电市场规模突破10,000亿元,城市占65%,即6,500亿
《管子》作为先秦时期的一部古典著作,内容涉猎治国、经济、军事、社会、生态等诸多领域,在我国思想史上的影响是深远而又广泛的。受重义轻利伦理倾向所影响,先秦时期的思想
<正>党的十八大报告把中国特色社会主义理论体系与中国特色社会主义道路、中国特色社会主义制度一起作为"党和人民90多年奋斗、创造、积累的根本成就",要求全党"必须倍加珍惜
反应热喷涂是自蔓延高温合成技术与热喷涂技术相结合的一种涂层制备技术。综述了4种反应热喷涂技术制备陶瓷涂层的研究现状，分析了各自的优缺点，展望了反应热喷涂技术的发展趋
本文针对网络环境下初中语文教学的特点和需求,对教与学的过程进行分析,提出了利用网络促进语文教学的方法,并指出其中需要注意的问题。
According to the characteristics
结合安阳城市发展过程中不同时期的历史信息,分析朝代更替下的历史空间变迁,提取历史环境中对城市发展极为重要的因素,根据安阳现代城市发展的需要,讨论城市历史环境保护的重
目的探讨外伤性前房积血的年龄分布、致伤物、并发症及治疗结果。方法对732例（732眼）前房积血进行分析。结果732例中,发病年龄以20-29岁最多;致伤原因以拳击伤最常见;并发症以
目的探讨替比夫定治疗乙型肝炎病毒相关性肾炎(hepatitis B virus associated glomerulonephritis,HBV-GN)患者的临床疗效。方法选取2010年5月至2015年12月于佛山市第五人民
针对现代测绘技术在铁路新线定测与既有线路勘测中的应用现状,本文对其进行了科学化的分析,并简要介绍了在铁路勘测设计中运用现代测绘技术的现实意义,结合实例,提出了铁路勘