Conditional local self-regulation rules and a diagnostic algorithm for a multiprocessor system with circulant diagnostic structure based on these rules

We consider local testing on the system level for multiprocessor (modular) computational systems (CS) with multiple faults. CS has a circulant diagnostic structure. Outcomes of the tests performed by faulty units correspond to a well-known model of Preparata, Metze, and Chien. The testing problem is...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Automation and remote control Jg. 73; H. 5; S. 862 - 872
1. Verfasser: Dimitriev, Yu. K.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Dordrecht SP MAIK Nauka/Interperiodica 01.05.2012
Schlagworte:
CAE) and Design
Calculus of Variations and Optimal Control; Optimization
Computer-Aided Engineering (CAD
Control
Mathematics
Mathematics and Statistics
Mechanical Engineering
Mechatronics
Persistence
Reliability
Robotics
Safety
Systems Theory
Technical Diagnostics
Consistency Function
Fault Image
Operational Vertex
Disjunctive Normal Form
Remote Control
ISSN:0005-1179, 1608-3032
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract We consider local testing on the system level for multiprocessor (modular) computational systems (CS) with multiple faults. CS has a circulant diagnostic structure. Outcomes of the tests performed by faulty units correspond to a well-known model of Preparata, Metze, and Chien. The testing problem is formulated as the problem of finding at least one actually operational unit with which one can diagnose the state of the system as a whole. We introduce the conditions for finding a set of units that includes all faulty units present in the system. We present a system self-testing algorithm. We show that using this algorithm, one can reach local t -diagnosability of a CS with circulant diagnostic structure for any number of units N and fault multiplicity t that satisfy N ≥ 2 t + 1.
AbstractList We consider local testing on the system level for multiprocessor (modular) computational systems (CS) with multiple faults. CS has a circulant diagnostic structure. Outcomes of the tests performed by faulty units correspond to a well-known model of Preparata, Metze, and Chien. The testing problem is formulated as the problem of finding at least one actually operational unit with which one can diagnose the state of the system as a whole. We introduce the conditions for finding a set of units that includes all faulty units present in the system. We present a system self-testing algorithm. We show that using this algorithm, one can reach local t -diagnosability of a CS with circulant diagnostic structure for any number of units N and fault multiplicity t that satisfy N ≥ 2 t + 1.
Author Dimitriev, Yu. K.
Author_xml – sequence: 1
  givenname: Yu. K.
  surname: Dimitriev
  fullname: Dimitriev, Yu. K.
  organization: Rzhanov Institute of Semiconductor Physics, Siberian Branch, Russian Academy of Sciences
BookMark eNp9kNtKAzEQhoNUsK0-gHd5gdXJnvdSiicoeKFeL9kctinppmSySJ_E1zVrvRCF3szA_883w_wLMhvcoAi5ZnDDWJbfvgJAwVjVsBQKYJCfkTkroU4yyNIZmU92MvkXZIG4BWAM0mxOPldukCYYN3BLrROxorI68aofLZ906kerkPJBUk6l4f3gMBhBue2dN2Gzo9r5aO1GG8zeO6EQo4AHDGpHP-IEFcaLuG0Iv3kMfhRh9Ip2HJWk8VLYKFTHe5fkXHOL6uqnL8n7w_3b6ilZvzw-r-7WiUjrOiRNwTroSi3yLm14x1XVdRJ0U8ZQai7i17LgPBdllkZRNo0uAXTKSgkVQN5lS1Id9wrvEL3SrTDh--_gubEtg3bKt_2XbyTZH3LvzY77w0kmPTIYZ4de-XbrRh-jxxPQF5mSkdA
CitedBy_id crossref_primary_10_1134_S0005117916060096
crossref_primary_10_1134_S0005117915070115
Cites_doi 10.1134/S0005117907030149
10.1109/PGEC.1967.264748
10.1109/TC.1984.1676472
10.1134/S0005117908070138
10.1109/TC.1981.6312161
ContentType Journal Article
Copyright Pleiades Publishing, Ltd. 2012
Copyright_xml – notice: Pleiades Publishing, Ltd. 2012
DBID AAYXX
CITATION
DOI 10.1134/S0005117912050104
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Mathematics
EISSN 1608-3032
EndPage 872
ExternalDocumentID 10_1134_S0005117912050104
GroupedDBID -5D
-5G
-BR
-EM
-Y2
-~C
-~X
.4S
.86
.DC
.VR
06D
0R~
0VY
1N0
23N
2J2
2JN
2JY
2KG
2KM
2LR
2P1
2VQ
2~H
30V
4.4
408
409
40D
40E
5GY
5VS
67Z
6NX
8UJ
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
ABAKF
ABBBX
ABBXA
ABDBF
ABDZT
ABECU
ABEFU
ABFTD
ABFTV
ABHQN
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABSXP
ABTAH
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ACAOD
ACBXY
ACDTI
ACGFS
ACHSB
ACHXU
ACIWK
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSNA
ACUHS
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADKPE
ADMLS
ADRFC
ADTPH
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEMSY
AENEX
AEOHA
AEPYU
AETLH
AEVLU
AEXYK
AFBBN
AFFNX
AFGCZ
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHSBF
AHYZX
AI.
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJBLW
AJRNO
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARCSS
ARMRJ
ASPBG
AVWKF
AXYYD
AZFZN
B-.
B0M
BA0
BAPOH
BDATZ
BGNMA
BSONS
CAG
COF
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
EAD
EAP
EBLON
EBS
EDO
EIOEI
EJD
EMK
EPL
ESBYG
ESX
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ6
GQ7
GQ8
GROUPED_DOAJ
GXS
H13
HF~
HG6
HLICF
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
H~9
I-F
IHE
IJ-
IKXTQ
IWAJR
IXC
IXD
IXE
IZIGR
IZQ
I~X
I~Z
J-C
JBSCW
JCJTX
JZLTJ
KDC
KOV
LAK
LLZTM
M4Y
MA-
MK~
N2Q
NB0
NPVJJ
NQJWS
NU0
O9-
O93
O9J
OAM
OVD
P2P
P9O
PF0
PT4
QOS
R89
R9I
RNI
RNS
ROL
RPX
RSV
RZC
RZE
S16
S1Z
S27
S3B
SAP
SDH
SHX
SISQX
SJYHP
SMT
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TEORI
TN5
TSG
TSK
TSV
TUC
TUS
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
VH1
W23
W48
WH7
WK8
XU3
YLTOR
Z7R
Z7Z
Z83
Z88
ZMTXR
ZY4
~8M
~A9
AAPKM
AAYXX
ABDBE
ABFSG
ABJCF
ABRTQ
ACSTC
ADHKG
AEZWR
AFDZB
AFFHD
AFHIU
AFKRA
AFOHR
AGQPQ
AHPBZ
AHWEU
AIXLP
ARAPS
ATHPR
BENPR
BGLVJ
CCPQU
CITATION
HCIFZ
K7-
M7S
PHGZM
PHGZT
PQGLB
PTHSS
ID FETCH-LOGICAL-c288t-951b0b6fc4b29abae7bbd0f961138ac000d5aa4c632f96d99f600f216d07004b3
IEDL.DBID RSV
ISICitedReferencesCount 2
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000304171100010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0005-1179
IngestDate Sat Nov 29 06:42:01 EST 2025
Tue Nov 18 22:15:44 EST 2025
Fri Feb 21 02:33:48 EST 2025
IsPeerReviewed true
IsScholarly true
Issue 5
Keywords Consistency Function
Fault Image
Operational Vertex
Disjunctive Normal Form
Remote Control
Language English
License http://www.springer.com/tdm
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c288t-951b0b6fc4b29abae7bbd0f961138ac000d5aa4c632f96d99f600f216d07004b3
PageCount 11
ParticipantIDs crossref_citationtrail_10_1134_S0005117912050104
crossref_primary_10_1134_S0005117912050104
springer_journals_10_1134_S0005117912050104
PublicationCentury 2000
PublicationDate 2012-05-01
PublicationDateYYYYMMDD 2012-05-01
PublicationDate_xml – month: 05
  year: 2012
  text: 2012-05-01
  day: 01
PublicationDecade 2010
PublicationPlace Dordrecht
PublicationPlace_xml – name: Dordrecht
PublicationTitle Automation and remote control
PublicationTitleAbbrev Autom Remote Control
PublicationYear 2012
Publisher SP MAIK Nauka/Interperiodica
Publisher_xml – name: SP MAIK Nauka/Interperiodica
References Dahbura, Masson (CR6) 1984; C-33
Meyer (CR5) 1981; C-30
Dimitriev (CR1) 2007; 68
CR4
Dimitriev (CR2) 2008; 69
Preparata, Metze, Chien (CR3) 1967; ES-16
Yu.K. Dimitriev (9696_CR2) 2008; 69
G.G.L. Meyer (9696_CR5) 1981; C-30
9696_CR4
A.T. Dahbura (9696_CR6) 1984; C-33
Yu.K. Dimitriev (9696_CR1) 2007; 68
F.P. Preparata (9696_CR3) 1967; ES-16
References_xml – volume: 68
  start-page: 545
  issue: 3
  year: 2007
  end-page: 556
  ident: CR1
  article-title: Local Diagnostication in Computer Systems with the Circulant Structure
  publication-title: Autom. Remote Control
  doi: 10.1134/S0005117907030149
– ident: CR4
– volume: ES-16
  start-page: 848
  issue: 4
  year: 1967
  end-page: 854
  ident: CR3
  article-title: On the Connection Assignment Problem of Diagnosable Systems
  publication-title: IEEE Trans. Electron. Comput.
  doi: 10.1109/PGEC.1967.264748
– volume: C-33
  start-page: 486
  issue: 6
  year: 1984
  end-page: 492
  ident: CR6
  article-title: An O(n ) Fault Identification Algorithm for Diagnosable Systems
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/TC.1984.1676472
– volume: C-30
  start-page: 81
  issue: 1
  year: 1981
  end-page: 83
  ident: CR5
  article-title: A Fault-Diagnosis Algorithm for Asymmetric Modular Architectures
  publication-title: IEEE Trans. Comput.
– volume: 69
  start-page: 1223
  issue: 7
  year: 2008
  end-page: 1230
  ident: CR2
  article-title: Partial and Complete Local Diagnosis in Computer Systems with Circulant Structure
  publication-title: Autom. Remote Control
  doi: 10.1134/S0005117908070138
– volume: 69
  start-page: 1223
  issue: 7
  year: 2008
  ident: 9696_CR2
  publication-title: Autom. Remote Control
  doi: 10.1134/S0005117908070138
– volume: C-30
  start-page: 81
  issue: 1
  year: 1981
  ident: 9696_CR5
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/TC.1981.6312161
– volume: C-33
  start-page: 486
  issue: 6
  year: 1984
  ident: 9696_CR6
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/TC.1984.1676472
– volume: 68
  start-page: 545
  issue: 3
  year: 2007
  ident: 9696_CR1
  publication-title: Autom. Remote Control
  doi: 10.1134/S0005117907030149
– volume: ES-16
  start-page: 848
  issue: 4
  year: 1967
  ident: 9696_CR3
  publication-title: IEEE Trans. Electron. Comput.
  doi: 10.1109/PGEC.1967.264748
– ident: 9696_CR4
SSID ssj0011023
Score 1.873672
Snippet We consider local testing on the system level for multiprocessor (modular) computational systems (CS) with multiple faults. CS has a circulant diagnostic...
SourceID crossref
springer
SourceType Enrichment Source
Index Database
Publisher
StartPage 862
SubjectTerms CAE) and Design
Calculus of Variations and Optimal Control; Optimization
Computer-Aided Engineering (CAD
Control
Mathematics
Mathematics and Statistics
Mechanical Engineering
Mechatronics
Persistence
Reliability
Robotics
Safety
Systems Theory
Technical Diagnostics
Title Conditional local self-regulation rules and a diagnostic algorithm for a multiprocessor system with circulant diagnostic structure based on these rules
URI https://link.springer.com/article/10.1134/S0005117912050104
Volume 73
WOSCitedRecordID wos000304171100010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: SpringerLink Journals
  customDbUrl:
  eissn: 1608-3032
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0011023
  issn: 0005-1179
  databaseCode: RSV
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JTsMwELWgcIADO6Js8oETyFLqOKlzRBUVFyrEpt4qO55ApZCiJOVX-F3GcVK1YpHgGGecWN7m2TPzhpAzZRRu-txngNqZCRFrXHMyYZY6LdQhjwCSKtlEdzCQw2F0W8dxF423e2OSrHZql3dE2JhenECWTZN7gT1FLJMV1HbS5mu4u3-amQ4sF4HDvAGz4rUp89tPLCqjRUtopWD6m_9q2hbZqPEkvXQTYJssQbZD1udYBvHpZkbNWuySj97EWqmrG0BaaTJaQJqw3CWlx3KaT1MoqMoMVdQ4VzysS1X6PMnH5csrRaCLr5wvogs0wALHCU3txS6Nx7n1b83K-fqOqnaaA7Wq01D8E7arAPe_PfLYv3roXbM6OwOLuZQlQ2imPRsqJDSPlFbQ1dp4SRRil0gVY5eYQCkRhz7HQhNFCWKrhHdC41lKfe3vk1Y2yeCAUBC4k-gEpBa-QBmJiF9CrEUHdBR40CZeM0yjuKYutxk00lF1hPHF6MsItMn5rMqb4-34TfiiGddRvYSLn6UP_yR9RNYQY3HnI3lMWtjVcEJW4_dyXOSn1dT9BMH16JY
linkProvider Springer Nature
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1bS8MwFA46BfXBuzivefBJCXRp2qWPMhyK2xCdsreSpKkOaidt51_x73rSdGPDC-hj05M25Ha-5JzzHYTORCRg06cu0aCdCWNKwprjMTHUab70aaB1XCabaPZ6fDAI7qo47nzi7T4xSZY7tc07wkxML0wgw6ZJHc-cIhbREgOFZQjz7x-epqYDw0VgMa9HjHhlyvz2E_PKaN4SWiqY9sa_mraJ1is8iS_tBNhCCzrdRmszLIPw1J1Ss-Y76KM1Mlbq8gYQl5oM5zqJSWaT0kM5zsaJzrFIIyxwZF3xoC4WyfMoGxYvrxiALryyvog20AAKLCc0Nhe7WA0z49-aFrP1LVXtONPYqM4Iw5-gXbm2_9tFj-2rfuuaVNkZiKKcFwSgmXRMqBCTNBBS6KaUkRMHPnQJFwq6JPKEYMp3KRRGQRADtoppw48cQ6kv3T1US0ep3kdYM9hJZKy5ZC4DGQ6In2slWUPLwHN0HTmTYQpVRV1uMmgkYXmEcVn4ZQTq6Hxa5c3ydvwmfDEZ17BawvnP0gd_kj5FK9f9bifs3PRuD9Eq4C1q_SWPUA26XR-jZfVeDPPspJzGn7Ex63o
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3JTsMwELWgIAQHdkRZfeAEikgdJ3WOqFCBgKoSi3qL7NiGSiWtkpRf4XcZx0nVikVCHOOMF3mbGc_MG4ROuORw6RPPUcCdHUpjAWeOacdApwUiIKFSukg20ex0WK8Xdss8p1nl7V6ZJG1Mg0FpSvLzkdRlDhJq4nthMxlkTeL6RqOYRwvU-NEbdf3heWJGMLgEVv71HUNemjW_bWKWMc1aRQtm01779zDX0WopZ-ILuzE20JxKNtHKFPogfN1PIFuzLfTRGhrrdfEyiAsOhzM10E5qk9VDOU7HA5VhnkjMsbQuelAX88HLMO3nr28YBGD4ZX0UbQACFFisaGwefHHcT43fa5JP17cQtuNUYcNSJYaeYFyZsv1to6f21WPr2imzNjgxYSx3QGQTrgkhooKEXHDVFEK6OgxgShiPYUqkzzmNA49AoQxDDTKXJo1AugZqX3g7qJYME7WLsKJwwwitmKAeBRoGmgBTsaANJULfVXXkVksWxSWkucmsMYgK1caj0ZcVqKPTSZWRxfP4jfisWuOoPNrZz9R7f6I-Rkvdy3Z0d9O53UfLIIYR60Z5gGow6-oQLcbveT9Lj4od_Qk1EPRe
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Conditional+local+self-regulation+rules+and+a+diagnostic+algorithm+for+a+multiprocessor+system+with+circulant+diagnostic+structure+based+on+these+rules&rft.jtitle=Automation+and+remote+control&rft.au=Dimitriev%2C+Yu.+K.&rft.date=2012-05-01&rft.issn=0005-1179&rft.eissn=1608-3032&rft.volume=73&rft.issue=5&rft.spage=862&rft.epage=872&rft_id=info:doi/10.1134%2FS0005117912050104&rft.externalDBID=n%2Fa&rft.externalDocID=10_1134_S0005117912050104
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0005-1179&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0005-1179&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0005-1179&client=summon