|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Символьное моделирование задач и конструирование программстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Ильин В.Д.
- Журнал: Системы и средства информатики
- Том: 31
- Номер: 3
- Год издания: 2021
- Издательство: ИПИ РАН
- Местоположение издательства: М.
- Первая страница: 170
- Последняя страница: 177
- DOI: 10.14357/08696527210315
- Аннотация: Представлена обновленная методология символьного моделирования программируемых задач, рассчитанная на построение систем знаний о задачах, предназначенных для автоматизированного конструирования программ. Задачные конструкции создаются посредством связей по памяти между задачами, представленными в виде задачных конструктивных объектов. Определены три типа функций связи по памяти, каждая из которых позволяет поставить в соответствие паре задач некоторую третью задачу, образованную из этой пары. Представлением задачной области, рассчитанным на формализацию задачных знаний и реализацию процесса конструирования задач, служит задачный граф. Искомая конструкция задается спецификацией задачи, содержащей описание ее памяти, ограничений на число задачных вершин (и, если необходимо, ограничений, связанных с точностью результата и др.). Механизм построения разрешающих структур ставит в соответствие спецификации исходной задачи подграф на задачном графе путем реализации трех типов поведения в соответствии с тремя типами запросов на конструирование.
- Добавил в систему: Ильин Владимир Дмитриевич