Исследование механизмов идентификации преступных посягательств на информацию органов военной прокуратуры гарнизонного звена : На примере военной прокуратуры Западного регионального пограничного управления ФСБ РФ и военной прокуратуры Воронежского гарнизон

• Автор: Заряев, Сергей Александрович
• Шифр специальности: 05.13.19
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Москва
• Количество страниц: 200 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
Глава 1. Анализ функционировании и оценка производи ел ьности МВК оперативного управления сложными техническими системами
1.1. Работа МВК систем управления в реальном масштабе времени и проблемы оценки производительности

1.2. Надежность МВК оперативного управления сложными техническими системами.

1.3. Метод выбора множества макроопераций для реализации аппаратными средствами.

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

процессорных вычислительных систем с разнородными процессорами и многошинном организацией связи процессоров с ОН.
1.5. Аналитический метод и алгоритм, расчета производительности МВС, состоящей из. произвольного количества типов процессоров, произвольною количества процессоров каждого типа и произвольною количества шин, объединяющих про цессоры с ОП.
Выводы

Глава2. Модели оценки надежности МВС

2.1. Общая характеристика избранною подхода моделирования расчета надежности специализированных МВС.
2.2. Аналитическая модель расчета надежности для МВС с произвольным количеством однородных процессоров и блоков общей оперативной памяти.
2.3. Аналитическая модель расчета надежности для МВС с разнородными процессорами и одношинным интерфейсом
2.4. Аналитическая модель расчета надежности для МВС с раз породными процессорами и одношинным интерфейсом
2.5. Аналитическая модель расчета надежности для МВС произвольной конфигурации
Выводы
ГлаваЗ. Поисковые методы решения условных задач дискретной оптимизации
3.1. Локальный поиск в задачах дискретной оптимизации
3.2. Локальный поиск для оптимизации на дискретной
решетке
3.3. Эволюционные алгоритмы
3.4. Гибридные адаптивные поисковые алгоритмы
3.5. Прямые методы учета ограничений в поисковых алгоритмах
3.6. Метод обобщенного Лагранжиана для задач условной оптимизации на дискретных структурах при алгоритмически заданных функциях
Выводы 9

Глава4. Оценка достоверности аналитических результатов методом имитационного моделирования и практические результаты
4.1. Имитационная модель функционирования МВС
4.2. Описание программной системы, реализующей имитационную модель специализированной МВС
4.3. Описание прщраммной системы, обеспечивающей решение задач выбора надежных вариантов специализированных МВС 1 Выводы
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


Американские специалисты по контролю за экспортом вооружений при оценке уровня производительности компьютеров используют показатель составной теоретической производительности СТР, измеряемой в I миллионах теоретических операций в секунду . СТР зависит только от аппаратных средств компьютера тактовой частоты, набора функциональных устройств, пропускной способности и набора внутренних шин, длины разрядной сетки и так далее. Однако сравнение производительности компьютеров с использованием пиковых значений производительности не всегда приводит к адекватным результатам. Пиковая производительность, выраженная в количестве команд, выполняемых п единицу времени, не учитывает функционального наполнения команд. Один и тот же результат, например, сложение элементов двух массивов, размещенных в памяти, может быть получен с использованием разного числа команд в ЛЯС и С1ЯС процессорах. Разные форматы команд имеют разную длительность исполнения, и время исполнения последовательности команд зависит от конкретного места каждой команды в последовательности. Не следует забывать также о влиянии разрядности обрабатываемых чисел, чтобы избежать. При появлении суперкомпьютеров типа СКА1 была введена единица измерения производительности, выражаемая числом результатов с плавающей точкой в единицу времени. Введение этого показателя обосновывалось тем. Например, при умножении матриц важны только операции с плавающей точкой получения значений элементов результирующей матрицы, а операции с фиксированной точкой, формирующие адреса элементов матриц, счетчики циклов и так далее это внутренняя организация компьютера.