Информационно-измерительные системы испытательных стендов вертолетных редукторов тема диссертации и автореферата по ВАК РФ 05.11.16, кандидат технических наук Андреев, Сергей Валерьевич

  • Андреев, Сергей Валерьевич
  • кандидат технических науккандидат технических наук
  • 2002, Санкт-Петербург
  • Специальность ВАК РФ05.11.16
  • Количество страниц 252
Андреев, Сергей Валерьевич. Информационно-измерительные системы испытательных стендов вертолетных редукторов: дис. кандидат технических наук: 05.11.16 - Информационно-измерительные и управляющие системы (по отраслям). Санкт-Петербург. 2002. 252 с.

Оглавление диссертации кандидат технических наук Андреев, Сергей Валерьевич

ВВЕДЕНИЕ

ГЛАВА 1. ПОСТАНОВКА ЗАДАЧИ ИССЛЕДОВАНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ

ИСПЫТАТЕЛЬНЫХ СТЕНДОВ ВЕРТОЛЕТНЫХ РЕДУКТОРОВ

1.1. Необходимость тестирования вертолетных редукторов.

1.2. Исследование характеристик вертолетных редукторов.

1.3. Исследование имеющихся испытательных стендов вертолетных редукторов.

1.4. Исследование имеющихся информационно-измерительных систем испытательных стендов вертолетных редукторов.

1.5. Выводы.

ГЛАВА 2. РАЗРАБОТКА АППАРАТНОЙ ЧАСТИ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ ИСПЫТАТЕЛЬНЫХ СТЕНДОВ ВЕРТОЛЕТНЫХ РЕДУКТОРОВ

НА ОСНОВЕ БЛОЧНО-МОДУЛЬНОЙ АРХИТЕКТУРЫ.

2.1. Применение концепции виртуальных приборов National Instruments для создания аппаратной части.

2.2. Исследование номенклатуры модулей производства National Instruments.

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

2.4. Выводы.

ГЛАВА 3. ИССЛЕДОВАНИЕ МЕТОДОВ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СЛОЖНЫХ

ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ.

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

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

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

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

3.5. Выводы.

ГЛАВА 4. РАЗРАБОТКА УНИФИЦИРОВАННОГО ПРОЦЕССА ПРОЕКТИРОВАНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ ИСПЫТАТЕЛЬНЫХ СТЕНДОВ ВЕРТОЛЕТНЫХ РЕДУКТОРОВ.

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

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

4.3. Задание рабочих процессов унифицированного процесса проектирования.

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

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

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

4.7. Разработка методик представления многопотоковой архитектуры и ее машины состояний.

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

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

4.10. Сравнительный анализ объектных нотаций на основе созданных моделей.

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

4.11.1. Абстрактность.

4.11.2. Гибкость.

4.11.3. Надежность.

4.11.4. Наглядность.

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

4.12. Выводы.

ГЛАВА 5. ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ ОСОБЕННОСТЕЙ РЕАЛИЗАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ КОНКРЕТНЫХ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ

ИСПЫТАТЕЛЬНЫХ СТЕНДОВ ВЕРТОЛЕТНЫХ РЕДУКТОРОВ.

5.1. Разработка методик построения унифицированного интерфейса оператора.

5.2. Разработка методик надежной записи и хранения протоколов испытаний.

5.3. Разработка архитектуры баз данных протоколов испытаний.

5.4. Исследование возможностей дистанционного эксперимента и удаленной отладки.

5.5. Выводы.

ГЛАВА 6. ИССЛЕДОВАНИЕ МЕТРОЛОГИЧЕСКИХ ХАРАКТЕРИСТИК И РАЗРАБОТКА МЕТОДИК АТТЕСТАЦИИ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ ИСПЫТАТЕЛЬНЫХ СТЕНДОВ ВЕРТОЛЕТНЫХ РЕДУКТОРОВ.

6.1. Требования метрологической аттестации.

6.2. Исследование метрологических характеристик.

6.2.1. Частота вращения.

6.2.2. Крутящий момент.

6.2.3. Температура (термометры сопротивления).

