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

Методы контроля за состоянием подъемного каната. Существующие средства неразрушающего контроля, согласно ГОСТ 4.27-71, предназначенные для выявления дефектов нарушения сплошности материала изделия. Принципиальная схема измерения порывов проволок каната.

Мышьяк: история открытия, история отравлений. Свойства и механизм токсического действия мышьяка. Современные методы лечения и профилактики отравлений мышьяком. Последствия и причины избытка мышьяка. Методика обнаружения мышьяка в биологических объектах.

Требования, предъявляемые к алгоритму отслеживания объектов в видеопотоке в рамках разработки программного продукта. Рассмотрение алгоритма центроидного отслеживания, который планируется использовать для воссоздания траектории движущегося объекта.

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

Решение задачи проверки статистической гипотезы о наличии сигнала пространственно-протяженной цели против альтернативы о наблюдении сигнала точечной цели методом обобщенного отношения правдоподобия. Изучение вероятностного анализа качества обнаружения.

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

Условия появления априорной параметрической неопределенности вследствие незнания параметров исходных распределений помех и сигналов в устройствах обнаружения. Задачи с мешающими параметрами, уменьшение мерности пространства при переходе к статистикам.

Способы проявления невидимых отпечатков пальцев, крови, следов семенных нитей в пятне на месте преступления. Исследование документов, подчисток, выскабливаний, невидимого отпечатка текста. Определение отравляющих веществ: оксида углерода в крови, мышьяка.

Решение задачи синтеза эффективных алгоритмов приема полезного сигнала с флуктуирующими амплитудами и начальными фазами на фоне негауссовых помех. Получение рабочих характеристик приемников обнаружения полезного сигнала на фоне негауссовых помех.

Анализ проблемы обнаружения структурных сдвигов (скачков на основе модели GARCH) в данных на примере доходности акций некоторых компаний нефтегазовой отрасли РФ (Газпром, Роснефть, Башнефть) в период финансового и валютного кризиса 2007-2009 годов.

Принципы работы сканера безопасности, его недостатки и достоинства. Характеристика и отличительные черты сканера безопасности the Network Mapper. Описание, применение и функционирование сканера xspider, особенности основных методов сканирования.

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

Методика выделения феназепама из биологических жидкостей и его исследование с помощью современного метода высокоэффективной жидкостной хроматографии. Хроматографирование в системе растворителей бензол-хлороформ-этилацетат-метанол. УФ-спектр феназепама.

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

Обнаружение и определение типа химического заражения местности. Оценка химической обстановки. Устройство и принцип работы основного прибора химической разведки ВПХР по определению типа отравляющих веществ. Основные задачи химической разведки и контроля.

Выявление фрагмента ДНК, кодирующего белок L1 вируса папилломы человека, и фрагмента ДНК, кодирующего Р-глобин генома человека, в плазме, эритроцитарной взвеси и эритроцитарной версии, обработанной трипсином, у пациентки больной раком шейки матки.

В статье рассматривается применение нейронных сетей для обнаружения мошенничества и улучшения кибербезопасности. Нейронные сети представляют собой мощный инструмент в борьбе с киберугрозами. Проводится анализ различных методов и техники использования.

Исследование обновлений и совершенствования системы бухгалтерского учета и отчетности. Особенности работы аудиторов при работе с аналитическими таблицами как аналитическими расшифровками по основным статьям баланса, по отчету о прибылях и убытках.

Изучение необходимости укрепления материально-технической базы рисоводства региона Приаралья. Ознакомление с основными показателями производства сельскохозяйственной продукции в Кызылординской области. Анализ валового сбора сельскохозяйственных культур.

Принципы построения организационных структур предприятия. Связь структуры с ключевыми понятиями управления. Анализ возможностей совершенствования организационной структуры управления развитием ООО "Строй-трейдинг". Проблема межорганизационной кооперации.

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

Анализ Государственного образовательного стандарта по направлению "Естественнонаучное образование" как нормативного документа, определяющего специфику специалистов в области естественнонаучного образования. Образовательные программы подготовки бакалавров.

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

Характеристика платформы российского художественного образования. Изучение необходимости исследования платформы российского художественного образования. Рассмотрение роли дизайна в общественном сознании. Анализ смыслов социальной функции дизайна.

Составление предложений с использованием деепричастия, характеристика рефлексии. Определение синтаксической роли. Рассмотрение роли деепричастия в художественном произведении. Изучение участия суффиксов в образовании деепричастий несовершенного вида.

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

Результаты четырехлетних (2004–2007) исследований перспективных технических сортов винограда по контрастным зонам Краснодарского края. Ампелографический скрининг генофонда Темрюкской подзоны, в результате которого выделены перспективные сорта винограда.

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

Анализ методов обновления фонда пространственных данных в целях проведения мониторинга земель Республики Мордовии. Обзор аэро- и космосъемок и сервисов обработки, анализа и моделирования геоданных, цифровых платформ дистанционного зондирования земли.