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

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

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

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

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