eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Обчислювальна техніка та автоматизація >
Випуск 74 >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/24546
|
Название: | Теоретическое обоснование метода Тудика |
Другие названия: | A theoretical grounding of the Toudic method |
Авторы: | Зайцев, Д.А. Zaitsev, D.A. |
Ключевые слова: | метод Тудика Toudic method диофантовые уравнения diophantine equations сети Петри Petri nets |
Дата публикации: | 2004 |
Издатель: | ДонНТУ |
Библиографическое описание: | Наукові праці Донецького національного технічного університету. Серія: “Обчислювальна техніка та автоматизація”. Випуск 74 / Редкол.: Башков Є.О. (голова) та ін. — Донецьк: ДонНТУ, 2004. |
Аннотация: | A theoretical grounding of the well-known and described in the literature as heuristic Toudic method meant for a searching of the Petri-nets invariants, that is an integer nonnegative decision of a linear homogeneous diophantine equations system, is proposed. First the grounding of the one equation's decision basis is given, then the results for the whole equation's system are synthesized. To generate all solutions via Toudic's basis a linear combination is extended by special operation of reduction in common measure of vectors' component. |
URI: | http://ea.donntu.edu.ua/handle/123456789/24546 |
Располагается в коллекциях: | Випуск 74
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|