Разработка и построение математической модели, состояния сценариев и прецедентов экономической системы подразделения «Донбасской ЭС»

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ ДОНЕЦКОЙ НАРОДНОЙ РЕСПУБЛИКИ АВТОМОБИЛЬНЫЙ — ДОРОЖНЫЙ ИНСТИТУТ ГОСУДАРСТВЕННОГО ВЫСШЕГО УЧЕБНОГО ЗАВЕДЕНИЯ

«ДОНЕЦКИЙ НАЦИОНАЛЬНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»

Факультет «Экономика и управление»

Кафедра «Информационные системы в экономике»

ОТЧЕТ ПО ПРАКТИКЕ по дисциплине «Математические модели состояния сценариев и прецедента экономической системы бухгалтерского учета и отчетности»

Выполнила: ст. гр. ЭК-12 Попруга Н.Д.

Горловка — 2015

Реферат Объектом исследования является система подразделения «Донбасская электроэнергетическая система».

Предметом математические модели, состояния сценариев и прецедентов экономической системы подразделения «Донбасской ЭС».

Целью работы является разработка и построение математической модели, состояния сценариев и прецедентов экономической системы подразделения «Донбасской ЭС» с помощью алгебры конечных предикатов.

Методами исселования являеться методология обьектно-ориентированного анализа и проектирования, математический аппарат алгебры конечных предикатов.

Новизна работы заключается в получении безошибочных решений уравнений алгебры конечных предикатов, которые с содержательной точки зрения интерпритируются как элементы потока управления системой подраздиления «Донбасской ЭС», что в дальнейшем может быть использовано при построении атоматизированой системы управления данной системы.

Результаты работы могут быть использованы при автоматизации процесса повышение производительности на предприятии.

Экономическая эффективность использования результатов работы заключается в повышении надежности работы экономической системы за счет исключения человеческого фактора из управления системой.

ДИАГРАММА, КЛАСС, МЕТОД, ОБЪЕКТ, ОБЪЕКТНАЯ МОДЕЛЬ, ПЕРЕХОД, ПРОГРАММНАЯ МОДЕЛЬ, СВЯЗЬ, СОБЫТИЕ СООБЩЕНИЕ

Введение

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

Донбасская электроэнергетическая система (далее Донбасская ЭС) была создана в соответствии с приказом Минтопэнерго Украины от 02.07.1998 № 107 на базе Донбасского регионального диспетчерского центра НДЦ электроэнергетики Украины, инженерного центра «Донбасэнерготехнология». Донбасского филиала ГЭК «Укрэлектропередача» и в данное время является структурной единицей государственного предприятия «Национальная энергетическая компания «Укрэнерго». Донбасская ЭС имеет в своем составе обособленные единицы по эксплуатации магистральных электрических сетей (МЭС) в Донецкой области: Артемовские, Чайкинские и Мариупольские, а в Луганской области — Луганские МЭС.

Мощности. В зону обслуживания Донбасской ЭС входят Донецкая и Луганская области (Донбасский регион) с территорией 53,1 тыс. км ² и населением 7,8 млн. человек.

Существует ряд проблем, недостатки функционирования, что связано с ошибками учета анализа предоставления информации. В связи с этим необходимо совершенствовать существующие информационные продукты и создавать новые компоненты позволяющие устранить данные недостатки.

В связи с этим, объектом работы является экономическая система Донбасской ЭС отдел «Бухгалтерского отчетности и учета».

Предметом является математические модели состояний сценариев и прецедента экономической системы «БОиУ».

Целью работы является разработка и построение математических моделей состояний, сценариев и прецедента системы «БОиУ» и их ассоциирование с элементами потока управления.

Поставленные цели обуславливают ряд задач :

— проанализировать современное состояние деятельности отдела бухгалтерского отчетности и учета и выявить роль и место функции отдела БОиУ;

— проанализировать пути решения проблем, связанных устранением ошибок в работе отдела БОиУ;

— проанализировать математические методы дискретизации экономических систем;

— обосновать выбор алгебры конечных предикатов, как метода выявления элементов потока управления данными экономической системы;

— построение математических моделей состояний, сценариев и прецедента системы «БОиУ»;

— интерпретация решений уравнений и обеспечение связи их с элементами программной модели.

Полученные результаты могут быть использованы при усовершенствовании информационной системы деятельности отдела БОиУ.

Глава 1. Методы объектного анализа. Математическая формализация Хозяйственная деятельность Донбасской Электрической Станции осуществляется для достижения экономических и социальных результатов для получения прибыли.

Целью деятельности Донбасской ЭС является:

— обеспечение функционирования энергосети Донбасского региона (Донецка, Луганской области) как составляющие объединенной энергетической системы (ОЭС) Украины, осуществление передачи электрической энергии магистральная и межгосударственными электрическими сетями.

— осуществление централизованного оперативно технологического управления энергосистемой Донбасского региона в соответствии с нормативными документами, которые регламентирует взаимоотношения между ДП «НЭК» «Укрэнерго» субъект (объектами) электроэнергетики в условиях параллельное работы в составе ОЭС Украины.

— предупреждение нарушений режимов и аварий системного значения и ликвидации возможных аварий с наименьшими затратами для страны.

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

— создание условий для эффективной работы магистральных и межгосударственных электрических сетей как составляющие инфраструктуры оптового рынка электрической энергии Украины в обеспечении передачи электроэнергии.

— обеспечение в сетях своих полномочий функционирования ОРЕ Украины касательно диспетчеризации, учета расчетов, платежи участников ОРЕ Украины в соответствие с договором между ними, отпуск электроэнергии оптовым потребителям, а так же с прямыми договорами.

Основными направлениями деятельности Донбасской ЭС являются:

— обеспечение оперативности технологического управления энергосистемой донбасского региона

— организация и проведение ремонтно-эксплуатационный аварийно-восстановительные работы на объектах магистралей и межгосударственный электрических сетей, разработка и изготовление технического оснащения, средства защиты средства малой механизации необходимы для проведения этих работ

— проведение проектно-поисковых и ремонтно-строительных работ на производственных и социальнобытовых объектах Донбасской ЭС

— осуществление материальнотехнического обеспечения производственной деятельности

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

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

— обслуживание на договорных условиях технических средств управления и связи других предприятий, учреждений и организаций (дальше организации):

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

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

— разработка в границах предоставленных полномочиями методических и инструктивных материалов, обязательных для исполнения энергокомпаниями и электростанциями, что входят в состав энергосистемы Донбасского региона, независимо от их формы собственности.

— осуществлять деятельность с организации сбора и обработки информации и прогноза объёмов и режимов потребления электрической энергии и мощностей.

— организация работ с внедрением и овладением новой техники, научно-исследовательских работ, работ с рационализации и изобретения при условии финансирования ДП «НЕК» «УкрЭнерго»

— предоставление образовательных и информационно-консультационный услуг.

— расследование, учет и анализ технологических нарушений в работе энергообъектов магистральных и межгосударственных электросетей, участие расследований технологических нарушений в работе других энергообьектов, что есть в хозяйственном и оперативном учете Донбасской ЭС и ДП «НЕК» «Укрэнерго», разработка и реализация необходимых мероприятий касательно их предупреждения

— организация и проведение в Донбасской ЭС работы охраны труда пожарной безопасности, создание безопасных условий труда, расследование, учет и анализ происшествий травматизма, разработка и реализация необходимых мероприятий по повышению безопасности эксплуатации магистральных и межгосударственных сетей. — выполнение норм и требований по охране окружающей среды, обеспечение экологической безопасности, рационального использования и воспроизведения природных ресурсов

— учреждение, поддержка и усовершенствование системы управления качеством на основании требований международных стандартов.

— выполнение финансово-экономических функций, бухгалтерского учета контроля и коммерческих расчетов в приделах которые устанавливаться статистической отчетностью и регламентируются ДП «НЕК"УКРЭНЕРГО.

— участие в проведении выставок, аукционов, торгов, конференций и других подобных мероприятий, связанных с характерной деятельностью Донбасской ЭС.

— удовлетворение экономических и социальных потребностей работников Донбасской ЭС, предусмотренных коллективным договором

— планирование и выполнение мероприятий, что касается разработки мобилизационных планов и подготовки по выполнению возложенных на Донбасскую ЭС мобилизационных заданий.

— разработка и выполнение мероприятий по гражданской обороне, реагирование и чрезвычайные ситуации и их предотвращение.

— обеспечение охраны информации, ее носителей, что определены к государственной коммерческой тайне.

— предоставление услуг общественного питания

— осуществление торгово-закупочной деятельности

— строительная деятельность (проектные работы для строительства, возведение несущих и оградительных конструкций, строительство, монтаж, и реконструкция инженерных и транспортных сетей)

— ремонт и техническое обслуживание средств измерительной техники

— операции с прекурсорами (хранение, перевозка, приобретение и использование прекурсоров)

— осуществление деятельности в сфере телекоммуникаций с предоставлением услуг междугороднего и местной телефонной связи с правом технического обслуживания и эксплуатации телекоммуникационных сетей.

