Использование теории мультимножеств в процессе построения UFO-моделей
Дипломная работа - Компьютеры, программирование
Другие дипломы по предмету Компьютеры, программирование
Мiнiстерство освiти i науки УкраСЧни
Харкiвський нацiональний унiверситет радiоелектронiки
Факультет прикладноСЧ математики та менеджменту
Кафедра соцiальноСЧ iнформатики
Магистерская аттестационная работа
Использование теории мультимножеств в процессе построения UFO-моделей
2011
Реферат
ОбСФкт дослiдження - процес побудови UFO-моделей.
Мета роботи - дослiдження можливостi використання теорiСЧ мультимножин у процесi побудови UFO-моделей.
Методи дослiдження - методи теорiСЧ мультимножин та сучаснi компютернi технологiСЧ обробки табличних даних.
Результати роботи - формальний опис UFO-моделей та операцiй з ними засобами теорiСЧ мультимножин; UFO-моделi методичноСЧ роботи викладачiв кафедри вузу; реалiзацiя UFO-моделей як мультимножин та операцiй з ними у табличному процесорi Microsoft Excel.
теорiя мультимножин, UFO-аналiз, моделювання, кафедра, табличний процесор
ABSTRACT
Research object - process of UFO-models construction.purpose - researching of possibility of multisets theory using in process of UFO-models construction.methods - methods of multisets theory and modern computer technologies of tabular data processing.results - formal description of UFO-models and UFO-models manipulation by using of conceptions of multisets theory; UFO-models of teachers methodical working; realizing of UFO-models as multisets and UFO-models manipulation in tabular processor Microsoft Excel.theory, UFO-analysis, modeling, sub-faculty, tabular processor
Перечень условных обозначений, символов, единиц, сокращений и
терминов
D - симметрическая разность
/A/ - размерность мультимножества A
|A| - мощность мультимножества A
A - дополнение мультимножества A
CASE - computer-aided system engineeringA - высота мультимножества A
IDEF0 - стандарт функционального моделирования- i-ый критерий- j-е значение i-го критерия- структурированный язык запросовA - носитель мультимножества A- Unified Modeling Language
СУБД - система управления базами данных
УФО - Узел-Функция-Объект
Введение
В различных прикладных задачах многокритериального принятия решений, распознавания образов, классификации, обработки разнородной информации, теории кодирования, других предметных областях часто возникает необходимость сгруппировать или упорядочить анализируемые объекты, основываясь на их свойствах, выраженных признаками (атрибутами) объектов. Вместе с тем имеется достаточно широкий круг задач, где изучаемые объекты характеризуются многими разнородными признаками, которые могут быть и количественными, и качественными, и, кроме того, одни и те же объекты могут существовать в нескольких экземплярах с отличающимися значениями признаков, свертка которых или невозможна, или математически некорректна. В качестве примеров таких задач можно привести классификацию и ранжирование объектов, оцененных несколькими экспертами по многим качественным критериям, распознавание графических символов, обработку текстовых документов. Множественность и повторяемость факторов, описывающих объекты, усложняет и затрудняет решение таких задач. Главные трудности связаны с необходимостью учитывать одновременно большое количество вербальных и числовых данных и обрабатывать эти данные, не прибегая к дополнительным преобразованиям типа усреднения, смешивания, взвешивания, которые могут привести к необоснованным и необратимым искажениям исходных данных.
Удобной математической моделью для представления многопризнаковых объектов является мультимножество или множество с повторяющимися элементами. Кратность элементов - существенная особенность мультимножества, позволяющая отличать его от множества и рассматривать мультимножество как качественно новое математическое понятие.
Сложность таких организационных систем как социальные структуры и бизнес-процессы предъявляет особые требования к формальным методам их описания. Отсутствие таких методов тормозит решение слабоформализованных задач, для решения которых известные системные методы, изначально разрабатываемые для моделирования сложных технических систем, оказываются не пригодными.
Широко распространенные сегодня системные и объектные технологии моделирования организационных систем основаны на нормативных системах. В методе системно-объектного анализа и моделирования при исследовании множества библиотечных элементов используется математическая теория паттернов. При этом библиотечные элементы рассматриваются как мультимножества образующих, но никакие операции с мультимножествами элементов не рассматриваются.
Таким образом, актуальным является представление системы как мультимножества элементов и исследование операций над ними.
Целью данной магистерской аттестационной работы является исследование возможности использования теории мультимножеств в процессе построения UFO-моделей. Полученные результаты можно использовать в процессе UFO-анализа, а также для внедрения в CASE-инструментарии, используемые в процессе моделирования систем.
1. Обзор современного состояния проблемы
.1 Технологии моделирования организационных систем
Сложность таких организационных систем как социальные структуры и бизнес-процессы предъявляет особые требования к формальным методам их описания. Отсутствие таких методов тормозит решение слабоформализованных задач, для решения которых известные системные методы, изначально разрабатываемые для моделирования сложных те?/p>