WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

На правах рукописи

БЕЛЫХ Александр Валерьевич

ВИЗУАЛЬНЫЙ МЕТОД РАЗРАБОТКИ ОБЪЕКТНООРИЕНТИРОВАННЫХ БАЗ ДАННЫХ ДЛЯ СИСТЕМ

АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ

Специальность 05.13.12 – Системы автоматизации проектирования

(вычислительная техника и информатика)

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата технических наук

Ростов-на-Дону 2010

Работа выполнена в государственном образовательном учреждении высшего профессионального образования «Ростовский государственный университет путей сообщения» (РГУПС)

Научный руководитель: доктор технических наук, профессор Ковалев Сергей Михайлович

Официальные оппоненты: доктор технических наук, профессор Лебедев Борис Константинович (ТТИ ЮФУ, г. Таганрог) кандидат технических наук, доцент Тарасов Валерий Борисович (МГТУ им. Н.Э.Баумана, г. Москва)

Ведущая организация: ФГНУ НИИ "Спецвузавтоматика", г. Ростов-на-Дону.

Защита состоится «9» декабря 2010 г. в 14 ч. 20 мин.

на заседании Диссертационного совета Д212.208. Южного федерального университета по адресу: г. Таганрог, пер. Некрасовский, 44, ауд. Д-406.

С диссертацией можно ознакомиться в зональной научной библиотеке ЮФУ по адресу: г. Ростов-на-Дону, ул. Пушкинская, 148.

Автореферат разослан « » ноября 2010 года.

Просим Вас прислать отзыв на автореферат, заверенный гербовой печатью учреждения, по адресу: 347928, Ростовская область, г. Таганрог, пер. Некрасовский 44, диссертационный совет Д212.208.22.

Ученый секретарь диссертационного совета Д212.208. доктор технических наук, профессор А.Н. Целых

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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





Одним из основных компонентов САПР является информационное обеспечение, которое объединяет различные сложные структуры данных.

Такие структуры удобно описывать в виде объектов, поэтому все большую популярность в этой отрасли стали занимать объектно-ориентрованные базы данных (ООБД). ООБД позволяют перенести в виртуальный мир объекты мира реального с минимальными потерями. Однако, проектирование ООБД является кропотливым, трудоемким и динамическим процессом. Этот процесс сместился из логической области к абстрактному уровню, где важной задачей стало конструирование корректной абстрактной модели. Для такой модели, обладающей более богатыми структурными возможностями по сравнению с реляционной моделью, требуется новый метод сокращения избыточности данных или другими словами метод нормализации схемы так как традиционные методы для не не подходят. При этом общепризнанного метода нормализации ООБД не существует, есть только отдельные методы, представленные в различных работах, тогда как, именно наличие общепризнанных методов построения корректной схемы ООБД и визуальных инструментов для е быстрого и удобного проектирования, позволило бы сделать ООБД общедоступными и вывело бы их на новый этап развития.

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

Актуальность исследования обусловлена тем что, в настоящее время существует колоссальный разрыв между потенциалом ООБД и инструментальными средствами и методами их проектирования, которые позволили бы сделать ООБД общедоступными и вывели бы их на новый этап развития.

Выполненные исследования опираются на результаты работ в области проектирования и нормализации объектно-ориентированных баз данных и САПР отечественных ученых В.М. Курейчика, Б.К. Лебедева, В.В. Курейчика, С.Д. Кузнецова, А.В. Замулина, М.Н. Гринева, а так же зарубежных ученых E.F. Codd, G. Jaeschke, H.J. Schek, M. Berler, J.

Eastman, C. Russell, T. Stanienda, Т. Kvatrani, Z. Meral Ozsoyoglu, L.Y.

Yuan, M.A. Roth, H.F. Korth, T.W. Ling, L.L. Yan, V.M. Markowitz, J.

Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Z. Tari, J. Stokes, S. Spaccapietra, W. Ambler, A. Formica, H.D. Groger, M. Missikoff, S. Ghosh, T. Dinh-Trong и др.

Объектом исследования в работе являются методы проектирования алгоритмического, программного и информационного обеспечения объектно-ориентированных САПР.





Предмет исследования составляют методы проектирования интерпритационно пригодных схем информационных баз данных в специализированных САПР.

Цель диссертационной работы заключается в разработке формализованного метода проектирования интерпретационно пригодной схемы объектно-ориентированной базы данных для САПР.

Для достижения указанной цели необходимо решить следующие задачи:

1) исследование и выявление ограничений современных объектноориентированных моделей данных, языков программирования, визуальных языков и методов проектирования объектно-ориентированных баз данных;

2) формализованное описание новой объектно-ориентированной (ОО) N-модели данных для объектно-ориентированных баз данных;

3) разработка нового декларативного языка для проектирования и администрирования схем объектно-ориентированных баз данных для САПР на основе объектно-ориентированной N-модели данных;

4) разработка нового визуального языка проектирования для визуализации схем объектно-ориентированных баз данных для САПР на основе объектно-ориентированной N-модели данных;

5) разработка новых алгоритмов и правил нормализации схемы объектно-ориентированной базы данных для САПР, использующих математический аппарат, визуальный и декларативный языки объектноориентированной N-модели данных.

Решение поставленных задач позволит повысить восприятие и сократить избыточность схемы объектно-ориентированной базы данных, а так же удовлетворить тенденции развития методов проектирования ООБД для САПР.

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

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

Научная новизна работы заключается в следующем:

1) разработано формальное описание грамматики нового декларативного языка программирования и администрирования объектноориентированной базы данных для САПР, обладающего вычислительной полнотой и основанного на формализованной объектно-ориентированной N-модели данных;

2) разработан новый визуальный язык проектирования схем объектно-ориентированных баз данных, отличающийся малым количеством языковых конструкций и позволяющий строить интерпретационно пригодные схемы объектно-ориентированных баз данных для САПР на основе объектно-ориентированной N-модели данных.

