PDF《基于服务追踪和预约逻辑的多间隔联闭锁实现方案》

6 R e s e r v a t i o nl o g i cc o n t a i n e d i n t e r l o c k i n g i m p l e m e n t a t i o nm o d e l 预约逻辑的初始值设置为1, 组合条件是根据 闭锁逻辑表达式计算出来的闭锁结果, 开关处于未 被预约状态, 与闭锁逻辑相与后, 不改变闭锁条件 值.当开关被其他设备预约时, 预约逻辑值置换为 0, 此时, 即使开关闭锁逻辑表达式的值是允许操作, 但与预约逻辑值相与之后, 就变成了不允许操作, 表 明该开关被其他设........