Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 638282)
Контекстум
Электро-2024
  Расширенный поиск

.АРХИВ СТАТЕЙ

← назад
Все " ( . ? [ « 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я
Результаты поиска

Нашлось результатов: 790

Свободный доступ
Ограниченный доступ
301

ФИЛОСОФСКИЕ ПРЕДПОСЫЛКИ КОНСЕРВАТИЗМА

В статье рассматриваются философские основания консервативной мысли. Статья содержит краткую информацию о британском консерватизме и его особенностях, а также историю формирования теоретико-методологического фундамента консерватизма.

303

ФИЛОСОФИЯ ОБРАЗОВАНИЯ КАК ФИЛОСОФИЯ СОВРЕМЕННОСТИ

Современная философия должна быть философией современности. В процес- се глобализации возникает общество образования, информационное общество, постиндустриальное общество, общество, основанное на знаниях. Важнейшим фактором построения таких обществ является высшее профессиональное обра- зование. Из абстрактной ценности эпохи модерна образование становится объек- том государственной политики. Важнейшим фактором его развития становится бюджетное финансирование, частные и корпоративные инвестиции, образова- тельные кредиты.

304

ФИЛОСОФИЯ НОВОЙ ДУХОВНОСТИ: ТВОРЧЕСКИЙ МАНИФЕСТ НИКОЛАЯ БЕРДЯЕВА

Николай Бердяев, выдающийся русский интеллектуал, вошел в историю ми- ровой мысли как автор метафизики творчества, основанием которой выступает свобода. Неортодоксальная трактовка реальности Духа и человеческой свобо- ды стала своеобразным манифестом религиозного экзистенциализма. В статье анализируются социальные и метафизические проекции философии творчества Н.А. Бердяева в контексте европейской и русской философских традиций.

307

Фаталист

Автор: Мейер Георгий

Статья посвящена творчеству М.Ю. Лермонтова. Тема предопределения или фатума слилась у Лермонтова с его таинственной способностью предугадывать свою судьбу. Автор статьи проводит анализ произведений Лермонтова с точки зрения предвидения им своего будущего.

308

Философия "как будто бы"

Автор: Филиппов

После второй мировой войны в Германии становится очень популярной философия Г. Файгингера. Его относят без преувеличения к "властителям дум". Его философия претендовала вытеснение идеалистической системы и определение ее реальности. В статье описано формирование и путь становления философии Файгингера.

309

ФЕНОМЕН ОПЕРЫ-ЯНГЭ В КИТАЙСКОМ МУЗЫКАЛЬНОМ ТЕАТРЕ ХХ ВЕКА

Опера-янгэ, возникшая на основе народных песенно-танцевальных традиций, сыграла значительную роль в развитии китайского музыкально- го театра ХХ века. Автор определяет хронологию, типологию оперы-янгэ, а также выявляет художественные особенности этого самобытного жанра.

311

Формирование готовности современного морского инженера к защите информации на основе методологии дифференциально-интегрального системного подхода

Описан опыт разработки такой системы морского инженера в области информаци-онной безопасности, структура которой интегрируется его готовностью к данному виду деятельности целостной профессиональной компетенцией. Поэтому модель готовности - сложное целостное динамическое профессиональное свойство, рассматриваемое как педаго-гическая цель в системе профессионального образования современных морских специалистов всех категорий.

312

Формирование лингвокультурных компетенций специалистов-филологов при изучении русских пословиц и поговорок

Пословицы и поговорки являются единицами культурного кода, источником изучения языковой картины мира. Рассмотрение механизмов взаимодействия культурной и языковой семантики в пословицах и поговорках позволяет формировать дополнительные лингвокультурные компетенции специалистов – филологов

313

Физические методы исследования как фактор эффективности экспериментальной подготовки аспирантов технического профиля

Описана роль физических методов исследования в экспериментальной подготовке аспирантов технического профиля. Приводится пример исследовательской работы в аспирантуре в ходе разработки приборных структур

314

Формула Харди — Рамануджана и термодинамика квантовой струны

Автор: Шишанин
Изд-во МГТУ им. Н.Э. Баумана: М.

Проведено сравнение асимптотической формулы Харди — Рамануджана для разбиений натуральных чисел с числом микросостояний путем вычисления энтропии квантовой труны через формулу Эйлера — Маклорена. Кратко рассмотрен другой подход, использующий подсчет числа состояний через обратное преобразование Лапласа татистической суммы.

