Информатика, вычислительная техника ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ ПОВОЛЖСКИЙ РЕГИОН ТЕХНИЧЕСКИЕ НАУКИ № 3 (19) СОДЕРЖАНИЕ ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ Вашкевич Н. П., Бикташев Р. А., Меркурьев А. И. <...> Анализ базы данных с применением алгебры кортежей . <...> Верификация приложений IEC 61499 на основе метода Model Checking . <...> Разработка многопоточной модели программного обеспечения экспертной системы авиационных радиолокационных комплексов . <...> Классификация измерительных преобразователей информации непрерывно-дискретной системы гетерогенной структуры . <...> Способы измерения параметров пассивного комплексного двухполюсника многополюсной электрической цепи типа «треугольник» . <...> Экспериментальная установка для флуктуационных диэлектрических измерений . <...> Теоретическое исследование методом автономных блоков волновых процессов в гетерогенных структурах при динамических нагружениях . <...> Снижение неуравновешенности стальных колес путем применения пространственно-ориентированной сборки . <...> Представлены результаты исследований по аппаратно-программной реализации функции диспетчеризации многопроцессорных операционных систем с глобальной очередью задач, а также формальное описание алгоритмов синхронизации взаимодействующих процессов при диспетчеризации задач на основе аппарата недетерминированных автоматов. <...> Формализация алгоритма синхронизации процессов при диспетчеризации задач в многопроцессорных системах В самом общем виде алгоритм синхронизации процессов при диспетчеризации задач выглядит следующим образом. <...> Весь алгоритм работы диспетчера содержит три части: клиентскую (постановка задачи в очередь), серверную (обслуживание процессорами) и «рандеву» (наличие задачи и готовность одного из процессоров к обслуживанию этой задачи). <...> Таблица 1 Обозначение события t SI SFQ t t SGPj pj SZPj t SQ t SPZ S pj S SS p SPT pj pj SSL pj SA Описание частного события Сигналы на схемах 1 2 3 Поступление задачи извне В очереди <...>
Известия_высших_учебных_заведений._Поволжский_регион._Технические_науки_№3_2014.pdf
№ 3 (19), 2011
Технические науки. Информатика, вычислительная техника
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
ПОВОЛЖСКИЙ РЕГИОН
ТЕХНИЧЕСКИЕ НАУКИ
№ 3 (19)
СОДЕРЖАНИЕ
ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
Вашкевич Н. П., Бикташев Р. А., Меркурьев А. И. Аппаратная поддержка
диспетчера задач с глобальной очередью в многопроцессорных системах ....... 3
Годунов А. И., Кемалов Б. К., Юрков Н. К. Обеспечение комплексной
адекватности авиационных тренажеров .............................................................. 15
Белов В. Н., Макарычев П. П. Анализ базы данных
с применением алгебры кортежей ........................................................................ 25
Кольчугина Е. А. Сосуществование групп
в составе сообщества программных агентов ....................................................... 37
Дубинин В. Н., Вяткин В. В. Верификация приложений IEC 61499
на основе метода Model Checking ......................................................................... 44
Пащенко Д. В., Трокоз Д. А. Разработка многопоточной модели
программного обеспечения экспертной системы
авиационных радиолокационных комплексов .................................................... 56
Федотов Н. Г., Петренко А. Г., Рой А. В., Фионов Н. С. Поиск
изображения человеческого лица по фотороботу в большой базе данных ...... 65
Потапов И. В., Романенко В. А. Синтез оптимального управления
трансферными авиаперевозками методами математического
программирования ................................................................................................. 75
Суровицкая Г. В., Шитов Д. В., Комиссарова Т. Б. Программно-сервисные
средства управления документацией системы менеджмента
качества университета ........................................................................................... 87
ЭЛЕКТРОНИКА, ИЗМЕРИТЕЛЬНАЯ ТЕХНИКА
И РАДИОТЕХНИКА
Ашанин В. Н. Классификация измерительных преобразователей
информации непрерывно-дискретной системы гетерогенной структуры ........ 98
Чайковский В. С., Светлов А. В. Методика определения
плотности вероятности размаха шума операционных усилителей ................. 105
1
2011
Стр.1
Известия высших учебных заведений. Поволжский регион
Шаронов Г. И., Шаманов Р. С. Способы измерения параметров
пассивного комплексного двухполюсника многополюсной
электрической цепи типа «треугольник» ........................................................... 115
Тутушкин В. И., Фандеев В. П. Методический подход к выбору
диагностического параметра для прогнозирования технического
состояния электронных приборов и аппаратуры ............................................... 124
Лунев И. В., Сараев Д. В., Каргин Р. В., Гончаров А. В. Экспериментальная
установка для флуктуационных диэлектрических измерений ........................ 133
МАШИНОСТРОЕНИЕ И МАШИНОВЕДЕНИЕ
Волчихин В. И., Литвинов А. Н. Моделирование динамических
процессов контактных систем приборов ............................................................ 140
Волчихин В. И., Артамонов Д. В., Чиркина М. А. Теоретическое
исследование методом автономных блоков волновых процессов
в гетерогенных структурах при динамических нагружениях ........................... 153
Тарасенко Ю. П., Бердник О. Б., Царева И. Н. Структурно-фазовое
состояние и механические свойства материала лопатки турбины
высокого давления после разрушения ................................................................ 160
Зверовщиков В. З., Соколов А. В. Повышение качественных
характеристик поверхности при профильном алмазном шлифовании ........... 167
Артемов И. И., Кочкин С. В., Кожевников В. В. Снижение
неуравновешенности стальных колес путем применения
пространственно-ориентированной сборки ....................................................... 175
2
Стр.2