WWW.PROGRAMMA.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Учебные и рабочие программы
 


Pages:   || 2 | 3 | 4 | 5 |   ...   | 24 |

«Московский государственный университет им. М.В. Ломоносова Москва УДК 681.3 ББК 32.8 М 54 Печатается по решению редакционно-издательского совета факультета вычислительной математики и ...»

-- [ Страница 1 ] --

МЕТОДЫ И СРЕДСТВА ОБРАБОТКИ

ИНФОРМАЦИИ

Труды

Второй Всероссийской научной конференции

5-7 октября 2005 г.

Московский государственный

университет им. М.В. Ломоносова

Москва

УДК 681.3

ББК 32.8

М 54

Печатается по решению редакционно-издательского совета

факультета вычислительной математики и кибернетики

МГУ им. М.В.Ломоносова



Рецензенты: чл.корр. РАН Иванников В.П.

д.ф.-м.н., профессор Мальковский М.Г.

Методы и средства обработки информации. Труды второй Всероссийской научной конференции/ Под ред. Л.Н. Королева. – М.: Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова (лицензия ИД № 05899 от 24.09.01), 2005., 651 с.

Труды второй Всероссийской научной конференции "Методы и средства обработки информации", посвященной проблематике теоретических и прикладных исследований в области архитектуры вычислительных систем, методов и средств разработки программного обеспечения, а также направлений их практического внедрения в различные сферы человеческой деятельности. Конференция состоялась в Москве 5-7 октября 2005 года.

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

ISBN 5-89407-230УДК 681.3 ББК 32.8 Поддержка конференции компания Sun Microsystems – генеральный спонсор Российский фонд фундаментальных исследований – спонсор РЕДЛАБ – спонсор

НИИСИ РАН

Межведомственный суперкомпьютерный центр РАН ISBN 5-89407-230Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова, 2005 г.

Вторая Всероссийская научная конференция "Методы и средства обработки информации" возобновляет отечественные традиции научных конференций и форумов, объединяющих ученых и специалистов в области современных методов и средств обработки информации.

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

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

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

Направления работы конференции

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

2. Фундаментальные математические проблемы распараллеливания алгоритмов и программ.

3. Новые принципы обработки информации: квантовые вычисления, оптоэлектроника, биотехнологии, нанотехнологии, нейросетевые, генетические и другие не классические модели вычислений.

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

5. Методы и средства анализа функционирования современных вычислительных систем.

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

7. Системы реального времени

Организаторы и спонсоры

• Министерство образования и наук

и Российской Федерации





• Российская академия наук

• Российский фонд фундаментальных исследований

• Московский государственный университет им. М.В. Ломоносова

• Волгоградский государственный технический университет

• Казанский государственный университет

• Межведомственный суперкомпьютерный центр

• Московский государственный институт радиотехники, электроники и автоматики (технический университет)

• Московский государственный институт электронной техники (технический университет)

• Московский инженерно-физический институт (государственный университет)

• Московский институт стали и сплавов

• Московский физико-технический институт (государственный университет)

• Омский государственный университет

• Российский государственный университет нефти и газа им. И.М. Губкина

• Ростовский государственный университет

• Санкт-Петербургский технический университет (ЛЭТИ)

• Таганрогский государственный радиотехнический университет (ТРТУ) и НИИ МВС

• Томский государственный университет

• Уральский государственный университет

• Sun Microsystems – генеральный спонсор

• РЕДЛАБ – спонсор

• НИИСИ РАН

• Межведомственный суперкомпьютерный центр РАН

–  –  –

Председатель – Велихов Е.П. акад. РАН Сопредседатель – Журавлев Ю.И. акад. РАН

Члены:

Бугаев А.С. акад. РАН Бурцев В.С. акад. РАН Валиев К.А. акад. РАН Воеводин В.В. акад. РАН Гуляев Ю.В. акад. РАН Левин В.К. акад. РАН Моисеев Е.И. акад. РАН Марчук Г.И. акад. РАН Микаэлян А.Л. акад. РАН Савин Г.И. акад. РАН Федосов Е.А. акад. РАН Бабаян Б.А. чл.-корр. РАН Зубарев Ю.Б. чл.-корр. РАН Забродин А.В. чл.-корр. РАН Иванников В.П. чл.-корр. РАН Рябов Г.Г. чл.-корр. РАН Кутахов В.П. профессор Хетагуров А.Я. профессор

–  –  –

СОДЕРЖАНИЕ

CONTENTS

Пленарные доклады Бетелин В.Б.

Отечественная аппаратно-программная платформа БАГЕТ.................19 Воеводин В.В.

Математические проблемы параллельных вычислений

Гуляев Ю.В., Лисенков И.В., Никитов С.А., Рябко М.В., Чаморовский Ю.К.

Микроструктурные волокна в волокно-оптических линиях связи.......34 Каляев И.А., Левин И.И.

Модульно-наращиваемые многопроцессорные вычислительные системы с программируемой архитектурой на основе ПЛИС..............40 Митропольский Ю.И.

Масштабируемый векторный процессор в составе мультиархитектурной суперсистемы

Рябов Г.Г.

Алгоритмические основы топологического процессора (топокарты)... 53 Грибов Д.И., Смелянский Р.Л.

Комплексное моделирование бортового оборудования летательного аппарата

ИНФОРМАЦИОННЫЕ СИСТЕМЫ

Герасимов С.В.

Система обнаружения знаний в виде числовых ассоциативных правил в медицине

Израйлит О.В., Израйлит С.В., Северов С.П., Тарутин К.А.

Методы и средства обработки информации в управлении дополнительным профессиональным образованием с позиций Болонского процесса интеграции высших школ

Коноплев В.В., Назиров Р.Р.

О применении восходящего адаптивного агрегирования для оперативной аналитической обработки и индексирования многомерных данных........ 9 Мазный Н.Г.

Среда для быстрой разработки гибких распределенных систем автоматизации экспериментов

Мельникова Е.А., Радионов А.Н.

Построение классификационной Иерархии документов на основе лексико-частотных характеристик с применением функций риска

Мосалов О.П., Прохоров Д.В., Редько В.Г.

Модель взаимодействия обучения и эволюции в многоагентных системах

Симановский А.А.

Автоматизация разработки схем баз данных для XML-реляционных систем

Татаринов Ю.С., Пантелеев М.Г., Сазыкин П.В.

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

Хачкинаев Г.М.

Опыт реализации web-интерфейса к высокопроизводительным ресурсам

Чупров А.С.

Методы восстановления консистентности состояния учетной системы

КОМПЬЮТЕРНЫЕ СЕТИ И ИНФОРМАЦИОННАЯ

БЕЗОПАСНОСТЬ

Булочникова Н.М., Горицкая В.Ю., Сальников А.Н.

Система поддержки сбора и анализа статистики о работе вычислительной системы

Васютин С.В., Завьялов С.С.

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

Голосов П.Е.

Управление ресурсами сетевой среды распределенных вычислений на основе экономических моделей

Киселев А.В., Корнеев В.В., Семенов Д.В., Сахаров И.Е.

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

Петровский М.И.

Применение методов интеллектуального анализа данных в задачах выявления компьютерных вторжений

Прус В.В.

Метод оценки наихудшего времени выполнения для процессоров с конвейерной архитектурой

Райх В.В., Синица И.Н., Шарашкин С.М.

Макет системы выявления атак на основе обнаружений аномалий сетевого трафика

Розинкин А.Н.

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

Тарасова Е.Г.

Нетрадиционные методы принятия решений на примере области анализа и классификации трафика

Тимофеев А.В.

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

Хартьян Д.Ю., Шапцев В.А.

Деятельность администратора и информативные параметры корпоративной инфорамационно-вычислительной инфраструктуры... 20

АРХИТЕКТУРА СОВРЕМЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ

СИСТЕМ И МЕТОДЫ ОРГАНИЗАЦИИ ВЫЧИСЛЕНИЙ НА НИХ

Белозёрова А.Р., Мельников Б.Ф.

Применение комплекса эвристик в задаче составления схемы нуклидных превращений

Воронов В.Ю., Горицкая В.Ю., Зленко П.А., Истомин Т.Е., Колпаков Р.В., Королев Л.Н., Мещеряков Д.К., Попова Н.Н., Сальников А.Н.

Специализированная распределенная система обработки экспериментальных данных

Гливенко Е.В., Демьянов В.Л.

Геометрическая интерпретация задач для многопроцессорных систем...... 220 Дворянкин А.М.

Обучение экспертной системы байесовского типа

Джиган В.И.

Параллельный стабилизированный RLS-алгоритм адаптивной фильтрации на основе обратного QR-разложения

Есаулов А.О., Старченко А.В.

Параллельная реализация явного метода Н.И. Булеева

Жегуло О.А.

Экспериментальная система распараллеливания на основе макета многоцелевой системы трансформаций программ

Жуматий С.А.

Система PARCON – ассистент в работе пользователя и администратора вычислительного кластера

Захаров В.М., Нурутдинов Ш.Р., Шалагин С.В.

Метод моделирования и преобразования функций цепей Маркова в полях Галуа и его реализация в базисе ПЛИС

Колесов В.В., Потапов А.А.