6.2.4. Температура (термопары).

6.2.5. Давление.

6.2.6. Мощность загрузки генераторов.

6.2.7. Объемный расход.

6.2.8. Напряжение (DC).

6.2.9. Напряжение (RMS).

6.3. Разработка методик измерения и поверки измерительных каналов.

6.3.1. Структура методик измерения и поверки.

Рекомендованный список диссертаций по специальности «Информационно-измерительные и управляющие системы (по отраслям)», 05.11.16 шифр ВАК

Введение диссертации (часть автореферата) на тему «Информационно-измерительные системы испытательных стендов вертолетных редукторов»

Современное состояние промышленного производства вертолетных редукторов (ВР) в России определяется несколькими факторами.

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

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

• Для повышения конкурентоспособности продукции (особенно на зарубежном рынке) требуется сертификация производства по международным стандартам.

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

Учитывая сложность изделия и его высокую стоимость ($100.200 тыс.), перед сдачей заказчику каждый редуктор подвергается комплексному тестированию. Оно заключается в измерении основных характеристик на всевозможных режимах последующей эксплуатации. Такая поверка производится на специализированных испытательных стендах вертолетных редукторов (ИСВР). Эти стенды представляют собой сложнейшие электромеханические системы стоимостью $1.2 млн., укомплектованные мощными информационно-измерительными системами (ИИС). Поскольку за последние 10. 15 лет новые модели ВР практически не разрабатывались в связи со спадом производства при переходе страны к рыночной экономике, а новые стенды практически не строились, большинство используемых в настоящее время ИСВР оснащено устаревшими ИИС.

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

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

Целью диссертационного исследования является разработка унифицированного процесса проектирования (У 1111) ИИС ИСВР, включающего в себя математический аппарат и критерии для оценки качества созданных на основе УПП моделей системы, а также методики практического воплощения моделей.

В диссертации предлагается решение следующих задач:

1. Исследование имеющихся ИИС ИСВР и возможных методов построения современных ИИС для ИСВР.

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

3. Критический обзор методов объектно-ориентированного (ОО) анализа (ООА) и проектирования (ООП), а также имеющихся ОО сред разработки применительно к ИИС ИСВР.

4. Расширение объектных нотаций для ИИС.

5. Разработка методов представления моделей ИИС ИСВР.

6. Разработка унифицированного процесса проектирования (УПП) ИИС ИСВР.

7. Построение формального математического описания макромодели ИИС ИСВР.

8. Нахождение формальных критериев качества макромодели ИИС ИСВР.

9. Исследование метрологических характеристик измерительных каналов ИИС ИСВР, выявление основных источников погрешности, разработка унифицированных протоколов поверки (калибровки) измерительных каналов ИИС ИСВР.

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

11. Разработка структуры хранения результатов испытаний и метрологической аттестации ИИС ИСВР в реляционной СУБД.

Основные положения, выносимые на защиту:

1. Блочно-модульная унифицированная архитектура аппаратной части ИИС типовых ИСВР.

2. Унифицированный процесс проектирования ИИС ИСВР.

3. Формальные модели аппаратуры и ПО ИИС ИСВР.

4. Формальные критерии и функционал качества объектно-ориентированного ПО ИИС ИСВР.

5. Сравнительный анализ нотаций моделей ПО ИИС ИСВР.

6. Исследование метрологических характеристик ИИС ИСВР и унифицированный протокол метрологической аттестации.

Развернутое изложение выше описанных задач представлено в основном тексте диссертации.

В первой главе рассматриваются задачи тестирования вертолетных редукторов (BP), выполняется анализ аппаратных и программных средств, методов проектирования сложных ИИС. Проведено исследование объекта испытания - BP, выявлены классы основных измеряемых параметров, а также требования к ним по точности и быстродействию. Выполняется анализ используемых в настоящее время ИСВР. Найден общий состав технологического оборудования, установлены классы технологических параметров, подлежащих контролю. Определены главные требования, предъявляемые к ИИС ИСВР.