Донбасская ЭС выполняет функции по контролю и координации деятельности отделённых подразделений по эксплуатации магистральных и межгосударственных электрических сетей (МЭМ) — Луганских МЭМ, Артемовских МЭМ, Чайкинских МЭМ, Мариупольских МЭМ, которые входят в состав ДП «НЕК УКРЭНЕРГО» и находятся на территории регионального обслуживания электроэнергетической системы Донбасского региона.

Другие виды деятельности с целью получения прибыли, могут осуществляться Донбасской ЭС только при условии, что они не перечат достижению цели деятельности Донбасской ЭС и не запрещены действующим законодательством.

Рис. 1.1 — Организационная структура управления По своему строению Донбасской ЭС огромное предприятие, поэтому рассмотрим одну из служб, отдел бухгалтерского учета и отчетности, изучим функции и взаимодействие с другими отделами, выявим недостатки, построим виртуальную математическую модель.

Рассмотрим «СБУиО». Организационная структура управления:

1. Руководство службы бухгалтерского учета и отчетности осуществляет главный бухгалтер, при его отсутствии — заместитель главного бухгалтера.

2. Главный бухгалтер назначается и освобождается от должности директором Донбасской ЭС по согласованию с главным бухгалтером ГП «НЭК» Укрэнерго «

3. Главный бухгалтер подчиняется непосредственно директору Донбасской елетроенергетичнои системы.

4. На должность главного бухгалтера назначается лицо, имеющее высшее профессиональное (специалист, магистр). Стаж бухгалтерской работы по профессиям руководителей низшего уровня:

— Для магистра — не менее 2 лет,

— Для специалиста — не менее 3 лет.

5. Фактическая численность персонала и должности в СБОтаЗ устанавливается в соответствии со штатным расписанием.

6. Заместители главного бухгалтера подчиняются главному бухгалтеру.

7. Работники службы бухгалтерского учета и отчетности, назначаемых на должность и освобождаются от должности в порядке, установленном законодательством о труде, подчиняются главному бухгалтеру и его заместителям.

8.Обязанности, права и отношения работников службы определяются Положением о СБОтаЗ и должностными инструкциями, утвержденными директором Донбасской ЭС.

9. Распределение обязанностей между рабочими службы осуществляется главным бухгалтером.

10. Условия замещение главного бухгалтера:

— В случае временного отсутствия главного бухгалтера (командировка, отпуск, временной потери трудоспособности и т. д.) исполнение его обязанностей возлагается на заместителя главного бухгалтера.

Существуют достаточно общие методы и способы моделирования.

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

Граф — система, которая интуитивно может быть рассмотрена как множество кружков и множество соединяющих их линий (геометрический способ задания графа — см. рисунок 1). Кружки называются вершинами графа, линии со стрелками — дугами, без стрелок — ребрами. Граф, в котором направление линий не выделяется (все линии являются ребрами), называется неориентированным; граф, в котором направление линий принципиально (линии являются дугами) называется ориентированным. Теория графов может рассматриваться как раздел дискретной математики (точнее — теории множеств), и формальное определение графа таково: задано конечное множество X, состоящее из n элементов (X = {1, 2, …, n}), называемых вершинами графа, и подмножество V декартова произведения X Ґ X, то есть V Х X2, называемое множеством дуг, тогда ориентированным графом G называется совокупность (X, V) (неориентированным графом называется совокупность множества X и множества неупорядоченных пар элементов, каждый из которых принадлежит множеству X). Дугу между вершинами i и j, i, j Њ X, будем обозначать (i, j). Число дуг графа будем обозначать m (V = (v1, v2, …, vт)).

Алгебра высказываний является составной частью одного из современных быстро развивающихся разделов математики — математической логики. Математическая логика применяется в экономических системах, позволяет моделировать простейшие мыслительные процессы. Одним из занимательных приложений алгебры высказываний — решение логических задач.

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

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

Каждая релейно-контактная схема сопровождается соответствующими формулами алгебры логики, написанными в буквенном и цифровом варианте.

Выше перечисленые методы моделирования не совсем подхлдят для модеривания экономической системы, по-этому выбраный метод для выполнения это работы будет алгебра конечных предикатов. По-скольку наибольше приближена языку програмирования ми может преобразовывать сложные логические высказывания в простые уравнения.

Как уже упоминалось выше, действие экономической системы «отдел бухгалтерскогоучета и отчетности» может быть описано логическими высказываниями. В свою очередь каждое логическое высказывание может быть представлено одной или несколькими логическими операциями, которые в алгебраической форме выражаются двоичными функциями. Поэтому для синтеза экономических систем управления надо знать основные законы алгебры двоичных функций или, что-то же, алгебры логики.

Глава 2. Анализ статики системы

