Математическое моделирование динамики клеточных автоматов операциями над матрицами глобального состояния : диссертация на соискание ученой степени кандидата физико-математических наук : 1.2.2.

Συγγραφείς: Матолыгина, Наталия Андреевна, Громов, Максим Леонидович (научный руководитель)

Συνεισφορές: Томский государственный университет

Θεματικοί όροι: математическое моделирование, численные методы и комплексы программ, диссертации, автоматы клеточные, автоматы клеточные блочные, динамика, Мура автомат, клеточно-автоматные модели, математические модели динамики клеточных автоматов, дискретные системы, математические модели, программная реализация, вычисление агрегированного состояния, математическое моделирование матрицами, TensorFlow, фреймворк, матрицы, последовательность операций (формула эволюции), автоматы конечные детерминированные, автоматы конечные недетерминированные, "Жизнь", клеточный автомат-игра

Περιγραφή αρχείου: application/pdf

Relation: koha:001268061; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001268061

Διαθεσιμότητα: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001268061

Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability

Συγγραφείς: Kushik, Natalia G.

Συνεισφορές: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур

Πηγή: Известия высших учебных заведений. Физика. 2012. Т. 55, № 8/3. С. 242-243

Θεματικοί όροι: автоматы конечные недетерминированные

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000443904

On separating UML specified non-deterministic finite state machines with time-outs

Συγγραφείς: Galimullin, Rustam

Συνεισφορές: Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2012. Т. 55, № 8/3. С. 227-228

Θεματικοί όροι: автоматы конечные недетерминированные

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000451940

On the length of homing sequences for nondeterministic finite state machines

Συγγραφείς: Kushik, Natalia G., Yevtushenko, Nina V.

Συνεισφορές: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур, Томский государственный университет Радиофизический факультет Научные подразделения РФФ

Πηγή: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : Proceedings. Berlin, 2013. P. 220-231

Θεματικοί όροι: конечные автоматы, автоматы конечные недетерминированные

Περιγραφή αρχείου: application/pdf

Relation: vtls:000471151; https://openrepository.ru/article?id=331818

Διαθεσιμότητα: https://doi.org/10.1007/978-3-642-39274-0_20
https://openrepository.ru/article?id=331818

Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01.

Συγγραφείς: Кушик, Наталья Геннадьевна

Συνεισφορές: Томский государственный университет

Θεματικοί όροι: Системный анализ, управление и обработка информации, диссертации, автоматы конечные, автоматы конечные детерминированные, автоматы конечные недетерминированные, полуавтоматы синхронизируемые, эксперименты с автоматами умозрительные, синтез, эксперименты с автоматами адаптивные, эксперименты с автоматами проверяющие

Περιγραφή αρχείου: application/pdf

Relation: vtls:000539855; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000539855

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000539855

Generating checking sequences for nondeterministic finite state machines

Συγγραφείς: Petrenko, Alexandre F., Simao, Adenilso da Silva, Yevtushenko, Nina V.

Συνεισφορές: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур

Πηγή: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012. Montreal ; Quebec , 2012. P. 310-319

Θεματικοί όροι: тестирование, автоматы конечные недетерминированные

Περιγραφή αρχείου: application/pdf

Relation: vtls:000436752; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000436752

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000436752