Maxim gromow (4 resultados)

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 104 pp. Russisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 104 pp. Russisch.…

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Taschenbuch. Condición: Neu. Uslownye äxperimenty i testy dlq awtomatnyh modelej | Sintez uslownyh razlichaüschih äxperimentow i ih primenenie dlq postroeniq testow | Maxim Gromow | Taschenbuch | Russisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783846504994 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…