2.1 Диаграмма вариантов использования Диаграмма вариантов использования описывает функциональное назначение системы, показывает основные функции предприятия, что в свою очередь выступает некой системой. С которой взаимодействует система отдел Бухгалтерского учет и отчетности — актер, который представляет собой любую внешнюю по отношению к моделируемой системе сущность, которая взаимодействует с системой и использует ее функциональные возможности для достижения определенных целей или решения частных задач. Обозначается актер фигурой в виде человечка .

Рисунок 2.1 — Диаграмма основных функций предприятия Донбасская ЭС.

Рассмотрим функции службы учета электроэнергии поподробней.

1.Ведение бухгалтерского учета и составления финансовой отчетности

2.Ведение синтетического и аналитического учета основных средств сырья, материалов, топлива, готовой продукции средств и других ценностей предприятия, в соответствии с Положениями бухгалтерского учета.

3.Составление достоверной бухгалтерской отчетности на основании первичных документов.

4.Начисление з / п и других выплат на основании действующих законодательных актов и представленных в СБУиУ табелей учета рабочего времени, приказов на все выплаты, других первичных документов и положений о премировании, доплаты и надбавки.

5.Выполнение требований охраны труда и техники безопасности: Мероприятий, предписаний, приказов и других директивных материалов по охранные труда и пожарной безопасности.

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

7.Своевременное оформление бухгалтерских данных по оформлению юридическим отделом материалов по недостач, краж имущества и порчи активов.

8.Достоверное начисление и своевременное перечисление налогов, сборов и других обязательных платежей в соответствующие бюджеты. Представление бухгалтерской налоговой отчетности в соответствующие органы.

9. Составление фактического сметы затрат на производство на основании первичных документов.

10.Соблюдение правил документа оборота и технологии обработки учетной информации.

11.Соблюдение системы и формы внутрихозяйственного учета, отчетности контроля хозяйственной операции Те действия, которые выполняет актер, взаимодействуя с системой называются вариантами использования определяющими последовательность действий, которые должны быть выполнены проектируемой системой при взаимодействии ее с соответствующим актером. Отдельный вариант использования обозначается на диаграмме эллипсом, внутри которого содержится его краткое название или имя в форме глагола с пояснительными словами.

В нашем случае вариантами использования являются основные функции предоставленные предприятием:

Функции На данном этапе рассмотрим одну из функций, это взаимодействие отдела бухгалтерского учета и отчетности (ОБУиО) с отделом начисления заработной платы (оЗП).

Процедура начисления заработной платы может образовываться как по тарифной ставке так и по средне отработанным часам. Тут же влияют на формирование заработной платы и другие факторы как персональные надбавки, учет рабочего времени, стажи и т. д.

Рис. 2.2

Формула начисления среднечасовой заработной платы по тарифной ставке СЧЗПm=ЧТС*КСР Где, СЧЗПm-средняя часовая заработная плата по тарифной ставке, ЧТСчасовая тарифная ставка, КСРкоэффициенты, учитывающие увеличение сдельных расценок за работу по технически обоснованным нормам.

Формула начисления средней часовой заработной платы СЧЗП=,

где СЧЗПсредняя часовая заработная плата, ФОТфонд оплаты труда, Тчисло отработанных человеко-часов.

2.2 Диаграмма классов Классами нашей диаграммы являются: отдел вычислительной техники (оВТ), отдел кадров (ОК), отдел труда (ОТ), отдел заработной платы (оЗП), отдел бухгалтерской учетности и отчетности (оБУиО), и главный бухгалтер (Глав.Бух), которые служат для обозначения множества объектов, которые обладают одинаковой структурой, поведением и отношениями с объектами из других классов. Графически класс изображается в виде прямоугольника, который дополнительно может быть разделен горизонтальными линиями на разделы или секции. В этих разделах могут указываться имя класса, атрибуты (переменные) и операции (методы).

Рисунок 2.3 — Диаграмма классов

2.3 Диаграмма последовательности Диаграмма последовательности, которая служит для представления временных особенностей передачи и приема сообщений между объектами, выступает служба вычислительной техники.

Рисунок 2.4 — Диаграмма последовательности.

Основной сценарий.

1.Передать из вычислительной службы в отдел кадров табельный учет рабочего времени.

2. Передать из вычислительной службы в отдел труда график выходов и план выполнения работ

3.Передать отчет по табелю рабочего времени в отдел ЗП

4.Передать ведомость о выполнении рабочего плана и. с учетом штрафов за нарушение трудовой дисциплины или начисление премии в отдел Заработной платы

5.Рассчитать ЗП и передать в отдел БУиО

6. Сформировать отчет по начислению ЗП

7 Подать заявка на выплату ЗП гл. бух Рисунок 2.5 — Диаграмма последовательности. и (альтернативный 1)

Альтернативный сценарий 1

1.Передать из вычислительной службы в отдел кадров табельный учет рабочего времени

2. Передать из вычислительной службы в отдел труда график выходов и план выполнения работ

3.Передать отчет по табелю рабочего времени в отдел ЗП

4.Передать ведомость о выполнении рабочего плана (рабочий план не выполнен)

5.Отправить на перерасчет в отдел кадров

6.Назначить штраф за невыполнение рабочий плана, отправить исправленную ведомость в оЗП

7.Рассчитать ЗП с учетом штрафа и передать в отдел БУиО

8. Сформировать отчет по начислению ЗП

9.подать заявка на выплату ЗП гл. бух-у Рисунок 2.6 — Диаграмма последовательности. (альтернативный 2)

Альтернативный сценарий 2

1.Передать из вычислительной службы в отдел кадров табельный учет рабочего времени

2. Передать из вычислительной службы в отдел труда график выходов и план выполнения работ

3.Передать отчет по табелю рабочего времени в отдел ЗП

4.Передать ведомость о выполнении рабочего плана (рабочий план выполнен)

5. Проверить или начислить премию

6. Предъявить отчет о начислении премии

7.Рассчитать ЗП с учетом премии

8. Отчет по начислению ЗП

9.Заявка на выплату ЗП

2.4 Диаграмма состояний объекта Рисунок 2.8 — Диаграмма состояний объектов.

Диаграмма состояний создаётся, когда объект может находиться в разных состояниях и его поведение в них различно. Используется для отображения пространства состояний, в которых может находиться объект и процесс смены состояний при наступлении события. Используется при анализе системы для показа семантики основных и второстепенных сценариев системы.

Состояниеэто итоговый результат поведения системы. Каждое состояние может иметь имя. Множество состояний конечно.

предикат управление сценарий прецедент

3. Построение математической модели После построения объектной модели оБУиО, встает вопрос формализации данной задачи и построение ее математической модели. Как было указано выше, возможность решения данной задачи дает универсальная алгебра конечных предикатов. Необходимо отметить, что данное средство математического моделирования был разработан профессором Харьковского института радиоэлектроники Юрием Петровичем Шабановым — Кушнаренко.

В работе в результате объектного анализа были построены диаграммы состояний системы для следующих сценариев рассматриваемого прецедента «Начисление заработной платы»: «Основной», «Начисление ЗП с учетом штрафа «: «Альтернативный».

Постановка задачи.

Есть множество состояний системы, как совокупность состояний объектов системы — начального состояния объекта, активного, пассивного и конечного.

Рисунок 3.1 — Диаграмма состояний системы основного сценария

Предполагается, что система может находиться в своем состоянии сколь угодно долго.

Используя понятие универсальной алгебры конечных предикатов, построить математические модели состояний системы сценария прецедента в виде алгебраических уравнений конечных предикатов произвольного порядка.

Формализация задачи и построение математической модели.

Для рассматриваемого сценария введем множество букв где первый индексэто номер объекта, а второй индексэто номер состояния объекта, n — это число объектов сценария, m — число состояний системы.

Содержательная интерпретация состояний объектов сценария «Основной»:

— - состояние передачи из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - состояние приема данных из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - состояние передачи из вычислительной службы в отдел труда график выходов и план выполнения работ.

— - состояние приема из вычислительной службы в отдел труда график выходов и план выполнения работ.

— - состояние передачи отчета по табелю рабочего времени в отдел ЗП.

— - состояние приема отчета по табелю рабочего времени в отдел ЗП.

— - состояние передачи ведомости о выполнении рабочего плана и. с учетом штрафов за нарушение трудовой дисциплины или начисление премии в отдел ЗП.

— - состояние приема ведомости о выполнении рабочего плана с учётом штрафов за нарушение трудовой дисциплины или начисление премии в отделе ЗП.

— - состояние расчёта ЗП и передачи в отдел БУиО.

— - состояние приема отчета БУиО.

— -состояние сформирования отчета по начислению ЗП.

— - состояние подачи заявки на выплату ЗП гл.бух.

— -состояние приема заявки на выплату ЗП гл.бух.

Таким образом, для рассмотренной задачи n = 6, m = 7. Введем множество переменных соответственно объектов сценария. укажем области определения веденных переменных:

(3.1)

Запишем законы истинности для введения применённых в терминах алгебры конечных предикатов.

(3.2)

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

Для активных состояний объектов выполним смысловое ассоциирование узнаваемости предикатов (как элементов потока управления) с элементами потока событий:

