Thiết kế và xác minh an toàn cho hệ thống liên khóa máy tính trong đường sắt
Tác giả: Nguyễn Duy ViệtTóm tắt:
Khi thiết kế mới, nâng cấp một hệ thống điều khiển tín hiệu trong ga, đưa nó vào hoạt động điều khiển chạy tàu, việc xác minh tính đúng, tính an toàn của hệ thống liên khóa máy tính, hệ thống thành phần cốt lõi của hệ thống điều khiển tín hiệu trong ga là vấn đề cấp thiết, đặc biệt khi triển khai chúng ở các loại hình đường sắt ở Việt Nam. Phân tích các hoạt động chạy tàu trong ga sẽ đặt ra những quy trình công nghệ với sự tham gia của các yếu tố tạo nên những quy trình an toàn. Phân tích hoạt động của hệ thống điều khiển tín hiệu trong ga sẽ nhóm ra được các yếu tố, thiết bị liên quan tới tính đúng và tính an toàn của các tác nghiệp chạy tàu trong ga. Xây dựng sơ đồ thuật toán thực hiện tác nghiệp điều khiển chạy tàu của ga sẽ là cơ sở cho việc thiết kế, xây dựng hệ thống liên khóa máy tính. Đưa các yếu tố, thiết bị theo các nhóm đã được hình thành khi phân tích vào thuật toán sẽ đảm bảo sự tham gia cần thiết, đủ và hợp lý của chúng cho tác nghiệp chạy tàu hoạt động đúng và an toàn. Việc kiểm tra, xác minh tính đúng, tính an toàn sẽ được thực hiện, thực hiện tự động trên cơ sở các thuật toán này.
- Tác động của nguồn vốn hỗ trợ phát triển chính thức đến lượng khí thải CO2 tại các quốc gia Châu Á : tiếp cận theo ngưỡng đô thị hóa
- Tác động của thực hiện các yếu tố ESG tới hiệu quả hoạt động của ngân hàng thương mại tại khu vực châu Á
- Kinh nghiệm phát triển nền “kinh tế bạc” của Trung Quốc trong bối cảnh già hoá dân số và bài học cho Việt Nam
- Phát triển kinh tế tư nhân ở Việt Nam : đổi mới từ nhận thức đến thực tiễn
- Ứng dụng công nghệ chuỗi khối (Blockchain) trong đổi mới sáng tạo tài chính