Диплом, курсовая, контрольная работа
Помощь в написании студенческих работ

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

Диссертация: Разработка и исследование моделей и методов построения автоматизированных систем диспетчерского управления
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Предложен метод оценки основных характеристик надежности программного обеспечения информации, по сохраняемой системой управления версиями. Метод позволяет учесть особенности индивидуальной истории создания продукта, такие как практическая скорость внесения изменений в текст программы, интенсивность выявления ошибок, их тип и потребовавшееся на исправление время, полнота предоставленных… Читать ещё >

Содержание

  • Список сокращений, принятых в диссертационной работе
  • Актуальность работы
  • Цель диссертационной работы
  • Научная новизна. И
  • Методы исследования
  • Практическая значимость и внедрение результатов
  • Основные положения, выносимые на защиту
  • Апробация работы
  • Публикации
  • Личный вклад автора
  • Структура и объем работы
  • 1. Архитектура автоматизированной системы диспетчерского управления
    • 1. 1. Исследование типовых моделей построения АСДУ
    • 1. 2. Требования к разрабатываемой АСДУ
    • 1. 3. Предлагаемая архитектура АСДУ
  • 2. Метод построения открытой модульной многоплатформенной SCADA-системы
    • 2. 1. Сравнительный анализ операционных систем
    • 2. 2. Требования к информационной безопасности и открытости
    • 2. 3. Разработка динамического программного интерфейса
    • 2. 4. Применение SCADA-системы
  • 3. Метод обработки данных, основанный на использовании варианта трёхзначной логики
    • 3. 1. Предпосылки и история создания
    • 3. 2. Таблицы истинности
    • 3. 3. Применение метода
  • 4. Методы оценки основных характеристик надежности
    • 4. 1. Метод оценки по информации, сохраняемой системой управления версиями
    • 4. 2. Сравнение результатов
    • 4. 3. Имитационная модель
    • 4. 4. Метод оценки надежности на основе теории нечетких множеств
  • 5. Практическое использование результатов
    • 5. 1. Исторические предпосылки модернизации АСДУ движением поездов
    • 5. 2. Разработанная архитектура АСДУ
    • 5. 3. Моделирующий комплекс
    • 5. 4. Автоматизированная система диспетчерского управления движением поездов Новосибирского метрополитена

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

Актуальность работы.

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

В отличие от полностью автоматической системы АСДУ предполагает первостепенное и активное* участие человека, осуществляющего функции оперативного управления, поэтому анализ отдаваемых им команд и блокирование ошибочных действий в режиме реального времени является необходимым условием обеспечения’безопасности, позволяющим уменьшить влияние так называемого «человеческого фактора».

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

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

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

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

Цель диссертационной работы.

Целью диссертационной работы являлись разработка и исследование методов построения автоматизированных систем диспетчерского управления повышенной надёжности. В соответствии с поставленной целью требовалось решить следующие задачи:

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

• разработать открытую модульную многоплатформенную SCADA-cu-стему, поддерживающую предложенную архитектуру АСДУ и предназначенную для создания многоуровневых программных комплексов с распределённым резервированием;

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

• реализовать предложенные решения в виде программных комплексов при построении АСДУ движением поездов Новосибирского метрополитена, в частности, создать на основе разработанной SCADA-системы программное обеспечение автоматизированных рабочих мест оперативного и эксплуатационного персонала.

Научная новизна.

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

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

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

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

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

Методы исследования.

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

Практическая значимость и внедрение результатов.

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

На основе предложенной архитектуры разработана система, диспетчерского управления движением поездов Новосибирского метрополитена. Программное обеспечение, созданное с помощью разработанной SCADA-системы, функционирует на станциях «Березовая роща», «Маршала Покрышкина», «Площадь Гарина—Михайловского», «Заельцовская» и «Красный проспект».

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

• разработанная архитектура автоматизированной системы диспетчерского управления обеспечивает более высокий коэффициент готовности по сравнению с классической схемой «основной-резервный»;

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

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

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

Апробация работы.

Основные результаты работы, были изложены и обсуждались на следующих научно-технических конференциях и семинарах:.

• VI Международный семинар «Распределенная обработка информации», Новосибирск, 1998 г.;

• the IASTED International Conference «Automation, Control, and Information Technology (ACIT 2002)», Новосибирск, 2002 г.;

