常見例句雙語例句Among other things, types are used to check consistency in a programming language.在程序設(shè)計中,類型被用來檢查程序設(shè)計語言的一致性。To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.在檢驗UML模型一致性時,把一致性檢驗問題轉(zhuǎn)化為邏輯定理證明問題。Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.由于DEM能將控制流、數(shù)據(jù)流和時間有效地集成為一體,故提出的檢測方法能檢測嵌入式實時系統(tǒng)的軟件需求的一致性和完全性。權(quán)威例句On the other hand, answers to surveys are inevitably subjective (although the authors have taken trouble to check them, where possible, for consistency with other more objective measures).ECONOMIST: Working man’s burden The 返回 check consistency