[发明专利]用INUSE矩阵控制判断流程冲突的方法

权利要求书

1.一种用INUSE矩阵控制判断流程冲突的方法，其特征在于：通过INUSE公用矩阵和流程矩阵进行逻辑运算，根据运算结果判断所选流程与已运行流程是否冲突。

2.根据权利要求1所述的用INUSE矩阵控制判断流程冲突的方法，其特征在于：包含如下步骤：

步骤a、将设备安装到位；

步骤b、在每条流程中找出关键设备，所谓关键设备就是此设备由多个流程使用，但不能由多个流程同时使用，在同一时间只能由一个流程使用；

步骤c、定义公用矩阵，由字变量或双字变量建立二维INUSE公用矩阵，矩阵的大小可由关键设备的多少来确定，定义二维INUSE公用矩阵中的位代表某个关键设备，其中用不到的位默认为0，在初始化时使INUSE公用矩阵中的每一位均为0；

步骤d、定义流程矩阵，每一个流程对应一个流程矩阵，流程矩阵的大小和INUSE公用矩阵相同，且每一位的定义和公用矩阵一样，根据流程包含关键设备在流程矩阵的位置，以十六进制的方式、以字为单位用相应的常数给对应的流程矩阵初始化，把流程所包含的关键设备对应于流程矩阵中的位的值置为常数1，其它不用的位复位为0；当流程矩阵包含多个字的情况下，以字为单位依次赋值，直到把流程矩阵赋完值，初始化后流程矩阵的值是个定值；

步骤e、系统操作，当画面输入流程号后点击选择按钮时，程序把流程号对应的流程矩阵和公用矩阵进行与运算，把与运算结果放到判断矩阵中，当判断矩阵的结果为0时，说明此流程所包含的关键设备没有被其它流程占用，当前流程可选；反之证明当前流程不可选；

当流程选上后，当前流程矩阵再与公用矩阵进行或运算，使流程矩阵中为1的位对应于公用矩阵中的位的值为1，即此位所表示的关键设备已被流程占用；当运算结果为非0时，说明当前所选流程中有的关键设备被其它流程占用，产生流程冲突运算结果，并在监控画面中提示流程冲突信息，告知岗位操作人员，当前所选流程与已运行流程冲突而无法选上，不能进行流程启动相关操作；

步骤f、在流程停止且撤销流程操作时，流程矩阵与INUSE公用矩阵进行异或运算，把运算结果赋值给INUSE公用矩阵，把撤销流程包含的关键设备在公用矩阵中对应的位复位为0，说明此关键设备已不再被使用，可供其它流程应用。

3.根据权利要求2所述的用INUSE矩阵控制判断流程冲突的方法，其特征在于：步骤c中，由字变量或双字变量建立二维INUSE公用矩阵。

4.根据权利要求3所述的用INUSE矩阵控制判断流程冲突的方法，其特征在于：关键设备包括可逆运转设备。