Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- АНАЛИЗ ВОЗМОЖНОСТИ ИСПОЛЬЗОВАНИя PROLOG-ОРИЕНТИРОВАННЫХ ПРЕДИКАТНЫХ СЕТЕЙ ПЕТРИ ДЛЯ ПРЕДСТАВЛЕНИЯ И АНАЛИЗА ПРАВИЛ НЕЧЕТКОЙ ПРОДУКЦИИ
- Авторы
- Суконщиков Алексей Александрович avt@vstu.edu.ru, канд. техн. наук, доцент кафедры автоматики и вычислительной техники, Вологодский государственный технический университет, г. Вологда, Россия
Антонов Дмитрий Александрович Torious@gmail.ru, аспирант, Вологодский государственный технический университет, г. Вологда, Россия
- В разделе
- СОВРЕМЕННЫЕ МЕТОДЫ И СРЕДСТВА РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ И МОДЕЛИРОВАНИЯ. ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ
- Ключевые слова
- верификация / сети Петри / предикатные сети Петри / сети типа "предикат/переход" / нечеткая логика / системы на базе правил нечеткого вывода / нечеткое моделирование
- Год
- 2011 номер журнала 1 Страницы 62 - 65
- Индекс УДК
- Код EDN
- Код DOI
- Тип статьи
- Научная статья
- Аннотация
- Одним из наиболее популярных сейчас методов описания систем с параллельно функционирующими и асинхронно взаимодействующими компонентами стал подход, который основан на использовании сетевых моделей, восходящих к сетям специального вида, предложенным Карлом Петри. В статье рассмотрен метод внесения неопределенности в предикатные сети Петри высокого уровня, интерпретируемые на языке Prolog, позволяющий строить и исследовать нечеткие модели на их основе, без изменения программ верификации.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Дубинин В. Н. Языки логического программирования в проектировании вычислительных систем и сетей: учеб. пособие/Зинкин С. А. - Пенза: Изд-во Пензенского государственного университета.
Антонов Д. А., Суконщиков А. А. Разработка программного обеспечения верификации свойств моделей, построенных на базе сетей Петри высокого уровня, посредством языка программирования Prolog/Информатизация процессов формирования открытых систем на основе СУБД. САПР, АСНИ и систем искусственного интеллекта. Матер. 4-й Междунар. науч.-техн. конф. - Вологда: ВоГТУ, 2007. С. 17-21.
Zadeh L. A. Fuzzy Algoritms//Inform. a. Control. 1965. V. 12. No. 2. P. 94-102.
Леоненков А. В. Нечеткое моделирование в среде MATLAB и fuzzyTECH. - СПб.: БХВ-Петербург, 2005. - 736 с.
- Купить
