Агрегатный метод ремонта железнодорожного подвижного состава
обезличенный метод ремонта железнодорожного подвижного состава, при котором неисправные агрегаты заменяются новыми или заранее отремонтированными.
стационарный механический сигнальный прибор, применяемый на железных дорогах, оборудованных полуавтоматической блокировкой, жезловой системой и централизацией стрелок и сигналов.
В 1791 году учёный Клод Шапп предложил использовать оптический семафор-телеграф....
В нём разные положения планки семафора кодировали буквы алфавита.
Рисунок 1....
Оптический семафор К Шаппа и его телеграфный алфавит.
Данная работа посвящена системе, позволяющей проводить трассировку состояний семафоров в операционной системе Linux. Была изучена подсистема межпроцессорного взаимодействия ОС Linux и способы трассировки ядра.
Определение 1
Разделяемая память и семафоры — это участок оперативной памяти, которая выделяется...
Для того чтобы синхронизировать такие взаимодействия процессов существовал общий механизм семафоров,...
Разделяемая память и семафоры
Пакет средств IPC имеет в своем составе следующие компоненты:
Средства...
процессов при доступе к совместно используемым ресурсам, таким как, разделяемая память, а именно, это семафоры...
которой описывают все существующие в данный момент представители механизма, то есть, конкретные сегменты, семафоры
В статье описывается алгоритм статического поиска ошибки повторной блокировки семафоров, позволяющий выдавать предупреждения с низким уровнем ложных срабатываний. Поиск ошибок рассмотрен для абстрактной библиотеки, включающей функции блокировки семафора, разблокировки семафора и условной блокировки семафора. Определено множество регулярных языков, моделирующих блокировки и разблокировки при конкретном исполнении программы. Определён домен, аппроксимирующий множество регулярных языков. Алгоритм реализован в терминах анализа потока данных. При анализе элементы домена используются в качестве свойств потока данных. Алгоритм описан для программы с одним семафором и без алиасов. В этом случае каждое выданное предупреждение должно соответствовать ошибке при конкретном выполнении. Алгоритм реализован в системе статического анализа Svace, разрабатываемой в Институте системного программирования Российской академии наук. Svace осуществляет анализ алиасов и сопоставление формальных и фактически...
обезличенный метод ремонта железнодорожного подвижного состава, при котором неисправные агрегаты заменяются новыми или заранее отремонтированными.
расстояние между направляющими сечениями железнодорожного подвижного состава.
дата начала разработки проекта по созданию и эксплуатации железнодорожного подвижного состава, принимаемая для прогнозирования стоимости жизненного цикла или оценки его действительной стоимости.