Во второй главе предложено и обосновано использование блочно-модульной архитектуры для построения аппаратной части ИИС ИСВР. Приведены ценовые характеристики применяемого оборудования и его возможности для построения ИИС ИСВР. Показывается наилучшее значение показателя цена/качества предлагаемого подхода к проектированию аппаратуры ИИС ИСВР. Приводятся разработанные нами конфигурации (и исследуются характеристики) измерительного оборудования (производства National Instruments, США) для типовых ИИС ИСВР. Предложена унифицированная архитектура аппаратной части ИИС типовых ИСВР.

В третьей главе выявлены сложности проектирования программного обеспечения ИИС ИСВР и проведен критический обзор методов проектирования (структурное, потоковое, объектно-ориентированное) программного обеспечения ИИС, а также имеющихся сред разработки, которые могут быть использованы при создании ИИС ИСВР. Показаны потенциальные возможности и удобство применения сред графического объектноориентированного программирования (LabVIEW GOOP, ObjectVIEW) для создания ПО испытательных стендов. Найдены необходимые для проектирования ПО ИИС ИСВР объектные нотации (UML, UML RT, LePUS) и приведен их сравнительный анализ. Изложено краткое описание новейшей (и пока недостаточно исследованной) нотации LePUS.

В четвертой главе разрабатываются формальные методы проектирования аппаратной и (преимущественно) программной части ИИС ИСВР. Проведено расширение объектных нотаций UML (наглядное представление аппаратной части ИИС, формальное представление алгоритмов управления), UML RT (наглядное описание объектов GOOP и формальная спецификация для представления многопотокового взаимодействия) и LePUS (7 новых семантических связей и отношений, модифицирован синтаксис для сокращения формальной спецификации в 3.5 раз) для ИИС ИСВР. Предложен и детально проработан УПП ИИС ИСВР. Представлено формальное математическое описание макромодели ИИС ИСВР, состоящей из 11 моделей: предметной области, физического представления ИСВР, физического представления ИИС ИСВР, ядра программного каркаса, многопотокового управления измерениями (статика), взаимодействия потоков (динамика), алгоритмов управления, машины состояния, структуры базы данных (статика), взаимодействия с базой данных (динамика), интерактивного взаимодействия с оператором. Найдены формальные критерии качества макромодели ИИС ИСВР и объединяющий их функционал качества. Приведено сравнение качества проектирования двух типовых систем. Исследованы возможности нотации LePUS для формального описания программного обеспечения сложных измерительных систем.

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

12 информации в базах данных. Разработаны принципы удаленной отладки ИИС ИСВР на основе имитационного моделирования по локальной сети.

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

Похожие диссертационные работы по специальности «Информационно-измерительные и управляющие системы (по отраслям)», 05.11.16 шифр ВАК

Заключение диссертации по теме «Информационно-измерительные и управляющие системы (по отраслям)», Андреев, Сергей Валерьевич

Основные результаты теоретических и практических исследований:

1. В диссертации сформулирована и решена научно-практическая задача проектирования и разработки как аппаратного, так и программного обеспечения ИИС ИСВР.

2. Разработанный УПП ИИС ИСВР включил основные фазы построения ИИС ИСВР, следуя которым упрощается создание каждой новой системы.

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

4. Разработанный и исследованный программный каркас ИИС ИСВР позволяет всего на нескольких диаграммах отразить и строго математически записать функционирование столь сложного программного комплекса.

5. Введенные формальные критерии и функционал качества дают объективную информацию о качестве разрабатываемых моделей и каркасов.

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

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

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

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

10. Предложенные в диссертации методы проектирования столь сложных программно-аппаратных систем позволяют реализовывать их в короткие сроки (1.2 года) силами небольшого количества специалистов (2.3 разработчика + 2.4 монтажника).

Результаты диссертационного исследования применялись при проектировании, отладке и вводе в эксплуатацию двух испытательных стендов вертолетных редукторов на заводе ОАО СПб «Красный октябрь», одна из этих систем была представлена на международной измерительной конференции N1 \\ГЕЕК'2000 (г. Остин, США) и заняла второе место среди докладов конференции в категории аэрокосмических приложений. Также на этом заводе был внедрен программный комплекс метрологической аттестации датчиков крутящего момента и расхода. Отдельные положения диссертации применялись для создания ИИС стендов ультразвуковой и видео-дефектоскопии цилиндрических изделий большого диаметра, ультразвуковой дефектоскопии конических изделий на заводе ФГУП ПО «Авангард» (г. Сафоново Смоленской области), а также для мобильного рабочего эталона датчиков давления для Балаковской атомной электростанции. Данные системы эксплуатируются с положительным эффектом продолжительное время (до 2 лет), что подтверждает основные положения и рекомендации диссертационного исследования.

239

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

1. Применение предложенных принципов для проектирования схожих классов задач авиационной направленности, а также построение УПП для качественно иных испытательных стендов, например, стендов поверки датчиков. Нами непрерывно ведутся исследования в этой области: мы занимаемся разработкой испытательных стендов турбостартеров на заводе «Красный октябрь»; а также стендами ультразвуковой и 3-мерной лазерной видео дефектоскопии изделий разнообразной (цилиндр, конус, бочка) формы, системой поверки датчиков давления на других промышленных предприятиях России.

2. Развитие предложенного унифицированного процесса проектирования ИИС ИСВР, реализация программного пакета САПР, основанного на разработанной теории.

3. Развитие объектно-ориентированных свойств стандартного пакета программирования измерительных систем Lab VIEW.

ЗАКЛЮЧЕНИЕ

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

Основное содержание исследований:

1. Проведен анализ объекта испытаний и испытательных стендов, выявлены особенности данного класса ИИС.

2. Разработана унифицированная блочно-модульная архитектура оборудования ИИС типовых ИСВР (на основе концепции виртуальных приборов корпорации National Instruments).

3. Предложен унифицированный процесс проектирования ИИС ИСВР.

4. Проведено исследование существующих методов проектирования программного обеспечения и установлены основные положения применительно к ИИС ИСВР.

5. Разработана формальная макромодель ИИС ИСВР (и составляющие ее 11 подмоделей).

6. Предложен объектно-ориентированный программный каркас ПО ИИС ИСВР.

7. Расширены существующие нотации, применяемые для объектно-ориентированного проектирования.

8. Приведены формальные критерии и функционал качества разрабатываемого объектно-ориентированного ПО ИИС ИСВР.

9. Предлагаются научно обоснованные методики и алгоритмы реализации важнейших частей ПО (в том числе подпрограммы коррекции погрешности и метрологической аттестации) конкретных ИИС ИСВР.

Список литературы диссертационного исследования кандидат технических наук Андреев, Сергей Валерьевич, 2002 год

1. Андреев C.B. Разработка формальных методов проектирования программного обеспечения, управляющего испытательными стендами. Электронный журнал «Исследовано в России», 71, стр. 781-797, 2002 г. http://zhurnal.ape.relarn.ru/articles/2002/071.pdf

2. Андреев C.B., Шкодырев В.П. Архитектура абстрактных объектно-ориентированных моделей промышленных измерительных систем // Сборник докладов международной конференции по мягким вычислениям и измерениям SCM'2001, Санкт-Петербург, том 2, стр. 53-57, 2001 г.

3. Андреев C.B., Шкодырев В.П. Интеллектуальный WEB-сервер управления дистанционным экспериментом // Сборник докладов международной конференции по мягким вычислениям и измерениям SCM'2000, Санкт-Петербург, том 1, стр. 274-277, 2000 г.

4. Бабушкин М., Иваненко С., Коростелев В. Web-сервер в действии, СПб.: «Питер», 1997.-264 стр.

5. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, М.: «Бином», 1998. - 558 стр.

6. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя, М.: «ДМК», 2000. - 432 стр.

7. Верещагин Н.К., Шень А. Начала теории множеств, М.: «Издательство Московского Центра непрерывного математического образования», 1999. - 126 стр.

8. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного проектирования. Паттерны проектирования, СПб.: «Питер», 2001. - 366 стр.