315

Фильтр Калмана в задаче наведения

Автор: Журавлев
Изд-во МГТУ им. Н.Э. Баумана: М.

Изучается простейшая кинематическая модель системы самонаведения для встречно-догонных режимов. Маневр цели моделируется стационарно-коррелированным случайным процессом. Для оценки координат фазового состояния кинематического звена, а именно угловой скорости линии визирования и нормального ускорения цели, применяется фильтр Калмана. Система дифференциальных уравнений Риккати для ковариаций ошибок ввиду нестационарности и нелинейности в замкнутом виде не поддается исследованию, однако в трех специальных случаях найдено замкнутое решение ее графическим или аналитическим способом. Указывается на необходимость имитационного моделирования с целью установления рамок применимости олученных в работе результатов.

316

ФУНКЦИЯ ТРАДИЦИОННЫХ ИНСТРУМЕНТОВ В НОВОЙ КИТАЙСКОЙ МУЗЫКЕ

Автор: Дай Юй,

Функция традиционного инструментария в музыкальной культуре Китая интересна и многогранна. В статье представлена краткая история раз- вития некоторых инструментов и обосновано возобновление интереса к ним в Новой музыке (период последних тридцати лет).

317

Функции выживаемости в когортах мужчин 40-59 лет в зависимости от наличия артериальной гипертонии и/ или перенесенного инфаркта миокарда при различных концентрациях холестерина липопротеинов высокой плотности (по данным 30-летнего наблюдения)

Автор: Белов В. В.

Характеристики функций 30-летней выживаемости в изученных когортах мужчин 40-59 лет с увеличением уровня ХС ЛВП демонстрируют гетерогенность по началу, окончанию, длитель- ности периодов достоверных различий кривых дожития. Установлено влияние исходных концентраций ХС ЛВП на функции 30-летней выживаемости среди мужчин независимо от статуса ССЗ. Характер влияния уровня ХС ЛВП на выживаемость в течение 30-летнего пери- ода зависит от статуса ССЗ и периодов наблюдения.

318

Физические свойства стоячих волн в невзаимных средах и структурах

Автор: Глущенко А.Г.

Рассмотрены особенности интерференции прямых и обратных волн в невзаимных средах и структурах. Получено уравнение стоячей волны в невзаимных средах. Показано, что невзаимность параметров структур приводит к изменению параметров и характера стоячих волн, в частности, нарушается синфазность колебаний в разнесенных точках пространства, расположенных между узлами.

319

Фотолюминесценция ароматических соединений при возбуждении ультрафиолетовым светодиодом

Автор: Бойко
Изд-во МГТУ им. Н.Э. Баумана: М.

Зарегистрированы спектры фотолюминесценции ароматических соединений при возбуждении светодиодом ультрафиолетового излучения с длиной волны 280 нм. Установлено, что спектр фотолюминесценции таких соединений имеет вид полос, расположенных в области длин волн 290…550 нм, характерной для ароматических соединений. Наблюдается возбуждение синглетных уровней ароматических молекул, расположенных вблизи края поглощения ароматических соединений.

320

Формирование индекса для поиска похожих изображений транспортных средств

Автор: Федотов
Изд-во МГТУ им. Н.Э. Баумана: М.

Приведен анализ существующих алгоритмов формирования устойчивых хешей изображений. Предложен алгоритм по формированию индекса для поиска похожих изображений транспортных средств (ТС) на основе найденных особых точек с помощью модифицированного алгоритма SIFT. Для выделения ограничивающего прямоугольника ТС описывается алгоритм, основанный на использовании оси симметрии. Отражены результаты проведенных экспериментов при поиске визуально похожих изображений на основе реальных фотографий ТС. Полученные экспериментальные результаты показывают возможность практического применения предложенного алгоритма в системах идентификации ТС на основе распознавания государственных регистрационных знаков. Предлагаемый алгоритм применим для поиска похожих ТС.

321

Формализация оптимизирующих преобразований алгоритмов на графах и множествах

Автор: Овчинников
Изд-во МГТУ им. Н.Э. Баумана: М.

