简介:皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的“节点爆炸”问题,使模型在表述系统逻辑控制行为时简单有效。
简介:借由法院系统内部的操作规范与司法解释所创设的不动产买卖合同实现与执行的顺位规则,在不动产"一物数卖"无法可用的情况下,解决了司法实践的燃眉之需,也为法律规则注入了道德血液。然而相关规则存在体系性较差的弊病,真正属于债权竞合的规则未能清晰地提炼出来,规则的正当性亦未得到充分的阐释。不动产买卖合同竞合的裁判规则包含三个顺位:合法占有者、先行支付价款者、在先成立者;不动产买卖合同竞合的执行规则为:支付价款达一定比例者优先于金钱债权。这两种竞合规则在整体上基于物债二分的类型论获得其逻辑体系上的正当性,权利外观规则与政策考量则分别补强了合法占有者优先与先行支付者优先规则。
简介:为解释本体中概念不满足的原因,利用2个对等转换(即公理细化和本体约减)与3个判别规则识别不满足概念C的最小不一致知识子集(MUPS).其中,判别规则基于不满足概念的传递性,将MUPS分为3类:完全依赖于C(MUPSf)、传递依赖于C(MUPSt)和不确定依赖于C(MUPSu).实验结果表明:在本体不满足概念的MUPS中,MUPSt往往占大多数,但只有MUPSf可以明确指出概念不满足的根本原因.本体建模人员和领域专家可以采用迭代修复方式,每一次修复只考虑MUPSf,以提高修复效率.所得分类结果对于从修复角度评价本体质量以及指导修复工作都具有重要意义.