Preview

Информатика

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

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

7-16 470
Аннотация
Построены матричные ряды для разложения операторов нелинейных динамических систем в пространстве состояний. Предложенные матричные разложения положены в основу нелинейного анализа широко известных аттракторов сложных динамических систем. С использованием результатов матричной декомпозиции реализовано численное интегрирование системы Лоренца на языке Java. Показано применение разработанного метода матричной декомпозиции к определению значений управляющих параметров системы на примере аттрактора Лоренца.
17-27 418
Аннотация
Приведен обзор методов решения задач теории расписании, в которых, в отличие от традиционных формулировок, директивные сроки обслуживания требований не заданы априори, а являются параметрами, значения которых необходимо отыскать. Основное внимание уделяется полиномиальным алгоритмам решения задач построения оптимальных расписаний с назначением директивных сроков для систем с одним прибором.
28-36 495
Аннотация
Предлагается метод синтаксического анализа текста, основанный на моделировании процесса распознавания его синтагм средствами специальной формальной грамматики (штрих-грамматики), которая обеспечивает универсальность метода для различных естественных языков. Формализованы основные семантические отношения в языке, с использованием которых исследованы условия существования в предложениях текста маргинальных синтагм. С учетом этих свойств разработаны алгоритмы синтаксического анализа проективных и непроективных предложений.
37-44 456
Аннотация
Приведен аналитический обзор известных результатов относительно асимптотической сложности задач теории расписаний при условии, что число требований не превосходит числа приборов. Рассматриваются многостадийные системы обслуживания, в которых маршруты требований не фиксированы либо заданы одинаковыми или различными на этапе построения оптимального расписания, а также системы смешанного типа, в которых маршруты части требований заданы, а маршруты остальных требований не фиксированы.

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

45-52 479
Аннотация
Рассматриваются вопросы интеграции фрагментарных экспертных знании фреймового типа для построения предметньех областей. Предложены методы и средства анализа задачи, формирования онтологии, консолидации и публикации эксплицитных знаний. Дано описание соответствующего инструментария, приведен пример его использования для решения практической задачи.
53-60 472
Аннотация
Для решения задачи дискриминантного анализа стохастических сигналов предлагается переходить к дискретному сигналу, описываемому цепью Маркова s-го порядка; задача распознавания исходного сигнала решается в пространстве параметров цепей Маркова. Построены байесовское решающее правило, подстановочное байесовское решающее правило классификации цепей Маркова s-го порядка, и в асимптотике сближающихся классов найдено выражение для вероятности ошибочной классификации. Предложенный подход успешно применен к биомедицинским сигналам для диагностики коронарной ишемической болезни.
61-71 465
Аннотация

Рассмотрены особенности построения нейронной сети «неокогнитрон». Приведен анализ эффективности алгоритмов обучения и активации нейронной сети применительно к задаче распознавания изображений. На основе приведенного анализа предложен ряд оптимизаций структуры и алгоритмов нейронной сети, что позволяет значительно повысить точность распознавания.

72-81 473
Аннотация

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

82-88 442
Аннотация

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

ПАРАЛЛЕЛЬНЫЕ АРХИТЕКТУРЫ И ВЫЧИСЛЕНИЯ 

89-106 491
Аннотация
Рассматриваются базовые архитектурные решения, основные принципы и решения в части базового ПО и аппаратных средств, а также подходы к созданию моделей суперкомпьютеров «СКИФ». Приведен обзор технических характеристик образцов суперкомпьютеров семейства «СКИФ».
107-111 398
Аннотация

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

112-120 456
Аннотация
Для нового класса интервально-модулярных систем счисления (ИМСС) - рекурсивных минимально избыточных ИМСС (МИИМСС) - предложена методология синтеза компьютерных алгоритмов, которые ориентированы на высокоточные вычисления. На примере рекурсивных МИИМСС второго уровня показано, что базовые аддитивные и мультипликативные процедуры для исследуемых числовых систем сохраняют все важнейшие преимущества модулярной арифметики: внутренний параллелизм, простоту механизма реконфигурации вычислительных структур, наращивания мощности динамического диапазона и др. При этом в отличие от классических аналогов рекурсивные МИИМСС обладают более простыми немодульными процедурами. Это обусловлено явным присутствием в составе кодовых слов интервальных индексов чисел.

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

148-156 482
Аннотация
Рассматриваются вопросы связи и взаимодействия двух процессов: внедрения системы управления качеством no ISO 9001:2000 и создания сквозных компьютерных технологий проектирования и производства новой продукции. Описаны положения компьютерной технологии для создания новой нормативной базы, регламентирующей действия исполнителей и формы отчетности на каждом этапе компьютеризированного процесса проектирования.
157-162 469
Аннотация

Сформулированы подходы к моделированию корпуса турбины турбокомпрессора и созданию ЗD-модели воздушной полости турбины. Показаны основные преимущества использования компьютерных методов проектирования для создания конструкций турбокомпрессоров.

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

121-131 502
Аннотация

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

132-138 437
Аннотация

В последние годы инструменты для символической верификации на основе временной логики входят в состав большинства индустриальных САПР СБИС. В символических верификаторах используется логика ветвящегося времени CTL. Ее недостатком считается неинтуитивность. Предлагаются интерпретации временных логик, в которых выразительность и интуитивность CTL для интервальных событий не хуже, чем выразительность и интуитивность LTL для мгновенных событий, что позволяет упростить формулирование проверяемых временных свойств.

139-147 456
Аннотация
На основе понятия покрытия секционированной троичной матрицы предлагается способ представления систем полностью определенным булевым функций в виде таблиц, названным компактными. Эти таблицы составляют основу аппарата, применяемого для декомпозиции булевым функций. Они аналогичны картам Карно, но имеют меньшие размеры, чем последние. Рассматриваются способы вычисления покрытий секционированной троичной матрицы.


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


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