Методы фрактального анализа хаотических алгоритмов

Колпаков Р.В., Сальников А.Н.

Аспекты параллельного программирования при задании программы как графа зависимости по данным на примере написания тестов для системы “PARUS”

Левченко Н.Н., Степанов А.М., Цветков В.В.

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

Окунев А.С.

Об одном методе подсчета глобальной кратности в вычислительной системе с автоматическим распределением ресурсов

Хачумов В.М.

Разрядно-параллельные вычислительные схемы

Хорошевский В.Г., Майданов Ю.С., Мамойленко С.Н., Седельников М.С.

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

Шалагин С.В.

Дискретная модель квантовой системы представления и обработки информации

Ширай А.Е.

Виртуальная потоковая машина

МЕТОДЫ И СРЕДСТВА РАЗРАБОТКИ ПРОГРАММНОГО

ОБЕСПЕЧЕНИЯ

Авраамова О.Д.

Методы компьютерной визуализации на основе открытых стандартов трехмерной графики

Аксёнова Е.А., Соколов А.В.

Некоторые задачи оптимального управления FIFO-очередями...........318 Архипова М.В.

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

Башкин В.А., Ломазова И.А.

Подобие обобщенных ресурсов в сетях Петри

Богуславский А.А., Соколов С.М.

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

Бражник С.А., Замулин А.В.

Императивное расширение языка спецификаций объектов OCL.........344 Букатов А.А., Коваль В.В.

Трансляция программ трансформации в многоцелевой системе трансформации программ

Галюк Ю.П., Мемнонов В.П.

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

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А.

UniMod: метод и средство разработки реактивных объектноориентированных программ с явным выделением состояний..............36 Захаров В.А., Коннов И.В.

Об одном подходе к верификации асинхронных параметризованных систем

Захаров В.А., Корчевский А.А.

О формальной верификации криптографических протоколов с использованием spi-исчисления

Киселев А.В.

Использование сетей Петри для описания потоков связанных заданий в сетевой среде распределенных вычислений

Корнеев Г.А., Шалыто А.А.

Преобразование программ в систему взаимодействующих конечных автоматов

Кузьмин Е.В., Соколов В.А.

Исследование свойств класса вполне структурированных систем переходов

Латыпов Р.Х.

Линеаризация цифровых схем на основе аффинных преобразований бинарных решающих диаграмм

Машечкин И.В., Попов И.С., Смирнов А.А.

Система консистентных контрольных точек для кластерных вычислительных систем

Непомнящий В.А., Алексеев Г.И., Аргиров В.С., Белоглазов Д.М., Быстров А.В., Машуков М.Ю., Москвин С.О., Мыльников С.П., Новиков Р.М., Семенов И.А., Четвертаков Е.А., Чурина Т.Г.

Программный комплекс SPV для симуляции, анализа и верификации SDL спецификаций коммуникационных протоколов

Подловченко Р.И., Захаров В.А., Захарьящев И.М., Русаков Д.М., Щербина В.С.

О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов

Рябов Г.Г., Серов В.А.

Программная реализация операций на модели 3d растра

Савенков К.О.

Использование зависимостей при масштабировании имитационных моделей

Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А.

Семантическая верификация прикладных объектно-ориентированных данных: реализация и анализ

Чистолинов М.В.

Методы и средства функционального тестирования БЦВМ-ИВС.......442

МЕТОДЫ И СРЕДСТВА АНАЛИЗА ФУНКЦИОНИРОВАНИЯ

ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ

Бахмуров А.Г., Егисапетов Э.Г., Новиков О.В., Прус В.В., Савенков К.О., Смелянский Р.Л.

Инструментальная поддержка процесса разработки ПО для спецвычислителей на основе процессора Л1879ВМ1

Волканов Д.Ю., Шаров А.А.

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

Жидченко В.В.

Комплекс программ моделирования параллельных синхронных вычислительных процессов

Миков А.И., Замятина Е.Б., Осмехин К.А.

Метод динамической балансировки процессов имитационного моделирования

Окунев А.С., Левченко Н.Н.

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

Сидорина Г.А.

Структура исследований по обоснованию облика информационной системы навигационного комплекса

Сластен Л.М.

Алгоритм многокадровой трассировки многопроцессорной вычислительной системы

Тихонов А.В., Попиков П.Н.

Алгоритм нечеткого поиска по трассам работы распределенных вычислительных систем

Федосеев Е.П., Павлов А.М.

Отказоустойчивость архитектуры бортовых цифровых вычислительных систем перспективных ЛА на основе сверхширокополосного канала связи по технологии Fibre Channel

СТРУКТУРНЫЙ СИНТЕЗ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ,

