Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Тебекин, Юрий Борисович

  • Тебекин, Юрий Борисович
  • кандидат технических науккандидат технических наук
  • 2012, Воронеж
  • Специальность ВАК РФ05.13.11
  • Количество страниц 162
Тебекин, Юрий Борисович. Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании: дис. кандидат технических наук: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Воронеж. 2012. 162 с.

Оглавление диссертации кандидат технических наук Тебекин, Юрий Борисович

Введение.

1. Проблемы создания математического и программного обеспечения минимизации межинтерфейсных потерь при многофазной разработке информационных систем.

1.1. Системный анализ проблемы повышения качества проектирования специального математического и программного обеспечения систем управления связью.

1.2. Процесс разработки математического и программного обеспечения системы управления как вероятностная многофазная система.

1.3. Анализ подходов к постановке и решению задач оптимизации многофазных систем.

1.4. Постановка задач работы.

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

2.1. Проблема оценки качества разработки математического и программного обеспечения.

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

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

2.4 Оптимизационная задача оперативного управления качеством процесса многофазной разработки программного обеспечения.

2.5.Вывод ы.

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

3.1. Формализация задачи минимизации потерь при последовательном соединении программных интерфейсов.

3.1.1. Множественность интерфейсов.

3.1.2. Согласование интерфейсов.

3.1.3. Маршрутизация интерфейсов.

3.1.4. Математические основы решения проблемы потерь при согласовании интерфейсов.

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

3.2.1. Оптимальное объединение модулей в цепочку.

3.2.2. Значения литералов и дизъюнктов.

3.2.3. Анализ редукции.

3.2.4. «Жадный» алгоритм.

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

3.3.1. Сеть модулей с возможностей потери.

3.3.2. Минимизация количества модулей.

3.3.3. Варианты исследования.

3.4. Выводы.

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

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

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

4.2.1. Алгоритмические свойства системы.

4.2.2. Структура базы данных.

4.3. Контроль и управление предпроизводственной стадией проектирования программных компонент систем управления связью.

4.3.1. Назначение и возможности программного комплекса.

4.3.2. Структура программного комплекса.

4.3.3. Схема взаимодействия модулей, сервера, базы данных и пользователей.

4.4. Выводы.

Основные результаты работы.

Рекомендованный список диссертаций по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК

Введение диссертации (часть автореферата) на тему «Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании»

Актуальность темы

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

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

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

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

Тематика диссертационной работы соответствует научному направлению ФГБОУ ВПО «Воронежский государственный технический университет» «Вычислительные комплексы и проблемно-ориентированные системы управления».

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

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

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

Тематика работы соответствует п. 1 «Модели, методы и алгоритмы проектирования и анализа программ и программных систем .» и п. 3 «Модели, методы, алгоритмы, языки и программные инструменты для организации взаимодействия программ и программных систем» паспорта специальности 05.13.11 - «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

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

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

Компоненты математического и программного обеспечения прошли государственную регистрацию в ФГНУ «Центр информационных технологий и систем органов исполнительной власти».

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

Апробация работы. Основные положения и результаты диссертационной работы докладывались на следующих научных конференциях и семинарах: XVI Международной открытой научной конференции «Современные проблемы информатизации в экономике и обеспечении безопасности» (Воронеж, 2011), Всероссийской научно-практической конференции «Новые технологии в научных исследованиях, проектировании, управлении, производстве» (Воронеж, 2010), ХУ-ХУП Международной открытой научной конференции «Современные проблемы информатизации в анализе и синтезе технологических и программно-телекоммуникационных систем» (Воронеж, 2010-2012), XVII Всероссийской научно-методической конференции «Телематика'2010» (Санкт-Петербург, 2010), XVII Международной открытой научной конференции «Современные проблемы информатизации в моделировании и социальных технологиях» (Воронеж, 2012), II Международной научно-практической конференции «Объектные системы -2010» (Ростов-на-Дону, 2010), Всероссийской конференции «Критические технологии вычислительных и информационных систем» (Воронеж, 2011), а также на научных семинарах кафедры автоматизированных и вычислительных систем ФГБОУ ВПО ВГТУ (Воронеж, 2010-2012).

Публикации. По результатам исследований опубликовано 20 научных работ, в том числе 3 - в изданиях, рекомендованных ВАК РФ. В работах, опубликованных в соавторстве и приведенных в конце автореферата, лично соискателем предложены: в [4, 5, 9, 11] - представление системы разработки как конвейерной системы, ее анализ и оптимизация; [6, 7, 8] -оптимизационная задача оперативного управления качеством многофазной разработки интерфейсов программных систем; в [1, 12, 13, 14, 20] - теоретико-множественная модель последовательностей взаимодействующих интерфейсных модулей; в [15, 19] - эвристический алгоритм оценки качества многофазного процесса разработки специального программного обеспечения и его реализация; в [2, 17, 18] - математическое и программное обеспечение многофазной информационной системы контроля и управления предпроизводственной стадией проектирования программных компонент управления связью.

Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы из 105 наименований. Основная часть работы изложена на 162 страницах, содержит 45 рисунков, 36 таблиц.

