2009 1(2)



 
А. В. Кельманов, С. А. Хамидуллин (Институт математики им. С. Л. Соболева СО РАН)
 
АЛГОРИТ РАСПОЗНАВАНИЯ АЛФАВИТА ВЕКТОРОВ, ПОРОЖДАЮЩЕГО ПОСЛЕДОВАТЕЛЬНОСТИ С КВАЗИПЕРИОДИЧЕСКОЙ СТРУКТУРОЙ
Рассматривается проблема помехоустойчивого апостериорного (off-line) распознавания алфавита векторов, порождающего последовательности, включающие квазипериодически перемежающиеся вектор-фрагменты, совпадающие с элементами из этого алфавита. Исследуется дискретная экстремальная задача, к которой сводится один из вариантов данной проблемы. Обоснован точный полиномиальный алгоритм решения редуцированной задачи, гарантирующий максимально правдоподобное принятие решения, в случае если помеха аддитивна и является гауссовой последовательностью независимых одинаково распределенных случайных величин, а количество перемежающихся вектор-фрагментов неизвестно. Показано, что предложенный алгоритм имеет существенно меньшую трудоемкость по сравнению с известным аналогом.
Ключевые слова: дискретная экстремальная задача, эффективный алгоритм, числовая последовательность, квазипериодические фрагменты, алфавит векторов, off-line-распознавание, гауссова помеха, максимум правдоподобия.
Key words: discrete optimization problem, efficient algorithm, alphabet of vectors, off-line recognition, Gaussian noise, maximum-likelihood, numerical sequence, quasiperiodical fragments.
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 3-13.
................................................................................................................................................
Л. А. Заозерская, А. А. Колоколов (Омский филиал Института математики им. С. Л. Соболева СО РАН)
 
ИССЛЕДОВАНИЕ И РЕШЕНИЕ ДВУХКРИТЕРИАЛЬНОЙ ЗАДАЧИ О ПОКРЫТИИ МНОЖЕСТВА
Рассматривается двухкритериальная задача о покрытии множества, возникающая в различных приложениях, в частности при поиске оптимального размещения центров обслуживания. Строится и анализируется ее математическая модель в виде задачи целочисленного линейного программирования, обсуждаются подходы к решению задачи, предлагаются алгоритмы точного и приближенного решений. Приводятся результаты экспериментальных исследований для задачи оптимального размещения центров телекоммуникаций и задач со случайными исходными данными.
Ключевые слова: многокритериальная оптимизация, дискретная оптимизация, целочисленное программирование, задача о наименьшем покрытии множества, задача о доминирующем множестве, перебор L-классов, центр телекоммуникаций.
Key words: multiextremal optimization, discrete optimization, integer programming, set covering problem, dominating set problem, L-class enumeration, telecenter
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 14-23.
................................................................................................................................................
О. О. Андреев (Московский государственный университет им. М .В. Ломоносова, Институт проблем информационной безопасности)
 
О МЕТОДАХ ОПТИМИЗАЦИИ МЕХАНИЗМОВ РАЗГРАНИЧЕНИЯ ДОСТУПА, ОСНОВАННЫХ НА ЛОГИКО-ЯЗЫКОВЫХ СРЕДСТВАХ
Описан язык задания моделей логического разграничения доступа. Рассмотрены вопросы разработки механизмов разграничения доступа, основанных на предложенном языке, в частности способы оптимизации таких механизмов.
 
Скачать pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 24-33.
................................................................................................................................................
С. Д. Махортов (Воронежский государственный университет)
 