ПЛАНИРОВАНИЕ ВЫЧИСЛЕНИЙ

Балашов В.В.

Поддержка принятия решений при построении циклограммы обменов по мультиплексному каналу

Балашов В.В., Вавинов С.В., Гурьянов Е.С., Костенко В.А., Смелянский Р.Л.

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

Вавинов С.В.

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

Васин Е.А.

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

Гончар Д.Р.

Мультиоценочный эвристический алгоритм распределения M заданий на N одинаковых процессоров

Гуз Д.С., Красовский Д.В., Фуругян М.Г.

Эффективные алгоритмы планирования вычислений в многопроцессорных системах реального времени

Калашников А.В.

Алгоритм вычисления расстояния между расписаниями

Коваленко Д.С., Костенко В.А., Васин Е.А.

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

Колесов Н.В., Толмачева М.В.

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

Костенко В.А., Смелянский Р.Л.

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

Курилов Л.С.

Эмпирико-статистический подход к решению проблемы генерации оптимального плана распределения вычислительной нагрузки в кластерных системах

Топорков В.В., Топоркова А.С.

Стратегии распределения ресурсов в масштабируемых вычислительных системах с контрольными сроками

ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ И НЕЙРОСЕТЕВЫХ

МЕТОДОВ ДЛЯ РЕШЕНИЯ ПРИКЛАДНЫХ ЗАДАЧ

Алиева Д.И., Крыжановский Б.В., Крыжановский В.М.

Векторная нейронная сеть с бинарной матрицей связей

Вылегжанин Д.В., Литинский Л.Б.

Компьютерная проверка нейросетевого алгоритма дискретной минимизации

Гудилов В.В. Курейчик В.М.

Устройство аппаратной реализации вероятностных генетических алгоритмов

Корнеев В.В., Райх В.В.

Нейросетевой алгоритм кластеризации на базе модифицированной сети адаптивного резонанса для вещественных векторов

Крыжановский Б.В., Магомедов Б.М.

Доменый алгоритм релаксации нейронной сети и оптимизация квадратичного функционала

Курейчик В.М.

Параллельная обработка информации на основе генетических алгоритмов

Курейчик В.М., Коляда А.В.

Анализ ландшафтов целевых функций основанный на спектральной теории

Мещеряков Д.К.

О первичной обработке речевых сигналов

Муртазин А.В.

Генетический алгоритм решения систем линейных алгебраических уравнений

Скобцов Ю.А., Ермоленко М.Л.

Генерация тест-программ для микропроцессорных систем на основе генетического программирования

Яджак М.С.

Параллельная организация массовых вычислений в нейронных сетях.... 643

ПЛЕНАРНЫЕ ДОКЛАДЫ

–  –  –

ОТЕЧЕСТВЕННАЯ АППАРАТНО-ПРОГРАММНАЯ

ПЛАТФОРМА БАГЕТ

НИИСИ РАН

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

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

Таким образом, первичность требований рынка очевидно вступает в противоречие с требованиями обеспечения информационной безопасности ИС.

Следствием приоритета требований рынка является возрастающая сложность коммерческих аппаратно-программных платформ, которая в свою очередь является основным препятствием на пути обеспечения их безопасности. К 2010 году ожидается 20-30 кратное увеличение сложности аппаратной платформы и не менее чем десятикратное увеличение сложности ядра коммерческих операционных систем. Таким образом, сложность как объективное следствие конкурентной борьбы на микроэлектронном и коммерческом рынке попрежнему останется основной проблемой на пути обеспечения безопасности коммерческих аппаратно-программных платформ.

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

Примером такой платформы является аппаратно-программная платформа БАГЕТ [1], все основные компоненты которой, разрабатывались в соответствии с изложенными выше требованиями. Каждая ЭВМ этого семейства, в общем случае, представляет собой набор слабо связанных по шине VME процессорных и дополнительных модулей в стандарте «Евромеханика» 6U, размещенных в стандартном механическом крейте, содержащем источник питания. Внутримодульной шиной обмена данными является PCI. На процессорные модули могут устанавливаться мезонинные модули в стандарте РМС с контроллерами SCSI, Ethernet, МКИО и т.д.

Процессорные модули и дополнительные мезонинные модули реализованы на микропроцессорах и СБИС отечественной разработки, единичная сложность которых не превышает 1.5 млн. транзисторов.

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

Операционная система ОСРВ реализована в соответствии с международным стандартом POSIX (ISO/IEC 9945) и стандартом на язык программирования Си (ISO/IEC 9899) в плане поддержки среды выполнения, а также в соответствии со спецификациями семейства протоколов TCP/IP.

