Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Sintez uslownyh razlichaüschih äxperimentow i ih primenenie dlq postroeniq testow
Details
| Verlag | LAP LAMBERT Academic Publishing |
| Ersterscheinung | 21. November 2011 |
| Maße | 22 cm x 15 cm x 0.7 cm |
| Gewicht | 173 Gramm |
| Format | Softcover |
| ISBN-13 | 9783846504994 |
| Seiten | 104 |