Объектом исследования настоящей работы являются способы снижения вычислительной сложности комбинаторно-оптимизационных алгоритмов на графах и множествах. Определено понятие «оптимизирующие преобразования алгоритмов». Обоснована целесообразность их формализации для автоматической трансформации описания алгоритмов. Приведены результаты анализа способов снижения вычислительной сложности, характеризующие возможность их формализации. Указаны этапы реализации способа снижения вычислительной сложности алгоритма, определена структура оптимизирующего преобразования и последовательность действий над алгоритмом, необходимых для его автоматической трансформации. Выполнена формализация ряда контекстно свободных и контекстно зависимых оптимизирующих преобразований в виде синтаксического описания заменяемого и заменяющего фрагментов и правила трансформации. Указаны источники и способы получения данных для выполнения оптимизирующих преобразований, охарактеризована сложность их реализации.

322

Формальный логический анализ корректности спецификаций сетевых SIP-протоколов

Автор: Девятков
Изд-во МГТУ им. Н.Э. Баумана: М.

В статье для проверки правильности и корректности описания SIP-спецификаций (Session Initiation Protocol) в отличие от известных работ предлагается использовать значительно более выразительный, хорошо структурированный и как формальная система более развитой вариант языка, основанный на моделях взаимодействующих последовательностных процессов. Спецификации должны удовлетворять определенным свойствам, которые описываются на языке временной модальной логики. Поиск ошибок предлагается осуществлять не с помощью генерации трасс, а с помощью доказательства наличия указанных формальных свойств. Ошибкой предлагается считать отсутствие таких свойств. Процессные модели позволяют гораздо более четко и полно классифицировать и описывать типы ошибок. В качестве инструментария для поиска ошибок предлагается использовать язык логического программирования ПРОЛОГ, что является гораздо более изящным и не имеющим ограничений подходом к проверке правильности и корректности спецификаций.

323

Фазовые скорости бегущих волн в цилиндрической оболочке при конечной и бесконечной жесткости поперечного сдвига

Автор: Каледин
Изд-во МГТУ им. Н.Э. Баумана: М.

Получено аналитическое решение задачи расчета фазовых скоростей бегущих волн на поверхности цилиндрической оболочки, одна из кромок которой закреплена, а на вторую действует возмущающая погонная сила. Проанализировано влияние выбора кинематической гипотезы на результаты расчета фазовых скоростей.

324

Фемтосекундный волоконный лазер с гибридной синхронизацией мод фемтосекундного делителя частоты

Автор: Лазарев
Изд-во МГТУ им. Н.Э. Баумана: М.

Предложен фемтосекундный волоконный лазер для реализации фемтосекундного делителя частоты с целью переноса стабильности частоты от оптического стандарта. Рассмотрен один из вариантов реализации такого лазера с пленками на основе одностенных углеродных нанотрубок для синхронизации мод. Предложена схема самозапускающейся генерации со стабильной синхронизацией мод и соответствующим контролем состояния поляризации.

325

Форма свободной поверхности жидкости, находящейся в равновесии со своей а-пленкой

Автор: Романов
Изд-во МГТУ им. Н.Э. Баумана: М.

Рассмотрен подход к непротиворечивому описанию смачивания при растекании капельной жидкости вдоль твердой поверхности с учетом дополнительного химического потенциала (расклинивающего давления) для частиц жидкости в ее тонких слоях вблизи линии трехфазного контакта.

326

Формализация процесса функционирования сложных дискретных устройств на базе макромоделей функциональных блоков

Автор: Рудаков
Изд-во МГТУ им. Н.Э. Баумана: М.

В статье рассматривается вопрос иерархического моделирования сложных дискретных систем с использованием макромоделей устройств на уровне функциональных блоков для анализа и контроля правильности их функционирования на ранних этапах разработки и проектирования. Приведена макромодель функционального блока сложной дискретной структуры, формализованная логической последовательностной схемой.

327

Формирование представлений о будущей специальности у студентов младших курсов в рамках дисциплины «Введение в специальность»

Автор: Зарубин
Изд-во МГТУ им. Н.Э. Баумана: М.

Рассмотрены вопросы преподавания курса «Введение в специальность», знакомящего студентов со сферой их будущей профессиональной деятельности. Предлагаемая тематика лекций направлена на расширение кругозора и повышение уровня общей эрудиции обучающихся, что способствует более качественному и осмысленному освоению профессиональных дисциплин и усилению мотивации к дальнейшему обучению.

