{"entities":{"Q1092012":{"pageid":1102764,"ns":120,"title":"Item:Q1092012","lastrevid":49082836,"modified":"2026-01-06T13:56:29Z","type":"item","id":"Q1092012","labels":{"en":{"language":"en","value":"System-level diagnosis: analysis of two new models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012498"}},"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":"Q1092012$5005D362-F8AA-44DB-9E9B-670522EC5D9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4039c2989527e54dbf87f46d2953bfcc812a7d2","datavalue":{"value":{"text":"System-level diagnosis: analysis of two new models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092012$1A9B1D7D-E1FB-4FD5-AC5D-1C154799340A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f124e55484a8260a436a16fae35d2be244c4f36","datavalue":{"value":"0623.94021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092012$798F3994-A25E-4F07-8CBC-F935D9CA1B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"581d5095dcddf97e5d1ce32d454015f7fe112554","datavalue":{"value":"10.1016/0020-0255(86)90002-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092012$DF485AD7-8AFF-4FC4-840E-D2F1E840569D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d818b3a5aa90223715441060d68ec3106916f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1092011,"id":"Q1092011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$9E2A31D1-8F5A-48C8-B281-E10D5E7A6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689d64a7dc4667e6ec215ea2a9161abc905c1a0e","datavalue":{"value":{"entity-type":"item","numeric-id":290245,"id":"Q290245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$9BD007AA-DA3A-416B-A148-36799F83DE92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$3037EAD4-1D51-4F46-978D-0484F5398740","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1092012$3B95502F-13AC-4BF2-BDE4-BC72EF6E7DE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6386093ef6eab63fe51d0520383247fed9b5eab","datavalue":{"value":"The two major digraph models of system-level diagnosis have been thoroughly analyzed. In this paper, we present two variations of the classic digraph models and discuss their viabilities. Then, we present characterization theorems for t-diagnosability (i.e., describe characteristics and assumptions which enable us to determine the status of the units in a system given the test results and that the number of faulty units does not exceed t). We also present one-step and adaptive diagnosis algorithms. We show that one of our algorithms is optimal and describe cases in which diagnosis in our models requires fewer test results and less restrictive topologies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092012$EE04A8CA-3A13-4259-A015-C54CCAC64F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092012$D778386B-CF96-451F-AD8E-7DBE003E2B34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad54c1b1281b8e14c274410e17aea9d54f97bc45","datavalue":{"value":"4012498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092012$F30B5452-B59E-460F-8596-15AF59E45A3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1339764f99d95f2e43e88a4e78dcbb423c7abcb0","datavalue":{"value":"digraph models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092012$5C5FE9B6-116E-4206-9181-653CD1D223B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed6be69400a491790b2ccecdf8a4899c48f7a30","datavalue":{"value":"system-level diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092012$6DC34736-3781-4DC0-AF66-883B9D8D243D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b3af1351618d8b3cd32abb36393eb1c75cb6f0","datavalue":{"value":"characterization theorems for t- diagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092012$0222B653-23DD-4010-BC66-0E0B7DBA729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb46974d0399cf09d8f9aad40dfde99d676e056d","datavalue":{"value":"adaptive diagnosis algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092012$01291483-4BE7-4635-96CC-7FB76F0FB363","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":"Q1092012$50156350-CC34-4E6F-AF9D-046BB554FE37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0c3ba50b806a5470d978f32db0d4b383941be2b","datavalue":{"value":"https://doi.org/10.1016/0020-0255(86)90002-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092012$16EDAB01-CF98-4D0F-878F-5F853C7F8F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82f13209e1d994735efb18391ef015808dacc266","datavalue":{"value":"W2065724440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092012$DE0F70F1-7094-43D1-A188-1ADE7D3932A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56415d29dc5b920e94758149bcc10e94e4b078e3","datavalue":{"value":{"entity-type":"item","numeric-id":4096862,"id":"Q4096862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$BA5BC97A-353F-4DE8-99A4-76DC18E20CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$E370DF5E-3851-4260-9875-76939578E31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f07968a8b136619f22653b30889f9f417cf206","datavalue":{"value":{"entity-type":"item","numeric-id":3905215,"id":"Q3905215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$CC565216-7C6F-421C-8287-988297E102E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9494eb98be105ef5353189172dc826a7685cd41d","datavalue":{"value":{"entity-type":"item","numeric-id":3947602,"id":"Q3947602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$8054D0E4-F5C2-4F5E-A31C-C9F01A60FC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02fa073bf04d4ab7ef21ac2ed1d74c8dd15daff5","datavalue":{"value":{"entity-type":"item","numeric-id":3309627,"id":"Q3309627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$427EFB5C-989A-4520-8A5E-42E54FA89A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5add37bd6c3e2b82289ab0d1d87acd4f3e9390bb","datavalue":{"value":{"entity-type":"item","numeric-id":3220497,"id":"Q3220497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$6A90DB34-6A9D-4E2B-9078-85A9B7099DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f480a3878df18942d418c0d66d953f322b6f49","datavalue":{"value":{"entity-type":"item","numeric-id":4158963,"id":"Q4158963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$6C04E9D9-6BF4-48E7-85D1-F08962ED8E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9c82732984f9b27cc1956b6e90aae530316608","datavalue":{"value":{"entity-type":"item","numeric-id":5583470,"id":"Q5583470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092012$8AF701A0-4895-42FC-B6AB-E2F6A390433F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79591108d4f748ca6c5f1deba6e857c46b133d4","datavalue":{"value":{"entity-type":"item","numeric-id":1821762,"id":"Q1821762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47b0d7f8f050c9bb1c49018e6f57bb33aff9ff9","datavalue":{"value":{"amount":"+0.8195257186889648","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":"Q1092012$DD56DE30-960E-4872-9239-DD33CF1BA16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5aa9fad71cd065e862abb9d2624a0bcec6120","datavalue":{"value":{"entity-type":"item","numeric-id":3220497,"id":"Q3220497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39ffe1da6f2e3bda011d2e67dae29aad7b750c1","datavalue":{"value":{"amount":"+0.8021121025085449","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":"Q1092012$8F3CE56A-9596-4A4D-8EB1-6655111CE4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca34ed43f9b16f74a90c9f34a15966ae107ec8f","datavalue":{"value":{"entity-type":"item","numeric-id":3563207,"id":"Q3563207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7339d5de23dc61b0817751b5338432661580e7d2","datavalue":{"value":{"amount":"+0.7979848980903625","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":"Q1092012$6738F8BF-668D-4911-BB91-945C76D40819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e430fc25b4fcffc10b770bd08c8a901f0de469a","datavalue":{"value":{"entity-type":"item","numeric-id":3753937,"id":"Q3753937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59372f9a3a8b0d4bd2af14e4248da337dcf3693a","datavalue":{"value":{"amount":"+0.7932255268096924","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":"Q1092012$4850EBB9-8886-4F9E-94DA-578FFBCB8746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"631793a96f19626791c4512a2bba9c33d36aa11e","datavalue":{"value":{"entity-type":"item","numeric-id":3688322,"id":"Q3688322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d474ec957efdd772f0fae2f9533853d622309f6","datavalue":{"value":{"amount":"+0.7915641665458679","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":"Q1092012$20A9194A-D116-4CC5-ABEE-261EB65E8F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1092012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1092012"}}}}}