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

How to Cite

Семко, В. В. (2013). A formal description of the search space in the synthesis decisions. Problems of Informatization and Control, 2(42), 104–111. https://doi.org/10.18372/2073-4751.2.6479

Issue

Vol. 2 No. 42 (2013)

Section

Статті

License

The scientific journal adheres to the principles of Open Access and provides free, immediate, and permanent access to all published materials without financial, technical, or legal barriers for readers.

All articles are published in Open Access under the Creative Commons Attribution 4.0 International (CC BY 4.0) license.

Copyright

Authors who publish their works in the journal:

  • retain the copyright to their publications;

  • grant the journal the right of first publication of the article;

  • agree to the distribution of their materials under the CC BY 4.0 license;

  • have the right to reuse, archive, and distribute their works (including in institutional and subject repositories), provided that proper reference is made to the original publication in the journal.