3) разработаны новые правила и алгоритм нормализации схемы объектно-ориентированной базы данных, отличающийся простотой и позволяющий строить схемы для САПР и сокращать их избыточность, используя математический аппарат, а так же визуальный и декларативный языки объектно-ориентированной N-модели данных.

Практическая ценность работы заключается в применении результатов исследования для построения среды визуального проектирования схемы ООБД для САПР - Information Systems Developer Studio (ISDS). Использование результатов исследования позволило повысить восприятие схемы ООБД для САПР, сократило е избыточность и время разработки за счет применения нового метода проектирования и визуально-декларативного языка, основанных на формализованной объектно-ориентированной N-модели данных. Также результаты исследования снизили затраты и повысили уровень взаимодействия между аналитиками и специалистами в предметной области. Все это упростило процесс проектирования ООБД для САПР и снизило на него затраты.

диссертационной работы внедрены в Северо-Кавказском филиале ОАО «Федеральная пассажирская компания» (г.Ростов-на-Дону) и в Ростовском ИВЦ структурном подразделении Главного вычислительного центра – филиала ОАО «РЖД» (г. Ростов-на-Дону).

Апробация работы. Основные положения и результаты диссертации докладывались и обсуждались на Молодежной научнотехнической конференции «Интеллектуальные системы - 2010» и на XI Всероссийском симпозиуме по прикладной и промышленной математике (секция Информационные технологии и задачи связи).

Публикации. Основные результаты диссертационной работы опубликованы в 8 печатных работах, из них 7 работ в изданиях, входящих в «Перечень ведущих научных журналов и изданий, выпускаемых в Российской федерации», утвержденный ВАК.

Структура и объем работы. Диссертационная работа состоит из введения, четырех тематических глав, заключения, списка литературы и приложения. Общий объем основного текста – 165 страниц, включая рисунок. Список литературы изложен на 10 страницах и содержит наименований.

СОДЕРЖАНИЕ РАБОТЫ

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

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

Впервые ООБД упоминались в публикациях в середине 1980-х. Их возникновение определяется, прежде всего, потребностями САПР:

необходимостью разработки сложных структур данных, для которых удовлетворительной. В настоящее время можно отметить только положительные тенденции в исследовательской деятельности ученых, занимающихся ООБД и компаний производящих объектноориентированные системы управления базами данных (ООСУБД). Однако, несмотря на то что, сегодня имеется множество публикаций и работ по данной тематике, конкретных общепризнанных и формализованных моделей, средств и методов проектирования до сих пор не существует, есть только стандарты, которые можно назвать рекомендациями (например, ODMG 3.0). Именно поэтому ООБД не получили такого широкого распространения как реляционные БД, с их формализованной моделью данных. Что касается языков программирования и проектирования ООБД, то они, так же как и модели данных, представлены в широком ассортименте, но каждый из представленных языков обладает своими уникальными возможностями и недостатками и не является всеобщим стандартом. Несмотря на это они придерживаются определенных критериев, чтобы называться объектно-ориентированным.

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

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

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

Один из таких методов нормализации схемы объектно-ориентированной модели данных подробно рассматривается в работе Z. Tari, J. Stokes, и S.

Spaccapietra «Object normal forms and dependency constraints for objectoriented schemata», материалы которой используются во многих научных статьях. Так же существуют и другие взгляды на проблему нормализации ООБД, но этот метод, является наиболее четким и полностью формализованным.

Рассмотрим основные достоинства указанного метода:

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

— расширение функциональных и многозначных зависимостей ограничений обеспечивает поддержку записи сложной объектноориентированной схемы: маршрутных зависимостей (path dependencies), локальных зависимостей (local dependencies) и глобальных зависимостей (global dependencies). Такие зависимости позволяют отобразить объектные связи на различных уровнях детализации;

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

Однако, рассматриваемый метод нормализации имеет и ряд недостатков:

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

— не рассматриваются нормализация и вопросы, связанные с построением дерева наследования классов;

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

В силу актуальности задачи формального описания метода проектирования или другими словами алгоритма нормализации ООБД, который бы учитывал недостатки вышеописанного метода, принято решение о разработки формализованного метода проектирования интерпретационно пригодной схемы ООБД для САПР. Новый метод должен основываться на формализованной ОО модели данных и использовать декларативный и визуальный языки. В качестве базового инструмента предложено разработать среду визуального проектирования для создания и развития корректных схем ООБД для САПР.

Во второй главе вводится формальное описание объектноориентированной N-модель данных, которая позволяет создавать сложные структуры, соответствующие объектам реального мира, производить их динамическое изменение и описывать бизнес-логику процессов происходящих в САПР. Так же вводится формальное описание грамматики декларативного языка программирования N-Declarative language для создания структур этой модели, манипулирования данными и администрирования системы.

N-модель данных имеет счетное множество образов I={i1,i2,…,in}.

Объектное пространство O={o1,o2,…,ok} состоит из объектов, каждый из которых представляет собой некоторое множество образов: O B(I).

Экстенсионалом объекта Exti в модели данных называется множество объектов, каждый из которых является неким его подмножеством: Exti = {o / ooi}. Интенсионалом объекта Inti называется множество объектов, для которых он является подмножеством: Inti = {o / oio}.

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

Атрибут – это функция, определенная на множестве объектов.

Аналитические свойства объектов определяются через свойства образов, которые являются функциями a' A', A' I B( Sv ). Собственно свойства объектов представлены множеством функций aA, A O B( Sv ) таких, a`(i ), где {i0,i1,…,in}=o, nN. Элемент aA называется атрибутивной функцией или атрибутом, а множество S v – это в общем случае некоторое пространство значений.

Объект называется терминальным на атрибуте, если все его образы имеют одинаковое значение функции a`, соответствующей данному атрибуту, и, кроме того, атрибут информативен на объекте: a o a(o), io a`(i)=a(o).

Через Ti обозначается множество исходных атрибутов, на которых объект oi терминален: Ti = {a / a oi }.

Утверждение 1. Если объект oi является подмножеством объекта oj, то множество Tj является подмножеством Ti. Иначе говоря, при возрастании мощности объекта, множество атрибутов, на которых он терминален, не увеличивается: oioj Tj Ti.