Похожие диссертационные работы по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Тебекин, Юрий Борисович

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

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

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

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

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

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

6. Компоненты математического и программного обеспечения прошли государственную регистрацию в ФГНУ «Центр информационных технологий и систем органов исполнительной власти».

Список литературы диссертационного исследования кандидат технических наук Тебекин, Юрий Борисович, 2012 год

1. Авен О.И., Гурин H.H., Коган Я.А. Оценка качества и оптимизация вычислительных систем. М.: Наука, 1982.

2. Авсеева О.В., Говорский А.Э., Тебекин Ю.Б., Кравец О.Я. К постановке задачи оптимизации проектирования систем специальной связи// Информационные технологии моделирования и управления, 2009. № 7 (59). С. 945-948.

3. Акулич И.Л. Математическое программирование в задачах и упражнениях. М.: Высшая школа, 1993.

4. Анализ и синтез сложных технических систем. В 2-х ч., ч.1. М.: Воениздат, 1995.-401 с.

5. Архитектура сети для разработки предложений : пер. с англ. -Киев : Крещатик, 1992. 240 с.

6. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В 2-х томах. М.: Мир. 1978.

7. Байцер Б. Архитектура вычислительных комплексов. Том 1. М.: Мир, 1974.

8. Ю.Бесслер Р., Дойч А. Проектирование сетей связи. М: Радио и связь, 1988. 272 с.

9. П.Булгак, В. Б. Электрическая связь сегодня и завтра // 100 лет радио: Сб. статей / под ред. В. В. Мигулина. М.: Радио и связь, 1995.

10. Варжапетян А.Г., Глущенко В.В. Системы управления: исследование и компьютерное проектирование: Учебное пособие / А.Г.Варжапетян, В.В.Глущенко. -М.: Вузовская книга, 2005. -328 с.

11. Вентцель Е.С. Исследование операций. М: Советское радио, 1972.552 с.

12. Говорский А.Э., Кравец О.Я., Соляник A.A., Тебекин Ю.Б. Особенности управления потоками нестационарного трафика в корпоративных системах территориального мониторинга// Системы управления и информационные технологии, 2010. № 2 (40). С. 76-81.

13. Говорский А.Э., Тебекин Ю.Б. Формализация задачи минимизации потерь при последовательном соединении программных интерфейсов// Информационные технологии моделирования и управления, №2(67), 2011. -С. 170-179.

14. Говорский А.Э., Тебекин Ю.Б., Кравец О.Я. Проблемы объединения интерфейсных модулей с потерями при согласовании в цепочки// Критические технологии вычислительных и информационных систем: Сб. тр. -Воронеж: МИКТ, 2011. С. 120-126.

15. Горелик В.А., Ушаков И.А. Исследование операций. М.: Машиностроение, 1986.

16. Гребенник И.В., Хабаров А.Ю. Многофакторное оценивание проводной сети электросвязи и анализ эффективности ее использования // Радиоэлектроника и информатика. 2003. - №2(23). - С. 112-119.

17. Гребенник И.В., Хабаров А.Ю. Моделирование влияния внешнейсреды на эффективность плана выполнения работ // Системи обробки ш-формаци. 2003. - №6. - С. 38-47.

18. Гребенник И.В., Хабаров А.Ю. Модель задачи эффективного планирования работ на заданный период // АСУ и приборы автоматики. -2003.-№123.-С. 44-53.

19. Гребенник И.В., Хабаров А.Ю. Оптимизация пути соединения двух точек проводной сети электросвязи // АСУ и приборы автоматики. -2002.-№120.-С. 38-44.

20. Гребенник И.В., Хабаров А.Ю. Оптимизация пути соединения двух точек проводной сети электросвязи // АСУи приборы автоматики, 2002, №120, с. 38-44.

21. Гребенник И.В., Хабаров А.Ю. Оценка эффективности функционирования линии проводной электросвязи // Системи обробки шформаци. -2002.-№6(22).-С. 181-186.

22. Гроднев И.И., Верник С.М. Линии связи. М: Радио и Связь, 1988.543с.

23. Гужавин С.А., Драмашко И.А., Кокорин А.Б., Коломоец В.В., Хабаров А.Ю. Статистический регрессионный анализ БД АСУ учета линейных сооружений сети основа для принятия управленческих решений // Зв'язок. - 2001. - №2. - С. 59-64.