Общий объем исходных текстов базовой операционной системы платформы БАГЕТ – 87 тыс. строк на языке Си и 10 тыс. строк на языке ассемблера. Простота и компактность ОС, наличие исходных текстов, а также технологического маршрута проектирования обеспечивают возможность неформального доказательства корректности ее функционирования. Реализация на базе этой ОС и отечественной аппаратной платформе таких сетевых сервисов безопасности, как межсетевые экраны, Web-серверы и т.д., позволяет получить решение, допускающее сквозную сертификацию по требованиям безопасности – от аппаратной платформы до прикладного уровня.

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

Ожидается, что к 2010 году сложность микропроцессоров возрастет до 1-1.5 млрд. транзисторов, их рабочая частота - до 30 ГГц, а емкость одной микросхемы памяти достигнет 8 Гбит. По оценкам экспертов, следствием этого будет как минимум десятикратное увеличение объема ядра ОС Linux - до 30-40 млн. строк исходного кода. Конечно, неизбежно значительное увеличение сложности и других коммерческих программных и аппаратных платформ и следовательно, сложность как объективное следствие конкурентной борьбы на микроэлектронном рынке по-прежнему останется основной проблемой на пути обеспечения безопасности этих платформ.

Отмеченный выше рост доступной вычислительной мощности может быть реализован, в частности, путем построения систем с большим (порядка десятков и сотен тысяч) числом простых отечественных процессоров, связанных в сеть [2]. (Простота процессора необходимое условие его безопасности, отсутствия в нем уязвимостей.) Это крайняя степень гранулярности сетевой архитектуры. Предполагается, что на каждом процессоре функционирует один поток управления, у них нет общей памяти, все межпотоковые взаимодействия носят сетевой характер. Для защиты каждого процессора может быть выделена микросхема, обеспечивающая сетевую связность, выполняющая функции межсетевого экрана и криптографические операции. Тем самым полезная функциональность отделяется от защитной, что, в частности, позволяет решить проблемы производительности этих существенно разных компонентов.

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

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

1. Велихов Е.П., Бетелин В.Б. и др. Аппаратно-программная платформа БАГЕТ. Концепция и возможности. - М.: НИИСИ РАН, 2004г.

2. Бетелин В.Б. и др. Анализ тенденций развития аппаратнопрограммного обеспечения и их влияние на информационную безопасность. - М.: НИИСИ РАН, 2004г.

–  –  –

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

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

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

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

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

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

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

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

Новые параллельные алгоритмы Несмотря на все это, параллельные алгоритмы начали создаваться уже давно. Значительный интерес к их построению на основе математически эквивалентных преобразований возник в 60-х – 70-х годах прошлого столетия в связи с появлением первых вычислительных систем параллельной архитектуры.

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

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

Так что же меняется и что сохраняется в алгоритмах при тех или иных преобразованиях? На все подобные вопросы требуется дать четкие математические ответы. Это необходимо сделать еще и потому, что различные программы, для создания которых авторами часто используется один и тот же алгоритм, на самом деле почти всегда описывают разные алгоритмы, хотя и математически эквивалентные. А это приводит на практике к разным результатам.

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

Рассмотрим обычный процесс суммирования n чисел, когда на каждом шаге к частичной сумме прибавляется очередное слагаемое. Этот алгоритм имеет только одну параллельную форму, в каждом ансамбле которой имеется лишь одна операция. Следовательно, никакой возможности использовать параллелизм в этом алгоритме нет. Поскольку операция суммирования большого числа слагаемых является очень распространённой, был придуман другой способ суммирования, обладающий лучшим параллелизмом. Разобьём все слагаемые на пары и осуществим суммирование двух чисел внутри каждой пары. Все эти операции независимы. Полученные частные суммы также разобьём на пары и снова осуществим суммирование двух чисел внутри каждой пары. Снова все операции независимы. Вся сумма будет получена через log2n шагов. Это и будет высота нового алгоритма. В нём уже имеется значительный ресурс параллелизма, хотя он не равномерен. На первом временном шаге может быть использовано n/2 процессоров, на втором n/4 и т.д. Назван новый алгоритм процессом сдваивания.

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

Поэтому эти алгоритмы следует считать принципиально различными, несмотря на то, что они математически эквивалентны!

Пусть какой-то алгоритм существенно зависит от n входных данных и реализуется через некоторую совокупность операций, имеющих не более p аргументов. Легко показать, что такой алгоритм не может иметь высоту меньше, чем logpn. Очевидно также, что высота любого алгоритма ограничена сверху общим числом выполняемых операций. Эти две границы являются ориентирами для построения алгоритмов минимальной высоты. Например, сразу становится ясно, что суммирование чисел по принципу сдваивания относится к оптимальным алгоритмам.

