2012 № 2 (14)



 

 
А. Ю. Поляков, О. В. Молдованова (Институт физики полупроводников им. А. В. Ржанова СО РАН, Новосибирск; Сибирский государственный университет телекоммуникаций и информатики, Новосибирск)
 
АЛГОРИТМИЧЕСКИЙ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЕЛЬТА-ОПТИМИЗАЦИИКОНТРОЛЬНЫХ ТОЧЕК ВОССТАНОВЛЕНИЯ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ
Предложены алгоритмы оптимизации контрольных точек восстановления параллельных программ по времени их создания и объему. В основе созданных алгоритмов лежит технология дельта-сжатия. В частности, разработан адаптивный алгоритм ADCA дельта-сжатия контрольных точек, обеспечивающий субоптимальный выбор между инкрементным и дифференциальным дельта-сжатием. Создан алгоритм комбинированного сжатия PaComp, позволяющий сочетать преимущества дельта-сжатия и алгоритмов, применяемых в программах-архиваторах. Путем экспериментального моделирования на мультикластерной вычислительной системе показана эффективность предложенных алгоритмов для набора прикладных параллельных программ.
Ключевые слова: распределенные вычислительные системы, контрольные точки восстановления, отказоустойчивость. I
Key words: distributed computer systems, checkpointing, fault tolerance.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 4-11.
...........................................................................................................................
 
И. Б. Вирбицкайте, Е. К. Ерофеев (Институт систем информатики им. А. П. Ершова СО РАН, Новосибирск)
 