• the Second IASTED International Multi-Conference «Automation, Control, and Applications (ACIT-ACA 2005)», Новосибирск, 2005 г.;

• VII, VIII, IX и X Международные конференции «Проблемы управления и моделирования в сложных системах», Самара, 2005;2008 гг.:

• Международная школа-конференция молодых ученых «Информационно-коммуникационные системы», Новосибирск, 2006 г.;

• научно-практическая конференция молодых ученых и студентов НГУ и ИАиЭ СО РАН «Информационно-вычислительные системы анализа и синтеза изображений», Новосибирск, 2006 г.;

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

• VII Международная конференция памяти академика А. П. Ершова «Перспективы систем информатики», Новосибирск, 2009 г.

Публикации.

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

Личный вклад автора.

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

Структура и объем работы.

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

Основные результаты диссертации и выводы:

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

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

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

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

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

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

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

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

9. Предложенные решения внедреныпри — построении автоматизированной системы диспетчерского управления движением поездов Новосибирского метрополитенасистема функционирует на станциях «Березовая роща», «Маршала Покрышкина», «Площадь Гарина—Михайловского», «За-ельцовская» и «Красный проспект».

Заключение

.

Показать весь текст

Список литературы

  1. Системы диспетчерского управления и сбора данных (SCADA-системы) // Мир компьютерной автоматизации. — 1999. — Т. 3. — С. 4−9.
  2. В. Atchison and A. Griffiths. Engineering SCADA Products for Use in Safety-Related Systems // Components of System Safety: Proceedings of the Tenth Safety-Critical Systems Symposium, Southampton. — 2002. — Pp. 76−92.
  3. Donald G. Fink and H. Wayne Beaty. Standard Handbook for Electrical Engineers. 15 edition (August 25, 2006). — USA, Columbus, OH: McGraw-Hill, 2006. — 2000 pp.
  4. Best F. Martin. Programmable Controllers Used in Substations Are Flexible, Low Cost And Efficient // Transmission & Distribution. — 1991. — March. — Pp. 52−56.
  5. Tom Bartee and Thomas C. Bartee. Data Communications, Networks, and Systems. — USA, Indianapolis, Indiana: Sams Publishing, 1985. — 368 pp.
  6. Джонсон Дик. Программируемые логические контроллеры (ПЛК) Электронный ресурс. // Control Engineering. — 2008. — Апрель. — Электрон, дан. — Режим доступа: http://www.controlengrussia.com/apr08−10.php4, свободный. — Загл. с экрана.
  7. OMAC Users Group. Open Modular Architecture Controls Электронный ресурс. — Электрон, дан. — Режим доступа: http://www.omac.org/, свободный. — Загл. с экрана.
  8. James A. Rehg, Glenn J. Sartori. Programmable Logic Controller. — USA, NJ: Pearson Education Inc., 2006. — 624 pp.
  9. Andrew Ashton. PLC programming standards Электронный ресурс. // Instrumentation and Control.— 2007. — July. — Т. 1. — Электрон, дан. — Режим доступа: http://www.instrumentation.co.za/, свободный. —Загл. с экрана.
  10. О.В., Нестуля Р. В., Сорокин И. В. Комплекс «Торнадо-ТМ» как основа АСУ сетевых предприятий И Промышленные АСУ и контроллеры. — 2006. — Т. 3. — С. 12−16.
  11. ГОСТ Р МЭК 61 850−3-2005 «Сети и системы связи на подстанциях. Часть 3. Основные требования». — Москва: Стандартинформ, 2006.
  12. Сушко Валентин. Интеллект на защите энергосистем. Материалы международного съезда релейщиков. // Новости электротехники, 2007, № 5(47) и 2008, № 6(48).
  13. Джок Алан. ОС реального времени Электронный ресурс. // Открытые системы: Computerworld Россия.— 2001. — Июль.— Т. 4. —Электрон. дан. — Режим доступа: http://www.osp.ru/cw/2001/24/41 248/, свободный. — Загл. с экрана.
  14. Michael Barr. Special Report: Choosing an RTOS Электронный ресурс. // Embedded.com.— 2002. — December. — Электрон, дан. — Режим доступа: http://www.embedded.com/story/OEG20021212S0Q61, свободный. — Загл. с экрана.
  15. Куцевич Н.А. SCADA-системы и муки выбора Электронный ресурс. // Мир компьютерной автомсипизации. — 1999. — Т. 1. — С. 72−78. — Электрон, дан. — Режим доступа: http://www.asutp.ru/?p=600 055, свободный. — Загл. с экрана.
  16. А.А. Операционные системы реального времени // PCWeek.— 1999. — Апрель. — Т. 8. — С. 23.
  17. G.A. Boy. Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems I I Proceedings ofCHI98 (ACM SIGCHI Conference on Human Factors in Computing Systems), Los Angeles, USA. — 1998. — Pp. 1823: .
  18. Куцевич Н.А. SCADA-системы. Взгляд, со стороны Электронный ресурс. // PCWeek. — 1999. — Т. 33. — Электрон, дан. — Режим доступа: http://www.asutp.ru/?p=600 594, свободный. — Загл. с экрана.
  19. Л.И., Зельдин Ю. М., Ковалев А. А. Некоторые вопросы обеспечения безопасности систем диспетчерского управления // Приборы и системы. Управление, контроль, диагностика. — 2008. — Т. 6. — С. 1—5.
  20. Погодин Виктор. Промышленная сеть для поддержки АСУ Электронный ресурс. // Connect! Мир Связи. — 2008. — Т. 6. — Электрон, дан. — Режим доступа: http://www.connect.ru/article.asp?id=8778, свободный. — За-гл. с экрана.
  21. Надежность в технике. Основные понятия. Термины и определения. ГОСТ 27.002−89. — Москва: Государственный Комитет СССР по управлению качеством продукции и стандартам. Издательство стандартов, 1990.
  22. Менеджмент риска. Метод структурной схемы надежности. ГОСТ Р 51 901.14−2005 (МЭК 61 078:1991). — Москва: Федеральное агенство по техническому регулированию и метрологии. Стандартинформ, 2005.
  23. Pankaj Jalote. Fault Tolerance in Distributed Systems. — USA: Prentice Hall PTR, 1994. —432 pp.
  24. Э. Распределенные системы. Принципы и парадигмы. — СПб.: Питер, 2003. — 877 с.
  25. Ю.К., Богатырев В. А., Болотин В. В. Надежность технических систем. Справочник. — М.: Радио и связь, 1985. — 608 с.
  26. Н. Kopetz and P. Verissimo. Real Time and Dependability Concepts // Distributed Systems. — 1993. — Pp. 41146.
  27. Виджаян Джайкумар. Отказоустойчивые системы Электронный ресурс. // Открытые системы. ComputerWorld. — 2000. — Т. 47. — Электрон. дан. — Режим доступа: http://www.osp.ru/cw/2000/47/8534/, свободный. — Загл. с экрана.
  28. Barry W. Johnson. An introduction to the design and analysis of fault-tolerant systems // Fault-tolerant computer system design. — 1996. — Pp. 1−87.
  29. Обеспечение и методы оптимизации надежности химических и нефтеперерабатывающих производств / В. В. Кафаров, В. П. Мешалкин, Г. Грун, В. Нойман. — М.: Химия, 1987. — 272 с.
  30. Вахрамеев Кирилл. Защита данных от катастроф Электронный ресурс. // Открытые системы. — 2000. — Т. 3. — Электрон, дан. — Режим доступа: http://www.osp.ru/os/2000/03/177 929/, свободный. — Загл. с экрана.
  31. Печерица Николай. Отказоустойчивость как мера эффективности // Экспресс электроника. — 2005. — Т. 5. — С. 20−25.
  32. М.В. Анализ катастрофоустойчивости кластерных вычислительных систем // Международный форум информатизации. Доклады международной конференции «Информационные средства и технологии» 15−18 октября 2002 г. — С. 66−69.
  33. М. Stonebraker. The case for shared nothing // Database Engineering Bulletin. — 1986. — March. — Vol. 9. — Pp. 4−9.
  34. A. Kuzmin. Clister Approach to High Performance Computing // Computer Modelling & New Technologies. — 2003. — Vol. 7. — Pp. 7−15.
  35. Volker Hamann. Making Internet Servers Fault-Tolerant A Comprehensive Overview // Proc. Conf. «Internet-Russia '96», Moscow. — 1996. — P. 7.
  36. Хаманн Фолъкер. Отказоустойчивая операционная система Tandem NonStop Kernel Электронный ресурс. // Открытые системы (18.03.1997). — Электрон, дан. — Режим доступа: http://www.osp.ru/os/1997/03/179 152/, свободный. — Загл. с экрана.
  37. W.E. Baker and R.W. Horst and D.P. Sonnier and W. J. Watson. A Flexible ServerNet-based Fault-Tolerant Architecture // Proc. of 25th International Symposium on Fault-Tolerant Computing, Pasadena, CA, June 27−30 1995. — 1995. — Pp. 1−10.
  38. Tandem Computers. Breakthrough Technology for the Coming Generation of Applications // White Paper, Tandem Computers, Inc. — Pp. 1−18.
  39. Зелов Сергей. Кластерные технологии Электронный ресурс. II КомпьютерПресс.— 1999.— Т. 3. — Электрон, дан. — Режим доступа: http://www.compress.ru/article.aspx?id=9958, свободный. — Загл. с экрана.
  40. А.В. Интегрированные системы проектирования и управления. — Томск: Кафедра информационно-измерительной техники, 2005. — 183 с.
  41. Д.Г., Стефанюк А. Р., ЯхноВ.П. Механизм отложенной передачи в системах диспетчерского контроля и управления // Промышленные контроллеры. АСУ. — 2008.— Т. 7. — С. 4−10.
  42. В. П. Новая техника и автоматизация управления движением поездов Электронный ресурс. // Московское метро. — 1988. — Электрон, дан. — Режим доступа: http://www.metro.ru/library/metropoliteny/55 .html, свободный.1. Загл. с экрана.
  43. Daniel Н. Steinberg and Stuart Cheshire. Zero Configuration Networking: The Definitive Guide. — USA: O’Reilly Media, Inc, 2005. — 256 pp.
  44. Г. Н. Надежность аппаратно-программных комплексов. — СПб.: Питер, 2005. — 479 с.
  45. Деменков Н.П. SCADA-системы как инструмент проектирования АСУТП. — М.: Изд-во МГТУ им. Н. Э. Баумана, 2004. — 326 с.
  46. Рубер Питер. Корпоративные сети. Какая отказоустойчивость достаточна? Электронный ресурс. // Журнал сетевых решений — LAN (1998−12−16). — Электрон, дан. — Режим доступа: http://www.osp.ru/lan/1998/12/133 870/, свободный. — Загл. с экрана.
  47. Sunk by Windows NT Электронный ресурс. // Wired News (1998−07−24). — Электрон. дан. — Режим доступа: http://www.wired.com/science/discoveries/news/1998/07/13 987, свободный. — Загл. с экрана.
  48. Paul Thurrott. Windows NT sinks Navy ship. Электронный ресурс. // Windows IT Pro (24 July 1998). — Электрон, дан. — Режим доступа: http://windowsitpro.com/article/articleid/18 007/ windows-nt-sinks-navy-ship.html, свободный. — Загл. с экрана.
  49. Статистика использования различных SCADA-систем Электронный ресурс. .// Средства и. системы компьютерной автоматизации. — 2009. — Электрон, дан. — Режим доступа: http ://w w w. asutp.ru/ ?р=2001 &с=87&г= 18 &mode=results, свободный. — Загл. с экрана.
  50. Доктрина информационной безопасности Российской Федерации: Утверждена Президентом РФ 09.09.2000 // Международное право. — 2001. — Т. 3. —С. 334−396.
  51. Кому и как Microsoft откроет свой код в России Электронный ресурс. // CNews (23.05.2005).— 2005. — Электрон, дан. — Режим доступа: http://www.cnews.ru/reviews/index.shtml2005/05/23/1 783 462, свободный. — Загл. с экрана.
  52. Колесов Андрей. Microsoft открывает исходные коды Windows Электронный ресурс. // PCWeek. — 2003. — Т. 2(368). — Электрон, дан. — Режим доступа: http://www.pcweek.ru/themes/detail.php7IDs63477, свободный. — Загл. с экрана.
  53. Microsoft обновляет Windows без согласия пользователя Электронный ресурс. // GNews (13.09.2007). — 2007. — Электрон, дан. — Режим доступа: http://cnews.ru/news/line/index.shtml72007/09/13/265 919, свободный. — Загл. с экрана.
  54. Scott Dunn. Microsoft updates Windows without users' consent Электронный ресурс. // Windows Secrets. — 2007. — Электрон, дан. — Режим доступа: http://windowssecrets.eom/comp/70 913/#storyl, свободный. —Загл. с экрана.
  55. Кузнецов Сергей. Открытые системы, процессы стандартизации и профили стандартов Электронный ресурс. // Центр Информационных Технологий. — Электрон, дан. — Режим доступа: http://www.citforum.ru/database/articles/art19.shtml, свободный. — Загл. с экрана.
  56. СЛ., Филиппов М. Н. Метод построения многоплатформенной открытой модульной SCADA-системы // Вестник НГУ. Серия: Физика. — 2008. — Т. 3, выпуск 1. — С. 115−125.
  57. Саттер Герб, Александреску Андрей. Стандарты программирования на С++. — М.: Издательский дом «Вильяме», 2005. — 224 с.
  58. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон, Д. Влиссидес. — СПб.: Питер, 2007. — 368 с.
  59. Буч Гради. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. — Москва: Бином, 1998. — 560 с.
  60. Dimitri van Heesch. Doxygen: source code documentation generator tool Электронный ресурс. — Электрон, дан. — Режим доступа: http://www.doxygen.org, свободный. — Загл. с экрана.
  61. Сузи Р.А. Python. — СПб.: БХВ-Петербург, 2002. — 768 с.
  62. Википедия свободная энциклопедия Электронный ресурс. / Python (programming language).— 2009. — Электрон, дан. — Режим доступа: http://еп.wikipedia.org/wiki/Python (programminglanguage), свободный. — Загл. с экрана.
  63. Козлов Александр. Python, основные принципы Электронный ресурс. // Host Info (15.05.2008).— 2008. — Электрон, дан. — Режим доступа: http://hostinfo.ru/articles/web/rubric48/rubric55/rubric59/1358/, свободный. — Загл. с экрана.
  64. Полсон Линда Дейли. Разработчики переходят на динамические языки Электронный ресурс. // Открытые системы (05.04.2007).— 2007. — Электрон, дан. — Режим доступа: http://www.osp.ru/os/2007/02/4 108 153/, свободный. — Загл. с экрана.
  65. Москалев А.А. CORBA в промышленных приложениях Электронный ресурс. // Мир компьютерной автоматизации. — 2001. — Т. 5. — Электрон. дан. — Режим доступа: http://www.mka.ru/?p=42 049, свободный. — Загл. с экрана.
  66. Н. СОМ или CORBA? Вот в чем вопрос. Электронный ресурс. // Открытые системы. — 1999. — Т. 3. — Электрон, дан. — Режим доступа: http://vladdavkis.chat.ru/comorcorba.htm, свободный. — Загл. с экрана.
  67. Michi Henning. The Rise and Fall of CORBA // ACM Queue. — 2006. — June. — Vol. 4, № 5. — Pp. 28−34.
  68. С.А., Филиппов M.H. Эффективный метод реализации открытой модульной SCADA-системы // В кн. Труды X Международной конференции «Проблемы управления и моделирования в сложных системах», 23−25 июня 2008 г., Самара. — 2008. — С. 259−262.
  69. Л. С. Карпенко. Многозначные логики. Логика и компьютер. Вып. 4. — М.: Издательство «Наука», 1997. — 223 с.
  70. Н.И. Стяжкин. Формирование математической логики. — М.: Издательство «Наука», 1967. — 508 с.
  71. А. С. Карпенко. Логики Лукасевича и простые числа. — М.: Издательство «Наука», 2000. — 319 с.
  72. Д.А. Бочвар. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // «Математический сборник» Т. 4(46), №. 2. — 1938. — С. 287−308.
  73. А.Д. Гетманова. Логика. — М.: ИКФ Омега-Л- Высшая школа, 2002. — 416 с.
  74. Ш. И. Галиев. Математическая логика и теория алгоритмов.— Казань: Издательство КГТУ им. А. Н. Туполева, 2002. — 334 с.
  75. М.Н. Метод обработки неполных данных на основе трёхзначной логики // Автометрия. — 2009. — Т. 45, № 5. — С. 124−131.
  76. Надежность в технике. Рассчет надежности. Основные положения. ГОСТ 27.301−95. — Минск: Межгосударственный совет по стандартизации, метрологии и сертификации, 1997.
  77. Менеджмент риска. Применение марковских методов. ГОСТ Р 51 901.152005 (МЭК 61 165:1995). — Москва: Федеральное агенство по техническому регулированию и метрологии. Стандартинформ, 2005.
  78. Надежность автоматизированных систем управления. Основные понятия. ГОСТ 24.701−86. — Москва: Государственный Комитет СССР по стандартам. Издательство стандартов, 1987.
  79. Оценка качества программных средств. Общие положения. ГОСТ 2 819 589. — Москва: Издательство стандартов, 1990.
  80. Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению. ГОСТ Р ИСО/МЭК 9126−93. — Москва: Госстандарт России, 1993.
  81. В.В. Технологические процессы и стандарты обеспечения функциональной безопасности в жизненном цикле программных средств // Информационный бюллетень. Jet Info. — 2004. — Т. 3.
  82. Липаев В. В: Надежность программных средств. — М.: СИНТЕГ, 1998.— 232 с.
  83. М. Начала науки о программах.— М.: Финансы и статистика, 1981. — 128 с.
  84. Г. Надежность программного обеспечения.— М.: Мир, 1980.— 360 с.
  85. ., Браун Дж., Каспар X. Характеристики качества программного обеспечения. — М.: Мир, 1981. — 208 с.
  86. Ben Collins-Sussman and Brian W. Fitzpatrick and C. Michael Pilato. Version Control with Subversion. — USA: O’Reilly Media, Inc, 2004.— 320 pp.
  87. Travis Swicegood. Pragmatic Version Control Using Git. — USA: Pragmatic Bookshelf, 2008. — 190 pp.
  88. Bryan O’Sullivan. Distributed revision control with Mercurial Электронный ресурс. — 2006. — Электрон, дан. — Режим доступа: http://hgbook.red-bean.com/hgbook.html, свободный. — Загл. с экрана.
  89. Bazaar Documentation Электронный ресурс.— 2009. — Электрон, дан. — Режим доступа: http://bazaar-vcs.org/Documentation, свободный. — Загл. с экрана.
  90. William Nagel. Subversion Version Control: Using the Subversion Version Control System in Development Projects. — USA: Prentice Hall PTR, 2005. — 368 pp.
  91. JIuhhuk Ю. В. Метод наименьших квадратов и основы математико-стати-стической теории обработки наблюдений, 2 изд. — М.: ГИФМЛ, 1962.— 350 с.
  92. Mike Mason. Pragmatic Version Control Using Subversion. — USA: Pragmatic Bookshelf, 2004. — 224 pp.
  93. Е.И. Статистические методы анализы и обработки наблюдений. — М.: Издательство «Наука», 1968. — 288 с.
  94. В.И. Тихонов МЛ Миронов. Марковские процессы.— М.: Советское радио, 1977. — 488 с.
  95. Т. Тейер, Р. Липов, Э. Нельсон. Надежность программного обеспечения. — М.: «Мир», 1981. — 325 с.
  96. Jelinski Z. and Moranda P. Software reliability research // Statistical computer performance evaluation. — 1972. — Vol. № 5. — P. 475−478.
  97. Shick G.J. and Wolverton R.W. An analysis of computing software reliability models // IEEE Transactions on Software Engineering. — 1978. — July. — Vol. SE-4. — P. 104−120.
  98. Р. Лингер, X. Миллс, Б. Уитт. Теория и практика структурного программирования. — М: «Мир», 1982. — 406 с.
  99. Н. Erdogmus. On the Effectiveness of Test-first Approach to Programming // IEEE Transactions on Software Engineering.— 2005. — March.— Vol. 31(3). —Pp. 226−237.
  100. Julio Cesar Sanchez and Laurie Williams and E. Michael Maximilien. A Longitudinal Study of the Use of a Test-Driven Development Practice in Industry // Proceedings of the Agile 2007 Conference, Washington, District of Columbia, USA. — Pp. 5−14.
  101. D. S. Janzen and H. Saiedian. On the Influence of Test-Driven Development on Software Design // Conference on Software Engineering Education and Training (CSEET), Turtle Bay, Hawaii. — 2006. — Pp. 141−148.
  102. А., Крюон P. Массовое обслуживание. Теория и приложения.— Москва: Издательство «Мир», 1965. — 302 с.
  103. Баруча-Рид А. Т. Элементы теории марковских процессов и их приложения. — Москва: Издательство «Наука», 1969. — 512 с.
  104. L. Chen and A. Avizienis. N-Version Programming: A Fault-Tolerant Approach to Reliability of Software Operation // Proc. Int. Symp. Fault-Tolerant Computing. — 1978. — Vol. 8. — Pp. 3−9.
  105. A. Avizienis. The N-Version approach to fault-tolerance software // IEEE Trans. Software Engineering. — 1985.— December. — Vol. 11. —Pp. 1491−1501.
  106. А.В. К проблеме выбора мультиверсионной модели повышения надежности программного обеспечения // Вестник Сибирского государственного аэрокосмического университета.— 2008.— Т. 4(21).— С. 63−67.
  107. Liming Chen and Avizienis A. N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation // Fault-Tolerant Computing, «Highlights from Twenty-Five Years Twenty-Fifth International Symposium on, 27−30 June 1995. — P. 113.
  108. J.C. Knight and N. G. Leveson. An experimental evaluation of the assumption of independence in multiversion programming // IEEE Trans. Softw. Eng. — 1986. — Vol. 12. — Pp. 96−109.
  109. J.C. Knight and N. G. Leveson. A reply to the criticisms of the Knight and Leveson experiment // SIGSOFT Softw. Eng. Notes. — 1990. — Vol. 15, 1. — Pp. 24−35.
  110. NumPy — Numerical Python Электронный ресурс.— 2009. — Электрон. дан. — Режим доступа: http://numpy.scipy.org, свободный. — Загл. с экрана.
  111. Madan М. Gupta and Takeshi Yamakaw. Fuzzy logic in knowledge-based systems, decision and control. — North-Holland Publishing Co., 1988. — 410 pp.
  112. James C. Bezdek. Pattern Recognition with Fuzzy Objective Function Algorithms (Advanced Applications in Pattern Recognition).— N. Y.: Plenum Press, 1981. — 271 pp.
  113. Д., Прад А. Теория возможностей. Приложение к представлению знаний в информатике. — М.: Радио и связь, 1990. — 288 с.
  114. Dmitry A. Kazakov. Fuzzy graph-schemes in pattern recognition Электронный ресурс. // Internet. — 1992. — Электрон, дан. — Режим доступа: http://www.dmitry-kazakov.de/postgra/introduction.htm, свободный. — Загл. с экрана.
  115. Zadeh L. A. Fuzzy sets // Information and Control.— 1965.— Vol. 8.— Pp. 338−353.
  116. В.Я., Бакулин Е. П., Коренъков Д. И. Нечеткие множества в системах управления. Методическое пособие. — Новосибирск: НГУ, Физический факультет, 1997. — 43 с.
  117. Нечеткое управление подачей воздуха в топку парового котла / Е.П. Ба-кулин, В. Д. Бобко, Ю. Н. Золотухин, М. А. Золотухина, А. А. Нестеров, В. Я. Пивкин, М. Н. Филиппов, А. П. Ян // Автометрия. — 2002. — Т. 38, № 6.—С. 36−44.
  118. С. В. Введение в теорию нечетких множеств. — Калининград: Изд-во КГУ, 2004. — 176 с.
  119. М.Н. Метод контроля сходимости выводов нечеткой экспертной системы // В кн. Труды VI Международного семинара «Распределенная обработка информации», 23−25 июня 1998 г., Новосибирск.— 1998. — С. 343−347.
  120. L.A. Zadeh. Discussion: Probability theory and fuzzy logic are complementary rather than competitive // Technometrics. — 1995. — Vol. 37. — Pp. 271−276.
  121. Кофман Арнольд. Введение в теорию нечетких множеств. — М.: Радио и связь, 1982. — 432 с.
  122. Л. Понятие лингвистической переменной и его применение к принятию приближенных рассуждений. — М.: Мир, 1976. — 165 с.
  123. Маршрутно-релейная централизация / И. А. Белязо, В. Р. Дмитриев, Е. В1 Никитина, А. Н. Пестриков. — М.: Трансжелдориздат, 1962. — 283 с.
  124. В.В. Электрическая централизация стрелок и сигналов метрополитенов. — М.: Транспорт, 1984. — 239 с.
  125. James Issak and Kevin Lewis and Kate Thompson and Richard Straub. Open System Handbook: A Guide to Building Open Systems. — The IEEE Standards Press, 1994. — 197 pp.
Заполнить форму текущей работой

На отлично!