«Информатика и её применения» (Том 1, Выпуск 2, 2007)
Оглавление | Библиография | Об авторах
Аннотации и ключевые слова.
КОРРЕЛЯЦИОННЫЕ МЕТОДЫ ПОСТРОЕНИЯ АНАЛИТИЧЕСКИХ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ ФЛУКТУАЦИЙ ПОЛЮСА ЗЕМЛИ ПО АПРИОРНЫМ ДАННЫМ
- И.Н. Синицын. Институт проблем информатики Российской академии наук. sinitsin@dol.ru
Аннотация: Методы современной статистической информатики лежат в основе исследований по фундаментальной проблеме «Статистическая динамика вращения Земли». Рассматриваются приближенные
и точные корреляционные методы построения аналитических стохастических моделей с аддитивными
и параметрическими гармоническими и случайными возмущениями для флуктуаций полюса Земли на
интервалах времени 3–5 лет. В основу построения положены априорные данные по динамической структуре и стохастическим возмущениям деформируемой Земли. Приводятся примеры применения методов
из состава информационных ресурсов «Статистическая динамика вращения Земли».
Ключевые слова: флуктуации полюса Земли; информационная аналитическаямодель; априорные данные;
спектрально-корреляционные характеристики; корреляционные методы; стохастические дифференциальные уравнения
КОНСТРУИРОВАНИЕ КАНОНИЧЕСКИХ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ ДЛЯ ИНТЕГРИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ
- В. Н. Захаров. Институт проблем информатики Российской академии наук. VZakharov@ipiran.ru
- Л. А. Калиниченко. Институт проблем информатики Российской академии наук. leonidk@synth.ipi.ac.ru
- И. А. Соколов. Институт проблем информатики Российской академии наук. isokolov@ipiran.ru
- С. А. Ступников. Институт проблем информатики Российской академии наук. ssa@ipi.ac.ru
Аннотация: Рассматривается проблема унификации неоднородных моделей представления информации
(баз данных, онтологий, сервисов, процессов) при проектировании распределенных информационных
систем с разнородными информационными ресурсами. Особое внимание уделено верифицируемым методам отображения информационных моделей и синтеза расширяемых канонических информационных
моделей. Предложена архитектура Унификатора информационных моделей и дан пример отображения конкретной информационной модели в каноническую. Дано сравнение предложенных методов с
известными подходами в мировой практике.
Ключевые слова: информационная модель; семантика информационной модели; отображение моделей;
коммутативность отображения модели; каноническая модель; синтез канонической модели; расширение
канонической модели; принцип уточнения; верификация уточнения моделей; унификатор информационных моделей; метакомпиляция
СТАЦИОНАРНЫЕ ХАРАКТЕРИСТИКИ МНОГОЛИНЕЙНОЙ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ С ОДНОВРЕМЕННЫМИ ОТКАЗАМИ ПРИБОРОВ
- А. В. Печинкин. Институт проблем информатики Российской академии наук. apechinkin@ipiran.ru
- И. А. Соколов. Институт проблем информатики Российской академии наук. isokolov@ipiran.ru
- В.В. Чаплыгин. Институт проблем информатики Российской академии наук. vchaplygin@ipiran.ru
Аннотация: Аннотация: Рассматривается многолинейная система массового обслуживания с полумарковским потоком заявок, обслуживанием фазового типа и ненадежными приборами, отказывающими и восстанавли-
вающимися одновременно. Полученыматематические соотношения для расчета основных стационарных показателей функционирования системы при некоторых вариантах процесса отказов–восстановлений
приборов.
Ключевые слова: система массового обслуживания; ненадежные приборы
ПРОГРАММНАЯ ИНФРАСТРУКТУРА ИНФОРМАЦИОННОГО WEB-ПОРТАЛА
- А. В. Босов. Институт проблем информатики Российской академии наук. AVBosov@ipiran.ru
- А. В. Иванов. Институт проблем информатики Российской академии наук. AIvanov@ipiran.ru
Аннотация: В работе представлено портальное решение, реализованное в рамках программы информатизации РАН. Описана разработанная архитектура информационного портала, обсуждаются основные
требования к программному решению, обосновывается выбор базовых технологий.
Ключевые слова: стандарты Интернет; многозвенная архитектура; web-портал; адаптер; технология .NET
БАЙЕСОВСКОЕ ОЦЕНИВАНИЕ В СИСТЕМАХ НАБЛЮДЕНИЯ С МАРКОВСКИМИ СКАЧКООБРАЗНЫМИ ПРОЦЕССАМИ: ИГРОВОЙ ПОДХОД
- А. В. Борисов. Институт проблем информатики Российской академии наук. ABorisov@ipiran.ru
Аннотация: В статье рассматривается задача совместного оценивания состояния и параметров в системах
наблюдения с марковскими скачкообразными процессами с конечным числом состояний по имеющимся
непрерывным и считающим наблюдениям. Уравнения динамики и наблюдений зависят от случайного
конечномерного параметра, имеющего неизвестное распределение с заданным носителем. В качестве
критериев качества выступают условные математические ожидания некоторых квадратичных функций
оценок. Доказано утверждение о существовании седловой точки в поставленной минимаксной задаче.
Получена характеризация наихудшего распределения и минимаксной оценки как решения более простой
двойственной задачи. Практическая применимость представленных результатов проиллюстрирована на
примере решения задачи оперативного оценивания состояния TCP-соединения, функционирующего в
условиях неопределенности.
Ключевые слова: фильтр Вонэма; минимаксное оценивание; обобщенный квадратичный критерий;
уравнение Закаи
БАЙЕСОВСКИЙ ПОДХОД К АНАЛИЗУ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ И ПОКАЗАТЕЛЕЙ НАДЕЖНОСТИ
- А. А. Кудрявцев. Факультет вычислительной математики и кибернетики МГУ им.М.В. Ломоносова, nubigena@hotmail.com
- С. Я. Шоргин. Институт проблем информатики Российской академии наук. sshorgin@ipiran.ru
Аннотация: В данной работе рассматривается байесовский подход к постановке определенных задач
теории массового обслуживания и теории надежности. Соответствующий метод предусматривает рандомизацию характеристик систем относительно некоторых априорных распределений их параметров.
Данный подход может использоваться, в частности, для вычисления моментных характеристик для
вероятностно-временных и надежностных характеристик больших групп систем или устройств. В работе
приведена сводка результатов, полученных ранее; представлены новые результаты для случая, когда в
качестве априорного рассматривается распределение Эрланга.
Ключевые слова: байесовский подход; системы массового обслуживания; надежность; смешанные
распределения; моделирование
|