ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
ПОВОЛЖСКИЙ РЕГИОН
ТЕХНИЧЕСКИЕ НАУКИ
№ 4 (24)
2012
СОДЕРЖАНИЕ
ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
Зинкин С. А. <...> Операционная семантика функциональных блоков
IEC 61499 (Часть 1. <...> Оптимизация мощностей
передатчиков и частотно-территориального планирования
на сетях радиосвязи со звездообразной топологией ........................................... 67
Волотов Е. М. <...> Поволжский регион
МАШИНОСТРОЕНИЕ И МАШИНОВЕДЕНИЕ
Зверовщиков В. З., Нестеров С. А., Зверовщиков А. Е., Гурин П. А. <...> 2 прямоугольниками представлены очереди, представленные
в модели унарными предикатами, причем имена очередей использованы далее в качестве индексов соответствующих предикатных имен. <...> Абстрактная структура сети хранения данных
В выражении для модуля m0 используются следующие предикаты и одна функция:
pgot(x) – унарный предикат, определяющий готовность клиента сети
ВЗУ к выдаче запроса x A;
preg(m) – унарный предикат, задающий один из трех режимов обработки
запросов, m M, M = {e, p, s}: e – запрос, требующий для своего выполнения
всех единиц ресурса R, представленного совокупностью модулей ВЗУ на
магнитных дисках; p – запрос, требующий определенную единицу ресурса R, <...> т.е. адресуемый модуль ВЗУ; s – запрос, для выполнения которого достаточно
любой единицы ресурса R;
fm(x) – функция, используемая для указания на режим или тип обработки запроса x;
pw(x) – унарный предикат, область истинности которого представляет
общую очередь запросов (без различия по типу запросов). <...> В дальнейшем там, где это не противоречит контексту, мы будем использовать обычное для имитационного моделирования отождествление
функций, предикатов или отношений с моделируемыми объектами: например, унарный предикатный символ pgot будем использовать и для именования
очереди клиентских запросов, а унарным предикатным символом pw обозначим очередь запросов, для каждого из которых определен режим обслуживания. <...> Таким образом, СеАМ-выражением для модуля m0 описывается <...>
Известия_высших_учебных_заведений._Поволжский_регион._Технические_науки_№4_2012.pdf
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
ПОВОЛЖСКИЙ РЕГИОН
ТЕХНИЧЕСКИЕ НАУКИ
№ 4 (24)
СОДЕРЖАНИЕ
ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
Зинкин С. А. Организация управления сетями хранения и обработки
данных на основе непосредственной интерпретации
логико-алгебраических спецификаций .................................................................. 3
Склемин А. А., Кушников В. А. Анализ выполнимости планов
мероприятий при управлении промышленным предприятием ......................... 18
Макарычев П. П., Попова Н. А. Модель деятельности
аспирантов для автоматизированной системы управления ............................... 29
Дубинин В. Н. Операционная семантика функциональных блоков
IEC 61499 (Часть 1. Модель базисного блока) .................................................... 37
ЭЛЕКТРОНИКА, ИЗМЕРИТЕЛЬНАЯ ТЕХНИКА
И РАДИОТЕХНИКА
Баранов В. А., Мясникова М. Г., Цыпин Б. В., Милованов А. Г.
Применение метода спектрального оценивания Прони
для повышения быстродействия средств измерений параметров
комплексного сопротивления высокоомных цепей ............................................ 49
Панфилов С. А. Эффективное охлаждение новых
высокомощных силовых полупроводниковых приборов................................... 57
Бабин Н. Н., Данилович Д. А., Данилович О. С. Оптимизация мощностей
передатчиков и частотно-территориального планирования
на сетях радиосвязи со звездообразной топологией ........................................... 67
Волотов Е. М. Метод определения фокусного расстояния
видеокамеры при оценке летно-технических
характеристик летательного аппарата .................................................................. 76
Симанин Н. А., Поляков И. А. Расчет статической
характеристики гидравлического измерительного
преобразователя вращающего момента ............................................................... 84
2012
Стр.1
Известия высших учебных заведений. Поволжский регион
МАШИНОСТРОЕНИЕ И МАШИНОВЕДЕНИЕ
Зверовщиков В. З., Нестеров С. А., Зверовщиков А. Е., Гурин П. А.
Моделирование центробежной отделочно-упрочняющей
обработки деталей в контейнерах с планетарным вращением
для оптимизации технологических режимов ....................................................... 93
Киреев С. Ю., Лось И. С., Перелыгин Ю. П., Розен А. Е. Исследования
коррозионно-электрохимических свойств многослойного
материала, полученного сваркой взрывом ......................................................... 104
Батрашов В. М., Пак Ч. Г. Разработка и исследование
высокотемпературной матрицы для жаростойкого
поризованного материала .................................................................................... 112
Громов Ю. А., Соболь И. С. Синтез динамической модели процесса
по измеренным характеристикам неоднородных объектов
(в задачах гидротехнического строительства) ................................................... 120
Зиновьев Р. С. Использование температурного поля в качестве
управляющего фактора для снижения остаточных напряжений
в намоточной конструкции из армированного реактопласта ........................... 127
Артамонов Д. В., Литвинов А. Н., Литвинов М. А. Динамика
конических оболочек с многослойными покрытиями ...................................... 135
Артемов И. И., Кревчик В. Д., Соколов А. В., Симонов Н. П.,
Артемова Н. Е. Особенности алмазного шлифования изделий
из твердого и хрупкого материалов с применением
наночастиц в смазочно-охлаждающей жидкости .............................................. 145
2
Стр.2
№ 4 (24), 2012
Технические науки. Информатика, вычислительная техника
ИНФОРМАТИКА,
ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
УДК 681.324
С. А. Зинкин
ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ СЕТЯМИ ХРАНЕНИЯ
И ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ
НЕПОСРЕДСТВЕННОЙ ИНТЕРПРЕТАЦИИ
ЛОГИКО-АЛГЕБРАИЧЕСКИХ СПЕЦИФИКАЦИЙ
Аннотация. Рассмотрены основы синтеза управляющих распределенных программ
на основе формальных логико-алгебраических спецификаций. Приведены
иллюстрирующие примеры, развитые на основе модели использования
ресурсов Генриха – Глэссера. Даны логико-алгебраические спецификации для
реализации нового подхода к реализации распределенных сетевых программ.
Ключевые слова: хранение данных, обработка данных, формальное определение
распределенных процессов, логико-алгебраический подход, сети абстрактных
машин, распределенные поведенческие модели.
Abstract. The article describes the basics of a synthesis of distributed control programs
based on formal logical-algebraic specifications. The author gives examples
illustrating the developed Genrich-Glaesser model and introduces the logicalalgebraic
specifications for a new approach to implementation of distributed network
applications.
Key words: data storage, data processing, formal representations of distributed processes,
logical-algebraic approach, networks of abstract machines, distributed behavioral
models.
Введение
Рассмотрим вопросы построения формальных сетевых спецификаций,
описывающих распределение единиц некоторого ресурса R между запросами
различных типов. Детализированные спецификации должны обеспечить эффективную
реализацию сети программных модулей, управляющих распределенным
сетевым ресурсом, например, реплицированными базами данных
в предположении, что каждая копия базы данных размещена на собственном
внешнем запоминающем устройстве (ВЗУ). На рис. 1 представлена типовая
структура составной сети с распределенным ресурсом R. Здесь буквами M и
K обозначены маршрутизаторы глобальной сети и коммутаторы локальных
сетей соответственно, черными кружками обозначены узлы-единицы ресурса
R, на которых установлены системы управления базами данных и к которым
подключены обозначенные цилиндрами ВЗУ для хранения информации. Затемненными
кружками представлены узлы-источники запросов на использование
распределенного ресурса R.
3
Стр.3