328

Формулы векторного анализа в бесконечномерных пространствах

Автор: Пугачeв
Изд-во МГТУ им. Н.Э. Баумана: М.

В работе получены классические формулы теории поля для случая поверхностей, «гладких» в обобщенном смысле: формула Остроградского — Гаусса, первая формула Грина. При этом используются соболевские классы функций и связанные с ними емкости. Эти результаты являются новыми как в бесконечномерных, так и в конечномерных пространствах.

329

Формирование требований к сертификационным испытаниям DLP-систем по требованиям безопасности информации

Автор: Барабанов
Изд-во МГТУ им. Н.Э. Баумана: М.

Представлен подход к формированию требований и формальных методик сертификационных испытаний DLP-систем на основе стандарта ИСО 15408.

330

ФУНКЦИЯ РАССЕЯНИЯ ГОЛОГРАММНОЙ СТЕРЕОГРАММЫ

Автор: Жердев
Изд-во МГТУ им. Н.Э. Баумана: М.

Проведено математическое моделирование процесса преобразования сигнала голограммным оптическим элементом (ГОЭ) голограммной стереограммы. Получены выражения для функции рассеяния ГОЭ в плоскости наблюдения. Проанализированы ограничения и перспективы развития голограммной стереографии в области художественных и защитных технологий.

331

ФУНКЦИЯ РАСПРЕДЕЛЕНИЯ СКОРОСТЕЙ БРОУНОВСКОЙ ЧАСТИЦЫ В СРЕДЕ С ФЛУКТУИРУЮЩИМ КОЭФФИЦИЕНТОМ ВЯЗКОГО ТРЕНИЯ

Автор: Морозов
Изд-во МГТУ им. Н.Э. Баумана: М.

Получена функция распределения флуктуаций скорости броуновской частицы с учетом случайных гауссовых изменений коэффициента вязкого трения. Показано, что эта функция распределения в предельных случаях совпадает с распределениями Коши и Максвелла.

332

ФРОД И УГРОЗЫ В СЕТИ IP-ТЕЛЕФОНИИ ПО ПРОТОКОЛУ SIP

Автор: Матвеев
Изд-во МГТУ им. Н.Э. Баумана: М.

Рассмотрены формы фрода, которые являются основными для действующих технологий сетей связи с точки зрения наибольших потерь дохода провайдера. Показана актуальность угроз фрода на сети SIP Российской Федерации. Проведен анализ угроз фрода на сети SIP, установленной на сети связи общего пользования Российской Федерации, предусмотренных механизмов защиты от них, а также некоторые формы фрода и угрозы фрода, которые являются основными для действующей в нашей стране технологии сети VoIP по протоколу SIP.

333

ФУНКЦИОНАЛЬНЫЕ ПОДСИСТЕМЫ И ЭЛЕМЕНТЫ АВТОМАТИЧЕСКОЙ СИСТЕМЫ ПАСПОРТНОГО КОНТРОЛЯ ДЛЯ ПУНКТОВ ПРОПУСКА ЧЕРЕЗ ГОСУДАРСТВЕННУЮ ГРАНИЦУ РОССИЙСКОЙ ФЕДЕРАЦИИ

Автор: Копылов
Изд-во МГТУ им. Н.Э. Баумана: М.

Определены функции и рассмотрены особенности построения автоматической системы паспортного контроля для пунктов пропуска.

334

Фотомагнитный эффект в квантовой проволоке с одномерной сверхрешеткой из потенциалов нулевого радиуса

Автор: Кревчик
ПРОМЕДИА: М.

Эффект фотонного увлечения несет ценную информацию о зонной структуре и механизмах релаксации импульса носителей заряда в полупроводниковых низкоразмерных системах. С точки зрения приборных приложений этот эффект может быть использован для создания детекторов лазерного излучения на основе наноструктур, которые представляют широкие возможности управления как зонным спектром, так и примесными состояниями (локализованными и резонансными). Цель данной работы состоит в теоретическом исследовании особенностей эффекта фотонного увлечения электронов, связанных с наличием примесной зоны, образованной резонансными состояниями электрона в поле регулярной цепочки D{0}-центров в квантовой проволоке при наличии внешнего продольного магнитного поля.

