Maxim Gromow

Uslownye äxperimenty i testy dlq awtomatnyh modelej

Sintez uslownyh razlichaüschih äxperimentow i ih primenenie dlq postroeniq testow

• Broschiertes Buch

Produktbeschreibung

V dannoj rabote rassmatriwaetsq wopros sinteza uslownyh razlichaüschih äxperimentow dlq tröh awtomatnyh modelej s nedeterminirowannym powedeniem: whodo-wyhodnyh poluawtomatow s molchaniem, konechnyh awtomatow i wremennyh awtomatow. Takie äxperimenty mogut ispol'zowat'sq dlq sinteza uslownyh prowerqüschih i diagnosticheskih testow dlq diskretnyh sistem, dopuskaüschih awtomatnoe opisanie powedeniq. Jexperimenty predlagaetsq opisywat' poluawtomatom, awtomatom ili wremennym awtomatom, w zawisimosti ot togo, kakaq model' ispol'zowana dlq opisaniq sistemy. Predlagaütsq algoritmy postroeniq razlichaüschih äxperimentow i dokazywaütsq kriterii suschestwowaniq uslownyh razlichaüschih äxperimentow dlq dwuh zadannyh poluawtomatow, dwuh awtomatow i dwuh wremennyh awtomatow. Krome togo, na primere konechnyh awtomatow pokazywaetsq, kak uslownye razlichaüschie äxperimenty mogut byt' ispol'zowany dlq postroeniq prowerqüschih i diagnosticheskih testow w prostyh sluchaqh modeli neisprawnosti.

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 104
• Erscheinungstermin: 21. November 2011
• Russisch
• Abmessung: 220mm x 150mm x 7mm
• Gewicht: 173g
• ISBN-13: 9783846504994
• ISBN-10: 3846504998
• Artikelnr.: 62794334

Autorenporträt

Gromow M.L., kandidat fiziko-matematicheskih nauk, rodilsq w 1981 godu w gorode Tomske. V 1998 godu postupil w Tomskij gosudarstwennyj uniwersitet, kotoryj okonchil w 2004 godu. Dissertaciü zaschitil w dekabre 2009 goda.