Аннотации:
Рассмотрена проблема построения концептуальной модели информационной автоматизированной системы, основанной на знаниях промышленного предприятия и предназначенной для информационной поддержки принятия решений.
Основой таких систем является модельная гипотеза, которая определяет форму представления знаний об исследуемой предметной области. Здесь основная проблема, как правило, состоит в том, что предметная область слабоструктурирована и должна рассматриваться
одновременно как с внутренней (системной), так и с внешней стороны. Для последовательного согласования необходимо повысить уровень абстракции модели, что напрямую связано с
проблемой описания семантики. Нужно описать свойства отношений между математическими объектами, не зависящими от внутренней структуры объектов, т. е. применение теории категорий и использование логики понятия морфизмов в качестве базового примитива позволяет единообразно трактовать логические и функциональные отношения между объектами. Использование метода Ноэля Хомского синтаксически-ориентированной трансляции открывает
путь к созданию формальной теории и методов проектирования ИИС.
В основе структурно-параметрического моделирования рассматриваемой предметной области может лежать классическая модель производственного процесса, которая представляется как процесс взаимодействия производственных ресурсов.
Приведен пример формирования непротиворечивого с точки зрения информационного
взаимодействия контура организационно-функционального управления производственной
системой с применением ИАС.
Определены необходимые условия формального синтеза самоорганизующейся структуры ИАС, базирующиеся на композиции объектов, – множеств теории категорий, имеющих
свойства коммутативности в структуре логического квадрата Декарта, и далее – в декартовом
многограннике. Показано, что для таких структур сохраняются правила формальной логики,
позволяющие определять возникающие структурные противоречия, т. е. осуществлять контроль состояния процессов. 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.
Описание:
Артюхов Александр Викторович, канд. техн. наук, генеральный директор, АО «Объединенная двигателестроительная корпорация», г. Москва; info@uecrus.com.
Куликов Геннадий Григорьевич, д-р техн. наук, профессор кафедры автоматизированных
систем управления, Уфимский государственный авиационный технический университет, г. Уфа;
gennadyg_98@yahoo.com.
Речкалов Александр Васильевич, д-р техн. наук, эксперт, АО «Объединенная двигателестроительная корпорация», г. Москва; a.rechkalov@uecrus.com. A.V. Artyukhov1, info@uecrus.com,
G.G. Kulikov2, gennadyg_98@yahoo.com,
A.V. Rechkalov1, a.rechkalov@uecrus.com
1 JSC “United Engine Corporation”, Moscow, Russian Federation,
2 Ufa State Aviation Technical University, Ufa, Russian Federation