О МАТРИЧНО-ГРАФОВОМ МЕТОДЕ ПРЕДСТАВЛЕНИЯ СЛОЖНЫХ ВРЕМЕННЫХ ДИАГРАММ УСКОРИТЕЛЬНЫХ КОМПЛЕКСОВ
Г.А. Фатькин1,2, М.А. Литвинцева1,2 1Новосибирский государственный университет, Новосибирск, Россия george.fatkin@gmail.com 2ООО «Бюро Ф», Новосибирск, Россия mashlitvmash@gmail.com
Ключевые слова: синхронизация, системы линейных уравнений, программное обеспечение, временная диаграмма, граф
Страницы: 93-101
Аннотация
Предложен метод, позволяющий представлять временны́е диаграммы, которые описывают работу крупных физических установок в виде системы линейных уравнений и графов. Ограничения для таких диаграмм описываются системами линейных неравенств. Представленный метод позволяет удобно модифицировать и верифицировать сложные временны́е диаграммы. Рассматривается программное обеспечение, построенное на основе этого метода, которое в настоящий момент используется для задания и редактирования временно́й диаграммы из более чем 2000 событий на крупном ускорительном комплексе.
Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее