主权项 |
一种器械设备的工作状态检测方法,其特征在于该检测方法包括以下步骤:(1)获取器械设备的工作状态流程图,该工作状态流程图用佩特里网表示,并记为:既定流程;(2)设上述既定流程中包含器械设备中任意部件的任意动作T,形成一个既定流程中所有的两两任意动作的变迁紧邻关系TAR1,具体过程如下:(2‑1)若任意第i个动作Ti和任意第j个动作Tj的先后顺序为先进行Ti,后进行Tj,且Ti、Tj两个动作之间没有其它动作,则称Ti、Tj两个动作为顺序关系,并将二元组<Ti,Tj>记入变迁紧邻关系TAR1中;(2‑2)若任意第i个动作Ti和任意第j个动作Tj的先后顺序为先进行Ti,后进行Tj,或先进行Tj,再进行Ti,且Ti、Tj两个动作之间没有其它动作,则称Ti、Tj两个动作为并发关系,并将二元组<Ti,Tj>、<Tj,Ti>记入变迁紧邻关系TAR1中;(2‑3)若任意第i个动作Ti和任意第j个动作Tj之间不存在先后顺序则称Ti、Tj两个动作为无关关系;(3)从器械设备的控制系统中获取器械设备的各部件在工作过程中每一步动作的指令集T(c,t),其中c为器械设备中各部件的动作指令,t为该动作指令的开始执行时刻,从器械设备的使用说明书中获取器械设备中各部件的动作指令c与动作a的对照表,根据该对照表,将上述指令集T(c,t)映射为动作集A(a,t);(4)设定一个时间阈值,根据时间阈值,在部件的动作时间间隔大于时间阈值处对动作集A(a,t)进行分段,将上述动作集A(a,t)分段为m个轨迹的集合,记为Tr={Tr<sub>1</sub>,Tr<sub>2</sub>,…Tr<sub>m</sub>},其中,任意一个轨迹Tr<sub>i</sub>包含n<sub>i</sub>个动作:<img file="FDA0000511126420000011.GIF" wi="365" he="74" />;(5)将上述任意一个轨迹Tr<sub>i</sub>中相邻的动作两两组合,构成初始集合TAR2’如下:<maths num="0001" id="cmaths0001"><math><![CDATA[<mrow><mi>TAR</mi><msup><mn>2</mn><mo>,</mo></msup></mrow>]]></math><img file="FDA0000511126420000012.GIF" wi="124" he="53" /></maths><maths num="0002" id="cmaths0002"><math><![CDATA[<mrow><mo>=</mo><mo>{</mo><mo><</mo><msub><mi>a</mi><mn>11</mn></msub><mo>,</mo><msub><mi>a</mi><mn>12</mn></msub><mo>></mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mn>12</mn></msub><mo>,</mo><msub><mi>a</mi><mn>13</mn></msub><mo>></mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mn>13</mn></msub><mo>,</mo><msub><mi>a</mi><mn>14</mn></msub><mo>></mo><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mrow><mn>1</mn><mrow><mo>(</mo><msub><mi>n</mi><mn>1</mn></msub><mo>-</mo><mn>1</mn><mo>)</mo></mrow></mrow></msub><mo>,</mo><msub><mi>a</mi><mrow><mn>1</mn><msub><mi>n</mi><mn>1</mn></msub></mrow></msub><mo>></mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mn>21</mn></msub><mo>,</mo><msub><mi>a</mi><mn>22</mn></msub><mo>></mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mn>22</mn></msub><mo>,</mo><msub><mi>a</mi><mn>23</mn></msub><mo>></mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mn>23</mn></msub><mo>,</mo><msub><mi>a</mi><mn>24</mn></msub><mo>></mo><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo></mrow>]]></math><img file="FDA0000511126420000013.GIF" wi="1896" he="76" /></maths><maths num="0003" id="cmaths0003"><math><![CDATA[<mrow><mo><</mo><msub><mi>a</mi><mrow><mn>2</mn><mrow><mo>(</mo><msub><mi>n</mi><mn>2</mn></msub><mo>-</mo><mn>1</mn><mo>)</mo></mrow></mrow></msub><mo>,</mo><msub><mi>a</mi><mrow><mn>2</mn><msub><mi>n</mi><mn>2</mn></msub></mrow></msub><mo>></mo><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><mo>{</mo><mo><</mo><msub><mi>a</mi><mrow><mi>m</mi><mn>1</mn></mrow></msub><mo>,</mo><msub><mi>a</mi><mrow><mi>m</mi><mn>2</mn></mrow></msub><mo>></mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mrow><mi>m</mi><mn>2</mn></mrow></msub><mo>,</mo><msub><mi>a</mi><mrow><mi>m</mi><mn>3</mn></mrow></msub><mo>></mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mrow><mi>m</mi><mn>3</mn></mrow></msub><mo>,</mo><msub><mi>a</mi><mrow><mi>m</mi><mn>4</mn></mrow></msub><mo>></mo><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><mo><</mo><msub><mi>a</mi><mrow><mi>m</mi><mrow><mo>(</mo><msub><mi>n</mi><mi>m</mi></msub><mo>-</mo><mn>1</mn><mo>)</mo></mrow></mrow></msub><mo>,</mo><msub><mi>a</mi><mrow><mi>m</mi><msub><mi>n</mi><mi>m</mi></msub></mrow></msub><mo>></mo><mo>}</mo><mo>,</mo></mrow>]]></math><img file="FDA0000511126420000014.GIF" wi="1681" he="67" /></maths>消除初始集合TAR2’中的相同项,得到集合TAR2;(6)通过下式计算步骤(2)的集合TAR1与步骤(5)的集合TAR2之间的相似度<maths num="0004" id="cmaths0004"><math><![CDATA[<mrow><mi>Sim</mi><mrow><mo>(</mo><mi>TAR</mi><mn>1</mn><mo>,</mo><mi>TAR</mi><mn>2</mn><mo>)</mo></mrow><mo>=</mo><mfrac><mrow><mo>|</mo><mi>TAR</mi><mn>1</mn><mo>∩</mo><mi>TAR</mi><mn>2</mn><mo>|</mo></mrow><mrow><mo>|</mo><mi>TAR</mi><mn>1</mn><mo>∪</mo><mi>TAR</mi><mn>2</mn><mo>|</mo></mrow></mfrac></mrow>]]></math><img file="FDA0000511126420000021.GIF" wi="758" he="139" /></maths>其中,∩符号表示两个集合的交集,∪符号表示两个集合的并集,||符号表示集合中元素的数量;(7)设定器械设备的工作状态可容忍异常阈值Φ,根据上述相似度,对器械设备的工作状态进行判断,若相似度小于1‑Φ,则判定器械设备的工作状态异常,若相似度大于或等于1‑Φ,则判定器械设备的工作状态正常。 |