论文部分内容阅读
使用库所/变迁网来描述进程的互斥算法,并针对两个进程交替进入临界段算法的不足,提出了一种高效率的改进算法.
基于Petri网的互斥算法
【摘 要】
：
使用库所/变迁网来描述进程的互斥算法,并针对两个进程交替进入临界段算法的不足,提出了一种高效率的改进算法.
【机 构】
：
张家口师范专科学校计算机系
【出 处】
：
高师理科学刊
【发表日期】
：
2001年2期
其他文献
以辽阳职业技术学院机械制造及自动化专业为例，探讨了围绕该专业发展需求，建立健全覆盖教学全过程的质量监控体系的方式。并通过多年的实践，使得该专业的教学不断改进和发展，取得
给出了连续命题逻辑的基础，命题逻辑变成了它的特命例，并给出了某些应用。
在教学过程和学生生产实习、教育实习等环节培养学生的实践能力.采取将科研引入教学过程、加强实验教学等手段来提高学生的实践能力,增强了学生自信心,激发了学生的学习积极
给出用单纯形法求线性规划问题中寻找初始可行基的几种方法，阐明每种方法的优缺点及适用范围。
研究了保持微型计算机系统的资源具有秘密性、完备性和可用性等系统安全问题.
通过茎尖培养技术达到彻底脱掉马铃薯病毒,从而培养无毒苗解决马铃薯质量退化问题,也解决了马铃薯产量较低的问题,同时提出脱毒所用试剂采用升汞(0.1%HgCl,2%酒精)代替次氯酸
分析了远程教育中的不利因素，为了克服这些不利因素，根据协作学习理论，提出了基于课程的协作学习模式。该模式分为个体式、小组式、整体式三种教学形式。在实践该模式时应注意目
文章根据合肥地区桩基的设计施工实例，总结合肥地区常用桩基的设计和施工经验，提出有针对性的桩基质量控制措施。具有实际意义。
运用解析法研究相贯线的特殊点，解决了画法几何学中解决不了的问题。