ПОСТРОЕНИЕ ОРТОМОДУЛЯРНЫХ РЕШЕТОКПЕРВИЧНЫХ СТРУКТУР СОБЫТИЙ
Изучены взаимосвязи базовых отношений (причинной зависимости, параллелизма, альтернативного выбора (конфликта) между событиями параллельных систем, представленных моделями первичных структур событий. В частности, предложены и исследованы техники построения ортомодулярных решеток (комбинаторного представления пространства-времени) конфигураций (вычислений) структур событий.
Ключевые слова: структуры событий, конфигурации, решетки, ортомодулярность.
Key words: event structures, configurations, lattices, orthomodularity.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 12-20.
...........................................................................................................................
 
Д. И. Бушин, И. Б. Вирбицкайте (Институт систем информатики им. А. П. Ершова, Новосибирск)
 
О ВЗАИМОСВЯЗЯХ ПОВЕДЕНЧЕСКИХ ЭКВИВАЛЕНТНОСТЕЙ ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ
Для временных сетей Петри определяется и исследуется семейство поведенческих эквивалентностей в семантиках интерливинг – частичный порядок и линейное время – ветвистое время. Изучаемые эквивалентности основаны на понятии временного процесса, т. е. временного расширения причинной сети за счет глобальных моментов времени, поставленных в соответствие срабатываниям переходов. Устанавливаются взаимосвязи эквивалентностей и строится иерархия классов эквивалентных временных сетей Петри.
Ключевые слова: временные сети Петри, временные процессы, поведенческие эквивалентности, семантики интерливинга, шага и частичного порядка, трассовая и бисимуляционная эквивалентности.
Key words: time Petri nets, time processes, behavioral equivalences, interleaving, step and partial order semantics, trace and bisimulation equivalences.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 21-30.
...........................................................................................................................
 
В. А. Силич, А. О. Савельев (Институт кибернетики Национального исследовательского Томского политехнического университета, Томск)
 
РАЗРАБОТКА АЛГОРИТМА ПРИНЯТИЯ РЕШЕНИЙ ПО ВЫБОРУ ГЕОЛОГО-ТЕХНИЧЕСКОГО МЕРОПРИЯТИЯ ДЛЯ НЕФТЕДОБЫВАЮЩЕЙ СКВАЖИНЫ
Предложен алгоритм поддержки принятия решений при выборе геолого-технического мероприятия на нефтедобывающей скважине для повышения ее производительности. В качестве критерия эффективности выбран срок окупаемости мероприятия, рассчитываемый на основе планируемых показателей прироста добычи и общих затрат на проведение геолого-технического мероприятия. 
Ключевые слова: поддержка принятия решений, геолого-техническое мероприятие.
Key words: decision support, well intervention.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 31-36.
...........................................................................................................................
 
А. А. Друки (Институт кибернетики Национального исследовательского Томского политехнического университета, Томск)
 
ПРИМЕНЕНИЕ ДЕФОРМИРУЕМЫХ ЭЛЛИПТИЧЕСКИХ МОДЕЛЕЙ ДЛЯ ВЫДЕЛЕНИЯ ЛИЦ НА ИЗОБРАЖЕНИЯХ И В ВИДЕОПОТОКЕ
Разработаны алгоритмы выделения лиц на статических изображениях и в видеопотоке: алгоритм обнаружения лица с помощью цветовой сегментации, алгоритм выделения лиц на статических RGB-изображениях с помощью деформируемых эллиптических моделей, метод статических моментов для выделения лиц в видеопотоке.
Ключевые слова: обработка изображений, выделение лиц, метод деформируемых эталонов, метод статических моментов.
Key words: image recognition, selection of person, method of deformable standards, method of static moments.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 37-44.
...........................................................................................................................
 
М. Г. Курносов, А. А. Пазников (Сибирский государственный университет телекоммуникаций и информатики, Новосибирск)
 
МОДЕЛИРОВАНИЕ АЛГОРИТМОВ ДЕЦЕНТРАЛИЗОВАННОГО ОБСЛУЖИВАНИЯ ПОТОКОВ ПАРАЛЛЕЛЬНЫХ ЗАДАЧ В GRID-СИСТЕМАХ
Предложены децентрализованные алгоритмы диспетчеризации в пространственно распределенных вычислительных системах параллельных задач с целью минимизации времени их обслуживания. Описана функциональная структура разработанного программного пакета GBroker децентрализованного управления ресурсами мультикластерных вычислительных и GRID-систем. Представлены результаты моделирования созданных алгоритмов, обслуживающих потоки параллельных задач на действующей пространственно распределенной мультикластерной вычислительной системе.
Ключевые слова: диспетчеризация параллельных программ, пространственно распределенные вычислительные системы, GRID-системы.
Key words: parallel programs scheduling, geographically-distributed computer systems, GRID-systems.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 45-54.
...........................................................................................................................
 
В. П. Шувалов, И. Ю. Селянина (Сибирский государственный университет телекоммуникаций и информатики, Новосибирск)
 
МЕТОДИКА ОБЕСПЕЧЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ В МУЛЬТИСЕРВИСНЫХ СЕТЯХ СВЯЗИ
В сетях связи необходимым аспектом эксплуатации является обеспечение отказоустойчивости и качественной передачи данных. Проведен анализ существующих методик обеспечения качества обслуживания QoS. Исследованы алгоритмы маршрутизации, обеспечивающие безотказную работу сети. С использованием двух методик сформулирован алгоритм расчета требуемой полосы пропускания каналов для обеспечения отказоустойчивости сети, в основе которого лежит выравнивание нагрузки путем двухфазной маршрутизации и упорядочение найденных путей по метрике надежности каналов.
Ключевые слова: выравнивание нагрузки, качество обслуживания, QoS, отказоустойчивость в сетях связи.
Key words: load balancing, Quality of Service, QoS, network fault-tolerance.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 55-62.
...........................................................................................................................
 
Г. В. Мамчев (Сибирский государственный университет телекоммуникаций и информатики, Новосибирск)
 
ОСОБЕННОСТИ ФУНКЦИОНИРОВАНИЯ СИНХРОННОЙ РЕГИОНАЛЬНОЙ СЕТИ ЭФИРНОГО ЦИФРОВОГО ТЕЛЕРАДИОВЕЩАНИЯ
Рассмотрены принципы построения двухуровневой синхронной сети эфирного цифрового телевидения при внедрении европейской системы наземного телевидения второго поколения DVB-T2. Проведен анализ особенностей формирования пакетов передаваемых данных. Показана возможность использования технологии разнесенного приема.
Ключевые слова: архитектура синхронной сети, потоковые низкочастотные кадры, кадры физического уровня, разнесенный прием, алгоритм Аламоути.
Key words: architecture of synchronous networks, stream low frequency frames, frames of physical level, special receiving, algorithm Alamouti.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 63-69.
...........................................................................................................................
 
О. В. Молдованова (Сибирский государственный университет телекоммуникаций и информатики, Новосибирск)
 
ДЕЦЕНТРАЛИЗОВАННЫЙ АЛГОРИТМ САМОДИАГНОСТИКИ ДЛЯ КРУПНОМАСШТАБНЫХ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ РАЗЛИЧНЫХ ТОПОЛОГИЙ
Предложен децентрализованный алгоритм самодиагностики крупномасштабных распределенных вычислительных систем, характеризующийся параллельным выполнением фаз тестирования и распространения диагностической информации. Приведены результаты моделирования алгоритма для распространенных топологий распределенных вычислительных систем.
Ключевые слова: распределенная вычислительная система, самодиагностика, децентрализованный алгоритм, моделирование.
Key words: distributed computer system, self-diagnosis, distributed algorithm, simulation.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 70-75.
...........................................................................................................................
 
М. В. Андреева (Институт систем информатики им. А. П. Ершова СО РАН, Новосибирск)
 
ОБ УСТОЙЧИВОСТИ ПОВЕДЕНЧЕСКИХ ЭКВИВАЛЕНТНОСТЕЙ ВРЕМЕННЫХ СТАБИЛЬНЫХ СТРУКТУР СОБЫТИЙПРИ ДЕТАЛИЗАЦИИ ДЕЙСТВИЙ
Рассматривается оператор детализации действий, ставящий в соответствие действиям моделируемой системы на данном уровне абстракции более сложные процессы нижнего уровня, в контексте модели временных стабильных структур событий. Исследуется вопрос инвариантности семейства поведенческих эквивалентностей спектра "линейного – ветвящегося времени'' в семантике частичного порядка. Показано, что известные эквивалентности сохраняются на ряде определенных подклассов, но не на целом классе временных стабильных структур событий. В результате построены усиленные варианты поведенческих эквивалентностей, устойчивые при детализации действий.
Ключевые слова: системы реального времени, детализация действий, семантика частичного порядка, поведенческие эквивалентности, временные стабильные структуры событий.
Key words: real-time systems, action refinement, partial order semantics, behavioural equivalences, timed stable event structures.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 76-87.
...........................................................................................................................
 
Б. Х. Айтчанов, М. К. Жапаров, А. Б. Сатыбалдиев, А. Е. Мурзабаев (Казахский национальный технический университет им. К. И. Сатпаева, Алма-Ата; университет им. С. Демиреля, Алма-Ата; ТОО "U-PARTNERS'', Алма-Ата (Казахстан))
 
МОБИЛЬНОЕ ОБУЧЕНИЕ ЯЗЫКУ ПРОГРАММИРОВАНИЯ С++ МЕТОДОМ МИКРООБУЧЕНИЯ
Рассмотрен способ изучения языка программирования С++ с использованием современных технологий в обучении. Разработано мобильное приложение на основе микрообучения. Ключевые слова: мобильное изучение, микрообучение, язык программирования С++.
Keywords:mobilelearning, microlearning, programminglanguageC++.
 
Библиографическая ссылка: Пробл. информатики. 2012. № 2. С. 88-92.
................................................................................................................................................................