【摘 要】
：
资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出：对于任意一个非空资源子集R1,若资源变迁网
【基金项目】
：
国家自然科学基金项目（60673053）, 漳州师范学院博士科研启动基金项目
论文部分内容阅读
资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出：对于任意一个非空资源子集R1,若资源变迁网NR关于R1的内连子网N1=NR[R1∪（.R1 ∩ R1.）]是强连通的,则一定存在以R1为资源集的资源变迁回路,特别地,θ=〈R1,（.R1 ∩ R1.）〉就是其中一个.进一步,若θ又满足完美条件,则θ即为N的一个完美极大资源变迁回路.
其他文献
党的十八大报告提出2020年城乡居民人均收入比2010年翻一番,强调千方百计增加居民收入,指出实现两个同步,提高两个比重,着力促进农民增收,规范收入分配秩序,坚持走共同富裕道
“马钢杯”第六届全国钢铁行业职业技能竞赛于2012年10月16日在马钢会堂落下帷幕。马钢选手王志堂、王昔文、刘军和太钢选手李舒在竞赛中脱颖而出，分别夺得高炉炼铁工、化学分
根据微软和IBM公司提出的BPEL Web服务合成规范,文中加入相关的构件元素,提出构件与Web服务的混合组装规范,形成经过改进的企业流程执行语言(EFEL),并且创建合理的企业应用工
提出了一种基于微粒群和模拟退火的图像恢复算法.算法结合了微粒群优化快速的搜索能力和模拟退火算法良好的全局收敛性能的优点,能应用于不同类型退化图像的恢复.仿真结果表明,该算法可使图像恢复效果得到改进和提高,是一种有效的图像恢复方法.
为提高2-D IDCT的解码速度,文中设计了一种基于DA的2-D IDCT处理器.该处理器在算法上用1-D IDCT实现2-D IDCT,用Chen算法实现1-D IDCT,用DA实现乘加结构.通过将输入数据分成
文中研究如何构建高效的P2PSIP系统,以节省SIP系统部署开销和提高系统运行的稳定性.考虑到SIP系统对时延非常敏感,首先改进了Kademlia协议的资源定位模型,然后提出了新型的P2
Web服务组合的有效性取决于实时的网络环境,若仅提供一种较优的Web服务组合结果,在组合失效时需要重新提出服务组合请求.采用基于与或关系的Web服务组合算法,在筛选和匹配相
日本减少温室气体排放行动在国际上具有一定的领先性。而近年来日本政府建设低碳社会的目标制定与路线规划,立足于一批智囊的研究基础。本文介绍了日本智囊团提出的建设低碳
经济增速放缓往往导致居民消费增长率下降,进而给异质居民的福利带来差异化的不利影响。本文采用辽宁省1994—2007年不同层面数据系统量化经济增速下滑对异质居民的福利影响
对基建施工企业目标成本管理，有的施工企业设定从中标价中减去预期利润、应上缴的管理费用等，余下的就是企业在施工过程中所能够支出的最大限额，即目标成本；有的施工企业采用全面