— - передача из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - прием данных из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - передача из вычислительной службы в отдел труда график выходов и план выполнения работ.

— - прием из вычислительной службы в отдел труда график выходов и план выполнения работ.

— - передача отчета по табелю рабочего времени в отдел ЗП.

— - прием отчета по табелю рабочего времени в отдел ЗП.

— - передача ведомости о выполнении рабочего плана и. с учетом штрафов за нарушение трудовой дисциплины или начисление премии в отдел ЗП.

— - прием ведомости о выполнении рабочего плана с учётом штрафов за нарушение трудовой дисциплины или начисление премии в отделе ЗП.

— - расчёт ЗП и передачи в отдел БУиО.

— - прием отчета БУиО.

— - формирование отчета по начислению ЗП.

— - подача заявки на выплату ЗП гл.бух.

— - прием заявки на выплату ЗП гл.бух.

(3.3)

Получим решение уравнения (3.3) путем приведения ДНФ левых частей уравнения к СДНФ, используя тождества алгебры конечных предикатов.

Обратим внимание на то, что есть пассивные состояния объекта «Служба вычислительной техники». Аналогичные тождества будут иметь место и для других объектов системы.

Итак, СДНФ для первого уравнения из (3.3) будет иметь вид и решению его будет набор показателей узнавания.

Аналогично рассуждая, можно получить СДНФ левых частей других уравнений с (3.3). Результаты приведены в таблице 3.1.

Таблица 3.1- Решение предикативных уравнений основного сценария

Получим соответствие решений алгебраических уравнений конечных предикатов с элементами потока управления системы при реализации состояний системы основного сценария и элементами потока событий программной модели системы (табл. 3.2).

Таблица 3.2 — Связь решений с элементами потока управления и потока событий для состояний основного сценария системы.

Для альтернативного сценария введем множество букв, где первая индекс — это номер объекта, а второй индекс — это номер состояния объекта, n = 6 — число объектов сценария, m = 9 — число состояний системы.

Рисунок 3.2 — Диаграмма состояний сценария «не та пластиковая карта»

Содержательная интерпретация состояний объектов альтернативного сценария:

Альтернативный 1

— - состояние передачи из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - состояние приема данных из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - состояние передачи из вычислительной службы в отдел труда график выходов и план выполнения работ.

— - состояние приема из вычислительной службы в отдел труда график выходов и план выполнения работ.

— -состояние передачи отчета по табелю рабочего времени в отдел ЗП. (рабочий план не выполнен).

— - состояние приема отчета по табелю рабочего времени в отдел ЗП. (рабочий план не выполнен).

— - состояние передача ведомости о выполнении рабочего плана и. с учетом штрафов за нарушение трудовой дисциплины или начисление премии в отдел ЗП.

— - состояние отправки на перерасчет в отдел кадров.

— -Состояние приема на перерасчет в отдел кадров состояние приема ведомости о выполнении рабочего плана с учётом штрафов за нарушение трудовой дисциплины

—. состояние назначения штрафа за невыполнение раб. плана, отправить исправленную ведомость в оЗП

—. состояние назначения штрафа за невыполнение раб. плана, отправить исправленную ведомость в оЗП

— -состояние расчёта ЗП с учетом штрафа и передачи в отдел БУиО.

— - состояние приема отчета БУиО.

— - состояние сформирование отчета по начислению ЗП

— - состояние подачи заявки на выплату ЗП гл.бух.

— - состояние прием заявки на выплату ЗП гл.бух.

Таким образом, для рассматриваемой задачи n =6, m =9. Введем множество переменных соответственно объектам сценария. Укажем области определения введённых переменных:

(3.4)

Запишем законы истинности для введенных переменных в терминах алгебры конечных предикатов:

(3.5)

Для активных состояний объектов выполним содержательное ассоциирования показателей узнавания предикатов (как элементов потока управления) с элементами потока событий:

— - передача из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - прием данных из вычислительной службы в отдел кадров табельный учет рабочего времени.

— - передача из вычислительной службы в отдел труда график выходов и план выполнения работ.

— - прием из вычислительной службы в отдел труда график выходов и план выполнения работ.

— - передача отчета по табелю рабочего времени в отдел ЗП. (рабочий план не выполнен).

— - прием отчета по табелю рабочего времени в отдел ЗП. (рабочий план не выполнен).

— - передача ведомости о выполнении рабочего плана и. с учетом штрафов за нарушение трудовой дисциплины или начисление премии в отдел ЗП.

— - отправка на перерасчет в отдел кадров.

