A formal description of the search space in the synthesis decisions

Authors

  • В. В. Семко Інститут телекомунікацій і глобального інформаційного простору НАН України

DOI:

https://doi.org/10.18372/2073-4751.2.6479

Abstract

The question of the formal description of the search space in the synthesis of solutions in the topological space. Investigated the mathematical principles of synthesis solutions as strings. To describe the processes in space observations suggest to use a formal grammar, which operates automatic synthesis of digital solutions in the existing space solutions for facility management

Author Biography

В. В. Семко, Інститут телекомунікацій і глобального інформаційного простору НАН України

к.т.н.

References

Ким Д.П. Методы поиска и прес-ледования подвижных объектов / Д.П.Ким - М. : Наука. 1989. - 336с.

Семко В.В. Модель конфлікту взаємодії об’єктів кібернетичного просто-ру //Проблеми управління та інформати-зації: зб. наук. пр. - К.: НАУ, 2012. - №2(38). - С.88-92.

Гладкий А. В. Формальные грам-матики и языки / А. В. Гладкий. - М. : На-ука. 1973. - 368 с.

Душкин Р.В. Функциональное программирование на языке Haskell / Р. В. Душкин - М.: ДМК Пресс. 2007. - 608с. 5. Глушков В.М. Логическое проек-тирование дискретных устройств / В. М. Глушков, Ю. В. Капитонова, А. Т. Мище-нко - К.: Наук. думка. 1987. - 264 c.

Глушков В. М. Синтез цифровых автоматов / В. М. Глушков - М. : Физмат-гиз. 1962. - 476 с.

Downloads

Issue

Vol. 2 No. 42 (2013)

Section

Статті

License

Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:

  1. Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.

  2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.

  3. Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).