24. Давыдов Э.Г. Исследование операций. М. Высш. школа, 1990.28.3айченко Ю.П., Гонта Ю.В.Структурная оптимизация сетей ЭВМ.1. К: Техннса, 1986. 168 с.

25. Имитационное моделирование производственных систем / Под общ. ред. чл. кор. АН СССР A.A. Вавилова. М.: Машиностроение; Берлин: Техника, 1983. - 416 с. : ил.

26. Инженерно-технический справочник по электросвязи: Кабельные и воздушные линии связи. М: Связь, 1966. 560 с.

27. Интрилигатор М. Математические методы оптимизации и экономическая теория. М.: Прогресс, 1975.

28. Коньков, A. M. Развитие Взаимоувязанной сети связи России до 2005 года. М.: Вестник связи, 1996. - № 3.

29. Корбут A.A., Финкелынтейн Ю.Ю. Приближенные методы дискретного программирования. // Изв. АН СССР: Техн. Кибернетика, 1963, №1. С. 165-176.

30. Кочетов Ю.А., Пащенко М.Г. Лагранжевы релаксации для задачи выбора оптимального состава системы технических средств. Управляемые системы т.31 (1993), с.26-39.

31. Кравец О.Я., Тебекин Ю.Б. Программный модуль "Минимизация потерь многофазных программных интерфейсов". М.: ФГНУ ЦИТИС, 2011. - № госрегистрации 50201151282 от 13.10.2011.

32. Крушевский A.B. Справочник по экономико-математическим моделям и методам. К: Техника, 1982. 208 с.

33. Кузнецов Л.А., Бурцев В.Д. // Изв. вуз. Черная металлургия. 1998. №11. С.56-62

34. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат. 1988.

35. Мандрыкин A.B. Автоматизация процессов управления на машиностроительном предприятии: учеб.пособие. Воронеж / ГОУВПО «Воронежский государственный технический университет», 2008, 4.1 - 212 с.

36. Поваляев А.Д., Кравец О.Я., Абсатаров P.A. Управление распределенными организационными системами на основе вероятностного подхода к оценке качества // Информационные технологии моделирования и управления. Межд. сб. науч. трудов. Вып. 15. 2004, с.76-82.

37. Попов, А. А. Основы общей теории систем. Часть 1 / А. А. Попов, И. М. Телушкин, С. И. Бушуев. Л. : ВАС, 1992.

38. Реклейтис Г., Рейвиндран А., Рэгсдел К.Оптимизация в технике. В 2-х кн. М: Мир, 1986. Кн. 2, 1986. 320 с.

39. Системное проектирование интегрированных программных комплексов. / Под ред. В.М. Пономарева. Л.: Машиностроение, 1996. - 336 с.

40. Тебекин Ю.Б. Алгоритмы и NP-полнота задачи минимизации потерь в последовательности программных интерфейсов// Информационные технологии моделирования и управления, 2011. № 6 (71). С. 682-688.

41. Тебекин Ю.Б. Анализ потерь при последовательном соединении программных интерфейсов// Системы управления и информационные технологии, № 3.2(45), 2011. С. 289-292.

42. Тебекин Ю.Б. Подходы к постановке и решению задач оптимизации многозвенных систем// Современные проблемы информатизации в экономике и обеспечении безопасности: Сб. тр. Вып. 16. Воронеж: «Научная книга», 2011. С.126 - 132.

43. Тебекин Ю.Б., Кравец О.Я. Лингвистические компоненты и алгоритмизации задачи последовательного соединения программных интерфейсов с минимизацией потерь// Информационные технологии моделирования и управления, 2011. № 5 (70). С. 557-565.

44. Тебекин Ю.Б., Кравец О.Я., Говорский А.Э. Программный модуль "Программная оптимизация управления качеством многокомпонентных систем". М.: ФГНУ ЦИТИС, 2010. - № госрегистрации 50201001622 от 03.11.2010.

45. Федеральный закон «О связи» // Собрание законодательства Российской Федерации / ФЗ № 15, 1995.

46. Хабаров А.Ю. Задача рационального планирования работ на период: модель и методы решения // Материалы 7-го Международного молодежного форума «Радиоэлектроника и молодежь в XXI веке». X.: ХНУРЭ. - 22-24 апреля 2003 г. - С. 309.

47. Шалыто A.A. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000. - 780 с.

48. Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //Мир компьютерной автоматизации. 2003. -№ 5. - С.67-71.

49. Шалыто А.А. Программная реализация управляющих автоматов// Судостроительная промышленность. Сер. «Автоматика и телемеханика». 1991. Вып. 13, с. 41-42.