— - прием на перерасчет в отдел кадров состояние приема ведомости о выполнении рабочего плана с учётом штрафов за нарушение трудовой дисциплины

—. назначение штрафа за невыполнение раб. плана, отправить исправленную ведомость в оЗП

—.назначение штрафа за невыполнение раб. плана, отправить исправленную ведомость в оЗП

— -расчёт ЗП с учетом штрафа и передачи в отдел БУиО.

— - прием отчета БУиО.

— - сформирование отчета по начислению ЗП

— - подача заявки на выплату ЗП гл.бух.

— - прием заявки на выплату ЗП гл.бух.

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

(3.6)

Получим решение уравнений (3.6). Проводя рассуждения, аналогичные путем, которые были сделаны при решении уравнений (3.3), получим СДНФ левых частей уравнений с (3.6) и их решения (табл. 3.3).

Таблица 3.3 — Решение предикативных уравнений альтернативного сценария

Получим соответствие решений алгебраических уравнений конечных предикатов с элементами потока управления системы при реализации альтернативного сценария и элементами потока событий программной модели системы (табл. 3.4).

Таблица 3.4 — Связь решений с элементами потока управления и потока событий для состояний альтернативного сценария системы

Полученные решения уравнений (3.3) и (3.6) с содержательной точки зрения следует рассматривать как набор элементов потока управления, реализация которого переводит систему из одного ее состояния в другое.

Для рассматриваемых сценариев введем множество букв:

A={c₁₁, c₁₂,, c_1k, c₂₁, c₂₂,, c_2k ,…, c_k1, c_k2,, c_mk}, (3.7)

где k — номер состояния системы, m — номер сценария.

Заметим, что число состояний системы в различных сценариях разное, так в сценарии «Основной» m = 13, а в сценарии «Не та пластик карта» m = 4 Тогда сценарии с меньшим числом состояний дополним необходимым числом пассивных состояний системы в число состояний системы сценария с максимальным их числом. Введем множество переменных в количестве равном числу состояний сценария с максимальным их числом:

(3.8)

Укажем области определения введенных переменных:

(3.9)

Запишем законы истинности для введенных переменных в терминах алгебры конечных предикатов в виде формулы 3.10.

Записанные законы истинности отражают все возможные наборы значений — состояний системы в основном сценарии поведения системы при реализации прецедента.

(3.10)

Запишем конъюнкции предикатов узнавания для каждого сценария системы, в которых показатель узнавания предиката является состояние системы:

(3.11)

Приравняв к единице полученные конъюнкции, получим математические модели сценариев системы прецедента:

(3.12)

Заметим, что левые части этих уравнений является конституенты единицы, следовательно, показатели узнаваний предикатов есть решение этих уравнений, с содержательной точки зрения есть элементы производного потока управления — потока управления состояниями системы. В то время как исходным потоком управления следует считать поток, элементы которого определяются состояниями объектов системы.

Содержательная интерпретация состояний системы сценария «Основной»:

— с_1,1 — состояние передачи из вычислительной службы в отдел кадров табельный учет рабочего времени.

— с_2,1— состояние приема данных из вычислительной службы в отдел кадров табельный учет рабочего времени.

— с_1,2— состояние передачи из вычислительной службы в отдел труда график выходов и план выполнения работ.

— с_3,2— состояние приема из вычислительной службы в отдел труда график выходов и план выполнения работ.

— с_2,3— состояние передачи отчета по табелю рабочего времени в отдел ЗП.

— с_4.3 — состояние приема отчета по табелю рабочего времени в отдел ЗП.

— с_3.4— состояние передачи ведомости о выполнении рабочего плана и. с учетом штрафов за нарушение трудовой дисциплины или начисление премии в отдел ЗП.

— с_5.4 — состояние приема ведомости о выполнении рабочего плана с учётом штрафов за нарушение трудовой дисциплины или начисление премии в отделе ЗП.

— с_4.5— состояние расчёта ЗП и передачи в отдел БУиО.

— с_5.5— состояние приема отчета БУиО.

— с_5.6 -состояние сформирования отчета по начислению ЗП.

— с_5.7— состояние подачи заявки на выплату ЗП гл.бух.

— с_6.7 -состояние приема заявки на выплату ЗП гл.бух.

Интерпретация состояний сценария «Альтернативный»

— с_1,1 — состояние передачи из вычислительной службы в отдел кадров табельный учет рабочего времени.

— с_2,1— состояние приема данных из вычислительной службы в отдел кадров табельный учет рабочего времени.

— с_1,2 — состояние передачи из вычислительной службы в отдел труда график выходов и план выполнения работ.

— с_3.2— состояние приема из вычислительной службы в отдел труда график выходов и план выполнения работ.

