2009 2(3)

Содержание

1. М. П. Бакулина НАХОЖДЕНИЕ ОПТИМАЛЬНЫХ ПАРАМЕТРОВ ДЛЯ СХЕМЫ ПРИЕМА И ПЕРЕДАЧИ ДАННЫХ IDMA-СИСТЕМАХ

2. В. А. Васенин, Д. А. Сериков МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ЭФФЕКТИВНОГО РАЗДЕЛЕНИЯ РЕСУРСОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ НА РАСПРЕДЕЛЕННОЙ ВЫЧИСЛИТЕЛЬНОЙ СРЕДЕ

3. К. А. Шапченко СОВРЕМЕННЫЕ МЕТОДЫ ПРОВЕРКИ СВОЙСТВ БЕЗОПАСНОСТИ В МОДЕЛЯХ ЛОГИЧЕСКОГО РАЗГРАНИЧЕНИЯ ДОСТУПА

4. Ю. В. Шорников, И. Н. Томилов, М. С. Денисов КОМПЬЮТЕРНЫЙ АНАЛИЗ МНОГОМЕРНЫХ ГИБРИДНЫХ СИСТЕМ ЯВНЫМИ МЕТОДАМИ В ИСМА

5. Ю. В. Шорников, Е. А. Новиков, Д. Н. Достовалов  АНАЛИЗ УСТОЙЧИВОСТИ ЯВНЫХ МЕТОДОВ РУНГЕ-КУТТЫ В ИНСТРУМЕНТАЛЬНОЙ СРЕДЕ ИСМА

6. Г. А. Тарнавский, С. С. Чесноков, C. Б. Жибинов СОВРЕМЕННОЕ СОСТОЯНИЕ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ В ИНТЕРНЕТЕ:КРАТКИЙ ОБЗОР САЙТОВ

7. М. С. Хайретдинов  ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИЕРАРХИЧЕСКИХ МОНИТОРИНГОВЫХ СЕТЯХ

8. Н. И. Рыжова, В. И. Фомин, Е. В. Филимонова СЕМИОТИЧЕСКИЙ ПОДХОД К РАЗВИТИЮ ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ДЕТЕЛЬНОСТИ

9. Н. И. Рыжова В. И. Фомин, Е. В. Филимонова ФОРМИРОВАНИЕ ПРОФЕССИОНАЛЬНОЙ ГОТОВНОСТИ БУДУЩЕГО СПЕЦИАЛИСТА К ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ДЕЙТЕЛЬНОСТИ: СОСТАВЛЯЮЩИЕ И НАПРАВЛЕНИЯ

10. Н. Ю. Королева  ВИРТУАЛЬНАЯ СРЕДА ОБУЧЕНИЯ ПРЕДМЕТУ: ПОНЯТИЯ И ПРОЦЕСС ФОРМИРОВАНИЯ

М. П. Бакулина

Институт вычислительной математики и математической геофизики СО РАН

НАХОЖДЕНИЕ ОПТИМАЛЬНЫХ ПАРАМЕТРОВ ДЛЯ СХЕМЫ ПРИЕМА И ПЕРЕДАЧИ ДАННЫХ IDMA-СИСТЕМАХ

Исследуется задача отыскания некоторых параметров для рассмотренной П. Гойером и Х. Шо­не­хом оптимальной схемы приема и передачи данных в IDMA-системах, т. е. системах множественного доступа с чередующимся разделением каналов – новой технологии, возникшей на основе метода CDMA. В частности, получены формулы для нахождения константы и значений мощностей, зависящие лишь от известных значений отношения сигнал/шум и числа слоев.
Ключевые слова: IDMA-системы, множественный доступ, одноуровневый приемник, пропускная способность канала, приемник с погашением интерференции.

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 3-9.

В. А. Васенин, Д. А. Сериков

Московский государственный университет им. М. В. Ломоносова

МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ЭФФЕКТИВНОГО РАЗДЕЛЕНИЯ РЕСУРСОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ НА РАСПРЕДЕЛЕННОЙ ВЫЧИСЛИТЕЛЬНОЙ СРЕДЕ

Рассматриваются подходы к математическому моделированию процесса разделения ресурсов между задачами различных пользователей, которые поступают на обслуживание в распределенную вычислительную среду, построенную на основе методологии Grid. Анализируются модели системы диспетчеризации, которые используются в инструментальном комплексе GridWay.
Ключевые слова: математическое моделировние, распределенные вычислительные системы.

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 10-21.