ПРОДУКЦИОННО-ЛОГИЧЕСКИЕ УРАВНЕНИЯ НА ПОЛНЫХ РЕШЕТКАХ
Рассмотрена алгебраическая система, моделирующая продукционно-логические бинарные отношения на полной решетке. Доказано существование логического замыкания нетерового отношения, что позволяет определить понятие эквивалентного отношения. Доказана теорема об эквивалентных преобразованиях исходного отношения, с использованием которой обоснованы формальные преобразования баз знаний продукционного типа с бесконечными правилами. Введен новый класс логических уравнений, для которого доказана разрешимость и обоснован способ решения. Показано, что данная модель является основой для автоматической верификации баз знаний, а также ускорения обратного продукционно-логического вывода.
Ключевые слова: продукционная система, алгебраическая модель, логическое уравнение, управление знаниями, обратный вывод.
Keywords: production system, algebraic model, logical equation, knowledge management, backward inference.
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 34-47.
................................................................................................................................................
А. А. Захарова, В. З. Ямпольский (Томский политехнический университет, Институт "Кибернетический центр" Томского политехнического университета)
 
ОПТИМИЗАЦИЯ ТЕХНОЛОГИИ МОДЕЛИРОВАНИЯ НЕФТЕГАЗОВЫХ МЕСТОРОЖДЕНИЙ НА ОСНОВЕ ЦИФРОВЫХ ТРЕХМЕРНЫХ ГЕОЛОГИЧЕСКИХ И ГИДРОДИНАМИЧЕСКИХ МОДЕЛЕЙ
Описана технология создания трехмерных цифровых моделей месторождений нефти и газа и формирования на их основе проектных и технических решений. Представлены базовые программные средства ведущих мировых вендеров, обеспечивающие указанную технологию, для оптимизации которой предлагаются дополнительные алгоритмические и программные средства.
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 48-52.
................................................................................................................................................
А. И. Ляхов, А. А. Сафонов, Е. М. Хоров (Институт проблем передачи информации РАН, Московский физико-технический институт (государственный университет))
 
РАСПРЕДЕЛЕНИЕ ВРЕМЕНИ ПРИСОЕДИНЕНИЙ УСТРОЙСТВ К БЕСПРОВОДНОЙ ПЕРСОНАЛЬНОЙ СЕТИ С РАСПРЕДЕЛЕННЫМ УПРАВДЕНИЕМ
Исследуется эффективность механизмов синхронизации в беспроводных персональных сетях с распределенным управлением. Показано, что эти механизмы обеспечивают согласованное принятие решений при начальной инициализации сети или смене сетью частотного канала в случае объединения двух ранее изолированных друг от друга сетей и в ряде других случаев и что такие перестроения приводят к одновременному присоединению к сети нескольких устройств. Установлено, что при присоединении устройства выбирают временные слоты для передачи своих синхрокадров (биконов) случайным образом, поэтому возможны коллизии, причем их вероятность растет при увеличении числа устройств. Устройство успешно присоединяется к сети, когда ему удается послать свой бикон без коллизии с биконами других устройств. Построены аналитические модели для оценки эффективности механизмов синхронизации, позволяющие найти распределение времени присоединения устройств к сети. На основе результатов моделирования разработаны рекомендации по совершенствованию механизмов синхронизации, в частности по сокращению перерывов в работе сети, обусловленных ее перестроением, что имеет большое значение для приложений реального времени.
Ключевые слова: беспроводные сети, механизм синхронизации, обеспечение QoS, технология УСМА-368.
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 53-67.
................................................................................................................................................
А. С. Мучкаев ("Мартек Корпорейшн", Лас-Вегас, США)
 