— с_2.3-состояние передачи отчета по табелю рабочего времени в отдел ЗП. (рабочий план не выполнен).

— с_4.3— состояние приема отчета по табелю рабочего времени в отдел ЗП. (рабочий план не выполнен).

— с_3.4 — состояние передача ведомости о выполнении рабочего плана и. с учетом штрафов за нарушение трудовой дисциплины или начисление премии в отдел ЗП.

— с_5.4— состояние отправки на перерасчет в отдел кадров.

— с_5.3-Состояние приема на перерасчет в отдел кадров состояние приема ведомости о выполнении рабочего плана с учётом штрафов за нарушение трудовой дисциплины

— с_6.3-. состояние назначения штрафа за невыполнение раб. плана, отправить исправленеую ведомость в оЗП

— с_6.4-. состояние назначения штрафа за невыполнение раб. плана, отправить исправлееную ведомость в оЗП

— с_7.4-состояние расчёта ЗП с учетом штрафа и передачи в отдел БУиО.

— с_7.5— состояние приема отчета БУиО.

— с_8.5— состояние сформирование отчета по начислению ЗП

— с_9.5 — состояние подачи заявки на выплату ЗП гл.бух.

— с_9.6— состояние прием заявки на выплату ЗП гл.бух.

Построение математической модели прецедента.

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

(3.13)

При этом конъюнктивные члены левой части уравнения является конституэнты единицы и, следовательно, показатели узнаваний предикатов есть решение уравнения, содержательная интерпретация которых заключается в том, что реализация прецедента возможна по любому одному из допустимых сценариев.

Вывод В ходе выполнения курсовой работы была проанализирована система «оБУиО» в результате чего были выявлены ряд проблем и недостатков ее функционирования, что связано с ошибками учета, анализа и предоставления информации. Используя методологию АКП и результаты, ранее проведенного объектного анализа системы были получены проекций системы в пространство состояний, на основе чего форматизирована задача моделирования и построены математической модели состояний, сценариев и прецедента «снятие денег со счета».

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

Таким образом, на основе поставленных задач получены следующие результаты:

— проанализировано современное состояние бухгалтерской системы и выявлено роль и место функции отдела Бухгалтерского учета и отчетности;

— проанализированы пути решения проблем, связанных с устранением ошибок в работе отдела;

— проанализированы математические методы дискретизации экономических систем;

— обоснован выбор алгебры конечных предикатов, как метода выявления элементов потока управления данными экономической системы;

— построены математические моделей состояний, сценариев и прецедента системы «оБУиО»;

— интерпретированы решения уравнений и обеспечены связи их с элементами программной модели.

Полученные результаты могут быть использованы при усовершенствовании информационной системы банковской деятельности .

1. Никольская И. Л. Математическая логика: учебник / И. Л. Никольская. — М.: Высш. шк., 1981. — 127 с.

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

3. Кундышева Е. С. Математическое моделирование в экономике / Е. С. Кундышева. — М.: Данилов и Ко, 2004. — 352 с.

5. Телькоф Ю. Ф. Интеллектуальные ИС в экономике: уч. пособие / Ю. Ф. Телькоф. — М.: Синтез, 2002. — 251 с.

6. Нильсон Нияс. Принципы искусственного интеллекта / Нияс Нильсон. — М.: Радио и связь 1985. — 376 с.

7. Руденко О. Т. Штучний інтелект нейронних мереж: навчальний посібник / О. Т. Руденко. — К.: ТОВ «Компанія СМІТ», 2006. — 404 с.

8. Катунев А. Н. Математические методы в системах принятия ре-шений: учебное пособие / А. Н. Катунев, Н. А. Северцев. — М.: Высш. шк., 2005. — 311 с.

9. Власов М. П. Моделирование экономических процессов / М. П. Власов, П. Д. Шимко. — Ростов н/Д: Феникс, 2005. — 409 с.

10. Гренкул В. И. Проектирование информационных систем: курс лекций / В. И. Гренкул, Г. Н. Денишенко. — М.: Інтернет-Ун-т Информационных технологий, 2005. — 304 с.

11. Смирнова Г. Н. Проектирование экономических информационных систем / Г. Н. Смирнова, А. А. Сорокин, Ю. Ф. Тельнов. — М.: Финансы и статистика, 2003. — 512 с.

12. Экономика и бизнес / под ред. В. Д. Камаева. — М: Изд-во МГТУ, 1993. — 464 с.

13. Яковлев С. А. Моделирование систем: учебник для вузов — 4-е изд., перераб. и доп. / С. А. Яковлев. — М.: Высшая школа, 2003. — 343 с.