Приведен селективно-ковариационный метод локализации, классификации и отслеживания людей в видеопотоках от нескольких камер. Подобные методы являются ключевыми при разработке систем безопасности и видеонаблюдения, интеллектуального окружения и робототехники. Метод назван селективно-ковариационным, поскольку прежде, чем относить объект к тому или иному классу (в нашем случае к тому или иному классу людей) на основе применения ковариационных дескрипторов, осуществляется выделение (селекция) специфической области, характерной для рассматриваемого класса объектов (людей) - это области головы и плеч человека. Предложены новые функции признаков для построения ковариационных дескрипторов, проведено сравнение эффективности применения этих функций с базовыми функциями признаков. Предложена и апробирована маска, позволяющая выделять наиболее информативные пиксели области интереса. Использование предложенных функций признаков и маски для выделения информативной области интереса позволило значительно улучшить достоверность классификации людей (с 75% при применении базовых функций признаков до 94,6% по предложенному методу) при невысокой вычислительной сложности.

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

Показано, что успешная реализация военно-технологической программы во многом зависит от механизмов ее оценки, действующих как на этапе разработки программы, так и на этапе ее реализации. Кратко описаны основные механизмы, применяемые при оценке военнотехнологической программы. Детально рассмотрены экспертные механизмы формирования программы и разработаны их варианты, характеризующиеся требованием неманипулируемости, отражающем заинтересованность управляющих органов в предоставлении достоверной и объективной информации. Задачи корректной организации экспертных процедур военно-технологической программы можно эффективно решить в рамках теории активных систем, когда руководство Центра организует экспертизу программы в целях получения наиболее точной и объективной оценки, при этом эксперты как активные элементы процесса экспертизы могут выбирать такую стратегию поведения, чтобы полученная на основе процедуры свертки итоговая экспертная оценка максимально соответствовала их интересам. Формализованы основные функции и цели экспертов, а также условия, при выполнении которых в ситуации равновесия по Нэшу на основе достоверных оценок экспертов определяется результирующая оценка, отражающая их согласованные мнения. Доказано утверждение о том, что в ситуации равновесия результирующая экспертная оценка любого эксперта совпадает с его истинной оценкой проекта военно-технологической программы. При этом собственное мнение эксперта о проекте программы не играет никакой роли в определении его рейтинга. Показано, что руководству Центра разумно формировать свою стратегию так, чтобы в процессе проведения экспертизы военно-технологической программы были учтены две крайние ситуации поведения эксперта: 1) стремление отстоять свое мнение; 2) не понизить свой рейтинг.

Выполнена автоматизация проверки правильности спецификаций протоколов инициирования сеансов как мультиагентной системы, представляемой про- цессными моделями и описанием требований их правильности на языке вре- менной модальной логики. Автоматизацию проверки правильности специфи- каций предложено осуществлять логическими программами, получаемыми с помощью предлагаемой методики перехода от процессной модели описания спецификации и требований правильности на языке модальной логики к ло- гической программе проверки правильности на языке логического программи- рования ПРОЛОГ. Развиты принципы перехода от процессных моделей SIP- спецификаций к логической программе до детальной методики получения всех необходимых разделов логической программы. Методика проиллюстрирована примером логической программы для случая двух взаимодействующих агентов: пользовательского и сервисного.