例句與造句

1. for instance, the processing for the task type might format the task steps as checkable boxes
   比方說，任務類型的處理程序可以將任務步驟格式化成檢查框。
2. as these examples have shown, assertions and unit tests are powerful ways to avoid fictitious implementations, providing checkable specifications for an interface
   如這些示例所示，斷言和單元測試為接口提供了可檢查規(guī)范，是避免臆想實現(xiàn)的高效方法。
3. thus, the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained, such as precision and machine-checkable proofs
   由此,邏輯框架的復雜性就被隱藏起來了,同時我們還保留了精確性和機器驗證等使用類型理論系統(tǒng)及其相關(guān)工具的優(yōu)點。
4. a machine checkable logic of knowledge for specifying security properties of electronic commerce protocols . in proc . 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols, indianapolis, indiana, june 21-24, 1998, http : citeseer . ist . psu . edu clarke98machine . html
   為了驗證更多的性質(zhì),我們的公理集中加入了一些新的特性,如動態(tài)性,使我們可以推導協(xié)議的每個執(zhí)行步所得到的知識還有秘密性,我們在公理中加入那些處理智能體間共享秘密的公理
5. our condition and estimate are formulated in terms of the network parameters, the neurons ’ activation functions and the associated equilibrium point . hence, they are easily checkable . it is believed that these results are significant and useful for the design and applications of the delayed hopfield neural networks
   這些條件和估計的公式是由網(wǎng)絡參數(shù)、神經(jīng)元激活函數(shù)以及相應的平衡點構(gòu)成,所以它們很容易使用,相信這些結(jié)果對于帶時間延遲的hopfield神經(jīng)網(wǎng)絡的設計和應用具有一定的重要性和使用價值。
6. It's difficult to find checkable in a sentence. 用checkable造句挺難的