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

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

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

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

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

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

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

Исследуется проблема коммуникации при разработке систем с использованием внешних информационных ресурсов. Предложена общая схема коммуникации на основе модифицированной модели Шеннона – Уивера и средства ее реализации.

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

Предлагаются синтезируемые VHDL-модели параллельных автоматов, представленных на языке ПРАЛУ, и секвенциальных автоматов. Синтезируемыми являются такие VHDL-описания, по которым возможно автоматическое построение логических схем в заданных  базисах логических элементов.

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

Рассматривается проблема моделирования неисправностей  СБИС и устройств цифровой электроники, представленных на структурном уровне на языке VHDL. Дается анализ эффективности предлагаемых решений.

Предлагается метод минимизации аппаратурных затрат в композиционных микропрограммных устройствах управления с разделением кодов. Метод основан на преобразовании пар <code of operational linear chain, address of component> в адрес входа операторной линейной цепи. Приведен пример применения предложенного метода.

Излагаются вопросы создания автоматизированных информационных систем для органов территориального управления с использованием информационно-коммуникационных технологий.

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

«СОВРЕМЕННЫЕ ИНФОРМАЦИОННЫЕ И ТЕЛЕМЕДИЦИНСКИЕ ТЕХНОЛОГИИ ДЛЯ ЗДРАВООХРАНЕНИЯ» (AITTH’2005)

8-10 ноября 2005 г., Минск, Беларусь