Логическая структура концептуальной модели информационно-аналитической системы (ИАС), основанной на слабоструктурированных знаниях производственной системы
Аннотация
Рассмотрена проблема построения концептуальной модели информационной автоматизированной системы, основанной на знаниях промышленного предприятия и предназначенной для информационной поддержки принятия решений.
Основой таких систем является модельная гипотеза, которая определяет форму представления знаний об исследуемой предметной области. Здесь основная проблема, как правило, состоит в том, что предметная область слабоструктурирована и должна рассматриваться одновременно как с внутренней (системной), так и с внешней стороны. Для последовательного согласования необходимо повысить уровень абстракции модели, что напрямую связано с проблемой описания семантики. Нужно описать свойства отношений между математическими объектами, не зависящими от внутренней структуры объектов, т. е. применение теории категорий и использование логики понятия морфизмов в качестве базового примитива позволяет единообразно трактовать логические и функциональные отношения между объектами. Использование метода Ноэля Хомского синтаксически-ориентированной трансляции открывает путь к созданию формальной теории и методов проектирования ИИС.
В основе структурно-параметрического моделирования рассматриваемой предметной области может лежать классическая модель производственного процесса, которая представляется как процесс взаимодействия производственных ресурсов.
Приведен пример формирования непротиворечивого с точки зрения информационного взаимодействия контура организационно-функционального управления производственной системой с применением ИАС.
Определены необходимые условия формального синтеза самоорганизующейся структуры ИАС, базирующиеся на композиции объектов, – множеств теории категорий, имеющих свойства коммутативности в структуре логического квадрата Декарта, и далее – в декартовом многограннике. Показано, что для таких структур сохраняются правила формальной логики, позволяющие определять возникающие структурные противоречия, т. е. осуществлять контроль состояния процессов.
Ключевые слова
Полный текст:
PDFЛитература
Речкалов, А.В. Разработка формальной интегральной модели производственного процесса машиностроительного предприятия / А.В. Речкалов, В.В. Антонов, А.В. Артюхов // Вестник УГАТУ. – 2014. – Т. 18, № 4 (65). – С. 125–133.
Артюхов, А.В. Построение и эффективность ERP системы на ОАО «УМПО» / А.В. Артюхов // Деловой портал «Управление производством», www.up-pro.ru. – 08 февраля 2013.
Артюхов, А.В. Современные информационные технологии в авиадвигателестроении / А.В. Артюхов, В.Л. Христолюбов // Двигатель. – 2007. – № 5 (50).
Разработка формальной модели производственного процесса с применением корпоративной информационной системы / А.В. Речкалов, Г.Г. Куликов, В.В. Антонов, А.В. Артюхов // Научное обозрение. – 2015. – № 12. – С. 187–196.
Разработка формальной модели производственного процесса для организации проектного и производственного менеджмента с применением интеллектуальной КИС / А.В. Речкалов, Г.Г. Куликов, В.В. Антонов, А.В. Артюхов // Вестник ПНИПУ. – 2014. – № 11. – С. 34–54.
Речкалов, А.В. Об организации территориально-распределенного виртуального производственного планирования машиностроительного дивизиона / А.В. Речкалов, А.В. Артюхов, К.А. Ризванов // Актуальные вопросы науки, технологии и производства: V междунар. науч.-практ. конф. – СПб., 2015. – С. 38–41.
Волкова, В.Н. Основы теории систем и системного анализа / В.Н. Волкова, А.А. Денисов. – СПб.: СПбГТУ, 2001. – 512 с.
Антонов, В.В. Метод построения математической модели предметной области / В.В. Антонов, Г.Г. Куликов // Вестник Самарского государственного экономического университета. – 2010. – № 5 (67). – С. 10–14.
Категория множеств // Википедия. – http://ru.wikipedia.org/wiki/Категория_множеств (дата обращения: 09.04.14).
Заболеева-Зотова, А.В. Лингвистическое обеспечение автоматизированных систем / А.В. Заболеева-Зотова, В.А. Камаев. – М.: Высшая школа, 2008. – 244 с.
Хомский Н. Язык и проблемы знания // Вестник Московского университета. Сер. 9. Филология. – 1996. – № 6. – С. 157–185.
Марка, Д.А. Методология структурного анализа и проектирования: пер. с англ. / Д.А. Марка, К. МакГоуэн. – М.: Метатехнология, 1993. – 240 с.
Системно-лингвистический подход к проектированию формальных моделей исследуемой предметной области на основе категорий диалектики и теоретико-множественных методов / Г.Г. Куликов, Т.П. Злобина, С.Ф. Бабак, Д.Г. Шамиданов // Вестник Уфимского государственного авиационного технического университета. – 2017. – Т. 21, № 2 (76). – С. 95–102.
Антонов, В.В. Семантико-математический язык описания структуры интеллектуальной системы на основе нечеткой логики / В.В. Антонов, Г.Г. Куликов // Междунар. науч.-практ. журн. «Программные продукты и системы». – Тверь, 2011. – № 3 (95). – С. 33–35.
Метод применения теории категорий для формализации содержательной модели производственного процесса в информационной среде предприятия / А.В. Речкалов, Г.Г. Куликов, В.В. Антонов, А.В. Артюхов // Управление экономикой: методы, модели, технологии: 14-я междунар. конф. – Уфа, 2014. – С. 141–143.
ГОСТ Р ИСО 9000:2001. Системы менеджмента качества. Основные положения и словарь. – http://www.unilib.neva.ru/dl/quality/ std/gsriso90002001.html.
Р50.1.028–2001. Методология функционального моделирования. – М.: Госстандарт России, 2000.
ISO/IEC/IEEE 15288:2015 System and software engineering – System life cycle processes.
Разработка формальной модели производственного процесса для организации проектного и производственного менеджмента с применением рекурсивной системной модели / А.В. Артюхов, В.В. Антонов. А.В. Речкалов, Г.Г. Куликов // Актуальные вопросы науки, технологии и производства: V междунар. науч.-практ. конф. – СПб., 2015. – С. 29–31.
Development of the Formal Model of the production Process for Organization of the Project and Management Using Iterative Model / A.V. Artuhov, A.V. Rechkalov, G.G. Kulikov, V.V. Antonov // Proceeding of the 1th International Workshop on technologies of Digital Signal Proceedings and Storing (DSPTech'2015), Ufa, Russia, December 10–13, 2015. – 2015. – Vol. 2. – P. 9–11.
Новиков, Д.А. Кибернетика: Навигатор. История кибернетики, современное состояние, перспективы развития / Д.А. Новиков. – М.: Ленанд, 2016. – 160 с. – (Серия «Умное управление»)
Голдблатт, Р. Топосы. Категорный анализ логики = Topoi. The categorial analysis of logic / Р. Голдблатт; пер. с англ. В.Н. Гришина и В.В. Шокурова под ред. Д. А. Бочвара. – М.: Мир, 1983. – 488 с.
https://ru.wikipedia.org/wiki/Расслоённое_произведение.
https://ru.wikipedia.org/wiki/Закон_необходимого_разнообразия.
Эшби, У.Р. Введение в кибернетику / У.Р. Эшби. – М.: Иностранная литература, 1959. – 432 с.
Куликов, Г.Г. Метод формирования структуры хранилища данных для автоматизированной учетной системы на основе процессного анализа предметной области / Г.Г. Куликов, В.В. Антонов // Вестник УГАТУ. – 2006. – Т. 8, № 1 (17). – С. 60–67.
DOI: http://dx.doi.org/10.14529/ctcr180408
Ссылки
- На текущий момент ссылки отсутствуют.