9. Главный редуктор ВР-14. Руководство по технической эксплуатации 7871 РЭ, СПб.: «Красный Октябрь», 1979. - 104 стр.

10. Горбатов В.А. Фундаментальные основы дискретной математики, М.: «Наука. Физматлит», 2000. - 544 стр.

11. Грегори К. Использование Visual С++ 6. Полное справочное руководство, М., СПб., Киев: «Вильяме», 1999. - 849 стр.

12. Дьяконов В.П. Mathcad Plus 7.0 Pro, справочник, M.: «CK Пресс», 1998. - 345 стр.

13. Комплексы измерительно-вычислительные. Признаки классификации. Общие требования: ГОСТ 26.203-81, введен 30.06.1981,1988. 11 стр.

14. Компьютерная программа СТЕНД BP-14/24 для управления испытательным стендом Т6365-0907 главных редукторов ВР-14 и ВР-24. Техническое описание, СПб.: «ООО ВиТэк-Автоматика», 2002.

15. Компьютерная программа управления электроприводом стенда Т6365-0710 для сдаточно-контрольных испытаний редукторов ВР-252. Спецификация на разработку программного обеспечения, СПб.: «ООО ВиТэк-Автоматика», 2002.

16. Латотин JI.А., Макаренков Ю.А., Николаева В.В., Сколяр А.А. Математическая логика, Минск: «Вышейная школа», 1991.

17. Мейнджер Д. JAVA. Основы программирования, Киев: «BHV», 1997. - 319 стр.

18. Редуктор ВР-252. Руководство по технической эксплуатации 076.00.0000 РЭ, СПб.: «Красный Октябрь», 1976. - 87 стр.

19. Сайлер Б., Споттс Д. Использование Visual Basic 6. Полное справочное руководство, -М., СПб., Киев: «Вильяме», 1999. 830 стр.

20. Томас М., Пател П., Хадсон А., Болл Д. Секреты программирования для Internet на JAVA, СПб.: «Питер», 1997. - 631 стр.

21. Фомин В.В. Автоматизация логического моделирования программного обеспечения с применением формального аппарата семиотических систем, СПб.: «Энергоатомиздат», 2000. - 250 стр.

22. Фридман А.Л. Основы объектно-ориентированной разработки программных систем,- М.: «Финансы и статистика», 2000. 191 стр.

23. Фролов А.В., Фролов Г.В. Глобальные сети компьютеров. Практическое введение в Internet, E-Mail, WWW и HTML, программирование для Windows Sockets, М.: «Диалог-МИФИ», 1996.-283 стр.

24. Хеслоп Б., Бадник Л. HTML с самого начала, СПб.: «Питер», 1997. - 406 стр.

25. A Comparison of Object-Oriented Development Methodologies, www.cetus-links.org .- 52 pages.

26. Andreev S.V. Helicopter Gear Drive Computer Based Test Bench // National Instruments N1 WEEK'2000 Proceedings, Austin, USA, 2000. http://www.ni.com/pdf/csma/us/andreev.pdf. 3 pages.

27. Ayari A., Basin D., Friedrich S. Structural and Behavioral Modeling with Monadic Logics.- 10 pages.

28. Basin D.A., Klarlund N. Hardware Verification using Monadic Second-Order Logic // BRICS Report Series RS-95-7, 1995. 14 pages.

29. Baumer D., Riehle D., Siberski W., Wulf M. The Role Object Pattern // Proceedings EuroPLoP'2000 Conference. 11 pages.

30. Blaha M., Premerlani W. Using UML to Design Database Applications, www.omtassociates.com . 13 pages.

31. Breu R., Hinkel U., Hofmann C., Klein C., Paech В., Rumpe В., Thumer V. Towards a Formalization of the Unified Modeling Language, www4.informatik.tu-muenchen.de .- 23 pages.

32. Bruel J.M., France В., Larrondo-Petrir M. CASE-based Rigorous Object-Oriented Methods, // Proceedings of the 1st Northern Formal Methods Workshop, Springer eWiC series, 1997.- 5 pages.