335

Фотолюминисценция квантовой молекулы с резонансным u-состояниемD{-}[2]-центра во внешнем электрическом поле при наличии диссипативного туннелирования

Автор: Кревчик
ПРОМЕДИА: М.

В модели потенциала нулевого радиуса исследовано влияние внешнего электрического поля на фотолюминесценцию квантовой молекулы, связанную с излучательным переходом электрона с резонансного u-состояния на g-терм D{-}[2]-центра при наличии диссипативного туннелирования. Показано, что вероятность фотолюминесценции возрастает примерно на два порядка при напряженности внешнего электрического поля, для которой исходно ассиметричный двухъямный осцилляторный потенциал, моделирующий квантовую молекулу, становится симметричным. Выявлена высокая чувствительность вероятности фотолюминесценции к таким параметрам диссипативного туннелирования, как температура, частота фотонной моды и константы взаимодействия с контактной средой.

336

Фотовозбуждение примесных молекулярных ионов D{-}[2] в структурах с квантовыми точками при наличии внешних электрического и магнитного полей

Автор: Кревчик
ПРОМЕДИА: М.

Теоретически исследован процесс фотовозбуждения примесных молекулярных ионов D{-}[2] в квазинульмерной структуре с учетом дисперсии радиуса квантовых точек в условиях внешних электрического и магнитного полей. Выявлен дихроизм примесного электрооптического поглощения, связанный с электронной поляризацией D{-}[2] - центра. Показано, что в магнитном поле имеет место "синий" сдвиг края полосы фотовозбуждения, обусловленный динамикой термов.

337

Фотодиэлектрический эффект, связанный с возбуждением комплекса А {+} + e в квазинульмерных структурах

Автор: Кревчик
ПРОМЕДИА: М.

Теоретически исследован фотодиэлектрический эффект, связанный с возбуждением примесных комплексов A {+} +e в квазинульмерной структуре. В адиабатическом приближении с учетом дисперсии радиуса квантовых точек получено выражение для спектральной зависимости изменения диэлектрической проницаемости. Показано, что поляризуемость комплекса A {+} +e в дипольном приближении определяется средним радиусом квантовых точек и энергией связи дырки локализованной на A {0}-центре. Найдено, что изменение диэлектрической проницаемости наиболее существенно в случае круговой поляризации света. Проанализирована возможность использования фотодиэлектрического эффекта в качестве эффективного механизма воздействия ИК-излучения на распространения субмиллиметровых волн в полупроводниковых структурах.

338

Фильтрационные волны давления при неравновесном законе фильтрации

Автор: Куштанова
ПРОМЕДИА: М.

Рассматривается периодическое гидродинамическое возмущение в пористом пласте, когда движение жидкости подчиняется неравновесному закону фильтрации. Определен вклад временных параметров в релаксационные процессы. Отмечены экстремумы амплитуды давления при прохождении границы областей с различными гидропроводностями через точку наблюдения.

339

Формирование результата измерения в условиях неопределенности

Автор: Ординарцева
ПРОМЕДИА: М.

Проанализирована ситуация с формированием результата измерений и оценкой неопределенности в контексте международных норм и соглашений.

340

Фильтрация речевых сигналов с использованием метода множественной декомпозиции и оценки энергии эмпирических мод

Автор: Алимурадов
ПРОМЕДИА: М.

Показано, что эффективность обработки речевых сигналов напрямую зависит от качества устранения помех. Предложено для подавления помех в речевых сигналах использовать метод множественной декомпозиции на эмпирические моды. Разработан алгоритм помехоподавления, основанный на оценке значений энергии отдельных эмпирических мод и их удалении.

341

Формирование комплексного подхода к разработке прецизионных аналого-цифровых преобразователей для информационно-измерительных систем ракетно-космической техники

ПРОМЕДИА: М.

Проведен анализ прецизионных аналого-цифровых преобразователей, показаны основные достоинства, недостатки и проблемы их использования. Обоснован комплексный подход к разработке, который позволяет получать эффективные решения задачи синтеза прецизионных аналого-цифровых преобразователей для информационно-измерительных систем ракетно-космической техники.

342

Формализация моделей выполнения функциональных блоков IEC 61499

Автор: Дубинин
ПРОМЕДИА: М.

