Preview

Информатика

Расширенный поиск
№ 1(5) (2005)

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

5-15 24
Аннотация

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

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

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

ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ

41-51 69
Аннотация
Представлен обзор работ, выполненных в ОИПИ НАН Беларуси в рамках решения проблемы интеллектуализации информационных процессов поиска и обработки текстовых документов. Рассмотрены модели синтаксического и семантического анализа входных предложений, синтаксического синтеза выходных, генерации стратегий информационного поиска и навигационных маршрутов в гипертексте, создания и актуализации гипертекстовых баз данных.
52-57 69
Аннотация
Исследуется проблема коммуникации при разработке систем с использованием внешних информационных ресурсов. Предложена общая схема коммуникации на основе модифицированной модели ШеннонаУивера и средства ее реализации.
58-67 39
Аннотация
При разработке и реализации любого нейросетевого алгоритма возникает задача тестирования его работоспособности. В таких случаях используются различные тестовые задачи. При этом, как и в других областях научной деятельности, исследователю приходится использовать методы визуализации данных с целью более эффективного их анализа. Однако большинство тестовых задач не позволяют наглядно и объективно судить о ходе поиска решения в пространстве функции ошибки. В статье дан краткий обзор методов, применяемых для визуализации процесса обучения нейронной сети, а также описан подход к тестированию алгоритмов обучения нейронных сетей, основанный на использовании тестовых задач, обладающих известной функцией ошибки. В качестве иллюстрации к данному подходу  предложена простая тестовая задача для нейронной сети минимального размера, которая позволяет наглядно визуализировать процесс обучения и объективно судить о его ходе.

ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ

68-75 34
Аннотация

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

76-88 58
Аннотация
Анализируются ключевые формализмы теории распределенных систем: обобщенные автоматы, сети Петри, временная логика и язык ПРАЛУ. В результате анализа известных способов описания поведения вычислительных систем, построенных как набор взаимодействующих компонентов, показана перспективность языка ПРАЛУ в проектировании протоколов. Рассматриваются морфизмы интерпретации языков. Морфизм интерпретации часто используется, чтобы задать семантику языков описания процессов. По критерию богатства возможных интерпретаций язык ПРАЛУ можно считать более предпочтительным по сравнению с остальными.
89-94 56
Аннотация
Рассматривается проблема моделирования неисправностей  СБИС и устройств цифровой электроники, представленных на структурном уровне на языке VHDL. Дается анализ эффективности предлагаемых решений.
95-102 27
Аннотация

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

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

103-111 25
Аннотация
Излагаются вопросы создания автоматизированных информационных систем для органов территориального управления с использованием информационно-коммуникационных технологий.
112-121 39
Аннотация
Рассматриваются вопросы автоматизации проектирования роботизированных технологических комплексов дуговой сварки с использованием манипулятора изделия. Проводится анализ достижимости возможных ориентаций шва. Предлагается алгоритм минимизации времени перехода между группами швов с учетом технологических особенностей процесса дуговой сварки.

ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ

122-131 27
Аннотация
Проводится анализ наиболее известных моделей оценки защищенности объектов информационных технологий, рассматриваются их достоинства и недостатки. Обосновывается необходимость разработки новой модели объекта информационных технологий и средств защиты. Предлагается подход к построению модели на основе анализа рисков от реализации угроз безопасности.
132-138 41
Аннотация
Проводится анализ параметров исполняемого кода как объекта внедрения скрытой информации с использованием стеганографических подходов. Представлены результаты исследований, проведенных с целью оценки информационной ёмкости, которая обеспечивается механизмом эквивалентных замен машинных инструкций. Приводится краткое описание новых алгоритмов внедрения водяного знака, основанных на подстановках машинных инструкций.

КОНФЕРЕНЦИИ

139-140 23
Аннотация

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

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


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)