33. Bruel J-M., France R.B. Transforming UML Models to Formal Specifications, www4.informatik.tu-muenchen.de.

34. Chang Ku-Yaw, Chen Lih-Shyang, Lai Chi-Kong. Document-View-Presentation Pattern // Proceedings EuroPLoP'99 Conference. 17 pages.

35. Coldewey J. User Interface Software // Proceedings EuroPLoP'98 Conference. 19 pages.

36. Dagermo P., Knutsson J. Development of an Object-Oriented Framework for Vessel Control Systems // Technical Report, Dover Consortium, 1996. 19 pages.

37. DeMarko T. Structured Analysis and System Specification, 1979, Englewood Cliffs, NJ: Prentice-Hall.

38. Duke D. Object-Oriented Formal Specification, Ph.D. thesis, University of Queensland, 1991.

39. Eden A. Directions in Architectural Specifications, www.cs.concordia.ca/~faculty/eden .- 2 pages.

40. Eden A. H. Precise Specification of Design Patterns and Tool Support in Their Application,- Ph.D. thesis, department of Computer Science, Tel Aviv University, 2000.- 100 pages.

41. Eden A. H. Visualization of Object-Oriented Architecture, www.cs.concordia.ca/~faculty/eden . 6 pages.

42. Eden A. LePUS: A Visual Formalism for Object-Oriented Architectures, www.cs.concordia.ca/~faculty/eden . 3 pages.

43. Eden A., Crogono P. Concise and Formal Descriptions of Architectures and Patterns, www.cs.concordia.ca/~faculty/eden . 10 pages.

44. Eden A., Grogono P. A Theory of Object Oriented Architecture, www.cs.concordia.ca/~faculty/eden . 37 pages.

45. Eden A., Hirshfeld Y. Principles in Formal Specification of Object Oriented Architectures, www.cs.concordia.ca/~faculty/eden . 12 pages.

46. Edwards H. Connecting ComponentWorks M User Interface Controls to Remote Data, Application Note 151, http://www.ni.com . 8 pages.

47. Eskelin P. Override Current Processing // Proceedings EuroPLoP'98 Conference. -11 pages.

48. Evanse A., France R., Lano K., Rumpe B. The UML as a Formal Modeling Notation, www4.informatik.tu-muenchen.de . 13 pages.

49. Evanse A.S. Reasoning with UML Class Diagrams, www4.informatik.tu-muenchen.de .- 12 pages.

50. Ferreira L.L., Rubira C. M. F. "The Reflective State Pattern", // Proceedings EuroPLoP'98.- 18 pages.

51. Fontaine M., Deugo D. State Space Explorer Pattern // Proceedings EuroPLoP'99 Conference. 18 pages.

52. Fowler M. Dealing with Roles, http://www.acm.org . 18 pages.

53. G++ New Directions in Information Technology. Graphical Object Technology with Object VIEW, www.gobjectview.com . - 22 pages.

54. Gaertner N., Thirion B. Grafcet: an Analysis Pattern for Event Driven Real-time Systems // Proceedings EuroPLoP'99 Conference. 11 pages.

55. Gane C., Sarson T. Structured Systems Analysis, Englewood Cliffs, NJ: Prentice-Hall.

56. Granlund A., Lafreniere D. PSA. A Pattern-Supported Approach to the User Interface Design Process, 2nd Draft, June 19,1999. 24 pages.

57. Jehander J. Graphical Object-Oriented Programming In Lab VIEW, 1999, www.endevo.se . 16 pages.

58. Johnson G.W., Jennings R. Lab VIEW Graphical Programming, McGraw-Hill, 2001.

59. Johnson R., Kilov H. Can a flat notation be used to specify an 00 system: using Z to describe RM-ODP constructs // Proceedings of the 1st IFIP Work-shop on Formal Methods for Open Object-based Distributed Systems, pages 407-418, Chapman and Hall, 1996.

60. LabWindows/CVI User Manual, National Instruments, 1999. - 279 pages.

