1. Електронний архів ДонНТУ м.Покровськ
  2. Наукові праці ДонНТУ
  3. Серія: Обчислювальна техніка та автоматизація
  4. Випуск 74
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/24546
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorЗайцев, Д.А.-
dc.contributor.authorZaitsev, D.A.-
dc.date.accessioned2014-01-16T08:59:33Z-
dc.date.available2014-01-16T08:59:33Z-
dc.date.issued2004-
dc.identifier.citationНаукові праці Донецького національного технічного університету. Серія: “Обчислювальна техніка та автоматизація”. Випуск 74 / Редкол.: Башков Є.О. (голова) та ін. — Донецьк: ДонНТУ, 2004.en_US
dc.identifier.urihttp://ea.donntu.edu.ua/handle/123456789/24546-
dc.description.abstractA 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.en_US
dc.publisherДонНТУen_US
dc.subjectметод Тудикаen_US
dc.subjectToudic methoden_US
dc.subjectдиофантовые уравненияen_US
dc.subjectdiophantine equationsen_US
dc.subjectсети Петриen_US
dc.subjectPetri netsen_US
dc.titleТеоретическое обоснование метода Тудикаen_US
dc.title.alternativeA theoretical grounding of the Toudic methoden_US
dc.typeArticleen_US
Располагается в коллекциях:Випуск 74

Файлы этого ресурса:
Файл Описание РазмерФормат 
286-293.pdf5,12 MBAdobe PDFПросмотреть/Открыть
sp_lit 286-293.pdf52,07 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.