Микитенко А.П., Николаенко Д.В.

Моделирование состояний системы управления развитием энгергопредприятий

Проблемы и особенности моделирования состояний системы, а также их значение в построении математической модели развития предприятия затронуты в работах таких авторов, как Фаулер М., Скотт К.[1], Г. Буч [2], Шабанов-Кушнаренко Ю.П.[3], Вендров А.М.[4], Зиндер Е.З.[5], Калянов Г.Н.[6], Никольская И.Л.[7], Уилсон Р. [8].

Цель работы - рассмотреть вопросы математического моделирования состояний системы с последующим решением уравнений алгебры конечных предикатов, ассоциируемых с элементами потока управления.

Основываясь на объектном анализе системы и построенных диаграммах UML [4], получена диаграмма состояний системы (рис.1). Диаграмма состояний системы – это графическое представление проекций системы в пространстве её состояний. Она используется для построения математических моделей состояний системы  сценариев прецедентов.

Рисунок 1 – Диаграмма Состояний Системы – Разработка стратегического плана развития

Для построения диаграммы рассмотрим три объекта управления развитием предприятия: руководитель, начальник планово-экономического отдела, сотрудник планово-экономического отдела. Исходя из данной экономической модели системы, на диаграмме изображен процесс принятия стратегического плана управления предприятием на примере ГП НЭК «Укренерго». Используя понятия универсальной алгебры конечных предикатов, разработанной Ю.П. Шабановым-Кушнаренко, построим математические модели состояний системы рассматриваемого сценария прецедента в виде уравнений алгебры конечных предикатов первого порядка. Для рассматриваемого сценария введем множество букв:

где первый индекс – это номер объекта, а второй индекс – это номер состояния объекта, 3 – число объектов сценария, 8 - число состояний системы.

Каждая введенная буква представляет собой состояние объекта системы и содержательно может быть интерпретирована следующим образом:

а1,1     - состояние выработки задания на разработку плана развития;

а2,1     - состояние приема задание на разработку плана развития;

а2,2     - состояние подачи распоряжения на проведение стратегического анализа;

а3,2     - состояние приема распоряжения на проведение стратегического анализа;

а3,3     - состояние проведение стратегического анализа;

а2,3     - состояние приема результатов стратегического анализа;

а2,4     - состояние подготовки распоряжения по планированию стратегии;

а3,4     - состояние получения распоряжений по планированию стратегии;   

а3,5     - состояние разработки плана;

а2,5     - состояние получения результатов планирования;

а2,6     - состояние обработки результатов планирования;

а2,7     - состояние составления отчетности;

а2,8     - состояние предоставления отчетности высшему руководству;

а1,8     - состояние утверждения окончательного плана развития.

Введем множество переменных соответственно объектам сценария (2), укажем области определения введенных переменных (3), запишем законы истинности для введенных переменных в терминах алгебры конечных предикатов (4):

Образовав конъюнкции предикатов узнавания для каждого состояния системы и, приравняв их к единице, получим математические модели состояний системы в виде уравнений алгебры конечных предикатов:

Таким образом, использование объектно-ориентированного программирования средств алгебры конечных предикатов позволило разработать модель состояний системы управления развитием предприятия на примере ГП НЭК «Укренерго». Разработанная модель может быть использована в дальнейшем при построении математической модели сценариев и прецедента рассматриваемой системы. Полученные результаты могут быть использованы при построении программной модели системы в виде потока событий.

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1.  Фаулер М., Скотт К. UML.Основы. – Пер.с.англ. СПб:Символ-плюс, 2002. – 192с.

2. Шабанов-Кушнаренко Ю.П. Теория интеллекта.- Х.: Вища шк.,1984.- 144с.

3. Вендров А.М. Один из подходов к выбору средств проектирования баз данных и приложений. "СУБД", 1995, №3.

4. Г. Буч Объектно-ориентированный анализ и проектирование с примерами на C++, 2-е изд./Пер. с англ.- М.: «Издательство Бином», СПб.: «Невский диалект», 2000.- 560., ил.

5. Зиндер Е.З. Бизнес-реинжиниринг и технологии системного проектирования. Учебное пособие. М., Центр Информационных Технологий, 1996

6. Калянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение). М., "Лори", 1996.

7. Никольская И.Л. Математическая логика: Учебник.- М.:Высш.школа,1981.- 127 с.,ил.

8. Уилсон Р. Введение в теорию графов.- М.: Мир,1997.- 204 с.