【摘 要】
：
提出了一种应用于柔性制造系统中的避免死锁的算法.该算法是对银行家算法的改进.银行家算法适用于操作系统,而操作系统与柔性制造系统之间存在差异,为使该算法适用于柔性制造
论文部分内容阅读
提出了一种应用于柔性制造系统中的避免死锁的算法.该算法是对银行家算法的改进.银行家算法适用于操作系统,而操作系统与柔性制造系统之间存在差异,为使该算法适用于柔性制造系统,必须对其进行改进.通过研究操作系统中的进程与制造系统中的加工任务之间的差别,对算法进行改进.对制造系统采用形式化的建模方法,将建立的模型转换成适合进行模型检查的形式.运用SPIN来对此算法进行仿真,并验证此算法模型的正确性.
其他文献
梳理2005年1月1日-2018年12月31日,国内中国知网CNKI数据库中基于自我效能感理论的英语写作研究的主要成果。主要包括对研究情况的分类与统计;对写作自我效能感的研究内容进
采用GIS技术对格氏栲天然林土壤有机碳空间分布特征及其影响因素进行研究,结果表明：土壤有机碳含量（O）、土壤有机碳密度、土壤有机碳储量均属于中等变异,且随土层深度的增加而减
通过诉讼、非讼等程序获得执行依据后，债务人不履行义务的，债权人尚需启动强制执行程序实现对担保财产的优先受偿。我国现行法及最高院的批复、裁定等虽对实现担保物权强制执行
浓厚的兴趣将是人们刻苦钻研的强大动力。孔子说：“知之者不如好之者，好之者不如乐之者。”爱因斯坦说：“兴趣是最好的教师。”杨振宁博士也说过：“成功的真正秘诀是兴趣。”学生
目的:构建四妙勇安汤活性部位配伍方薄层色谱鉴别方法和HPLC测定绿原酸和哈巴俄苷的含量测定方法。方法:采用薄层色谱法对配伍方中玄参、甘草进行鉴别,采用HPLC对配伍方中绿
分析了烧结机台车在日常生产过程中出现的常见问题,并提出了各种问题的解决措施,从而降低了烧结机台车的故障率;有效提高了烧结机设备作业率。
这次部队拉练行程100多公里,途经大小村庄17座,部队走到哪里,就把国防教育带到哪里。为了把国防教育深入到群众当中去。部队自己创作并排练了一台充满国防教育内容的文艺节目
教育投入可以加速社会资源在产业之间的自由流动和优化配置,是推动产业结构优化升级的重要手段。本文通过构建产业结构合理化和高级化指数,从产业结构布局优化与产业结构升级
为了提升气象服务能力,合理掌握日光温室保温帘揭盖时间,进而提升生产水平和经济效益,利用日光温室揭开保温帘时间的数学模型,对安塞冬季日光温室保温帘揭开时间进行分析验证
研究基于水浸束缚应激法建立大鼠急性应激模型的可行性并观察大鼠胃、回肠、盲肠、结肠病理学变化及其菌群图谱变化规律。选取健康雄性SD大鼠为研究对象,随机分为对照组和模