С О Д Е Р Ж А Н И Е № 11, 2007
 
ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ КОМПЛЕКСЫ ПОДВИЖНЫХ ОБЪЕКТОВ
 
Себряков Г.Г.  ХАРАКТЕРИСТИКИ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА-ОПЕРАТОРА В ДИНАМИЧЕСКИХ СИСТЕМАХ СЛЕЖЕНИЯ И НАВЕДЕНИЯ ЛЕТАТЕЛЬНЫХ АППАРАТОВ
Дан анализ психофизиологических возможностей и ограничений, свойственных человеку-оператору при управлении сложным динамическим объектом, каковым является летательный аппарат.

 
АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ, КОНСТРУИРОВАНИЯ И ТЕХНОЛОГИЧЕСКОЙ ПОДГОТОВКИ ПРОИЗВОДСТВА
 
Константинов И.С.,  Долгов Е.П.,  Рыжов Ю.Н.  ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ ДИНАМИЧЕСКИХ НАГРУЗОК В ПРИВОДЕ СЦЕПЛЕНИЯ С ГИДРАВЛИЧЕСКИМ УСИЛИТЕЛЕМ
Описаны построение и реализация математической модели для сцепления с гидравлическим усилителем. Приведен пример расчета динамических нагрузок на фрикционные диски сцепления трактора Т-130 с гидравлическим усилителем по положению с использованием разработанной автоматизированной системы проведения экспериментов.

 
СИСТЕМЫ УПРАВЛЕНИЯ ПРОИЗВОДСТВЕННОЙ ДЕЯТЕЛЬНОСТЬЮ ПРЕДПРИЯТИЙ
 
Пирогов В.В.,  Полотовский С.Н.  ИНТЕГРИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ МЕТАЛЛООБРАБАТЫВАЮЩИХ ПРЕДПРИЯТИЙ (ПРИНЦИПЫ И ОПЫТ РАЗРАБОТКИ)
Рассмотрен процесс создания компьютерных систем управления производством металлообрабатывающих предприятий. Описан опыт разработки, внедрения и промышленной эксплуатации интегрированной системы управления производственной деятельностью группы компаний "Маяк".

 
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
 
Симкина Д.И.,  Крыжановский В.М.  СВОЙСТВА КЛИППИРОВАННОЙ МОДЕЛИ ВЕКТОРНОЙ АССОЦИАТИВНОЙ ПАМЯТИ
Проведено исследование характеристик векторной ассоциативной памяти с клиппированными синапсами на примере модели фазовой параметрической нейронной сети, нейроны которой имеют q состояний. Показано, что при малом числе образов M (M < 2q2) отношение сигнал/шум у сети с клиппированными синапсами в 2 раза больше, чем у неклиппированной сети со стандартной Хэббовской матрицей синаптических связей.

 
РАСПРЕДЕЛЕННЫЕ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ
 
Бондаренко А.В.,  Лисицын А.В.,  Лисицын М.В.,  Арабаджиев С.Е.  СИНХРОНИЗАЦИЯ РАСПРЕДЕЛЕННЫХ БАЗ ДАННЫХ. ЧАСТЬ 5. СИНХРОНИЗАЦИЯ В ЗАЩИЩЕННЫХ СЕТЯХ
Рассмотрены вопросы развития системы сеансовой синхронизации распределенных гетерогенных баз данных применительно к защищенным сетям.

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

 
ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
 
Котенко И.В.,  Тишков А.В.,  Черватюк О.В.,  Резник С.А.,  Сидельникова Е.В.  СИСТЕМА ВЕРИФИКАЦИИ ПОЛИТИКИ БЕЗОПАСНОСТИ КОМПЬЮТЕРНОЙ СЕТИ
Описан подход к верификации спецификаций сложных систем на примере проверки политики безопасности компьютерной сети. Особенностью подхода является применение гибридной архитектуры, использующей разные математические методы для поиска и разрешения различных типов противоречий, открытость для введения дополнительных моделей и методов верификации, а также использование автоматизированных процедур разрешения противоречий. Рассмотрена архитектура предлагаемой системы верификации. Представлены модели реализации двух модулей верификации: модуля, основанного на теории доказательств, с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели. Описана текущая реализация программного прототипа системы верификации.