2009 2(3)



 
М. П. Бакулина (Институт вычислительной математики и математической геофизики СО РАН)
 
НАХОЖДЕНИЕ ОПТИМАЛЬНЫХ ПАРАМЕТРОВ ДЛЯ СХЕМЫ ПРИЕМА И ПЕРЕДАЧИ ДАННЫХ IDMA-СИСТЕМАХ
 
Исследуется задача отыскания некоторых параметров для рассмотренной П. Гойером и Х. Шо­не­хом оптимальной схемы приема и передачи данных в IDMA-системах, т. е. системах множественного доступа с чередующимся разделением каналов – новой технологии, возникшей на основе метода CDMA. В частности, получены формулы для нахождения константы и значений мощностей, зависящие лишь от известных значений отношения сигнал/шум и числа слоев.
Ключевые слова: IDMA-системы, множественный доступ, одноуровневый приемник, пропускная способность канала, приемник с погашением интерференции.
Key words: IDMA systems, multiple access, single-layer receiver, channel capacity, interference cancellation receiver
 
Cкачать .pdf
 
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 3-9.
.............................................................................................................................................................................
В. А. Васенин, Д. А. Сериков (Московский государственный университет им. М. В. Ломоносова)
 
МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ЭФФЕКТИВНОГО РАЗДЕЛЕНИЯ РЕСУРСОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ НА РАСПРЕДЕЛЕННОЙ ВЫЧИСЛИТЕЛЬНОЙ СРЕДЕ
 
Рассматриваются подходы к математическому моделированию процесса разделения ресурсов между задачами различных пользователей, которые поступают на обслуживание в распределенную вычислительную среду, построенную на основе методологии Grid. Анализируются модели системы диспетчеризации, которые используются в инструментальном комплексе GridWay.
Ключевые слова: математическое моделировние, распределенные вычислительные системы.
Key words: mathematical modeling, distributed computing, GRID.
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 10-21.
.............................................................................................................................................................................
К. А. Шапченко (Институт проблем информационной безопасности Московского государственного университета им. М. В. Ломоносова)
 
СОВРЕМЕННЫЕ МЕТОДЫ ПРОВЕРКИ СВОЙСТВ БЕЗОПАСНОСТИ В МОДЕЛЯХ ЛОГИЧЕСКОГО РАЗГРАНИЧЕНИЯ ДОСТУПА
 
Представлен краткий обзор современных подходов к проверке свойств безопасности в моделях логического разграничения доступа. Рассматриваются подходы на основе методов теории графов, верификации на модели и автоматического доказательства теорем. Приведены типовые свойства, проверка которых может быть осуществлена с использованием указанных методов.
Ключевые слова: информационная безопасность, контроль доступа, теория графов.
Key words: security, access control, graph theory.
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 22-32.
.............................................................................................................................................................................
Ю. В. Шорников, И. Н. Томилов, М. С. Денисов (Новосибирский государственный технический университет)
 
КОМПЬЮТЕРНЫЙ АНАЛИЗ МНОГОМЕРНЫХ ГИБРИДНЫХ СИСТЕМ ЯВНЫМИ МЕТОДАМИ В ИСМА
 
Рассмотрена задача химической кинетики повышенной размерности. Проведен детальный анализ способов спецификации и компьютерного моделирования задач такого класса. Показаны эффективность явных методов с переменным порядком и контролем устойчивости на жестких задачах большой размерности, а также высокая эффективность алгоритма локализации точек переключения.
Ключевые слова: гибридная система, визуально-лингвистическое моделирование, локализация точек переключения, массив, алгоритмическое задание системы обыкновенных дифференциальных уравнений.
Key words: hybrid system, visually-linguistic modeling, localization of switch points, array, the algorithmic determination of the system ODE.
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 33-41.
.............................................................................................................................................................................
Ю. В. Шорников, Е. А. Новиков, Д. Н. Достовалов (Новосибирский государственный технический университет)
 
АНАЛИЗ УСТОЙЧИВОСТИ ЯВНЫХ МЕТОДОВ РУНГЕ-КУТТЫ В ИНСТРУМЕНТАЛЬНОЙ СРЕДЕ ИСМА
 
Разработаны и программно реализованы алгоритмы исследования устойчивости явных методов Рунге − Кутты. Исследованы 13-стадийные методы различных порядков точности на основе стадий Фельберга. Доказана эффективность алгоритмов переменного порядка с контролем точности и устойчивости.
Ключевые слова: явные методы, жесткость, функция устойчивости, интервал устойчивости.
Keywords: explicit methods, stickiness, function of stability, range of stability.
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 42-51.
.............................................................................................................................................................................
Г. А. Тарнавский (Институт вычислительной математики и математической геофизики СО РАН), С. С. Чесноков (Новосибирский государственный технический университет), C. Б. Жибинов (Научно-исследовательский институт прикладной информатики Сибирского государственного университета телекоммуникаций и информатики)
 