Легко построить алгоритм наименьшей высоты для задачи умножения матрицы размера n m на вектор размера m. Компоненты векторрезультата могут быть вычислены независимо, и каждая из них определяется только 2m входными данными. Поэтому оценка высоты снизу должна иметь порядок log2m. Соответствующий алгоритм получается очевидным образом на основе суммирования по принципу сдваивания.

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

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

Но это скорее исключения, чем правило. Другие задачи оказываются значительно сложнее. Например, задача обращения плотной квадратной матрицы порядка n. Всего имеется n2 входных данных, и каждый элемент обратной матрицы в общем случае существенно зависит от всех элементов исходной матрицы. Согласно сказанному ранее, оценка снизу минимальной высоты алгоритма обращения матрицы имеет порядок log2n. В настоящее время построены алгоритмы с высотой порядка log22n, и не известно, существуют ли алгоритмы существенно меньшей высоты. Аналогичное положение имеет место по отношению ко многим другим задачам: построены алгоритмы высоты, существенно меньшей, чем общее число операций, но не известно, можно ли эти алгоритмы улучшить по высоте.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Построены эффективные методы вычисления, исследования и использования таких функций. Для изучения структуры алгоритмов создана и успешно функционирует автономная программная система V-Ray. Она позволяет исследовать информационную структуру алгоритмов, описанных на языках Фортран и Си, и адаптировать программы под требования компьютеров параллельной архитектуры. Ясно, что параллельная структура программ является составной частью информационной структуры алгоритмов и может быть исследована с учетом всего сказанного выше.

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



Pages:   || 2 | 3 | 4 | 5 |   ...   | 24 |
Похожие работы:

«НЕГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО П Р О Ф Е С С И О Н А Л Ь Н О Г О ОБРАЗОВАНИЯ «КАМСКИЙ ИНСТИТУТ ГУМАНИТАРНЫХ И ИНЖЕНЕРНЫХ ТЕХНОЛОГИЙ» СИСТЕМА КАЧЕСТВА КОНЦЕПЦИЯ воспитательной деятельности в НОУ ВПО «КИГИТ» СК-К-09-01.1-2015 Версия 01 Дата введения: « гЗУ » 2015 г. И ж евск, 2015 j / П одпись Д ат а Д олж н ост ь Ф ам илия Марданова Л.М. ^ Начальник ОРМ и В К Разработ ал Трефилова О. В. Начальник ЮПО П роверил Торопова Н А. А лf t Л W №д Начальник ОМКОП Файлулл ина Г. 3. ^...»

«Национальная академия наук Украины Институт электросварки им. Е.О. Патона НАН Украины National Academy of Science of Ukraine E.O. Paton Electric Welding Institute of the NAS of Ukraine Седьмая Международная конференция Seventh International Conference МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В СВАРКЕ И РОДСТВЕННЫХ ПРОЦЕССАХ MATHEMATICAL MODELLING AND INFORMATION TECHNOLOGIES IN WELDING AND RELATED PROCESSES Программа и тезисы докладов 15—19 сентября 2014 г., отель «Курортный»,...»

«ОБРАЗОВАТЕЛЬНОЕ ЧАСТНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКАЯ МЕЖДУНАРОДНАЯ АКАДЕМИЯ ТУРИЗМА Московский филиал Колледж гостиничного сервиса «СОГЛАСОВАНО» «УТВЕРЖДАЮ» Президент Российской Гостиничной Ассоциации Г.А. Ламшин «_»_2015 г. Ректор РМАТ М.П. _Е.Н. Трофимов «СОГЛАСОВАНО» “” 2015 г. Проректор Директор МФ РМАТ _А.С. Соколов «»_2015 г. М.П. М.П. ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА Специальность 43.02.11 Гостиничный сервис вид подготовки: базовый форма подготовки: очная г....»

«Официальные документы 356041 в образовании № 15 Новое в законодательстве Изменения и дополнения О внесении изменений в статью 108 Федерального закона Об образовании в Российской Федерации. Федеральный закон от 03.02.2014 № 11-ФЗ О внесении изменения в статью 163 Федерального закона О внесении изменений в отдельные законодательные акты Российской Федерации и признании утратившими силу законодательных актов (отдельных положений законодательных актов) Российской Федерации в связи с принятием...»

«Лекция 7 Методы оценки ключевых показателей эффективности бизнес – процессов (KPI) в вертикально-ориентированных структурах и государственном управлении Бабынина, Лилия д.э.н., профессор Региональный обучающий семинар МСЭ для стран СНГ «Рекомендации по реинжинирингу бизнес-процессов (BPR) и использованию ключевых показателей эффективности (KPI) государственными учреждениями и предприятиями» г. Ташкент, Республика Узбекистан, 11-12 декабря 2014 года Государственная стратегия развития и стратегия...»

«Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Российская академия народного хозяйства и государственной службы при Президенте Российской Федерации» НИЖЕГОРОДСКИЙ ИНСТИТУТ УПРАВЛЕНИЯ УТВЕРЖДАЮ Председатель Учебно-методической комиссии В.А. Шехмаметьева « » сентября 2014 г. ПРОГРАММА ГОСУДАРСТВЕННОГО ЭКЗАМЕНА ПО НАПРАВЛЕНИЮ 081100.68 «ГОСУДАРСТВЕННОЕ И МУНИЦИПАЛЬНОЕ УПРАВЛЕНИЕ» КВАЛИФИКАЦИЯ (СТЕПЕНЬ) «МАГИСТР» Рассмотрено и одобрено на...»

«Утверждаю Председатель Высшего экспертного совета В.Д. Шадриков «»2014 г. ОТЧЁТ о результатах независимой оценки основной профессиональной образовательной программы высшего образования 040400.62 «Социальная работа» ФГБОУ ВПО «Российский государственный социальный университет» Разработано Менеджер проекта: _/ Н.О. Авдеенко Эксперты: _/ Т.С. Иванова, к.п. н. _/ Е. К. Воропай _/ С. Ю. Миронова Москва – 2014 Оглавление ОБЩАЯ ИНФОРМАЦИЯ О ВУЗЕ ОТЧЕТ О РЕЗУЛЬТАТАХ НЕЗАВИСИМОЙ ОЦЕНКИ ОСНОВНОЙ...»

«Из решения Коллегии Счетной палаты Российской Федерации от 12 апреля 2013 года № 17К (908) «О результатах экспертно-аналитического мероприятия «Анализ эффективности использования средств федерального бюджета, выделенных в 2011-2012 годах на реализацию государственной программы Российской Федерации «Доступная среда» на 2011-2015 годы, в субъектах Российской Федерации»: Утвердить отчет о результатах экспертно-аналитического мероприятия. Направить представление Счетной палаты Министерству труда и...»

«Министерство образования и науки Российской Федерации филиал федерального государственного бюджетного образовательного учреждения высшего профессионального образования «Кемеровский государственный университет» в г. Прокопьевске ПРОГРАММА ПРОФЕССИОНАЛЬНОГО МОДУЛЯ ПМ.03 ВЫПОЛНЕНИЕ РАБОТ ПО ОДНОЙ ИЛИ НЕСКОЛЬКИМ ПРОФЕССИЯМ РАБОЧИХ, ДОЛЖНОСТЯМ СЛУЖАЩИХ по специальности среднего профессионального образования 09.02.04 Информационные системы (по отраслям) Уровень образования среднее общее образование...»

«ПРОГРАММА международной специализированной выставки «ИМПОРТОЗАМЕЩЕНИЕ» 15-17 сентября 2015 года МВЦ «Крокус Экспо», II павильон 15 СЕНТЯБРЯ 2015 ГОДА КОНГРЕССНАЯ ПРОГРАММА ПЕРВОГО ДНЯ ВЫСТАВКИ 11:30 – 18:00 ПЛЕНАРНОЕ ЗАСЕДАНИЕ. Конференц-зал «Красный» Модератор: Тугушев С. В., ведущий новостей Первого канала. Президиум пленарного заседания: Министр промышленности и торговли РФ Мантуров Д.В.; Министр РФ по делам Северного Кавказа Кузнецов Л.В.; Губернатор Московской области Воробьев А.Ю.;...»

«Негосударственное общеобразовательное учреждение «Школа – интернат № 23 ОАО «РЖД» Рабочая программа по_ географии_ для класса 10-11 (уровень: базовый, профильный, общеобразовательный, специального коррекционного обучения) Учитель: Шелехова Татьяна Николаевна, высшая квалификационная категория Рабочая программа по географии составлена на основе авторской программы «География. Современный мир» для 10-11 классов (базовый уровень) линии «Полярная звезда». Алексеев А.И., Липкина Е.К., Николина В.В.,...»

«Ежегодный отчет АО «Нурбанк» по состоянию на 01 января 2005 года Раздел 1. Описание деятельности листинговой компании за отчетный период. За отчетный период АО «Нурбанк» произвел государственную регистрацию третьего выпуска облигаций и первый выпуск облигаций в пределах облигационной программы. Третий выпуск облигаций зарегистрирован Агентством РК по регулированию и надзору финансового рынка и финансовых организаций 27 мая 2004 года. Выпуск внесен в Государственный реестр ценных бумаг за...»