Экземпляром называется такой объект oi, для которого множество Ti не пусто. Множество экземпляров обозначим через Inst, тогда Inst = {oi / Ti Объект oi является концепт-объектом, если ни один исходный атрибут на нем не терминален: Ti =.

Класс – это концепт-объект, состоящий из экземпляров, у которых множества T содержат одинаковые атрибуты. Множество классов обозначим символом K, тогда K = {k / k = oi, oi Ti T },где T – некоторое множество исходных атрибутов. Иными словами, множество атрибутов T определено на классе k, если любой экземпляр этого класса oi терминален на множестве T.

Утверждение 2. Два различных экземпляра одного класса имеют различные значения хотя бы одного исходного атрибута, терминального на них: o1,o2Insti aTi, что a(o1)a(o2).

Утверждение 3. Различные экземпляры одного класса не пересекаются: o1,o2Insti o1o2=.

Утверждение 4. Класс ki является подмножеством класса kj, если множество терминальных на экземплярах класса kj функций Tj является собственным подмножеством множества функций Ti класса ki: TjTi ki Утверждение 5. Если множество атрибутов Tj, терминальных на экземплярах класса kj, является собственным подмножеством множества атрибутов Ti класса ki, то каждый экземпляр класса ki входит в экстенсионал точно одного экземпляра класса kj: TjTi o1 Insti o2Instj, что o1o2, и o3Instj, что o1o3.

Так же в N-модели данных вводятся отношения наследования и прямого наследования. Сформулируем прямое наследование так: если класс ki прямо наследует от класса kj, то он наследует от kj, и не существует такого класса kk, который наследует от kj и от которого наследует ki: ki kj ki kj, kk, что ki kk и kk kj. Так же вводится определение отношения наследования на множестве экземпляров. Экземпляр o1 класса ki наследует от экземпляра o2 класса kj тогда и только тогда, когда ki наследует от kj, и o является подмножеством o2: ki kj, o1Insti, o2Instj, o1 o2 o1 o2.

Прямое наследование на экземплярах определяется так: kikj, o1Insti, o2Instj, o1 o2 o1 o2.

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

Если условие простое, то категория определяется выражением:

ci[kk, U=M= a1comp-op a2] ci= o j, ojInstk, oj a1(oj) comp-op a2(oj)=true.

Если условие содержит логические связки, то имеются следующие соответствия: ci[kk, U1 OR U2]=c1[kk, U1] c2[kk, U2], ci[kk, U1 AND U2]=c1[kk, U1] c2[kk, U2], ci[kk, NOT U1]=kk / c1[kk, U1].

Категория ci наследует от другой категории cj тогда и только тогда, когда условие первой категории включает в себя условие второй категории: Ui = Uj AND U` ci cj, где U` непустое логическое условие, определенное в соответствии с вышеописанными правилами.

С каждым классом можно связать категорию, условие которой истинно на всех экземплярах этого класса. Категория ci прямо наследует от класса ck тогда и только тогда, она прямо наследует от его категории c`k: ci kk ci c`k. На категории так же может быть определено некоторое множество расчетных атрибутов T`. Атрибуты, определенные на категориях, могут перекрывать атрибуты класса или других категорий этого класса. Под перекрытием атрибута понимается то, что значение этого атрибута в экземплярах некоторых категорий может быть получено способом, отличающимся от того, который принят для других экземпляров. При перекрытии выполняются следующие правила:

Правило 1. Допустим, что на некотором концепт-объекте o определен атрибут a. Атрибут a правильно перекрыт, если определен в наследующей от o категории с тем же именем, что и в o, но с другой формулой.

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

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

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

После описания основных понятий и правил N-модели данных выводится понятие схемы базы данных как n-ка D=K, C,, A,,, где K – множество классов; C – множество категорий; – отношение прямого наследования; A – множество информативных атрибутов; – множество типов данных; – множество имен.

Каждый класс определяется тройкой, T, T`, где –имя класса в схеме; T – множество исходных атрибутов, определенных на классе; T` – множество расчетных атрибутов, определенных на классе (T, T` A).

Каждая категория определяется тройкой, U, T`, где –имя категории в схеме; U – условие категории; T` – множество расчетных атрибутов, определенных на категории (T` A).

Таким образом, база данных это двойка D, Inst, где D – схема БД, а Inst – множество экземпляров классов из этой схемы.

N-модель данных в полной мере соответствует налагаемым на ООБД требованиям стандарта ODMG 3.0. Имеется ввиду наличие в N-модели данных сложных объектов, идентифицируемости объектов, инкапсуляции, классов, механизмов наследования, перекрытия и расширяемости.

Для полного раскрытия потенциала N-модели данных и как основа метода проектирования ООБД, был разработан язык программирования NDeclarative Language (NDL), который позволяет не только описывать структуры модели данных и управлять ими, но и производить операции над данными, хранящимися в них и администрировать систему.

Рассмотрим базовые понятия, используемые при построении языков.

Алфавит – это счетное множество допустимых символов языка.

Будем обозначать это множество символом V.

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

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

Языком L над алфавитом V : L(V ) называется некоторое счетное подмножество цепочек конечной длины из множества всех цепочек над алфавитом V. Тогда, грамматика G — это описание способа построения предложений некоторого языка. Язык, заданный грамматикой G, обозначается как L(G).

Таким образом, формально грамматика языка NDL(G) определяется как четверка G VT,VN, P, S, где:

VT — множество терминальных символов;

VN — множество нетерминальных символов: VN VT ;

S — целевой (начальный) символ грамматики S VN.

Грамматика языка NDL описывается на синтаксическом метаязыке Extended BNF, который является Международным стандартом (ISO/IEC 14977:1996). Множество VT представляется в первой части грамматики, затем рассматривается множество VN, далее представляется синтаксис языка NDL. В качестве начального символа S грамматики NDL(G) выступает символ «оператор». Правило связанное с этим начальным символом имеет следующий вид:

оператор = создание базы данных | создание домена | изменение домена | удаление домена | создание класса | изменение класса | удаление класса | создание категории | изменение категории | удаление категории | создание объекта | изменение объекта | удаление объекта | выборка | создание индекса | изменение индекса | удаление индекса | создание пользователя | изменение прав пользователя | удаление пользователя ;

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

К операторам определения данных относятся оператор создания базы данных (CREATE DATABASE), операторы работы с доменом (CREATE DOMAIN, ALTER DOMAIN, DROP DOMAIN), операторы работы с классом (CREATE CLASS, ALTER CLASS, DROP CLASS) и операторы работы с категорией (CREATE CATEGORY, ALTER CATEGORY, DROP CATEGORY).

К операторам манипулирования данных относятся оператор создания объекта (INSERT), изменения объекта (UPDATE) и удаления объекта (DELETE).

К операторам администрирования относятся операторы работы с индексами (CREATE INDEX, ALTER INDEX, DROP INDEX) и операторы управления правами пользователей (CRATE USER, ALTER GRAND USER, DROP USER).

Разработанный язык NDL позволил заложить фундаментальное начало, требующееся для создания метода и инструментального средства проектирования ООБД для САПР, а так же позволил в удобной форме раскрыть основные возможности объектно-ориентированной N-модели данных.

В третьей главе предлагается визуальный язык проектирования – NVisual language (NVL), который позволяет визуально описывать структуры ООБД для САПР на основе N-модели данных. Так же вводится формальное описание алгоритма нормализации, позволяющего строить схему ООБД для САПР на этом визуальном языке, сокращая е избыточностью.

Представленный язык NVL включает в себя декларативную составляющую языка NDL и служит для визуализации его конструкций.

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

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

Легкое восприятие проектных диаграмм обусловлено малой элементной базой языка NVL, которая состоит из классов, категорий и отношений между ними.

В NVL класс представлен прямоугольником, состоящим из четырех горизонтальных секций (Рисунок 1). В верхней секции записывается уникальное имя класса и, через двоеточие, его тип: Concept, Abstract, Entity или State. Тип класса характеризует природу его экземпляров (понятие, абстракция, предмет или состояние).

Рисунок 1 — Классы в NVL. а) спецификация класса; б) пример Во второй сверху секции описываются исходные атрибуты. Задаются их имена и типы данных (домены) или экстенсионалы для ссылок. В третьей секции определяются формулы расчетных атрибутов. Четвертая секция предназначена для спецификации методов. Описание атрибутов и методов выполняется согласно синтаксису декларативного языка NDL.

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

В отличие от класса, категория в NVL изображается четырехугольником с закругленными углами, состоящим из четырех секций (Рисунок 2). В первой секции записывается имя категории (может отсутствовать). Во второй секции задается логическое условие, определяющее категорию. Третья и четвертая секции такие же как в классе.

Рисунок 2 — Категории в NVL. а) спецификация категории; б) Между классами и категориями могут устанавливаться отношения трех типов: наследование, связь и исключение. Наследование обозначается стрелкой, направленной от потомка к предку, исключение изображается сплошной линией, а связь сплошной прямой или ломаной линией с кружком на конце у подчиненного класса и с обоих концов линии при множественности (Рисунок 3).

Рисунок 3 — Отношения в NVL. а) наследование; б) связь; в) Рассмотрим задачу расчета себестоимости изделий для САПР в приборостроении. Производственное предприятие выпускает приборы, состоящие из сборочных единиц. Каждая сборочная единица в свою очередь может быть как узлом, состоящим из других сборочных единиц, так и деталью, не имеющей составных частей. При этом некоторые сборочные единицы, предприятие закупает у сторонних организаций через поставщиков, а другие производятся непосредственно на нем. При производстве сборочных единиц используются различные материалы и выполняются определенные работы. Необходимо рассчитать подетальную плановую потребность на каждую сборочную единицу и ее стоимость с учетом стоимости составных частей. Решение этой задачи на языке NVL показано на Рисунке 4.

Вид работ - Вид Таким образом, разработанный язык визуального проектирования ООБД NVL обладает малой элементной базой и позволяет строить схемы ООБД для САПР, которые включают структуру базы данных и е бизнеслогику. Однако, все эти качества влияют только на восприятие и удобство построения схемы, тогда как эффективные методы проектирования и нормализации позволяют построить корректную схему, сокращая ее избыточность.

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

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

Обозначим множество классов символом C={с1,c2… ci}, где с1,c2… ci – отдельные классы.

Под терминальным множеством класса c будем подразумевать множество терминальных атрибутов класса c, которое обозначим как T={a1,a2…ai}, где a1,a2…ai - терминальные атрибуты класса c.

Под разностью классов или терминальных множеств, обозначим символом «\», будем подразумевать разность соответствующих множеств.

Правило 1: Если в классе c есть функциональные зависимости между его терминальными атрибутами, то атрибуты в них участвующие выделяются в общий новый класс, например сnew={a,b}, а класс c становится равным с\сnew. Другими словами если есть функциональные зависимости вида a b, где a, b T, T терминальное множество класса c, то атрибуты в них участвующие выделяются в новый класс, например сnew={a,b}, а с=с\сnew (правило так же применимо к соответствующим терминальным множествам).

Правило 2: Если терминальные множества равны, то и соответствующие им классы равны. Другими словами если T1=T2 = c1 = c2, где T1,T2 терминальные множества классов c1, c2 соответственно.

Правило 3: Если терминальное множество T1 класса c1 входит в терминальное множество T2 класса c2, то класс c3 (c2 \ c1 ) будет прямым потомком класса c1. Другими словами, если T1 T2, то c3 (c2 \ c1 ) прямой потомок класса c1, где T1, T2 терминальные множества соответственно классов c1, c2.

Правило 4. Если терминальные атрибуты класса c1 могут быть описаны в классе c2, а терминальные атрибуты в классе c2 могут быть описаны в классе c1, то между данными классами может быть установлена наследственная связь.

Утверждение 6. Каждой глобальной функции F ( x) X на множестве X, соответствует одно и только одно отношение c1 R c2 на уровне экземпляров классов, где c1, c2 классы из множества С.

Нормализация ООБД разделяется на два этапа нормализации:

нормализацию дерева наследования и нормализацию отношений между классами. Нормализация дерева наследования состоит из алгоритма нахождение ребер и узлов дерева наследования (Алгоритм 1) и алгоритма построения дерева наследования (Алгоритм 2), а нормализация отношений между классами из алгоритма определения типов ссылок между классами (Алгоритм 3) и алгоритма отображения ссылок на дереве наследования или на отдельно взятых классах (Алгоритм 4). Языковые конструкции, используемые при описании алгоритмов соответствуют языковым конструкциям языка Pascal.

Алгоритм 1. Нахождение ребер и узлов дерева наследования.

Вход: Отсортированное множество T по убыванию количества терминальных атрибутов в его элементах.

1. Измененное множество T – множество элементов дерева наследования;

2.B={b1,b2,b3…bi} – множество ребер дерева наследования, где bi={Tпотомок,Tродитель}. Tпотомок,Tродитель элементы множества T.

Инициализация. B={}, {} – пустое множество.

For i:=1 to Length(T) do {Последний элемент множества(массива) T или одноэлементное множество не рассматриваются} If i=Length(T) Then Break;

{рассмотрим каждый последующий элемент множества T - (T[j]) в сравнении с элементом текущим T[i]} For j:=j+1 to Length(T) do {Если текущий рассматриваемый элемент T[i], разложим на общую часть T[j] и на остаток (T[i]\T[j]), то он далее не рассматривается, а замещается остатком (T[i]\T[j]) и ребром, ссылающимся на общую часть T[j]. Т.к. только общая часть может рассматриваться как еще не делимая.

Другими словами T[j] входит в T[i]} {Если для T[j] и T[j] выполняется Правило 4 } If (T[j] определено в T[i])and(T[i] определено в T[j]) Then {Строится наследственная связь между T[j] и T[j] } Алгоритм 2. Построение дерева наследования из множеств T и B;

1. C={с1,c2… ci} – множество классов.

2. T={T1,T2,T3…Ti} – множество терминальных множеств соответственно классов с1,c2… ci;

3. B={b1,b2,b3…bi} – множество ребер дерева наследования, вида bi={Tпотомок,Tродитель}, где Tпотомок,Tродитель элементы множества T.

Выход. Нормализованное дерево наследования классов из множества Создать классы соответствующие элементам из множества T.

Отобразить каждое ребро из множества B, как связь наследования от Tпотомока к Tродителю для соответствующих новых классов.

Алгоритм 3. Определение типов ссылок между классами.

1. C={с1,c2… ci} – множество классов;

2. R={r1,r2…ri} – множество отношений между классами.

oi={cисточник,сприемник,Тип связи} cисточник,сприемник элементы множества С. Тип связи={OneToOne|OneToMany|ManyToMany};

For i:=1 to Length(R) do If r[i] есть функция then If r[i] есть функция инъективная then O=O+{r[i].cведущий,r[i].cведомый,OneToOne);

If r[i] есть функция не инъективная then O=O+{r[i].cведущий,r[i].cведомый,OneToMany);

O=O+{r[i].cведущий,r[i].cведомый,ManyToMany).

Алгоритм 4. Отображение ссылок, описанных в множестве O, на дереве наследования или на отдельно взятых классах.

1. Дерево наследования или C={с1,c2… ci} – множество классов.

2.O={o1,o2,o3…oi} oi={cисточник,сприемник,Тип связи} cисточник,сприемник элементы множества С. Тип связи={OneToOne|OneToMany|ManyToMany};

Выход. Нормализованная схема данных ООБД.

Общий алгоритм построения дерева наследования для классов ООБД на основе вышеописанных правил и алгоритмов будет следующим:

1) для каждого терминального множества из T применить Правило 1;

2) уплотнить множество T используя Правило 2;

3) отсортировать множество T по убыванию количества терминальных атрибутов в его элементах.

4) найти элементы дерева наследования, используя Алгоритм 1;

5) построить дерево наследования, используя Алгоритм 2;

6) определить типы ссылок между классами, используя Алгоритм 3;

7) отобразить ссылки на дереве, используя Алгоритм 4.

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

Таким образом, метод проектирования ООБД для САПР в основе которого лежит алгоритм нормализации, позволяет строить корректную схему, отражающую идеи, заложенные при проектировании, а так же позволяет сократить избыточность схемы и повышает ее восприятие. При этом сам процесс проектирования ООБД для САПР, за счет визуального языка и использования простых алгоритмов, становится проще и быстрее.

В четвертой главе рассматривается, основанная на объектноориентированной N-модели данных, среда визуального проектирования ООБД для САПР - Information Systems Developer Studio (ISDS). Система была разработана на языке Delphi в среде Delphi 7. В качестве средства поддержки объектно-ориентированного анализа и проектирования был выбран пакет Rational Rose.

ISDS позволяет создавать на визуально-декларативном языке NVL ООБД для САПР, производить нормализацию ООБД и генерировать код е бизнес логики. Система состоит из двух взаимосвязанных программ визуальной среды проектирования и редактора скриптов NDL.

Посредством пользовательского интерфейса (Рисунок 5) визуальная среда проектирования предоставляет разработчику следующие возможности:

— создание ООБД для САПР с указанием ее параметров;

— открытие и сохранение проекта ООБД;

— создание классов и категорий;

— определение отношений между классами и категориями;

— проведение нормализации ООБД.

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

ISDS является надстройкой над реляционной СУБД, что с одной стороны делает для пользователя доступным объектно-ориентированное представление предметной области, а с другой стороны данные хранятся в реляционном формате. Таким образом, в ISDS осуществляет преобразование проектных диаграмм в реляционные структуры и SQL процедуры. Это преобразование реализовано при помощи интерфейса взаимодействия визуальной среды с редактором скриптов NDL и программного интерфейса СУБД, посредством использования для этого соответствующих компонент в среде Delphi.

Так как проект в ISDS выполняется на визуальном языке NVL, он обладает всеми присущими этому языку качествами. В купе с полной декларативностью NDL, это позволяет сделать проект доступным специалистам в предметных областях, даже не обладающим широкими познаниями в информационных технологиях. По сути, в системе строится модель предметной области, из которой автоматически генерируется база данных и программный код, реализующий бизнес-логику САПР.

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

Так же в главе производится анализ влияние среды проектирования ISDS на процесс разработки информационных систем. Для этого рассматриваются современные модели жизненного цикла информационных систем, и анализируется влияние среды ISDS непосредственно на структуру жизненного цикла.

Рассмотрим преимущества, которые предоставляет ISDS разработчику:

1) лучшее понимание проектных диаграмм;

2) сокращение числа ошибок ранних этапов проектирования и времени их обнаружения;

3) отсутствие этапа кодирования и ошибок кодирования;

4) упрощение процесса тестирования (только выявления ошибок анализа и проектирования);

5) возможность проведения тестирования в любой момент времени;

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

7) автоматическая генерация кода;

8) унифицируемый процесс разработки за счет отсутствия зависимости от целевой СУБД или серверов приложения (основные работы по созданию программного продукта выполняются в рамках одной среды и по одной технологии).

Произведенный анализ позволил выявить следующие качества ISDS:

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

Исходя из вышеописанных качеств системы проектирования ISDS, из процесса разработки выпадают кодирование и тестирование кода. Все это приводит к сокращению времени разработки и как следствие снижению затрат. Таким образом, была разработана система визуального проектирования ООБД для САПР ISDS, которая в полной мере раскрывает возможности метода визуальной разработки объектно-ориентированных баз данных для САПР, объектно-ориентированной N-модели данных и языков NVL и NDL, позволяет производить нормализацию ООБД и избавляет проектировщика от написания кода и его тестирования, что в свою очередь упрощает проектирование и снижает на него затраты.

В заключении приведены основные результаты диссертационной работы и сделаны общие выводы.

ОСНОВНЫЕ ВЫВОДЫ И РЕЗУЛЬТАТЫ ДИССЕРТАЦИОННОЙ

РАБОТЫ

При решении поставленных в диссертационной работе задач получены следующие новые теоретические и прикладные результаты.

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

2) Разработанный декларативный язык проектирования и администрирования объектно-ориентированных баз данных (NDL), который позволяет описывать структуры объектноориентированной базы данных для САПР, основывается на формализованной объектно-ориентированной N-модели данных и обладает вычислительной полнотой.

3) Разработанный визуальный язык проектирования (NVL), позволяет оперировать большими массивами данных посредством малого количества языковых конструкций и позволяет строить интерпретационно пригодные схемы объектно-ориентированных баз данных для САПР на основе объектно-ориентированной Nмодели данных.

4) Разработанный формализованный метод проектирования схемы объектно-ориентированной базы данных, в основе которого лежит алгоритм нормализации, визуальный и декларативный языки, позволяет строить на визуальном языке проектирования NVL схемы объектно-ориентированных баз данных для САПР, обладающие сокращенной избыточностью;

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

CПИСОК ПУБЛИКАЦИЙ ПО ТЕМЕ РАБОТЫ

Работы в изданиях, входящих в «Перечень ведущих научных журналов и изданий, выпускаемых в Российской Федерации», утвержденный ВАК.

1. Ольховик О.В., Белых А.В. N-Модель данных // Известия ЮФУ.

Технические науки. Тематический выпуск "Интеллектуальные САПР". — Таганрог: ТТИ ЮФУ, 2009. № 4 (93). С. 181-188.

2. Белых А.В., Ковалев С.М., Ольховик О.В. Декларативный язык для N-модели данных // Вестник РГУПС. — Ростов н/Д: РГУПС, 2009.

3. Белых А.В., Ковалев С.М., Ольховик О.В. Нормализация объектноориентированных баз данных на основе N-модели данных // Известия ВогГТУ. Серия: Актуальные проблемы управления, вычислительной техники и информатики в технических системах.

— Волгоград: ВолгГТУ, 2009. №12(60), Вып. 7. С. 58-61.

4. Белых А.В., Ковалев С.М., Ольховик О.В. Визуальнодекларативный язык проектирования программного обеспечения информационных систем // Вестник ДГТУ. — Ростов н/Д: ДГТУ, 2009. Том 9, №4 (43). С. 381-390.

5. Белых А.В., Ковалев С.М., Ольховик О.В. Сокращение избыточности схемы ООБД // Известия ЮФУ. Технические науки.

Тематический выпуск "Интеллектуальные САПР". — Таганрог:

ТТИ ЮФУ, 2009. № 12 (101). С. 181-186.

6. Белых А.В., Ковалев С.М. Построение нормализованной схемы объектно-ориентированной базы данных для САПР // Вестник РГУПС. — Ростов н/Д: РГУПС, 2010. № 2(38). C. 63-67.

7. Белых А.В. Построение нормализованной схемы для объектноориентированной N-модели // Обозрение прикл. и промышл. матем.

2010. Том. 17, Вып. 4. С. 532.

В работах, опубликованных в соавторстве, лично автору принадлежат следующие результаты: в [1] разработка понятия базы данных; в [2] разработка синтаксиса ядра декларативного языка NDL; в [3] разработка алгоритма построения дерева наследования и алгоритма нормализации отношений между классами объектно-ориентированной базы данных; в [4] разработка спецификации отношений и ограничения наследования между классами; в [5] разработан алгоритм для выработки входных данных для нормализации объектно-ориентированной базы данных; в [6] разработан алгоритм нахождение ребер и узлов дерева наследования классов объектно-ориентированной базы данных.

Работы в других изданиях.

8. Белых А.В. Пример применения проектных диаграмм на NVL для построения ERP-систем // Труды Конгресса по интеллектуальным системам и информационным технологиям «AIS-IT’10». Научное издание в 4-х томах. — М.: Физматлит, 2010. Том. 3. С. 268-273.

ВИЗУАЛЬНЫЙ МЕТОД РАЗРАБОТКИ ОБЪЕКТНООРИЕНТИРОВАННЫХ БАЗ ДАННЫХ ДЛЯ СИСТЕМ

АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ

Автореферат диссертации на соискание ученой степени Подписано к печати 29.10.2010 г. Формат 60x84/16.

Бумага офсетная. Печать офсетная. Усл. Печ. л. 1,0.

Тираж 100. Заказ № Ростовский государственный университет путей сообщения.

Адрес университета: 344038, г. Ростов-на-Дону, пл. Ростовского стрелкового полка народного ополчения, 2.



 
Похожие работы:

«Кулеш Михаил Александрович РАЗРАБОТКА МЕТОДОВ ЧАСТОТНО-ВРЕМЕННОГО АНАЛИЗА ПОЛЯРИЗАЦИОННЫХ И ДИСПЕРСИОННЫХ СВОЙСТВ ВОЛНОВЫХ ПРОЦЕССОВ 05.13.18 — Математическое моделирование, численные методы и комплексы программ АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора физико-математических наук Пермь 2008 Работа выполнена в Институте механики сплошных сред Уральского отделения Российской академии наук Научный консультант : доктор физико-математических наук, профессор...»

«АБДУЛИН ЕВГЕНИЙ РУДОЛЬФОВИЧ МЕТОДЫ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ И ЧЕЛОВЕКО-МАШИННОГО ВЗАИМОДЕЙСТВИЯ В МНОГОФУНКЦИОНАЛЬНЫХ МУЛЬТИМЕДИЙНЫХ КОМПЛЕКСАХ АВТОРЕФЕРАТ ДИССЕРТАЦИИ на соискание ученой степени кандидата технических наук Специальность: 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Москва Работа выполнена в Учреждении Российской академии наук Институт проблем информатики РАН Научный руководитель —...»

«Глазунов Александр Леонидович СИСТЕМА ОБРАБОТКИ ИНФОРМАЦИИ ПРИ КОНТРОЛЕ КАЧЕСТВА УРАНОВОЙ ПРОДУКЦИИ Специальность 05.13.01 – Системный анализ, управление и обработка информации (химическая технология) АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Москва – 2006 2 Работа выполнена в государственном унитарном предприятии города Москвы объединенном эколого-технологическом и научно-исследовательском центре по обезвреживанию радиоактивных отходов и...»

«БОЙКО Виктория Васильевна МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И РАЗРАБОТКА ПРОГРАММНОГО КОМПЛЕКСА В ЗАДАЧАХ ЭКОЛОГОГЕОХИМИЧЕСКОГО МОНИТОРИНГА УРБАНИЗИРОВАННОЙ ТЕРРИТОРИИ 05.13.18 – Математическое моделирование, численные методы и комплексы программ АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Ростов-на-Дону 2007 2 Работа выполнена в НИИ Механики и Прикладной Математики им. Воровича И.И. Южного федерального университета Научный руководитель :...»

«Карпов Дмитрий Анатольевич МЕТОДИКА ПРОЕКТИРОВАНИЯ СТРУКТУРЫ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ ВЫЯВЛЕНИЯ СЛАБОКОНТРАСТНЫХ НЕОДНОРОДНОСТЕЙ В ОТРАЖЕННОМ РАДИОЛОКАЦИОННОМ СИГНАЛЕ Специальность 05.13.15 — Вычислительные машины, комплексы и компьютерные сети АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук МОСКВА — 2011 Работа выполнена на кафедре Вычислительной техники Федерального государственного бюджетного образовательного учреждения высшего профессионального...»

«Малеев Павел Геннадиевич РАЗРАБОТКА И ИССЛЕДОВАНИЕ СРЕДСТВ ПОДДЕРЖКИ УПРАВЛЕНЧЕСКИХ РЕШЕНИЙ В СИСТЕМЕ ЭЛЕКТРОСНАБЖЕНИЯ МОСКОВСКОГО МЕТРОПОЛИТЕНА Специальность: 05.13.01 – Системный анализ, управление и обработка информации Автореферат диссертации на соискание ученой степени кандидата технических наук Белгород – 2014 2 Работа выполнена в ОАО Научно-исследовательский институт вычислительных комплексов имени М.А. Карцева, г. Москва Научный руководитель : доктор технических наук...»

«Привезенцев Алексей Иванович ОРГАНИЗАЦИЯ ОНТОЛОГИЧЕСКИХ БАЗ ЗНАНИЙ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ ОПИСАНИЯ ИНФОРМАЦИОННЫХ РЕСУРСОВ В МОЛЕКУЛЯРНОЙ СПЕКТРОСКОПИИ Специальность 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Томск – 2009 Работа выполнена в Институте оптики атмосферы СО РАН Научный руководитель : кандидат физико-математических...»

«Ефимов Александр Александрович МОДЕЛИ И ОРГАНИЗАЦИОННЫЕ МЕХАНИЗМЫ ПРОДВИЖЕНИЯ ПРИКЛАДНЫХ ПРОГРАММНЫХ ПРОДУКТОВ Специальность 05.13.10 — Управление в социальных и экономических системах (технические наук и) Автореферат диссертации на соискание ученой степени кандидата технических наук Новосибирск – 2011 Работа выполнена в Федеральном государственном бюджетном образовательном учреждении высшего профессионального образования Томский государственный университет систем управления...»

«ТАТАРЧУК Александр Игоревич БАЙЕСОВСКИЕ МЕТОДЫ ОПОРНЫХ ВЕКТОРОВ ДЛЯ ОБУЧЕНИЯ РАСПОЗНАВАНИЮ ОБРАЗОВ С УПРАВЛЯЕМОЙ СЕЛЕКТИВНОСТЬЮ ОТБОРА ПРИЗНАКОВ Специальность 05.13.17 – Теоретические основы информатики АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Москва, 2014 Работа выполнена в Федеральном государственном бюджетном учреждении науки Вычислительный центр им. А.А. Дородницына Российской академии наук. Научный руководитель : доктор...»

«Черноглазов Дмитрий Григорьевич ИССЛЕДОВАНИЕ РОБАСТНЫХ ХАРАКТЕРИСТИК ЛИНЕЙНЫХ СИСТЕМ УПРАВЛЕНИЯ Специальность 05.13.01 – системный анализ, управление и обработка информации (промышленность) Автореферат диссертации на соискание ученой степени кандидата технических наук Москва – 2011 Работа выполнена в Морской Государственной Академии имени адмирала Ф.Ф. Ушакова, на кафедре системного анализа, управления и обработки информации, г. Новороссийск Научный руководитель : доктор...»

«Токмачев Михаил Геннадьевич МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ БЕЗРЕАГЕНТНОГО МНОГОКОМПОНЕНТНОГО ЦИКЛИЧЕСКОГО ИОНООБМЕННОГО ПРОЦЕССА ОПРЕСНЕНИЯ ПРИРОДНЫХ ВОД 05.13.18 – математическое моделирование, численные методы и комплексы программ Автореферат диссертации на соискание учёной степени кандидата физико-математических наук Москва – PDF created with pdfFactory Pro trial version www.pdffactory.com Работа выполнена на кафедре математики физического факультета Московского...»

«ОБЪЯВЛЕНИЕ О ЗАЩИТЕ КАНДИДАТСКОЙ ДИССЕРТАЦИИ Ф.И.О. Кирьянов Александр Анатольевич Название диссертации: Исследование и разработка алгоритмов и комплекса программ для автоматизированной обработки данных системы распределенных датчиков анализа экологического состояния предприятия Специальность: 05.13.18 – Математическое моделирование, численные методы и комплексы программ Отрасль наук и: Технические науки Шифр совета: Д212.110.08 Тел. научного секретаря Диссертационного 8-499-141-94-55 совета:...»

«Бородина Екатерина Ивановна Контроль, мониторинг и визуализация данных эксперимента COSY-TOF в режиме реального времени Специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Автореферат диссертации на соискание учёной степени кандидата технических наук Москва 2011 Работа выполнена на кафедре.Кибернетика. Московского государственного института электроники и математики и в Институте ядерной физики...»

«ФАТЬКОВ Эдуард Александрович МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ РАБОТЫ СОВРЕМЕННЫХ ПОГЛОЩАЮЩИХ АППАРАТОВ АВТОСЦЕПКИ И РАЗРАБОТКА ПРОГРАММНОГО КОМПЛЕКСА ДЛЯ РАСЧЕТА ИХ ХАРАКТЕРИСТИК 05.13.18 – Математическое моделирование, численные методы и комплексы программ (технические наук и) Автореферат диссертации на соискание ученой степени кандидата технических наук Брянск – 2009 2 Работа выполнена в государственном образовательном учреждении высшего профессионального образования Брянский...»

«ТОЛПЕГИН Павел Владимирович АВТОМАТИЧЕСКОЕ РАЗРЕШЕНИЕ КОРЕФЕРЕНЦИИ МЕСТОИМЕНИЙ ТРЕТЬЕГО ЛИЦА РУССКОЯЗЫЧНЫХ ТЕКСТОВ Специальность 05.13.17 – Теоретические основы информатики АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Москва – 2008 Работа выполнена в Вычислительном центре им. А.А. Дородницына Российской академии наук, Отдел математических проблем распознавания и методов комбинаторного анализа Научный руководитель : доктор...»

«Карпов Руслан Геннадиевич МЕТОД АНАЛИЗА И ОБРАБОТКИ ДАННЫХ ДЛЯ УСТРОЙСТВА ТРЁХМЕРНОЙ МАГНИТНОЙ ЛОКАЦИИ Специальность 05.13.01 – Системный анализ, управление и обработка информации (приборостроение) Автореферат диссертации на соискание учёной степени кандидата технических наук Москва – 2009 г. Работа выполнена в научно-исследовательской лаборатории сверхпроводниковой микроэлектроники Московского государственного института электронной техники (технического университета) Научный...»

«Черкасова Валентина Андреевна Компьютерное моделирование концентрационных фазовых переходов в системах анизотропных частиц при наличии упорядочивающих факторов 05.13.18 Математическое моделирование, численные методы и комплексы программ Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Астрахань 2010 Работа выполнена в Астраханском государственном университете. Научный руководитель : доктор физико-математических наук, профессор Тарасевич...»

«Никифоров Андрей Юрьевич ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА СИНТЕЗА ЯЗЫКОВ И ПРОТОКОЛОВ ВЗАИМОДЕЙСТВИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ Специальность 05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Автор: Москва – 2009 Работа выполнена в Московском инженерно-физическом институте (государственном университете) Научный руководитель : кандидат технических наук,...»

«АЙРАПЕТОВ ДАВИД АЛЬБЕРТОВИЧ АЛГОРИТМЫ И ПРОГРАММНЫЙ КОМПЛЕКС АВТОМАТИЗИРОВАННОГО УПРАВЛЕНИЯ ПРОЦЕССОМ ПРОЕКТИРОВАНИЯ СИСТЕМ УПРАВЛЕНИЯ СЛОЖНЫМИ ТЕХНОЛОГИЧЕСКИМИ ОБЪЕКТАМИ Специальность: 05.13.01 Системный анализ, управление и обработка информации (промышленность) АВТОРЕФЕРАТ диссертации на соискание учёной степени кандидата технических наук Калининград – 2013 2 Работа выполнена на кафедре Системы управления и вычислительная техника в Федеральном государственном бюджетном...»

«Седов Юрий Владимирович ОБЕСПЕЧЕНИЕ РАБОТОСПОСОБНОСТИ СИСТЕМ С ПРОИЗВОЛЬНЫМ ДОСТУПОМ И САМОПРОВЕРЯЕМОСТИ ЛОГИЧЕСКИХ СХЕМ 05.13.01“Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)” Автореферат диссертации на соискание ученой степени кандидата технических наук Томск-2004 Работа выполнена в Томском государственном университете. Научный руководитель : доктор технических наук, профессор Матросова Анжела Юрьевна...»






 
© 2013 www.diss.seluk.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Методички, учебные программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.