microcomputer interlocking 中文意思是什麼
-
The fault tree analysis is applied to analyze three choose two railway signal microcomputer interlocking system, and the model of the three choose two is established
摘要利用故障樹分析法對三取二鐵路信號計算機聯鎖系統進行分析，建立三取二模型的故障樹。 -
This paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology. according to requirement of the interlocking software " s reliability and safety. considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system
本論文針對合肥工大微型計算機應用研究所研究開發的hj04a鐵路信號計算機聯鎖系統，根據計算機聯鎖系統聯鎖軟體設計可靠性和安全性要求，從軟體的需求分析著手，綜合uml統一建模語言方法和形式化描述語言z語言的方法，設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。
分享友人