Рассматривается формализованное представление моделей выполнения функциональных блоков международного стандарта IEC 61499 на основе функций возбуждения функциональных блоков, построенных с использованием предикатов и функций времени выполнения. Предлагается расширенный набор моделей выполнения функциональных блоков, включающий как традиционные модели, так и нетрадиционные. Освещаются вопросы обработки входных событий в моделях выполнения.

343

Финишная обработка сменных многогранных пластин с центральными отверстиями

ПРОМЕДИА: М.

Разработана модель вибрационной обработки сменных многогранных пластин режущего инструмента с центральными отверстиями при использовании кассетного барабана, свободно размещенного в рабочей камере. Получены зависимости, позволяющие определять время обработки для получения требуемого радиуса округления режущих кромок сменных многогранных пластин при соответствующих режимах и условиях вибрационной обработки или задавать эти параметры для конкретного станка, обеспечивая минимальное время обработки.

344

Формирование крутящего момента в гибридных и комбинированных силовых агрегатах

Автор: Грабовский
ПРОМЕДИА: М.

Представлены теоретические и экспериментальные исследования возможных вариантов формирования крутящего момента в гибридных и комбинированных силовых агрегатах с улучшенными экономическими и экологическими показателями.

345

Формальные представления эволюционно-генетических преобразований

Автор: Слепцов
ПРОМЕДИА: М.

Рассмотрены методы формально-математического описания эволюционных вычислений, обеспечивающие возможность прогнозирования влияния значений параметров эволюционных вычислений на результат эволюционного поиска. Представленные модели способствуют более глубокому пониманию динамики эволюционных вычислений и позволяют выделить некоторые специфичные свойства эволюционных процессов в целом.

346

Факторный анализ данных о состоянии образовательных услуг университета

Автор: Мещеряков
ПРОМЕДИА: М.

Представлены результаты компонентного и факторного анализа основных признаков деятельности университета на основе данных SWOT-анализа состояния его образовательных услуг. Выявлены обобщенные факторы, влияющие на специализацию образовательных услуг университета. Получено уравнение линейной регрессии, связывающее выявленные обобщенные факторы с одним из результатов деятельности университета.

347

Факторный анализ данных самооценки университета

Автор: Мещеряков
ПРОМЕДИА: М.

Поставлена и решена задача факторного анализа с использованием данных самооценки эффективности функционирования системы управления Пензенского государственного университета в области менеджмента качества. В результате подкритерии модели совершенствования деятельности отнесены к восьми укрупненным группам. На примере совершенствования системы мониторинга процессов университета показаны методологические преимущества полученных результатов для обеспечения принятия управленческих решений.

348

Функционально-структурная реализация интеллектуальных систем управления внешней памятью ЭВМ и сетей

Автор: Зинкин
ПРОМЕДИА: М.

Рассматривается архитектура интеллектуальных сетевых систем управления вычислительными запоминающими устройствами, построенная на основе моделей и методов согласования процессов. Выбранные модели и методы базируются на формализмах сценариев и сетей абстрактных машин, используемых при проектировании развитых систем управления внешней памятью ЭВМ. Рассматриваются также вопросы проектирования интеллектуальных систем внешней памяти ЭВМ на основе функционального подхода, учитывающего состав и взаимосвязь функций системы.

349

Формализация процесса распределения ответственности и полномочий между подразделениями и сотрудниками университета

Автор: Мещеряков
ПРОМЕДИА: М.

Осуществлена формализация процесса распределения ответственности и полномочий между подразделениями и сотрудниками университета в рамках системы менеджмента качества (СМК), на основе которой решается задача отыскания оптимального управления с привлечением математического аппарата метода динамического программирования.

350

Формальное описание алгоритма управления взаимодействующими параллельными процессами в задаче производители-потребители с использованием согласующего кольцевого буфера

Автор: Вашкевич
ПРОМЕДИА: М.

В статье рассматриваются вопросы формального описания алгоритма управления синхронизацией параллельных асинхронных процессов при обмене сообщениями в задаче производители-потребители с использованием согласующего кольцевого буфера. Рассматривается простой базовый вариант задачи, когда имеет место один производитель и один потребитель. Формальное описание алгоритма управления процессами базируется на использовании логики недетерминированных автоматов.

Страницы: 1 ... 5 6 7 8 9 ... 16