СОВРЕМЕННОЕ СОСТОЯНИЕ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ В ИНТЕРНЕТЕ:КРАТКИЙ ОБЗОР САЙТОВ
Приводится краткий обзор современного состояния одного из важных аспектов распространения научных знаний – компьютерного моделирования в Интернете.
Ключевые слова: информационные технологии, Интернет, компьютерное моделирование, дистанционный доступ, авторское право, интеллектуальная собственность.
Keywords: informational technologies, Internet, computer simulation, distance access.
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 52-58.
.............................................................................................................................................................................
М. С. Хайретдинов (Институт вычислительной математики и математической геофизики СО РАН)
 
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИЕРАРХИЧЕСКИХ МОНИТОРИНГОВЫХ СЕТЯХ
Рассматриваются основные задачи информационных технологий, лежащих в основе современных глобальных мониторинговых сетей, предназначенных для слежения за природными процессами, прежде всего в сейсмовулканоопасных районах, а также за техногенными процессами, связанными с проведением ядерных испытаний, промышленных и полигонных взрывов, разрушительных процессов на ГЭС, АЭС и др. Предлагаются  алгоритмические подходы к оперативному решению задач и пути их реализации, способствующие повышению точности и производительности вычислений на различных уровнях иерархии сетей.
Ключевые слова: глобальные мониторинговые сети, природные и техногенные процессы.
Keywords: global monitoring networks, natural and man-caused processes
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 59-68.
.............................................................................................................................................................................
Н. И. Рыжова (Институт содержания и методов обучения РАО), В. И. Фомин (Самарский государственный экономический университет), Е. В. Филимонова (Карельский государственный педагогический университет)
 
СЕМИОТИЧЕСКИЙ ПОДХОД К РАЗВИТИЮ ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ДЕТЕЛЬНОСТИ
Рассматривается методологическое значение семиотики и семиотического подхода для развития профессиональной подготовки специалистов в условиях информатизации образования. Обосновывается включение базовых понятий теоретической семиотики в содержание обучения информационно-аналитической деятельности будущих специалистов различных профилей. Выделяется на содержательном уровне семиотическая линия содержания обучения указанной деятельности в контексте информационного моделирования.
Ключевые слова: семиотика, семиотический подход, знаковые системы, семиозис, информационно-аналитическая деятельность, информационно-аналитическая компетентность, информационное моделирование.
Key words: semiotics, semiotic approach, sign systems, semiosis, informational and analytical activity, informational and analytical competence, informational modeling.
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 69-73.
.............................................................................................................................................................................
Н. И. Рыжова (Институт содержания и методов обучения РАО), В. И. Фомин (Самарский государственный экономический университет), Е. В. Филимонова (Карельский государственный педагогический университет)
 
ФОРМИРОВАНИЕ ПРОФЕССИОНАЛЬНОЙ ГОТОВНОСТИ БУДУЩЕГО СПЕЦИАЛИСТА К ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ДЕЙТЕЛЬНОСТИ: СОСТАВЛЯЮЩИЕ И НАПРАВЛЕНИЯ
Рассмотрены понятие и составляющие профессиональной готовности специалиста в контексте его профессиональной компетентности и профессионализма как такового. Предложена концепция формирования готовности специалиста к информационно-аналитической деятельности. Выделены составляющие и направления формирования готовности к профессиональной деятельности специалиста в области информационно-аналитической деятельности.
Ключевые слова: готовность к профессиональной деятельности, профессиональная компетентность, профессиональная готовность, информационно-аналитическая деятельность, профессиональная культура.
Key words: readiness for professional activity, professional competence, professional readiness, informational and analytical activity, professional culture.
 
Cкачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 2. С. 74-79.
.............................................................................................................................................................................
Н. Ю. Королева (Мурманский государственный педагогический университет)
 
ВИРТУАЛЬНАЯ СРЕДА ОБУЧЕНИЯ ПРЕДМЕТУ: ПОНЯТИЯ И ПРОЦЕСС ФОРМИРОВАНИЯ
Рассматривается феномен использования понятия "виртуальная реальность" в методической науке как основы для формирования виртуальной среды обучения предмету на уровне взаимодействия предметной и методической наук. Обосновываются этапы порождения интерпретаций методической системы обучения для ИКТ-насыщенной образовательной среды.
Ключевые слова: виртуальная предметная среда, виртуальная среда обучения предмету, интерпретация методической системы обучения, ИКТ-насыщенная среда.
Key words: virtual subject environment, virtual environment for subject teaching, interpretation of methodological training system, ICT-rich environment.
 

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