+
АППАРАТНАЯ ПОДДЕРЖКА ДИСПЕТЧЕРА ЗАДАЧ С ГЛОБАЛЬНОЙ ОЧЕРЕДЬЮ В МНОГОПРОЦЕССОРНЫХ СИСТЕМАХ
стр.3-14
Вашкевич Николай Петрович, Бикташев Равиль Айнулович, Меркурьев Андрей Игоревич
Представлены результаты исследований по аппаратно-программной реализации функции диспетчеризации многопроцессорных операционных систем с глобальной очередью задач, а также формальное описание алгоритмов синхронизации взаимодействующих процессов при диспетчеризации задач на основе аппарата недетерминированных автоматов. Проведено моделирование алгоритмов на языке VHDL и проанализированы полученные результаты.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ОБЕСПЕЧЕНИЕ КОМПЛЕКСНОЙ АДЕКВАТНОСТИ АВИАЦИОННЫХ ТРЕНАЖЕРОВ
стр.15-24
Годунов Анатолий Иванович, Кемалов Берик Каирович, Юрков Николай Кондратьевич
Рассмотрены степени сходства математических моделей и реального авиационного тренажера, предложена методика оценки адекватности моделей; проводится оценка адекватности на агрегатном и системном, а также на комплексном уровнях применительно ко всей системе в целом.
Загружаем данные из библиотечной системы...
Ключевые слова
+
АНАЛИЗ БАЗЫ ДАННЫХ С ПРИМЕНЕНИЕМ АЛГЕБРЫ КОРТЕЖЕЙ
стр.25-36
Белов Вадим Николаевич, Макарычев Петр Петрович
Рассматривается применение алгебры кортежей для определения возможностей OLAP транзакционной базы данных на примере анализа результатов деятельности сотрудников вуза.
Загружаем данные из библиотечной системы...
Ключевые слова
+
СОСУЩЕСТВОВАНИЕ ГРУПП В СОСТАВЕ СООБЩЕСТВА ПРОГРАММНЫХ АГЕНТОВ
стр.37-43
Кольчугина Елена Анатольевна
Приведены результаты экспериментов по созданию сообщества программных агентов из различных групп, являющихся по отношению друг к другу конкурентами и симбионтами. Выявлены условия устойчивости сосуществования групп в составе такого сообщества.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ВЕРИФИКАЦИЯ ПРИЛОЖЕНИЙ IEC 61499 НА ОСНОВЕ МЕТОДА MODEL CHECKING
стр.44-55
Дубинин Виктор Николаевич, Вяткин Валерий Владимирович
Предлагается подход к верификации управляющих приложений международного стандарта IEC 61499 на основе метода Model Checking. В рамках данного подхода предлагается формальная модель переходов состояний системы в виде правил изменения функций. Рассматривается демонстрационный пример.
Загружаем данные из библиотечной системы...
Ключевые слова
+
РАЗРАБОТКА МНОГОПОТОЧНОЙ МОДЕЛИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЭКСПЕРТНОЙ СИСТЕМЫ АВИАЦИОННЫХ РАДИОЛОКАЦИОННЫХ КОМПЛЕКСОВ
стр.56-64
Пащенко Дмитрий Владимирович, Трокоз Дмитрий Анатольевич
Рассматриваются вопросы построения многопоточной модели программного обеспечения экспертной системы авиационных радиолокационных комплексов в части загрузки данных в систему объективного контроля авиационных комплексов радиолокационного дозора и наведения.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ПОИСК ИЗОБРАЖЕНИЯ ЧЕЛОВЕЧЕСКОГО ЛИЦА ПО ФОТОРОБОТУ В БОЛЬШОЙ БАЗЕ ДАННЫХ
стр.65-74
Федотов Николай Гаврилович, Петренко Александр Григорьевич, Рой Алексей Владимирович, Фионов Никита Сергеевич
Предложен подход к решению задачи поиска человеческих лиц в базе данных на основе стохастической геометрии и функционального анализа. Ключевым элементом этого подхода является применение нового класса конструктивных признаков распознавания - триплетных признаков. Рассмотрены этапы поиска изображений в базе данных, вытекающие из анализа физиологических принципов восприятия и распознавания совместно с теорией триплетных признаков.
Загружаем данные из библиотечной системы...
Ключевые слова
+
СИНТЕЗ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ ТРАНСФЕРНЫМИ АВИАПЕРЕВОЗКАМИ МЕТОДАМИ МАТЕМАТИЧЕСКОГО ПРОГРАММИРОВАНИЯ
стр.75-86
Потапов Иван Валентинович, Романенко Владимир Алексеевич
Рассмотрено решение комплекса задач оптимального управления авиаперевозками на базе узлового аэропорта «направленного» типа путем сведения их к частично целочисленной задаче линейного программирования значительной размерности. Приводится математическая модель системы трансферных перевозок и результаты оптимизации для модельного примера, полученные с использованием программной среды IBM ILOG OPL.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ПРОГРАММНО-СЕРВИСНЫЕ СРЕДСТВА УПРАВЛЕНИЯ ДОКУМЕНТАЦИЕЙ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА УНИВЕРСИТЕТА
стр.87-97
Суровицкая Галина Владимировна, Шитов Денис Вячеславович, Комиссарова Татьяна Борисовна
Приведен анализ видов управленческой деятельности университета во взаимосвязи с функциями управленческой документации как важнейшего механизма управления. Представлена анализируемая структура документации университета и предложена структура системы документации менеджмента качества, даны основные характеристики документов этой системы и системы управления документацией. Предложены и описаны программно-сервисные средства управления документами «Витрина документов». Изложено обоснование и основные этапы разработки данного программного средства.
Загружаем данные из библиотечной системы...
Ключевые слова
+
КЛАССИФИКАЦИЯ ИЗМЕРИТЕЛЬНЫХ ПРЕОБРАЗОВАТЕЛЕЙ ИНФОРМАЦИИ НЕПРЕРЫВНО-ДИСКРЕТНОЙ СИСТЕМЫ ГЕТЕРОГЕННОЙ СТРУКТУРЫ
стр.98-104
Ашанин Василий Николаевич, Ashanin Vasily Nikolaevich
Проведена систематизация преобразователей информации непрерывно-дискретной системы, характеризующихся гетерогенной структурой информационного сигнала в канале преобразования.
Загружаем данные из библиотечной системы...
Ключевые слова
+
МЕТОДИКА ОПРЕДЕЛЕНИЯ ПЛОТНОСТИ ВЕРОЯТНОСТИ РАЗМАХА ШУМА ОПЕРАЦИОННЫХ УСИЛИТЕЛЕЙ
стр.105-114
Чайковский Виталий Сергеевич, Светлов Анатолий Вильевич
Описывается методика, позволяющая определять плотность вероятности размаха шума операционных усилителей по известной спектральной плотности мощности. В основу данного метода положено моделирование шумовых сигналов, представляющих собой сумму белого и фликкер-шума.
Загружаем данные из библиотечной системы...
Ключевые слова
+
СПОСОБЫ ИЗМЕРЕНИЯ ПАРАМЕТРОВ ПАССИВНОГО КОМПЛЕКСНОГО ДВУХПОЛЮСНИКА МНОГОПОЛЮСНОЙ ЭЛЕКТРИЧЕСКОЙ ЦЕПИ ТИПА «ТРЕУГОЛЬНИК»
стр.115-123
Шаронов Геннадий Иванович, Шаманов Роман Сергеевич
Предложены амплитудный, фазовый и амплитудно-фазовый способы измерения параметров пассивного комплексного двухполюсника, расположенного в многополюсной электрической цепи типа «треугольник», без нарушения целостности исследуемой многополюсной электрической цепи на основе алгоритмического метода измерения путем изменения конфигурации измерительной цепи. Рассмотрен вариант схемной реализации алгоритмического метода измерения параметров пассивного комплексного двухполюсника, исключающего методическую погрешность измерения.
Загружаем данные из библиотечной системы...
Ключевые слова
+
МЕТОДИЧЕСКИЙ ПОДХОД К ВЫБОРУ ДИАГНОСТИЧЕСКОГО ПАРАМЕТРА ДЛЯ ПРОГНОЗИРОВАНИЯ ТЕХНИЧЕСКОГО СОСТОЯНИЯ ЭЛЕКТРОННЫХ ПРИБОРОВ И АППАРАТУРЫ
стр.124-132
Тутушкин Владимир Ильич, Фандеев Владимир Петрович
Рассматриваются вопросы выбора диагностических параметров для прогнозирования технического состояния электронной аппаратуры на основе информационных технологий схемотехнического моделирования.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ЭКСПЕРИМЕНТАЛЬНАЯ УСТАНОВКА ДЛЯ ФЛУКТУАЦИОННЫХ ДИЭЛЕКТРИЧЕСКИХ ИЗМЕРЕНИЙ
стр.133-139
Лунев Иван Владимирович, Сараев Денис Владимирович, Каргин Роман Владимирович, Гончаров Владимир Анатольевич
Описана экспериментальная установка, которая позволяет получить корреляционную функцию шумового сигнала исследуемого образца. Работа установки проверена на модельной RC-цепи.
Загружаем данные из библиотечной системы...
Ключевые слова
+
МОДЕЛИРОВАНИЕ ДИНАМИЧЕСКИХ ПРОЦЕССОВ КОНТАКТНЫХ СИСТЕМ ПРИБОРОВ
стр.140-152
Волчихин Владимир Иванович, Литвинов Александр Николаевич
Разработана математическая модель для расчета собственных частот и предельных виброперегрузок для плоских контактных пластин переменного сечения, имеющих произвольно расположенную упругую промежуточную опору. Рассмотрены пластины, находящиеся в замкнутом состоянии. Установлено наличие оптимальных параметров, позволяющих существенно повысить виброустойчивость контактных систем. Показана удовлетворительная согласованность результатов теоретических расчетов с экспериментальными исследованиями.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ТЕОРЕТИЧЕСКОЕ ИССЛЕДОВАНИЕ МЕТОДОМ АВТОНОМНЫХ БЛОКОВ ВОЛНОВЫХ ПРОЦЕССОВ В ГЕТЕРОГЕННЫХ СТРУКТУРАХ ПРИ ДИНАМИЧЕСКИХ НАГРУЖЕНИЯХ
стр.153-159
Волчихин Владимир Иванович, Артамонов Дмитрий Владимирович, Чиркина Марина Александровна
Предложена методика использования автономных блоков для исследования волновых процессов в гетерогенных структурах автомобильных дорог при их динамическом нагружении колесами движущегося транспорта. Получены результаты математических расчетов влияния геометрии гетерогенной структуры на волновые процессы.
Загружаем данные из библиотечной системы...
Ключевые слова
+
СТРУКТУРНО-ФАЗОВОЕ СОСТОЯНИЕ И МЕХАНИЧЕСКИЕ СВОЙСТВА МАТЕРИАЛА ЛОПАТКИ ТУРБИНЫ ВЫСОКОГО ДАВЛЕНИЯ ПОСЛЕ РАЗРУШЕНИЯ
стр.160-166
Тарасенко Юрий Павлович, Бердник Ольга Борисовна, Царева Ирина Николаевна
Исследованы рабочие лопатки турбины высокого давления газоперекачивающего агрегата после его аварийной остановки. Определены причины разрушения рабочих лопаток на основании комплексного исследования микроструктуры и механических свойств.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ПОВЫШЕНИЕ КАЧЕСТВЕННЫХ ХАРАКТЕРИСТИК ПОВЕРХНОСТИ ПРИ ПРОФИЛЬНОМ АЛМАЗНОМ ШЛИФОВАНИИ
стр.167-174
Зверовщиков Владимир Зиновьевич, Соколов Алексей Владимирович
Предложен новый способ повышения размерной стойкости профильных алмазных шлифовальных кругов на металлических связках и разработана эффективная технология врезного шлифования деталей алмазными кругами с электроэрозионной стабилизацией рельефа рабочей поверхности инструмента. Определены параметры электрических импульсов, повышающие эффективность электроэрозионного шлифования.
Загружаем данные из библиотечной системы...
Ключевые слова
+
СНИЖЕНИЕ НЕУРАВНОВЕШЕННОСТИ СТАЛЬНЫХ КОЛЕС ПУТЕМ ПРИМЕНЕНИЯ ПРОСТРАНСТВЕННО-ОРИЕНТИРОВАННОЙ СБОРКИ
стр.175-185
Артемов Игорь Иосифович, Кочкин Сергей Вячеславович, Кожевников Вячеслав Владимирович
Рассмотрен способ сборки стальных колес, учитывающий статическую неуравновешенность обода и диска, предложен числовой метод расчета динамической неуравновешенности ободьев и дисков с помощью трехмерного моделирования, предложена конструкция устройства для определения дисбаланса, а также приведены результаты экспериментального подтверждения эффективности предлагаемой сборки.
Загружаем данные из библиотечной системы...
Ключевые слова
