«Системы и средства информатики»
№19, Москва, 2009 г.

Оглавление | Аннотации на английском языке

Аннотации на русском языке

Модель взаимодействия потребителей с удаленными вычислительными ресурсами через посредников М.Г. Коновалов,Ю.А. Душин, ,Малашенко Ю.Е., Шоргин С.Я Предложена новая математическая модель для анализа и оптимизации распределения потоков заданий и ценообразования в системах коллективного использования распределенных вычислительных ресурсов. Модель представляет собой укрупненное описание потоков в виде динамических балансовых соотношений. Участники системы являются независимыми субъектами, преследующими собственные цели, сформулированные в терминах стоимости и качества обслуживания. Для решения задачи оптимизации системы предлагается распределенный децентрализованный алгоритм градиентного типа. Обсуждаются результаты численных экспериментов и направления усовершенствования модели. Приведен обширный список литературы .

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

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

Работа с координационной информацией в распределенных системах В.А. Козмидиади В статье рассматривается формальная модель координационной информации и реализация этой модели для кластера с распределенной файловой системой. Координационная информация предназначена для использования распределенными приложениями.

Некорые аспекты проектирования СБИС с использованием алгоритмических машин состояний (АСМ) Замковец С.В., Захаров В. Н., Попкова Е.Я., Френкель С.Л., Шмейлин Б. З. В настоящее время в системах автоматизации проектирования СБИС все большее внимание уделяется верхним уровням описания - системному и функциональному. Это объясняется трудностью перехода от этих уровней к более низким, в первую очередь к логическому уровню представления. Одним из перспективных направлений работы по автоматизации является ASM подход, при использовании которого описывается поведение проектируемой системы при помощи алгоритмов работы отдельных блоков. В статье рассмотрены достоинства данного метода и приведен пример проектирования микропроцессора c пузырьковой сортировкой.

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

Проектирование многоязычного лингвистического ресурса для систем машинного перевода и обработки знаний Е. Б. Козеренко, Н.В. Лунева, Ю.И. Морозова, П.В. Ермаков Данная работа посвящена актуальным проблемам создания многоязычного лингвистического ресурса семантико-синтаксических представлений для систем машинного перевода и извлечения знаний из естественно-языковых текстов. Целью наших исследований является построение целостной лингвистической модели, где используются грамматические правила, статистические методы и механизмы машинного обучения для извлечения новых структурно-синтаксических правил из текстовых корпусов и для разрешения неоднозначности. При формализации лингвистических знаний мы используем аппарат когнитивной трансферной грамматики (КГТ), являющейся семантически мотивированным вариантом вершинной грамматики. Для подготовки обучающих компонентов систем и получения статистических данных о языковых структурах создается многоязычный лингвистический ресурс ИНТЕРТЕКСТ, представляющий собой банк синтаксических деревьев (Treebank) и корпус семантически выровненных параллельных текстов на русском, английском, французском и немецком языках.

Реализация функционального метода анализа самосинхронности электронных схем Плеханов Л.П. В статье описываются вопросы расширенной реализации впервые разработанного функционального метода анализа самосинхронности электронных схем. Использование свойства индицируемости сигналов в данном методе позволяет определить независимость работы схемы от задержек её элементов (самосинхронность), а также получить необходимую информацию об индицируемости внешних и внутренних сигналов схемы. В расширенной реализации, помимо собственно анализа самосинхронности, производится вычисление параметров, необходимых и достаточных для применения схемы, без её раскрытия, в самосинхронных схемах более высокого уровня. Расширенные задачи реализованы в программе анализа ФАЗАН, которая, как и предыдущая реализация, характеризуется полиномиальной сложностью вычислений от числа элементов.

Базисная платформа проекта "Отказоустойчивые системы" Филин А.В. В статье повествуется о системообразующей платформе проекта создания архитектуры и опытного образца отказоустойчивой ВС (ОВС), разрабатывавшейся в 80-х годах прошлого столетия и предназначавшейся для построения компьютерных систем управления после 2000-го года. Это обстоятельство требовало прогноза развития техники надёжных вычислений на 10 лет вперёд и устанавливало, тем самым, будущие характеристики ОВС на уровне вычислительных систем следующего (четвёртого) поколения. Когда страна, наконец, повернулась лицом к этой проблеме, мировое компьютеростроение было на подъёме и успешно осваивало производство ОВС третьего поколения. Общие сведения о содержании проекта "ОВС", прерванного по объективным причинам в 80-е годы прошлого столетия, описаны в [1].