автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Математические модели и алгоритмы оптимизации восстановительного резервирования информации в корпоративной вычислительной сети "Государственной компании "Росвооружение"
Автореферат диссертации по теме "Математические модели и алгоритмы оптимизации восстановительного резервирования информации в корпоративной вычислительной сети "Государственной компании "Росвооружение""
ТУЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Экз. Ля
••ТБ ОД
Г.. г»
с I [.¿ГЦ
Святенко Кирилл Витальевич и V ' г
Математически? модели и алгоритмы оптимизации восстановительного ре-.зёрШфрранпя информации в корпбртшшйвьгчислительной сети "Государственной компании "Росвооружение4
Специальность 05ЛЗ,.рбт''4втом9ттир.оеанные системы управления"
Автореферат диссертации
на соискание ученой степени кандидата технических наук
Т>«а-2000
Работа выполнена ц Тульском артиллерийском инженерном институте
Научный руководитель:
кандидат технических наук Еснков О.В.
Научный консультант:
доктор технических наук, профессор Киселев !!./(.
Официальные оппоненты:
доктор технических наук, профессор Мотгль П.В.
Ведущая организация:
кандидат технических наук Сукманоп С.А.
научно исследовательский институт "СТРЕЛА", г. Тула
Л йО .
Защита состоится 23 2а&£) г. в 1Н "часоп на заседании дис-
сертационного совета К 063.47.10 в Тульском государственном ушшерс1Ггете с ауд. 101 и 14.00 но адресу: г. Тула, пр.Ленина 92, 9 уч. корпус .
С диссертацией можно ознакомится в библиотеке университета
Автореферат разослан 1^2000 г. •' '
Ученый секретарь.днссергаинонного сонета
кандидат технических наук, доцент //. . КоЕешнимжВ.А, /
\С1|/ч
N
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Главным направлением повышений эффективности формирования и осуществления процесса военно-технического сотрудничества является создания Единой автоматизированной информационной системы на основе внедрения компьютерных технологий и использования современных средств вычислительной тех-средств;прредзчи дацных и матем^чесетх методов, • ; . -
■ Постоянное совершенствование средств и методов управления различного рода структурными подразделениями «ГК «Росвооружение» стало рдшш из основных факторов, определяющих повышение эффективности действий России на мировом, рынке вооружений и военной техники (В и ВТ). Необходимость дальнейшего интенсивного развития систем управления диктуется возрастающей диспропорцией. между постоянно растущим потоком информации, представляющей Собой конъюнктуру рынка, прогноз потребностей ро каждому конкретному образцу В и ВТ, возможностями предприятий производителей специмущества (СИ), изменения российского законодательства; международные и внутренние политические аспекты, и возможностями средств по обработки для принятия решений. На этой основе возникают Ц нрвые повышенные требования к вычислительным системам (ВС) управления.
Наличие широкой сети peí иональных Представительств в более чем 20 странах также требует наличие современной ВС-
Другим, не менее важным фактором, является развитие динамики процесса международного военно-технического сотрудничества (ВТС) и повышения ответственности сторон, где оперативно принимаемые решения несут за собой обязательства на длительный срок (до, нескольких десятков nei) и лю§ые ошибки могут привести к серьезным финансовым и политическим потерям. Данный факт на очень напряженном рынке В и ВТ, где присутствует жесткая конкуренция мировых производителей СИ, представляется наиболее серьезным.
Анализ современного состояния средств управления показывает, чтр OI1H по уровню разрабртки и производству не полностью соответствуют предъявляемым требованиям, что снижает эффективность' работы системы. Увеличение сложности решаемых задач, расширение их перечня, повышение требований к оперативности и достоверности обработки информации обуславливает необходимость создания.высокоэффективных средств обработки информации.
Разрешить указанную проблему призвана концепция распределенной системы управления, которая заключается в увеличении количества пунктов управления и обеспечении их тесной взаимосвязи и взаимозаменяемости, и возможности использования общих информационных массивов, .
Практическая реализация концепции распределенной системы управления требурт реализации целого комплекса научно-технических проблем, связанных с созданием общих информационных массивов, установлением порядка их обновления, пересылки, защиты и оперативного использования, определением номенклатуры технических средств в каждом локальном пункте и др. Целый ряд Проектов за рубежом предлагает различные способы решения указанных проблем.
Опыт разработки н опытная эксплуатация показали, что объем и сложность информационно-расчетной деятельности должностных лиц достигли такого, масштаба, что возникла необходимость в организаций взаимосвязанного функционирования больших коллективов пользователей ЭВМ, территориально размещенных на значительных, расстояниях и нуждающихся в оперативном, доступе к настолько значительным объемам данных и большим вычислительным мощностям, что удовлетворение этих потребностей це всегда может быть обеспечено средствами отдельных ЭВМ или их локальным объединением вычислительных комплексов, В этих условиях в области создания вычислительных сетей наметилась устойчивая тенденция к использованию сети ЭВМ как перспективной организационно-технической формы применения вычислительных средств. .
Создание сетей ЭВМ связано со значительными затратами, а эффективное использование предоставляемых ими возможностей требует количественного, обоснования принимаемых решений по - выбору рациональных вариантой построения и организации их функционирования.
Существует большое число работ посвященных сетям ЭВМ. В. работах В.М.Глушкова, Д. Флинта, Э,Д. Якубайтиса ..излагаются основные принципы построения вычислительных сетей, организация сегтей передачи данных и связи, их анализ и синтез. В работе Г.Т.Артамонова и В.Д, Тюрина излагается оригинальная система топологических инвариантов, позволяющая эффективно решать задачи определения изоморфизма и автоморфизма сетей. ИссЛедустся,. влияние топологических характеристик сетей на их надежность/пропускную способность, стоимость и ряд других системных характеристик. В работе Г.Ф. Янбых и Б. А. Стол*- ; рова рассматривается проблема оптимизации физической структуры информационно-вычислительных сетей. Методы и алгоритмы синтеза и оптимизации структуры, централизованных и распределенных сетей.ЭВМ с единых методологических позиций рассмотрены Ю.П. Зайченко и.Ю.В. Гонта. ;
В работах В.А. Валыбердина Предложены единый метод исследования системы вычислительных средств (СВС) сетей ЭВМ, основанный на Выделении и рассмотрении совокупностей взаимодействующих. информационных процес-: сов, протекающих в СВС, комплекс аналитических моделей совокупностей информационных процессов для- решения задач анализа сетей ЭВМ и методы многоуровневой оптимизации для решения задач синтеза,: • •
Приведенный перечень работ свидетельствует о большом интересе, к развитию сетей ЭВМ и определенном опыте, накопленном в .нашей стране и за р>ое//ко\(. в области решения задач сшпсза и оптимизации структуры, анализа сетей ЭВМ, особенно сетей передачи данных.
Однако основной акцепт при создании ВС на базе сетей ЭВМ делается на решение следующих проблем:
- организации информашюнно-впчнслнтельного процесса (НШ1) в системе вычислительных срелств сети ЭВМ;
- организации управления распределенными ресурсами в рамках гппе мы, ■ .
обеспечении спхраииост информации и чьчемах' с распределенной ,к~р:.бош>Н анфорчзшш;
- организации функционирования распределенных баз дешныл.
i? США и ведущих зарубежных странах решпипо перечней иных проба: м придан статус наивысшего приоршета, так как от нч решения в парную очереи. зависит эффективность сети в делом.
Eujih úíiv-oi.iviii^iu liuivoiuwiuuli otiui при решешзд задач оптимнзапип
ti iiuüutucütw jcioü'iiibuciu ппфир;,и:;;1сппо-шлч11слптсл1пого процесса (ИНН), сохранности информации п сетях ЭВМ, то необходимо отметить работы В.В. Хорошевскою, K.H.Typyni.' O.K. Кондратьева, отражающие прогресс, достигнутый при решешш í;n.a'i повышения устойчивости ИВП. Работы А.Г. Мамнко-иова, В.В. Кульбы, С.К.'Сомова, А.Б. Шелкова посвящены решению вопросов повышения достоверности и сохранности информационных модулей и программных массивов в вычислительных сетях за' счет организации оперативного и восстановительного резервирования. '
Пракч ичесп'-с решение'БЛттр~гс.т> гшгггнп сетей ЭВМ и организации нх Фунмжошфо/г.шс! св.'пани с рлзлти-лч теории и практики оптимизации, fo-термм поевзшеш i pjfwru О.Г. Алексеева, B.C. Мпхалевнча, II В. Copt пенко, А А Корбута, Ю.Ю Фннкельшгейн
Прицеленный обзор paóiU. ¡¡....«.ыпает чю задачи повышения уеюнчиво-. in ИВП, lu'o in.'Viiür i>ч])ан1И.сти информации повышении эффективности и разработка ноныч метопов оптимизации решались в основном порознь и щучены с различной V п'пен: ю глубины.
Работы, проведенные в пом нанр^в icihih к mu тояшему времени, oóa.naioi рядом существенных иедос1а1Коь:
1. Не разработан системшй подход к повышению устойчивости ИВП и ■'.л'ранноези информации па лапах проектирования и эксплуатации ВС.
2 Пело«.-) ai очно формализованы способ).! и методы обеспечения устойчивости ИВП и сохранности информации (модели распределения и перераспределения программных модулей и информационных массивов по узлам сети ЭВМ),
3. Существующие постановки указанных задач иредполашот их решение в процессе синтеза сети ЭВМ Jit ходя in зтого, к разрабатываемым меюдам и аз горитмам их решения не предъявляем достаточно жестких требований по времени решения Вместе с тем, такие задачи возникают в процессе оксплуатаппи средств автоматизации управления, а их реализация связана с решением дискретных, зачастую иешшСЛнмх .задач большой размерности к короткие сроки. Это, в свою очередь, порождает проблему дискретности, мнотмерности и
большой размерности задач оптимизации ИВ11 и разработки эффективных мстолон их решения.
Таким образом, научно» задачей, решаемой в диссертационной работе, являлся рл ¡работка моделей и методов обеспечения сохранности информационных массивом и вычислительных сетях.
Актуальность задачи обусловлена: необходимое и ш повышения эффективности функционирования вычислительной сети «ГК «'Росвооружение» за счет придания ей свойств устойчивости ИВГ1, необходимостью разработки и совершенствования теоретического аппарата обеспечения сохранности информации, исследования задач многомерности и дискретности задач оптимизации.
Ооьскюм исследования являются автоматическая система обработки информации подразделении «ГК «Росвооружение»
Предметом исследовании являются методы обеспечения сохранности информационных массивов в вычислительных сетях «ГК ((Росвооружение».
В связи с этим целыо работы является расширение функциональных воз-молсностей и улучшение характеристик перспективных ВС за счет обеспечения сохранности информации.
Поставленная цель достигается решением ряда следующих крупных на у.'ных задач:
1. разработка' общего подхода к решению задач обеспечения сохранности информации в системе вычислительных средств сети;
2. разработка системы математических моделей оптимизации ИВП в ВС с учетом резервирования программных модулей и информационных массивов;
3. повышение эффективности существующих и разработка новых методов решения задач оптимизации;
4. оценка эффективности, обоснование рекомендаций по использованию разработанного теоретического аппарата. '
Содержание этих решений изложено в трех главах настоящей работы.
В первой главе рассматриваются требования, предъявляемые к ВС на современном этапе, основные направления совершенствовали.. ВС и связанные с этим задачи. Показано, эффективность ВС, построенных на базе сетей ЭВМ, во многом определяется обеспечением сохранности информации в системе вычислительных средств. Исследуются основные направления обеспечения сохранности информации ц методы их реализации. Показано, что при заданных характеристиках технических средств автоматизации сохранность информации обеспечивается рациональным распределением программных модулей (Г1М) и информационных массивов (ИМ) в системе вычислительных средств (СВС) сети ЭВМ с учетом их резервирования. Формулируется задача исследования и обосновываем общий подход ее решения.
Вторая глава посвящена.разработке системы математических моделей он I имитации распределения (перераспределения) ПМ и ИМ с учетом их резервирования в СВС сет и ЭВМ. Обоснован метод их декомпозиции на ряд взаимосвязан пых задач в целях практической разрешимости. Предлаглмю. мсылы и алториг-
мы решения, основанные на идеях метода ветвей и границ с применением теории двойственности для определения порядка петления переменных и вычислен»! оптимистических оценок и способа встречного решения функциональных урплне ¡шй динамического программирования.
В третьей ьтавс обосновываются критерии оценки эффективности разработанных мо1одов и алгоритмов ощшшзащш. Проводи гея сравнительная оцетл зффекшвности разработанных и существующих «лгершмов оптимизации. Прел яигаюгея рекомендации но использования разработанного теоретического ;<ппп;-.) та ий этапах проектирования и зкеплуатанпп ВС.
]) заключении формулируются результаты работы в целом.
Och.quiiu.mh научными результатами, выносимыми на зншнту явля
ются:
Система • мженашчсиинл ьшдьльй икипушацпл пнформанноннп-вычнслителыюго процесс« ь сс1Ял Г)ПМ, позволяющая конплгпеио и тяимосвя-зано решать задачи распределения программных модулей, информационных массивов и их восстановительного резерва в системе вычислительных средств, а также определять необходимый объем резерва.
2. Метод решения общих задач оптимизации распределения (перераспределения) программных модулей и информационных массивов с учетом их резервирования в- системе вычислительных средств па основе предложенной их декомпозиции на ряд.взаимосвязанных задач и разработанные математические модели оптимгпг.иии для кижиЫи .иЛнл „•¡••¡•"■чиозииип. • .....
М.лод и мниманнкм..^. молоть он. нкн порядка ветвления переменных, оьр.ч&инмч флпнц решения и метле ьетой и границ, исшимуюиш** .¡¡чншин ;и-:.Ь-1(«с!П1';| т /!(м1.".)»!и1шн- шчнпмьно сокрашть вычислштезьпук. сложное п. ошоригмо» нетей и 1 р.-пит.
■!. '■.К.лифнчиропаннын чеюл ¡члречио;с, решения функциональных ур;ы пепин /шна.г'пческою про) рлммированн.ч. нивыьзуюший теорию двойственности ч 1н \ иорял.зчеиия 01 раниченпй и схссаа бесперспективных переменных при решении ча.чачи по нерио.иу ограничению по условиям меюда ветвей и границ, обеспечивающий значительное уменьшение времени решения задач и. число членов условно онтнмапьк'мх'иослелователыюстей.
Мракинич'к.ш ишчимосн. работ заключает си н том, чш предложенные модели, мешди и д.иоритмы испольчонл.чи при проведении 1ШР в »асш обоснования методов обеспечения сохранности информационных массивов п системе вычислительных средств различных контуров управления корпоративной вычислительной сети компании "Росвооружение", а также в.силу своей общности могу! найти применение при разрабонсе и эксплуатации перспективных вычислительных сетей различных уровней ) правления. Методы и алгоритмы доведены ли рабочих программ и позволяют решать широкий Круг науЧно-теЯническнх задач. ■ Апробации рабшы. Материалы диссертации докладывались, обсуждались и одобрены на.Н ТК Тульского ВАИУ (1997, .1999 гг.), Михайловской артл-лерийской академии г. С-Петербург (199$ Г.), на расширенных заседаниях кафедр
"ЭВМ и ВС", "Математическое, программное н информационное обеспечение ВС" Тульского артиллерийского инженерного института.
Публикации. Материалы диссертации опубликованы в 8 печатных работах и ведомственных научно-технических изданиях
Реализация. Основные практические результаш диссертационной работы внедрены: ■
в 3 ЦНИИ МО России;
в Таганрогском авиационном научно-техническом комплексе им. Бериева в учебном процессе Тульского ВЛПУ в дисциплине "Исследование операции"
Диссертационная работа состоит in введения, трех глав, заключения, изложенных палистах машинописного текста, и содср;кнтЛ^_ рисунков, таблиц, список используемой литературы из наименований и приюжсннЛ на ^^ листах.
СОДЕРЖАНИЕ РЛ1ЮТЫ lio квздешш обоснована актуальность задачи и дана кратка л хар-чаорпеш-ка се решения, сформулирована цель paooiu и обоснованы положения, взносимые на защиту, указана cipyiuypd дасссркщпи. формы анробашш и внедрения ре плыаюв.
U iicpuoii гдаае раесмафнваются гребовшнш, »ре/и.&ш'юоппс к ПС ком па innt "Росвооружение" ш» современном чганс, основные направления сс соьсршгн-l it.obaiii;>i и связанные с этим задачи. Показано, чи) уффскгнвпость ПС во многом определяет ся обеспеченном есхрапприн ннформашн. в системе вмчнелннтшк ».редей-. УС. Исследуются основные нанравлеийп обеспечения сохранности информации и методы их реализации. Показано, что при заданных характеристиках юхническнх средств шпоматизацни сохранность информации обеспечивается рациональным .распределением программных модулей (ПМ) и информационных массивов (ИМ) в системе вычиелтельных средств (СВС) ВС с учетом их резервирования, Формулируется задача исследования и обосновывается общий подход ее решения. • - \ .' • .
Проведен анализ развития и современною состояния корпоративной вычислительной сети Главного инженерного управления (впоследствии Государственное} компании «Росвооружение»). .-' .
'Показано, что при проектировании и эксплуатации PC на.первый план выходит проблема распределения по узлам сети программных модулей и информационных массивов, а также проблема сохранности информации. В-настоящее вре--мя эти вопросы решаются методом проб н ошибок,".зачастую приводящим к серьезным последствиям. , ' . .-' , - -: "■
Системный подход к решению задачи обеспечения сохранности ИМ и ИМ цредпататст резервирование, заключающееся в использовании некоторого числа копни и (пли) предыстории Г1М и ИМ. Па уровне отдельного узла, предлагается' осуществлять оперативное резервирование ПМ и ИМ, хранящихся в этом узле',-а на уровне сети ЭВМ н]>именять восстановительное резервирование ИМ, ИМ и-их
оперативного резерва с децентрализованным способом хранения восстановительного резерва.
.Для сокращсши размерности задан оптимизации восстанови 1елышго ретер-шфования нредл.и аетси рассматривать систему управления в виде совокупности вложенных контуров управления (рис.1). Основным назначением лтого разбиения является такая организация системы, которая приводит к необходимости внесения изменений либо и один ¡ti ее элементов, либо, в крайнем случае, в минимальное их число.
Число конурой управления должно определяйся исходя из практических потребностей проводимого исследования. При таком подходе решение тобой дос-1 а точно сложной задачи может быть достигнуто в результате последовательного >1йчшашя значений параметров сцстеяп И структурных компонентов с помо-iiu.io расчеши иа соьикупнссптатематпчрскну полечен.
На этапе проектирования предлагается решение задач опишизации восстановительного резервирования осуществлять по принципу "сверху-вниз". Для уровня сетц ЭВМ они в общем случае определяются как задачи оптимального распределения функций хранения и обработки в системе с учетом соответствующего выбора типажа вычислительных средств п узлах сети. При этом в качестве ■ целевой.функции задачи выбираются затраты ресурсов сети на реализацию заданной совокупности ИВП. Для данного уровня эти затраты можно связать со средним объ'маи передаваемой в се ¡и информации при вьшо.шешш всех ИВП совокупности.
В mt:r;pa\ ynpaiijiciih.i mr.KíieiО уровня (узеп сети ЗИМ) задачи оптимизации воссмноььгелыюго резерва выражаются в распределении ИМ и ИМ и их вос-становшелыкя о резерва между несколькими ЭВМ с улетом их Приоритет и интенсивное ni решения, oipdiHi4r:mii h.i -дЧе». на'::»:«« и время решения каждой задачи, л чаК/Кс в определении ipeíV. счете, ял>- о-.;с. и ••„ |,||Я заданного уровня показателя сохршшогти Hii(ji"j).M.im'ii объема вас* ын>.шн. -п.ною рес-рва каждого ПМ .ц ИЛ}..Причем решение залами ..ншмнзации »с^сган^и.яельцпго резервирования на этом уровне целесообразно осуществлять по критерию максимума вероятности решения всех <адач, что «юзволш осушсавнп. выбор нс.иг'елей информации, ]ре0>е:.мы;ч дл, хранения ПМ, ПМ и их ре<ерва m лапе проектирования ВС. Та к'им образом,'решение, последовательности задач оптимизации иозв>> шет определять и у точнять размещение информационных ресурсов на этане проектирования ВС. * '
На лапе функционирования ВС задача распределения njioipaMM, информационных массивов и их восстановительного резервированная решаекя при выходе из строя отдельных компонентов сети ЭВМ и при вводе в эксплуатацию новых IIM, ИМ или элементов сети ЭВМ.
Для повышения устойчивости ИВП на этапе экснл>«иацни ВС-иредлагаею1 распределение (перераспределение) информационных ресурсов осуществлять по
принципу "снизу-пверх'\ т.е. первоначально на низших контурах управления (узел сети), а затем - на верхних (уровень отдельных контуров ЭВМ).
Решение задачи оптимизации восстановительного резервирования на низших контурах управления целесообразно осуществлять по критерию максимума вероятности решения всех задач.
Предложенный подход и методы распределения информационных ресурсов, естественно, не исчерпывай^ все возможные ситуации, связанные с оптимизацией восстановительного резервирования На различных уровнях их-представления. Эти задачи демонстрируют общую идею, заключающуюся в предварительном определении на стадии проектирования и настроит! системы в ходе эксплуатации такой организации восстановительною резервирования, которая позволила бы осуществить в некотором смысле оптимальным образом реализацию заданной в системе совокупности ИВП.
Вторая глава посвящена формализации задач восианоиительного резервирования данных в системе вычислительных средств ВС и разработке методов их решения.
Разработана общая математическая модель оптимизации информационно-вычислительного процесса в СВС на уровне сети ЭВМ, которая формулируется следующим образом. Пусть задана сеть (контур управления), состоящая из Ь ЭВМ, каждая из которых имеет пт-(] = 1,Ц пунктов обработки'информации (микроэвм, дисплеев и т.п.). В сети решается. К задач, которые используют данные из М информационных массивов. На каждом И-м пункте ]-й ЭВМ (¡=1> 2, . . , ,'Ь; Ь=1, 2,....т,) решается строго определенный круг задач с использованием определенных информационных массивов и генерацией соответствующих запросов.
При этом примем, что планы оптимального распределения Г1М, их восстановительного резерва и объем резерва ПМ известны. Оптимальное распределение (¡N1 и их восстановительного резерва задано матрицами X' ЧК" Рас_
иредеденне ИМ и их резерва по узлам сети определяется планом распределения задаваемым матрицами У = |уГ)|, Ф = [срм| ,-где'.
[1, если к - й ПМ размещается на й ЭВМ, '' [О, в противном случае;
П, если {"-й ИМ размещается на _|-й ЭВ М,
[О, в противном случае;
[1, если резерв к - го ПМ размещается иа ] - й ЭВМ,
Ч'мН, ' ' ' ■" '
(О, в противном случае;.
(1, если.резерв Г - го ИМ размещается на й ЭВМ,'
Ф, - ■ - • '
' [0, в противном случае;' ■ ' ,
к- 1,2,...,К, Г=1,2„..,М, р1,2,...Д..
Обозначим через z*k , Zf объем восстановительного резерва к-ro ПМ и f-ro ИМ (число копий (предысторий) k-ro ПМ , f-ro ИМ) (k = 1, 2,...,К, f = 1, 2,..., М) соответственно. Объём восстановительного резерва k-го Г1М известен по результатам решения задачи оптимального распределения ПМ и их восстановительного резерва. ........
При постановке задач оптимизации восстановительного резервирования в сети ЭВМ могут быть использованы следующие критерии: максимум вероятное i и решения всех задач; минимум объема информации циркулирующей в сети.
По критерию максимума вероятности решения всех задач математическая постановка задачи имеет следующий вид: необходимо определить значения переменных f(j=J,2,,,.,L; f=i,2,.,„M), такиечто
Р-тахПППР^Су^) (1)
¡-1 h-l k=J
при ограничениях
T;ráTj7>j = l>2,...,L;h = l)2í...,mj;k = l,2.....К; (2)
AjkkáA^,j = l,2,.„>L;h = lX,,mj;k = l,2,...(K; (3)
. I(yri+>rJir)5fáVi,j = l,2>...>L; (4)
£yf)=i,i' = l,2,-,M; (5)
У о = (6)
t<P(J=l,f = l,21...,M; (7)
i-i
е>гНМ; ' (В)
Z ,= (0,1,2,3,,..) (f = 1,2,...,М; j = 1,2,...,L), (9)
где Pjt,i, Т-^.Л^-вероятность, время л объем лог ока информации, циркулирующей в сети при решении k-й задачи h-м абонентом j-й ЭВМ
L р М 1. ' ^ _ ' ' g
Pjh к ~ Т jhk ¿C^jlikl ^jllik Хк| ПХ! У f г ( к f г ^ |rkf )J
l-I f=l H
I L
ijhk"= 2X,(Tjlllk +Q +Qjhk( tkl) + rji,k i-i
M 1 - — -D
&jhkf Z(Tlrkf+Qlkfr.tfr)yrr-Ajbr-VÍXbC feljH+^líbkl¡f+4, úk )] +
L¡4 • . N
M l. 4jhkf _ L
+ II Zyrr fc.1 Mf +Fir I <qf +Q ikfr £>л (FrIlf +F|r S ,)] }}
f«l r»l i=1
V -объем ВЗУ j-н ЭВМ; > ¿>f - объем f-го ИМ;
Т"ь°к - максимально допустимое время решения h-м абонентом j-й ЭВМ k-¡ задачи; . ,
А"°Кк - максимально допустимый объем информации- циркулирующей р системе при решении h-м абонентом j-й ЭВМ к-и задачи.
Отличительной особенность^ этой модели является возможность комплекс-лото и взаимосвязанного решения задач распределения ИМ и их восстановительного резерва с системе вычислительных средств, а также определения объема резерва. ' ' ' ■
Для сокращения размерности и вычислительной сложности общей 'задача оптимизации восстановительного резервирования в ВС предлагается произпсст! ce декомпозицию на три взаимосвязанные подзадачи: распределения ИМ по узлам сети, распределения восстановительного резерва ИМ по узлам сети, определения объема резерва для каждого ИМ.
Задача распределения ИМ по.критерию минимума обьема информации циркулирующей в сети, может быть сформулирована следующим образом. Определить значения у <j=l,2,...,L; f=l,2,...,M) такие, что
1, mj к
A = min£llAjhk(y)
j=l h=l - - . при ограничениях (8), (5), (6), и
PJh4 > J =' .2.».,'L, h = l',2,..„ m,, k = 1,2,..,, M,
- Vt> J -1,2,..„L.
¡ i ■
Допущение: вероятность разрушения ИМ в процессе эксплуатации и храпе ния равную.нулю
Задача относится к классу линейных задач дискретного программирован!!) со смешанными ограничениями.
Используя результаты решения задачи распределения ПМ и ИМ по узлам сети, н, допуская, что вероятность разрушения восстановительного резерва равна
нулю(г'к,2 ,= 1), математическая модель распределения восстановительного резерва по узлам сети имеет следующий вид:
Определить значения ф8 (Г=1,2,...,М; Такие, Что
1. к .
Р = тахПППР,,(ф)
11=1 к=1
при ограничештях (2), (3), (7), (8) И
.....¡..
Г-1 - .
Данная задала является задачей целочисленного линейного программирования.
Математическая модель определения объема восстановительного резерва
представлена в виде: определить значения г г (Г=1,^,...,М) такие, что . I. '"■) к _ ■
Р = тахЛПП^ьк.С2) при ограничениях (2), (9) и
' И !.-! к"! - ..... ............'
М
1(Уп+Фп2)6, ^1,2,....Ь
Данная задача является задачей оптимально; о резервирования.
Таким образом, образующиеся при декомпозиции общей модели ыпими^ ции посстановшелыкно резервирования в сеш ЭВМ ВС задачи.оптимизации распределения ИМ, а также их восс1ановителыюю резерва по узлам сеш и ошимн зации объема восстановительного резерва ПМ, сведены к стандартному виду задач дискретного программирования, что позволяет использовать для их решения су. шествующие методы. Однако, для решения этих задач в вычислительных системах, функционирующих в режиме реального времени, необходимо повышение эффективности существ} ющнх и разработка новых методов онтимишинн.
' Особенность^ сформулированных задач- является наличие ограничений, выполнимость которых проверяется аналитическими методами или методам моделирования, Для решения задач такого класса предлагается два подхода:.
1) включение в схему ветвления нелинейных'о> раничсииГг:
■ 2) решение редуцированной задачи без учета нелинейных шрлппчеинй и на полученном множестве допустимых решений проверка выполнимости этих ограничений.
При решении задачи с Использованием первого подхода прс/матюн» ал» о-ритмы, основанные на идеях методах ветвей и границ. Для определения множества допустимых решений редуцированном задачи пред.таГ.юки модифшшронлиннн
метод встречного решения функциональных уравнений динамического программирования.
Основными направлениями совершенствования метода ветвей и границ является поиск рациональных схем ветвления и определения границ решения.
В основу разработки рациональных методов определения границ решения положеца теория двойственности, которая позволяет использовать приближенные алгоритмы, а не точные в случае решения прямой задачи. '
В общем случае задачи ЦЛП Можно представить в следующем виде. Требуется максимизировать целевую функцию
С=--тах££с^ (10) .
Н ы
при ограничениях
п А,
£Ёа|Цх1]<Ь1)1 = 1Д...,ш, (И)
£хк,< 1Л = 1,2,:.,п, (12)
Ы
ХЧ £{0,1},к = 1,2,...)Д^о = 1,2,...,п. (13)
Разработаны и теоретически обоснованы три способа вычисления границ решения на основе теории двойственности;.
Способ!. Решением двойственной задачи для каждой вершины.
/ т т+п ^
г^М^тп 2>/у( + £уЛ (14)
1=1 »=т+|ч1 /
при |Х,У, +У,1^>си, (15)
к = 1,2,...,А 3=1 +1,1 + 2,,..,п,
ь=ь,- ¿а,и, у, 0,- (16)
I = 1,2,...,т,т + 1 + 1,...,гп + п.
Способ 2. Решением двойственной задачи на уровне.
^.Ы^ь/у;* £у„ (17).
где у' - " решение двойственной задачи
т
к = 1,2,Л', j - £ 4 1, t + 2,..., n,
i
м
Ь/ - b, - £ a,kj- - min aikf.
k€S,
где min alk, - минимальное значение i-ro ограничения среди переменит к
1 -ГО уровня.
Способ 3. Однократным решением двойственной задачи с исиоль »ованием двух вариантов:
а) величина ZSl(xkl) определяется ныражением (1 7). но у' = (у,',у!. ...у',, ,) - решение двойственной задачи (14) - (16);
б) определяйся оценка грячицп решения при ве»ьлсиш; вс-;: псрг:.!:::!'^ с использованием результатов решения двошлвеннои задачи (И)-(1б) стсрг-нч"" ными методами. Если применить градиентный метод, то при вычислении двойственной переменной на р -ой итерации по формуле
nun р т , , ,
yiW-mina"'ti kj
Необходимо определить номер j условия (15), которое обеспечивает min у,'1', и сформировать ;iay.«.ieptiMli маселв ■ ■ ■
Г
.! L2....,VA, i - 1-2.... m + n
i и J
При этом ч;, =у,(р|.
По иелнчлшш p.'Ctnu д.иирнтма дпоПпг.еш!"- решения усеченных .■р "/сдаются чыр ¡лл'миямп
Л' А
__ щ -г| ' J = ' . _
гр, = 1 I
гдеЧ;„„,=0, ¡ = i,2,..,m + n, А,' = £Ал Л,,'- О
........../»I
'Величина Zs определяется по формуле
m . tii + l)
+ - Z'VUU '
.=1 1---ПИЫ
Для приближенного решения двойственной задачи рл ¡работай шераинон ный алгоритм; оСнОванпЫй на идеях градиеижою метода.
Для получения первого допустимого решения С',, p.u.paöoian алюри1м! ос номнпый ид идее пошагового конструирования решений.
■■ ... Выбор переменной для включения инлекса в мшг-тество производится с ««»-мощыоусловия •
Hs..(x,:)-max 11,(4,,).
i 1
Для отсечения бесперспективных вариантов использу ется условие , Н5,(х„)<С0.
Предлагаемые алгоритмы базируются на доказанных положениях и теоретически обоснованы.
При решении сформулированных задач с использованием второго подхода проведена модификация метода встречного решения функциональных уравнений динамического программирования. Из идеи метода вытекает целесообразность решения задачи сначала с самого жесткого ограничения, наиболее влияющего на оптимальное решение, а, в случае не удовлетворения остальным ограничениям, в поиск решения включать менее жесткое ограничение и т.д., т.е. в порядке уменьшения жестко.стн ограничений. Кроме того, для повышения эффективност и мегода встречного решения предлагается включить при решении задачи но первому ограничению Дополнительный отсев бесперспективных вариантов решения по целевой функции на основе метода ветвей и границ. Для. определения жестко . сти ограничений, отсечения бесперспективных переменных и границ решении предлагается использовать теорию двойственности.
Для дальнейших рассуждений представим исходную задачу в следующем виде. Требуе1ся максимизирован, целевую функцию
Я = £г,(Х)) , (18)
при ограничениях
¿аДх^Б,, 1-1,2,.. .,М, (19)
и ■
Х, = 1,2,...А,, (20)
где а,(х,)>0,гДх,)>0. Н,2„..,М,)=1.:!,...,п.
На основании принципа оптимальности метода динамического программирования можно составить два функциональных уравнения:
= (Рн. ~¿2»(*.)>■••>О», -(^(х,,)]^ г„(х,)},
п=1,2.....N. т-1,2,...,М; (21)
.......Г>"п«.)= тах{рП4| [п"|„ -ё,п(хп),П3го - а^.Ск^.....1>°„-«1и,(Х;))+1,|(хп)}.
п=Ы,М-1,...,1, т=1.2,...,М, (22)
где Р,„-¿ЙДх,), О^ХаДх^Л^иг.-.ш;
......».....шах|^г^(х)||]с111(х))5Рт1х) е Х,,1 = 1,2, .,т|-п=1,2,
т«1,2,...,М, .¡ = 1,2.......
......Р™) = тах(£гДх))|£с)11(х))<09,„,х)бХ),!=],2.....т),т=1,2,
и-» ) 0<Р°„, <0,, Ь=1,2.....т .
Функциональные }равнения (21), (22) отличаются от обычных функциональных уравнении тем, что количество ограничений п них не является постоянной величиной, они могут быгь решены при различных значениях т-!,2,....М.
На предоаршелыюм 'лапе определяется допустимое решение цслсчислен-jidi чц;)ч« - значение рекорда R с помочило олгоригма, осночпчного на илее по шлювон) K«!ucipyiipoii<uiiit; вариантов: и решение двойственной задачи. Если значения К, и 7. совпадают, то опиьмалыюс решение получено лрмбллженммн иргр-ж\ч. В противном сйучае применяется процедура предварит'елытсчо скрашеми.; p-ií.'.iepuoc i и задачи.
Для исключения бесперспективных переменных используется условие
r-+f,'¡> ,-.i;Vv;+ Yv. у,;., > R.„,
i.| Í.Í.HI
j = l,2,...,N, k = l,2,...,AJ.
Все переменные, для Которых это условие не выполняется, из дальнейшею рассмотрения исключаются. \
Из топомическол интерпретации двойственной задачи следует, что двойственные переменные Y = {у,,...,ум} определяют оценку каждого фактора (ограни-чепи;: исходной задачи) для данного производства. Следовательно, чем больше :,;•••!. n::i . е • .¡v-rr-rnííft м'м Гнысс жсст::им я?тя?тс.« гпотпртоrnvwinee
е.", А I . 1 ~> 1 C!. , : I j :0 , V ' I ' ' : "> . ' ч i 1'!V-Л Л : О > JVI ! i i Ч 'Л i 11'' I К YO '1! ^ И 1TÍ >•41 11 Г
'. ■> ■■ М.Ц-.Ц1 ¡„и- L I (. л л' j е у . .i, . у (i i г■
Вы'шс.нпелншш npoiin«, начинаемся с решечня ф>нкш101м.и,н.ч.1 ; р:.пцг пил (Г 1) при. hi r I. О7к>сиова1ву что об;,ем треоуемон помяли ЭВМ и врем;! реии пия 1.1 ¡ in и при использовании метода Bctpennoio решения функциональных и1'11' пенни динамическою программирования в основном определяемо) решением <а дачи по первому ограничению. Поэтому при rrt = 1 вводится дополнительный от сев оссперснекл'ивпых иаридггтог? по целевой функции. При этом рассматриваются только члены последовательности Гп(1)п) (n = l,2, .,N), которые обеспечивают
выполн'ениё'нёрашгетва ■ - ■ . . .. ......... .. .....
; r(D,)-tZ„>Rc, ,. (23)
. .•-' где Z„. определяется выражением
' .Z.^D.-DJy.+ ^y,,
. y,' (¡ = 1,2,...,N ■»']') - решение двойственной заЧачн при М-1,- •
Решением уравнения (21) с использованием неравенства (23). определяйте.! . оптимальные последовательное!»! f„{plV), • coo uiei иную ¡une им. з.ншснмисш xjf'hrjxj (и = N,N-1 ,*...,!) и функшти DlS(f,;) (in2,3,...,M). "Значения последовательностей fN(I),..)и D..(Г„) (М.2....,М)" позволяю! определим, ч-осси--
¿o-
мальное значение fN(D,N) = RM, при котором выполняется ограничение (.19) при i=l, и максимальное значение f„(Dm) = R,2, при котором выполняется (19) при ¡=1,2,...,М. Если R|,=RU, то значения переменных xn (n-l,2,...,N), еоответст-Ьующих значению Rn, являются решением задачи ЦЛП, в противном случае (R,, > R ,г) осуществляется переход ко второй итерации, которая состоит в решении функционального уравнения (22) при т=2.
Решение функциональных уравнений при nv=2,3,...,M происходит аналогично. На k-й итерации используется дополнительное условие, которое имеет вид max[fn(Dln,D¡„v..)Dl„) + Fjltl(Dl -D.^D, - Dbi.-,Dk_, -Dk.,„)]>R,
n = l,2.....N, k = 3,5,7,.,.,
где R - max[Rt,Rl,,R¡¡,...JRk l ¡ j, при прямом порядке решения (21) и maxfFJD*,,,,0°„,...,D\„) + f„w(D, -DVD, -DV'.«)]>R.
n - N, N — 11, k = 2,4,6,..., . при обратном порядке решения (22),
Третьи глава посвящена экспериментальной оценке методов и алгоритмов оптимизации, проверке работоспособности разработанного теоретического аппарата и рекомендациям но его применению.
Анализ результатов экспериментального исследования алгоритмов получения первого допустимого решения (А11) и Приближенного решения 'двойственной задачи (Ал) показывают, что они имеют достаточно высокую Точность И приемлемое время решения. Средняя относительная погрешность полученных приближенных решений изменяется в пределах (0-7,28)%, а в 75% случаев она не превышает 3%. В 65% случаев решение, полученное алгоритмом А11, Являлось оптимальном, а в 95% случаев отличалось от точного не более чем ría 8'=10%. Время решения алюритмами Ац и Ад невелико, что в итоге определяет эффективность их применения в методе ветвей и границ. 1
Наиболее эффективным способом является использование результатов однократного решения двойственной задачи итерационными алгоритмам!!. Среднее время решения с применением данного способа в 7-42 раза меньше относительно первого, в 3-13 раза меньше относительно второго н в 1,1-2,2 раза меньше относительно третьего способа. С ростом числа ограничении и Переменных задачи это преимущество возрастает. Увеличение числа просмотренных вершин от первого к третьему способу объясняется тем, что точность вычисления границ путем решения двойственной задйчи больше, чем решением двойственной задачи для уровня и тем более чем однократным решением. Этим же ббьяскяется и увеличение процента вершин, отсеченных по целевой функции.
■ . Таким образом, наиболее простым а эффективным способом определения рерхних границ является однократное решение двойственной задали приближенными йтерашклшьЫи алгоритмами.
Оценка эффективности ме+ода встречно!о peUieiikij.функциональных уравнений, использующею Принцип двойстЬенностй для упорядочивания ограничений но жсс i кос ni и отсева бесперспективных переменных при решении задачи по пер-
вому ограничению, и сравнения его с алгоритмом проводились по времени peine ния задач и числу итераций.
Результаты экспериментов показывают, что упорядочивание ограничений по жесткости в способе встречного решения дает выигрыш но времени в 2,3-) 4,8 раза за счет ¿менцпения числа решений функциональных уравнений динамическою npoi раммиропания (числа итераций). Например, при решении задач размерностью 20-20-6 среднее время решения по предлагаемому алгоритму равно 91,7 секунды, а с использованием существующего способа встречного решения - 361,3 секунды. -по п четыре разя больше. Jh десяти задач в одной онг'имялмюс решеннс нолучеио приближенным, меюдом, семь задач решены за одну итерацию и дне задачи - за две Итерации.
проггрпз ртр^ботяирн* ччте«атичег.ких моделей, ме-»идов и алгоритмов оптимизации ппсстз^оритечьнпт ¡клонирования инфор;.;а цци на отдельных контурах управления подтвердила их эффективность и целесообразность включения в состав специального математического и программного обеспечения. ■ - • ' •
Разработанные математические модели, методы и алгоритмы оптимизации восстановительного резервирования информации в сети ЭВМ могут быть использованы на этапе проектирования и в период эксплуатации ВС при организации ИВП в системе вычислительных средств сети с целыо повышения его устойчиво-С1Й и ЬОс'сйечсипя есхряпттссти информации. • • • ........
ЗАКЛЮЧГШ1К
Основным направлением совершенствования ПС являемся построение их И" базе герригорпально-распределенпых вычислительных сетей .с развитым программным обеспечением, распределенной базой данных и распределенной обра ооткой информации. Наиболее актуальной и мало исследованной задачей при создании вычислительных сетей с читается обеспеченна сохранности информации и системе вычислительных средств сети.
Переход к созданию ВС на базе вычислительных сетей во многом предопределит возможность существенного повышения устойчивости ИВП и обеспечения v»\(wniii)cin информации в территориально-распрск ленных вычислительных се ту >о «см распределения (перераспределении) ПМ и ИМ н системе ВС сети при изменении ее состояния с > четом их резервирования, т.е.. путем реконфигурации сети. -
Системный подход к решению задачи обеспечения сохранности ПМ и ИМ предполагает резервирование, зпкчючпюшееся п использовании некоторою числа копий и (или) предыстории ПМ и ПМ. На \pomte от ярлыки о узла предлагается осуществлять оперативное ре кэширование ПМ и ИМ, хранящихся н этом узле, а' на уровне, сети ЭПМ применять восстановигелмюе резервирование HM, I1M и их оперативного резерва.г денептрллтпппгтным viihcih'iom чрлп.лтя mstcTaauBUiwil.-. пою резерва, -
Па основе аиалтыа характеристик различных носителей информации еле,¡ли тчяшд о том. что на современном 'маис развитие вычислителмюи техиики накипи-'
1ели на оптических дисках наиболее полно удовлетворяют требованиям долговременного хранения информации и могут использоваться при восстановительном резервировании информации в ВС.
Оптимизация распределения ПМ и ИМ, с учетом резервирования для терри-ториально-распределенных вычислительных сетей со значительным объемом информационно-вычислительных работ, представляет собой задачу большой размерности. Поэтому предложено использовать подход, основанный на структурной декомпозиции и представлении ВС в виде совокупности вложенных контуров управ нения (по принципу "сеть в сеть"). Разбиение по контурам управлений'осуществляется в соответствии с организационной структурой DC и определяется задачами исследования.
Обоснование путей организации распределения ПМ, ИМ, а также их резерва на этапе проектирования и в период эксплуатации ВС позволяет определить два пути: на этапе проектирования распределение осуществлять по принципу "сверху вниз", в период эксплуатации и боевого применения - "снизу вверх".
Обоснование критериев оптимизация и'принципов распределения и восстановительного резервирования ПМ И ИМ в системе вычислительных средств сети позволяет рекомендовать в качестве критериев оптимальности восстановительцого резервирования минимум о|5ьема информации, передаваемой по каналу связи, . максимум вероятности решения всех задач. .
Большая размерность общей задачи оптимизации ЙВГ1, дискретность, нелинейный характер целевых функции н ограничений не пошоляет решить их существующими методами и выдвигает проблему снижения их размерности.
Для сокращения размерности задачи оптимизации восстановительного резервирования предложена ее декомпозиция на ряд взаимосвязанных подзадач, а именно: ( •
• оптимизации распределения ИМ в системе ВС без учета их восстановительного резервирования при известном распределении ПМ;
• оптимизация распределения восстановительного резерва.ИМ без учета его разрушения (без определения объема восстановительного резерва) с учеюм заданного распределения восстановительного резерва ПМ;
• оптимизация объема восстановительного резерва ИМ.
Разработанный в соответствии с декомпозицией общей задачи на уровне вычислительной сети, комплекс математических моделей сводится к следующим классам задач: :
• оптимизация распределения ИМ'по критерию минимума передаваемой информации по каналам связи - к классу задач ЦЛИ со смешанными ограничениями; '
• . • оптимизация распределения восстановительного резерва - к классу целочисленных линейных задач;
• оптимизация объема восстановительного резерва - к стандартной задаче оптимального резервирования.
Необходимость решения предложенных задач в реальном Масштабе времени (й период эксплуатации) предполагает поиск путей повышения эффективности существующих и разработку новых методов и алгоритмов оптимизации.
Сформулированное задачи распределения и оптимизаций восстановительного резервирования программных модулей и информационных массивов в сети ЭВМ относятся к классу задач комбинаторного типа. Трудоемкости сформулированных зада*! выдвигает требование дальнейшего совершенствования й модификации алгоритмов ее решения.
Для сокращения'вычислительной сложности определения границ рещения
могут быть использованы разработанные и обоснованные способы на основе теории двойственности: решение двойственной, задачи для каждой вершины дерева ветвления; решения двойственной задачи для уровня; однократное решение двойственной задачи; однократное решение двойственной задачи с уточнением границы итерационными алгоритмами.. Результаты экспериментальной оценки способов определения границ решения с использованием теории Двойственности показали, что наиболее эффективным является однократное решение двойственной Задали Итерационными Методами, который позволяет уточнять оценки переменных и определить порядок их ветвления. ''■:'■
Применение теорий двойственности Для упорядочения ограничений по жесткое гн в методе встречного рещения и включение дополнительного отсева бесперспективных вариантов решений пй целевой функции по условиям метода ветвей и границ позволяет повысить эффективность динамического программирования при определении множества допустимых решений задач оптимизации восстанови тельного резервирования информации..... .
Применение приближенных методов решения задач дискретной оптимизации позволяет решать задачи большой размерности. В качестве приближенных методов решения задачи восстановительного резервирования предлагается применение метода вектора спада и метода направляющих окрестностей.
Предложенные методы и алгоритмы являются универсальными и могут быть применены для решения широкого круга оптимизационных задач.
ПУБЛИКАЦИИ по TEMI: ДИССЕРТАЦИИ
1, Киселев В.Д., Есиков О.В., Святенко К.В. Декомпозиция задачи восстанови-■ -тельного резервирования программных модулей и информационных массивов
в сети ЭВМ,- НТК М'9 (сборник тетнеон докладов). Гула: ТОЛПУ, 1993 г.
2. Есиков О.В., С'вятеико К.П. Обеспечение сохранносш информации в .чокаль-• г- ных сетях ЭВМ.--ПТК N~:9 (сборник кчисов докладов). Тула "1 ПЛИУ, IW.ir.
3. рейкой O.B. , Святенко К.В., Матвеев ДВ- Имитационная модель оценку эффективности перспективных ДСУ- НТК №10 (сборник тезисов докладов). Тула: ТВАИУ. 1995 г.
4. Киселев В.Ц., Бесков р.В.,Свят?ИКР К-В-. Логврнрв C.Ç. Анализ влияния восстановительного резервирования на. эффективность функционирования АСУ, построенных на базе сетей ЭВМ- ЦТС N 14. Тул^ : ТВАИУ, 199?: С.-144-148.
5. Киселер В.Д., Крутских В.Д., СвятеНко К.В. Определение типа носителей восстановительного резерва 'информации в территориально-распределенных ВС. НТС N 5. Санкт-Петербург: МО РФ. 1998. С.-27-31.
6. Киселев В.Д., Святенко К.В. Обеспечение сохранности информации в ВС специального назначения, построенных на базе сетей ЭВМ. НТС N 5. Санкт-Петербург: МО РФ, 1998. С,-38-41, / •
7. Киселев В.Д., Новиков В.В., Святенко {СВ. Распределение задач в системе обработки информации методом альтернативного программирования.- НТС N 15. Тула : ТВАИУ, 1998. С.-134-138.
8. Святенко К.В., Новиков В.В. Оценка способов ветвление переменных в методе ветвей и Границ. - НТСК 15,Тула: ТВАИУ, 1998. C.-175-179.
9. Святенко К.В,,- Федрсов Е.И-, Лагутин H.II. Оптмизация информационно-вычислигелыюго процесса на объектах ВС - НТС N 15. Тула : ТВАИУ, 1998. С.-179-182.
10. Есиков О.В., Святенко К.В. Принципы построения систем защиты информации в современных АСОД - НТС N 16. Тула : ТАЙИ, 1999. С.-82-85.
Подписано и печаи. ИХ «♦Ч'а'Фррмат бумага 60x84 1116. бумаг» типографскаа.М 1 Офсетная печать. Усл.нсч. л. < 1 .Усл.кр.-огт. /, / .Уч. изд. л. .
Тира* ЭЮ.Закв! . .
Тульский тсударствениый уницерситет. 300600, I. Тула, пр. Левина, 91. Релакииоипо- издательский центр Тульского государственною университета. 300600, г. Гул«, ул. БолЛнна, 151
Оглавление автор диссертации — кандидата технических наук Святенко, Кирилл Витальевич
Введение.
1. Анализ современного состояния, перспектив развития вычислительных сетей. Постановка задачи исследования.
1.1 Структура и краткий обзор основных направлений совершенствования ВС «ГК «Росвооружение».
1.2 Характеристика и особенности разрушающих факторов, влияющих на носители информации и сравнительная характеристика устройств хранения информации.
1.3 Обеспечение сохранности информации в вычислительных сетях.
1.4 Анализ видов и стратегий резервирования.
1.5 Определение областей эффективного использования восстановительного резервирования.
1.6 Обоснование общего подхода к решению задач оптимизации восстановительного резервирования.
Выводы по первой главе.
2. Математические модели и алгоритмы оптимизации восстановительного резервирования информации в ВС.
2.1 Общая математическая модель оптимизации восстановительного резервирования.
2.2 Декомпозиция общей задачи на систему взаимосвязанных задач.
2.3 Методы решения задач восстановительного резервирования информации.
Выводы по второй главе.
3. Экспериментальная проверка моделей и методов оптимизации восстановительного резервирования информации.
3.1 Экспериментальная оценка эффективности методов и алгоритмов оптимизации.
Введение 2000 год, диссертация по информатике, вычислительной технике и управлению, Святенко, Кирилл Витальевич
Главным направлением повышение эффективности формирования и осуществления процесса военно-технического сотрудничества является создания Единой автоматизированной информационной системы на основе внедрения компьютерных технологий и использования современных средств вычислительной техники, средств передачи данных и математических методов.
Постоянное совершенствование средств и методов управления различного рода структурными подразделениями «ГК «Росвооружение» стало одним из основных факторов, определяющих повышение эффективности действий России на мировом рынке вооружений и военной техники (В и ВТ). Необходимость дальнейшего интенсивного развития систем управления диктуется возрастающей диспропорцией между постоянно растущим потоком информации, представляющей собой конъюнктуру рынка, прогноз потребностей по каждому конкретному образцу В и ВТ, возможностями предприятий производителей специмущества (СИ), изменения российского законодательства, международные и внутренние политические аспекты, и возможностями средств по обработки для принятия решений. На этой основе возникают и новые повышенные требования к вычислительным системам (ВС) управления.
Наличие широкой сети региональных представительств в более чем 20 странах также требует наличие современной ВС.
Другим, не менее важным фактором, является развитие динамики процесса международного военно-технического сотрудничества (ВТС) и повышения ответственности сторон, где оперативно принимаемые решения несут за собой обязательства на длительный срок (до нескольких десятков лет) и любые ошибки могут привести к серьезным финансовым и политическим потерям. Данный факт на очень напряженном рынке В и ВТ, где присутствует жесткая конкуренция мировых производителей СИ, представляется наиболее серьезным.
Анализ современного состояния средств управления показывает, что они по уровню разработки и производству не полностью соответствуют предъявляемым требованиям, что снижает эффективность работы системы. Увеличение сложности решаемых задач, расширение их перечня, повышение требований к оперативности и достоверности обработки информации обуславливает необходимость создания высокоэффективных средств обработки информации.
Разрешить указанную проблему призвана концепция распределенной системы управления, которая заключается в увеличении количества пунктов управления и обеспечении их тесной взаимосвязи и взаимозаменяемости, и возможности использования общих информационных массивов.
Практическая реализация концепции распределенной системы управления требует реализации целого комплекса научно-технических проблем, связанных с созданием общих информационных массивов, установлением порядка их обновления, пересылки, защиты и оперативного использования, определением номенклатуры технических средств в каждом локальном пункте и др. Целый ряд проектов за рубежом предлагает различные способы решения указанных проблем.
Опыт разработки и опытная эксплуатация показали, что объем и сложность информационно-расчетной деятельности должностных лиц достигли такого масштаба, что возникла необходимость в организации взаимосвязанного функционирования больших коллективов пользователей ЭВМ, территориально размещенных на значительных расстояниях и нуждающихся в оперативном доступе к настолько значительным объемам данных и большим вычислительным мощностям, что удовлетворение этих потребностей не всегда может быть обеспечено средствами отдельных ЭВМ или их локальным объединением вычислительных комплексов. В этих условиях в области создания вычислительных сетей наметилась устойчивая тенденция к использованию сети ЭВМ как перспективной организационно-технической формы применения вычислительных средств.
Создание сетей ЭВМ связано со значительными затратами, а эффективное использование предоставляемых ими возможностей требует количественного обоснования принимаемых решений по выбору рациональных вариантов построения и организации их функционирования.
Существует большое число работ посвященных сетям ЭВМ. В работах В.М.Глушкова [4], Д. Флинта [5], Э.А. Якубайтиса [6,7] излагаются основные принципы построения вычислительных сетей, организация сетей передачи данных и связи, их анализ и синтез. В работе Г.Т.Артамонова и В.Д. Тюрина [8] излагается оригинальная система топологических инвариантов, позволяющая эффективно решать задачи определения изоморфизма и автоморфизма сетей. Исследуется влияние топологических характеристик сетей на их надежность, пропускную способность, стоимость и ряд других системных характеристик. В работе Г.Ф. Янбых и Б.А. Столярова [9] рассматривается проблема оптимизации физической структуры информационно-вычислительных сетей. Методы и алгоритмы синтеза и оптимизации структуры, централизованных и распределенных сетей ЭВМ с единых методологических позиций рассмотрены Ю.П. Зайченко и Ю.В. Гонта [10].
В работах В.А. Балыбердина [11,12,13] предложены единый метод исследования системы вычислительных средств (СВС) сетей ЭВМ, основанный на выделении и рассмотрении совокупностей взаимодействующих информационных процессов, протекающих в СВС, комплекс аналитических моделей совокупностей информационных процессов для решения задач анализа сетей ЭВМ и методы многоуровневой оптимизации для решения задач синтеза.
Приведенный перечень работ свидетельствует о большом интересе к развитию сетей ЭВМ и определенном опыте, накопленном в нашей стране и за рубежом, в области решения задач синтеза и оптимизации структуры, анализа сетей ЭВМ, особенно сетей передачи данных.
Однако основной акцент при создании ВС на базе сетей ЭВМ делается на решение следующих проблем:
- организации информационно-вычислительного процесса (ИБП) в системе вычислительных средств сети ЭВМ;
- организации управления распределенными ресурсами в рамках системы; обеспечении сохранности информации в системах с распределенной обработкой информации;
- организации функционирования распределенных баз данных.
В США и ведущих зарубежных странах решению перечисленных проблем придан статус наивысшего приоритета, так как от их решения в первую очередь зависит эффективность сети в целом.
Если рассмотреть накопленный опыт при решении задач оптимизации и повышения устойчивости информационно-вычислительного процесса (ИВП), сохранности информации в сетях ЭВМ, то необходимо отметить работы В.В. Хорошевского [14], Е.Н.Турута [15,16]. O.K. Кондратьева [17], отражающие прогресс, достигнутый при решении задач повышения устойчивости ИВП. Работы А.Г. Мамиконова, В.В. Кульбы, С.К. Сомова, А.Б. Шелкова [20,21,22] посвящены решению вопросов повышения достоверности и сохранности информационных модулей и программных массивов в вычислительных сетях за счет организации оперативного и восстановительного резервирования.
Практическое решение вопросов синтеза сетей ЭВМ и организации их функционирования связано с развитием теории и практики оптимизации, которым посвящены работы О.Г. Алексеева [23], B.C. Михалевича [24,25], И.В. Сергиенко [26], A.A. Корбута, Ю.Ю. Финкелынтейн [27].
Приведенный обзор работ, показывает, что задачи повышения устойчивости ИВП, обеспечения сохранности информации, повышения эффективности и разработка новых методов оптимизации решались в основном порознь и изучены с различной степенью глубины.
Работы, проведенные в этом направлении к настоящему времени, обладают рядом существенных недостатков:
1. Не разработан системный подход к повышению устойчивости ИБП и сохранности информации на этапах проектирования и эксплуатации ВС.
2. Недостаточно формализованы способы и методы обеспечения устойчивости ИВП и сохранности информации (модели распределения и перераспределения программных модулей и информационных массивов по узлам сети ЭВМ).
3. Существующие постановки указанных задач предполагают их решение в процессе синтеза сети ЭВМ. Исходя из этого, к разрабатываемым методам и алгоритмам их решения не предъявляется достаточно жестких требований по времени решения. Вместе с тем, такие задачи возникают в процессе эксплуатации средств автоматизации управления, а их реализация связана с решением дискретных, зачастую нелинейных задач большой размерности в короткие сроки. Это, в свою очередь, порождает проблему дискретности, многомерности и большой размерности задач оптимизации ИВП и разработки эффективных методов их решения.
Таким образом, научной задачей, решаемой в диссертационной работе, является разработка моделей и методов обеспечения сохранности информационных массивов в вычислительных сетях.
Актуальность задачи обусловлена: необходимостью повышения эффективности функционирования вычислительной сети «ГК «Росвооружение» за счет придания ей свойств устойчивости ИВП, необходимостью разработки и совершенствования теоретического аппарата обеспечения сохранности информации, исследования задач многомерности и дискретности задач оптимизации.
Объектом исследования являются автоматическая система обработки информации подразделений «ГК «Росвооружение»
Предметом исследования являются методы обеспечения сохранности информационных массивов в вычислительных сетях «ГК «Росвооружение».
В связи с этим целью работы является расширение функциональных возможностей и улучшение характеристик перспективных ВС за счет обеспечения сохранности информации.
Поставленная цель достигается решением ряда следующих крупных научных задач:
1. разработка общего подхода к решению задач обеспечения сохранности информации в системе вычислительных средств сети;
2. разработка системы математических моделей оптимизации ИБП в ВС с учетом резервирования программных модулей и информационных массивов;
3. повышение эффективности существующих и разработка новых методов решения задач оптимизации;
4. оценка эффективности, обоснование рекомендаций по использованию разработанного теоретического аппарата.
Содержание этих решений изложено в трех главах настоящей работы.
В первой главе рассматриваются требования, предъявляемые к ВС на современном этапе, основные направления совершенствования ВС и связанные с этим задачи. Показано, эффективность ВС, построенных на базе сетей ЭВМ, во многом определяется обеспечением сохранности информации в системе вычислительных средств. Исследуются основные направления обеспечения сохранности информации и методы их реализации. Показано, что при заданных характеристиках технических средств автоматизации сохранность информации обеспечивается рациональным распределением программных модулей (ПМ) и информационных массивов (ИМ) в системе вычислительных средств (СВС) сети ЭВМ с учетом их резервирования. Формулируется задача исследования и обосновывается общий подход ее решения.
Вторая глава посвящена разработке системы математических моделей оптимизации распределения (перераспределения) ПМ и ИМ с учетом их резервирования в СВС сети ЭВМ. Обоснован метод их декомпозиции на ряд взаимосвязанных задач в целях практической разрешимости. Предлагаются методы и алгоритмы решения, основанные на идеях метода ветвей и границ с применением теории двойственности для определения порядка ветвления переменных и вычисления оптимистических оценок и способа встречного решения функциональных уравнений динамического программирования.
В третьей главе обосновываются критерии оценки эффективности разработанных методов и алгоритмов оптимизации. Проводится сравнительная оценка эффективности разработанных и существующих алгоритмов оптимизации. Предлагаются рекомендации по использования разработанного теоретического аппарата на этапах проектирования и эксплуатации ВС.
В заключении формулируются результаты работы в целом.
Основными научными результатами, выносимыми на защиту являются:
1. Система математических моделей оптимизации информационно-вычислительного процесса в сетях ЭВМ, позволяющая комплексно и взаимосвязано решать задачи распределения программных модулей, информационных массивов и их восстановительного резерва в системе вычислительных средств, а также определять необходимый объем резерва.
2. Метод решения общих задач оптимизации распределения (перераспределения) программных модулей и информационных массивов с учетом их резервирования в системе вычислительных средств на основе предложенной их декомпозиции на ряд взаимосвязанных задач и разработанные математические модели оптимизации для каждого этапа декомпозиции.
3. Метод и математическая модель оценки порядка ветвления переменных, способы определения границ решения в методе ветвей и границ, использующие принцип двойственности, позволяющие значительно сократить вычислительную сложность алгоритмов ветвей и границ.
4. Модифицированный метод встречного решения функциональных уравнений динамического программирования, использующий теорию двойственности для упорядочения ограничений и отсева бесперспективных переменных при решении задачи по первому ограничению по условиям метода ветвей и границ, обеспечивающий значительное уменьшение времени решения задач и число членов условно оптимальных последовательностей.
Практическое значение и реализация работы. Предложенные методики, методы, модели и алгоритмы использованы при проведении ряда работ по созданию образцов комплексов средств автоматизации, а также в силу своей общности могут найти применение при разработке, эксплуатации перспективных комплексов средств автоматизации различных уровней управления, методы и алгоритмы доведены до рабочих программ и позволяют решать широкий круг научно-технических задач. Основные практические результаты диссертационной работы внедрены: в 3 ЦНИИ МО России; в Таганрогском авиационном научно-техническом комплексе им. Бериева; в учебном процессе Тульского ВАИУ в дисциплине "Исследование операций"
Апробация работы и публикации. Материалы диссертации докладывались, обсуждались и одобрены на НТК Тульского ВАИУ (1997, 1999 г.г.), Михайловской артиллерийской академии г. С-Петербург (1998 г.), на расширенных заседаниях кафедр "ЭВМ и ВС", "Математическое, программное и информационное обеспечение ВС" Тульского артиллерийского инженерного института. Материалы диссертации опубликованы в 10 печатных работах в ведомственных научно-технических изданиях:
Киселев В.Д., Есиков О.В., Святенко К.В. Декомпозиция задачи восстановительного резервирования программных модулей и информационных массивов в сети ЭВМ,- НТК №9 (сборник тезисов докладов). Тула: ТВАИУ, 1993 г.
Есиков О.В., Святенко К.В. Обеспечение сохранности информации в локальных сетях ЭВМ.- НТК №9 (сборник тезисов докладов). Тула: ТВАИУ, 1993 г.
Есиков О.В. , Святенко К.В., Матвеев Д.В. Имитационная модель оценки эффективности перспективных АСУ- НТК №10 (сборник тезисов докладов). Тула: ТВАИУ, 1995 г.
Киселев В.Д. , Есиков О.В.,Святенко К.В., Логвинов С.С. Анализ влияния восстановительного резервирования на эффективность функционирования АСУ, построенных на базе сетей ЭВМ- НТС N 14. Тула : ТВАИУ, 1997. С.-144-148.
Киселев В.Д., Крутских В.А., Святенко К.В. Определение типа носителей восстановительного резерва информации в территориально-распределенных ВС. НТС N 5. Санкт-Петербург: МО РФ. 1998. С.-27-31.
Киселев В.Д., Святенко К.В. Обеспечение сохранности информации в ВС специального назначения, построенных на базе сетей ЭВМ. НТС N 5. Санкт-Петербург: МО РФ. 1998. С.-38-41.
Киселев В.Д., Новиков В.В., Святенко К.В. Распределение задач в системе обработки информации методом альтернативного программирования,- НТС N 15. Тула : ТВАИУ, 1998. С,-134-138.
Святенко К.В., Новиков В.В. Оценка способов ветвления переменных в методе ветвей и границ. - НТС N 15. Тула: ТВАИУ, 1998. С,-175-179.
Святенко К.В., Федосов Е.И., Лагутин H.H. Оптмизация информационно-вычислительного процесса на объектах ВС - НТС N 15. Тула : ТВАИУ, 1998. С,-179-182.
Есиков О.В., Святенко К.В. Принципы построения систем защиты информации в современных АСОД - НТС N 16. Тула : ТАИИ, 1999. С.-82-85.
Заключение диссертация на тему "Математические модели и алгоритмы оптимизации восстановительного резервирования информации в корпоративной вычислительной сети "Государственной компании "Росвооружение""
Выводы по третей главе
1. Применение для автоматизации экспериментальной проверки предложенных методов и алгоритмов решения задач оптимизации распределения и восстановительного резервирования ИМ в системе ВС сети разработанной АСИА (автоматизированная система исследования алгоритмов) позволяет управлять процессом исследования, проводить сравнительную оценку алгоритмов по выбранной программе и значительно снизить затраты на организацию и проведение экспериментов.
2. Результаты экспериментальной оценки способов определения границ решения с использованием теории двойственности показали, что наиболее эффективным является однократное решение двойственной задачи итерационными методами, который позволяет уточнять оценки переменных и определить порядок их ветвления. Среднее время решения с применением данного способа в 7-42 раза относительно первого, 3-13 раза относительно второго и в 1,1-2,2 раза относительного третьего способа меньше. С ростом числа ограничений и переменных задачи это преимущество возрастает.
3. Упорядочивание ограничений по жесткости и включение дополнительного отсева бесперспективных вариантов по условиям метода ветвей и границ с использованием двойственной задачи в способе встречного решения дает выигрыш по времени в 2,3-14,8 раза за счет уменьшения числа
Предложенные принципы и критерии распределения ПМ и ИМ обеспечивают работоспособность ВС в условиях функциональной деградации и деградации по производительности системы вычислительных средств сети в заданных пределах показателей эффективности ВС.
Большая размерность общей задачи оптимизации ИБП, дискретность, нелинейный характер целевых функций и ограничений не позволяет решить их существующими методами и выдвигает проблему снижения их размерности.
Для сокращения размерности задачи оптимизации восстановительного резервирования предложена ее декомпозиция на ряд взаимосвязанных подзадач, а именно:
1. оптимизации распределения ИМ в системе ВС без учета их восстановительного резервирования при известном распределении ПМ;
2. оптимизация распределения восстановительного резерва ИМ без учета его разрушения (без определения объема восстановительного резерва) с учетом заданного распределения восстановительного резерва ПМ;
3. оптимизация объема восстановительного резерва ИМ.
4. Разработанный в соответствии с декомпозицией общей задачи на уровне вычислительной сети, комплекс математических моделей сводится к следующим классам задач:
5. оптимизация распределения ИМ по критерию минимума передаваемой информации по каналам связи - к классу задач ЦЛП со смешанными ограничениями;
6. оптимизация распределения восстановительного резерва - к классу целочисленных линейных задач;
7. оптимизация объема восстановительного резерва - к стандартной задаче оптимального резервирования.
Необходимость решения предложенных задач в реальном масштабе времени (в период эксплуатации и боевого применения) предполагает поиск путей повышения эффективности существующих и разработку новых методов и алгоритмов оптимизации.
Сформулированные задачи распределения и оптимизации восстановительного резервирования программных модулей и информационных массивов в сети ЭВМ относятся к классу задач комбинаторного типа. Трудоемкости сформулированных задач выдвигает требование дальнейшего совершенствования и модификации алгоритмов ее решения.
Для сокращения вычислительной сложности определения границ решения могут быть использованы разработанные и обоснованные способы на основе теории двойственности: решение двойственной задачи для каждой вершины дерева ветвления; решения двоственной задачи для уровня; однократное решение двойственной задачи; однократное решение двойственной задачи с уточнением границы итерационными алгоритмами. Результаты экспериментальной оценки способов определения границ решения с использованием теории двойственности показали, что наиболее эффективным является однократное решение двойственной задачи итерационными методами, который позволяет уточнять оценки переменных и определить порядок их ветвления.
Применение теории двойственности для упорядочения ограничений по жесткости в методе встречного решения и включение дополнительного отсева бесперспективных вариантов решений по целевой функции по условиям метода ветвей и границ позволяет повысить эффективность динамического программирования при определении множества допустимых решений задач оптимизации восстановительного резервирования информации.
Применение приближенных методов решения задач дискретной оптимизации позволяет решать задачи большой размерности. В качестве приближенных методов решения задачи восстановительного резервирования
19. Сергиенко И.В. Математические модели и методы решения задач дискретной оптимизации.- 2-е изд., доп. и перераб.-Киев: Наук. Думка, 1988.472 с.
20. Сергиенко И.В., Лебедева Т.Т., Рогцин В.А. Приближенные методы решения дискретных задач оптимизации.- Киев: Наук. Думка, 1980.-276 с.
21. Михалевич B.C. Последовательные алгоритмы оптимизации и их применение // Кибернетика. - 1965. -№1.- с. 45-55.
22. Первозванский A.A., Гайцгори В.Г. Декомпозиция, агрегирование и приближенная оптимизация. - М.: Наука, 1979. -276 с.
23. Мельник Э.М., Киселев В.Д. Об одном подходе к распределению задач между работоспособными микро ЭВМ при функциональной деградации вычислительной системы. // Алгоритмы и структуры систем обработки информации. - Тула: ТулПИ, 1990.- с. 99-105.
24. Киселев В.Д., Алексеев О.Г., Мировицкий Г.П. Сужение области поиска в задачах дискретного программирования на основе теории двойственности.// Электронное моделирование. - 1989.- Т 11.-№5.
25. Алексеев О.Г., Алексеев А.О., Киселев В.Д., Мировицкий Г.П. Применение двойственности для повышения эффективности метода встречного решения функциональных уравнений динамического программирования // Кибернетика. - 1990,- №1. с. 114-116.
26. Киселев В.Д., Алексеев О.Г. Упорядочение ограничений в методе встречного решения функциональных уравнений динамического программирования.// Экономика и математические методы. - 1994.
27. Майника Э. Алгоритмы оптимизации на сетях и графах,- М.: Мир, 1981.-323с.
28. Пападимитриу X., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. Пер. с англ.- М.: Мир, 1985. - 512 с.
-
Похожие работы
- Оптимизация восстановительного резервирования в автоматизированной информационно-управляющей системе
- Методы обеспечения доступности информационных ресурсов в территориально-распределенных автоматизированных системах обработки данных
- Резервирование программных модулей и информационных массивов в сетях ЭВМ
- Математическое моделирование процессов резервирования и восстановления информации в информационных системах
- Методика проектирования отказоустойчивых вычислительных систем с резервированными каналами передачи данных
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность