Управление восстановлением процессов информационного обмена в объединенных сетях передачи данных
Диссертация
В настоящий момент на предприятиях особое внимание уделяют повышению эффективности производства и улучшению качества управления за счет создания единого информационного пространства предприятия. Это достигается в результате своевременной обработки оперативной информации, передаваемой от различных объектов производства. Для получения данной информации необходима комплексная интеграция отдельных… Читать ещё >
Содержание
- 1. ОРГАНИЗАЦИОННОЕ УПРАВЛЕНИЕ МАШИНОСТРОИТЕЛЬ-НЫМ ПРЕДПРИЯТИЕМ
- 1. 1. Анализ и системное моделирование организационного управления машиностроительным предприятием
- 1. 2. Организационное управление основным и вспомогательным производством машиностроительного предприятия
- 1. 3. Автоматизированные системы управления в сетях передачи данных предприятия
- 1. 4. Основные этапы реинжиниринга АСУ машиностроительного предприятия
- 1. 5. — Проблемы взаимодействия процессов информационного обмена в" объединенных сетях передачи данных
- 1. 6. Формальная постановка задачи исследования
- Выводы по первой главе
- 2. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРОЦЕССОВ ИНФОРМАЦИОННОГО ОБМЕНА В СЕТЯХ ПЕРЕДАЧИ ДАННЫХ ПРЕДПРИЯТИЯ
- 2. 1. Формальное описание процессов информационного обмена предприятия
- 2. 2. Процедурная характеристика внепротокольных прерываний процессов информационного обмена
- Выводы по второй главе
- 3. МЕТОДИКА ОБНАРУЖЕНИЯ И КОРРЕКЦИИ ВНЕПРОТОКОЛЬНЫХ ПРЕРЫВАНИЙ
- 3. 1. Виды внепротокольных прерываний
- 3. 2. Алгоритмы обнаружения и коррекции столкновений в протоколах
- Выводы по третьей главе
- 4. МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ИНФОРМАЦИОННОГО ОБМЕНА В СЕТЯХ ПЕРЕДАЧИ ДАННЫХ
- 4. 1. Оценка вычислительной сложности
- 4. 2. Имитационное моделирование процессов информационного обмена в сетях передачи данных предприятия
- 4. 3. Оценка адекватности имитационной модели
- Выводы по четвертой главе
Список литературы
- Алексеев, В.Б. Элементы теории графов, схем и автоматов Текст./ В. Б. Алексеев, С. А. Ложкин // М.: Издательский отдел ф-та ВмиК МГУ, 2000 г. 58 с.
- Алешин, В. С. Автоматизированный анализ информационных ресурсов управления машиностроительным предприятием: Дис.. канд. техн. наук Вологда, 2003 183 с.
- Арбиба, М. Алгебраическая теория автоматов, языков и полугрупп. Текст. / М. Арбиба // Пер. с англ. М., «Статистика», 1975 335 с.
- Афанасьев, А.П. Решение задачи синтеза оптимального управления в распределенной среде Текст./А.П. Афанасьев, Д.А. Хуторной// Проблемы вычислений в распределенной среде: прикладные задачи. Труды ИСА РАН. -М.: РОХОС, 2004, с.119−125.
- Ахо, А. Структуры данных и алгоритмы Текст./ Ахо А., Д. Хоп-крофт, Д. Ульман Джеффри // Вильяме, 2000, 384 с .
- Бардзинь Я.М. Язык спецификаций SDL и методика его использования Текст. / Я. М. Бардзинь, А. А. Калниньш, Ю. Ф. Стродс, В. А. Сыцко // Рига: ЛГУ, 1986.
- Баронов, В.В. Автоматизация управления предприятием Текст./ В. В. Баронов, Г. Н. Калянов, Ю. И. Попов, А. И. Рыбников, И.Н. Титовский// М.: ИНФРА-М, 2000. 239 с.
- Башарин, Г. П. Анализ очередей в вычислительных сетях. Теория и методы расчета Текст. / Г. П. Башарин, П. П. Бочаров, Я. А. Коган // М.: Наука, 1989. 336 с.
- Ю.Бертсекас, Д. Сети передачи данных Текст. / Д. Бертсекас, Р. Галлагер // М.: Мир, 1989. 554 с.
- П.Бестугин А. Р. Контроль и диагностирование телекоммуникационных сетей Текст. / А. Р. Бестугин, А. Ф. Богданова, Г. В. Стогов // СПб: Политехника, 2003. 174 с.
- Брауэр, В. Введение в теорию конечных автоматов Текст. / В. Брау-эр // Пер. с нем. М.: Радио и связь, 1987. — 392 с.
- Брейкин, Т.В. К вопросу об автоматизации функций принятия решений на машиностроительном предприятии Текст. / Т. В. Брейкин, JI.3. Камалова, П. И. Тарарако // Управление в сложных системах": Межвузовский научный сборник. -Уфа, УГАТУ. 1999.-С.231−238.
- Бродский, Ю.И. Имитационное моделирование в распределенной информационно-вычислительнойсредеТекст./Ю.И.^Бродский,--Я.Р— Гринберг, Ю.Н. Павловский// Проблемы вычислений в распределенной среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.95−110.
- Бушуев, С.Н. Организация распределенного преобразования информации в информационно-технических системах Текст./ С. Н. Бушуев // СПб.: ВАС, 1994.-226 с.
- Васильев, В.Н. Организация, управление и экономика гибкого интегрированного производства в машиностроении Текст./ В. Н. Васильев // М.: Машиностроение, 1986. 312 с.
- Вегешна, Ш. Качество обслуживания в сетях IP Текст. / Ш. Вегеш-на // М.: Издательский дом «Вильяме», 2003. 368 с.
- Вендров, A.M. CASE-технологии. Современные методы и средства проектирования информационных систем Текст. /A.M. Вендров// М.: Citforum, 1998.
- Волкова, И.А. Формальные грамматики и языки. Элементы теории трансляции (издание второе, переработанное и дополненное) Текст./ И. А. Волкова, Т. В. Руденко //Издательский отдел факультета ВМиК МГУ, 1998.62 с.
- Гаврилов, М.А. Логическое проектирование дискретных автоматов Текст./ М. А. Гаврилов, В. В. Девятков, Е. И. Пупырев // М.: Наука, 1977.
- Гашков, С.Б. Арифметика. Алгоритмы. Сложность вычислений Текст. / С. Б. Гашков, В.Н. Чубариков// М.: Наука, 1996
- Георгиевский, А. Е. Моделирование процессов взаимодействия протокольных объектов в средствах информационного обмена : дис. кандидата технических наук Орел, 2008. с. 184
- Гуц, А. К. Математическая логика и теория алгоритмов Текст./ А. К. Гуц // Омск: Из-во Наследие. Диалог-Сибирь, 2003. 108 с.
- Давыдов, Е.Б. Тенденции процессов разработки и исследования протоколов сетей связи Текст. / Е. Б. Давыдов, Ю. С. Злотников // Техника средств связи. Сер. ТПС, 1987, вып.2. С. 79 — 88.
- Джинчарадзе, А. К. Методические подходы и-тенденции развития стандартизации и систем качества в области информационных технологий Текст./ А. К. Джинчарадзе // Информационное общество 2000. — № 3. -С. 37−43.
- Еременко, В.Т. Теоретические основы обслуживания сообщений в информационно-телекоммуникационных системах Текст./ В. Т. Еременко, О. Г. Кузьменко, Н. Г. Подчерняев // Учебное пособие Орел: Орловский юридический институт, 1999. — 118 с.
- Еременко, В.Т. Алгоритмическое обеспечение отказоустойчивости информационно-управляющих систем Текст. / В. Т. Еременко, С. В. Костин // Наука и практика № 5 2004 г. — Орел: Орловский ЮИ. — С. 92 — 94.
- Еременко, В.Т. Концепция обнаружения и коррекции логических ошибок в реализациях профилей протоколов безопасности Текст./ В. Т. Еременко // Телекоммуникации 2003. — № 8- С. 30 — 35.
- Еременко, В.Т. Математическое моделирование процессов информационного обмена в распределенных управляющих системах Текст. / В. Т. Еременко // Монография /Под общей редакций Константинова И. С. м.: Машиностроение — 1, 2004. — 224 с.
- Еременко, В.Т. Методика оценки безопасности АСУ Текст./ В. Т. Еременко // Материалы всесоюзной научно-технической конференции. Киев: КВВИДКУС, 1991 г. — С. 24−28.
- Еременко, В.Т. Методологический аспект построения теории функциональной стандартизации протоколов информационного обмена Текст. / В. Т. Еременко // Вестник компьютерных и информационных технологий № 1.-2004.-С. 14- 17.
- Еременко, В.Т. Основы построения информационно-телекоммуникационных систем Текст. / В. Т. Еременко // Учебное пособие. Часть 2. Орел: Орловский юридический институт МВД России, 1999. — 129 с.
- Еременко, В.Т. Теория информации и информационных процессов: Монография Текст. / В. Т. Еременко, Н. А. Орешин, Н. Г. Подчерняев, О. В. Третьяков // Орел: Орловский юридический институт МВД России, 2000. -187 с.
- Ильясов, Б.Г. Моделирование производственно-рыночных систем Текст. / Б. Г. Ильясов, JI.A. Исмагилова, Р. Г. Валеева // Уфа: Изд. УГАТУ, 1995,-321 с.
- Калянов, Г. Н. Номенклатура CASE-средств и виды проектной деятельности Текст. / Г. Н. Калянов //Системы Управления Базами Данных -1997,-№ 2,-с 18−21.
- Карпов, Ю.Г. Теория автоматов Текст. / Ю. Г. Карпов // СПб.: Питер, 2003.-208 с.
- Кобринский, Н. Е. Введение в теорию конечных автоматов Текст. / Н. Е. Кобринский, Б. А. Трахтенброт // М.: Физматгиз, 1962 г., 404 с.
- Колганов, С.К. Построение в условиях дефицита информации сводных оценок сложных систем Текст. / С. К. Колганов, В. В. Корников, П. Г. Попов, Н. В. Хованов // М.: Радио и связь, 1994. 79 с.
- Колмогоров, А.Н. Теория информации и теория алгоритмов Текст. / А. Н. Колмогоров // М.: Наука, 1987. 358 с.
- Константинов, И. С. Управление процессами информационного обмена в распределенной информационной среде в условиях перегрузки
- Костин, С.В. Повышение надежности процессов информационного обмена в АСУП Текст. /С.В. Костин, Т.М. Парамохина// Известия Орел-ГТУ. Серия «Информационные системы и технологии» № 2. — с.93−96, 2005.
- Кристофидес, Н. Теория графов. Алгоритмический подход Текст. / Н. Кристофидес //М.: Мир, 1978. 429 с.
- Кудрявцев, В.Б. Введение в теорию автоматов Текст. / В. Б. Кудрявцев, С. В. Алешин, А. С. Подколзин // М.: Наука, 1985
- Кузнецов, О.П. Графы логических автоматов и их преобразования Текст. / О. П. Кузнецов //Автоматика и телемеханика. 1975. N9.
- Кульгин, М. Технология корпоративных сетей Текст. / М. Кульгин // Энциклопедия СПб.: Издательство «Питер», 1999. — 704 с.
- Линингтон, П. Ф. Принципы определения служб и спецификации протоколов / Текст. П. Ф. Линингтон // ТИИЭР— 1983— Т. 71, № 12—С. 17—22.
- Мардас, О.А. Информационное обеспечение автоматизированных систем управления качеством продукции промышленных предприятий : Дис.. канд. техн. наук СПб., 2005 210 с.
- Мелихов, А.Н. Ориентированные графы и конечные автоматы Текст. / А. Н. Мелихов //М.: Наука, 1971, 416 с.
- Мельников, Д.А. Информационные процессы в компьютерных сетях. Протоколы, стандарты, интерфейсы модули Текст./Д.А. Мельников// М.: КУДИЦ-ОБРАЗ, 2000
- Мельников, Д. А. Информационные процессы в компьютерных сетях. Протоколы, стандарты, интерфейсь1, модели Текст.7^Д.А. Мельников-// — М.: КУДИЦ-ОБРАЗ, 1999. 256 с.
- Набатов А.Н. Построение моделей производственных процессов для автоматизированной системы организационного управления машиностроительным предприятием: Дис. канд. техн. наук: 05.13.06.
- Насыпный, В. В. Развитие теории построения открытых систем на основе информационной технологии искусственного интеллекта Текст. / В. В. Насыпный // М.: Военное издательство, 1994. 328 с.
- Озаренко, О.В. Имитационная модель процессов информационного обмена Текст. / О. В. Озаренко, В. Т. Еременко, // Известия ОрелГТУ. III Международная научно-техническая конференция (ИТНОП). Материалы конференции. Т.1. 2008, № 1−2/269(544) — С. 187−190.
- Озаренко, О.В. Методика обнаружения и коррекции внепротокольных прерываний в сетях передачи данных Текст. / О. В. Озаренко, В. И. Раков // Известия ОрелГТУ. Серия «Информационные системы и технологии" — № 2/52. 2009. — С. 103 — 110.
- Парамохина, Т.М. Автоматизация процессов аттестационных испытаний средств информационного обмена : дис.. кандидата технических наук Орел, 2007. с. 175
- Пешков, Г. Ф. Формирование функциональной-структуры управле— — ния машиностроительным предприятием Текст./ Г. Ф. Пешков, А. В. Речкалов // Свердловск, Препринт УНЦ АН СССР, 1985,-124с.
- Погодаев, А.К. Развитие современных информационных технологий для повышения эффективности автоматизированных систем управления качеством : Дис. д-ра техн. наук Липецк, 2003 380 с.
- Пономарев, Д.Ю. Вероятностно-временные характеристики асинхронных информационных сетей с учетом самоподобия Текст./ Д.Ю. Пономарев// Научное издание Красноярск: НИИ СУВПТ, 2 002.-194 с.
- Пономарев, Д.Ю. Потери в системах массового обслуживания с учетом свойства самоподобия Текст./ Д. Ю. Пономарев, М. Н. Петров // Тезисы докладов 6-ой Всероссийской научно-практической конференции «Проблемы информатизации региона». Красноярск- КГТУ, 2000.
- Попов, Э.В. Реинжиниринг бизнес-процессов и информационные технологии (Экспертные системы реального времени) Текст. / Э. В. Попов, М.Д. Шапот// Открытые системы. 1996.-№ 1, — С. 63−75.
- Поспелов, Д. А. Игры и автоматы Текст./ Д. А. Поспелов //М.: Л.: Энергия, 1966, 134 с.
- Потапова, Т.Б. Интеграция АСУТП и АСУП Текст./Т.Б. Потапова// Известия Орловского государственного технического университета. Серия «Информационные технологии в науке, образовании и производстве" — Т1. -2004. 75 с. — 200 экз.
- Пранявичюс, Г. Модели и методы исследования вычислительных систем Текст. / Г. Пранявичюс // Вильнюс: Мокслас, 1982. 228с.
- Пучнин, Н.Б. Система информационной поддержки принятия решений при стратегическом управлении машиностроительным предприятием : Дис. канд. техн. наук Уфа, 2005 139 с.
- Руководство по технологиям объединенных сетей //cisco systems, 4-е издание, Вильяме 2005.
- Савенков, А. Н. Управление процессами информационного обмена в сетях передачи данных АСУ^ машиностроительного-предприятия :-дис. .— — кандидата технических наук: Орел, 2007. с. 144
- Савина, О.А. Управление промышленными предприятиями с использованием систем поддержки решений Текст. /О.А. Савина// М.: Издательство МАИ, 2000. 256 с.
- Симановский, Е.А. Оценка необходимой полосы пропускания внешнего канала корпоративной сети Текст. / Е. А. Симановский, В. Г. Грачев // Труды Всероссийской научно-методической конференции «Телемати-ка'2003». СПб., 2003. — Т1. — С. 279−281.
- Спецификация Microsoft на основные функции RDP Электронный ресурс. http://msdn.microsoft.com/en-us/library/cc240445(PROT. 10).aspx
- Спецификация Microsoft на графические расширения RDP Электронный ресурс. -http://msdn, microsoft.com/en-us/library/cc241537(PROT.10).aspx
- Стандарт протокола RFB 3.8 Электронный ресурс. -http://www.realvnc.com/docs/rfbproto.pdf
- Сухорослов, О.В. Имитационное моделирование пиринговых систем Текст. /О.В. Сухорослов//Проблемы вычислений-в распределенной’среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.44−94.
- Сухорослов О.В. Пиринговые системы: концепция, архитектура и направления исследований Текст. /О.В. Сухорослов// Проблемы вычислений в распределенной среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.7−43.
- Терентьев, С. В. Об одном подходе к построению имитационной модели производственного процесса Текст. /С. В. Терентьев// Материалы Всероссийской научно-практической конференции ИММОД-2003- СПб., 2003. -Т.1. С. 185−189.
- Трахтенгерц, Э.А. Компьютерная поддержка принятия решений: Научно-практическое издание Текст. /Э.А. Трахтенгерц // Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1998. — 376 с.
- Форд, JI. Р. Потоки в сетях Текст./ Л. Р. Форд, Д. Фалкерсон // Пер. с англ.—М: Мир, 1986.—276 с. 276 с.
- Хоар, Ч. Взаимодействующие последовательные процессы / Ч. Хоар //М.: Мир 1989 г.
- Чариков, П.Н. Системное моделирование организационного управления машиностроительным предприятием при производстве под заказ : Дис. канд. техн. наук: Уфа, 2004 162 с.
- Черпаков, Б.И. Интегрированная АСУ автоматизированных производств Текст./ Б. И. Черпаков // М.: ЭНИМС, 1992. 304 с.
- Шелухин, О.И. Фрактальные процессы в телекоммуникациях Текст./О.И. Шелухин, A.M. Тенякшев, А. В. Осин // Москва: Радиотехника, 2003.
- Шильняк, Д.Д. Децентрализованное управление сложными системами Текст./ Д. Д. Шильняк // Пер. с англ. М.: Мир, 1994. — 576 с.
- Щербо, В.К. Стандарты вычислительных сетей. Взаимосвязи сетей. Справочник Текст./ В. К. Щербо // М.: КУДИЦ-ОБРАЗ, 2000. 268 с.
- Яковенко Е.Г. Справочник разработчика АСУ Текст. / Е.Г. Яко-венко, А. А. Модин, Е. П. Погребной // М.: Экономика, 1978. 400 с.
- Anders, Elc. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. / Ek. Anders, J. Grabowski, D. Hogrefe //Technical report, 1998. 22 c.
- A Novel Framework for Test Domain Reduction using Extended Finite State Machine Nutchakorn Ngamsaowaros, Peraphon Sophatsathit, 2006
- A. Guerrouat, H. Richter A Formal Approach for Analysis and Testing of Reliable Embedded Systems
- Besse, C. Optimization techniques and automatic test generation for ТСРЯР protocols/ Cederic Besse, A. Cavalli, D. Lee // 1998. 16 c.
- Decomposition of Extended Finite State Machine for Low Power Design. MingHung Lee, Ting Ting Hwang, Shi-Yu Huang, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition, 2003
- Goldsmith,-M.~ H. Modeling—and-Analysis~of Security Protocols,
- Addison Wesley/ M. H. Goldsmith, Gavin, Bill Roscoe, P. Y. A. Ryan // 2000. -352 s.
- H. Pranevicius, T. Kirvelaitis, I. Praneviciene. Numerical Model Transmission Control Protocol // Electronics and Electrical Engineering. Kaunas: Technologija, 2006. — No. 6(70). — P. 49−54.
- Hubert Zimmermann OSI Reference Model — The ISO Model of Architecture for Open Systems InterconnectionPDF /Hubert Zimmermann// IEEE Transactions on Communications, vol. 28, no. 4, April 1980, pp. 425 432.
- Huima A. Efficient infinite-state analysis of security protocols. // Presented at FLOC'99 Workshop on Formal Methods and Security Protocols, 1999
- IEEE Std P1516. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Framework and Rules. N.Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.
- Improving The Timing Of Extended Finite State Machines Via Catalyst Shi-Yu Huang, 2004
- John D. Day, Hubert Zimmermann. The OSI Reference Model Proc. IEEE, vol. 71, no. 12, Dec. 1983, 1334−1341.
- PRINCIPLES AND METHODS OF TESTING FINITE STATE MACHINES — A SURVEY David Lee, Mihalis Yannakakis, AT&T Bell Laboratories, Murray Hill, New Jersey, 1999.
- SUPERVISORY CONTROL OF COMMUNICATING EXTENDED FINITE STATE MACHINES Yue Yang, Amin Mannani, Peyman Gohari, ECE Department, Concordia University, Montreal, QC, Canada, 2005
- Towards Model Checking of Finite State Machines Extended with Memory through Refinement ELEFTHERAKIS G., KEF ALAS P., 2001
- Tristan Richardson. Virtual «Network-Computing- / R. Tristan, S. Quentin, R. Kenneth, H. Andy // IEEE Internet Computing, Vol.2 No. l, Jan/Feb 1998 pp33−38
- X-based VNC server. Virtual Network Computing. AT&T Laboratories Cambridge (1999) Электронный ресурс. -http://www.cl.cam.ac.uk/research/dtg/attarchive/vnc/xvnc.html