ПАССИВНЫЕ УВЧ- И СВЧ-СИСТЕМЫ РАДИОЧАСТОТНОЙ ИДЕНТИФИКАЦИИ: АРХИТЕКТУРА И ТЕНДЕНЦИИ
Приведен обзор современных систем радиочастотной идентификации (radio frequency identification) и перспективных направлений развития RFID-технологий. Представлены интегрированные решения пассивных УВЧ-тагов и ридеров RFID, применяемых в коммерческих приложениях, таких как логистика, контроль доступа, в мобильных приложениях и др. Рассмотрены проблемы повышения эффективности пассивных УВЧ-систем RFID и способы их решения, в частности предложен УВЧ-приемник ридера RFID на основе многополюсного рефлектометра, позволяющий устранить влияние паразитных сигналов на эффективность приема отраженного от антенны тага модулированного сигнала. Описаны преимущества использования СВЧ-диапазона в задачах радиоидентификации и новые разработки в СВЧ-технологиях RFID.
Ключевые слова: РФИД, таг, ридер, многополюсник, прямое преобразование.
Key words: RFID, tag, reader, multiport, homodyne receiver
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 68-74.
................................................................................................................................................
Г. И. Карпачев, В. В. Моисеенко (Институт вычислительной математики и математической геофизики)
 
НЕКОТОРЫЕ ВОПРОСЫ РЕТРОСПЕКТИВНОГО АНАЛИЗА СТРУКТУРЫ И ДЕЯТЕЛЬНОСТИ НАУЧНЫХ КАДРОВ АКАДЕМИЧЕСКОГО ИНСТИТУТА
С использованием баз данных, включающих кадровые и производственные показатели, исследована динамика основных характеристик научных кадров академического института за 16-летний период реформ в науке.
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 75-78.
................................................................................................................................................
С. Б. Жибинов, Г. А. Тарнавский (Научно-исследовательский институт прикладной информатики Сибирского государственного университета телекоммуникаций и информатики, Институт вычислительной математики и математической геофизики СО РАН)
 
ПРОБЛЕМЫ АВТОРСКОГО ПРАВА, ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ И ЭКОНОМИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, РАЗВИТИЯ И ПРОДВИЖЕНИЯ НАУЧНО-ОБРАЗОВАТЕЛЬНОГО ЦЕНТРА КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ В ИНТЕРНЕТЕ
Рассмотрены и проанализированы некоторые юридические, социальные и экономические проблемы авторского права и интеллектуальной собственности на разработанные научные продукты, в частности программные комплексы математического моделирования в различных областях знания в рамках Центра компьютерного моделирования.
Ключевые слова: информационные технологии, Интернет, компьютерное моделирование, дистанционный доступ, авторское право, интеллектуальная собственность.
Keywords: informational technologies, Internet, computer simulation, distance access, copyright, intellectual property.
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 79-85.
................................................................................................................................................
Г. А. Тарнавский, С. Б. Жибинов, А. В. Алиев, В. С. Анищик, А. Г. Тарнавский, С. С. Чесноков (Институт вычислительной математики и математической геофизики, Научно-исследовательский институт прикладной информатики Сибирского государственного университета телекоммуникаций и информатики, Новосибирский государственный технический университет)
 
ИНТЕРНЕТ-ЦЕНТР КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ В НАУЧНЫХ ИССЛЕДОВАНИЯХ И ПРИКЛАДНОМ ПРОЕКТИРОВАНИИ
Представлен проект, направленный на применение прогрессивных технологий в области развития и совершенствования новых способов распространения научных знаний с использованием Всемирной сети на базе современных информационно-телекоммуникационных технологий обработки, хранения, передачи и защиты информации. Разработка связана с разнообразными научными, техническими, социальными и психологическими аспектами конструирования и продвижения специализированного Web-ресурса, особой точки обмена произведенным научным продуктом, в том числе на коммерческой основе, в системе Интернет. Центр ориентирован на использование в качестве электронной книги (в том числе учебника), электронного справочника (базы данных) и инструментария для научных исследований (процессорной системы) и предназначен для хранения, пополнения и систематизации накопленной информации, обеспечения непрерывности научного прогресса и его ускорения в данной области за счет преемственности осуществленных разработок.
Ключевые слова: информационные технологии, Интернет, компьютерное моделирование, дистанционный доступ.
Keywords: informational technologies, Internet, computer simulation, distance access.
 
Скачать .pdf
Библиографическая ссылка: Пробл. информатики. 2009. № 1. С. 86-96.
................................................................................................................................................