{"entities":{"Q702841":{"pageid":704690,"ns":120,"title":"Item:Q702841","lastrevid":63741864,"modified":"2026-04-11T15:14:30Z","type":"item","id":"Q702841","labels":{"en":{"language":"en","value":"Diagnosis of intermittent faults"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2129350"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702841$7E87BD7B-BEF9-48C2-942E-F55F0F288075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1ebc3a81efe03afa405e54f381eca7ae6636a48","datavalue":{"value":{"text":"Diagnosis of intermittent faults","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q702841$5A64D01B-B87C-44FF-AFD4-560DCB9988AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beb5f2d586e95a78832c36f3b1b6c027e85b1254","datavalue":{"value":"1063.93031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702841$869332AA-216E-493B-A295-42A976C6E89A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a90b23eb7bacf3af67e3bfb7cba78aa0a3d1081f","datavalue":{"value":{"entity-type":"item","numeric-id":702839,"id":"Q702839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702841$C66FD401-DB79-4FBA-A288-30DD92AA00B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702841$3D257E04-E32C-4637-BC04-F5468AD49D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca649823e791b84c7df2304553cbbc86366cc237","datavalue":{"value":{"entity-type":"item","numeric-id":702840,"id":"Q702840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702841$B6C29C66-702A-472F-B91C-310A9319CAFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702841$CE3EAB72-4DB0-40C8-81FC-7070C9273A12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90a3a6b51ce61dd6ffe2ca0150d5eb1344f5da74","datavalue":{"value":{"time":"+2005-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q702841$6AB9D60B-BE95-4ADB-A056-B5B8AF266453","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b358d189c44b1ee95789672acd44ecfeee37b33","datavalue":{"value":"Discrete event systems (DESs) are considered for which faulty behaviour occurs ``intermittently'', with fault events \\(f_i\\), \\(i=1,\\dots,m\\), followed by reset events \\(r_i\\), \\(i=1,\\dots,m\\), followed by new occurrences of fault events, and so forth. Since these events are usually unobservable a diagnostic methodology for intermittent faults is developed.  The methodology uses the notions of \\(\\Sigma_f\\)-recurrent and \\(\\Sigma_r\\)-recurrent languages which imply that fault and reset events occur with some regularity along any possible path of the DES's evolution. It is also assumed that there are observable events between some pairs \\((f_i,r_i)\\) and \\((r_i,f_i)\\) for any cycle in the system. In the article some new notions of diagnosability are introduced. These notions imply that the knowledge of observable events allows us to identify the instances where we are certain that faults are present or absent in the system. The associated necessary and sufficient conditions are based upon a technique of ``diagnosers''. The diagnosability conditions are verified in polynomial time in the number of states of diagnosers. Results are illustrated by an example.","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$18FD6958-B1C9-4E30-B403-B7995B43EE1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"280f101b1c750c0ba69a260fa420e20feae2066a","datavalue":{"value":{"entity-type":"item","numeric-id":629779,"id":"Q629779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702841$60D5284E-E9B5-42F5-9A85-C135747F618F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702841$744AF4FB-015F-4A40-AA1B-C19D7D60DCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702841$A7CA1E1B-4294-4C57-8E91-E4E2A773886E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc742e8353161bbe3a68106ea1db3d3fb0db1d18","datavalue":{"value":"2129350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702841$1E6D6742-A8CB-463D-9EFC-3F20661CD557","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77eeeb920fbe05254a6d43d30e4e88439b0ec974","datavalue":{"value":"diagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$6403E0C8-1B2A-47C7-8610-48F6CB82A494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceac7510aeb5b68a3a80cbe55aa72e7d953f22a6","datavalue":{"value":"intermittent faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$448D5C5F-F23B-40D9-806C-CB4F7D0C9074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40824276f4e3fdfc74ad3f67bd3e49838d9da9b8","datavalue":{"value":"fault diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$ABFB344B-BB45-42CB-B261-EA6097D709EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d34714f77793805512ad857105cc08b42ce3a","datavalue":{"value":"fault detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$0B3846BD-BD89-44AF-AFFB-9E8A504EF763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240618ec388efc3b272e73a794d511983c790dce","datavalue":{"value":"Discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$8C4BC633-C1B6-414E-BC07-5D7F18F482DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949e8c2798b88cd5b86d794394aebe46981d5e91","datavalue":{"value":"\\(\\Sigma_r\\)-recurrent languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$2ED259B8-ED2B-444A-8661-440106F0C9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38ab13240acbca44768e9f6c06b5ccfbe8dbbde","datavalue":{"value":"observable events","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$6D1DBFA0-F856-4BA5-A974-625EE53D7900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2440a3cdadcad00ab66bd3505c9d81baffad33","datavalue":{"value":"diagnosers","type":"string"},"datatype":"string"},"type":"statement","id":"Q702841$4661E59D-3821-4FBF-A660-A24081F2E244","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702841$FD1E0FCB-04FE-47F2-AA8E-F993A92BBE42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65812f5889fd492561476020a6177f8101c849cf","datavalue":{"value":"10.1023/B:DISC.0000018570.20941.D2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702841$CFA7464D-13C7-4FB6-B384-417DC9A91052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999ff69cfaeb6cf526672945efa3743eb42441cf","datavalue":{"value":{"entity-type":"item","numeric-id":2409363,"id":"Q2409363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3049d563962222578fd018d8610a8e036f05193b","datavalue":{"value":{"amount":"+0.8868059515953064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702841$757D0E80-AE22-437C-BC84-A1C1C2FD5030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c550cdb5f9670a2c791346e7cf9b8bb1124771","datavalue":{"value":{"entity-type":"item","numeric-id":2058490,"id":"Q2058490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef05b986353b66a730aa302da998c4c57a6f9d6f","datavalue":{"value":{"amount":"+0.8747819066047668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702841$4C8E9D28-6CCB-49D8-ABEF-FF29706F36C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4350b016e4474e51fc6b005d532d1ea2dd2d1b16","datavalue":{"value":{"entity-type":"item","numeric-id":1788687,"id":"Q1788687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3882a8a6a038811ef146e0cb24d659779b1af7","datavalue":{"value":{"amount":"+0.8218038082122803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702841$898C1551-A81D-4FC4-8F22-6CCC3546FB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc28cfd08a268679918b56ce9ff5d44a29b9b24","datavalue":{"value":{"entity-type":"item","numeric-id":4568048,"id":"Q4568048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d53d00054fdd4986f3a8d4aa9f51384507d54b0","datavalue":{"value":{"amount":"+0.8116745352745056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702841$59A6E159-84B7-4D27-992C-207EFBC16A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24773a75281e65f63cc04a15f3acca29f236bb45","datavalue":{"value":{"entity-type":"item","numeric-id":1150353,"id":"Q1150353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337ab3f48c842e361c1c01f83c94d5cda7341742","datavalue":{"value":{"amount":"+0.807443380355835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702841$8486CA19-1FD2-4EFB-8EB5-CE56CA95C8DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diagnosis of intermittent faults","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diagnosis_of_intermittent_faults"}}}}}