К. А. Шапченко

Институт проблем информационной безопасности Московского государственного университета им. М. В. Ломоносова

СОВРЕМЕННЫЕ МЕТОДЫ ПРОВЕРКИ СВОЙСТВ БЕЗОПАСНОСТИ В МОДЕЛЯХ ЛОГИЧЕСКОГО РАЗГРАНИЧЕНИЯ ДОСТУПА

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

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 22-32.

Ю. В. Шорников, И. Н. Томилов, М. С. Денисов

Новосибирский государственный технический университет

КОМПЬЮТЕРНЫЙ АНАЛИЗ МНОГОМЕРНЫХ ГИБРИДНЫХ СИСТЕМ ЯВНЫМИ МЕТОДАМИ В ИСМА

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

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 33-41.

Ю. В. Шорников, Е. А. Новиков, Д. Н. Достовалов

Новосибирский государственный технический университет

АНАЛИЗ УСТОЙЧИВОСТИ ЯВНЫХ МЕТОДОВ РУНГЕ-КУТТЫ В ИНСТРУМЕНТАЛЬНОЙ СРЕДЕ ИСМА
 
Разработаны и программно реализованы алгоритмы исследования устойчивости явных методов Рунге − Кутты. Исследованы 13-стадийные методы различных порядков точности на основе стадий Фельберга. Доказана эффективность алгоритмов переменного порядка с контролем точности и устойчивости.
Ключевые слова: явные методы, жесткость, функция устойчивости, интервал устойчивости.

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 42-51.

Г. А. Тарнавский, С. С. Чесноков*, C. Б. Жибинов**

Институт вычислительной математики и математической геофизики СО РАН

*Новосибирский государственный технический университет

**Научно-исследовательский институт прикладной информатики Сибирского государственного университета телекоммуникаций и информатики

СОВРЕМЕННОЕ СОСТОЯНИЕ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ В ИНТЕРНЕТЕ:КРАТКИЙ ОБЗОР САЙТОВ

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

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 52-58.

М. С. Хайретдинов

Институт вычислительной математики и математической геофизики СО РАН

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИЕРАРХИЧЕСКИХ МОНИТОРИНГОВЫХ СЕТЯХ

Рассматриваются основные задачи информационных технологий, лежащих в основе современных глобальных мониторинговых сетей, предназначенных для слежения за природными процессами, прежде всего в сейсмовулканоопасных районах, а также за техногенными процессами, связанными с проведением ядерных испытаний, промышленных и полигонных взрывов, разрушительных процессов на ГЭС, АЭС и др. Предлагаются  алгоритмические подходы к оперативному решению задач и пути их реализации, способствующие повышению точности и производительности вычислений на различных уровнях иерархии сетей.
Ключевые слова: глобальные мониторинговые сети, природные и техногенные процессы.
Keywords: global monitoring networks, natural and man-caused processes

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 59-68.

Н. И. Рыжова, В. И. Фомин*, Е. В. Филимонова**

СЕМИОТИЧЕСКИЙ ПОДХОД К РАЗВИТИЮ ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ДЕТЕЛЬНОСТИ

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

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 69-73.

Н. И. Рыжова, В. И. Фомин*, Е. В. Филимонова**

ФОРМИРОВАНИЕ ПРОФЕССИОНАЛЬНОЙ ГОТОВНОСТИ БУДУЩЕГО СПЕЦИАЛИСТА К ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ДЕЙТЕЛЬНОСТИ: СОСТАВЛЯЮЩИЕ И НАПРАВЛЕНИЯ

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

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 74-79.

Н. Ю. Королева

Мурманский государственный педагогический университет

ВИРТУАЛЬНАЯ СРЕДА ОБУЧЕНИЯ ПРЕДМЕТУ: ПОНЯТИЯ И ПРОЦЕСС ФОРМИРОВАНИЯ

Рассматривается феномен использования понятия "виртуальная реальность" в методической науке как основы для формирования виртуальной среды обучения предмету на уровне взаимодействия предметной и методической наук. Обосновываются этапы порождения интерпретаций методической системы обучения для ИКТ-насыщенной образовательной среды.
Ключевые слова: виртуальная предметная среда, виртуальная среда обучения предмету, интерпретация методической системы обучения, ИКТ-насыщенная среда.

Cтатья

Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 80-84.