50. Шеннон Р. Имитационное моделирование систем искусство и наука. - М.: Мир, 1988. - 634 с.

51. Шикин Е.В. Чхартишвили А.Г. Математические методы и модели в управлении: Учебник для ВУЗов. М.: Дело, 2000.

52. Шнейдерман Б. Психология программирования. М.: Радио и связь. 1984.

53. Bensalem Saddek, Ganesh Vijay, Lakhnech Yassine, et al. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187-196, Hampton, VA, jun 2000. NASA Langley Research Center.

54. Browne M.C., Clarke E.M., Grumberg O. Characterizing finite Kripke structures in Propositional temporal logic. Theoretical Computer Science, 59(1,2):115-131, 1988.

55. Chung Y., Lee D. Mathematical basis for the chaining of lossy interface adapters. http://arxiv.org/abs/0901.4835.

56. Cook S.A. The complexity of theorem-proving procedures// In Proc. Of the Third Annual ACM Symp. On Theory of Computing ,p. 151-158. ACM Press,1971.

57. Crampin M., Pirani F.A.E. Applicable Differential Geometry, chapter0, p.5-7. Number 59 in London Mathematical Society Lecture Note Series. Cambridge University Press, March 1987.

58. Dorigo M. Optimization, Learning and Natural Algorithms. PhD thesis, Dipartimento di Electrónica. Politécnico di Milano, 1992.

59. Dorigo M., Caro G., Gambardella L. Ant Algorithms for Discrete Optimization. //Artificial Life, v.5, 1999, # 3.

60. Dowlingand W.F., Gallier J.H. Linear-time algorithms for testing the satisfiability of propositional Hornformulae// Journal of Logic Programming, l(3):267-284, Oct. 1984.

61. Eberhart, R. C., and Kennedy, J. A New Optimizer Using Particles Swarm Theory, Proc. Sixth International Symposium on Micro Machine and Human Science. // IEEE Service Center, Piscataway, 1995.

62. Eberhart, R. C., Dobbins, R. W., and Simpson, P. Computational Intelligence PC Tools. Boston: Academic Press , 1996.

63. Fisher M.L. The Lagrangian relaxation method for solving integer programming problems.Management Science, v27 (1981), pp 1-18.

64. Gamma E., Helm R., Johnson R., Vlissides J.M. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, November 1994.

65. Garey M.R., Johnson D.S. Computers and Intractability: A Guide to the Theory ofNP-Completeness.- W.H Freemanand Company, 1979.

66. Gawlick R., Segala R., Sogaard-Andersen J.F., Lynch N.A. Liveness in timed and untimed systems. Technical ReportMIT/LCS/TR-587, Laboratory for Computer Science, MIT, Cambridge, MA, December 1993.

67. Gilbert W. Stewart. Matrix Algorithms: Basic Decompositions, chapter 1, page 46. Society for Industrial and Applied Mathematics, 1998.

68. Ginzburg A. Algebraic Theory of Automata. Academic Press, New York-London, 1968.

69. Glabbeek R.J., Weijland W.P. Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3):555-600, 1996.

70. Goldberg, D. E. Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Welsey, 1989.

71. Grioen W.O.D. Studies in Computer Aided Verification of Protocols. PhD thesis, University of Nijmegen, May 2000. Postscript and PVS sources available via http://www.cs.kun.nl/ita/former members/davidg/.

72. Gschwind T. Type based adaptation: An adaptation approach for dynamic distributed systems// Proc. Of the Third Int. Workshop on Software Engineering and Middleware, vol. 2596 of Lecture Notes in Computer Science, p. 130-143, May 2002.

73. Helsgann K. An effective implementation of the Lin-Kernighan traveling salesman heuristic. European Journal of Operational Research. vl26 (2000), pp 106-130.

74. Kaminski P., Litoiu M., Muller H. A design technique for evolving webservices. In Proc. of the 2006 Conf. of the Center for Advanced Studieson Collaborative Research, Toronto, Ontario, Canada, October 2006. ACM Press.

75. Ponnekanti S.R., Fox A. Application-service interoperation with outstandartized service interfaces. In Proc. of the First IEEE Int. Conf. on Pervasive Computing and Communications, 2003.

76. Shapiro J.F. A survey of Lagrangian techniques for discrete optimization. Ann. Discrete Math. v5 (1979), pp 113-138.

77. Tebekin Y.B., Avseeva O.V. Estimated Quality of Multistage Process on the Basis of Probabilistic Approach with Continuous Response Functions// European Researcher, №11, 2011. P. 1467-1473.

78. W3C. Soapversion 1.2. http://www.w3.org/TR/soapl2.

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