【摘 要】
：
S~4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S~4R网的死锁预防方法通常采
【机 构】
：
杭州师范大学杭州国际服务工程学院,解放军陆军军官学院管理工程教研室,浙江大学电子电路与信息系统研究所
论文部分内容阅读
S~4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S~4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S~4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S~4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S~4R控制器.该方法的核心思想是:如果网中已经存在一个P-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性.
其他文献
摘要：2014年，1409号超强台风“威马逊”和1415号台风“海鸥”以相似的路径先后登陆海南省文昌市翁田镇沿海，其引发的两次风暴潮过程。文章分别从热带气旋特征、增水特征、灾害损
传统的高等院校学历教育是一种重理论轻实践的教育,在该模式下培养出来的学生较难适应现实工作。针对这一问题,本文研究了订单式人才培养模式在高职教学过程中的应用方法,并
为了避免金融危机给大学生带来新的心理问题或激化已有心理矛盾,做到防患未然,并能够把这次金融危机当作一次挑战自己、发展自己的机会,高校必须特别关注当前大学生心理问题
针对一类控制增益为一般函数形式的不确定仿射非线性系统,提出一种能够确保全局渐近稳定的自适应神经控制（adaptive neural control,ANC）方法.为了保证神经网络逼近的适用性,设
压电陶瓷执行器中含有非光滑、多值映射、频率依赖的非线性迟滞特性,然而在实际应用中,压电器件的输入输出信号无法直接测量,常规方法难以进行有效的辨识和控制.本文采用三明治模型来精确描述实际对象,并提出一种基于退化激励信号的两步辨识法解决三明治迟滞模型的辨识问题.最后,基于已辨识的三明治模型,设计一个内模控制器,解决压电陶瓷执行器的精密轨迹控制问题.实验结果表明所提出的辨识和控制方案取得了令人满意的结果
以《警戒潮位核定规范》为依据,利用塘沽海洋环境监测站的长期验潮资料,以多年一遇的潮位值和防潮设施的防潮标准等为基础,结合核定区域的地理位置、保护目标的社会经济情况
中国和平崛起是在国际大背景下以科学发展观为指导的自我发展，反过来又会以自我发展的实力促进和谐世界的构建。国际经验告诉我们，一个成功大国的兴起，必然会根据自身实力的变化