Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/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 |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 286-293.pdf | 5,12 MB | Adobe PDF | Переглянути/Відкрити | |
| sp_lit 286-293.pdf | 52,07 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.