Формализация и использование нечетких предикатов для реализации гибридных процессов
Ключевые слова:
нечеткая логика, представление знаний, обработка знаний, компьютерное моделирование, автоматическое управлениеАннотация
Рассматривается методика формализации нечетких предикатов совместно с четкими логическими переменными для спецификации нечетких логико-динамических ситуаций и четких логических действий (дискретных команд). Методика основана на представлении четких и нечетких логических переменных с помощью функций принадлежности и на применении правил нечеткого вывода. При этом использовались только формы представления нечетких логических функций пригодные также и для представления четких логических функций. На примерах показана возможность применения рассматриваемой методики для компьютерной реализации гибридных процессов.
Литература
1. Witsch M., Vogel-Heuser B. Towards a formal specification framework for manufacturing execution systems // IEEE Transactions on Industrial Informatics. 2012. vol. 8. no. 2. pp. 311–320.
2. Casagrande A., Piazza C., Policriti A. Discrete Semantics for Hybrid Automata // Discrete Event Dynamic Systems. 2009. vol. 19. no. 4. pp. 471–493.
3. Zhirabok A.N., Suvorov A.Yu., Shumskii A.E. Robust diagnosis of discrete systems with delay: Logic-dynamical approach // Journal of Computer and Systems Sciences International. 2014. vol. 53. no. 1. pp. 47–62.
4. Шпаков В.М. Исполняемые спецификации транзитивных моделей технологических процессов // Мехатроника, автоматизация, управление. 2004. № 3. C. 38–45.
5. Буткевич И.К, Рыдник Е. А., Шпаков В. М. Использование среды EnviCon для моделирования производства жидкого гелия // Труды СПИИРАН. 2007. Вып. 5. С. 328–332.
6. Шпаков В.М. Об использовании трансформационных правил для компьютерной реализации непрерывных процессов // Труды СПИИРАН. 2014. Вып. 33. С. 99–116.
7. Ross T.J. Fuzzy Logic with Engineering Applications (Third Edition) // John Wiley & Sons. 2010. 585 p. URL: http://onlinelibrary.wiley.com/book/10.1002/9781119994374.
8. Григорьев М.В.; Кульков С.Н. Нечеткий логический вывод в системе управления беспилотного летательного аппарата // Журнал Сибирского федерального университета. 2011. Т. 4. № 1. C. 79–91.
9. Шпаков В.М. Пример спецификации гибридного логического закона управления // Материалы 2-й Российской мультиконференции по проблемам управления. Мехатроника, автоматизация, управление. С.-Петербург: ГНЦ РФ ЦНИИ «Электроприбор». 2008. С. 133–136.
10. Verma O.P., Jain V., Gumber R. Simple fuzzy rule based edge detection // Journal of Information Processing Systems. 2013. vol. 9. no. 4. pp. 575–591.
11. Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции “Имитационное моделирование. Теория и практика”. Санкт-Петербург. 2005. Т.II. C. 292–295.
12. Wang Y., Hu X. Fuzzy reasoning of accident provenance in pervasive healthcare monitoring systems // IEEE Journal of Biomedical and Health Informatics. 2013. vol. 17. no. 6. pp. 1015–1022.
2. Casagrande A., Piazza C., Policriti A. Discrete Semantics for Hybrid Automata // Discrete Event Dynamic Systems. 2009. vol. 19. no. 4. pp. 471–493.
3. Zhirabok A.N., Suvorov A.Yu., Shumskii A.E. Robust diagnosis of discrete systems with delay: Logic-dynamical approach // Journal of Computer and Systems Sciences International. 2014. vol. 53. no. 1. pp. 47–62.
4. Шпаков В.М. Исполняемые спецификации транзитивных моделей технологических процессов // Мехатроника, автоматизация, управление. 2004. № 3. C. 38–45.
5. Буткевич И.К, Рыдник Е. А., Шпаков В. М. Использование среды EnviCon для моделирования производства жидкого гелия // Труды СПИИРАН. 2007. Вып. 5. С. 328–332.
6. Шпаков В.М. Об использовании трансформационных правил для компьютерной реализации непрерывных процессов // Труды СПИИРАН. 2014. Вып. 33. С. 99–116.
7. Ross T.J. Fuzzy Logic with Engineering Applications (Third Edition) // John Wiley & Sons. 2010. 585 p. URL: http://onlinelibrary.wiley.com/book/10.1002/9781119994374.
8. Григорьев М.В.; Кульков С.Н. Нечеткий логический вывод в системе управления беспилотного летательного аппарата // Журнал Сибирского федерального университета. 2011. Т. 4. № 1. C. 79–91.
9. Шпаков В.М. Пример спецификации гибридного логического закона управления // Материалы 2-й Российской мультиконференции по проблемам управления. Мехатроника, автоматизация, управление. С.-Петербург: ГНЦ РФ ЦНИИ «Электроприбор». 2008. С. 133–136.
10. Verma O.P., Jain V., Gumber R. Simple fuzzy rule based edge detection // Journal of Information Processing Systems. 2013. vol. 9. no. 4. pp. 575–591.
11. Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции “Имитационное моделирование. Теория и практика”. Санкт-Петербург. 2005. Т.II. C. 292–295.
12. Wang Y., Hu X. Fuzzy reasoning of accident provenance in pervasive healthcare monitoring systems // IEEE Journal of Biomedical and Health Informatics. 2013. vol. 17. no. 6. pp. 1015–1022.
Опубликован
2014-12-26
Как цитировать
Шпаков, В. М. (2014). Формализация и использование нечетких предикатов для реализации гибридных процессов. Труды СПИИРАН, 6(37), 116-131. https://doi.org/10.15622/sp.37.7
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
