Академический Документы
Профессиональный Документы
Культура Документы
Сборник докладов
Выпускающие научные редакторы:
А. Н. Томилин (Институт системного программирования РАН)
М. Ш. Сургуладзе (НИИ системных исследований РАН)
Научный Фонд
«Первая исследовательская
Лаборатория имени академика
В. А. Мельникова»
г. Москва – 2009
Международная Научная конференция, посвященная 80-летию со дня рождения акаде-
мика В. А. Мельникова – М. , 19-20 февраля 2009 г. : Сборник докладов
Некоммерческая Организация Научный Фонд «Первая Исследовательская Лаборатория
имени академика В. А. Мельникова», 2009 г. – с. , ил.
Лицензия ЛР №071872 от 24 мая 1999 г. Подписано в печать . Формат 60х90/8. Бумага офсетная.
Гарнитура «Таймс».
Заместители:
А. Н. Томилин зав. Отделом ИСП РАН
М. Ш. Сургуладзе президент Научного фонда
Члены оргкомитета:
Н. А. Северцев зав. Отделом ВЦ РАН, вице-адмирал
А. Б. Жижченко зам. Академика-секретаря ОМН РАН
В. П. Иванников директор ИСП РАН
Б. М. Шабанов зам. Директора МСЦ РАН
С. А. Власов ученый секретарь ОНИТ РАН
Программный комитет
О. М. Белоцерковский - академик А. Б. Жижченко - чл. -корр. РАН
К. А. Валиев - академик Л. Н. Королев - чл. -корр. РАН
В. К. Левин - академик В. Н. Решетников - д. ф. -м. н. , проф.
Г. И. Савин - академик А. Г. Мадера - д. т. н., проф.
Заседания конференции
Пленарное: ........................................ 19 февраля 2009 г. , зал МИ РАН.
Прямая онлайн трансляция в Интернет
Технологии разработки ПО
Текущие достижения
Объектно-ориентированные методы анализа и проектирования.
Компонентные технологии
Стандартизация и уточнение семантики языков программирования и библиотечных интерфейсов
Широкое использование итеративных процессов разработки
Расширение области применения формальных методов (model checking и др. )
4
Проблемы
Количество ошибок на 1000 строк неоттестированного кода остается неизменным
Технологии разработки ПО
Новые вызовы
Распределенные адаптивные и динамически перестраивающиеся системы
Масштабируемые технологии разработки и анализа свойств ПО на базе формальных методов
Интеграция различных методов верификации: дедуктивный анализ, проверка моделей,
тестирование на основе формальных моделей, статический анализ
Технологии разработки распределенных систем с заданными характеристиками по многим показателям
качества
Выполнение разнородных требований: корректность, надежность, защищенность,
производительность, удобство использования и развития
Формализация стандартов на программные интерфейсы разных уровней
Анализ программ
Текущие достижения
Глобальная и межпроцедурная оптимизация, межпроцедурный анализ указателей.
Исследование гнезд циклов на распараллеливаемость: Омега-тест, изменение порядка циклов в гнезде.
Машинно-ориентированная оптимизация: распределение регистров, планирование кода.
Языки нового поколения (Java, C#).
Совмещение интерпретации и динамической компиляции (JIT), адаптивная оптимизация.
Low Level Virtual Machine (LLVM) и его интерпретатор (Apple): адаптивная оптимизация для C и C++.
Методы анализа успешно применяются для решения проблем в смежных областях:
обратная инженерия, поиск уязвимостей безопасности.
Проблемы
Разрыв между возможностями аппаратуры (параллелизм на всех уровнях) и возможностями анализа.
Расширение области применения специализированных платформ: Cell, GPU, FPGA.
Низкая «продуктивность» разработки приложений для параллельных систем:
отсутствие языков высокого уровня и соответствующих технологий
(HPF, Cilk (MIT), UPC (Berkeley) не привели к успеху);
программирование с использованием MPI (распределенная память) и OpenMP (общая память).
Отсутствие стандартов и устоявшихся технологий для специализированных платформ.
Тенденции решения проблем
Исследование и моделирование различных классов приложений (dwarf - Berkeley) и аппаратных
платформ с целью разработки адекватных средств (языки, инструменты), обеспечивающих эффективное
отображение приложения на конкретную аппаратную платформу.
5
Управление данными
Текущие достижения
СУБД (Oracle, IBM, Microsoft и т. д. )
эффективная и масштабируемая обработка баз данных объемом в сотни терабайт и даже
петабайт;
развитые средства оптимизации запросов на основе оценочных методов;
встроенные в серверы средства OLAP и data mining;
полнотекстовый поиск и поддержка XML;
параллельные серверы.
Управление данными в Internet
развитые средства полнотекстового поиска по ключевым словам;
собственные средства управления данными, хорошо распараллеливающиеся на основе механизма
map-reduce (Google, Yahoo!).
Проблемы
Сложность администрирования, настройки и использования СУБД.
возрастающий дефицит специалистов;
невозможность полноценного использования SQL.
Сложность разработки приложений баз данных.
Проблема «потери соответствия (impedance mismatch) между языками программирования и
системами баз данных;
невозможность использования семантического поиска;
незрелость средств управления данными.
Неполное использование новых возможностей аппаратуры.
многоядерные и многопотоковые архитектуры, основная память большого объема, флэш-
память и т. д.
Тенденции решения проблем
Переход от универсальных к специализированным системам управления данными
XML-СУБД, системы с хранением данных «по столбцам» и т. д.
Разработка новых языков программирования, освобождающих разработчиков от проблемы «impedance
mismatch»
Ruby-on-Rails, LINQ
Повышение уровня семантики поиска в Internet
использование массивных структурированных корпусов текстов для автоматического
построения онтологий
Clouds Computing
Публично доступные службы для запуска программ.
Позволяют пользоваться параллельной аппаратурой для решения, в частности, задач, связанных с
обработкой больших объемов данных.
Имеющиеся параллельные СУБД не могут масштабироваться до тысяч параллельных узлов.
Необходимо понять, как и для чего разумно использовать «облачные вычисления» при управлении
данными и разработать соответствующие программные системы .
6
Причины:
1. Глобализация информационного пространства (широкое распространение сетевых технологий,
интенсивное развитие средств телекоммуникации);
2. Внедрение электронных средств хранения и обработки информации во все сферы экономической,
политической и военной деятельности (документооборот, связь, базы данных, системы поддержки
принятия решений и др. );
3. Ускорение и удешевление разработки ПО в ущерб его качеству в условиях острой конкуренции на
рынке ИТ;
4. Бытовая компьютеризация (средства мобильной связи, беспроводные сети и пр. )
Угрозы
1. Выведение из строя ПО (распространение вредоносных программ, компьютерных «вирусов»,
троянских программ, подмена мобильного кода).
2. Выведение из строя компьютерных сетей (создание перегрузок в сети, сетевые вторжения)
3. Создание и распространение ПО со скрытыми дефектами (внедрение в ПО закладок, встроенных
уязвимостей и пр. ).
4. Нарушение конфиденциальности и целостности информации (несанкционированный доступ к базам
данных и электронным архивам, распространение программ-шпионов, взлом криптосистем).
5. Компьютерное пиратство и нарушение авторских прав на ПО (нелегальное копирование и
распространение ПО).
Средства обеспечения
1. Антивирусные программы, интеллектуальные системы мониторинга, системы защиты от утечки
данных
2. Системы обнаружения и предотвращения сетевых вторжений (сетевой мониторинг, межсетевые
экраны, шлюзы, брандмауэры).
3. Использование ПО с открытым кодом (Linux vs Microsoft).
4. Сертификация и аудит ПО, системы верификации и поиска уязвимостей в программах.
5. Политики безопасности в информационных системах (разграничение доступа, аутентификация и
авторизация).
6. Криптографические средства защиты информации (системы шифрования, электронной подписи,
криптографические протоколы, обфускация программ и пр. ).
7. Отслеживание распространения ПО (водяные знаки, отпечатки пальцев).
Направления исследований
Теоретические исследования:
новые математические модели информационных систем, формализующие ключевые понятия
компьютерной безопасности (вторжение, аномальное поведение, стойкая защита и др. ),
методы и алгоритмы информационной защиты ПО, оценки их эффективности и стойкости.
Прикладные разработки:
инструментальные средства проверки безопасности ПО,
открытые ОС со встроенным механизмом обеспечения информационной безопасности,
компьютерные сети, ориентированные на обеспечение коллективной безопасности абонентов.
Суперкомпьютер и дискретная топология
Рябов Г. Г., член-корр. РАН
(НИВЦ МГУ им. М. В. Ломоносова)
эксплуатации СРВ (обычно 10-20 лет), учитывая действию и приво-дит к уменьшению объемов
сроки изменения серий микропроцессоров, кон- аппаратуры.
троллеров и других элементов порядка 2-3 лет, Выполнение этих положений приводит к по-
необходимо предусматривать на срок эксплуата- строению вычислительных средств на микропро-
ции аппаратуры в ЗИПе — 4-7 комплектов эле- цессорах, контроллеров и других схемах с само-
ментов. контролем на основе использования сущест-
Приведенные оценки затрат на построение вующих базовых БИС с их функциональными
СРВ основаны на применении иностранных мик- возможностями и быстродействием.
ропроцессоров, контроллеров и других схем а В результате решаются две проблемы:
также их программного обеспечения. первая - обеспечивается необходимое быстродей-
Использование в наших СРВ иностранных ствие и уменьшаются затраты на построение вы-
микропроцессоров и программного обеспечения числительных средств, разработку, производство
практически дает возможность получения любой БИС (микропроцессоров, контроллеров и других
за-крытой информации иностранными службами, схем), а также выполняются требуемые условия
то есть не обеспечивает безопас-ность и защищен- работы;
ность наших СРВ, к которым предъявляются эти вторая - решается главное – выполнение требо-
требования. ваний по защищенности и безопасно-сти СРВ.
Для построения СРВ, отвечающих поставлен- Ключевой задачей является построение мик-
ным требованиям, на основе освоенных нашей ропроцессора, контроллеров и других схем с са-
полупроводниковой промышленностью техноло- моконтролем. Для реализации самоконтроля была
гий, необходимо снижение требований к быстро- раз-работана идея использования недвоичной
действию аппаратуры и выполне-нию программ, системы кодирования информации, известной как
для чего необходимо: 1 из Р с «активным» нулем, где Р - основание сис-
1. проводить исследования по созданию темы счисления.
алгоритмов СРВ с относитель-но низкими В результате проведенных исследований бы-
требованиями к быстродействию, ла определена рациональная величина Р равная
обеспечивающих необходимую 4. В настоящее время разработаны схемы и пра-
защищенность и безопасность, что в вила выполнения арифметических и логических
большинстве случаев приводит к снижению операций при кодировании 1 из 4.
требований к быстродействию в разы; Приведѐм таблицу соответствия для двух раз-
2. использовать аппаратуру с самоконтролем, рядов двоичной системы и системы 1 из 4 с ак-
которая практически исключает требование к тивным нулѐм.
повышению быстродействия, необходимое
при программных методах контроля;
3. применять специальные команды в Двоичная
№ Система 1 из 4
микропроцессоре, которые аппаратно система
выполняют функции операционной системы 1 00 0001
(ОС), что исключает за-траты быстродействия 2 01 0010
на работу операционной системы;
4. использовать структуры построения 3 10 0100
микропроцессора и программного 4 11 1000
обеспечения, исключающих влияние вирусов,
что снимает затраты на быстродействие по
Основными показателями системы кодирова-
защите от известных вирусов;
ния 1 из 4 являются:
5. выполнять требования по защищенности и
безопасности аппаратными средствами, что прозрачная связь с двоичной системой,
так же снижает требования к которая реализуется простейшими
быстродействию. схемами. Это обеспечивает широкое
использование ПО и массивов данных,
Реализация этих положений (2, 3, 4, 5) созданных с использованием двоичной
системы, в системе 1 из 4;
уменьшает в 8-17 раз требования к быстродейст-
вию и сокращает объемы аппаратуры в зависимо- достоверность выдаваемой информации,
обеспечиваемая простотой контроля -
сти от ис-пользуемых способов в среднем в 2-4
наличием всегда одной единицы в разряде 1
раза. Наиболее важным является по-ложение 1,
из 4 и выявлением всех одиночных ошибок;
которое также сокращает требования к быстро-
16
1
+
X2n0 X2n1 X2nc2
2
i
+
Xkn0 Xkn1 Xknck
Приведем один премер. Кодовый генератор G( D) 1 D 2D порождает сверточный код сво-
2
троичный симплексный сигнал, при скорости кодирования R=0. 63 получим квадрат свободного Евкли-
дового расстояния сигнально-кодовой системы d 2f 4.5 .
Полагаем, что новые подклассы непрерывных кодов займут значительное место в теории и практике
телекоммуникации. Исходя из этого, исследование параметров, характеристик и свойств таких кодов
будет актуальным и перспективным.
Литература
1. Peterson W. W. , and Weldon E. J. Error-Correcting Codes. The MIT Press, Cambr. , Mass. , 1972.
2. Касами Т. , и др. Теория Кодирования. Пер. С яп. Под ред. А. В. Кузнецова. М. : Мир, 1973.
3. Kabal P. , Pasupathy S. Partial response signaling. IEEE Trans Commun. , v. COM-23, 1975, pp. 921-934.
4. Ugrelidze N. A. , Asanidze I. G. Coded CPFSK Modulation on the Basis of Different Input/Output Alpha-
bet sizes Convolutional Encode. TECHINFORMI, Тбилиси, 1996, № 1118-96.
5. Гилл А. Введение в теорию конечных автоматов. М. : Наука, 1966.
6. Трахтенброт Б. А. , Барздинь Я. М. Конечные автоматы (Поведение и синтез). М. : Наука, 1970.
«Эффект МЭИ» в развитии отечественных
школ вычислительной техники
Идея этой статьи была подсказана Э. М. Пройдаковым примерно год назад, когда в МЭИ прово-
дился круглый стол «История и перспективы отечественной вычислительной техники». Это меро-
приятие было организовано совместно с телевидением Северного округа Москвы. Одна из тем
была определена так: «Вклад выпускников МЭИ в создание научных школ и отечественной ВТ».
Интересно, что первыми в СССР кафедры ВТ появились в МИФИ, МФТИ и МЭИ, но именно
МЭИ дал подавляющее число известных разработчиков ВТ. Среди его выпускников ряд выдаю-
щихся ученых-основоположников отечественного компьютеростроения. Над этим «эффектом
МЭИ» автору было любопытно поразмыслить. В феврале 2009 года в Математическом институте
им. В. А. Стеклова РАН проходила конференция, посвященная 80-летию со дня рождения В. А.
Мельникова, закончившего МЭИ. Там автору удалось пообщаться с Л. Н. Королевым, Г. Г. Рябо-
вым, А. Н. Томилиным и узнать много нового о деятельности выпускников МЭИ в деле развития
вычислительной техники. Эти впечатления автор попытался оформить в виде предлагаемой чита-
телю статьи.
годы читал в МЭИ курс лекций «Вычислительные работы: В. С. Бурцев, В. А. Мельников, А. Г. Ла-
машины дискретного действия». ут, И. Д. Визун, А. С. Федоров и Л. А. Орлов.
Решая задачи электротехники и энергетики с В апреле 1951 г. Государственная комиссия под
помощью аналоговых вычислительных машин, С. председательством М. В. Келдыша приняла эскиз-
А. Лебедев пришел к постановке задачи создания ный проект машины БЭСМ. К концу 1951 г. осно-
цифровой машины. Профессор А. В. Нетушил, ву лаборатории №1 составили выпускники МЭИ,
окончивший МЭИ за несколько лет до войны, среди которых были будущие академики В. А.
впоследствии декан факультета автоматики и вы- Мельников и В. С. Бурцев.
числительной техники, подготовил кандидатскую В I квартале 1953 г. БЭСМ была налажена, а в
диссертацию на тему «Анализ триггерных эле- апреле 1953 г. принята Государственной комисси-
ментов быстродействующих счетчиков импуль- ей в эксплуатацию.
сов». Он отмечает: «С самого начала этой работы В связи с дефицитом электронных трубок, ко-
в 1939 г. и до защиты С. А. Лебедев с вниманием торые поставлялись тогда только для «Стрелы»,
и одобрением относился к моим исследованиям. первые три года БЭСМ эксплуатировалась с памя-
Он согласился быть оппонентом по диссертации, тью на акустических ртутных трубках, что снижа-
защита которой состоялась в конце 1945 г. В то ло ее быстродействие в несколько раз. В 1956 г.
время еще никто не подозревал, что С. А. Лебедев БЭСМ была принята Государственной комиссией
вынашивает идею создания цифровой вычисли- вторично – с памятью на потенциалоскопах.
тельной машины». В 1956 г. доклад С. А. Лебедева о БЭСМ на
С осени 1948 г. С. А. Лебедев начал разработ- международной конференции в Дармштадте про-
ку Малой электронной счетной машины (МЭСМ). извел сенсацию – БЭСМ была на уровне лучших
Для определения набора операций МЭСМ он при- американских машин и самой быстродействую-
гласил приехать в Киев А. А. Дородницына и К. щей в Европе.
А. Семендяева. Основы построения МЭСМ обсу- В 1958 г. БЭСМ с памятью на ферритовых
ждались в январе-марте 1949 г. на семинаре, в сердечниках емкостью 2048 слов передали в се-
котором участвовали М. А. Лаврентьев, Б. В. Гне- рийное производство, она выпускалась под назва-
денко, А. Ю. Ишлинский, А. А. Харкевич и со- нием БЭСМ-2.
трудники лаборатории С. А. Лебедева в Институ- В 1953 г. по рекомендации М. А. Лаврентьева,
те энергетики Академии наук Украины. ставшего вице-президентом АН СССР, С. А. Ле-
В конце 1951 г. МЭСМ прошла испытания и бедев был назначен директором ИТМ и ВТ.
была принята в эксплуатацию Комиссией АН В 1955 г. С. А. Лебедев начал разработку М-20
СССР во главе с академиком М. В. Келдышем. В (цифра в названии указывала на ожидаемое быст-
состав комиссии входили академики С. Л. Собо- родействие – 20 тыс. оп. /с). Такого быстродейст-
лев, М. А. Лаврентьев, профессора К. А. Семендя- вия тогда не имела ни одна машина в мире. По-
ев, А. Г. Курош. становлением Правительства СССР создание М-
В 1952 г. на МЭСМ решались важнейшие на- 20 было поручено ИТМ и ВТ и СКБ-245. С. А.
учно-технические задачи из области термоядер- Лебедев стал главным конструктором, М. К. Су-
ных процессов (Я. Б. Зельдович), космических лим (СКБ-245) – его заместителем. Идеологию и
полетов и ракетной техники (М. В. Келдыш, А. А. структуру М-20 разрабатывал С. А. Лебедев, сис-
Дородницын, А. А. Ляпунов), дальних линий тему команд – М. Р. Шура-Бура, схемотехнику –
электропередач (С. А. Лебедев), механики (Г. Н. П. П. Головистиков, М. К. Сулим руководил раз-
Савин), статистического контроля качества (Б. В. работкой технической документации и изготовле-
Гнеденко). нием опытного образца в СКБ-245.
В 1950 г. , когда был опробован макет МЭСМ, В 1958 г. Государственная комиссия приняла М
подобная машина работала лишь в Англии – ЭД- -20 и рекомендовала ее в серийное производство.
САК М. Уилкса (1949 г. ), причем в ЭДСАК ариф- Впервые в отечественной практике в М-20 С.
метическое устройство было последовательным. А. Лебедевым с целью повышения производи-
В 1950 г. С. А. Лебедев начал разработку тельности были реализованы автоматическая мо-
БЭСМ АН СССР. В марте 1950 г. он был назначен дификация адреса, совмещение работы арифмети-
заведующим лабораторией №1 Института точной ческого устройства и выборки команд из памяти,
механики и вычислительной техники (ИТМ и ВТ), введение буферной памяти для массивов данных,
директором которого стал М. А. Лаврентьев. выдаваемых на печать, совмещение ввода и выво-
Над БЭСМ трудились и студенты - да данных со счетом, использование полностью
практиканты из вузов, выполнявшие дипломные
22
синхронной передачи сигналов в логических це- ПРО, генеральным конструктором которой был Г.
пях. В. Кисунько, в 1958 г. была предложена ламповая
Позднее были разработаны полупроводнико- ЭВМ М-40, а немного позднее М-50 (с плаваю-
вые варианты М-20, реализующие ту же архитек- щей точкой).
туру: М-220 и М-222 (главный конструктор – М. Возможность поражения баллистических ра-
К. Сулим); БЭСМ-3М и БЭСМ-4 (главный конст- кет, обеспеченная ПРО, заставила США искать
руктор – О. П. Васильев). пути заключения договора с СССР об ограниче-
ИТМ и ВТ после завершения работ по лампо- нии ПРО. Создатели первой системы ПРО полу-
вым БЭСМ-2 и М-20 начал проектирование полу- чили Ленинскую премию. Среди них были Г. В.
проводниковой БЭСМ-6, которая обладала быст- Кисунько, С. А. Лебедев и В. С. Бурцев.
родействием 1 млн. оп. /с. Главным конструкто- В 50-е – 60-е годы прошлого столетия в облас-
ром БЭСМ-6 был С. А. Лебедев, заместителями – ти отечественной вычислительной техники разви-
его ученики В. А. Мельников и Л. Н. Королев. валось несколько направлений. Помимо школы С.
В 1967 г. Государственная комиссия под пред- А. Лебедева, наиболее известными были научные
седательством М. В. Келдыша приняла БЭСМ-6 с школы В. М. Глушкова, И. С. Брука, Б. И. Рамее-
высокой оценкой и рекомендовала ее к серийному ва. Все они серьезно влияли на становление ис-
производству. следований и подготовку инженеров в МЭИ.
На основе БЭСМ-6 были созданы вычисли- Академик Виктор Михайлович Глушков неод-
тельные центры коллективного пользования для нократно бывал в МЭИ, а Институт кибернетики
научных организаций, системы автоматизации АН УССР, основателем и директором которого он
научных исследований в ядерной физике и других был долгое время, поддерживал тесные деловые
областях науки, информационно-вычислительные отношения с кафедрой ВТ.
системы обработки информации в реальном вре- В Энергетический институт АН СССР И. С.
мени. Она использовалась для моделирования Бруком были приглашены выпускники радиотех-
сложнейших физических процессов и процессов нического факультета МЭИ Михаил Александро-
управления, в системах проектирования про- вич Карцев и Николай Яковлевич Матюхин, кото-
граммного обеспечения для новых ЭВМ. рые впоследствии преподавали на кафедре ВТ.
БЭСМ-6 выпускалась Московским заводом Башир Искандерович Рамеев, до 1938 года
САМ в течение 17 лет. За разработку и внедрение учившийся в МЭИ, также некоторое время рабо-
БЭСМ-6 ее создатели (из ИТМ и ВТ – С. А. Лебе- тавший у И. С. Брука, стал основателем знамени-
дев, В. А. Мельников, Л. Н. Королев, Л. А. Зак, В. той «пензенской школы».
Н. Лаут, В. И. Смирнов, А. А. Соколов, А. Н. То- Таким образом, к началу 50-х годов в МЭИ
милин, М. В. Тяпкин, от завода САМ - В. А. Ива- был создан мощный потенциал, который во мно-
нов, В. Я. Семешкин) были удостоены Государст- гом предопределил развитие отечественной вы-
венной премии. числительной техники.
ИТМ и ВТ совместно с заводом САМ на осно-
ве БЭСМ-6 разработал вычислительную систему
АС-6, модульная организация и унифицирован-
ные каналы обмена которой обеспечивали воз- Выдающиеся выпускники МЭИ –
можность построения децентрализованных мно-
основоположники отечественного
компьютеростроения
гомашинных вычислительных комплексов. АС-6
использовалась для обработки данных и управле- Среди выпускников МЭИ много выдающихся
ния в системах управления космическими порета- ученых, внесших поистине огромный вклад в ста-
ми, а также в ряде вычислительных центров круп- новление и развитие вычислительной техники.
ных научно-исследовательских организаций. Этот раздел хотелось бы начать с описания
Специализированные ЭВМ, созданные под деятельности ярких представителей школы
руководством С. А. Лебедева для системы проти- С. А. Лебедева. В первом же выпуске МЭИ инже-
воракетной обороны (ПРО), стали основой дости- неров-вычислителей в 1951 году были В. А. Мель-
жения стратегического паритета СССР и США в ников и В. С. Бурцев.
период «холодной войны». В 1952-1955 гг. В. С.
Бурцевым были разработаны специализирован- Владимир Андреевич Мельников (1928-
ные ЭВМ «Диана-1» и «Диана-2» для автоматиче- 1993) свой трудовой путь начал, еще будучи сту-
ского съема данных с радиолокатора и автомати- дентом МЭИ, в ИТМ и ВТ АН СССР под руково-
ческого слежения за целями. Затем для системы дством академика С. А. Лебедева.
23
Его первой работой был макет блока централь- В 1976 г. В. А. Мельникова избрали членом-
ного управления операциями машины БЭСМ. корреспондентом АН СССР по Отделению мате-
Дипломный проект В. А. Мельникова по этому матики.
блоку, наряду с проектами других студентов- После БЭСМ-6 В. А. Мельников, в качестве
практикантов В. С. Бурцева, А. Н. Зимарева, В. П. главного конструктора, вместе с С. А. Лебедевым
Смирягина, А. Г. Лаут, В. Н. Лаута, А. С. Федоро- и А. А. Соколовым, приступил к разработке вы-
ва, составил эскизный проект БЭСМ, который числительной системы АС-6,.
был защищен в апреле 1951 г. одновременно с В АС-6 были воплощены многие идеи, соста-
эскизным проектом ЭВМ «Стрела», разработан- вившие основу будущих супер-ЭВМ. АС-6 ис-
ной в СКБ-245. пользовалась совместно с БЭСМ-6 при реализа-
В. А. Мельников вырос как ученый и конст- ции советско-американской космической про-
руктор в научной школе академика С. А. Лебеде- граммы «Союз-Аполлон» и при последующих
ва. До конца своей жизни Владимир Андреевич запусках космических кораблей в СССР.
сохранил чувства глубокой любви и уважения к Последние 10 лет жизни В. А. Мельников по-
Учителю, вместе с соратниками и учениками он святил созданию векторно-конвейерных супер-
продолжил развитие школы С. А. Лебедева. В. А. ЭВМ на отечественной элементной базе, наиболее
Мельников вспоминал: «Мне очень повезло и с полно отвечающих требованиям решения слож-
моим первым учителем, и с моим первым дирек- ных задач вычислительной математики. С этой
тором. Моим первым учителем был С. А. Лебе- целью он создал коллектив разработчиков супер-
дев, который научил нас основам создания элек- ЭВМ в одном из научно-исследовательских ин-
тронных цифровых вычислительных машин, а ститутов Минэлектронпрома СССР. В 1983 г. ,
первым директором – М. А. Лаврентьев, сумев- когда в АН СССР было открыто Отделение ин-
ший создать в ИТМ и ВТ творческие условия, форматики, вычислительной техники и автомати-
способствовавшие разработке и организации се- зации, В. А. Мельников организовал Институт
рийного производства первых ЭВМ». проблем кибернетики АН СССР и стал его дирек-
Еще будучи молодым инженером, В. А. Мель- тором. Вычислительная система «Электроника-
ников стал одним из руководителей следующей ССБИС», которая разрабатывалась В. А. Мельни-
разработки ИТМ и ВТ – ЭВМ БЭСМ-2, ее налад- ковым, в архитектурном отношении напоминала
ки и подготовки к серийному производству. известную систему фирмы Cray Research (США),
В истории отечественной вычислительной хотя конкретные решения по архитектуре, конст-
техники эпохальным событием следует считать рукции, схемотехнике и особенностям системного
создание ЭВМ БЭСМ-6, обладавшей средним программного обеспечения для векторно-
быстродействием 1 млн. операций в секунду. Ос- конвейерной супер-ЭВМ были оригинальными.
новные решения по строения БЭСМ -6 В 1986 г. В. А. Мельников был избран дейст-
(архитектура, структура машины, система элемен- вительным членом АН СССР по Отделению мате-
тов и схемотехника, конструкция, программное матики.
обеспечение) принадлежат главному конструкто- Начавшаяся в СССР в конце 80-х годов пере-
ру С. А. Лебедеву, его заместителям В. А. Мель- стройка, а затем длительный экономический кри-
никову и Л. Н. Королеву (ныне члену- зис не позволили В. А. Мельникову довести до
корреспонденту РАН, заведующему кафедрой в конца работу по «Электронике-ССБИС».
МГУ), А. А. Соколову. Многие из этих решений, Большая и плодотворная работа В. А. Мельни-
реализованных на технической базе ЭВМ второго кова была отмечена высокими наградами – орде-
поколения, были положены в основу архитектуры ном Ленина, двумя орденами Трудового Красного
ЭВМ третьего и четвертого поколений. Знамени и медалями. В. А. Мельников – дважды
Архитектура БЭСМ-6 была использована в лауреат Государственных премий (1969 и 1980
дальнейшем в ЭВМ «Эльбрус-1К2» и «Эльбрус- гг. ), лауреат премии им. С. А. Лебедева Прези-
КБ», созданных М. В. Тяпкиным уже на инте- диума АН Украины.
гральных схемах и обеспечивших программную
совместимость с БЭСМ-6. Академик РАН Всеволод Сергеевич Бурцев
В 1969 г. В. А. Мельникову в составе коллек- является крупнейшим специалистом в области
тива разработчиков БЭСМ-6 была присуждена создания высокопроизводительных вычислитель-
Государственная премия СССР. ных машин и комплексов. Он родился 11 февраля
1927 г. Еще до окончания Московского энергети-
ческого института Всеволод Сергеевич начал на-
24
учную и инженерную деятельность в ИТМ и ВТ был испытан в реальной работе в 1967 г. В даль-
под руководством академика С. А. Лебедева. Те- нейшем серийные машины 5Э92б стали основой
мой его дипломной работы была система управ- системы ПРО страны, обеспечив паритет с США
ления БЭСМ АН СССР. Уже на дипломном про- в «холодной войне» и сыграв важнейшую поли-
ектировании он стал одним из ведущих разработ- тическую роль в заключении в 1972 г. договора
чиков. по ограничению ПРО.
В 1953-1956 гг. B. C. Бурцев, будучи ответст- В 1969-1972 гг. B. C. Бурцев, являясь главным
венным исполнителем, предложил принцип се- конструктором, создал первую бортовую вычис-
лекции и оцифровки радиолокационного сигнала. лительную машину третьего поколения для бое-
На его основе был осуществлен съем данных о вого возимого зенитно-ракетного комплекса
цели с радиолокационной станции и ввод их в С-300.
вычислительную машину, разработаны специа- В декабре 1976 г. В. С. Бурцев был избран
лизированные вычислительные машины «Диана- членом-корреспондентом АН СССР по Отделе-
1» и «Диана-2», успешно проведен эксперимент нию механики и процессов управления.
одновременного сопровождения нескольких це- В 1973-1985 гг. Всеволод Сергеевич руково-
лей вычислительной машиной. На базе этих ра- дил разработкой многопроцессорных вычисли-
бот B. C. Бурцев написал кандидатскую диссер- тельных комплексов (МВК) «Эльбрус-1»,
тацию. На защите диссертации члены совета еди- ―Эльбрус-2», являясь главным конструктором.
ногласно проголосовали за присуждение B. C. При проектировании МВК «Эльбрус-2» по его
Бурцеву ученой степени доктора технических инициативе и при непосредственном участии
наук, так как полученные им результаты в корне были созданы новые быстродействующие инте-
изменили структуру управляющих противоракет- гральные схемы, высокочастотные групповые
ных и противосамолетных комплексов. разъемы, многокристальные и большие инте-
В 1956-1961 гг. под непосредственным руко- гральные схемы, микрокабели, прецизионные
водством Всеволода Сергеевича были разработа- многослойные печатные платы. Это было боль-
ны принципы построения вычислительных шим вкладом в развитие технологии в нашей
средств ПРО страны и создан двухмашинный стране. В 1980 г. были закончены работы по соз-
высокопроизводительный вычислительный ком- данию МВК «Эльбрус-1» общей производитель-
плекс на базе спроектированных в ИТМ и ВТ ностью 15 млн. оп. /с. В 1985 г. успешно завер-
машин М-40 и М-50. шены государственные испытания десятипроцес-
Для М-40, самой быстродействующей в то сорного МВК «Эльбрус-2» производительностью
время в стране серийной машины, B. C. Бурце- 125 млн. оп. /с. Оба комплекса были освоены в
вым впервые были предложены принципы распа- серийном производстве.
раллеливания вычислительного процесса на В 1986-1993 гг. под руководством В. С. Бур-
уровне аппаратных средств. цева разработана архитектура супер-ЭВМ, осно-
М-50 была выполнена как модификация М-40 ванная на принципе управления потоком данных,
для выполнения арифметических операций с пла- обеспечивающая распараллеливание вычисли-
вающей точкой. Она была введена в эксплуата- тельного процесса на аппаратном уровне.
цию в 1959 г. В июне 1992 г. В. С. Бурцев был избран дей-
За создание вычислительных комплексов ствительным членом РАН по Отделению инфор-
ПРО на базе М-40 и М-50 С. А. Лебедев и В. С. матики, вычислительной техники и автоматиза-
Бурцев были удостоены Ленинской премии. ции.
В 1961-1968 гг. под непосредственным руко- В. С. Бурцев являлся научным руководителем
водством В. С. Бурцева были разработаны высо- фундаментальных исследований по разработке
копроизводительные полупроводниковые маши- нетрадиционных архитектурных решений высо-
ны, предназначенные для построения сложных копроизводительных вычислительных машин с
боевых комплексов ПРО: 5Э92б и ее модифика- использованием новых физических принципов, а
ция для вычислений с плавающей точкой 5Э51. также их системного программного обеспечения.
5Э92б обладала повышенной структурной надеж- Всеволод Сергеевич Бурцев удостоен Ленин-
ностью и достоверностью выдаваемой информа- ской и Государственной премий, награжден орде-
ции, основанными на полном аппаратном кон- нами Ленина, Октябрьской революции, Трудово-
троле вычислительного процесса. Многомашин- го Красного Знамени и медалями. За цикл работ
ный вычислительный комплекс ПРО из восьми «Теория и практика создания высокопроизводи-
машин 5Э92б с автоматическим резервированием тельных многопроцессорных вычислительных
25
машин» ему присуждена премия им. С. А. Лебе- По основным характеристикам М-2 находи-
дева АН СССР. лась в одном ряду с созданными в 1953 г. ЭВМ
«Стрела» и БЭСМ. В течение определѐнного вре-
Член-корреспондент РАН Юрий Иванович мени эти три ЭВМ удовлетворяли потребности
Митропольский является выпускником кафедры многих научных и конструкторских организаций
вычислительной техники МЭИ 1958 года. С 1963 в СССР.
г. работал в ИТМ и ВТ, принимал участие в раз- Зимой 1954 - 1955 гг. М-2 была существенно
работке и внедрении БЭСМ-6, занимался проек- модернизирована М. А. Карцевым. При модерни-
тированием системы обмена с внешними накопи- зации М-2 в системе команд, вероятно, впервые
телями. Следующей разработкой была система была реализована идея укороченных адресов,
обработки данных АС-6. Ю. И. Митропольский послужившая предшественницей принципа фор-
отвечал за создание периферийного процессора и мирования исполнительных адресов в ЭВМ вто-
системы автоматизации проектирования АПАС. рого и третьего поколений.
В 1978 г. вместе с академиком В. А. Мельни- В 1958 г. была издана монография М. А. Кар-
ковым перешел в НИИ «Дельта», был назначен цева «Арифметические устройства электронных
заместителем, а в 1981 г. – первым заместителем цифровых машин», позднее переизданная за ру-
главного конструктора системы «Электроника бежом.
ССБИС». В 1989 г. были проведены испытания В 1957 г. И. С. Брук начал разработку элек-
головного образца системы. тронной управляющей машины М-4, предназна-
В 1990 г. Ю. И. Митропольский избран чле- ченной для управления новым эксперименталь-
ном-корреспондентом АН СССР. Участвовал в ным радиолокационным комплексом, который
создании Института проблем кибернетики, в создавался Радиотехническим институтом АН
1991 г. был назначен заведующим отделением СССР под руководством академика А. Л. Минца.
этого института. Руководителем разработки М-4 был назначен М.
В 1994 г. был переведен на должность замес- А. Карцев. К этому времени электронной про-
тителя директора Института высокопроизводи- мышленностью были освоены и выпускались
тельных вычислительных систем РАН. С 1999 г. первые отечественные транзисторы. Поэтому
Ю. И. Митропольский заведует отделом в Инсти- было решено проектировать М-4 на полупровод-
туте системного анализа РАН. Под его руково- никовой элементной базе, и она стала одной из
дством продолжаются исследования по мульти- первых отечественных машин второго поколе-
компьютерным вычислительным суперсистемам. ния.
С 1994 г. Ю. И. Митропольский возглавляет ба- В М-4 М. А. Карцев одним из первых реали-
зовую кафедру Московского физико - зовал разделение оперативной памяти машины на
технического института. память данных и память программ и констант,
размещаемых в постоянном запоминающем уст-
Михаил Александрович Карцев и Николай ройстве, для того, чтобы повысить устойчивость
Яковлевич Матюхин принадлежат к школе И. С. к отказам и сбоям систем, построенных на базе
Брука. этой машины.
В июле 1962 г. были завершены совместные
Михаил Александрович Карцев (1923-1983) испытания М-4 с устройством первичной обра-
– выпускник радиотехнического факультета ботки информации и сопряжения с объектом на
МЭИ. Будучи студентом 5-го курса, работал по экспериментальном радиолокационном комплек-
совместительству в Лаборатории электросистем се. В ноябре 1962 г. вышло постановление о за-
Энергетического института АН СССР. Здесь М. пуске М-4 в серийное производство.
А. Карцев принял участие в разработке электрон- Хотя постановление о запуске М-4 в серийное
ной вычислительной машины М-1, проводившей- производство было принято, М. А. Карцев, под-
ся под руководством члена-корреспондента АН держанный коллективом разработчиков, настоял
СССР И. С. Брука группой выпускников МЭИ во на проведении еѐ существенной модернизации,
главе с Н. Я. Матюхиным. учитывая прогресс в технической базе. Это по-
В 1952 г. М. А. Карцев был направлен на по- зволило почти на порядок увеличить быстродей-
стоянную работу в лабораторию И. С. Брука, где ствие машины. В 1964 г. появилась машина М-
возглавил создание машины М-2. Небольшой 4М, быстродействие которой составляло 220 тыс.
коллектив справился с заданием всего за полтора оп. /с. Она выпускалась до 1985 г. , всего было
года и в 1953 г. М-2 была введена в эксплуата- поставлено на объекты более 100 комплектов.
цию.
26
для системы ПВО страны, по назначению анало- Н. Я. Матюхин был удостоен Государственной
гичной американской системе «Сейдж». премии СССР.
Первой разработкой Н. Я. Матюхина в этом Научно-исследовательскую работу Н. Я. Ма-
направлении была специализированная ЭВМ тюхин успешно совмещал с педагогической. Он
«Тетива», выпущенная Минским заводом в 1962- преподавал в МЭИ, был профессором базовой
1964 гг. кафедры Московского института радиотехники,
ЭВМ «Тетива» была первой отечественной электроники и автоматики при НИИАА.
ЭВМ второго поколения, в которой устройство В 1980 г. за высокие заслуги он был награж-
управления использовало микропрограммы, хра- ден орденом Трудового Красного Знамени.
нящиеся в постоянной памяти. Позже микропро-
граммное управление было применено во многих Среди других известных выпускников МЭИ
отечественных ЭВМ («Промiнь», 1963г. ; такие первоклассные специалисты как М. А. Ла-
«Наири», 1964 г. ; «Мир», 1965 г. ; моделях ЕС рионов, Г. П. Лопато, В. В. Пржиялковский, В. К.
ЭВМ и СМ ЭВМ). Левин и В. Н. Наумов.
В дальнейшем Н. Я. Матюхин был главным
конструктором ряда стационарных и возимых Александр Максимович Ларионов (1928-
ЭВМ, а также вычислительных комплексов для 1995) окончил Московский энергетический ин-
центров коммутации сообщений глобальной сети ститут по специальности ―электромеханические
системы ПВО, разработанных НИИ автоматиче- приборы» в феврале 1951 г. , был направлен в
ской аппаратуры (НИИАА) и серийно выпускав- СКБ-245 (Москва), где занимался наладкой и
шихся отечественной промышленностью с 1965 отработкой устройства центрального управления
по 1992 гг. ЭВМ «Стрела», быстро став ведущим специали-
Будучи главным конструктором ряда крупных стом.
проектов по созданию ЭВМ, Н. Я. Матюхин од- В октябре 1969 г. А. М. Ларионов назначается
ним из первых почувствовал острую необходи- заместителем директора НИЦЭВТ по научной
мость в автоматизации проектирования средств работе. Одновременно он становится заместите-
вычислительной техники. Начиная с 1964 г. , он лем Генерального конструктора ЕС ЭВМ и за-
выполнил ряд основополагающих исследований местителем главного конструктора бортовых
и разработок в этом направлении. Под руково- ЦВМ серии «Аргон».
дством и при непосредственном участии Н. Я. С марта 1971 года А. М. Ларионов – директор
Матюхина в 1968 г. была написана первая отече- НИЦЭВТ, Генеральный конструктор ЕС ЭВМ,
ственная монография «Применение ЦВМ для главный конструктор БЦВМ серии «Аргон».
проектирования цифровых устройств». В ней В 1971 г. он был награжден орденом Трудово-
были выдвинуты и обоснованы принципы по- го Красного Знамени, в 1977 г. – орденом Лени-
строения САПР средств вычислительной техни- на.
ки, лежащие ныне в основе многих конкретных
систем. Н. Я. Матюхин разработал язык модели- Георгий Павлович Лопато (1924-2003) за-
рования цифровых устройств МОДИС и первую кончил электрофизический факультет МЭИ.
систему моделирования. Комплексный подход к Георгий Павлович Лопато был главным кон-
проектированию, объединяющий логическое мо- структором первой ЭВМ, разработанной в СКБ
делирование с автоматизированным конструиро- завода им. Г. К. Орджоникидзе, – ламповой ЭВМ
ванием устройств и выпуском документации, «Минск-1» (1960 г. ). Наиболее значительной
также был предложен Н. Я. Матюхиным. работой, проведенной в НИИЭВМ под его непо-
Н. Я. Матюхин руководил межведомственной средственным техническим руководством, было
координацией оборонных министерств СССР в создание по заказу Министерства обороны ряда
области САПР вычислительной техники, всесо- возимых ЭВМ, совместимых с машинами ЕС
юзными научными конференциями и семинарами ЭВМ (1983–1989гг. )
по этой проблеме. В течение длительного времени Георгий Пав-
Как крупный специалист в области вычисли- лович был заведующим кафедрой Минского ра-
тельной техники, один из тех, кто заложил осно- диотехнического института.
вы этой отрасли в СССР, в 1979 г. Н. Я. Матюхин В 1979 г. Г. П. Лопато избран членом-
был избран членом-корреспондентом АН СССР корреспондентом АН СССР, в 1995 г. – членом-
по Отделению механики и процессов управления. корреспондентом НАН Белоруссии. В 1980 г. он
В 1976 г. за работы в области систем управления получил звание профессора. В апреле 1999 г. In-
28
Борис Николаевич Наумов (1927-1988) за- тельного направления в МЭИ стояли энергичные
кончил МЭИ по специальности «автоматика и и талантливые люди. Работая в Киеве в Институ-
телемеханика». те энергетики АН УССР, С. А. Лебедев ежене-
В 1950-1967 гг. Б. Н. Наумов трудился в Ин- дельно приезжал в Москву и читал лекции в
ституте автоматики и телемеханики. Здесь, в кол- МЭИ. Такой режим длился полтора года, затем
лективе ведущих ученых в области автоматиче- дисциплину «Вычислительные машины дискрет-
ского управления, Б. Н. Наумов сформулировал ного действия» стал вести Анатолий Георгиевич
свою позицию и выполнил исследования, направ- Шигин (1922-1997). Он сделал очень много для
ленные на создание новых эффективных методов создания лабораторной базы, а в 1952 году защи-
теории нелинейных систем автоматического тил одну из первых в СССР кандидатских дис-
управления и ее приложений к решению крупных сертаций, посвященных созданию устройств
задач народного хозяйства и оборонной техники. ЭВМ. Исследования в области вычислительной
К 1967 г. у него уже были работы, нашедшие техники в МЭИ с начала 50-х годов прошлого
международное признание, блестящие защиты столетия начинают динамично развиваться. В
кандидатской и докторской диссертаций, свое 1953 году организуется подготовка аспирантов
место в теории автоматического управления и ее по соответствующим специальностям. В 1957
приложениях на практике. Как раз в это время году приобретается массово выпускавшаяся в
оказался в кризисном положении коллектив стране ЭВМ «Урал-1». Быстрый рост объема зая-
ИНЭУМ, созданный в 1958 г. в составе АН СССР вок привел к необходимости приобретения еще
и переданный в ведение Минприбора СССР в нескольких машин и к созданию в 1958 году но-
1965 г. Б. Н. Наумов без колебаний принял пред- вого подразделения – вычислительного центра
ложение руководителей Минприбора и возглавил МЭИ. С 1965 года кафедра ВТ, наряду с инжене-
в 1967 г. ИНЭУМ. рами по ЭВМ, начинает выпуск специалистов по
Наиболее ярко масштабность и организацион- прикладной математике.
ный талант Б. Н. Наумова проявились в период С 1967 по 1982 год кафедру ВТ возглавлял
1974-1984 гг. , когда он руководил разработкой Юрий Матвеевич Шамаев (1922-1998). С его при-
международной системы малых ЭВМ (СМ ЭВМ) ходом на кафедре начинаются исследования, свя-
в качестве Генерального конструктора. занные с проектированием устройств памяти.
За создание СМ ЭВМ Б. Н. Наумов был удо- В 60-е – 70-е годы одной из самых больших по
стоен Государственной премии СССР в области составу на кафедре ВТ была научная группа
науки и техники. СМ ЭВМ в совокупности с Еди- А. Г Шигина. По инициативе Ю. М. Шамаева в
ной системой ЭВМ в 70-80-х годах послужили 1971 году кафедра ВТ начинает подготовку ин-
основой автоматизации управления и обработки женеров по конструированию и производству
информации во всех отраслях народного хозяйст- электронно-вычислительной аппаратуры. В 1976
ва, автоматизации научных исследований. году на базе отдела математического обеспече-
В 1976 г. Б. Н. Наумов был избран членом- ния создается кафедра прикладной математики
корреспондентом АН СССР, в 1984 г. – действи- (ПМ). В начале 80-х годов часть сотрудников
тельным членом АН СССР. Б. Н. Наумов был кафедры ВТ была переведена на реорганизован-
одним из инициаторов организации в составе АН ную кафедру системотехники (впоследствии
СССР Отделения информатики, вычислительной ставшую называться кафедрой вычислительных
техники и автоматизации, созданного в 1983 г. машин, систем и сетей – ВМСС). С 1982 по 1996
усилиями вице-президента АН СССР академика год кафедрой ВТ руководил Гурам Семенович
Е. П. Велихова. До конца жизни Б. Н. Наумов Чхартишвили, а начиная с 1996 года заведующим
возглавлял Институт проблем информатики АН кафедрой является автор этих строк.
СССР, организованный по его инициативе. Исследования на факультете автоматики и
вычислительной техники (АВТФ), благодаря то-
Исследования в области информатики му заделу, который создали основатели вычисли-
и вычислительной техники в МЭИ тельного направления в МЭИ, всегда проводи-
Отсчетом хронологии вычислительной техни- лись на высоком уровне и завоевали признание
ки в МЭИ принято считать 1951 год, когда была не только в стране, но и за рубежом. К препода-
открыта специальность «математические и счет- ванию дисциплин по вычислительной технике в
но-решающие приборы и устройства» и состоял- МЭИ всегда привлекались высококлассные спе-
ся первый выпуск инженеров-вычислителей циалисты, активно работавшие в науке. Здесь
(группа ВП-1-45). У истоков создания вычисли- нужно вспомнить Илью Марковича Тетельбаума
30
satXpress pricelist
последние годы пытается проектировать содержа- (уже начальной) такие объекты могут быть на-
ние этой итоговой аттестации по информатике. глядно и даже телесно представлены учащимся.
Моя личная интерпретация современных пред-
ставлений о фундаментальной информатике в Это:
школе содержится в следующем кратком цепочки (кортежи, конечные последователь-
(насколько это позволяет жанр доклада на юби- ности) бусин разной формы,
лейной конференции) обзоре. Мне представляет- те же бусины, сложенные в мешки (уже неупоря-
ся, что эта интерпретация является естественным доченные множества объектов, среди которых
продолжением взглядов А. П. Ершова. могут встретиться и одинаковые),
Начнем с того, что современная, подчеркнем, деревья,
общекультурная, общечеловеческая грамотность произвольные графы.
предполагает понимание ряда понятий, которые
сегодня можно отнести к области информатики. Последние типы объектов, конечно, полезны
Они возникли и по сей день могут рассматривать- при наглядном рассмотрении упомянутых выше
ся как входящие в понятийный аппарат таких об- конечных автоматов и игр с полной информацией,
ластей как кибернетика, логика, общая теория а не наглядно их, до старшей школы, и не стоит
систем, теория игр (сегодня есть несколько таких рассматривать. Специалисту очевидно, что об
«теорий», относящихся к разным классам игр). упомянутых объектах можно формулировать мно-
К ним относятся такие понятия и их группы, как: го задач, в том числе и достаточно сложных. При
Система, элементы и компоненты системы, их этом замечательно, что эти задачи, в том числе и
состояния, взаимодействие, сигналы сложные, можно формулировать для учащихся
Управление, обратная связь даже начальной школы в наглядной форме, где
Игры (в том числе – с полной информацией), объекты условия и решения задачи нарисованы на
стратегии в играх бумаге (или существуют в виртуальном микроми-
ре на экране компьютера). Одним из многих ви-
Еще раз отметим, что только что перечислен- дов задач являются упражнения на кодирование
ные понятия уже стали общекультурными. Школа разных математических объектов. Напомним, что
должна на это реагировать. При этом мы должны мы начали с «дискретизации» образов реальных
дать учащимся задачки, где эти понятия работа- объектов. С этим связаны «прикладные» арифме-
ют. Можно строить простейшие конечные автома- тические упражнения, относящиеся к тому, какой
ты, можно программировать в визуальных языках длины получится цепочка при дискретизации зву-
движущихся по полу и управляемых роботов ЛЕ- ка, изображения и т. д. В терминах цепочек мож-
ГО (с микропроцессором, куда заложена состав- но говорить и о десятичных и двоичных числах и
ленная программа), можно играть в игры с камеш- о хранении информации в разных видах памяти и
ками на столе или бросать кость и т. д. об объеме информации (длине двоичной цепочки)
Следующая область относится к современно- и об объеме памяти, в которой могут храниться
му понятию «being digital» (Н. Негропонте, МТИ), такие цепочки и о скорости передаче цепочек по
к «цифровому миру». Люди уже давно пользова- каналу связи.
лись измерительными инструментами и сопостав- Задолго до появления компьютеров человек
ляли с (мыслимой как непрерывная, аналоговая) заинтересовался возможностью формального опи-
длиной конечную десятичную дробь (целые: мет- сания того, что можно называть «строгим рассуж-
ры, сантиметры, миллиметры). Сегодня, чтобы дением» и «верным высказыванием». Возникла
обработать информацию о каких-то объектах или логика, ставшая в период с 1900-ых по 1930-е гг.
процессах, их смоделировать и спроектировать, математической логикой. К тому же периоду от-
нужно работать с их цифровыми, дискретными носится и формализация того, что можно назвать
образами. Понятия перехода к такому образу – «строгой, однозначно понимаемой инструкцией к
дискретизации (ср. «being digital») уже стало эле- действию». Возникла теория алгоритмов. Фунда-
ментом общеинтеллектуального багажа современ- ментальные понятия и конструкции общей дисци-
ного человека. С этим связаны и классы дискрет- плины «математическая логика и теория алгорит-
ных, конечных объектов, изучаемых разделами мов» были в середине XX века воплощены в
современной математики, которые можно было «железе» и компьютерных кодах. (Здесь времен-
бы назвать также информатической математикой ное совпадение становится необыкновенно точ-
или «mathematical computer science». В школе ным – в конце сороковых гг. и самом начале пяти-
десятых были созданы универсальные компьюте-
37
ры и А. А. Марковым было дано детальное дока- можно вычислять значение любой вычислимой
зательства правильности работы абстрактного каким-либо образом функции (это утверждение
универсального компьютера – в терминах струк- относится к соотношению между формальным
турного программирования, индуктивного доказа- математическим объектом и интуитивным,
тельства с инвариантами и т. д. ). Вот эти поня- неформальным с точки зрения математики,
тия: представлением; оно не может быть
математически доказано и относится к
имена, выражения и их значения
информатике, но не к «чистой» математике).
высказывания, их истинность, операции над
высказываниями
Несмотря на естественность и важность двух
примеры правил логического вывода
последних утверждений, их введение даже в базо-
программа (запись алгоритма) и отвечающая ей вую подготовку программистов (не говоря уже о
последовательность действий (выполнение,
школьниках) может показаться не столь очевид-
вычисление)
ным. Но в том-то и дело, что программист просто
конструкции структурного программирования,
не задумывается о них, он программирует, их
переменные.
подразумевая. В общеобразовательном же смысле
представление о том, что все можно вычислить на
Упомянутые математические конструкции,
данном обозримом вычислительном устройстве, и
относящиеся к формализованному мышлению и
что этому устройству можно «объяснить» любую
деятельности, сегодня постоянно применяются в
вычислительную программу, очень важно. Задачи
информатике, относятся к ее фундаментальной,
в данном блоке могут относиться к написанию
теоретической части. С другой стороны, они по-
простых программ для абстрактного компьютера,
степенно во все большей степени становятся ча-
поясняющих его возможности по обработке цепо-
стью общей культуры, не менее базовой, чем, ска-
чек или чисел. Представления о границах вычис-
жем, арифметика процентов или вычисление пло-
лимости, «алгоритмичности» и доказуемости ес-
щадей простейших геометрических фигур. При
тественно сочетаются с отрицательными утвер-
этом, как и в случае базовых объектов, упомяну-
ждениями. Эти утверждения уже проникли в по-
тых выше, освоение перечисленных понятий мо-
пулярную математическую и околоматематиче-
жет идти уже в начальной школе на наглядном
скую литературу. К ним относятся:
материале. Например, исполнение алгоритма мо-
жет происходить в визуальном микромире на эк- пример алгоритмической неразрешимости,
ране компьютера (команды выполняет робот в принципиальная неполнота математических
лабиринте или черепашка, перемещающаяся по теорий.
плоскости и оставляющая след). Конкретные пра-
вила логического вывода также могут быть про- «Диагональная» процедура, с помощью кото-
иллюстрированы в визуальном контексте. рой может быть доказана алгоритмическая нераз-
Следующий блок фундаментального информа- решимость, является одним из замечательных
тического знания относится к базовым теоретиче- достижений математики. Замечательных в том
ским достижениям в области основ информатики. числе и тем, что она доступна для понимания
В него входят следующие темы: школьникам и не менее, чем иррациональность
абстрактный компьютер (исполнитель) и язык корня из двух, заслуживает присутствия в школь-
программирования для него (имеется в виду ной программе.
какая-нибудь универсальная вычислительная Понятие сложности также относится к совре-
модель) менному общекультурному багажу, оно же дает
утверждение о существовании универсальной правильный взгляд на возможности информаци-
программы, позволяющей абстрактному онных технологий. Это обуславливает полезность
компьютеру вычислить результат работы любой рассмотрения тем:
данной программы (в рассматриваемом языке) на сложность вычисления, как число его шагов,
любом исходном данном (это утверждение описательная сложность объекта, как длина
может быть строго доказано, что не входит в кратчайшего описания,
программу общеобразовательной школы, но представление о случайности, как сложности
пояснено на содержательном уровне оно может
быть и в школе) Выше уже упоминались задачи на построение
тезис об универсальности данного компьютера и алгоритмов. Безусловно, они являются важней-
языка, состоящий в том, что с их помощью шей частью курса. Собственно теоретические
38
сятся пассивные элементы, которые не обладают элементов с МПП и через МПП – друг с другом.
собственным тепловыделением, это – электриче- При тепловом моделировании пассивные элемен-
ские разъемы, конденсаторы, теплоотводы ты выполняют функции теплоотводов, и по сво-
(радиаторы, метал-лические детали, тепловые ему физическому смыслу являются стоками теп-
трубы). Посредством конструктивного исполне- лоты, отводимой от МПП, а активные элементы,
ния активных и пассивных элементов создается выделяющие тепловую энергию, играют в конст-
надежное крепление элементов к МПП и тем са- рукции ЭМ роль источников теплоты.
мым обеспечивается эффективная тепловая связь
Рис. 1. Тепловые модели электронного модуля: МПП, МС, ЭРЭ, электрических разъемов
и других элементов ЭМ
могут быть четырех видов: диэлектрические слои нению с теплоотдачей с верхней и нижней по-
из полиимида, тонкие медные энергетические верхностей МПП и считать, что торцы прямо-
слои для земли и питания, сигнальные слои с ме- угольного параллелепипеда в тепловой модели
таллическими сигнальными проводниками прямо- МПП теплоизолированы. Для общности модели-
угольного сечения, теплоотводящие сравнительно рования принято, что температуры среды и усло-
толстые медные слои. Помимо слоев, выполнен- вия теплообмена на верхней и нижней поверхно-
ных из однородных материалов, реальная конст- стях МПП могут быть различными. Зависимостью
рукция МПП включает в себя также сигнальные теплофизических параметров материалов тепло-
слои, имеющие композитную структуру, и кото- вой модели, а также мощностей активных элемен-
рые состоят из сигнальных проводников прямо- тов ЭМ от температуры пренебрегается.
угольного сечения, выполненных, как правило, из Математическая модель описывающая трех-
меди, и разделяющих их диэлектрических слоев, мерное стационарное температурное поле
изготавливаемых, как правило, из полиимида. i i ( x, y, z ) в каждом i-м слое тепловой моде-
Поскольку расположение медных сигнальных ли МПП представляет собой систему следующих
проводников в слое диэлектрика соответствует уравнений:
маршрутам их трассировки и отличается от слоя к уравнение теплопроводности в i-ом слое
слою, то теплопроводность такого композитного
2 2 2
слоя будет анизотропной и различаться в каждой i i i
точке слоя. Однако для того, чтобы моделирова- 0,
2 2 2
ние температурных полей слоев МПП было воз- x y z
можным, необходимо от анизотропной теплопро- i 1, 2, ..., M
водности слоя уметь переходить к некоторой ее
граничные условия на верхней (i = 1) и нижней (i
эффективной усредненной величине эфф. Опре-
= M) поверхностях тепловой модели МПП, с ко-
деление эффективной теплопроводности эфф
торых происходит теплообмен в среду по закону
каждого слоя представляет собой довольно слож-
Ньютона и одновременно – поступление тепло-
ную проблему, не решенную до сих пор. В ряде
вой энергии через источники теплоты в МПП и
случаев, расчет эффективной теплопроводности
отвод тепловой энергии от стоков теплоты, рас-
эфф тепловой модели МПП с достаточной для
положенных на поверхностях МПП, суммарная
практики моделирования погрешностью, можно мощность которых равна Р1 для i = 1 (верхний
рассчитывать по формуле ожидаемой или взве- слой МПП) и РМ – для i = М (нижний слой
шенной величины эфф = 1 1 + 2 2, 1 + 2 = МПП)
1, где 1 и 2 – теплопроводности металлического
проводника и диэлектрика, занимающих в объеме 1
композитного слоя доли, равные 1 и 2 соответ- 1 1 (1 a1 ) 1,
z z d z d1
ственно.
1
На верхней и нижней сторонах тепловой моде-
ли МПП расположены прямоугольные площадки, M
которые соответствуют двум видам элементов M M (M a 2 ) M
z z0
ЭМ: активным элементам, которые выделяют теп- z 0
ловую энергию и пассивным элементам – не обла-
дающим этим свойством. Размеры прямоуголь-
k Pj1h j1 PjM h jM
P1
l
ных площадок на поверхностях МПП вдоль осей , PM
X и Y равны соответствующим размерам проек- j 1 lx l y lx l
jM y jM
j 1
j1 j1
ции элементов на поверхности МПП. Площадки,
которые соответствуют активным элементам иг- граничные условия на границе i-го и i+1-го слоев
рают для МПП роль источников тепловой энер- тепловой модели МПП, выражающие равенство
гии, поступающей от элемента ЭМ в МПП; будем температур и потоков теплоты на стыке двух
называть их источниками теплоты. Площадки, соседних слоев:
которые соответствуют пассивным элементам
играют роль стоков тепловой энергии, отводимой i i 1 ,
от МПП; будем называть их стоками теплоты. z0 z d i 1
С достаточной для инженерной практики точно-
стью моделирования можно считать, что теплоот-
дачей с торцев МПП можно пренебречь по срав-
46
штатов Огайо, Кентукки и Индиана получат ши- сотовых операторов и радиолюбителей на воз-
рокополосный интернет-доступ и VoIP- можные помехи. Несмотря на это, привлекатель-
телефонию по силовым проводам. Еще почти че- ность BPL-сетей возрастает ввиду заранее огово-
тыре десятка BPL-сетей доступа находятся в тес- ренной организации таких востребованных серви-
товой эксплуатации. В Америке новая техноло- сов, как помощь инвалидам или служба E911. На
гия, получившая название BPL (Broadband over повестке дня остались вопросы урегулирования
Power Line), уже прошла испытания в Цинцинна- отношений между поставщиками электричества и
ти (штат Огайо), где возможность нетрадиционно- коммуникационными компаниями. В IEEE
го подключения получили более сотни физиче- (Институт разработчиков в области электроники и
ских и несколько юридических лиц. Тестирование электричества) разрабатывается стандарт для
показало высокое качество предоставления услуг BPL – IEEE 1675, принятие которого ожидается
и большой коммерческий потенциал технологии. не ранее 2009 г.
Пользователи BPL отметили высокую скорость Производители бытовой электроники тоже не
передачи данных – свыше 3 Мбит/с, при этом ме- остались в стороне. В начале января 2005 г. ком-
сячная абонентская плата оказалась ниже, чем за пании Mitsubishi Electric и Sony объявили о своем
существующие широкополосные решения. Об намерении создать альянс с целью внедрения тех-
активности российских регулирующих органов в нологии PLC в жизнь. По убеждению его участ-
области сертификации PLC и BPL пока ничего не ников, каждая квартира уже оборудована всем
слышно, а вот в США федеральной комиссией по необходимым для организации локальной сети,
эле к тр о св яз и ( F ed er a l Co m mu n ica tio n s пропускная способность которой позволяет пере-
Commission, FCC) такие спецификации уже при- давать любые данные, вплоть до потока видео-
няты в октябре 2004 г. Основная проблема, встав- или IP-телефонии. Дело лишь за созданием око-
шая перед FCC, – разработка требований, учиты- нечного оборудования.
вающих, с одной стороны, пожелания потенци-
альных BPL-провайдеров, с другой – претензии от
Вычислительные системы с программируемой
структурой
Хорошевский В. Г., чл.-корр. РАН
Сибирское отделение РАН, khor@isp. nsc. ru
ной связи определенное количество слов из своей системного блока для реализации межмашинных
памяти. Такой способ организации обменов ин- взаимодействий в ВС. Любой системный блок
формацией между машинами ВС подобен функ- представлял собой совокупность программ для
ционированию радио- и телепередающих систем. реализации операций настройки, обмена, ОБП и
Он не зависит от числа ЭМ в системе и позволяет ОУП, которые были включены в библиотеки
избежать трудностей с адресацией машин. трансляторов.
Команды обобщенного безусловного перехода
Средства отладки и редактирования
(ОБП) предназначались для принудительного
Р-программ — совокупность четырех стандарт-
управления работой ВС. Управляющая машина
ных программ. Первая программа преобразовы-
при выполнении ОБП засылала в канал содержи-
вала отлаживаемую P-программу в последова-
мое заданной ячейки своей памяти, которое вос-
тельную и выявляла ошибки, не связанные с ис-
принималось как команда только ЭМ, содержа-
пользованием системных команд. Вторая про-
щими единицу в разрядах TQ регистров настрой-
грамма служила для моделирования на одной
ки. Команды ОБП позволяли осуществлять ини-
машине выполнения P-программы из двух вет-
циирование работы ВС и ее загрузку данными из
вей. Всевозможные (допустимые и недопусти-
любой ЭМ, а также вмешиваться в параллельные
мые) взаимодействия ветвей были представлены
вычислительные процессы и принудительно
матрицей переходов к моделирующим или авост-
управлять работой подмножеств машин системы
ным подпрограммам. Эта же программа могла
из любой ЭМ. Следовательно, при помощи ко-
определять время простоев машин, время работы
манды ОБП из любой ЭМ можно было и иниции-
отдельных блоков P-программы и точность вы-
ровать программирование структуры ВС.
числений. Третья программа позволяла вывести
Команды обобщенного условного перехода
на печать заданное количество раз содержимое
(ОУП) и содержимое T регистров настройки
интересующих областей памяти перед выполне-
элементарных машин позволяли управлять па-
нием команд обмена в процессе контрольной реа-
раллельными вычислительными процессами.
лизации параллельной программы на ВС «Минск-
Одна из команд ОУП служила для синхрониза-
222». Четвертая программа служила для коррек-
ции параллельных процессов (машин, выполняю-
тировки P-программ.
щих ветви параллельной программы). По сути
Средства анализа P-программ были пред-
эта команда позволяла реализовать механизм
ставлены тремя программами. Первая программа
синхронизации, получивший позднее название
служила для анализа распределения памяти меж-
―Barrier‖. Команды ОУП использовались, в част-
ду блоками исследуемой программы. Вторая про-
ности, для организации ветвлений в параллель-
грамма предназначалась для измерения времени
ных вычислениях, для реализации параллельных
простоев машин ВС. Третья программа применя-
циклов.
лась для измерения времени работы участков
P-программы.
Программное обеспечение «Минск-222» Пакеты прикладных адаптирующихся
В системе «Минск-22» ПО было ориентирова- P-программ были ориентированы на решение
но лишь на реализацию в монопрограммном ре- задач повышенной сложности. Параметры таких
жиме параллельных программ (P-программ) реше- задач, как правило, не позволяли решать их на
ния сложных задач. Оно состояло из двух частей: ЭВМ «Минск-22» за удовлетворительное время.
системы P-программирования и пакета приклад- Из опыта создания ПО для системы
ных адаптирующихся P-программ. Система па- «Минск-222» установлено, что его объем отлича-
раллельного P-программирования включала ется от объема программного обеспечения ЭВМ
средства автоматизации P-программирования, «Минск-22» не более чем на 10 %.
отладки, редактирования и анализа P-программ.
Средства автоматизации P- Опыт эксплуатации ВС «Минск-222»
программирования — языки и трансляторы.
Полный набор схем обмена информацией ме-
В качестве входных в системе «Минск-222» исполь-
жду ветвями P-программ, как показала эксплуа-
зовались расширенные языки [5]: автокод АКИ,
тация ВС «Минск-222», составляют: дифферен-
ЛЯПАС, ALGOL, BASIC. В расширенные языки
цированный (ДО), трансляционный (ТО), трансля-
были включены средства для описания взаимо-
ционно-циклический (ТЦО), конвейерно-
действий между параллельными ветвями вычис-
параллельный (КПО) и коллекторный (КО) обме-
лений. Каждый транслятор для ВС состоял из
ны.
двух частей: обычного транслятора для ЭВМ и
56
Таблица 1.
Вычислительная система
МИНИМАКС
МИНИМАКС (МИНИМАшинная программ-
но Коммутируемая Система) создана ИМ СО АН
СССР (Отделом вычислительных систем) и Научно
Рис. 2. ЭМ мини-ВС МИНИМАКС.
-производственным объединением «Импульс»
Министерства приборостроения, средств автома-
Межмашинные взаимодействия при функцио-
тизации и сис-тем управления СССР (г. Северо-
нировании мини-ВС реализовывались с помо-
донецк). Технический проект МИНИМАКС раз-
щью специальных подпрограмм — системных
работан в 1974 г. , а опытно-промышленный об-
драйверов, которые, в свою очередь, использова-
разец системы был изготовлен и отработан в
ли специальные команды (занесение кода на ре-
1975 г.
гистр настройки, считывание его содержимого,
Архитектура системы: занесение информации в системное устройство
(СУ0 о начальном адресе передаваемого массива
MIMD-архитектура;
данных и т. п. ).
распределенность средств управления,
обработки и памяти;
параллелизм, однородность, модульность;
программируемость структуры;
двумерная (циркулянтная) топология;
58
лось выполнять редко, и время обмена управляю- Вычислительный модуль предназначался для
щей информацией в общем времени работы ма- выполнения всех операций, связанных с перера-
шин системы составляло незначительную часть. боткой информации, в частности для иницииро-
Эти факторы позволили ограничиться единым вания реализации системных операций. Систем-
каналом для обмена управляющей (настроечной) ное устройство использовалось для реализации
информацией и данными между ЭМ мини-ВС. системных взаимодействий машин, в частности
для программирования структуры мини-ВС. В
качестве ВМ использовали произвольные конфи-
гурации мини-ЭВМ «Электроника-100 И». Сле-
дует заметить, что архитектура системы СУММА
была ориентирована также на применение мини-
ЭВМ PDP-8 фирмы Digital Equipment Corp.
Программное обеспечение мини-ВС СУММА
– проблемно-ориентированное. В его состав вхо-
дили супервизор (являвшийся программой управ-
ления процессами в реальном масштабе време-
ни), система P-программирования (включающая
макроассемблер MACRO-8P), системы для авто-
матизированного управления технологическими
процессами и комплекс программ технического
обслуживания.
Рис. 3. ЭМ мини-ВС СУММА.
Вычислительные системы
К системам управления предъявляются повы- семейства МИКРОС
шенные требования по живучести, следователь-
но, их вычислительные средства должны обла- Прогресс в вычислительной технике неразрыв-
дать структурной живучестью. Для формирова- но связан с достижениями в области элементной
ния мини-ВС СУММА использовались опти- базы и в интегральной технологии. В конце 1970-х
мальные графы (рис. 4). годов мини-процессоры вытесняются микропроцес-
сорами, на смену мини-ЭВМ пришли микроЭВМ; в
1 индустрии обработки информации создаются парал-
1 лельные ВС как коллективы микропроцессоров
3 4 В начале 1980-х годов в Отделе вычислитель-
3 2 2
7 5 ных систем СО АН СССР инициируются работы
по научно-исследовательскому проекту МИК-
6 5 9 1 РОС [6], целью которых было создание МИКРО-
а) 8 б) процессорных Систем с программируемой струк-
4 6
турой (МИКРОС). Результатом работ явилось
1 семейство МИКРОС, включающее модели МИК-
2 3
РОС-1 (1986); МИКРОС-2 (1992); МИКРОС-Т
5 7 (1996). Разработка моделей семейства МИКРОС
осуществлялась в содружестве с подразделениями
12 Научно-производственного объединения «Алмаз» и
10
Научно-исследовательского института «Квант»
6 Министерства радиопромышленности СССР
4
(г. Москва).
9 8 г)
11
и параллельных программ:
MPI: MPICH2, OpenMPI, Intel MPI;
OpenMP: GCC, SUN, Intel;
cредства отладки и анализа: VampirTrace.
Пространственно-распределенная ВС исполь-
зуется не только в научных исследованиях, но и
при подготовке специалистов в области GRID- и
параллельных вычислительных технологий.
Влияние программирования на архитектуру
вычислительных систем
(от прошлого к будущему)
Королев Л. Н., чл.-корр. РАН
Зав. Кафедрой МГУ им. М. В. Ломоносова
В 2005 году исполнилось 60 лет с момента дийных данных, что увеличило число типов дан-
ввода в строй машины ENIAC, которую считают ных, поддерживаемых аппаратурой. Возникла
первой в мире ЭВМ с программным управлени- существенная необходимость отражения в архи-
ем. Все эти годы в условиях технических ограни- тектуре технологии создания кластеров и машин
чений элементной базы шел процесс совершенст- с массовым параллелизмом на основе использо-
вования архитектуры компьютеров в направле- вания микропроцессоров. В результате появи-
нии максимального повышения производитель- лись процессоры, логическая сложность которых
ности и повышения эффективности планирова- исчисляется в сотни миллионов логически актив-
ния обработки данных, то есть в направлении ных элементов (CELL – 235 млн. ).
аппаратной поддержки программирования. Возникает вопрос, не приведет ли экстенсив-
В преддверии наступления нового тысячеле- ный путь развития архитектур процессоров, ос-
тия крупнейшие фирмы объявили о создании нованный на лозунге: «логических элементов - не
новых архитектурных линий, которые должны жалеть, аппаратные динамические интерпретато-
удовлетворить требованиям к вычислительной ры и системные программисты сделают всѐ что
технике, выдвигаемым со стороны всех сфер на- нужно» к тому, что уже было. А именно, RISC-
учно-технического прогресса. Имеется в ввиду архитектуры заменили собой CISC-архитектуры
Alpha DEC, POWER IBM, SPARC SUN, HP-PA, по той простой причине, что трансляторы ис-
IA-64 и Pentium Intel и др. пользовали приблизительно только 20% из всего
Несмотря на то, что в какой-то степени в но- набора представленных в процессоре команд!
вом столетии процессоры этих линий сохранили Несомненный интерес представляют работы,
ядро архитектуры «внешней» системы команд, выполнявшиеся коллективом под руководством
их микроархитектура заметно изменилась. академика В. С. Бурцева, и продолжающиеся в
Если раньше большее влияние на архитектуру настоящее время, по созданию «Ассоциативной
оказывали требования разработчиков системного машины». Этот многообещающий подход, позво-
программного обеспечения, то в новых разработ- ляющий реально осуществить принцип работы
ках главный упор сделан на достижения высокой машин, управляемых потоком данных:
эффективности микрораспараллеливания с уче- «выполняй действие сразу в тот момент, когда
том суперскалярности процессоров. Архитекту- будут готовы операнды», как представляется,
ры типа VLIW-EPIC доминируют в современных позволит достичь максимальной эффективности
разработках. динамического распараллеливания более просты-
При этом основная тяжесть по «добыче» эф- ми и логически прозрачными средствами, чем
фективности возлагается на разработчиков опти- нынешние VLIW-EPIC архитектуры. Существен-
мизирующих трансляторов. Бытовавший ранее но, что в этих разработках, наконец, удалось от-
лозунг приближения архитектуры машин к язы- казаться от привычной парадигмы линейного
кам высокого уровня, по-видимому, в коммерче- характера физической оперативной памяти.
ских разработках отброшен окончательно. Одна- Несомненный интерес представляют работы,
ко, некоторые следы такого подхода можно отме- выполненные в свое время в ИТМ и ВТ по разра-
тить в микропроцессоре Е2к, разработанном под ботке архитектуры МКП (А. А. Соколов, А. Ю.
руководством Б. А. Бабаяна. Бяков и др. ). Если следовать современной терми-
Последние десятилетия потребовали от разра- нологии, это была двуядерная суперскалярная
ботчиков учета требований обработки мультиме- архитектура процессора, включавшая блок
64
Я. Б. Зельдович В. И. Гольданский
66
Ниже приводится краткий список работ [1 – 7] ства реализаций U(t, r) стоит вопрос о фильтрации
выполненных в ИПМ во время моей работы там с для устранений искажений полезного сигнала как
1971 по 1994 г и послуживших основой методов от аппаратурных «шумов», так и от случайных
обработки экспериментальных измерений. Неко- флуктуаций самих сигналов.
торые из полученных результатов можно отнести Особенность задачи состояла еще и в том, что
к «истокам» ныне перспективных областей науки на больших расстояниях от источника на им-
и техники таких, например, как управляемый тер- пульс, распространяющийся вдоль земной по-
моядерный синтез, томография, мониторинг окру- верхности, накладывались ионосферные отраже-
жающей среды и др. ния ЭМИ. Наиболее ранние по времени прихода
В качестве примера для краткой характеристи- сигналы относились к импульсам отраженным от
ки информации, использующейся при решении нижнего D слоя ионосферы, более поздние – к
задач обработки экспериментов, остановимся на отражениям от E и даже F слоев, расположенны-
аннотации трех работ. Тема, затронутая в них – ми на высотах более 80 – 100 км.
обработка результатов экспериментов [2, 3] и мо- Благодаря совершенствованию методов реше-
делирование [5] по генерации и распространению ния подобных некорректно поставленных задач
электромагнитных импульсов (ЭМИ) в простран- [1, 2]. и огромному объему проведенных в ИПМ
стве между Землей и Ионосферой. Данная тема РАН численных исследований удалось, на основе
продолжает оставаться актуальной и разрабатыва- экспериментальных данных выделить импульс-
ется в настоящее время в различных академиче- ные функции отражений от нижней ионосферы
ских институтах : ИРЭ РАН, ИЗМИР РАН, ИСЗФ (от D слоя) и идентифицировать отражения от Е и
СО РАН и др. . Интерес к теме связан с исследо- F слоев. Оказалось, что регистрация ЭМИ в широ-
ваниями как самих источников сигналов ком временном интервале и диапазонах радиочас-
(например, грозовых разрядов), так и каналов их тот позволяет не только выделить специфические
распространения (например, Земной и/или Мор- особенности источников сигналов, но и оценивать
ской поверхности, Атмосферы и/или Ионосферы). состояние ионосферы во время проведения экспе-
Поскольку электромагнитные сигналы охватыва- риментов.
ют чрезвычайно широкий диапазон длин волн от На основе полученных результатов разработа-
106 до 10–7 м (от КНЧ диапазона радиоволн до ны различные методики регистрации и определе-
светового, рентгеновского диапазона), они явля- ния параметров нестационарных источников
ются уникальным средством диагностики в раз- ЭМИ, успешно применявшиеся на практике. Ил-
личных исследованиях, включая лазерную оптику люстрация решения «прямой» задачи – моделиро-
[8] и квантовую электронику [9, 10]. вание распространения радиоимпульсов вдоль
В работе [3] выполненной непосредственно земной поверхности при отражениях от двумерно
под руководством В. Я. Арсенина обрабатывалась неоднородного (по высоте и расстоянию r) ниж-
серия экспериментальных результатов по регист- него D слоя ионосферы, приведено в работе [7].
рации ЭМИ, возбуждаемого импульсным источ- В заключении позвольте поблагодарить оргко-
ником гамма квантов, расположенным на земной митет конференции, посвященной 80-летию со
поверхности. Регистрация сигнала U(t, r) прово- дня рождения академика В. А. Мельникова. за
дилась на различных удалениях r от источника с предоставленную возможность участия.
достаточно хорошо известными функциями пере-
дачи K(t, r) наземных трасс распространения. Тре-
бовалось найти электромагнитный сигнал U0(t) = Литература
U(t, r = 0), генерируемый источником и неиска- 1. В. Я. Арсенин, М. И. Пергамент, А. Х. Рахма-
женный трассой распространения. Другими сло- туллина, А. Н. Тихонов «Постановка задач для
вами непосредственным результатом являлось разработки математических методов автомати-
решение «обратной»задачи – решение уравнения ческой обработки экспериментальных данных,
«свертки»: U (t , r ) K (t t , r )U 0 (t )dt полученных оптическими способами диагно-
0 стики высокотемпературной плазмы» Пре-
с неизвестной функцией U0(t). принт ИАЭ им. И. В. Курчатова, ИПМ им. М.
Как известно данное уравнение – уравнение В. Келдыша АН СССР. М. 1973.
первого рода, при решении которого приходится 2. В. Я. Арсенин, В. П. Загонов, Р. А. Трахонио-
сталкиваться с проблемами устойчивости и оцен- товская «О численном решении интегральных
ки точности решения в различных временных уравнений первого рода типа свертки на не-
масштабах [2]. Кроме того, при обработке множе-
67
равномерных сетках» Препринт ИПМ им. М. принт ИПМ им. М. В. Келдыша АН СССР
В. Келдыша АН СССР №141, 1978. №32, 1991.
3. В. Я. Арсенин, В. А. Горячев, В. П. Загонов, 7. В. А. Горячев, В. П. Загонов, С. В. Подоляко
«О расчете импульсных функций трасс рас- «Математическое моделирование распростра-
пространения с отражением от нижней ионо- нения радиоимпульсов в условиях крупномас-
сферы». Дифференциальные Уравнения, Т. 16, штабных возмущений ионосферы» Препринт
№ 7, 1980 г. ИПМ им. М. В. Келдыша РАН №112, 1994.
4. В. П. Загонов «Один подход к решению опера- 8. S. M. Zakharov, V. A. Goryachev, ―All-Optical
торных уравнений с использованием априор- Logic Gates for High-Speed Supercomputers. II.
ной информации о производной» Препринт Design and Physical Peculiarities‖, Laser Physics,
ИПМ им. М. В. Келдыша АН СССР №30, v. 4, No. 1, рр. 1-22, 1994.
1985. 9. V. A. Goryachev, S. M. Zakharov, ―Dynamics of
5. Г. Д. Васильков, В. А. Горячев, А. А. Думова Transmission of Ultrashort Light Pulses by Thin-
«Внешние краевые условия в задаче расчета Film Cavity Structures‖, Quantum Electronics, v.
электромагнитных полей от точечного источ- 27, No. 3, 245-248, 1997.
ника гамма – квантов» Препринт ИПМ им. М. 10. V. A. Goryachev, S. M. Zakharov, ―Dynamic
В. Келдыша АН СССР №33, 1989. Features of Interaction a Sequence of Ultrashort
6. Г. Д. Васильков, В. А. Горячев, С. Г. Чубукова Laser Pulses and Planar Thin-Film
«Расчет электромагнитного сигнала от неста- Microcavities‖, Journal of Experimental and
ционарного гамма – источника в условиях ба- Theoretical Physics, v. 87, No. 5, pp. 855-863,
рометрической неоднородности воздуха» Пре- 1998.
Секция 1
Общая структура программного обеспечения
тренажерного комплекса
Михайлюк М. В. , д. ф. м. н. , профессор, НИИСИ РАН
Торгашев М. А. , к. ф. м. н. , НИИСИ РАН
Хураськин И. А. , к. т. н. , НИИСИ РАН
(Работа выполняется при поддержке РФФИ, грант № 09-07-00149_а)
buff
Если подсистемы динамики и визуализации сывает их в заданный буфер buff. После этого
работают на одном компьютере в одном потоке подсистема визуализации считывает эти парамет-
(т. е. на одном процессоре), то их взаимодействие ры из буфера и визуализирует сцену с этими пара-
может быть организовано последовательно метрами (например, с новыми положениями и
(см. рис. 1). Сначала подсистема моделирования ориентациями всех движущихся объектов). И,
рассчитывает динамические параметры модели наконец, запускается модуль временной задерж-
через некоторый промежуток времени dt и запи- ки, который сравнивает суммарное время расчета
69
str str1
Подсистема визуа-
Подсистема динамики лизации
Подсистема динамики может закончить вы- визуализации. Для того, чтобы обеспечить син-
числение параметров, в то время как система ви- хронизацию, эта функция переписывает строку
зуализации еще не закончила обработку текуще- str1 в стек. На этом заканчивается очередной
го кадра. Ожидать этого окончания нет смысла, т. цикл работы потока подсистемы динамики. Та-
к. лучше это время потратить на расчет динамики ким образом, в стеке накапливаются строки с
для следующего кадра. В этом случае предлага- динамическими параметрами до тех пор, пока
ется добавить в проект дополнительный модуль – подсистема визуализации не считает их и не об-
оболочку, которая будет работать в собственном работает. Для корректной работы необходимо
потоке и организовывать совместную работу обеспечить целостность данных в стеке, исклю-
этих подсистем (см. рис. 2). Эта работа будет чив ситуацию одновременного чтения и записи с
проходить следующим образом. Подсистема ди- помощью одного из объектов синхронизации.
намики в своем потоке вычисляет новые значе- Наиболее удобно использовать для этих целей
ния динамических параметров через момент вре- критическую секцию (см. [1]). После окончания
мени dt и записывает их в некоторую строку str. визуализации очередного кадра подсистема ви-
Затем она вызывает функцию Output(str) обрат- зуализации блокирует запись в стек с использо-
ного вызова, которая реализована в модуле обо- ванием критической секции, считывает из него
лочки. Эта функция переводит информацию из все записи, все считанные параметры записывает
выходного формата подсистемы динамики во в свои структуры (заменяя для каждого объекта
входной формат подсистемы визуализации (т. е. значения его параметров более новыми), затем
из строки str в строку str1) и вызывает функцию освобождает стек для записи и начинает визуали-
Set(str). Функция Set(str) реализована в подсисте- зацию следующего кадра. Таким образом, каждая
ме визуализации. Ее задача состоит в том, чтобы из подсистем работает независимо друг от друга,
передать информацию строки str1 в подсистему при этом не требуется переделывать каждую из
70
них для совместимости форматов (т. к. эту со- Проблему синхронизации нескольких каналов
вместимость обеспечивает оболочка) и достига- предлагается решать на основе технологии
ется приемлемая синхронизация их работы. «клиент-сервер» (см. [2]). Для этого один из ком-
В третьем варианте подсистемы могут рабо- пьютеров (выделенный или обслуживающий ка-
тать на разных компьютерах. В этом случае для кой-либо визуальный канал) выбирается в каче-
связи предлагается использовать компьютерную стве сервера, на котором реализуется модуль
сеть. Процесс работы в этом случае будет орга- синхронизации. Моделирующий комплекс пере-
низован следующим образом. Подсистема дина- дает вычисленные параметры модулю синхрони-
мики вычисляет динамические параметры моде- зации (используя одну из вышеописанных техно-
ли, и каждые dt мсек (например, каждые 40 мсек) логий), а тот пересылает их всем компьютерам
посылает подсистеме визуализации информаци- каналов (клиентам). Каждый канал на основе
онный пакет со значениями этих параметров. Для этих параметров визуализирует свою часть вир-
этого разработан специальный информационный туальной сцены в заднем буфере кадра, однако не
протокол, а в качестве базового протокола пере- выводит изображение на экран (т. е. в лицевой
дачи данных используется протокол UDP семей- буфер кадра). Вместо этого он посылает сигнал
ства TCP/IP. Подсистема визуализации получает модулю синхронизации об окончании визуализа-
пакет и визуализирует виртуальную сцену с но- ции. Модуль синхронизации ожидает такие сооб-
выми параметрами. При этом может возникнуть щения от всех компьютеров и, после получения
две ситуации. Первая – если подсистема динами- последнего сообщения, посылает всем компьюте-
ки не успела провести вычисления или пакет не рам команду на вывод сформированных изобра-
успел дойти по сети за время dt. Тогда подсисте- жений на экраны. Получив такие сообщения,
ма визуализации производит экстраполяцию всех клиенты производят смену своих задних и лице-
необходимых параметров на основе их предыду- вых буферов кадра, и части изображения одно-
щих значений. Вторая ситуация – когда послано временно появляются на всех экранах. На рис. 3
подряд несколько пакетов, а система визуализа- показана схема, иллюстрирующая описанную
ции еще не закончила формирование очередного технологию.
кадра. Тогда пакеты будут накапливаться в стеке
и будут считаны и обработаны после окончания
визуализации кадра.
Рис. 3
Интерфейс пользователя, то есть связь под- схеме, как между этими подсистемами. Необхо-
системы управления с подсистемами динамики и димо отметить, что управлять можно как отдель-
визуализации может осуществляться по такой же ными объектами, так и камерами и источниками
71
освещения. При этом управляющие воздействия В этом пульте с помощью мыши можно переклю-
для объектов передаются подсистеме динамики, чать все элементы (кнопки, тумблеры, регулято-
а для камер и источников освещения – подсисте- ры и др. ), тем самым управляя действиями робо-
ме визуализации. В отладочном или нештатном та (его движением, перемещением манипулятора,
режимах для управления можно использовать захватом и т. д. ).
клавиатуру, мышь или джойстик. В штатном Для начального задания положения объектов
режиме используются виртуальные или реаль- в сцене можно использовать конфигурационные
ные пульты управления совместно с подсистемой скриптовые файлы. Это текстовые файлы, в кото-
логики. Каждому элементу управления соответ- рых на специально разработанном скриптовом
ствует своя логическая схема. При воздействии языке записываются начальные значения пара-
оператора на этот элемент (например, переклю- метров для объектов сцены. Файл обрабатывает-
чение тумблера с помощью мыши), логическая ся после загрузки сцены на этапе ее предобработ-
схема вычисляет значение некоторого параметра ки. Кроме того, для тренажерных комплексов,
(например, момента силы, подаваемой на двига- использующих технологию виртуальной реаль-
тель), который затем передается подсистеме ди- ности, для интерфейса пользователя можно ис-
намики по одной из описанных ранее схем. пользовать компьютерные перчатки, системы
На рис. 4 показан пример виртуальной сцены с трекинга и шлемы виртуальной реальности.
роботом и его виртуальным пультом управления.
Рис. 4
Литература
1. Дж. Рихтер. Windows Для профессионалов, Microsoft Press, М. 2001.
2. М. В. Михайлюк, М. А. Торгашев, И. А. Хураськин. Система синхронизации синтеза и отображения
виртуальных трехмерных сцен для распределенных имитационно-тренажерных комплексов. //
Информационные технологии и вычислительные системы, № 4, 2003, стр. 48-55.
Физически корректное моделирование
освещенности в задачах компьютерной графики
Волобой А. Г., к. ф.-м. н.
Институт прикладной математики им. М. В. Келдыша РАН
Работа выполняется при поддержке РФФИ (грант № 08-01-00649)
Введение
Методы синтеза реалистичных изображений, основанные на физически аккуратном моделировании
распространения света в различных средах, являются одним из современных направлений развития ком-
пьютерной графики. Рис. 1 иллюстрирует этот процесс.
Wakamatsu (Япония). Была воссоздана виртуаль- вана с помощью системы, разработанной в ИПМ.
ная модель одного из холлов университета. Были Сравнение результата моделирования с фотогра-
измерены и заданы максимально корректно опти- фиями реального холла показало хорошее соот-
ческие свойства материалов, использованных при ветствие. Небольшие отклонения в основном свя-
строительстве этого холла, а также источники заны с неточностью задания геометрии или инди-
освещения, расположенные там. Далее виртуаль- катрис рассеяния источников освещения (рис. 2).
ная модель холла была рассчитана и визуализиро-
Рис. 2. Сравнение результатов компьютерного моделирования холла университета (рисунок слева) с реальной
фотографией (рисунок справа).
Однако для получения правдоподобных ре- двух направлений. В ИПМ был разработан аппа-
зультатов необходимо максимально корректно ратно-программный комплекс, предназначенный
задавать входные данные: геометрию виртуаль- для измерения спектрального и пространственно-
ной сцены, оптические свойства всех материалов го распределения света, рассеиваемого или пропу-
и источников света, используемых в моделирова- щенного поверхностями. Прибор основан на ори-
нии. Проблема с точным заданием геометрии бы- гинальной концепции, обеспечивающей одновре-
ла решена с помощью разработки plugins к таким менное измерение рассеяния в различных направ-
известным системам автоматизированного моде- лениях и высокое пространственное разрешение в
лирования, как 3DS Max, популярного среди ар- критической области вблизи направления зер-
хитекторов и дизайнеров интерьеров, и Catia, ши- кального отражения. Для параллельного получе-
роко используемой в автомобильной и авиацион- ния большого объема пространственной информа-
ной промышленности. ции используется камера на ПЗС-матрице.
Другим направлением стало моделирование
Оптические свойства материалов новых оптически сложных материалов, таких как
многослойные краски со сложной микрострукту-
Правильное и физически корректное задание
рой (типа перламутровых и «металлик»). В ре-
светорассеивающих (оптических) свойств изобра-
зультате моделирования распространения света в
жаемых объектов и поверхностей является непро-
их внутренней структуре, состоящей из плоскопа-
стой задачей. В большинстве случаев эти свойст-
раллельных однородных слоев, генерируется
ва материалов неизвестны, и получить их можно
ДФО. Каждый слой состоит из прозрачного лака и
только непосредственными измерениями. Наибо-
взвешенных в нем пигментных частиц и интерфе-
лее общий способ описания светорассеивающих
ренционных чешуек (рис. 3а). После проведенно-
свойств поверхности – задание двунаправленных
го моделирования полученные ДФО могут быть
функций отражения/пропускания (ДФО/ДФП).
использованы при генерации реалистичных изо-
ДФО/ДФП, заданная в каждой точке поверхности,
бражений автомобилей или других объектов, по-
определяет какая часть энергии, пришедшая с
крытых этими оптически сложными материалами
направления win, будет рассеяна поверхностью в
(рис. 3б).
направлении wout. Таким образом, в общем случае,
ДФО/ДФП в каждой точке является функцией
74
Рис. 3а. Структура многослойной краски. Рис. 3б. Модель автомобиля, окрашенная
смоделированной краской.
интерфейс центрального
процессора 128
разрядов 64 разряда, 166 МГц
контроллер
блок обработки вершин коммутатор памяти
DDR SDRAM
работа с 32-разрядными числами в формате с симальная частота работы 166 МГц (по двум
плавающей запятой; фронтам). Контроллер будет работать в двух ре-
перемножение матриц размерностью 4 4; жимах: раздельная память, единая память. Пер-
расчет обратной величины; вый режим, один канал памяти используется для
расчет квадратного корня от обратной величины. хранения пиксельных данных, второй канал ис-
Блок наложения текстур предназначен для пользуется для хранения текстур и информации о
расчета цвета пикселя на основе информации об параметре глубины пикселей. В этом случае наи-
освещенности вершин, параметра глубины вер- более интенсивный обмен данными будет возло-
шин и координат текстуры. Также возможно ис- жен на второй канал памяти. Второй режим,
пользование различных методов смешивания тек- управление видеопамятью будет реализован та-
стур. Для этого блока предъявляются следующие ким образом, чтобы сократить накладные расходы
основные требования: на переключение страниц в динамической памяти.
эффективное использование кэш памяти для
снижения требований по пропускной 3. Блок наложения текстур
способности шины видеопамяти; Текстурный конвейер состоит из последова-
одновременное наложение текстур на несколько тельно выполняемых стадий. На первом этапе
пикселей; происходит выборка данных из области видеопа-
реализация проверки параметра глубины пикселя мяти, отведѐнной под хранение текстур. После
на ранних стадиях конвейера для исключения получения данных происходить распаковка сжа-
обработки невидимых на экране пикселей.
тых текстур.
Блок управления 3D предназначен для управ-
Суть технологии в том, что текстура разбива-
ления блоками обработки вершин и наложения
ется на квадраты 4 на 4 точки. Затем формируется
текстур.
таблица выборки текселей, при которых все цвета
Коммутатор необходим для реализации обме-
сводятся к 4-м, помещѐнным в данную таблицу, и
на данными между различными блоками. Факти-
каждому из 16 текселей присваивается двухраз-
чески он реализован на основе нескольких 128-
рядный код, соответствующий таблице выборки.
разрядных шин соединяющих четыре блока. Мак-
Таким образом, данная система сжатия текстур
симальная частота его работы 166 МГц.
имеет простой декодер, а кроме того, поскольку
Контроллер памяти необходим для управления
текстура разбивается на независимые квадраты,
видеопамятью. Предполагается использование
то возможна параллельная распаковка текстуры.
двухканального контроллера памяти - две 64-
В предлагаемом текстурном блоке возможна од-
разрядных шины с раздельным управлением, мак-
82
Входная шина данных
вершины треугольника. После получения вида
треугольника с нанесѐнной текстурой произво-
дится преобразование координат каждой точки на
плоскость экрана. Для этого существуют три типа
матриц: поворота вокруг оси абсцисс, ординат и
Текстурный кэш
аппликат соответственно. Кроме того, могут ис-
пользоваться матрицы масштабирования и линей-
ного переноса.
Последним этапом работы текстурного блока
является фильтрация изображения. Фильтрация
256
может применяться как билинейная, так и трили-
нейная, так и технология mip-текстурирования.
Структура получившегося текстурного блока изо-
Декомпрессор
бражена на рисунке 2.
область область область область
Умножение матриц производится с фиксиро-
4Х4 4Х4 4Х4 4Х4 ванной запятой. При преобразовании координат
Память текущих текстур текселей текстур не требуется производить умно-
жение с плавающей запятой, так как точности
фиксированной запятой достаточно для преобра-
зования текстуры. Кроме того, за счѐт фиксиро-
Преобразование Преобразование ванного значения порядка и отсутствия знака,
текстуры под текстуры под
текущий текущий точнее, только положительного его значения, ум-
треугольник треугольник ножение фактически превращается в простое це-
Слияние лочисленное и может быть выполнено за один
такт.
Значения тригонометрических функций вы-
числяются процессором, который заполняет мат-
Преобразование Преобразование
текстуры под текстуры под рицу, то есть прописывает регистры, соответст-
текущий текущий вующие строкам матрицы.
треугольник треугольник
Слияние
4. Аппаратные средства
профилирования
Современные процессоры общего назначения,
такие как процессоры семейства x86, IA-64,
Фильтрация Power, MIPS и др. , поддерживают профилирова-
ние программ посредством использования аппа-
ратных счетчиков – специальных регистров, фик-
Выходная шина данных сирующих аппаратные события определенного
типа.
Рис. 2. Блок-схема блока наложения
текстур.
В качестве примера аппаратных событий мож-
но привести общее число процессорных тактов,
общее число выполненных команд, число выпол-
новременная распаковка четырѐх сжатых 16- ненных операций с плавающей точкой, число про-
тексельных участков текстуры. махов при обращении к виртуальной и кэш-
Далее для треугольника определяется, какие памяти и др.
именно пиксели принадлежат треугольнику. С На сегодняшний день для разработчиков ПО,
помощью алгоритма Брезенхема по вершинам осуществляющего профилирование кода, стандар-
строятся три прямые линии, ограничивающие том de facto является проект PAPI (Perfomance
область. Суть метода в следующем: для генериро- Application Programming Interface). На рис. 3 пред-
вания отрезков прямых Брезенхем на каждом ша- ставлена архитектура PAPI.
ге использует точку, наиболее близко располо- В PAPI выделяется два основных уровня:
женную к идеальному отрезку. платформ о -независим ый и платформ о -
Затем каждой точке треугольника присваива- зависимый, скрывающий от пользователя детали
ется соответствующий тексель текстуры, исходя реализации доступа к аппаратным счетчикам кон-
из заданного смещения текстуры относительно кретного процессора. Для этого, в частности,
83
функции PAPI платформо-зависимого уровня мо- более широкого профилирования в условиях де-
гут использовать расширения ядра, функции целе- фицита аппаратных ресурсов.
вой операционной системы или непосредственно В PAPI определяются следующие области дей-
язык ассемблера. ствия счетчиков событий:
В состав высокоуровневого интерфейса вхо- подсчет событий производится, только когда
дит всего 7 функций, предоставляющих базовые процессор выполняется в режиме пользователя,
операции над аппаратными счетчиками: запуск, подсчет событий производится, только когда
останов, чтение со сбросом и без. При этом мож- процессор выполняется в режиме ядра,
но использовать только события, предопределен- подсчет событий производится, только когда
ные стандартом PAPI. происходит обработка исключительных
Функции интерфейса верхнего уровня исполь- ситуаций, включает в себя все предыдущие
зуют низкоуровневый интерфейс PAPI, освобож- области.
дая пользователя от явных вызовов, например,
функции инициализации библиотеки PAPI. Переполнение возникает в том случае, когда
Низкоуровневый интерфейс обладает по срав- число возникших событий превышает максималь-
нению с высокоуровневым интерфейсом расши- ное число, способное поместиться в регистре-
ренной функциональностью и большей эффектив- счетчике. В этом случае PAPI предусматривает
ностью. В его состав входит более 50 различных возмо жность выпо лнения специальных
функций, которые можно условно разделить на обработчиков, задаваемых пользователем.
следующие группы:
инициализация библиотеки PAPI, Для GPU предлагается добавить несколько
функции измерения времени, аппаратных событий, а именно:
функции получения информации, произошла выборка текстуры из кэша текстур;
служебные функции, произошла выборка блока данных из
функции управления множествами событий, видеопамяти.
функции управления аппаратными счетчиками.
Индексный буфер 0 3 4 1 1 4 5 2 …
indexOffset
V0 Vk
Вершинный буфер P0 T00 T01 T02 T03 … Pk Tk0 Tk1 Tk2 Tk3
posOffset texOffset
Рис. 3.
Для визуализации квада Q(i, j) на CPU необхо- деляющие соответственно смещения позиции P и
димо задать смещение indexOffset от начала ин- текстурных координат T относительно смещения
дексного буфера, задающее индекс первой верши- начала атрибутов вершины V квада Q(i, j) в буфе-
ны V квада, и количество считываемых индексов ре вершинных данных. По индексам вершин ква-
(в данном случае 4). Также на CPU необходимо да GPU автоматически считывает из вершинного
вычислить параметры posOffset и texOffset, опре-
86
буфера необходимые позиции вершин и текстур- затем разбить общий буфер позиций вершин на p
ные координаты согласно формулам: буферов, содержащих равное количество столб-
Pindex index sizeOfVert ex posOffset, цов ветки вершин, а буферы текстурных коорди-
нат и индексов вершин сократить в p раз. При
Tindex index sizeOfVert ex texOffset ,
этом общее количество позиций вершин будет
где sizeOfVertex – число байт памяти, отводи- увеличиваться на p-1 столбцов сетки вершин (т. к.
мое под атрибуты одной вершины. позиции столбцов разбиения придется дублиро-
Смещение texOffset рассчитывается на основе вать), один буфер текстурных координат будет
четности номеров строки и столбца квада в сетке соответствовать каждому из p буферов позиций
вершин. Для этого номера берутся по модулю 2, и вершин.
по ним вычисляется смещение 0,1,2,3 в од- Параметр p выбирается таким образом, чтобы
номерном массиве из 4-х вариантов текстурных общий объем памяти был минимален. Введем
координат вершины: обозначения n = N + 1, m = M + 1. При делении
i 0 0 2 2 j 0 0 2 sizeOfTexC oords , текстурный буфер будет иметь (n-1)/p столбцов
квадов, т. е. (n-1)/p + 1 столбцов вершин. Так как
где sizeOfTexCoords - число байт памяти, отво- каждый столбец содержит m вершин, каждая из
димое под одну пару текстурных координат. которых включает 3 геометрические координаты
Итоговое смещение текстурных координат для и 4 пары текстурных координат, то общий объем
всех вершин каждого из 4-x смежных квадов бу- необходимой памяти будет выражаться форму-
дет иметь вид: лой:
texOffset firstTexOffset,
n 1
где firstTexOffset - смещение в байтах начала Vp 3 m n m p 1 8 m 1
массива текстурных координат относительно на- p
чала атрибутов вершины.
Вычислив и приравняв к нулю производную
Уменьшение избыточности функции V(p), находим, что V(p) будет минималь-
вершинных данных. на при
8 n 1
Если посмотреть на сетку квадов с рассчитан-
p .
3
ными смещениями (рис. 4), то видно, что значе-
В качестве окончательного из двух ближайших к
ния текстурных координат вершин квада, взятые с
р целых чисел надо выбрать то, для которого V(p)
этим смещением будут повторяться через строку
имеет меньшее значение.
и через столбец. Для уменьшения избыточности
Аналогично можно сократить количество из-
можно разделить вершинный буфер на буфер по-
быточных вершинных данных, разделив буфер
зиций вершин и буфер текстурных координат, а
позиций на p ' буферов, содержащих равное ко-
личество строк сетки вершин.
на с фер е. Р азм ер се т к и со с та в л яе т
97 193 18721 вершин. Для уменьшения избы-
точности хранения вершинных данных использо-
валось р = 6 буферов позиций вершин. Разреше-
ние текстурных фрагментов составляет
512 512 пикселей при исходном разрешении
текстуры 24576 49152 пикселей.
Список использованных
информационных источников.
1. Михайлюк М. В. Основы компьютерной
графики. – М. : «МАТИ» – РГТУ им. К. Э.
Циолковского, 2002.
2. Matthias Wloka, ―Batch, Batch, Batch: What does
Рис. 5(2).
it really mean?‖, NVIDIA Corporation, GameDe-
Пример программной реализации. velopers Conference, 2003.
3. Using Vertex Buffer Objects (VBOs), NVIDIA
Описанная технология текстурирования боль-
Corporation, 2003.
ших регулярных сеток была реализована в про- 4. Технологии эффективного рендеринга
граммном модуле, визуализирующем поверхность геометрии. http://www. gamedev. ru/articles/?
Земли в режиме реального времени (рис. 5). Мо- id=20124
дель Земли представлена полигональной сферой,
построенной из сетки вершин, эквивалентной ре-
гулярной, в которой число строк – это число па-
раллелей, а число столбцов – число меридианов
Трехмерное динамическое моделирование работ
по реабилитации пункта временного хранения
ОЯТ и РАО в пос. Гремиха
Степеннов Д. Б., Максимов С. Б., РНЦ «Курчатовский институт»
Для реализации проекта по экологической реабилитации пункта временного хранения (ПВХ) ОЯТ
и РАО в п. Гремиха в РНЦ «Курчатовский институт» разработана информационно-аналитическая
система (ИАС), аккумулирующая в себе информацию по проекту и обеспечивающая возможность
решения различных задач, возникающих перед проектной командой в процессе выполнения на
всех стадиях работ по проекту.
Данные ИАС используются, в том числе, для проведения моделирования работ по проекту. В со-
став ИАС входит трехмерная модель ПВХ, включающая в себя модели рельефа местности, дорог,
зданий и сооружений, объектов реабилитации и технического оборудования, модель акватории
Святоносского залива. Эти данные в полном объеме используются для моделирования технологи-
ческих схем обращения с радиоактивными отходами.
В процессе уточнения было произведено качест- который имеет удельную активность выше 104 Бк/
венное обновление трехмерной модели согласно кг, произведен рассчет объемов радиоактивного
масштабу 1:500 и конвертирование данных в ло- грунта. Для определения объемов грунта на тер-
кальную систему координат. ритории ПВХ применена технология расчета, ос-
Модели зданий и сооружений строились на нованная на трехмерном объемном моделирова-
основе поэтажных планов и внесенных в них нии требуемой территории в метрической системе
уточнений по результатам визуального обследо- координат с последующим вычислением величи-
вания, фото- и видеосъемки. ны объема. В качестве ограничивающих поверх-
Модели контейнеров, машин и механизмов ностей искомого объема были использованы три-
строились на основе технической документации и ангуляционная модель поверхности ПВХ без уче-
дополнительного визуального обследования. та зданий и сооружений и триангуляционная мо-
Детальность моделей объектов, машин и меха- дель условной скальной поверхности, составлен-
низмов средняя, что позволило сократить время ная по результатам геологического обследования.
на моделирование, но при этом передать их вид При разработке транспортно-технологической
достаточно реалистично. схемы по вывозу контейнеров с площадки вре-
менного хранения твердых радиоактивных отхо-
2. Использование трехмерной модели. дов, расположенной на ПВХ, трехмерная модель
Динамическое моделирование работ использовалась для выявления ‖узких‖ мест схе-
Созданная трехмерная модель используется мы, моделирования работ в виртуальном про-
для решения разного рода технологических задач, странстве до их фактического исполнения, на-
возникающих в процессе выполнения проекта по глядной визуализации работ для руководящего
реабилитации ПВХ. Например, специалистами персонала и исполнителей.
РНЦ «Курчатовский институт» с помощью моде- Для осуществления моделирования работ была
ли была выполнена предварительная оценка рас- разработана технология моделирования, вклю-
пространения радиоактивного и химического за- чающая в себя разработку сценария моделирова-
грязнений в вертикальном профиле грунтов и ния, выбор технических средств и реализацию с
подземных водах в пределах территории ПВХ. их помощью сценария.
Определены участки с загрязненным грунтом,
Предлагаемое решение
Разрабатываемая система представляет собой
аппаратно-программный комплекс (рис. 2). Аппа-
ратная часть системы состоит их трех основных
компонент, в том числе:
1) комплекта беспроводных носимых конечных
устройств с датчиками, закрепляемых на час- - носимые устройства с датчиками
тях тела, движения которых необходимо от-
следить, Рис. 2. Беспроводная система отслеживания
2) модуля координатора, который собирает ин- движений человека на основе БСС.
формацию с датчиков конечных устройств и
передает ее на сервер обработки и визуализа-
ции данных, с которым он соединен, и
3) головного компьютера-сервера. Датчики пре-
доставляют информацию об углах поворота,
ускорении, скорости, координатах, ориента-
ции, угловой скорости и угловом ускорении.
Программное обеспечение системы отвечает за
сбор и обработку данных с датчиков движения
и визуализацию движений 3-мерной модели
человека-аватара в режиме реального времени.
Для визуализации в реальном времени отсле- ным областям применения беспроводной системы
живаемых движений человека была разработана отслеживания движений человека можно отнести:
программная студия трехмерной визуализации погружающие системы виртуальной реальности,
(рис. 4). Разработка велась на языке MS Visual C# предоставляющие весь комплекс человеко-
с использованием открытой графической библио- машинных интерфейсов для взаимодействия
теки OpenGL. Данная студия позволяет в реаль- человека с виртуальной средой;
ном времени визуализировать отслеживаемые домашние игровые системы, позволяющие в
движения, сохранять полученные данные и вос- домашних условиях более полно погрузиться в
производить ранее сохраненные данные визуали- атмосферу игры или «социальной» виртуальной
зации (анимации). среды типа «Вторая Жизнь» (Second Life);
Программа совместима с существующими профессиональные системы для измерений и
системами трехмерного моделирования, такими обработки данных движения человека в
как Autodesk 3ds Max, Maya, Blender и др. Это киноиндустрии при создании художественных и
обеспечивается за счет использования для хране- анимационных фильмов, в интерактивных
ния данных файла в формате BVH, разработанно- телевизионных студиях и в рекламной
го компанией Biovision и широко используемого в индустрии;
системах «захвата движений» типа Motion Cap- тренировочные и симуляционные системы
ture. Данный формат данных позволяет хранить виртуальных сред, позволяющие отрабатывать
всю необходимую для 3-мерной визуализации различные ситуации для задач подготовки
человека-аватара информацию, включая данные о специалистов (медицина, подготовка к работе как
скелете анимируемого персонажа и данные о дви- на борту, так и за его пределами МКС,
жениях отдельных частей тела. виртуальные командные центры и т. п. );
виртуальная робототехника и преобразование
реальных движений в виртуальные для
3. Особенности предлагаемого решения управления различными манипуляторами,
Ранее не было полностью беспроводной систе- человеко-подобными роботами;
мы отслеживания движения в реальном времени. исследования в области эргономики,
В лучшем случае в таких системах носимые ко- реабилитационной медицины;
нечные устройства с датчиками объединяются применения в области спорта высших
проводными каналами, а информация на компью- достижений для сбора данных спортсменов в
тер передается по беспроводным каналам связи. В процессе тренировок и соревнований для их
данной же разработке базовые элементы системы последующей обработки и анализа.
не связаны проводными каналами связи - все дан-
ные с носимых устройств передаются по радиока- Заключение
налу с частотой 2. 4 ГГц. Для использования сис-
В данной работе представлена беспроводная
темы не требуется какого-либо специального по-
система отслеживания движений человека на ос-
мещения с дополнительным оборудованием
нове технологии беспроводных сенсорных сетей.
(специальные камеры, экраны, излучатели, пото-
Данная система включает в себя все необходимое
лочные маркеры и т. п. ), достаточно подключить
оборудование и программное обеспечение для
систему к обычному компьютеру.
отслеживания движения и его визуализации.
Среди основных достоинств системы следует
Основные достоинства предлагаемого реше-
отметить относительно низкую стоимость конеч-
ния – это отсутствие проводных каналов связи,
ной системы по сравнению с существующими
высокая масштабируемость, низкая стоимость по
подобными системами, отсутствие лишних про-
сравнению с существующими системами, а также
водных каналов связи, хорошую масштабируе-
отсутствие необходимости в оборудовании специ-
мость, отсутствие потребности в специально обо-
альных площадок или помещений.
рудованной лаборатории, автономность конечных
Разработанный макет системы отслеживания
носимых устройств с датчиками, работу в реаль-
движений человека демонстрирует возможности
ном времени, совместимость с существующими
применения технологии БСС при передачи дан-
системами трехмерного моделирования.
ных с датчиков по беспроводному каналу связи и
визуализации их в реальном времени на сервере
4. Будущее развитие системы визуализации.
Спектр возможных применений разрабатывае- В будущем планируется разработать собствен-
мой системы достаточно широк. К перспектив- ный измерительный инерциальный модуль не-
95
Одной из важнейших составных частей трена- появились штатные бортовые телевизионные сис-
жеров пилотируемых космических аппаратов, темы, в задачи которых, в числе прочих, входил
впрочем, как и подавляющего большинства трена- контроль за процессом сближения и стыковкой
жеров других динамических объектов, является или с помощью которых непосредственно осуще-
система имитации визуальной обстановки ствлялась стыковка.
(СИВО) в приборах и средствах наблюдения. Объем средств СИВО для тренажеров являлся
Обязательными функциями СИВО являются фор- достаточно большим. Поэтому при разработке
мирование визуальной информации и еѐ воспро- средств СИВО требовалось соединить два разно-
изведение в приборе или средстве наблюдения. плановых требования: - создание средств для
Для первых тренажеров пилотируемых косми- имитации визуальной обстановки в конкретном
ческих кораблей создавались уникальные, не приборе или средстве наблюдения и, чтобы они,
имеющие аналогов оптико-механические имита- по возможности, были унифицированными, по-
торы визуальной обстановки, предназначенные скольку это является основополагающим принци-
для моделирования визуальной обстановки в кон- пом централизации средств. Кроме того, техниче-
кретных средствах наблюдения. В этих имитато- ские средства должны были быть достаточно на-
рах функции формирования изображения и функ- дежными или обеспечены резервированием и
ции отображения изображения в средстве наблю- должно было быть обеспечено документирование
дения были совмещены, а для контроля изображе- процесса тренировки путем видеозаписи любых
ния использовалась телевизионная камера, кото- нужных сюжетов с помощью видеомагнитофонов.
рая передавала изображение визуальной обста- Наиболее полно требованиям универсальности
новки на видеомонитор пульта инструктора. Учи- соответствовали разрабатываемые в ИАиЭ СО
тывая уникальность и сложность таких имитато- АН СССР, так называемые, синтезирующие сис-
ров, стоимость их была весьма большой, а сроки темы визуализации (ССВ). Это направление раз-
изготовления растягивались на годы. В 1971 году вития средств имитации (в частности, система
была запущена первая космическая станция «Горизонт-1» как результат НИР, выполненной в
«Салют» и появилась задача подготовки экипа- ИАиЭ СО АН СССР) сразу же оценили специали-
жей по осуществлению режимов сближения и сты, и не случайно уже в 1979 году появился
стыковки транспортных кораблей со станциями. «договор о научно-техническом сотрудничестве
И в тренажерах в конце 60-х и начале 70-х годов между ИАиЭ СО АН СССР, ЦПК и ОКБ СУ НПИ
появились первые оптико-телевизионные имита- по вопросу создания синтезирующей системы
торы, в которых функции формирования первич- визуализации внешней космической обстановки».
ного изображения и функции отображения этого Подключение ИАиЭ СО АН СССР в качестве
изображения в средстве наблюдения были разде- соисполнителя по созданию синтезирующих сис-
лены. Прежде всего, это было связано с тем, что тем визуализации в рамках «ТМК» позволило
97
ние процессов выполнения конкретных операций Существует большая группа задач, связанных
в штатном и аварийных режимах работы. с обслуживанием пилотируемых комплексов с
Проведение таких испытаний с натурными помощью робототехнических систем, в частно-
макетами в наземных условиях часто невозможно сти:
или требует создания сложных дорогостоящих Работы по инспекции состояния внешней
стендов и тренажѐров. поверхности РС МКС, контролю
В последнее время интенсивно развиваются электромагнитной и радиационной обстановки
технологии виртуальной реальности (ВР) и теле- на станции и в еѐ окрестности, проведение
присутствия. Системы телеприсутствия обеспечи- экспериментов на станции без участия или с
вают передачу телевизионного и стереотелевизи- минимальным участием экипажа, обслуживание
онного изображения на большие расстояния. Сис- экипажа как внутри станции, так и при ВКД на
темы виртуальной реальности обеспечивают ре- орбитальных станциях и на поверхности Луны и
шение задачи визуализации операций, выполняе- Марса.
мых техническими устройствами путѐм создания
геометрических моделей поверхностей объектов, Появление роботов в системе обслуживания
образующих 3D-сцену и создание программно- не означает, что все работы будут выполняться
технических средств синтеза изображений. Обе автоматически. Система остаѐтся «человеко-
технологии позволяют создавать современные машинной», так как в контуре управления РТС
тренажные системы и системы обучения, умень- остаѐтся оператор, у которого изменяется вид
шающие риск ошибочных действий оператора, деятельности. Избавляясь от выполнения рутин-
управляющего техническим устройством. ных и опасных для здоровья операции космонав-
Вместе с тем использование технологий вир- ты должны владеть технологиями ВР для дистан-
туальной реальности потребует решения целого ционного управления сложными робототехниче-
ряда новых задач, таких как создание: скими комплексами.
прогнозирующих дисплеев для моделирования При подготовке космонавтов к новому для них
задержек в линиях связи, виду деятельности необходимо создание различ-
развитого «человеко-машинного» интерфейса ных тренажѐров, функционально-моделирующих
для управления роботами с помощью стендов, систем визуального отображения окру-
многомерных указателей, речевых команд, жающей среды, в которой планируется функцио-
органов управления с силомоментным и нирование РТС, в том числе при совместной рабо-
та к т и ль н ым о ч ув с т в л ен и ем , с и с тем те с космонавтами.
стереовизуализации наблюдаемых процессов, Использование интерактивных виртуальных
виртуальных аналогов сенсорных систем, сред (ИВС), обеспечивает погружение пользова-
позволяющих контролировать поведение робота теля в трѐхмерную интерактивную среду изучае-
и состояние его внешней среды. мого явления или процесса, участие в событиях
среды с использованием естественного интуитив-
Важно отметить, что технологии виртуальной ного интерфейса для взаимодействия с объектами
реальности позволяют визуализировать невиди- (искусственными или реальными) в виртуальной
мые процессы, что существенно расширяет сферу среде.
использования РТС КН, упрощают процесс Реализация ИВС позволит поддерживать непо-
управления за счѐт оперативной привязки вирту- средственный контакт с моделируемой средой,
альных операций к реальным событиям, а также обеспечивая полисенсорное восприятие среды,
обеспечивают более полное представление о вы- отрабатывать совместную работу экипажей и опе-
полняемых операциях. раторов центров дистанционного управления ро-
Разработка интерактивных виртуальных сред бототехническими устройствами космического
(ИВР) моделирования и поддержки функциониро- назначения.
вания робототехнических средств для сборки и Исследования и разработки в данной области
обслуживания космических объектов, включая носят междисциплинарный характер и наиболее
задачи обслуживания экипажей космических интенсивно ведутся в США, Канаде, Европейском
станций, необходима для создания комплекса сообществе, Японии, при этом разрабатываются
средств интерактивного моделирования и под- как компоненты систем виртуальной реальности
держки процессов дистанционного обслуживания (системы формирования объѐмных изображений,
и сборки КО, а также обслуживания экипажей PC системы имитации взаимодействия с объектами
МКС с помощью робототехнических средств. виртуальной реальности), так и комплексные тре-
105
а) б) в) г)
Рис. 1. 3D-сцена моделирования стыковки модулей FGB, NODE и корабля Space Shuttle.
а) б) в) г)
Рис. 2. Изменение компонент связности графа 3D-сцены показанной на рис.1.
а) б) в) г) д) е)
Рис. 3. Примеры типичных изменений компонент связности графов структуры (серым обозначены корни
ордеревьев).
Если структура 3D-объекта (вся целиком или мой задачи находятся GOF-паттерны поведения,
еѐ подмножество) используется как кинематиче- известные под названиями «Mediator» и
ская система (например, при моделировании ра- «Observer», [4], однако они не обладают исчерпы-
боты шагающих манипуляторов, [6], [7]), отноше- вающим набором возможностей. Для управления
ние порядка в структуре объекта начинает играть взаимодействием авторы предлагают два специ-
важную роль. Это отношение, в сущности, опре- альных паттерна, которые названы «Сцепщик
деляет весь алгоритм управления связанным дви- RTR-деревьев» (англ. вариант - «RTR-Coupler») и
жением звеньев кинематической системы. «Расщепитель RTR-деревьев» (англ. вариант -
Напомним, что ордерево структуры 3D- «RTR-Splitter»).
объекта является нагруженным, причѐм нагрузкой В основу обоих паттернов, положена идея со-
являются матрицы ортогональных преобразова- хранения инкапсуляции алгоритмов рекурсивных
ний систем координат структурных единиц по- ортогональных преобразований в том же виде,
верхности 3D-объекта. Обход ордерева (в направ- что и при обходе монолитного ордерева, но для
лении от корня к листъям) является одновременно структур, связность которых может изменяться в
и процессом рекурсивного вычисления матриц течении сессии моделирования группового пове-
ортогональных преобразований для каждого из дения 3D-объектов (примерно так, как показано
примитивов, образующих поверхность. Измене- на рис. 3). Для реализации этой идеи имеется
ние отношения порядка в таком графе приводит к предпосылка: исчерпывающая информация о
изменению одновременно и алгоритма обхода, и связности ордерева заключена в списке рѐбер, а
алгоритма вычислений матриц ортогональных сам RTR-список может быть виртуальным
преобразований (ортогональные преобразования (заметим, что списки рѐбер не являются связан-
на RTR-деревьях подробно рассмотрены в [6] и ными списками, см. [6] и [7]).
[7]). Таким образом, изменение компонент связно-
При программной реализации алгоритмов сти леса 3D-сцены можно реализовать:
управления компонентами связности графа сцены добавлением или исключением мостов в списках
важной задачей является построения паттернов рѐбер для ордеревьев 3D-объектов;
проектирования, описывающих свойства и взаи- объединением и разбиением списков рѐбер
модействие программных объектов. Готового пат- (заметим, что списки рѐбер не являются
терна для этой цели в настоящее время не сущест- связанными списками, см. [6] и [7]).
вует. Ближе всего к особенностям рассматривае-
109
SetRoot()
6DOF-vector GetState() 6DOF-vector
Notify()
SetRoot()
6DOF-vector GetState() Notify() 6DOF-vector
Необходимо отметить, что в результате рабо- SetRoot ()). В результате определения корней
ты объектов Coupler и Splitter не уничтожаются автоматически задаются нужные направления
существующие и не создаются новые 3D- обходов в ветвях ордревьев полученных струк-
объекты. Создаются и уничтожаются только мос- тур.
ты между узлами ордеревьев (функции Cre- Между объектами Splitter/Coupler и SceneMo-
ateEdge(), DeleteEdge()) и источниками данных о nitor организована двусторонняя связь. Соответ-
движении (функции Attach(), Detach()). В инду- ствующий преобразователь связей получает от
цированной виртуальной среде активные монитора сцены данные о состоянии сцены, не-
(ведущие) объекты получают данные о движении обходимые для изменения структур (функция
в виде 6DOF-векторов или полученных на их GetState()). В свою очередь монитор сцены полу-
основе матриц от объектов DataSource, связан- чает уведомления об изменениях в графе сцены
ных с источниками телеметрической информаци- (функция Notify()), необходимые для переключе-
ей. Пассивные (ведомые) объекты получают эти ния источников данных о движении между нуж-
данные как поддеревья (другими словами, пере- ными источниками и приѐмникам.
дача данных инкапсулируется в процедурах об- Свойства и возможности RTR-деревьев и их
хода ордеревьев). программного аналога – связанных RTR-списков
Управление связями между 3D-объектами и – позволяют существенно облегчить моделирова-
источниками данных о движении возлагается на ние и визуализацию объектов, в структурах кото-
объект SceneMonitor, который также переназна- рых происходят изменения связности и отноше-
чает при необходимости корни в реорганизован- ния порядка. В то же время представление об
ных структурах 3D-объектов (функция отношении порядка в ордереве как о переменной
110
Реализация крупных проектов, таких как воз- вдоль временной оси в соответствии с календар-
ведение небоскреба, строительство атомной элек- ными датами начала и завершения. Отношения
тростанции или сборка авиалайнера, невозможна предшествования между работами изображаются
без адекватного планирования, эффективного соответствующими соединительными линиями. В
контроля и управления. Для решения подобных альтернативном представлении сетевой диаграм-
задач традиционно применяются методы кален- мы отдельные работы отображаются в виде по-
дарно-сетевого планирования, такие как метод именованных вершин графа, а отношениям пред-
расчета критического пути (Critical Path Method) и шествования между ними — в виде направленных
метод оценки и анализа рисков программ ребер. Графики потребления показывают, каким
(Program Evaluation and Review Technique) [1, 2]. образом назначенные ресурсы распределяются
В основе методов лежит идея определения про- между работами и расходуются в ходе выполне-
ектных работ и их последовательностей, имею- ния проекта.
щих минимальный временной резерв и являю- Упомянутые методы планирования и визуали-
щихся критичными по отношению к срокам реа- зации планов программно реализованы и включе-
лизации проекта. С этой целью в CPM методе ны в состав практически всех современных сис-
последовательно уточняются допустимые даты тем управления проектами, таких как MS Project,
начала и завершения работ, а также устанавлива- Primavera, Time Line, Open Plan, Asta PowerPro-
ются временные резервы, превышение которых ject, Spider Project. Как правило, компьютерные
может привести к сдвигу сроков всего проекта. В реализации учитывают иерархическую структури-
PERT методе анализируются риски несвоевремен- зацию и декомпозицию проектных работ, отноше-
ного завершения проекта с учетом вероятностно- ния предшествования между ними, временные
го распределения длительностей отдельных ра- ограничения в виде установленных промежуточ-
бот. В некоторых модификациях методов прини- ных вех и сроков завершения проекта, назначения
мается во внимание фактор конкурентного ис- и профили потребления ресурсов, а также функ-
пользования проектных ресурсов в работах, про- ции распределения длительности работ. Разверну-
водимых одновременно. В ряде случаев это при- тый сравнительный обзор систем данного класса
водит к коррекции календарно-сетевого графика и можно найти в [3].
удлинению сроков проекта. Вместе с тем, все рассмотренные выше методы
Для визуального представления результатов игнорируют пространственно-временные ограни-
планирования обычно применяются диаграммы чения в размещении и использовании ресурсов и
Ганта, сетевые диаграммы и графики потребления не позволяют адекватно спланировать проекты, в
ресурсов. На диаграммах Ганта, являющихся наи- которых подобный фактор может иметь решаю-
более распространенной визуальной нотацией для щее значение. Чтобы решить эту проблему, пред-
проектных планов, работы представляются гори- лагается консолидировать данные календарно-
зонтальными полосками, позиционируемыми сетевого планирования и конструкторской доку-
112
В настоящее время средства и системы визу- транзакций. Однако организация типовых сессий
ального моделирования получили широкое рас- инженерии, предполагающих продолжительную
пространение в разнообразных дисциплинах ин- изолированную работу индивидуальных пользо-
женерии. Как правило, они реализуют стандарт- вателей, крайне проблематична в силу ограничен-
ные визуальные нотации и лежащие в их основе ного мультидоступа к централизованному пред-
методологии решения прикладных задач. Благо- ставлению моделей.
даря этому участники совместной деятельности Привлечение технологий оптимистической
легко находят между собой общий язык и могут репликации позволяет отказаться от необходимой
эффективно взаимодействовать в ходе работы над централизации управления информационными
единым проектом. Например, современные систе- ресурсами и обеспечить возможность эффектив-
мы программной инженерии реализуют актуаль- ной одновременной работы пользователей со
ную методологию программной разработки MDA своими версиями визуальных моделей. Ключевой
на основе универсального языка моделирования проблемой при этом оказывается согласование
UML [1]. Для моделирования промышленной ин- дивергентных реплик, которое бы приводило к
формации находит применение графический язык корректному и содержательному результату,
EXPRESS-G, являющийся одним из элементов удовлетворяющему всех пользователей. В настоя-
распространенной методологии представления и щей работе проблема согласования решается с
обмена данными STEP [2]. При анализе и реинжи- помощью оригинального метода семантической
ниринге бизнес-процессов традиционно применя- реконсиляции, получившего распространение в
ется методология и сопутствующая ей визуальная ряде прикладных областей. Детальное описание
нотация IDEF [3]. В системах календарно- метода и разработанных на его основе приложе-
сетевого планирования широко используются ний можно найти в работах [5, 6].
методы CPM и PERT, а также тесно связанные с Метод сочетает в себе следующие принципы и
ними визуальные представления планов и распи- идеи:
саний в виде сетевых диаграмм и диаграмм Ганта использование формальных моделей прикладных
[4]. данных для решения задач сопоставления и
Однако попытки коллективной работы с по- нечеткого сравнения дивергентных реплик;
добными визуальными моделями наталкиваются установление отношений зависимости, порядка и
на препятствия фундаментального характера. композиции между операциями конкурентных
Проведение совместных презентационных сессий, транзакций на основе анализа семантических
исключающих какие-либо конкурентные измене- ограничений модели;
ния моделей, возможно при их централизованном применение методов логического,
хранении под управлением популярных СУБД и полисиллогистического вывода для выработки
применении традиционных пессимистических перспективных непротиворечивых
115
1 A1 1 A1
2 A2
2 A2
3 A3
3 A3
4 A4
4 A4
5 A5
5 M
6 M
(f)
(e)
1 A1 1 A1
2 A2 2 A2
3 A3 3 A3
4 A4 4 A4
5 A5 5 A5
6 M 6 M
(c) (d)
1 A1 1 A1
2 A2 2 A2
3 A3 3 A3
4 A4 4 A4
5 M 5 M
(a) (b)
19. Csurka G., Zeller C., Zhang Z., Faugeras O.D. www.graphicon.ru/2008/proceedings/Posters/
Characterizing the Uncertainty of the Fundamen- Poster_15.pdf) // Proceedings of GraphiCon'2008,
tal Matrix (http://citeseer.ist.psu.edu/article/ Moscow, Russia, 2008, P.306.
csurka95characterizing.html) //Computer Vision 24. Birchfield S., Tomasi C. Multiway cut for stereo
and Image Understanding. – 1997. – V.68. – No. and motion with slanted surfaces // Proceedings of
1. – P. 18 – 36. International Conference on Computer Vision. –
20. Hartley R.I. Theory and Practice of Projective 1999, – P. 489 – 495.
Rectification (http://users.rsise.anu.edu.au/ 25. Lin M.H., Tomasi C. Surfaces with Occlusions
~hartley/Papers/joint-epipolar/journal/ from Layered Stereo. //IEEE Computer Society
joint3.pdf) // International Journal of Computer Conference on Computer Vision and Pattern Rec-
Vision. – 1999. – V.35. – No. 2. – P. 115 – 127. ognition, 2003.
21. Longuet–Higgins H.C. A Computer Algorithm for
Reconstructing a Scene From Two Projections //
Nature, September 1981. – V. 293, – P. 133 –
135.
22. Свешникова Н.В., Юрин Д.В. Алгоритмы
факторизации: достоверность результата и
применение для восстановления эпиполярной
геометрии (http://www.graphicon.ru/2006/
proceedings/papers/
fr09_32_Sveshnikova_Yurin.pdf) // Труды
конференции Графикон 2006, Россия,
Новосибирск, Академгородок, 1 – 5 июля
2006. – С.158 – 165.
23. Semeikina E., Yurin D. Finding and refinement
planes in 3D points cloud obtained under 3D re-
covery from image set (http://
Создание виртуального окружения
в тренажерных комплексах
Хураськин И. А., к.т.н., НИИСИ РАН
(Работа выполняется при поддержке РФФИ, грант 09-07-00149-а)
Рис. 1
ЭИИМ мах=50дБВт
48дБВт
47 дБВт
46дБВт
в каждом стволе достаточно выделения двух порядка 5000 км и повысить добротность стволов
смежных полос радиочастот F1 и F2. При КА по приему и ЭИИМ стволов КА по передаче
этом в сети DVB-RCS будет обеспечиваться про- на 9 дб относительно соответствующих парамет-
странственно (S) частотно (F) временной (Т) мно- ров глобального луча.
гостанционный доступ MSF-TDMA. Общая структура приемно-передающего трак-
Каждый парциальный луч гибридной МЛА та ствола КА с БЦП и гибридной МЛА представ-
позволит обеспечить покрытие зоны диаметром лена на Рис. 2.
Луч-4
БЦП-2
БЦП-3
БЦП-4
Для сравнительного анализа вариантов реали- счет конвеерной демодуляции определяются чис-
зации стандарта DVB-RCS, в качестве исходных лом одновременно демодулируемых сигналов.
параметров, используются частотно - С выхода блока формирования группового
энергетические параметры стандартного ствола сигнала TDMA данного ствола групповой сигнал
КА «Экспресс-АМ» [8]: поступает на вход синхронно управляемого циф-
ЭИИМ ствола в режиме «насыщения» = 50 дбвт; рового коммутатора и далее после кодирования и
добротность ствола G/T = 3 дб/оК; модуляции на один из четырех ствольных пере-
полоса ствола F = 54 МГц. датчиков КА «Экспресс-АМ» с полосой F =
54 МГц, постоянно работающих в режиме
В сетях DVB-RCS [6,7], работающих в режиме «насыщения» на один из четырех парциальных
MF-TDMA без БЦП и МЛА, на линии ЗС – КА – лучей МЛА.
ЦС принимаем: В итоге, групповой сигнал с выхода каждого
кодирование/декодирование по «Витерби», блока БЦП (с периодом порядка 5мсек) с помо-
FEC = 3/4; щью синхронно управляемого цифрового комму-
кодирование/декодирование Рида Соломона, татора последовательно коммутируется на один
РС = 47/51; из 4-х передающих парциальных лучей МЛА.
метод модуляции/демодуляции - QPSC. Одновременно с коммутацией группового сигнала
меняется частота гетеродина и соответственно
На линии ЦС – КА – ЗС принимаем соответст- несущая частота передатчика, работающего на
венно: данный парциальный луч.
кодирование/декодирование по «Витерби»,
FEC = 7/8; 2. Сравнительный анализ
кодирование/декодирование Рида Соломона, эффективности использования
РС = 47/51; пространственно-частотно-временного
метод модуляции/демодуляции - 16PSC. ресурса КА с МЛА и БЦП в сетях связи
стандарта DVB-RCS
В сетях DVB-RCS, работающих в режиме MSF Для принятых выше исходных данных в сетях
-TDMA c МЛА и БЦП, на линии ЗС (ЦС) – КА DVB-RCS, работающих в режиме MF-TDMA без
принимаем: МЛА и БЦП, в стволе КА с полосой 54 МГц [8],
кодирование/декодирование по «Витерби», может быть организовано 20 обратных каналов от
FEC = 3/4; ЗС со скоростью по 2,048 Мбит/сек и прямой ка-
кодирование/декодирование Рида Соломона, нал от ЦС со скоростью 40,096 Мбит/сек.
РС = 47/51; Таким образом, пропускная способность стан-
метод модуляции/демодуляции - QPSC. дартной сети DVB-RCS в пересчете на один ствол
На линии КА – ЗС (ЦС) принимаем КА «Экспресс-АМ» в дуплексном режиме соста-
соответственно: вит 40,096 Мбит/сек.
кодирование/декодирование по «Витерби», Для сетей DVB-RCS, работающих в режиме
FEC = 7/8; MSF-TDMA c МЛА и БЦП, в каждом луче по
кодирование/декодирование Рида Соломона, приему в режиме MF-TDMA в полосе 27 МГц [8]
РС = 47/51; может быть организовано 14 обратных каналов от
метод модуляции/демодуляции – 16PSC. ЗС и ЦС со скоростью 2,048 Мбит/сек.
Соответственно суммарный групповой сигнал
Для варианта с МЛА и БЦП используются TDMA на выходе БЦП каждого ствола будет
параллельно четыре одновременно работающих иметь информационную скорость 114,688 Мбит/
ствола, БЦП каждого ствола КА имеет 4 прием- сек. и может быть передан в полосе 54 МГц [8].
ные линейки с полосой F1 или F2, где F1 В итоге, пропускная способность сети DVB-
= F2 = 27 МГц, а добротность приемных линеек RCS (в пересчете на один ствол КА «Экспресс-
G/T = (3 + 9) = 12 дб/оК. АМ»), работающей в режиме MSF-TDMA c МЛА
Соответственно каждый блок БЦП включает 4 и БЦП, в дуплексном режиме составит 114,688
линейки групповых конвеерных демодуляторов Мбит/сек., что в 2,86 раза выше относительно
(по одной линейке на каждый парциальный луч стандартной сети DVB-RCS.
МЛА) и блок формирования суммарного группо- Сравнительная оценка энергетики двух вари-
вого сигнала TDMA. Дополнительные потери за антов показывает, что в радиолинии ЗС – КА ре-
129
В середине 1980-х годов, когда Intelsat, а чуть инфотелекоммуникационной технологии под на-
позже Eutelsat стали предлагать услуги VSAT званием «satXpress» – high speed asymmetric secure
(Very Small Aperture Terminal – спутниковая стан- two way IP-services via satellite (ESA-project AO/1-
ция с антенной малого диаметра), связисты быст- 3650 (Multimedia Satellite Services Pilot Operations
ро сформировали рынок телефонных услуг для Contract No ESTEC 14520/00/NL/DS)). Экспери-
труднодоступных регионов. Настоящий бум на- менты, проведенные на низкоскоростных широко-
ступил тогда, когда VSAT-технологию начали полосных широковещательных принципах пере-
применять для оказания современных информа- дачи информации, оказались успешными, в том
ционных услуг – передачи данных, специальных числе на территории России, в частности сетевых
корпоративных приложений, доступа в информа- операционных центрах в Главном здании РАН, а
ционные сети и к удаленным информационным также на площадях Математического института
массивам. Победное шествие VSAT-технологии РАН и НИИ «Дельта». При этом использовались
сопровождалось не менее победоносным шестви- траспондеры Ku-диапазона геостационарных
ем (распространением) Интернет-технологии. спутников «Горизонт 11В» (СССР-РАКА) и
Тотальная IP-зация информационных процессов «SESAT 36E» (ESA). Были достигнуты скорости
привела к реализации современных инфотелеком- до 6Мбит/с в прямом направлении в канале спут-
муникационных технологий, в том числе интерак- ник-земля и 128Кбит/с в обратном направлении
тивных спутниковых систем на основе VSAT. при обмене информацией в формате MPEG-2 с
Появился симбиоз Интернет и VSAT. Таким обра- использованием DVB-стандарта и IP-протокола.
зом, VSAT-технологии помогают в преодолении Начиная с 22 ноября 2002 года имеется возмож-
не только проблемы «последней мили», но и ность доступа со скоростями до 8Мбит/с в пря-
«последнего дюйма» в распространении Интерне- мом и до 384Кбит/с в обратном направлениях
та. через спутник для массового использования про-
В 90-ые годы 20-го столетия усилиями уче- вайдерами.
ных, конструкторов, инженеров и финансистов, В указанном пилотном проекте принимали
представляющих Европу, Россию, США и Изра- участие научные работники учреждений РАН и
иль, успешно выполнялся пилотная часть гранди- НИИ «Дельта» на основании гранта Еврокомисии
озного проекта под девизом «Always on Broad- по науке и технологиям. Научно-технические ре-
band Anywhere». Проект предусматривает созда- зультаты по созданию первого поколения высоко-
ние и развитие широкополосных спутниковых скоротных спутниковых терминалов передачи
сетей, решающих практически все существующие данных были успешно внедрены в Европе и на
задачи для реализации современных инфотеле- территории бывшего СССР в Литве, Таджикиста-
коммуникационных систем: организация магист- не и Грузии в 2002-2005 годах.
ральных каналов, кэш-сервис, односторонний Однако научная мысль не останавливается на
(комбинированный) или двусторонний достигнутом, технический прогресс неумолим и
(интерактивный) доступ в Интернет, «полоса по неотвратим. Научно-исследовательские и опытно-
требованию», конвергенционные компьютерно- конструкторские работы продолжаются. Очеред-
телевизионные технологии, мобильное телевиде- ная задача заключается в повышении пропускной
ние и многое другое. способности спутникового магистрального канала
Некоторые результаты научно-технических и до 50Мбит/с в прямом и до 2Мбит/с в обратном
опытно-конструкторских работ данного проекта направлении. Кроме того, в процессе дальнейших
стали доступны пользователям в эксперименталь- исследований предстоят решать серьезные задачи
ном порядке уже с января 2001 года в качестве по повышению степени защищенности
131
(безопасности) передачи информации путем реа- рии предполагается освоить Ка-диапазон. Это –
лизации новейших криптографических алгорит- шаг на пути к успешной конкуренции с провод-
мов и методов шифрования для использования ными магистральными средствами связи.
данной инфотелекоммуникационной системы в Безусловно, освоение нового Ка-диапазона
военных, дипломатических, банковских и других наталкивается на технические проблемы. Прежде
корпоративных целях. Развитие будущих спутни- всего, это еще большая, чем в Ku-диапазоне, за-
ковых инфотелекоммуникационных систем пой- висимость надежности связи от погодных усло-
дет по пути повышения пропускной способности вий. Решение проблемы – в наличии достаточно-
телекоммуникационной среды (скорости обмена го энергетического запаса в сигнале со спутника
информацией) и безопасности (криптогра- (что не всегда возможно) на случай неблагопри-
фической защиты информации от несанкциони- ятных погодных условий и относительно новых
рованного доступа) сетей. Итак, беспроводной для спутниковых сетей методов приема сигнала.
доступ, скорость и безопасность - 3 кита, чьи По некоторым данным освоение Ku-диапазона
плечи выдержат конкуренцию. показало, что для надежной связи необходимо
Совет директоров всеобще известной компа- иметь энергетический запас в 10дБ (вместо 4-
нии «Eutelsat» принял решение о развитии спут- 6дБ, закладываемых в настоящее время). При
никовых сетей с целью построения перспектив- прочих равных условиях для Ka-диапазона даже
ных инфотелекоммуникационных систем на их запас в 20дБ не обеспечивает надежную связь.
базе. Подобные решения появились и в России в Поэтому при создании сетей этого диапазона
планах обновления отечественной спутниковой используют так называемый разнесенный прием
группировки. Это позволит поддержать развитие (хорошо известный в системах связи КВ-
услуг спутниковой связи и повысить их качество диапазона). На расстоянии 20-30км располагает-
на уровень требований Интернет-2. Например, ся второй антенный пост для обеспечения
ведется разработка, запуск и эксплуатация специ- «разнесенного» приема на случай неблагоприят-
альных спутников для поддержания интерактив- ных погодных условий на первом антенном по-
ного широкополосного сервиса с помощью 16-и сту. Так что, по-видимому, проблема решаема.
транспондеров с полосами 36МГц и 4-х транс- Кроме того, важным вопросом массового исполь-
пондеров с полосами 108МГц, предназначенных зования двунаправленных спутниковых систем
для обратного канала. На спутниках данной се- является обеспечение приемлемых габаритов
Секция 3
Исследование подхода снижения потребляемой
мощности нанотранзисторных цифровых
устройств
Масальский Н. В., к.ф.-м.н.
Научно-сследовательский институт системных исследований РАН, г. Москва.
В настоящее время создание СБИС с понижен- Реализацию ДУП следует рассматривать как две
ным напряжением питания и малой рассеиваемой взаимосвязанные задачи:
мощностью является важнейшей задачей для про- контроль питания;
ектирования и изготовления современных микро- аппаратная реализация схемы управления
процессорных систем, аппаратуры для мобиль- питания.
ных, телекоммуникационных и навигационных В рамках первой задачи определяются необхо-
систем. Поиск путей энергосбережения представ- димость и возможность варьирования напряжения
ляет собой нетривиальную задачу и целиком оп- питания транзисторов того или иного функцио-
ределяется конкретными требованиями к проек- нального блока. В рамках второй задачи рассмат-
тируемому цифровому устройству. риваются пути аппаратной реализации схем, не-
При переходе к нанометровым технологиям в посредственно управляющих питанием блоков,
энергопотреблении КМОП СБИС преобладающей которые были определены в первом пункте.
становится статическая составляющая мощности. При аппаратной реализации ДУП питания воз-
Следовательно, необходимо при выборе подходов никает ряд проблем:
к снижению энергопотребления учитывать воз- потери в быстродействии при переходе из одного
растающий вклад статической мощности. Одним режима энергопотребления в другой;
из возможных методов к снижению статической значительные аппаратные затраты на
мощности является уменьшение напряжение пи- дополнительную логику управления питанием;
тания вплоть до отключения функциональных для функциональных блоков, имеющих схемы
блоков от шин земли и питания в тот период, ко- памяти - затраты на перезагрузку хранящихся
гда их работа не требуется, что приводит к умень- данных могут быть больше чем экономия при
шению или даже отсутствию токов утечки. отключении блоков;
Динамическое управление питанием (ДУП) в нахождение оптимального баланса между
функциональных блоках позволяет изменять их режимами работы схемы;
производительность в зависимости от требований рост динамической мощности из-за добавления
конкретной задачи, что в конечном итоге сущест- блоков управления энергопотреблением;
венно снижает уровень потребляемой мощности. поиск оптимального решения между
энергопотреблением и ростом площади
134
кристалла и задержки при наличии схем памяти В противном случае в процессе перестройки воз-
внутри функционального блока; можна потеря или искажение данных, хранящих-
требуется разработка следующих специальных ся в них. При восстановлении данных необходимо
блоков: осуществлять контроль правильности их восста-
контроллер питания; новления данных. Эти операции могут значитель-
цепи отключения питания; но увеличить как задержку, так и уровень энерго-
регистры данных. потребления при переходе из одного режима в
другой.
Смена значения напряжения питания занимает На примере 32-разрядного параллельного сум-
определенное время, в течение которого работа матора, выполненном на транзисторах по техно-
блока должна быть приостановлена, а текущие логии TSMC90 с длиной канала 100 нм численно
состояния сохранены в регистрах. Следует учиты- моделируется данных подход для случая полного
вать тот факт, что изменение напряжения питания отключения устройства от шин питания. Ниже на
в первую очередь влияет на помехоустойчивость рисункках приведены результаты моделирования
схем, поэтому независимо от схемотехники логи- базовых характеристик, проведенные при помощи
ческих цепей регистры должны быть максималь- программы HSPICE.
но помехозащищенными, то есть статическими.
, нc P , мВт
Udd, В Udd, В
При модификации схемы сумматора (введения на 12%. Быстродействие схемы в целом уменьша-
дополнительных регистров на входе и выходе и ется на 22%. Эффективность данного подхода
дополнительного контроллера питания для его следует оценивать из соотношения:
отключения) анализировалось влияние оптимиза-
ции мощности на площадь кристалла и быстро-
toff 5( in off )
действие схемы. По результатам моделирования где t off - время, в течении которого сумматор
показано, что при использовании предлагаемого не выполняет операций, in , off - время необхо-
подхода при напряжении питания 1 В достигается димое на включение и выключение питания, соот-
снижение усредненной мощности сумматора до ветственно.
35%, при этом динамическая мощность вырастает
Статистический метод определения времени
начала оптимизаций в динамическом
оптимизирующем трансляторе
Гимпельсон В. Д.
ОАО «ИНЭУМ»
Будем считать, что задана своей плотно- R p 1 . Тогда время, затраченное на выполне-
стью p(x) . Также положим, что случайная вели- ние одной инструкции исходной платформы, рав-
чина имеет конечное математическое ожида- няется:
ние. Пусть код начинает оптимизироваться после p
tn p
В Таблице 1 в первом столбце приведено сред- всех повторений одной инструкции при значени-
нее время исполнения всех повторений одной ях R1 , R2 , R3 подсчитанное для суммарного про-
инструкции при значениях R1 , R2 , R3 подсчи- филя всех задач, в третьем отношение этих вели-
танных для этой задачи в отдельности, во втором чин.
столбце приведено среднее время исполнения
Таблица 1. Сравнительная таблица потерь времени для задач из пакета SPECint 95.
4. Выполнение инструкций
После декодирования номер группы операции
используется как индекс в таблице функций, осу-
ществляющих выполнение инструкций. Каждая
из функций соответствует определенной группе
инструкций (например команды перехода с раз-
личными условиями или всевозможные варианты
операций сдвига), и в ней происходит
окончательное декодирование и ис-
полнение операции. Такой способ
организации позволяет заменить не-
сколько сотен функций, многие
из которых практически идентич-
ны, несколькими десятками. При
этом, в силу однородности опера-
ций в группе, различаются только действия над
операндами, в то время как сами операнды деко-
Рис 1. Упрощенная схема моделирующего комплекса дируются едино для всей группы, то есть значи-
архитектуры SPARC V9 тельно упрощается и структурируется исходный
код.
С функциональной точки зрения процессорное
ядро производит основной цикл выполнения, 5. Обработка прерываний
включающий такие действия как загрузка инст- Подсистема прерываний является одной из
рукции, декодирование, чтение операндов, испол- важнейших в процессоре. Система команд SPARC
нения и так далее. Ниже рассмотрены некоторые V9 имеет сравнительно сложную архитектуру,
особенности их реализации в модели, в том числе поддерживающую 5 уровней прерываний. В то же
те, которые позволили обеспечить приемлемую время, поведение системы несильно отличается от
производительность программного комплекса. уровня к уровню (исключением является лишь
Декодирование инструкций в системе команд последний отладочный уровень) [3]. Это, а также
SPARC V9 – это преобразование 32-битной инст- необходимость реализации только двух типов
рукции в тип операции, непосредственные опе- прерываний (точных и асинхронных, ибо отло-
ранды или номера регистров, содержащих опе- женные прерывания в реализации процессора не
ранды, и номер регистра, содержащий результат. предусмотрены), позволяет создать достаточно
Декодирование является достаточно трудоемкой компактный модуль обработки прерываний. Точ-
задачей, вместе с тем оно должно быть быстрым и ные прерывания (исключения) обнаруживаются в
точным. Традиционно декодеры производят раз- момент выполнения инструкции и срабатывают в
бор вплоть до кода операции (в данной модели порядке приоритета. Обработка точных прерыва-
более 300) [2, 4], попутно заполняя структуры, ний реализована с помощью класса exception
хранящие значения операндов. Это приводит к стандартной библиотеки C++. Такой подход по-
появлению большого количества таблиц перехо- зволяет значительно упростить читабельность
дов и, как следствие, чрезмерному разрастанию кода по сравнению с традиционным методом реа-
декодера, снижению читабельности кода и пони- лизации через системные вызовы setjmp/longjmp
жению скорости. Вместо этого, в разработанном [2,4] и избавиться от возможной потери произво-
симуляторе реализован упрощенный предекодер. дительности, связанной с использованием систем-
Команда разбирается только до определения ного вызова longjmp. Единственное требование —
140
проверка точных прерываний должна производит- го для повышения полноты тестирования и по-
ся в порядке их приоритетов. Однако, оно не яв- крытия. В третьих, следует отметить создание
ляется трудновыполнимым, так как приоритеты программы начальной загрузки (boot), выполняю-
соответствуют степени обработки инструкции, то щейся с момента старта вычислительного ком-
есть с продвижением инструкции по конвейеру плекса до передачи управления операционной
они понижаются. системе. Одной из задач загрузчика является на-
чальное тестирование и настройка аппаратуры,
6. Отладочные возможности соответственно, для корректной работы загрузчи-
ка на симуляторе потребовалось очень точное
К основным характеристикам разработанного
соответствие моделируемого железа реальному. И
моделирующего комплекса, в первую очередь,
наконец, моделирующий комплекс был в полной
относится возможность максимально подробной
мере использован при портировании операцион-
трассировки. Это трассировка состояния симуля-
ной системы Linux для работы на данной архитек-
тора, отображение декодированного кода и вы-
туре. Загрузка операционной системы, как ничто
полняемых в соответствии с ним действий, трас-
другое, требует особой точности и корректности
сировка прерываний и исключений, трассировка
моделирования не только всех архитектурных
изменения состояний регистров и памяти по за-
особенностей, но и поддержки множества перифе-
данному физическому адресу, печать общей ин-
рийных устройств.
формации о выполнении при выходе из програм-
мы. Допускается и выборочная трассировка в за-
данном диапазоне адресов исполняемого кода или Список литературы
тактов.
1. Magnusson, P. S., Dahlgren, F., Grahn, H., Karls-
Любой из узлов симулятора может быть отла-
son, M., Larsson, F., Lundholm, F., Moestedt, A.,
жен путем трассировке каждого из устройств в
Nilsson, J., Stenstrvm, P., Werner, B. (1998),
отдельности. При этом возможна трассировка как
SimICS/sun4m: A Virtual Workstation, in
отдельных узлов микропроцессора, таких как: `Usenix Annual Technical Conference'.
устройство управления памятью (MMU), устрой- 2. Rosenblum, M., Herrod, S. A., Witchel, E.,
ство трансляции адресов (TLB), кэши данных и Gupta, A. (1995), Complete Computer System
команд 1-го уровня, кэш 2-го уровня и т.д., так и Simulation: The SimOS Approach, IEEE Parallel
периферийных устройств. and Distributed Technology .
Еще одним полезным инструментом отладки 3. Weaver, D., Germond, T., (1994), The SPARC
симулятора и приложений является поддержка Architecture Manual, Version 9, SPARC Interna-
механизма работы с контрольными точками, со- tional, Inc.
держащими точный слепок системы на момент 4. Zadarnowski, P. (2000), The design and imple-
съема данных о ее состоянии: всех регистров про- mentation of an extendible instruction-set simula-
цессора и периферийных устройств, содержимого tor, BE thesis, School of Computer Science and
всех занятых областей памяти и значения любых Engineering, University of New South Wales,
переменных, оказывающих влияние на поведение Australia.
системы.
7. Применение
Разработанный симулятор был задействован в
ряде задач. В первую очередь, надо отметить фор-
мирование направленных архитектурных тестов,
проверяющих соответствие реализации процессо-
ра специфицированной для него системе команд.
При этом тесты и симулятор разрабатывались
независимо, что позволило провести начальную
отладку симулятора на тестовом пакете. К момен-
ту написания публикации тестовый пакет насчи-
тывал более 1200 направленных тестов, успешно
выполняющихся на симуляторе. Вторым принци-
пиально важным применением является разработ-
ка генератора случайных тестов, предназначенно-
Разработка планировщика задач
реального масштаба времени для ОС Unix
Федотов Д. А., аспирант
ОАО «ИНЭУМ»
Процессы первой
190-175 фазы прерываний
Процессы реального
174-116 масштаба времени
Процессы второй
115-100 фазы прерываний
Процессы с разделе-
59-0 нием времени
Можно выделить два основных принципа по- Вторым типом является система с неоднород-
строения многопроцессорных систем. Первым из ным доступом в память (NUMA). NUMA-система
них является симметричная многопроцессорная представляет собой сеть определѐнной топологии
система (SMP), представляющая собой иерархи- из однотипных модулей (процессоров). Каждый
ческое дерево с общим коммутирующим моду- процессор имеет встроенный контроллер памяти,
лем, в качестве листьев которого выступают от- обслуживающий часть общей памяти системы.
дельные процессоры. Выход на общую память Основным достоинством NUMA-систем является
имеется только в коммутирующем модуле. хорошая масштабируемость, а недостатком – не-
В большинстве случае такие системы не расши- однородное время доступа в память, а также -
ряемы по максимальному объѐму оперативной увеличение времени доступа по мере увеличения
памяти, пропускной способности канала памяти и числа процессоров.
числу процессоров – все основные параметры
определяются на стадии создания системы.
RAM IO
Commutator (level 2)
CPU CPU CPU CPU
SMP NUMA
Рис.1. Примеры основных типов организации многопроцессорных систем
144
1
Cache coherent Non-uniform Memory Access – когерентная система с неоднородным доступом в память.
145
создание только одного кластера (см. рис. 2). Для то-есть, к памяти, обслуживаемой в других кла-
дальнейшего увеличения числа процессоров тре- стерах., справочник – к локальной. Фильтр отсле-
буется дополнительный чип – контроллер меж- живает состояние кэш-строк удалѐнных процессо-
кластерного обмена (КМО). Его основным назна- ров, а также содержит идентификатор процессора
чением является объединение нескольких класте- -владельца, если данные кэшированы. Ниже при-
ров (до 4-х) для создания серверов среднего уров- водится несколько вариантов выполнения считы-
ня, то есть когерентных систем с общей памятью вания удалѐнных данных с участием фильтра.
с числом процессоров не более 16 (рис. 3). В Варианты расположены в порядке увеличения
функции КМО входит трансляция обращений в времени доступа и загрузки межпроцессорных и
память удалѐнных кластеров, а также формирова- межкластерных каналов. При обращении к уда-
ние запросов проверки когерентности для процес- лѐнной памяти КМО определяет при помощи
соров данного кластера. При взаимодействии фильтра, что:
двух КМО используется расширенный протокол Запрашиваемые данные отсутствуют в кэшах
межпроцессорного обмена. процессоров других кластеров, но используются
(строка в кэше в состоянии ―Modified‖) одним из
Cluster #0 Cluster #1 процессоров локального кластера. КМО не
формирует обращений в удалѐнные кластеры, а
CPU #0 CPU #1 CPU #0 CPU #1
всем процессорам локального кластера
отсылаются запросы проверки когерентности, тип
ICS ICS
которых соответствует типу исходного запроса.
Модифицированные данные из удалѐнного
кластера-владельца данных есть в кэше
CPU #3 CPU #2 CPU #3 CPU #2 процессора. КМО направляет в соответствующий
кластер запрос проверки когерентности,
возвращающий в качестве ответа данные из кэша
процессора-владельца данных
CPU #0 CPU #1 CPU #0 CPU #1
Данных нет ни у одного процессора. КМО в этом
случае транслирует исходный запрос в кластер,
обслуживающий данную ячейку памяти (кластер-
ICS ICS владелец), где запрос передаѐтся в процессорный
м о д у л ь и , д а л е е ,
CPU #3 CPU #2 CPU #3 CPU #2
в контроллер памяти.
Модифицированные данные есть в кэше
Cluster #2 Cluster #3 процессора из удалѐнного кластера. КМО
передаѐт исходный запрос в кластер-владелец,
Рис. 3. 4 кластера, объединѐнные посредством КМО откуда по справочнику запрос транслируется в
(ICS – Inter Cluster Switch) кластер, содержащий процессор с
модифицированными данными.
Основной проблемой при увеличении числа
процессоров в NUMA-системах является квадра- Справочник служит для слежения за локаль-
тичное2 по отношению к количеству процессоров ной памятью. В справочнике содержится инфор-
увеличение вырабатываемых запросов проверки мация о том, есть ли данные из памяти, принадле-
когерентности и, как следствие, рост величины жащей кластеру, в кэше процессоров, входящих в
задержки доступа к данным и падение эффектив- удалѐнные кластеры. Если после проверки оказы-
ной пропускной способности каналов межпроцес- вается, что данные не кэшированы в удалѐнных
сорного обмена. В качестве решения данной про- процессорах, это позволяет не выдавать запросы
блемы без усложнения логики процессорного мо- проверки когерентности за пределы кластера. Ес-
дуля, в частности системного коммутатора, пред- ли же данные есть в кэшах одного или нескольких
лагается сократить число запросов проверки коге- процессоров из других кластеров, а локальный
рентности, путѐм оптимизации работы КМО. Для процессор, выдавший запрос, собирается произво-
этого в КМО помимо коммутирующей логики дить модификацию данных по этому адресу, то во
вводятся два устройства: фильтр и справочник. все удалѐнные кластеры, содержащие эти данные,
Фильтр оптимизирует доступ к удалѐнной памяти
2
При наличии в системе n процессоров в каждом такте может быть сформировано n обращений в память, каждое из которых
вызовет генерацию n запросов проверки когерентности.
146
3
Нет необходимости в программной поддержке когерентности, как, например, в Cray BlackWidow. Но предполагается, что
операционная система оптимизирована под архитектуру NUMA.
Новый тип наводок в МПП с локальной
металлизацией в экранах
Тимофеев В. К.
слоя PWR относительно слоя GND на рис.1. емкостное сопротивление RС∑ стремится к нулю,
C01 = C02 = C03 = C04 = C0 – погонные собствен- следовательно, Un также стремится к нулю (4).
ные емкости плоских частей сигнальных провод-
ников относительно экранов. Краевыми емкостя- При условии, что C01 = C02 = C03 = C04 = C0
ми сигнальных проводников рис.2 пренебрегаем, (рис.2.), когда Ri существенно меньше 2RC0,
поскольку они должны учитываться только при
ширине сигнальных проводников соизмеримых с 1 1
толщиной металлизации. В рассматриваемом слу- Upwr = E·RС0 /(Ri +2RС0) = E /(Ri +2 )=
чае W=0.25мм, а t=0.035мм, т.е. отличаются почти 1 j С j С
на порядок. Теория краевых емкостей подробно E · J ω C / 2 .
рассмотрена в [1].
j С (5)
В тех случаях, когда ширина локальной метал-
лизации, под которой проходят сигнальные про- Очевидно, что частоты и емкости сокращают-
водники, становится соизмеримой с шириной сиг- ся, а напряжения на нагрузках в начале и конце
нальных проводников (при СP1 = CP2 =0 и при S = линий передачи не зависят ни от частоты, ни от
W), можно считать, что сумма последовательно емкости пассивных линий передачи, следователь-
включенных емкостей С03 и С04 равна емкости C∑ но, не зависит и от длины линий связи. Еще раз
рис.2. подчеркиваем, что указанное свойство характерно
Емкостное сопротивление каждой емкостной только при выполнении условия высокоомности
составляющей для эквивалентной схемы рис.2. состояний всех входов интегральных схем и мало-
может быть оценено по формуле: сти значения внутреннего сопротивления генера-
тора, подключенного к активной линии передачи.
Первое условие, безусловно, выполняется для
RCi = (1) всех низкочастотных составляющих спектра по-
1 следовательности импульсных сигналов, следова-
jСi тельно, импульсная помеха должна проявляться в
Re = RС∑||(Rc03 + RC04), (2) течение всего времени действия каждого импуль-
Где Re – эквивалентное сопротивление парал- са. Эта помеха не затухает с течением времени,
лельных ветвей. как это свойственно перекрестным помехам в
Напряжение на локальной металлизации PWR классических параллельных связанных линиях
равно передачи, расположенных на малых расстояниях
друг от друга.
Upwr = E Re (3) Из соотношения (5) следует, что Upwr = E/2, а
,
( Ri Rc 02 Re) напряжение помехи на нагрузке при равенстве
Где Е - ЭДС генератора G. емкостей C03 , C04, в два раза меньше - UH = E/4 т.е.
Напряжение наводки на пассивной линии пе- при амплитуде импульсного сигнала 3300mV ам-
редачи или на нагрузочном сопротивлении RH плитуда сигнала помехи может составить 825mV.
может быть определено по формуле: Итак, следует признать, что область значений
UH = Upwr (RС∑||(Rc03 + RC04)) / (Ri + Rс02+ (RС∑|| помех (как функции от ширины локальной метал-
( R c 0 3 + R C 0 4 ) ) лизации для несопряженных экранов) находится в
(4) области значений от 0 до E/4V.
При моделировании указанного процесса сле-
Для большинства генераторов импульсной дует ожидать соответствия формы сигнала поме-
техники внутреннее сопротивление генератора Ri. хи форме сигнала задающего генератора и незави-
равняется приблизительно 10 - 40 Ом. Поэтому в симости амплитуд помех от длины области связи,
эквивалентной схеме рис. 2. можно пренебречь расстояний ―S‖ между активным и пассивными
влиянием емкости С01, включенной параллельно проводниками при S > 3W1.
внутреннему сопротивлению генератора Ri. (по
формуле [1] для проводника 100мм, на частоте
следования импульсов 100МГц емкостное сопро-
тивление проводника RC01 = 150 Ом). Для упроще-
ния качественных оценок примем Rn >>Z0. Тогда,
при увеличении емкости C∑, т.е. при увеличении
ширины металлизации WPWR, соответствующее
150
Рис. 3. Объемное представление линий связи с узкой локальной металлизацией над ними.
Ранее отмечалось, что при ширине локальной металлизации, равной утроенной ширине
сигнального проводника, помеха должна равняться 1/4 амплитуды сигнала генератора.
Ug/4 = Up1 + Up2 ; Ug = 2840/4 = 710.
Результаты моделирования:
Up1 + Up2 = 347mV + 331mV =678mV – отклонение от ожидаемой величины - 4.5%.
Подобное отклонение вполне допустимо в связи с тем, что ранее было сделано допущение о
равенстве нулю перекрестной связи между торцами смежных линий, которые расположены на
расстоянии S меньшем утроенной ширины сигнального проводника W. В рассматриваемом
случае S = W.
2.2 Низкоомные нагрузки на концах линий передачи.
RP3 = RP4 = 60 Ohm RP3 = 20 Ohm; RP4 = 60 Ohm
При RP3 = RP4 = 60 Ohm амплитуда помехи Up = 303 mV соизмерима с уровнем помехи
Up = 347 mV в варианте высокоомных нагрузок на концах линий передачи.
В типовом варианте RP3 = 20 Ohm; RP4 = 60 Ohm помеха снижается Up = 158 mV из-за
уменьшения сопротивления порта P3 до 20 Ohm.
Моделирование паразитных связей в линиях передачи с несопряженным экраном шириной 8мм.
На рис. 6 представлена общая электрическая схема включения портов и связанных линий передачи.
Данные импульсного сигнала соответствуют активному порту Р1.
Порт Р3 для данного варианта был заменен на пассивный порт с сопротивлением R=1000 Ом.
Рис. 8. Формы сигналов помех в линиях передачи, содержащих нагрузки в низкоомнымных и высокоомных
состояниях.
Выводы
Рассмотрен тип перекрестных помех в смежных линиях передачи, связанных с отсутствием в «САПР
МПП» требования по безусловному сопряжению экранов.
Подчеркивается необходимость сопряжения экранов на выходе ИС и в конце линии передачи на входе
другой ИС.
Сопряжение экранов с различными потенциалами, в принципе, может осуществляться с помощью
конденсаторов, однако следует признать этот метод малоэффективным.
154
З а д а н н ы й о б ъ ѐ м д о к л а д а в ы н у ж д а е т о г р а н и ч и т ь с я ф о р м ул и р о в к а м и з а ко н о в
и их доказательной базой.
Основным препятствием постижению закономерности образования простых чисел (ПЧ) послужило
отсутствие понимания качественных отличий между самими ПЧ. Прежде всего, удалось понять, что мно-
жество ПЧ состоит из трѐх качественно отличных подмножеств.
Доказательство столь обязывающих утверждений начнѐм с аксиомы 1:
Два первых ПЧ 2 и 3 образуются последовательным присоединением 1 к 1 по основной формуле
натурального ряда N = 1 + 1∙n при n≤2, то есть 1Р = {2, 3}, которые назовѐм фундаментальными и
отметим их зелѐным и оранжевым цветом.
Такой способ образования ПЧ на числе 4 прекращается и больше не возобновляется. Они необходи-
мы для образования двух самых мощных множеств: чѐтных чисел (кратных 2) и чисел кратных 3, кото-
рые по аналогии следует называть нечѐтными. Все остальные простые числа образуются иначе. Как они
образуются, показывает теорема 1:
«Все простые Р (за исключением 2 и 3) и все составные С числа (за исключением кратных 2 и 3)
принадлежат множествам РUC = 6n – 1 = -1mod6; РUC = 6n + 1 = 1mod6».
Числа принадлежащие множеству 6n – 1 (с 1 недостающей для делимости на 6), назовѐм отрица-
тельными и отметим - синим цветом.
Числа принадлежащие множеству 6n + 1 (с 1 избыточной для делимости на 6), назовѐм положитель-
ными и отметим - красным цветом.
Доказательство. Возьмѐм любое ПЧ (кроме 2 и 3). Слева (на 1 меньше) и справа (на 1 больше) от
него могут быть только чѐтные числа. Всего получается три числа подряд, значит одно из чѐтных чисел
(слева или справа) одновременно кратно 3, то есть равно 6n. Это значит, что любое ПЧ принадлежит ли-
бо множеству Р = 6n – 1 = -1mod6, либо - Р = 6n + 1 = 1mod6.
Таким образом, первая часть теоремы доказана.
Теперь докажем, что все составные числа (СЧ с делителями ≥ 5) так же принадлежат множествам
6n – 1 = -1mod6 и 6n + 1 = 1mod6.
С образованием числа 6 натуральный ряд обретает цикличность, которая позволяет «нарезать» весь
натуральный ряд на элементарные циклы - интервалы от 6n до 6(n+1).
от 6n до 6(n + 1)
…, 24, 25, 26, 27, 28, 29, 30, …
…, 30, 31, 32, 33, 34, 35, 36, …
…, 36, 37, 38, 39, 40, 41, 42, …
Все чѐтные числа вида (6n, 6n+2, 6n+4 и 6(n+1)) не могут быть СЧ. Числа вида 6n+3 так же не могут
быть СЧ, так как принадлежат к множеству нечѐтных (кратных 3) чисел. Для СЧ остаются только пози-
1
Вновь вводимые понятия и термины будут выделены полужирным курсивом.
156
ции чисел вида 6n+1 и 6n-1. Как было доказано, все ПЧ имеют вид либо 6m–1, либо 6m+1, а их произве-
дения:
(6m –1) · (6m –1) = 36m - 2∙6m + 1 = 6 (6m – 2m) + 1 = 6n+1, где n = (6m – 2m);
(6m –1) · (6m +1) = 36m - 1 = 6∙6m - 1 = 6n–1, где n = 6m;
(6m +1) · (6m +1) = 36m + 2∙6m + 1 = 6 (6m + 2m) + 1 = 6n+1, где n = (6m + 2m)
всегда приводятся к виду либо 6n–1, либо 6n+1.
Таким образом, все ПЧ (за исключением 2 и 3) и все СЧ (за исключением кратных 2 и 3) принадле-
жат множествам Р U C = 6n–1 = -1mod6 и Р U C = 6n+1 = 1mod6. ▐
На основании аксиомы 1 и теоремы 1 можно вывести лемму 1.
«Множество всех первых чисел (ПЧ) состоит из трѐх качественно различных подмножеств:
фундаментальных 1P = 1+1*n = {2, 3};
отрицательных Р = -1mod6;
положительных Р = 1mod6.
P = 1P U P U P = 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, …
Любое СЧ в соответствии с основной теоремой арифметики имеет единственное разложение на мно-
жители. На вопрос: «К какому множеству отрицательных или положительных СЧ принадлежит кон-
кретное СЧ в зависимости от количества и качества, образующих его множителей?» отвечает теорема 2:
«Произведение нескольких отрицательных pi и положительных pi ПЧ дает положительное СЧ
ci при четном количестве отрицательных pi и отрицательное СЧ ci - при ином количестве pi».
pi ∙ pi = ci; pi ∙ pi = ci; pi ∙ pi = ci
Примеры:
5∙5 = 25(6∙4+1); 5∙7 = 35(6∙6 - 1); 7∙7 = 49(6∙8 +1)
Доказательство. Возьмѐм любое СЧ с любым количеством отрицательных рi и положительных рi.
Группируя их попарно можно получить СЧ либо вида 6n–1, либо 6n+1, как это было доказано путѐм пре-
образования их произведений в теореме 1. На последнем этапе по парных преобразований получаются
три сочетания: pi∙pi = ci; pi∙pi = ci; pi∙pi = ci, что доказывает справедливость теоремы 2.▐
Следующим шагом постижения законов натурального ряда стало открытие нового математического
понятия р – аддитивных прогрессий, то есть арифметических прогрессий, в постоянной и переменной
частях которых имеется только одно ПЧ рi.
По необъяснимым причинам математики прошли мимо аксиомы 2:
«Последовательное присоединение к простому числу рi одного и того же кратного количества
этого же рi образует арифметическую прогрессию с наименьшим общим множителем НОМ = рi.
{pi, (pi + k∙pi), (pi + 2∙k∙pi), (pi + 3∙k∙pi), … } = {pi + pi∙k∙n} = pi{1+ k∙n}
Если к рi последовательно прибавлять кратные количества этого же р i, то образуется арифметическая
прогрессия с наименьшим общим множителем (так же новый математический объект в последующем
обозначаемый НОМ), которая путѐм сложения позволит получать последовательность произведений ПЧ,
причѐм это рi является НОМ. Открытые понятия и их свойства позволяют сформулировать «Закон р –
аддитивных прогрессий», по которому образуются фундаментальные ПЧ и все СЧ натурального ряда:
«Множество всех простых чисел образуют множество р - аддитивных прогрессий по формулам
piС = pi·кi + pi·кj·n,
где n = 0, 1, 2, …; кi и кj – константы, принимающие следующие значения:
- у фундаментальных ПЧ при р0 = 1, ki = 1 и kj = 1 1Р = 1 + 1n = {2, 3};
- у чѐтных чисел при p1 = 2, ki = 1 и kj = 1 2С = 2 + 2n = 4, 6, 8, 10, …;
- у нечѐтных чисел при p2 = 3, ki = 1 и kj = 2 3С = 3 + 3∙2n = 9, 15, 21, …;
- у СЧ ∑piС c НОМ = pi → кi= pi или c НОМ = pi → кi = pi+1, а kj = 6;
∑piС = {p1·p1 + p1·6m} U {p1∙p2 + p1·6m} U …U{pi·pi + p1·6m} U {pi∙pi+1 + p1·6m} U …
где U – знак объединения множеств, i - индексы ПЧ ={1, 2, 3…}, т. е. p1 = 5, р1 = 7, p2 = 11, р2 = 13, …, а
m = {0, 1, 2, 3…}.
157
Пример: C = {5·7+5·6m}U{7·11+7·6m}U{11·13+11·6m}U{13·17+13·6m}U… =
= {35,65,95,…}U{77,119,161,…}U{143,209,275,…}U{221,299,377,…}U…;
- у СЧ ∑piС c НОМ = pi → кi = pi или c НОМ = pi → кi= pi, а kj = 6.
∑piС = {p12 + p1∙6m} U {p12 + p1∙6m} U … U {pi2 + pi∙6m} U {pi2 + pi∙6m} U…
где i = 1, 2, 3… - индексы ПЧ, т. е. p1 = 5, р1 = 7, p2 = 11, р2 = 13, …, а m = 0, 1, 2, 3….
Пример: C = {5·5+5·6 m} U {7·7+7·6m} U {11·11+11·6m} U {13·13+13·6m} U…=
= {25,55,85,…} U {49,91,133,…} U {121,187,253,…} U {169,247,325,…} U…
Ограниченный объѐм доклада не позволяет привести полное доказательство Закона р – аддитивных
прогрессий. С ним можно ознакомиться по другим публикациям [1 - 4].
Теперь, когда мы знаем формулы образования всех СЧ, просто составить формулу, по которой можно
только операциями сложения и сравнения вычислять все ПЧ подряд. Для этого, памятуя теорему 1, необ-
ходимо из множества 6n – 1 исключить (\ - знак исключения множеств) подмножество всех отрица-
тельных СЧ ∑РiС, а из множества 6n + 1 исключить подмножество всех положительных СЧ ∑РiC
и получить формулы отрицательных и положительных простых чисел:
Р = {6n-1} \ ∑РiС = {6n - 1} \ [{p1·p1 + p1·6m} U {p1∙p2 + p1·6m} U {p2·p2 + p2·6m} U…
U {pi·pi +pi·6m} U {pi∙pi+1 +pi·6m} U {pi+1·pi+1 + pi+1·6m} U …]
P = {6n+1} \ ∑РiC = {6n+1} \ [{p1·p1 + p1·6m} U {p1∙p1 + p1·6m} U {p2·p2 + p2·6m} U…
… U {pi·pi + pi·6m} U {pi∙pi + pi·6m} U {pi+1·pi+1 + pi+1·6m} U …]
и формулировку Закона простых чисел: «Множество всех простых чисел состоит из подмножества
фундаментальных ПЧ 1Р, подмножества отрицательных ПЧ P равного множеству 6n-1 за исклю-
чением совокупности всех р - аддитивных прогрессий отрицательных СЧ ΣPiC и подмножества
всех положительных ПЧ P равного множеству 6n+1 за исключением совокупности всех р - адди-
тивных прогрессий положительных СЧ ΣPiC».
Теперь мы знаем законы образования всех чисел натурального ряда и можем сформулировать
«Основной закон арифметики», расщепляющий натуральный ряд на 7 однозначно идентифицируемых
(цветом и наклоном шрифта) по их качеству подмножеств чисел: «Натуральный ряд N состоит из 0; 1;
двух фундаментальных простых чисел 1Р = 2, 3; подмножеств отрицательных Р и положительных
Р простых чисел; р - аддитивных прогрессий чѐтных чисел 2C, нечетных чисел 3C, подмножеств
отрицательных ∑PiС и положительных ∑PiС составных чисел».
N = 0, 1 U Р U С = 0, 1, 1Р U Р U Р U 2СÉ6C U 3С U ∑PiС U ∑PiС =
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
32, 33, 34, 35, 36 , 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60,…
Так математика получила цветное – качественное зрение.
Этот закон однозначно расщепляет натуральный ряд на 7 качественно различных множеств подобно
призме Френеля, расщепляющей белый свет на 7 цветов радуги, и даѐт новую, совершенно однозначную
классификацию натуральных чисел.
Для сравнения покажем существующую классификацию, используя аналогичный цвет и наклон
шрифта: чѐтные числа – зелѐным цветом, нечѐтные числа – чѐрным цветом, простые числа прямым
шрифтом, а составные числа – курсивом:
61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89,
Достаточно одного взгляда, чтобы увидеть ущербность существующей пока классификации без учѐ-
та качества чисел.
Теперь уместно прокомментировать правомерность применения термина закон* по отношению к
открытым математическим закономерностям.
* - закон –необходимое, существенное, повторяющееся соотношение между явлениями. З. выража-
ет связь между предметами, составными элементами данного предмета, между свойствами вещей, а
так же свойствами внутри вещи. З. могут быть менее общими, более общими и всеобщими. Отражѐн-
ные в мышлении З. составляют ядро науки. Власть человека над окружающим миром измеряется объѐ-
мом и глубиной знания его З. (БСЭ).
158
Для данных в официальном определении слова ЗАКОН понятий в нашем случае имеют место быть
следующие смысловые эквиваленты: «предметами» - числовая система природы или качественно одно-
значная еѐ часть (например, множество всех ПЧ); «составными элементами данного предмета» - каче-
ственно различные, однозначно идентифицируемые классы последовательностей; «свойствами вещей»
– качественные свойства этих последовательностей и «свойствами внутри вещи» – вскрытая недоста-
точность 1-цы и избыточность 1-цы для делимости отрицательных и положительных ПЧ и СЧ без
обозначения знаков арифметических действий перед этими числами.
Таким образом, доказанные выше законы в математической форме отображают необходимое суще-
ственное, устойчивое, повторяющееся отношение между предметом – натуральным рядом N, со-
ставными элементами 1Р, Р, Р, 2С, 3С, С, С предмета, между свойствами вещей – сочетание в Р фун-
даментальных 1Р, отрицательных Р и положительных Р, а так же между свойствами внутри вещи
– свойство отрицательного числа Р без знака вычитания перед ним и свойство положительного
числа Р без знака сложения перед ним, что позволяет отнести открытые законы к категории всеоб-
щих законов.
Ещѐ много копий будет сломано по поводу правомерности применения понятия «закон» к открытым
закономерностям натурального ряда. Закономерностями принято называть качественно выявленные при-
чинно-следственные связи. Когда причинно следственные связи выявлены качественно и описаны одно-
значно количественно – они должны иметь название Закон, тем более, что законы натурального ряда
отображают фундаментальные философские законы, а после принятия природных мер пространства,
времени и энергии ими можно отображать законы взаимодействий Природы. Таково видение автора.
Математическое сообщество вольно называть представленные здесь открытия как угодно, что не умаляет
значимость открытия, как для теории чисел, так и для всей математики, как универсального языка позна-
ния.
Кроме общенаучного значения, открытые законы имеют особое значение в области создания систем
защиты информации (СЗИ). Именно здесь сугубо математическая проблема факторизации (определение
делителей составного числа) была положена в основу асимметричных систем защиты информации, при-
годной для широкого пользования [9].
Открытые математические закономерности позволяют создать СЗИ нового поколения на одноразовых
ключах и одноразовых непериодических гаммах псевдослучайных чисел на конечных автоматах, что до
настоящего времени считалось невозможным [10]. Такие СЗИ будут обладать теоретически максималь-
ной надѐжностью и быстродействием режима on line.
Началась реализация открытых законов в практическом плане – автором доклада получено свиде-
тельство № 2005613012 от 22.09.2005 г. о регистрации программы «Линейный генератор простых чисел
подряд» [2], которое получило высокую оценку коммерческой значимости. Члены Государственной ко-
миссии в своѐм заключении от 26.04.2005 г. [1] подтвердили, что зависимость времени вычислений по-
следовательностей простых чисел подряд от разрядности задаваемого диапазона вычислений носит ли-
нейный характер, что было бы невозможно без знания закона их формирования.
Новый математический базис и основанные на нѐм технические решения в области защиты информа-
ции, защищѐнные патентами [11, 12], являются первой предпосылкой для создания систем защиты ин-
формации нового поколения.
Второй предпосылкой является наличие в составе авторского коллектива разработки создателей рос-
сийских дистрибутивов ALT Linux Master, на базе которого подготовлена ЗИС «Утѐс – 5», сертифициро-
ванная Гостехкомиссией при Президенте РФ на 5 класс СТВ и 4 класс НДВ, а так же специальной версии
дистрибутива «ИВК – Кольчуга», сертифицированной ФСТЭК и Министерством обороны на 2 класс МЭ,
что позволяет использовать еѐ для работы с грифом «сов. секретно».
Система представляет собой межсетевой экран с дополнительными функциями офисного сервера.
При этом выполнение типовых задач системного администрирования максимально упрощено, что позво-
ляет с ней работать системным администраторам, не имеющим серьѐзной подготовки в области Linux.
Благодаря изложенному, Россия получила уникальный шанс на «Создание сверх защищѐнной распре-
деленной операционной системы (СРОС) обеспечивающей информационную безопасность с помощью
одноразовых ключей и одноразовых непериодических гамм». Создание такой системы позволит исклю-
чить в реальной зоне риска отказы в обслуживании, порчу данных в информационных системах, обеспе-
чить надежное дублирование хранимых данных, значительно расширить доступность и увеличить быст-
родействие.
159
Кроме того, открытые законы позволят получить значительный коммерческий эффект в широком
спектре применений:
Система борьбы с контрафактной продукцией и поддельными денежными знаками,
Система дистанционной идентификации и борьбы с угонами автотранспорта,
Система борьбы с распространением компьютерных вирусов,
Компьютеры нового поколения на нелинейной системе счисления природы;
Математико-биологическое обоснование теории гармонии восприятий;
Математический аппарат для нано - технологий.
Литература
1. Заключение Государственной экспертизы № 167 от 26.04.2005г (ФГУ НИИ РИНКЦЭ МИНОБРНАУ-
КИ РОССИИ).
2. Свидетельство № 2005613012 от 22.09.2005 г. об официальной регистрации программы ЭВМ
«Линейный генератор простых чисел подряд (Р 1.1)».
3. В. П. Хренов. «Проблемы и перспектива создания систем защиты информации нового поколения»,
журнал «Глобальная безопасность», № 3, 2005 г.
4. В. П. Хренов. «Новый этап развития систем защиты информации», журнал «Наука и технологии в
промышленности», №3, 2005 г.
5. В. П. Хренов. Prime Numbers Technology (PNT)™ – основа создания систем защиты информации
(СЗИ) нового поколения и перспективы еѐ применения в различных сегментах информационных тех-
нологий, журнал «Бизнес и Безопасность в России» №46, январь 2007 г.
6. http://narod.yandex.ru/Начала теории натуральных чисел полн.doc.html
7. В. П. Хренов. Начала теории натуральных чисел. Доклад на международной научной конференции
«Цивилизация знаний: инновационный переход к обществу высоких технологий», 25.04.2008 г., в
Российском новом университете (РосНОУ), опубликован в сборнике докладов.
8. В. П. Хренов, доклады «Исторические аспекты кризиса математики и, соответственно, естествозна-
ния» и «Новый взгляд на теорию чисел» на международной научной конференции «Образование, нау-
ка и экономика в вузах. Интеграция в международное образовательное пространство», г. Плоцк,
Польша, 9-14 сентября 2008 г., опубликованы в сборнике докладов.
9. W. Diffie and M.E. Hellman, ―New Directions in Criptography‖, IEEE Transactions on Information Theory,
v. IT-22, n. 6, Nov 1977, pp. 74-84.
10. B. Schneier, Applied Cryptography, John Wiley & Sons, Inc., 1996.
11. В. П. Хренов, «Система защиты информации», патент RU 2 325 695 C2 G06F 21/20 от 19.09.2005 г.
12. В. П. Хренов, «Способ защиты информации», патент RU 2 325 766 С2 H04L 9/18 от 16.09.2005 г.
160
Размер систем на кристалле продолжает расти ния, а сам проект будет правильно верифициро-
в геометрической прогрессии, благодаря постоян- ван. Задача осложняется тем, что требования хра-
ному развитию технологий. Если в 80-е годы нятся в виде множества источников, включая ба-
крупные проекты насчитывали десятки тысяч вен- зы данных с требованиями, документы, содержа-
тилей, то сегодня увеличение производительности щие установленные требования и таблицы с пла-
разработки программной и аппаратной состав- нами тестирования. В результате требуется много
ляющих позволяет создавать системы размерами усилий, чтобы выяснить, на что повлияет измене-
в миллионы вентилей и строк кода. ние тех или иных ограничений, или какие требо-
Логический синтез, готовые IP-блоки, стан- вания спецификации нужно верифицировать зано-
дартные интерфейсы, использование старых про- во при изменении того или иного блока. Процесс
ектов в новых разработках значительно упростило проектирования и верификации традиционно осу-
создание аппаратной части системы, а языки вы- ществлялся последовательно. Взаимодействия
сокого уровня, эффективные оптимизирующие между проектировщиками и верификаторами не
компиляторы и готовые библиотеки функций по- были объединены средствами автоматизации в
высили производительность программистов. единый поток. Все это еще больше увеличивало
Самым существенным ограничением, с кото- сроки и стоимость проектирования.
рым столкнулось проектирование цифровых схем На преодоление все возрастающих проблем
на рубеже веков, было связано с функциональной было предпринято широкомасштабное наступле-
верификацией. В традиционных маршрутах вери- ние, что привело к радикальному изменению ме-
фикации тестирующая программа, созданная для тодологии проектирования и времени, затрачивае-
конкретного блока в проекте, могла использовать- мому на функциональную верификацию: оно со-
ся в полной мере только для тестирования данно- кратилось более чем в четыре раза.
го блока. Тестирование блока в сопряжении с дру- В основу такого качественного прорыва были
гими блоками требовало написания новых тестов. заложены уже вполне вызревшие идеи и методы.
Аналогично, после объединения всех модулей Наибольшее влияние оказало следующее.
при тестировании всей системы целиком нужно Использование парадигмы объектно -
было создавать фактически с нуля и системные ориентированного проектирования, где экземпля-
тесты. В результате, для верификации большого ры класса обмениваются между собой дискретны-
проекта требовалось в среднем в три раза больше ми порциями информации (транзакциями), позво-
инженеров, чем для его разработки, а верифика- лило поднять уровень описания как самого проек-
ция, занимая 70% времени и ресурсов в процессе та, так и его тестового окружения на более абст-
проектирования, не выявляла всех функциональ- рактный уровень. Экземпляр класса изначально
ных ошибок, что приводило к необходимости тесно ассоциировался с физической или абстракт-
несколько раз выпускать проект. ной сущностью, аналогичной понятию модуль в
Большую роль в процессе верификации играет иерархической структуре проекта, что еще боль-
реализация связей между спецификациями проек- ше сблизило процессы создания аппаратных и
та, средой разработки и собственно средой тести- программных средств. Если при реализации
рования. Необходимо убедиться, что все требова- проекта необходимо пройти последовательно от
ния спецификации включены в план тестирова- абстрактного описания через описание на уровне
161
[1:8]
[1:8] idle idle idle
Count_Test
[1:8]
count_off
Load_Test
[1:8]
[1:8] [1:8]
idle
[1:8] [1:8]
Clear_Test
[1:8]
Время для написания и отладки набора правил Verilog и предназначен для проведения динамиче-
сравнимо с затратами на случайные тесты с огра- ской и статической верификации. В отличие от
ничениями, но при этом время моделирования для SVA PSL можно использовать в проектах, пред-
достижения аналогичного тестового покрытия ставленных на языках VHDL, Verilog, SystemVer-
намного меньше. Правила в тестбенче имеют ие- ilog, GDL, SystemC. Основу PSL и SVA составля-
рархическую структуру: правила верхнего уровня ют свойства - конструкции, использующие логи-
ссылаются на правила более низких уровней и т. ческие, временные операторы, последовательно-
д. Кроме того, правила можно обходить, как вид- сти и множество встроенных функций, и описы-
но из нашего примера, по нескольким маршрутам. вающие некоторое поведение будущей аппарату-
Отдельного внимания заслуживает тот факт, ры («за сигналом запроса через три такта ожида-
что помимо тестирования описания аппаратуры, ется сигнал ответа» или «счетчик A никогда не
данная технология может использоваться для ав- переполняется» и т.д.). Далее к сформулирован-
томатического тестирования связи программных ным свойствам применяются различные директи-
и аппаратных частей проекта. вы, что именно необходимо выполнить с этими
Набор правил для модуля может быть исполь- свойствами в процессе верификации: проверить
зован для тестирования нескольких модулей или выполнимость свойства, предположить выполни-
системы в целом, для этого нужно создать мость свойства, зафиксировать данное поведение
«исполняющий» набор правил для управления в процессе моделирования и пр.
существующими наборами правил. Это дает воз- Для иллюстрации, приведем примеры на PSL:
можность создавать верификационные IP, напри- Пример 1.
мер, для протоколов шин AHB, AXI, OCP, PCI и Два свойства, присущие D-триггеру (D - дан-
спецификаций интерфейсов Ethernet, USB, ных, RS - сброс в '0', C – синхронизация, Q –
выход):
SONET, UART. property P1= always not RS -> not Q @ True; -
За счет оптимизации прохода по графу алго- всегда при нулевом значении RS следует нуле-
ритмического тестбенча удается значительно по- вое значение Q и property P2 = always rose(C)
and RS -> Q = D; - всегда при положительном
вышать эффективность. Так, если для достижения фронте C и единичном значении RS Q равен D.
70% покрытия, используя случайные тесты с ог- Директивы проверки: assert P1; assert P2;
раничениями, требуется 2 недели, то по методике Пример 2.
интеллектуального создания тестбенчей можно Пусть необходимо проверить, что при последо-
вательном срабатывании сигналов reg и ack
достигнуть 100% покрытия на том же проекте (sequence S1 = {req; ack};) должно последо-
всего за 3 часа тестирования. вать срабатывание сигналов start, busy и end,
причем busy должно удерживаться 3 такта
(sequence S2 = {start; busy[3]; end};). Свой-
Assertions Base Verification ство, описывающее данное поведение, имеет
Динамическая функциональная верификация вид: property P3 = always S1 ||=> S2; а ди-
ректива проверки свойства: assert P3;
связана с решением двух базовых задач. Это -
генерация входных последовательностей и фикса- Реализация ABV приводит к необходимости
ция результатов. Последняя задача имеет два ас- помимо создания HDL - модели описывать и
пекта: необходимо зафиксировать корректность свойства этой модели. Принципиальным отличи-
функционирования и оценить объем и глубину ем этого описания является то, что свойства опи-
проверенного функционирования. Решение пер- сывают не только то, как должны функциониро-
вой задачи в традиционном тестировании решает- вать и взаимодействовать различные устройства,
ся на основе сравнения полученных результатов но и как они не должны функционировать. Важ-
моделирования с ожидаемыми результатами, а ным отличием является и различие целей и соот-
ветствующие этим целям формы представления.
вторая связывается непосредственно с кодом опи-
Причем, если проект проходит различные стадии
сания и/или с объемом данных, пропущенных
представления, то его свойства фактически оста-
через модель. Принципиальным моментом в ABV
ются неизменными, и только уточняются и дета-
является тот факт, что описываются и проверяют-
лизируются их представления.
ся свойства проекта, которым он должен соответ-
Интенсивное использование стандартизован-
ствовать в тех или иных ситуациях, а полнота
ных методик, библиотек и комплексных средств
тестирования оценивается по покрытию этих
проектирования позволяет повысить качество
свойств в процессе моделирования.
функциональной верификации сложных уст-
Лингвистической основой функциональной
ройств и в значительной мере снизить трудоем-
верификации служат языки Property Specification
кость и производственные затраты.
Language и SystemVerilog Assertions, имеющие
общую семантику. SVA является частью System-
Анализ оптического контроля соединений
многослойных печатных плат
Козлов А. С., вед. электроник
Институт Системного Анализа РАН
Разрабатывая ЭВМ БЭСМ-6, АС-6 академик Недостатком данного метода является принци-
В.А. Мельников всегда использовал комплексный пиальная невозможность выполнить зонды для
подход в работе. В результате при проектирова- шага печатных проводников менее 100 мкм. По-
нии и наладке ЭВМ «СС БИС» был создан уни- этому был разработан и испытан на реальных
кальный коллектив в НИИ «Дельта» из четырех- МПП оптический метод контроля. [5]. При помо-
сот специалистов, состоящий из электронщиков, щи данного метода по геометрическим размерам
технологов, химиков, конструкторов, топологов, проводников и переходов с последующим расче-
программистов, математиков и операторов вычис- том электрических параметров определяется Z.
лительной техники. Большое значение придава- Далее по программе сравниваются полученные
лось контролю и проверке электронных блоков и данные с теоретически рассчитанными в САПРе.
устройств. Оптический метод контроля позволяет срав-
Успешно применялся контроль межсоедине- нить форму и геометрические размеры проводни-
ний многослойных печатных плат (МПП) при ков на слоях печатных плат с проектными пара-
помощи метода четырехзондового контроля [1]. метрами, а также рассчитать и сравнить импедан-
Суть этого метода заключается в последователь- сы проводников. При этом может оказаться, что
ном подключении зондов устройства контроля импедансы мало отличаются от расчетных даже
монтажа (УКМ) в контрольных точках по про- при заметных отклонениях геометрических разме-
грамме управляющей ЭВМ с автоматическим из- ров проводников от проектных данных. Различ-
мерением и сопоставлением импедансам Z. ные дефекты изготовления слоев печатных плат
При выборе конструктивно-элементной базы могут почти полностью скомпенсировать друг
разработчику электронных блоков следует иметь друга в отношении импеданса проводников на
в виду вопросы надежности, контроля, ремонто- плате, имеющих дефекты. Более того, дефекты,
пригодности. Причем, очевидна неэффективность занимающие незначительную часть длины про-
контроля после процесса изготовления печатных водников, вообще мало отражаются на их импе-
плат.[2] В настоящее время контроль закладыва- дансе. Такие дефекты обнаруживаются оптиче-
ется на этапе проектирования при помощи мето- скими методами путем прямого сравнения изго-
дов САПР: Mentor Graphics (MGC), Boundary Scan товленного слоя с эталоном, а измерения электри-
(BSA), P-CAD [3]. ческих параметров проводников, например, четы-
Известно [4], что при тактовой частоте 10Ггц и рехзондовым методом, не определяют дефектов.
выше особо жесткие ограничения накладываются В то же время, такие случаи создают угрозу замы-
на волновые сопротивления конструкции, поэтому каний или обрывов проводников печатных плат в
возникает задача определения импедансов Z, свя- процессе эксплуатации. Замыкания возникают в
занных с параметрами линии соотношением: местах утолщения проводников, а обрывы в наи-
Z= R jwL /G jwC более тонких местах.
165
Таким образом, оптические методы контроля исключая комбинационные схемы, которые ана-
не только применимы в случаях, где невозможны лизируются на этапе проектирования с помощью
прямые электрические измерения, но позволяют MGC или P-CAD отдельно. Используя методы
прогнозировать безопасность печатных плат в вычислительной геометрии, находятся дефекты
части возникновения дефектов, неопределяемых смежных соседствующих проводников. Слож-
сразу после изготовления. ность расчетов определяется числом цепей N и
Оптические методы послойного контроля числом дефектов L. Для анализа компьютером
МПП являются единственно пригодными для МПП задаются входные тестовые векторы (ТВ), а
обеспечения надежности и безопасности эксплуа- в результате определяются критические точки.
тации современных электронных устройств. Вначале предполагается, что каждая цепь мо-
Автоматизированная система [6] построена на жет быть закорочена с любой другой. При тести-
оптическом считывании изображения с помощью ровании ТВ задаются как входные на всю схему.
лазера и позволяет получить в конечном итоге В этом методе используется постулат соседства, в
волновые сопротивления в контрольных точках. котором принимается, что в случае соседства ли-
В результате анализа получается математиче- ний Ni и Nj они могут закоротиться, и если какие-
ская модель: то Ni и Nj закорочены, то все находящиеся между
M={E, R, D}, где ними тоже закорочены, а другие линии не учиты-
Е- множество объектов СПП: переходные отвер- ваются на «закоротку».
стия, места посадки интегральных схем, конден- Правда, этот постулат не идеален, т.к. практи-
саторов и др. элементов, утолщения на месте раз- чески возможен случай, изображенный на рис.1.,
ветвления проводников. В свою очередь, объекты где замкнулись несоседние Ni и Nk, а соседние Ni
имеют характеристики (множество D): величины и Nj наоборот не замыкаются. Но это исключение,
радиусов, размеры, координаты проводников и которое все равно обнаружится позднее по выход-
отверстий. ному сигналу «Вых.Т».
Объекты и характеристики связаны определен-
ными отношениями (множество R): соединения
отверстий, утолщения, а также пересечения про-
водников.
Дефектами в данной модели М считаются лю-
бые отклонения в токопроводящих рисунках от
описанных в разработанной схеме характеристик Рис.1. Внешний вид дефекта пайки
элементов и отношений между ними: дополни-
тельные отверстия, обрыв проводников, короткие
замыкания, пятна (дополнительные токопроводя- На втором этапе производится минимизация
щие рисунки), утолщения или утончения. ТВ. Анализируются только линии, не охваченные
Анализ данной математической модели спец- соседством в предыдущих точках. Векторы могут
процессором позволяет сделать вывод о характе- быть, согласно постулата соседства, в пределах
ристиках слоя по волновым сопротивлениям Z: списка. Число ТВ для набора списка варьируется
удовлетворяют ли они требованиям распростране- в зависимости от топологии схемы. Начальный
ния сигналов. Не измеряя электрических парамет- набор векторов соответствует исходному тесту.
ров слоя непосредственно, удается получить их Линии, которые не изменяют своего соседства,
при помощи оптического метода. Полученные считаются проверенными и при загрузке новых
данные сравниваются с теоретическими в кон- векторов пропускаются. Затем осуществляется
трольных точках при проектировании методами процедура минимизации для уменьшения количе-
САПР [7]. ства тестовых векторов.
Ввиду высокой плотности монтажа МПП по- Недостатком метода является трудоемкость
стоянно повышается вероятность отказов в виде выявления точек пересечения Bi. Но следует
коротких замыканий («закороток») и разрывов учесть, что чаще всего схемы соответствуют
печатных проводников («обрывов»). В процессе «манхэттенской» архитектуре, когда состоят из
прессования МПП под давлением может произой- набора горизонтальных и вертикальных отрезков,
ти смещение проводников, что приведет к их об- которые соединены между собой. Для решения
рывам или закороткам. Поэтому необходим кон- такой задачи алгоритм модифицируется при по-
троль МПП в сборе. мощи методов вычислительной геометрии и ком-
Предлагаемый метод теоретического тестиро- пьютерных программ.
вания BSA [8] рассматривает собранную МПП,
166
Сущность метода равносильна многократному Задачу допускового синтеза удается решить лишь
натурному макетированию конкретной характери- итеративно, т.е. задаются максимальными значе-
стики путем генерирования случайных реализа- ниями разброса каждого i-го параметра и выпол-
ций. При этом предполагается, что параметры vi няют серию испытаний по методу Монте-Карло.
распределены по нормальному закону Рассмотренный метод представляет собой метод
(распределение Гаусса). адаптивной стохастической оптимизации, исполь-
Если в пределах каждого частного поля допуска зуемый в самонастраивающихся математических
разброс параметров имеет равновероятное распре- методах поиска оптимальных параметров систем
деление случайной величины, то достаточно бу- различной физической природы.
дет просуммировать частные вклады каждого па- Для моделирования конкретной величины разбро-
раметра в результирующее отклонение выходного са каждого i-го параметра необходимо предусмот-
параметра, если их число невелико. реть метод реализации равновероятного распреде-
В действительности все рассматриваемые пара- ления случайной величины, а затем на его основе
метры подчиняются нормальному закону распре- - распределение случайной величины по нормаль-
деления случайной величины в каждом частном ному закону.
поле допуска. Следовательно, линейного сумми- Равномерное распределение случайной ве-
рования погрешности не произойдет. Вообще на- личины h, сосредоточенной в интервале от a до
до знать вероятностные законы функционирова- b, определяется по известной формуле
ния отдельных частей системы параметров. Тогда b ,
метод Монте - Карло (метод перебора) позволит
определить вероятностные закономерности рабо-
(1) P ( x)dx
a
ты всей системы, как бы сложна она ни была. Это где P(x) - функция распределения плотности
свойство метода чрезвычайно важно в случае ана- вероятности.
лиза качества системы, содержащей элементы с Если функция распределения плотности веро-
законами распределения плотности вероятности, ятности P(x)=1/(b-a), то функция будет пред-
отличными от равновероятного или нормального. ставлять равномерное распределение случайной
Помимо предложенного использования формул , величины.
должна решаться и другая задача: определение Действительно, P(x)=1/(b-a) - вероятность слу-
функций качества каждого выходного параметра. чайной величины х в интервале (b-a) и a < x < b
Так, формула расчета перекрестной наводки
dx a
включает формулу расчета волнового сопротивле-
ния и коэффициент емкостной связи, зависящий b a ,
a
ba
, a (b a).
от краевых емкостей, т.е. является существенно
В данном случае получена зависимость , ха-
более сложной. Аналитические расчеты коэффи-
рактеризующая отклонение от математического
циентов чувствительности (частные производные
по всем параметрам) нецелесообразны из-за чрез- ожидания а в допуске (b-a) с равномерным сто-
мерной сложности исходных формул, поэтому хастическим изменением разброса, подчиняюще-
важно использовать некоторый универсальный гося случайной величине .
способ - численное дифференцирование в процес- Большинство анализируемых геометрических
се итерационных расчетов на ЭВМ. Следует так- параметров высокочастотных элементов подчиня-
же учесть, что при большой кривизне исследуе- ется нормальному закону распределения случай-
мой функции в интересующей нас области и боль- ной величины и поэтому рассмотренный равно-
шом поле допуска появляется ошибка экстраполя- мерный закон распределения необходимо связать
ции. Для устранения отмеченного недостатка це- с функцией Гаусса, поскольку формула вида (1)
лесообразно использовать метод Монте-Карло в является базовой, а входящая в нее функция P(x) в
каждой из n частей (больше, например, 10) исход- общем случае может быть произвольной.
ного поля допуска при условии, что в каждой из n Для моделирования случайной величины в
подобластей кривизна функции существенно низ- пределах ожидаемого отклонения от номинала
кая. необходимо ввести в формулу (18) соответствую-
Следует выделить особенность метода - погреш- щий закон распределения.
ность вычислений, как правило, пропорциональна
t 2
D N , где D - некоторая постоянная, зависящая Тогда 1
от выбранного метода, N - число испытаний. От- 2 e
2
dt
сюда видно, что для того, чтобы уменьшить по-
грешность в 10 раз, нужно увеличить N (т.е. объ- Приведенная формула представляет собой
ем испытаний) в 100 раз. хорошо известный интеграл вероятности при ну-
168
При создании автоматизированных систем топо- представления и трансляции данных топологии фо-
логического проектирования [1, 2], как правило, реа- тошаблона ИС средней степени интеграции [8].
лизуется следующий принцип. В памяти ЭВМ хра- Представление топологии фотошаблона коорди-
нятся массивы исходных данных типовых топологи- натами всех контуров или прямоугольников являет-
ческих решений, которые по специальным директи- ся избыточным, так как топологию интегральной
вам размещаются по заданным координатам, а при схемы можно представить номенклатурой незначи-
необходимости над ними осуществляются различ- тельного числа компонентов, а БИС используют
ные геометрические преобразования [3-6]. На экране регулярную топологическую матричную структуру
монитора можно отображать топологию либо всей [9], элементы которой повторяются на большей пло-
схемы, либо отдельных компонентов и фрагментов с щади кристалла. Для исключения избыточности ис-
необходимой степенью детализации. Предоставляет- ходной информации используют языки описания
ся возможность добавлять, стирать, изменять и пере- топологии [5,10], которые однозначно определяют
мещать отдельные элементы и компоненты тополо- топологию меньшим количеством исходных дан-
гии. При этом изменения вносятся во все слои, со- ных.
держащие редактируемые элементы [7]. Большое Сокращение количества исходных данных еще
внимание уделяется программам синтаксического не означает сокращения объема ОЗУ, необходимого
контроля исходных данных и программам контроля для трансляции управляющей информации с языка
технологических зазоров между элементами [1]. описания топологии. Во-первых, для хранения ис-
Исходной информацией для координатографов ходных данных библиотеки типовых топологиче-
являются координаты вершин контуров топологии ских решений даже небольшого числа компонентов
фотошаблона, а исходной информацией для МФНУ требуется несколько тысяч слов, так как каждый
- координаты прямоугольников, составляющих топо- компонент содержит исходные данные не одного
логию фотошаблона. Простейший транслятор осу- слоя, а всей совокупности слоев ИС. Во-вторых, про-
ществляет перекодировку координат в команды граммное обеспечение должно не просто транслиро-
управления технологическими устройствами и тре- вать исходные данные библиотечных компонентов,
бует для своей программной реализации нескольких но и осуществлять различные геометрические преоб-
сот команд микро ЭВМ. Минимальный объем опера- разования топологии компонентов, которые заданы
тивного запоминающего устройства (ОЗУ) микро по определенным правилам языка описания. В треть-
ЭВМ серии «Электроника» составлял не менее 8 их, транслятор, как правило, включает необходимые
тыс. слов. Этот объем ОЗУ позволил хранить в памя- программы для семантического контроля и редакти-
ти ЭВМ 6-7 тыс. координат и был достаточен для рования макро описания топологии. Таким образом,
170
транслятор с языка описания потребует несколько составляет десятки тысяч команд и требует для фор-
десятков тысяч слов ОЗУ ЭВМ. Объем ОЗУ в 28 мирования, хранения и визуализации промежуточ-
тыс. слов микроЭВМ серии «Электроника» был дос- ной информации фрагмента достаточно развитой
таточен для трансляции управляющей информации операционной системы. В автоматизированных сис-
фотошаблона БИС с интеграцией в несколько тысяч темах с фрагментацией изображения подпрограммы
компонентов [2, 8]. и файлы данных топологии хранятся на дисковом
Редактирование топологии в автоматизирован- запоминающем устройстве и вызываются каждый
ных системах с использованием транслятора осуще- раз в ОЗУ ЭВМ при выполнении заданной операции
ствляется на языке описания и требует многократной фрагментации, визуализации или редактирования
прорисовки совмещенного чертежа кристалла. При- топологии. Время выполнения таких операций со-
менение языков описания повышает производитель- ставляет 30 - 60 с, что значительно меньше времени
ность проектирования топологии в несколько раз. выполнения контрольных прорисовок, но достаточ-
Основным преимуществом трансляторов является но велико для процесса интерактивного контроля и
их простота и невысокая стоимость разработки и редактирования топологии.
эксплуатации, возможность использования их для Решение задачи интерактивного редактирования
проектирования ИС всех типов. Главным недостат- изображения непосредственно на экране дисплея
ком трансляторов является необходимость неодно- привело к необходимости трансляции с исходного
кратной прорисовки совмещенных чертежей с по- языка некоторого внутреннего представления дан-
следующим визуальным контролем и исправлением ных топологии, которые однозначно связаны с каж-
ошибок описания топологии. Все это снижает опера- дым редактируемым элементом. В этом случае ре-
тивность проектирования топологии. дактирование изображения на экране приведет к
Следующий этап совершенствования системы изменениям данных внутреннего представления,
проектирования связан с использованием интерак- никак не отражающихся в исходном описании топо-
тивных систем на базе графических дисплеев [7-11]. логии. При таком процессе интерактивного редакти-
В таких системах проектирование осуществляется с рования роль исходного описания топологии снижа-
использованием языка описания, а графические мо- ется, так как оно используется только для генерации
ниторы применяются для беглого визуального кон- изображения или для трансляции внутреннего пред-
троля и редактирования топологии, что исключает ставления данных, которые редактируются в инте-
многократную прорисовку совмещенных чертежей и рактивном режиме независимо от исходного описа-
в несколько раз повышает оперативность процесса ния [14].
проектирования. Кодирование топологии, ввод, синтаксический
Графические мониторы - эффективное техниче- контроль и редактирование исходных данных явля-
ское устройство для редактирования топологии, но ются достаточно трудоемкими процессами. Поэтому
требуют разработки для этих целей соответствую- использование языка описания для одноразовой опе-
щих средств программного обеспечения. Первая рации генерации изображения становится нецелесо-
задача связана с разработкой алгоритмов и программ образным. Предпочтение отдается таким техниче-
для фрагментации [13] целостного изображения фо- ским средствам формирования изображения, как
тошаблона с целью визуализации отдельных частей световое перо, маркер, сенсорная панель. В этом
шаблона в определенном масштабе. Были разработа- случае, используя дискретную сетку, разработчик
ны программы типа «скользящее окно» и создает непосредственно на экране различные гра-
«скользящая лупа», реализующие алгоритм фраг- фические примитивы, из которых формирует цело-
ментации. В некоторых автоматизированных систе- стное изображение проектируемой топологии. Про-
мах, использующих программы фрагментации, для цессы редактирования изображения на экране дис-
редактирования топологии стали устанавливать по плея и преобразование исходных координат во внут-
два графическим дисплея на одно рабочее место: на реннее представление базы данных осуществляется
одном дисплее отображается с незначительным уве- под управлением программ, совокупность которых
личением изображение всей топологии и контур образует программное обеспечение автоматизиро-
зоны визуализации, а на другом — увеличенное изо- ванных систем машинной графики. Использование
бражение фрагмента, ограниченного контуром ви- машинной графики требует применения супермини
зуализации на первом дисплее. Редактирование то- ЭВМ с большим быстродействием и значительным
пологии по-прежнему оставалось на языке описания, объемом ОЗУ, а также дисковых запоминающих
а графические дисплеи использовались, по существу, устройств большой емкости. Процесс проектирова-
в качестве быстрого прорисовщика [12]. ния в системах машинной графики осуществляется
Программное обеспечение автоматизированных только с использованием технических средств, за-
дисплейных систем с фрагментацией изображения траты на эксплуатацию которых достаточно велики
171
[Система «Кулон»]. Такова эволюция развития инте- 3-й (низший) уровень - уровень побитового
рактивных автоматизированных систем проектиро- отображения графической информации,
вания топологии БИС и печатных плат, сложившая- воспринимаемой конкретными графическими и
ся к началу 80-х прошлого века. технологически!» системами. Примером языка
Каковы же альтернативные пути развития авто- этого уровня может быть SOURCE—формат
матизированных систем на базе использования язы- системы «Кулон», форматы управляющих
ка описания топологии? кадров МФНУ ЭМ-549 и т.д.
Расширение возможности языка для описания с
При этом использовалась следующую тактику
помощью одного макро оператора топологии
функциональных узлов БИС, заданных таблицами разработки и внедрения графического интерфейса
истинности; языка VHDL:
Разработка программ семантического контроля в качестве языка низшего уровня был принят
макро описания для автоматического поиска оши- SOURCE-формат системы «Кулон», который
бок топологии; фактически являлся отраслевым стандартом;
Разработка программного обеспечения для транс- в качестве языка второго уровня использовался
ляции топологии БИС непосредственно с языка язык символьных объектных файлов, в которых
макро описания, минуя внутреннее покоординат- иерархическая структура графических объектов
ное представление данных в памяти ЭВМ; представлена совокупностью абсолютных и от-
Разработка специализированного графического носительных адресов взаимных ссылок. Объект-
редактора для автоматического поиска по графи- ные графические файлы могут допускать вклю-
ческому изображению адрес-меток макро описа- чения текстовых пояснений только в качестве
ния редактируемого элемента топологии. комментария. Результатом компоновки и транс-
ляции объектных файлов должна быть целостная
К середине 80-х в САПР электронного приборо- топология проектируемой системы в SOURCE-
строения произошел резкий поворот в сторону рас- формате. Такой компоновщик объектных файлов
ширения ассортимента специализированных языков может быть поставлен на отечественных микро-
проектирования. ЭВМ типа «Электроника МС1212», ПЭВМ
Так, Японская телеграфная ассоциация проводит «Электроника-85» и др.
работы по созданию и внедрению Языка Графиче- в качестве языка высшего уровня
ского Описания (ЯГО) топологии СБИС [10, с.176], рекомендовался SMF (Standart Mask pattern For-
используемого в качестве стандартного интерфейса mat) – язык графического описания Японской
данных языка функционального описания СБИС [10, телеграфной ассоциации, который фактически
с.149]. стал стандартным графическим интерфейсом
В соответствии с тенденциями создания языков VHDL. Для создания и эксплуатации ассемблера
визуализации была принята концепцию 3-х уровней с этого языка потребуются значительные
языка графического описания, используемого в каче- ресурсы мини-суперЭВМ. Результатом
стве стандартного графического интерфейса данных трансляции (ассемблирования) описания
языка VHDL (Very Hierarchical Description Lan- графических объектов на языке SMF может быть
guage): совокупность объектных файлов, которая в
1-й (высший) уровень — уровень чтения и последующем компонуется (линкуется) в
восприятия человеком. Примером языка этого целостный графический объект проектирования.
уровня является язык SMF (Standart Mask pattern К созданию такого ассемблера необходимо
Format) Японской телеграфной ассоциации [10, приступить после успешной разработки и
с.176]. Разработка этого языка была тесно связана эксплуатации компилятора объектных файлов
с языком VHDL. языка 2-го уровня.
2-й уровень - уровень описания и преобразования Такова идеология и тактика разработки стандарт-
структуры графических объектов, ного графического интерфейса языка VHDL.
обеспечивающий обмен данными между ЭВМ Возникает вопрос, нельзя ли перейти от автома-
различных типов. Это язык объектных
тической генерации отдельных компонентов и фраг-
графических файлов, который посредством
ментов к автоматической генерации всего проекта.
компоновщика (LINKER - в англоязычной
Такой переход возможен на основе кремниевых ком-
терминологии по информатике) объединяет
пиляторов (SiComp) [16, с. 131].
структурные иерархические объекты в
целостную графическую систем. В этом языке Появление термина «Кремниевый компилятор»
мнемонические ссылки на структурные обязано некоторым сходством процесса проектиро-
иерархические компоненты представлены вания БИС и разработки программного обеспечения,
абсолютными и относительными адресами. т.е. некоторой общностью между обычными про-
172
граммными и кремниевыми компиляторами. Про- 5. Фарина Д., Даффи Дж.Р., Калгрен Т.Л. Метод
блемы лексического анализа и грамматического раз- библиотечных элементов, позволяющих
бора идентичны для обоих компиляторов. Языки разработчику любой квалификации
кремниевых компиляторов широко используют ал- проектировать интегральные схемы. //
горитмы параметрического расширения аналогич- Электроника, 1981. № 24. С. 55-59.
ные макрорасширениям в программных компилято- 6. Никишин В.И., Водолазский В.И. Язык описания
рах. Применение кремниевых компиляторов позво- топологии системы ТОПТРАН. //Вопросы
ляет процесс проектирования свести к процессу про- кибернетики. Системы автоматизированного
граммирования проекта, абстрагируясь от представ- проектирования интегральных схем. М.: НСК,
ления объекта на детальном уровне. 1984. С. 15-33
Важной особенностью процесса кремниевой 7. Майкл Диккенс, Ларри Длри. Средства
компиляции является возможность модификации и графического редактирования, обеспечивающие
построение стандартных элементов и
адаптации компилируемого кода проекта к парамет-
символическое представление подсистем. //
рам технологического процесса, которые, как прави-
Электроника, 1981. № 24. С. 48-54.
ло, включают поправочные коэффициенты погреш-
8. Попов В.А., Водолазский В.И.
ностей. Кремниевая компиляция также предполагает
Автоматизированная система проектирования
наличие топологического редактора для «тонкой топологии шаблонов БИС. //
подчистки» отдельных элементов топологии проек- Автоматизированные системы управления.
та. Выходным продуктом кремниевого компилятора Харьков: ХАИ, 1977, вып. 1. С. 19-24
является описание слоев топологии для изготовле- 9. Лысенко Э.В., Водолазский В.И.
ния фотошаблонов, что предполагает наличие этапа Программирование преобразования топологии
производства, что бы проект стал изделием. матричных структур БИС с функциональной
Кремниевый компилятор можно охарактеризо- нерегулярностью. // Сб. Радиоэлектроника
вать и как САПР, с помощью которой можно полу- летательных аппаратов», вып.10. Харьков, ХАИ,
чить топологию БИС, требующую от разработчика 1978, с.115-121.
сравнительно небольшого объема данных [15]. Кон- 10. Киносита К., Асада К., Карацу О. Логическое
структорские задачи в такой системе упрощаются проектирование СБИС: Пер. с япон. М.: Мир,
благодаря применению структуры элементарных 1988. 309 с., ил.
ячеек, которые образуют библиотеку типовых топо- 11. Баранов Б.И., Гуревич Д.З. Использование
логических решений. средств машинной графики в системе
Эволюция развития САПР нашла свое явное от- автоматизации проектирования фотошаблонов
ражение в версиях программного обеспечения систе- БИС. //УСиМ, 1976. № 1. С. 92-95.
мы ТОПТРАН [12], которая в наибольшей степени 12. Никишин В.И., Водолазский В.И. Система
отражала на каждом этапе развития возможности проектирования ТОПТРАН. М.: Наука, 1988,
компьютерного и технологического оборудования 112с.
для решения поставленных временем проблем элек- 13. Лысенко Э.В., Водолазский В.И. Алгоритм
тронного приборостроения и микроэлектроники. масштабного преобразования топологии
шаблонов интегральных схем для электронно-
лучевых установок. //Радиоэлектроника
Литература летательных аппаратов. /Тематический сборник
научных трудов ХАИ. Выпуск 9. /Харьков, 1977.
1. Никишин В.И., Водолазский В.И. Основные С.36-40.
аспекты построения системы 14. Казенов Г.Г., Баталов Б.В., Щербаков В.Е.,
автоматизированного проектирования на базе Еремин Л.В. Автоматизированная система
мини-ЭВМ. //Вопросы кибернетики. Системы проектирования фотошаблонов на базе ЭВМ
автоматизированного проектирования БЭСМ-6. //Микроэлектроника, 1976, вып. 9. С.22-
интегральных схем. М.: НСК, 1984. С. 4-14. 26.
2. Водолазский В.И. Система проектирования 15. Автоматизация проектирования БИС. В 6 кн.:
ТОПТРАН.// Программные продукты и системы, Практ. Пособие. Кн. 1. Казеннов Г.Г., Соколов
1996. №4. с.74-81. А.Г. Принципы и методология построения САПР
3. Никишин В.И., Водолазский В.И. Система БИС. /Под ред. Г.Г.Казенова. М.: Высш. Шк.,
команд геометрических преобразований 1990. 142 с.: ил.
топологии компонентов. //Вопросы кибернетики.
Системы автоматизированного проектирования
интегральных схем. М.: НСК, 1984. С. 55-67.
4. Михайлов О.А., Беляева Н.В., Ермолаев В.Н.
Система машинного описания топологии и
изготовление фотошаблонов ИС. //Электронная
промышленность, 1975, №6. С.12-17.
Методы и средства защиты
программных продуктов САПР
Смирнов В. Ю. к.т.н., доцент, заведующий кафедрой
МАИ
Проблемы защиты данных наиболее остро для создания и проверки электронной подписи –
проявляются при использовании ЭВМ для обра- RSA.
ботки и хранения информации. Любая современ- Для защиты от несанкционированного копиро-
ная проектная организация не в состоянии успеш- вания файлов программных продуктов САПР не-
но развиваться и вести хозяйственную деятель- обходимо использовать иденти-фикационные ха-
ность без создания на ней условий для надежного рактеристики компьютер-ных носителей данных,
функционирования системы защиты собственной атрибуты файлов, а также создать свой формат
информации. И поэтому проблема создания ком- данных, обеспечивающий создание файла только
плексной системы защиты программных продук- для просмотра результатов расчѐтов.
тов САПР, а также изучение, обобщение и систе- Защиту от несанкционированного доступа к
матизация основных направлений и методов за- информации целесообразно осуществлять с помо-
щиты информации, которые реально используют- щью:
ся или могут быть использованы в ближайшее использования метода контрольных сумм;
время в проектных организациях, несомненно, применения метода ―циклического контрольного
является актуальной. кода‖;
Обеспечение безопасности информации в ор- использования однонаправленных функций
ганизации – это непрерывный процесс, заключаю- хэширования, которые обеспечивают контроль
щийся в обосновании и реализации наиболее ра- целостности данных.
циональных методов, способов и путей совершен-
ствования и развития системы защиты, а также В соответствии с поставленными задачами
непрерывном контроле ее состояния, выявлении была разработана программа, реализованная под
ее узких и слабых мест и противоправных дейст- операционную систему Microsoft Windows XP
вий. Professional на базе Visual C++, с возможностью
Для решения вышеуказанных проблем были встраивания в программные продукты САПР типа
поставлены следующие задачи: AutoCAD. На рис. 1 схематически показана струк-
защита файлов с помощью методов тура программы.
криптографии; В разработанной программе реализованы сле-
защита от несанкционированного копирования дующие способы защиты файлов и программных
программных продуктов; средств САПР:
защита от несанкционированного доступа к производится шифрование файлов с
файлам. возможностью выбора метода шифрования: DES
– обладает высоким уровнем надѐжности и
Для решения задачи шифрования файлов целе- криптостойкости, а XOR и Гаммирование
сообразно использовать современные криптогра- популярны благодаря своей высокой скорости
фические системы, обладающие повышенной шифрации;
стойкостью: для алгоритмов шифрования и де- выполнена защита от несанкционированного
шифрования крипто-графическую систему DES, копирования программных продуктов на основе
174
Литература
Выводы
Дл я о бе с печ е ни я тр еб уем о го ур о в н я 1. Арзуманов С.В. Оценка эффективности
информационной безопасности программных инвестиций в информационную безопасность.
продуктов САПР требуется комплексный подход – М: Защита информации. Инсайд, №1, 2005.
к защите информации. Безопасность информации 2. Губенков А.А. Информационная безопасность.
может быть обеспечена лишь при комплексном – М.: Новый издательский дом, 2005.
использовании всего арсенала имеющихся 3. Домашев А.В., Попов В.О., Правиков Д.Н.
средств защиты во всех структурных элементах Программирование алгоритмов защиты
производственной системы и на всех этапах информации. – М.: НОЛИДЖ , 2000.
технологического цикла обработки информации. 4. Зегжда Д.П., Ивашко А.М. Основы
Наибольший эффект достигается тогда, когда все безопасности информационных систем. – М.:
используемые средства, методы и меры Телеком, 2000.
объединяются в единый целостный механизм – 5. Зима.В.М., Ломако А.Г., Ростовцев Ю.Г.
систему защиты информации. Для реализации Технологии обеспечения информационно-
комплексной информационной защиты САПР компьютерной безопасности. – СПб.: ВИКУ,
целесообразно использовать современные 2000.
криптографические системы, обладающие 6. Конеев И.Р., Беляев А.В. Информационная
повышенной надѐжностью, криптостойкостью и безопасность предприятия. – СПб.: БХВ-
быстродействием. Петербург , 2003.
Разработанная программа, осуществляющая 7. Ярочкин В. И. Информационная безопасность.
комплексную защиту информации в проектных – М.: Междунар. отношения, 2004.
организациях, позволяет:
выполнять шифрование файлов с возможностью
выбора метода шифрования;
осуществлять защиту от несанкционированного
копирования программных продуктов с помощью
идентификационных характеристик носителя
данных и атрибутов файлов;
обеспечивать защиту от несанкционированного
доступа к информации с помощью применения
методов контрольных сумм, циклического
обратного кода и однонаправленных функций
хэширования;
добавлять к файлам электронную подпись и
проверять наличие электронной подписи у файла;
Создан со бственный формат данных,
обеспечивающий различные виды защиты, в том
числе невозможность просмотра файла в других
программах, создание файла только для
Системный анализ
мониторинга экологической безопасности
от воздействия автомобильного транспорта
в мегаполисе
Нгуен Куанг Тхыонг, д.т.н., с.н.с. ВЦ РАН
Филлипова Н. В., ст. преподаватель кафедры «Высшая математика»
РЭА им. Г.В. Плеханова
Дизель CO HC HC+NO x NO x ТЧ
(N1, Класс I/1000)*7 Евро 1 2,72 0,00 0,97 0,00 0,14
≤1305 кг Евро 2, IDI 1,00 0,00 0,70 0,00 0,08
Евро 2, DI 1,00 0,00 0,90 0,00 0,10
Евро 3 0,64 0,00 0,56 0,50 0,05
N1, Класс II Euro 1 5,17 0,00 1,40 0,00 0,19
1305-1760 кг Евро 2, IDI 1,25 0,00 1,00 0,00 0,12
Евро 2, DI 1,25 0,00 1,30 0,00 0,14
Евро 3 0,80 0,00 0,72 0,65 0,07
N1, Класс III Евро 1 6,90 0,00 1,70 0,00 0,25
>1760 кг Евро 2, IDI 1,50 0,00 1,20 0,00 0,17
Евро 2, DI 1,50 0,00 1,60 0,00 0,20
Евро 3 0,95 0,00 0,86 0,78 0,10
Бензин
N1, класс 1 Евро 1 2,72 0,00 0,97 0,00 0,00
≤1305 kg Евро 2 2,20 0,00 0,50 0,00 0,00
Евро 3 2,30 0,20 0,00 0,15 0,00
N1, Класс II Евро 1 5,17 0,00 1,40 0,00 0,00
1305-1760 кг Евро 2 4,00 0,00 0,65 0,00 0,00
Евро 3 4,17 0,25 0,00 0,18 0,00
N1, Класс III Евро 1 6,90 0,00 1,70 0,00 0,00
>1760 кг Евро 2 5,00 0,00 0,80 0,00 0,00
Евро 3 5,22 0,29 0,00 0,21 0,00
CO HC HC+NO x NO x ТЧ
(N1, Класс
Евро 1 31140273,60 0,00 11105171,10 0,00 1602808,20
I/1000)*7
≤1305 кг Евро 2, IDI 11448630,00 0,00 8014041,00 0,00 915890,40
Евро 2, DI 11448630,00 0,00 10303767,00 0,00 1144863,00
Евро 3 7327123,20 0,00 6411232,80 5724315,00 572431,50
N1, Класс II Euro 1 78919222,80 0,00 21370776,00 0,00 2900319,60
1305-1760 кг Евро 2, IDI 19081050,00 0,00 15264840,00 0,00 1831780,80
Евро 2, DI 19081050,00 0,00 19844292,00 0,00 2137077,60
Евро 3 12211872,00 0,00 10990684,80 9922146,00 1068538,80
N1, Класс III Евро 1 26331849,00 0,00 6487557,00 0,00 954052,50
>1760 кг Евро 2, IDI 5724315,00 0,00 4579452,00 0,00 648755,70
178
CO HC HC+NO x NO x ТЧ
Евро 2, DI 5724315,00 0,00 6105936,00 0,00 763242,00
Евро 3 3625399,50 0,00 3281940,60 2976643,80 381621,00
30,00
N1, класс 1 Евро 1 170190590,40 0,00 60692967,90 0,00 0,00
≤1305 kg Евро 2 137654154,00 0,00 31285035,00 0,00 0,00
Евро 3 143911161,00 12514014,00 0,00 9385510,50 0,00
N1, Класс II Евро 1 395373320,10 0,00 107064342,00 0,00 0,00
1305-1760 кг Евро 2 305898120,00 0,00 49708444,50 0,00 0,00
Евро 3 318898790,10 19118632,50 0,00 13765415,40 0,00
N1, Класс III Евро 1 719555805,00 0,00 177281865,00 0,00 0,00
>1760 кг Евро 2 521417250,00 0,00 83426760,00 0,00 0,00
Евро 3 544359609,00 30242200,50 0,00 21899524,50 0,00
нальную зависимость вектора управления от век- она не может быть представлена с точностью до
тора состояния объекта. значений параметров, например в виде
xt f x f ,
нотипные сетевые операторы.
(4) Однотипные сетевые операторы - это сете-
где t f - время окончания процесса управле- вые операторы, для которых выполняются сле-
ния, либо задано, либо ограничено t f t . дующие условия:
а) узлы-источники совпадают;
Задан функционал качества
tf б)используют одинаковые конструктивные
Вариация сетевого оператора – это такое изменение сетевого оператора, которое приводит к одно-
типному сетевому оператору.
Для более качественного поиска решения с помощью эволюционных алгоритмов необходимо исполь-
зовать малые вариации, которые наименее всего изменяют сетевой оператор. Такими малыми вариация-
ми считаем элементарные вариации.
Вариация сетевого оператора – это такое изменение сетевого оператора, которое приводит к одно-
типному сетевому оператору.
Элементарная вариация сетевого оператора – это такая вариация, которая не может быть представ-
лена в виде совокупности других вариаций.
В таблице 1 приведены все возможные малые вариации сетевого оператора.
Табл.1.
Элементарные вариации сетевого оператора
Номер вариации Наименование вариации
0 Изменение унарной операции, связанной с дугой
сетевого оператора
1 Изменение бинарной операции, связанной с узлом
сетевого оператора
2 Добавление дуги вместе с унарной операцией
Теорема 1. Из одного сетевого оператора всегда можно получить однотипный ему сетевой оператор
только с помощью элементарных вариаций.
Доказательство. Пусть заданы два однотипных сетевых оператора. Вариация 2 добавления дуги все-
гда возможна, если существуют в сетевом операторе узлы, между которыми нет дуг. Выполняем вариа-
цию 2 исходного сетевого оператора до тех пор, пока данная вариация возможна. Получаем полный сете-
вой оператор, однотипный исходному оператору. Далее с помощью вариации 3 удаления дуги из полного
сетевого оператора получим сетевой оператор, который структурно эквивалентен желаемому сетевому
оператору. После этого с помощью вариаций 0 и 1 изменения унарных и бинарных операций получаем
желаемый сетевой оператор.
Для формального описания вариации сетевого оператора введем вектор вариации
w w1 w2 w3 w4
T
(8)
где w1 - номер вариации согласно табл. 1, w2 , w3 , w4 - целочисленные компоненты, принимающие
значения в зависимости от номера вариации.
Для поиска оптимального сетевого оператора, который соответствует оптимальному математическо-
му выражению, используем генетический алгоритм. Генетический алгоритм удобен тем, что он позволя-
ет одновременно искать структуру математического выражения и значения параметров, входящих в него.
Первоначально задаем базисное решение задачи. Это решение может представлять собой любое мате-
матическое выражение, которое, по мнению исследователя, наиболее близко к искомому оптимальному
выражению.
Базисное решение описываем матрицей сетевого оператора Ψ 0 0 , i, j 1, L .
ij
182
183
Литература
1. Diveyev A.I., Sofronova E.A. Application of network operator method for synthesis of optimal structure and
parameters of automatic control system// Proceedings of 17-th IFAC World Congress, Seoul, 05.07.2008 –
12.07.2008. P. 6106 – 6113.
2. Diveev A.I., Sofronova E.A. Method of network operator for synthesis of optimal control system// Al Taknie
(Libya) 2008, no 6. P. 130-143.
3. Дивеев А.И., Шмалько Е.Ю. Многокритериальный структурно-параметрический синтез системы
управления спуском космического аппарата на основе метода сетевого оператора// Вестник
Российского университета дружбы народов. Серия инженерные исследования (информационные
технологии и управление). 2008, № 4. С. 86 - 93.
4. Дивеев А.И., Северцев Н.А., Софронова Е.А. Синтез системы управления метеорологической ракетой
методом генетического программирования// Проблемы машиностроения и надежности машин. 2008,
№ 5. С. 104 - 108.
О безопасности функционирования
динамической системы
на основе технической устойчивости
Дружинина О. В., д. ф.-м. н., проф.,
Вычислительный центр им. А.А. Дородницына РАН
Литература
1. Четаев Н.Г. Об одной мысли Пуанкаре // Сб. научн. тр. КАИ. 1935. № 3. С. 3 – 6.
2. Каменков Г.В. Об устойчивости движения на конечном интервале времени // ПММ. 1953. Т. 17. Вып.
5. С. 529 – 540.
3. Моисеев Н.Д. Обзор развития неляпуновских теорий устойчивости // Труды ВВА им. Н.Е. Жуковско-
го. Записки семинара по теории устойчивости движения. 1946. Вып. 1.
4. Алексеев В.М. Об одной оценке возмущений решений обыкновенных дифференциальных уравнений.
I, II // Вестник Московского ун-та. 1961. № 2. С. 28 – 36; 1961. № 3. C. 3 – 10.
5. Лозинский С.М. Оценка погрешностей численного интегрирования обыкновенных дифференциаль-
ных уравнений // Изв. вузов. 1958. № 5. С. 52 – 90.
6. Климачкова Т.С. О технической устойчивости при постоянно действующих возмущениях // Applica-
tions of «Mathenatica» system to social processes and mathematical physics. Proc. Of the International work-
shop. Брестский гос. ун-т, Беларусь; Wyzsza szkola finansow I zarzadzania w Sieldcach, Polska, 2003. P.
152 – 154.
197
Аннотация