«ОГЛАВЛЕНИЕ ВВЕДЕНИЕ 1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА 1.1. Предмет, цели, задачи, принципы построения и реализации дисциплины «Алгебра и геометрия»1.2. Роль и место дисциплины «Алгебра и геометрия» в структуре реализуемой основной образовательной программы 1.3. Характеристика трудоемкости дисциплины «Алгебра и геометрия» и его отдельных компонентов 2. СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ «Алгебра и геометрия» 3. КАЛЕНДАРНЫЙ ГРАФИК ИЗУЧЕНИЯ ДИСЦИПЛИНЫ «Алгебра и геометрия» 3.1. Лекции 3.2. Практические...»

«МИНОБРНАУКИ РОССИИ ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПРИКАЗ 09.07.2015 № 458/ОД О порядке проведения экспертизы материалов, предназначены, ых к открытому опубликованию Во исполнение решения Межведомственной комиссии по защите государственной тайны от 29.12.2014 г № 19-600дсп, с целью организации и проведения экспертизы материалов, на предмет отсутствия в них сведений, составляющих государственную тайну, предотвращения возможности их использования в товарах и технологиях двойного назначения,...»

«Из решения Коллегии Счетной палаты Российской Федерации от 17 апреля 2015 года № 15К (1026) «О результатах контрольного мероприятия «Проверка целевого расходования средств федерального бюджета в 2012-2014 годах (при необходимости в более ранние периоды) на разработку, создание, модернизацию, сопровождение современных технологий, в том числе информационных технологий, и практики их применения таможенными органами»: Утвердить отчет о результатах контрольного мероприятия. Направить представление...»

«Заявки конкурса инициативных проектов 2015 г. по направлению (08) фундаментальные основы инженерных наук К Номер Руководитель Название проекта проекта Кабанов А. А. Композиционный синтез робастных и адаптивных систем 462. 15-08-06859 управления на основе асимптотических методов Кабаньков О. Н. Разработка научных основ расчета и эксплуатации 463. 15-08-05106 контуров естественной циркуляции низкого давления. Кавалеров Б. В. Разработка методологических основ автоматизации 464. 15-08-07742...»

«Аннотация В дипломном проекте рассмотрены понятия энтропии на неравновесные системы модификации, которая непосредственно учитывала бы параметры, отражающие скорости элементарных процессов, протекающих в системе. Выполнен анализ количества абонентов мобильных операторов. Построен сводный график по относительным значениям, между ведущими компаниями. Abstract The thesis project examined the concept of entropy in the nonequilibrium system modifications, which directly takes into account the...»

«Министерство образования и науки республики Бурятия Комитет по образованию г. Улан-Удэ Муниципальное автономное общеобразовательное учреждение «Гимназия № 33 г. Улан-Удэ» _ Рассмотрено на заседании Согласовано с Методическим «Утверждаю» методического объединения советом гимназии Директор МАОУ учителей начальных классов «Гимназия № 33» _ Грибанова О.П. _ Коногорова Л.А Д.К. Халтаева Протокол № Протокол № от «» _ 20 г. от «» _ 20 г. «_» 20 г. Рабочая программа по курсу внеурочной деятельности...»

«Проектирование, внедрение и эксплуатация MES в нефтедобывающей промышленности. Проблемы и опыт.Автор: главный менеджер по науке, начальник Кизина Ирина Дмитриевна департамента ИАСУ, к.т.н. ОАО «НЕФТЕАВТОМАТИКА» ОАО «НЕФТЕАВТОМАТИКА» ОАО «НЕФТЕАВТОМАТИКА» Нефтедобывающая промышленность любой страны мира представлена множеством разнообразных нефтегазодобывающих компаний от ООО, ведущих разработку месторождений в пределах небольших лицензионных участков, и осуществляющих транспорт углеводородного...»

«ФГБОУ ВПО «Ульяновская ГСХА им П.А.Столыпина» РАБОЧАЯ ПРОГРАММА Технологическая практика( в форме НИР) Направление подготовки 260800.62– Технология продукции и организация общественного питания Профиль подготовки Ресторанный бизнес Квалификация выпускника _Бакалавр Форма обучения заочная, очная, г. Ульяновск – 2013 г. 1. ЦЕЛИ И ЗАДАЧИ ПРЕДДИПЛОМНОЙ ТЕХНОЛОГИЧЕСКОЙ ПРАКТИКИ Технологическая практика для студентов направления подготовки 260800.62 «Технология продукции и организация общественного...»



 
2016 www.programma.x-pdf.ru - «Бесплатная электронная библиотека - Учебные, рабочие программы»

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