logic analysis system 逻辑分析系统
Sequence diagrams model the flow of logic within your system in a visual manner, enabling you to both document and validate your logic, and are commonly used for both analysis and design purposes.
序列图以可视方式为系统中逻辑的流程建模,能够让您记载和验证逻辑,这通常用于分析和设计目的。
Current search of hydraulic system failure of traditional method is logic analysis to approach the diagnosis.
目前查找液压系统故障的传统方法是逻辑分析逐步逼近诊断。
But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证,是一个最有前途的研究方法。
应用推荐