2011 год, №1

Содержание выпуска
ДОСТОИНСТВО ФОРМАЛЬНОГО ЯЗЫКА, ОСНОВАННОГО НА КОНЦЕПЦИИ НЕДЕТЕРМИНИЗМА, ПРИ СТРУКТУРНОЙ РЕАЛИЗАЦИИ ПАРАЛЛЕЛЬНЫХ СИСТЕМ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ ПРОЦЕССАМИ И РЕСУРСАМИ
Вашкевич Николай Петрович, Бикташев Равиль Айнулович
Стр. 3 — 11
Рассматриваются два подхода к решению поставленной задачи, которые базируются на использовании результатов детерминизации исходного управляющего алгоритма и его параллельно-последовательной декомпозиции на подмножества несовместимых и совместимых частных событий, реализуемых в управляющем алгоритме. По результатам такой декомпозиции управляющий алгоритм реализуется или на основе параллельной распределенной системы логического управления, или на основе одного микропрограммного автомата с параллельным выполнением микроопераций.
ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499
Дубинин Виктор Николаевич, Вяткин Валерий Владимирович
Стр. 12 — 23
Рассматривается формализованное представление моделей выполнения функциональных блоков международного стандарта IEC 61499 на основе функций возбуждения функциональных блоков, построенных с использованием предикатов и функций времени выполнения. Предлагается расширенный набор моделей выполнения функциональных блоков, включающий как традиционные модели, так и нетрадиционные. Освещаются вопросы обработки входных событий в моделях выполнения.
ДИАЛОГОВАЯ ИНФОРМАЦИОННАЯ СИСТЕМА РАЗРАБОТКИ ТЕКСТОВОЙ КОНСТРУКТОРСКОЙ ДОКУМЕНТАЦИИ
Репин Андрей Юрьевич, Фионова Людмила Римовна, Епишин Игорь Георгиевич
Стр. 24 — 34
Рассматривается диалоговая информационная система, являющаяся частью интегрированной информационной среды производственного предприятия и предназначенная для разработки текстовой конструкторской документации на специализированное технологическое оборудование. Приведены структура и основные функции системы.
МЕТОДЫ И МОДЕЛИ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ ДИСКРЕТНЫМИ ПРОЦЕССАМИ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ НА ОСНОВЕ КОНЦЕПЦИИ СОГЛАСОВАНИЯ
Зинкина Надежда Сергеевна
Стр. 35 — 47
Предлагается комплексная методология проектирования устройств и систем логического управления сложными распределенными дискретными процессами с параллельным выполнением операций. Основное внимание при проектировании уделяется формальному описанию процессов и их свойств на основе концепции согласования процессов через пространство структурированной памяти. Даны рекомендации по аппаратной и программной реализации распределенных систем управления.
РАСПОЗНАВАНИЕ ОБРАЗОВ КАК ПРИЛОЖЕНИЕ ДЛЯ КВАНТОВОГО КОМПЬЮТЕРА
Васильев Николай Геннадьевич, Федотов Николай Гаврилович, Васильев Дмитрий Николаевич
Стр. 48 — 57
На примерах работы компьютерной системы, обладающей собственными способностями, показывается, что направление распознавания образов, которое имеет огромное количество всевозможных приложений, само оказывается приложением для квантового компьютера. Таким образом, снимается проблема обоснования необходимости и целесообразности построения квантового компьютера, а сама компьютерная система, обладающая собственными способностями, демонстрируется в качестве прототипа алгоритмического квантового компьютера.
КОРРЕКЦИЯ ТРАЕКТОРИИ ДВИЖЕНИЯ НАУЧНО-ИССЛЕДОВАТЕЛЬСКИХ ПЛАНИРУЮЩИХ ПОДВОДНЫХ ЗОНДОВ
Старков Евгений Геннадьевич, Куликовский Константин Лонгинович
Стр. 58 — 69
Предложена коррекция реальной траектории движения планирующего зонда, позволяющая осуществлять движение с отклонением от заданной траектории, не превышающим заданного значения. Исследованы погрешности определения текущих координат планирующего зонда измерительным блоком информационно-измерительной и управляющей системы. Проанализированы погрешности управления, приводящие к отклонению реальной траектории движения от заданной. Сформированы требования к инструментальным погрешностям датчиков измерительного блока.
МОДЕЛИРОВАНИЕ ЦВЕТНЫМИ СЕТЯМИ ПЕТРИ ПРОЦЕССА РЕГИСТРАЦИИ РАДИОЛОКАЦИОННОЙ ИНФОРМАЦИИ
Таранцев Евгений Константинович
Стр. 70 — 78
Рассматриваются вопросы моделирования подсистемы регистрации радиолокационной станции временными раскрашенными сетями Петри. Предложенная модель позволяет оценивать взаимное влияние информационных потоков через сеть Gigabit Ethernet.
ИМИТАЦИОННАЯ МОДЕЛЬ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ НАЗЕМНОГО ОБСЛУЖИВАНИЯ ПЕРЕВОЗОК В АЭРОПОРТУ
Романенко Владимир Алексеевич
Стр. 79 — 95
Сформирована имитационная модель технологических процессов обслуживания воздушных судов, пассажиров и багажа в аэропорту. В производственном процессе аэропорта выделены важнейшие технологические операции, установлены их роль и место в сетевом технологическом графике наземного обслуживания рейсов. На базе обширного статистического материала, предоставленного рядом аэропортов РФ, построены вероятностные модели технологических операций, устанавливающие связи между их важнейшими параметрами и характеристиками обслуживаемых рейсов.
ОПРЕДЕЛЕНИЕ РАЗМЕРА И СКОРОСТИ ДВИЖЕНИЯ НАРУШИТЕЛЯ В ДВУХПОЗИЦИОННЫХ ОХРАННЫХ СИСТЕМАХ БЛИЖНЕЙ РАДИОЛОКАЦИИ
Сальников Игорь Иванович, Чернышев Максим Николаевич
Стр. 96 — 105
Рассмотрена возможность определения размера нарушителя и скорости его движения в охраняемой зоне радиолокационной технической системы охраны путем восстановления функции пропускания по дифракционной картине нарушителя. Получены алгоритмы определения размера нарушителя в аддитивной смеси сигнала с шумом, а также их варианты для случая определения размера нарушителя по смещенным реализациям выходного сигнала приемника.
СТРУКТУРА ЭЛЕКТРОННОЙ ОБРАЗОВАТЕЛЬНОЙ СРЕДЫ С ИСПОЛЬЗОВАНИЕМ ГЕТЕРОГЕННЫХ СЕТЕЙ ДЛЯ ДОСТУПА К ИНФОРМАЦИОННЫМ РЕСУРСАМ
Финогеев Алексей Германович, Маслов Владимир Алексеевич, Финогеев Антон Алексеевич
Стр. 106 — 116
Описывается создание экспериментальной информационной среды кафедры университета для поддержки мониторинга различных систем и служб, а также информационной поддержки студентов и преподавателей. Рассматриваются вопросы организации «повсеместного» доступа на базе гетерогенных беспроводных сетей, а также идентификации, локализации и позиционирования пользователей системы. Приводятся описание построенной информационной среды и достигнутые результаты.
АВТОМАТИЗИРОВАННАЯ СИСТЕМА ОБРАБОТКИ И АНАЛИЗА ЭЛЕКТРОКАРДИОСИГНАЛОВ В УСЛОВИЯХ ИНТЕНСИВНЫХ ПОМЕХ РАЗЛИЧНОГО ВИДА
Тычков Александр Юрьевич, Чураков Петр Павлович, Кривоногов Леонид Юрьевич
Стр. 117 — 125
Показано, что эффективность обработки электрокардиосигналов напрямую зависит от качества устранения помех. Предложено для подавления помех в электрокардиосигнале использовать метод декомпозиции на эмпирические моды. Разработан алгоритм помехоподавления, основанный на удалении отдельных мод частотных составляющих электрокардиосигнала. Проведена оценка качества помехоподавления.
ОПРЕДЕЛЕНИЕ ПОЛНЫХ ДИНАМИЧЕСКИХ ХАРАКТЕРИСТИК СРЕДСТВ ИЗМЕРЕНИЙ С ПРИМЕНЕНИЕМ РЕКУРРЕНТНЫХ ПРОЦЕДУР
Иосифов Валерьян Павлович
Стр. 126 — 131
Предлагается методика применения параметрического спектрального анализа, в основе которой лежит рекуррентная процедура метода наименьших квадратов. В основе рекуррентного метода предложено применить расчетные параметры средства измерений, что сокращает объем вычислений.
СИНТЕЗ S -АЦП С МНОГОУРОВНЕВЫМ ЦАП НА ОСНОВЕ ШИРОТНО-ИМПУЛЬСНОГО МОДУЛЯТОРА
Ашанин Василий Николаевич
Стр. 132 — 138
На основе теории непрерывно-дискретных систем предложена методика синтеза ΣΔ-АЦП с многоуровневым ЦАП на основе широтно-импульсного модулятора, отличающихся высокой линейностью преобразования. Приведены результаты имитационного моделирования.
ИСПОЛЬЗОВАНИЕ ТОПОЛОГИЧЕСКИХ ГРАФОВ ДЛЯ РАСЧЕТА СХЕМ УЗЛОВ СРЕДСТВ ИЗМЕРЕНИЙ НА ОПЕРАЦИОННЫХ УСИЛИТЕЛЯХ И АНАЛИЗА ИХ ПОГРЕШНОСТЕЙ
Добровинский Игорь Рувимович, Ломтев Евгений Александрович, Медведик Юрий Тимофеевич, Стеблев Павел Михайлович, Трофимов Алексей Александрович
Стр. 139 — 147
Предложен метод расчета операционных усилителей на основе использования топологических графов, что позволяет резко сократить объем вычислений за счет перехода от принципиальных электрических схем узлов средств измерений непосредственно к графам и к функциям преобразования.
ИССЛЕДОВАНИЕ КАЧЕСТВА ЭЛЕКТРИЧЕСКОЙ ЭНЕРГИИ ПРИ НАЛИЧИИ ПОТРЕБИТЕЛЕЙ С НЕЛИНЕЙНЫМИ НАГРУЗКАМИ
Кузьмин Дмитрий Алексеевич, Горячев Владимир Яковлевич
Стр. 148 — 155
Изучено влияние нагрузки на гармонический состав тока и напряжения в основной сети электроснабжения. Выявлены источники, которые вызывают искажение кривых тока и напряжения, и получены соответствующие гармонические спектры.
МЕТОД РЕАЛИЗАЦИИ ЭФФЕКТИВНОГО КОМПЕНСИРУЮЩЕГО УСТРОЙСТВА НА ПРОМЫШЛЕННЫХ КОНТРОЛЛЕРАХ
Бильфельд Николай Валентинович, Жукотская Наталья Владимировна
Стр. 156 — 166
Предложен универсальный способ реализации компенсатора типовыми звеньями промышленных контроллеров за счет их последовательного соединения. Рассмотрено влияние вида передаточной функции возмущающего воздействия на переходный процесс.
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ УСТРОЙСТВ СВЕРХВЫСОКИХ ЧАСТОТ НА МАГНИТНЫХ НАНОКОМПОЗИТАХ
Чиркина Марина Александровна, Юрков Николай Кондратьевич, Якимов Александр Николаевич
Стр. 167 — 174
Предложены декомпозиционные математические модели резонансного вентиля и циркулятора на магнитных нанокомпозитах. Математические модели построены при помощи автономных блоков в виде прямоугольных параллелепипедов с диэлектрическими наносферами и магнитными частицами (строгая модель) и эффективных значений компонентов тензора магнитной и скаляра диэлектрической проницаемостей (упрощенная модель). Наблюдается хорошее совпадение результатов моделирования, полученных при помощи строгой и упрощенной моделей.
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПЕРЕХОДНЫХ ЭЛЕКТРИЧЕСКИХ ПРОЦЕССОВ В ТОНКОПЛЕНОЧНЫХ ЭЛЕКТРОЛЮМИНЕСЦЕНТНЫХ КОНДЕНСАТОРАХ С ПОСЛЕДОВАТЕЛЬНЫМ РЕЗИСТОРОМ ЦЕПИ В СХЕМАХ УПРАВЛЕНИЯ ИНДИКАТОРАМИ
Самохвалов Михаил Константинович, Тахтенкова Марина Олеговна
Стр. 175 — 186
Представлены результаты математического анализа переходных процессов в электрических цепях схем управления тонкопленочными электролюминесцентными индикаторами, включающих электролюминесцентный конденсатор и последовательный резистор цепи. Получены аналитические соотношения для напряжения и тока в цепи при возбуждении знакопеременным симметричным импульсным напряжением.
ИССЛЕДОВАНИЕ АСИМПТОТИЧЕСКОЙ УСТОЙЧИВОСТИ СИСТЕМ ФАЗОВОЙ СИНХРОНИЗАЦИИ С РАВНОМЕРНОЙ ДИСКРЕТИЗАЦИЕЙ
Колготин Павел Вячеславович, Колотков Александр Юрьевич, Дорошкевич Виктор Вениаминович, Румянцева Нина Борисовна, Зефиров Сергей Львович, Султанов Борис Владимирович
Стр. 187 — 195
Описана цифровая система фазовой синхронизации с равномерной дискретизацией и аналогово-цифровым преобразованием до петли фазовой автоподстройки. На основе метода D-разбиения определены области асимптотической устойчивости рассматриваемой системы третьего порядка. Выявлены области значений параметров , при которых все корни характеристического уравнения линейного приближения рассматриваемой дискретной нелинейной системы на комплексной плоскости находятся внутри единичной окружности.
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ НЕИЗОТЕРМИЧЕСКОЙ ЭКСТРУЗИИ ПОЛИМЕРНОЙ ЖИДКОСТИ ИЗ СТУПЕНЧАТОЙ ФОРМУЮЩЕЙ НАСАДКИ
Снигерев Борис Александрович
Стр. 196 — 202
Работа посвящена моделированию медленного движения вязкоупругой жидкости со свободной поверхностью, реализующейся при входе полимерной жидкости в формующую насадку и выходе из нее. Движение жидкости описывается уравнениями сохранения массы, импульса и энергии, дополненными реологическим уравнением состояния среды Гиесекуза. На основе метода конечных элементов разработан устойчивый численный алгоритм решения задачи. Проведены численные исследования по определению формы выходной струи для различных режимов течения и формы насадки. Исследована картина распределения скорости жидкости, давления, напряжений и температуры при увеличении степени нагрева стенки насадки. Получены численные результаты зависимости эффекта разбухания полимера от параметров реологической модели и температурных факторов.
ИЗНОСОСТОЙКИЕ С НИЗКИМ ЗНАЧЕНИЕМ ПЕРЕХОДНОГО ЭЛЕКТРОСОПРОТИВЛЕНИЯ ПОКРЫТИЯ СПЛАВОМ МЕДЬ-НИКЕЛЬ
Виноградов Станислав Николаевич, Севостьянов Николай Владимирович
Стр. 203 — 212
Для сближения потенциалов разряда меди и никеля и осаждения сплава медь-никель предложена комбинация лигандов - сульфосалицилат-ион и аммиак. Исследованы зависимости состава сплавов и выхода по току от состава электролита, катодной плотности тока, температуры и pH электролита. Рассмотрены физико-механические свойства покрытия.
МОДЕЛЬ РАЗВИТИЯ ФРЕТТИНГ-КОРРОЗИИ В ПОВЕРХНОСТНОМ СЛОЕ ЛИСТА РЕССОРЫ
Артемов Игорь Иосифович, Кревчик Владимир Дмитриевич, Меньшова Светлана Борисовна, Келасьев Василий Владимирович, Маринина Лариса Александровна
Стр. 213 — 224
Предложен теоретический подход к описанию процесса фреттинг-коррозии применительно к пакету листовой рессоры. Подход основан на рассмотрении процесса дислокационной ползучести, инициированной температурой контакта и нормальным напряжением в зоне абразивного действия. Показано, что для кривых зависимости длины микротрещины от времени развития процесса фреттинг-коррозии характерен излом, связанный со сменой механизма «подрастания» клиновидной полости за счет дислокационного скопления на механизм развития микротрещины, обусловленного ростом размера каверн и нормального напряжения.