微型计算机应用 meaning in English

microcomputer application

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语言的方法，设计出完全的、一致的、无冗余的、无歧义的、符合系统要求的联锁软件规格说明书。