RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2018, том 25, номер 5, страницы 481–490 (Mi mais643)  

Верификация программ

О методах верификации и разработки программ развития сельскохозяйственных территорий

Х. Л. Вега Висе, В. Ю. Михайлов

Казанский (Приволжский) федеральный университет, ул. Кремлёвская, 18, г. Казань, 420008 Россия

Аннотация: В настоящее время повсеместными стали методы программно-целевого управления развитием различных социально-экономических систем сложной структуры, например, таких как территории сельскохозяйственного назначения. Поэтому актуальными задачами являются верификация уже созданных программ развития и разработка «правильных» программ развития таких систем, по аналогии с верификацией и разработкой правильных компьютерных программ — развитыми дисциплинами в теоретическом программировании. В данной работе для решения задачи верификации программ развития сельскохозяйственных территорий сначала строится структурная схема программы, по которой создается аксиоматическая теория, использующая аппарат алгоритмических логик Хоара. Основной проблемой при построении аксиоматической теории является разработка аксиом теории, отражающих предусловия и эффекты выполнения содержательных действий, указанных в тексте программы развития. Верификация программы развития соответствует проверке доказуемости некоторой тройки Хоара, соответствующей начальным и целевым условиям программы. Для задачи разработки правильных программ развития описывается механизм построения модели предметной области с использованием языков описания моделей семейства PDDL. Описание конкретной модели имеет чисто декларативный характер и представляет собой набор описаний предикатов и действий выбранной предметной области. Показывается, как на описанной модели с помощью интеллектуальных планировщиков, включая темпоральные планировщики типа OPTIC, автоматически строить решения целевых задач программ развития. На основе экспертных знаний и отраслевых стандартов построена модель сельскохозяйственной территории, краткое описание которой приводится в работе. Проведенные эксперименты показали эффективность предлагаемого подхода к разработке правильных программ развития.

Ключевые слова: программы развития, верификация программ развития, разработка правильных программ развития, логики Хоара, язык PDDL, интеллектуальные планировщики, модель сельскохозяйственной территории.

DOI: https://doi.org/10.18255/1818-1015-481-490

Полный текст: PDF файл (526 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 517.9
Поступила в редакцию: 20.07.2018

Образец цитирования: Х. Л. Вега Висе, В. Ю. Михайлов, “О методах верификации и разработки программ развития сельскохозяйственных территорий”, Модел. и анализ информ. систем, 25:5 (2018), 481–490

Цитирование в формате AMSBIB
\RBibitem{VegMik18}
\by Х.~Л.~Вега Висе, В.~Ю.~Михайлов
\paper О методах верификации и разработки программ развития сельскохозяйственных территорий
\jour Модел. и анализ информ. систем
\yr 2018
\vol 25
\issue 5
\pages 481--490
\mathnet{http://mi.mathnet.ru/mais643}
\crossref{https://doi.org/10.18255/1818-1015-481-490}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais643
  • http://mi.mathnet.ru/rus/mais/v25/i5/p481

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:41
    Полный текст:14
    Литература:11
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019