Logical Structure of Conceptual Model of the Information and Analytical System (IAS) Based on Poorly Structured Knowledge of the Production System

A. V. Artyukhov, G. G. Kulikov, A. V. Rechkalov

Abstract


In article the problem of creation of the conceptual model of the intelligence automated system based on knowledge of the production enterprise and intended for informational support of a decision making is considered.

Basis of such systems is the model hypothesis which defines a form of representation of knowledge of the studied subject domain. Here the main problem, as a rule, consists that the subject domain is poorly structured and has to be considered both with internal (systemic) and from outer side at the same time. For serial coordination it is necessary to increase the level of abstraction of model that is directly bound to a problem of the description of semantics. It is necessary to describe properties of the relations between the mathematical objects which are not depending on internal structure of objects, i.e. application of the theory of categories and use of logic of a concept of morphisms as a basic primitive allows to treat the logical and functional relations between objects uniformly. Use Noel Chomsky's method of the syntactic focused broadcasting opens a way to creation of the phenomenological theory and design methods of IIS.

The classical model of production which is represented as process of interaction of production resources can be the cornerstone of structural and parametrical model operation of the covered subject domain.

The example of formation of a contour of the organizational and functional management of a production system, consistent from the point of view of information exchange, with application of IAS is given.

The necessary conditions of the formal synthesis of the self-organized structure of IAS which are based on composition of objects – sets of the theory of the categories having properties of a commutability in structure of a logical square of Descartes, and further - in the Cartesian polyhedron are defined. It is shown that for such structures the rules of the formal logic allowing to define the arising structural contradictions, that is to exercise control of a condition of processes, remain.


Keywords


system of knowledge; conceptual model; category of sets; semantic model; production system; corporate information system (CIS)

References


Речкалов, А.В. Разработка формальной интегральной модели производственного процесса машиностроительного предприятия / А.В. Речкалов, В.В. Антонов, А.В. Артюхов // Вестник УГАТУ. – 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

Refbacks

  • There are currently no refbacks.