Информатика, вычислительная техника
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
ПОВОЛЖСКИЙ РЕГИОН
ТЕХНИЧЕСКИЕ НАУКИ
№ 4 (20)
2011
СОДЕРЖАНИЕ
ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
Волчихин В. И., Зинкин С. А. <...> Ситуационная адаптация пространственных
данных для решения бортовых геоинформационных задач ........................... 66
Чумаченко Е. Н., Кулагин В. П., Хвостиков С. А. <...> Поволжский регион
ЭЛЕКТРОНИКА, ИЗМЕРИТЕЛЬНАЯ ТЕХНИКА
И РАДИОТЕХНИКА
Байдаров С. Ю., Комаров В. В., Паршуков М. Ю., Светлов А. В. <...> Кавитационный механизм
управления качеством поверхностного слоя деталей при использовании
смазывающе-охлаждающих жидкостей с нанодобавками
в условиях звукокапиллярного эффекта .......................................................... 180
Артемов И. И., Кревчик В. Д., Симонов Н. П. <...> Использован алгебраический
подход к определению операционной семантики распределенных систем хранения и обработки данных, основанный на определении данных систем сетями
абстрактных машин. <...> Ключевые слова: хранение данных, обработка данных, формальное определение распределенных процессов, алгебраический подход, сети абстрактных
машин, распределенные поведенческие модели, топологически децентрализованные сети. <...> Поволжский регион
Вопросы физической реализации систем и сетей хранения и обработки
данных были рассмотрены, например, в [1, 2], однако в этих и других работах
рассматривались в основном технические аспекты построения систем и сетей
хранения данных и практически не затрагивались вопросы связи процессов
абстрактного и структурного проектирования. <...> Логико-алгебраические модели в форме сетей абстрактных машин
(СеАМ) [3–5] являются удобным средством для построения имитационных поведенческих моделей систем и сетей внешнего хранения и обработки данных. <...> Учитывая, что формализмы сетей абстрактных машин мы предлагаем использовать в качестве непосредственно
интерпретируемых спецификаций при создании нового аппаратного, микропрограммного и программного <...>
Известия_высших_учебных_заведений._Поволжский_регион._Технические_науки_№4_2011.pdf
№ 4 (20), 2011
Технические науки. Информатика, вычислительная техника
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
ПОВОЛЖСКИЙ РЕГИОН
ТЕХНИЧЕСКИЕ НАУКИ
№ 4 (20)
СОДЕРЖАНИЕ
ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
Волчихин В. И., Зинкин С. А. Абстрактное и структурное
моделирование сетей хранения и обработки данных ........................................ 3
Лебедев В. Б., Паршина Е. В., Песошин В. А. Эффективная модель
анализа данных на основе линейных векторных решеток .............................. 19
Данилов А. М., Лапшин Э. В., Беликов Г. Г., Лебедев В. Б.
Методологические принципы организации многопотоковой
обработки данных с распараллеливанием вычислительных процессов ........ 26
Архангельский А. А., Гурин Е. И., Савельев Б. А. Подключение
специализированных процессоров к персональному компьютеру
с применением интерфейса USB ........................................................................ 35
Щербаков М. А. Итерационный метод оптимальной
нелинейной фильтрации изображений .............................................................. 43
Горбаченко В. И., Матвеева Н. О., Гурин Е. И. Распараллеливание
нейросетевого алгоритма решения краевых задач
математической физики на многоядерных процессорах NVIDIA .................. 57
Малынкин К. В., Мухин И. Б. Ситуационная адаптация пространственных
данных для решения бортовых геоинформационных задач ........................... 66
Чумаченко Е. Н., Кулагин В. П., Хвостиков С. А. Об улучшении качества
прогнозирования распространения растительности на территории России
по данным космического зондирования (на примере модели SEVER) .......... 76
Гай В. Е., Утробин В. А. Методика выделения в звуковом сигнале
участков речевой активности ............................................................................. 85
Бистерфельд О. А. Аналитико-имитационный метод оценки временных
характеристик для различных вариантов представления отношений
категоризации в реляционных базах данных .................................................... 95
Финогеев А. Г., Овечкин Р. М. Человеко-машинное взаимодействие
в системе мониторинга и поддержки принятия решений
в области торговли кредитными деривативами ............................................. 106
Смогунов В. В., Митрохина Н. Ю. Системный анализ методов
проектирования автомобильных дорог ........................................................... 116
1
2011
Стр.1
Известия высших учебных заведений. Поволжский регион
ЭЛЕКТРОНИКА, ИЗМЕРИТЕЛЬНАЯ ТЕХНИКА
И РАДИОТЕХНИКА
Байдаров С. Ю., Комаров В. В., Паршуков М. Ю., Светлов А. В.
Методика обработки результатов измерений
параметров операционного усилителя ............................................................. 128
Куликовский К. Л., Якунина В. В. Ультразвуковая информационноизмерительная
система объемного расхода чистой нефти ............................ 141
Новрузов И. И., Комаров В. В. Исследование электромагнитных и тепловых
полей в ближней зоне контактного волноводного аппликатора ................... 151
Хлынов М. А., Баранов В. Н., Рашев Р. Р. Принципы построения
и аппаратурная реализация многофункциональных
фототерапевтических устройств ...................................................................... 159
Ашанин В. Н., Чувыкин Б. В., Тер-Аракелян Р. Г. Оптимизация
проектирования ∆-модуляторов высоких порядков
по критерию устойчивости............................................................................... 167
МАШИНОСТРОЕНИЕ И МАШИНОВЕДЕНИЕ
Кревчик В. Д., Симонов Н. П., Соколов А. В. Кавитационный механизм
управления качеством поверхностного слоя деталей при использовании
смазывающе-охлаждающих жидкостей с нанодобавками
в условиях звукокапиллярного эффекта .......................................................... 180
Артемов И. И., Кревчик В. Д., Симонов Н. П. Квантовый механизм
образования нанокластеров в поверхностном слое металла
с цепочкой микротрещин в условиях кавитационного
режима звукокапиллярного эффекта ............................................................... 192
Добросельский К. Г. Теплофизические и динамические характеристики
начального участка вертикальной низкоскоростной струи
в поперечном потоке ......................................................................................... 205
Грабовский А. А. Анализ уравновешенности двигателей внутреннего
сгорания с кривошипно-шатунным механизмом
со сдвоенными кинематическими связями ...................................................... 214
Брякин А. Л., Кожевников В. В., Кочкин С. В. Двухкоординатный
датчик положения .............................................................................................. 225
2
Стр.2
№ 4 (20), 2011
Технические науки. Информатика, вычислительная техника
ИНФОРМАТИКА,
ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
УДК 681.324
В. И. Волчихин, С. А. Зинкин
АБСТРАКТНОЕ И СТРУКТУРНОЕ МОДЕЛИРОВАНИЕ
СЕТЕЙ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ
Аннотация. Рассматриваются проблемы использования формальных представлений
распределенных процессов и объектов, взаимодействующих через
общее структурированное пространство памяти. Использован алгебраический
подход к определению операционной семантики распределенных систем хранения
и обработки данных, основанный на определении данных систем сетями
абстрактных машин. Решение поставленных задач основано на интеграции методов
искусственного интеллекта с методами формально определенного распределенного
поведенческого моделирования. На формальном уровне описан
переход от централизованных систем внешнего хранения и обработки данных
к функционально и топологически децентрализованным сетям.
Ключевые слова: хранение данных, обработка данных, формальное определение
распределенных процессов, алгебраический подход, сети абстрактных
машин, распределенные поведенческие модели, топологически децентрализованные
сети.
Abstract. The paper considers the use of formal representations of distributed processes
and objects that interact through a common structured memory space. The
authors resort to an algebraic approach to the definition of an operating semantics of
distributed systems, data storage and processing, based on the definition of data
networks with systems of abstract machines. The solution of these problems is based
on integration of artificial intelligence techniques with formally defined distributed
behavioral model. At the formal level the researchers describe the transition from
centralized systems of external data storage and processing to functionally and topologically
decentralized networks.
Key words: data storage, data processing, formal representations of distributed processes,
algebraic approach, networks of abstract machines, distributed behavioral
models, topologically decentralized networks.
Введение
В сетях внешних запоминающих устройств (ВЗУ) совокупность сетевых
дисковых модулей может быть представлена некоторым коллективно используемым
распределенным ресурсом. Доступ к подобному ресурсу с несколькими
единицами осуществляется с помощью запросов различных видов.
Различие запросов характерно, например, для распределенных RAIDмассивов
и реплицированных распределенных баз данных, реализуемых на
базе сетей ВЗУ.
3
Стр.3