61. Lange M. Time Patterns // Proceedings EuroPLoP'98 Conference. 18 pages.

62. Lano K., Haughton H. The Z++ Manual. Technical Report, Imperial College, 1994.

63. Laria P., Chesini U. Refining the Observer Pattern: The Middle Observer Pattern // Proceedings EuroPLoP'98 Conference. 7 pages.

64. Lyons A. UML for Real-time. Overview, www.objectime.com/otl/technical/ , 1998.- 7 pages.

65. Mens T. A survey on formal models for 00 // Tech report, 1994, progwww.vub.ac.be .- 20 pages.

66. Moore A., Cooling N. Developing Real-time Systems using Object Technology. Real-time Perspective. Foundation, 1999, http://www.microprocess.com/algs . 25 pages.

67. Moore A., Cooling N. Developing Real-time Systems using Object Technology. Real-time Perspective. Overview, 1999, http://www.microprocess.com/algs . 30 pages.

68. Mostow J. Toward Better Models of the Design Process, "A1 Magazine", 1985, vol.6(1).

69. Noble J. Arguments and Results // Proceedings EuroPLoP'97 Conference. 14 pages.

70. Palfinger G. State Action Manager // Proceedings EuroPLoP'97 Conference. 8 pages.

71. Pinchuk R., Sharon Y. The Skin Pattern // Proceedings EuroPLoP'2000 Conference.- 11 pages.

72. Sane A., Campbell R. Composite Messages: A Structural Pattern For Communication Between Components, 1995, www:http://choices.cs.uiuc.edu/sane/home.html. 8 pages.

73. Schimdt D.C. Active Object, www.ece.uci.edu/~schmidt/. 30 pages.

74. Schimdt D.C. An 00 Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE Toolkit, www.ece.uci.edu/~schmidt/. 30 pages.

75. Schimdt D.C. Monitor Object. An Object Behavioral Pattern for Concurrent Programming, www.ece.uci.edu/~schmidt/. 10 pages.

76. Schimdt D.C., Suda T. The Performance of Alternative Threading Architectures for Parallel Communication Subsystems, www.ece.uci.edu/~schmidt/. 19 pages.

77. Schmidt D.C. Patterns and Frameworks for Concurrent Network Programming with ACE and C++, www.ece.uci.edu/~schmidt/. 304 pages.

78. Scmidt D.C. Introduction to Patterns and Frameworks. Developing Reusable Software Components, www.ece.uci.edu/~schmidt/.

79. Sefika M., Sane A., Campbell R. H. Architecture-Oriented Vizualization, http://choices.cs.uiuc.edu.

80. Selic B. An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems // Proceedings CHDL'93 Conference. 8 pages.

81. Selic B., Gullekson G., Ward P. Real-Time Object-Oriented Modeling, John Wiley & Sons, New York, NY, 1994.

82. Selic B., Rambaugh J. Using UML for Modeling Complex Real-Time Systems, www.objectime.com/otl/technical/umlrt.html, 1998.-22 pages.

83. Stein J. Object-Oriented Programming and Database Design / Dr. Dobb's Journal of Software Tools for the Professional Programmer, № 137, 1998. p. 18.

84. The Measurement and Automation Catalog 2002, National Instruments, 2002.- 857 pages.

85. Using UML for Complex Real Time System Architectures, http://www.objectime.com .

86. Wu Y. Acquisition-Computing-Execution-Expression (ACEE). A Software Architecture Pattern for Computer-supported Automation and Control Systems // Proceedings EuroPLoP'99 Conference. 9 pages.

87. Wyke E. Investigation of Models for Real-Time Systems: AIDA through UML and ROOM,- Stockholm, M.Sc. Thesis, Mechatronics Lab, Department of Machine Design, Royal Institute of Technology, 2000.

88. Yoder J. W., Johnson R. E. Connecting Business Objects to Relational Databases // Proceedings EuroPLoP'98 Conference. 38 pages.

89. Yourdon E. Modern Structured Analysis, Englewood Cliffs, NJ: Prentice-Hall, 1998.244

Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.