Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Семафор

Предмет Железнодорожный транспорт
👍 Проверено Автор24

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

Научные статьи на тему «Семафор»

История кодирования информации

В 1791 году учёный Клод Шапп предложил использовать оптический семафор-телеграф....
В нём разные положения планки семафора кодировали буквы алфавита. Рисунок 1....
Оптический семафор К Шаппа и его телеграфный алфавит.

Статья от экспертов

Трассировка семафоров средствами ядра

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

Научный журнал

Разделяемая память и семафоры

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

Статья от экспертов

Статический поиск ошибок повторной блокировки семафора

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

Научный журнал

Еще термины по предмету «Железнодорожный транспорт»

Автоматический тормоз

устройство, обеспечивающее автоматическую остановку поезда при разъединении или разрыве воздухопроводной магистрали и (или) при открытии крана экстренного торможения (стоп-крана).

🌟 Рекомендуем тебе

Балльная оценка пути

система оценок в условных штрафных баллах состояния рельсовой колеи.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot