RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал вычислительной математики и математической физики // Архив

Ж. вычисл. матем. и матем. физ., 2014, том 54, номер 6, страницы 1023–1032 (Mi zvmmf10055)

Об одной формализации задачи синтеза и методах ее решения

А. А. Докукин

119333 Москва, ул. Вавилова, 40, ВЦ РАН

Аннотация: Предлагается формальная постановка задачи синтеза, т.е. задачи поиска объектов, обладающих определенными свойствами, которые описаны только набором прецедентов. Ключевой особенностью этой формализации является тесная связь с теорией распознавания. Описан общий подход к решению задачи синтеза и конкретные методы ее решения для двух важных случаев. Для этого предложен новый метод распознавания, обладающий высокой скоростью работы применительно к данным исследуемой структуры. Качество предложенных методов продемонстрировано с помощью реальных данных. Библ. 6.

Ключевые слова: алгебраическая теория распознавания, логические закономерности, задача синтеза.

УДК: 519.7

MSC: 68T10

Поступила в редакцию: 11.06.2013

DOI: 10.7868/S0044466914060052


 Англоязычная версия: Computational Mathematics and Mathematical Physics, 2014, 54:6, 1037–1045

Реферативные базы данных:


© МИАН, 2024