邏輯斷言 的英文怎麼說
中文拼音 [luóduànyán]
邏輯斷言
英文
logical assertion- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 斷 : Ⅰ動詞1 (分成段) break; snap 2 (斷絕;隔斷) break off; cut off; stop 3 (戒除) give up; abstai...
- 言 : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
- 邏輯 : logic
- 斷言 : say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; asse...
-
Therefore, we can make such a discussion about kb that knowledge rule is framed by using temporal logic and using temporal logic assertion to infer. thus makes temporality as the unified symbol of rules which drive in kb
由此,針對知識庫,可以做一個這樣的探討:使用時態邏輯對知識規則進行構架,在知識庫內則用時態邏輯斷言進行推理,從而使得對知識庫的規則驅動有了一個統一的標志? ?時態。Benefit from designer experience, expert system regulations are built by c language. through the inference, all fixed logic fault and most multi - line short circuit fault are detected by expert system. on that account, the design process built by c language will be a mode that can be imitated by other intelligent fault diagnosis system
對于專家系統智能故障診斷技術而言,構建專四川大學碩士學位論文家系統規則庫和設計推理機制是重點,本文採用c語言構建規則庫,然後通過精心設計的專家推理機,從而使得固定邏輯故障和大多數多線橋接故障能夠被專家診斷系統檢測出來。Discusses assertion statements, how they work, the benefits of using them catching logic errors, checking results of an operation, and testing error conditions, their interaction with
討論斷言語句,包括它們的工作方式,使用它們的好處(捕捉邏輯錯誤、檢查操作的結果和測試錯誤情況) ,它們與Preventing common bugs with temporal logic assertions
用時態邏輯斷言防止常見錯誤Temporal logic can help make these assertions
時態邏輯可以幫助產生這些斷言。Assertions and temporal logic in java programming
Java編程中的斷言和時態邏輯This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一階謂詞演算和前後斷言方法,並且自定義了一個重構可靠性證明的邏輯推理系統:重構可靠性推演系統。Use assertions to catch logic errors in your code
使用斷言捕獲代碼中的邏輯錯誤。Listing 1 shows some examples of temporal logic assertions
清單1顯示了一些時態邏輯斷言示例:Then we ll take a look at a tool for processing temporal logic assertions
然後,我們將研究用於處理時態邏輯斷言的工具。Temporal logic assertions are also useful for diagnosing such errors in the first place
首先,時態邏輯斷言對于診斷此類錯誤也是有用的。In this article, we ve shown how to use temporal logic assertions to combat the following bug patterns
在本文中,我們展示了如何用時態邏輯斷言對付下列錯誤模式:You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the
查看temporal rover試用版(在運行時檢查時態邏輯斷言的工具) 。So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult
因此,在本例中,您可以根本不用時態邏輯斷言就能完成任務,但會困難得多。In fact, we can augment our efforts to eliminate some of the most common patterns of bugs through the use of such temporal logic assertions
實際上,可以通過使用此類時態邏輯斷言來加大我們消除一些最常見錯誤模式的力度。In this article, eric allen discusses assertions, introduces temporal logic, and describes a tool for processing temporal logic assertions in your programs
在本文中, eric allen將討論斷言,介紹時態邏輯並描述用於處理程序中時態邏輯斷言的工具Temporal rover, from time rover inc., is a tool for processing temporal logic assertions in java programs and generating valid java code from the assertions
Time rover inc .的temporal rover是一種用於處理java程序中時態邏輯斷言並根據斷言生成有效java代碼的工具。Introduce temporal logic to assertions to supplement testing
將時態邏輯引入斷言來補充測試The reader gradually learns and stores up the language knowledge and ability. these knowledge and abilities are fixed through the sort of logical form. and it formed the picture of language ' sense in the reader ' s brain
個體在其學習過程中,不斷學習和積累有關語言和言語的知識和技能,這些知識與技能漸漸以邏輯的「格」的形式固定下來,並逐漸在頭腦中形成語感圖式。One of the most straightforward applications of temporal logic assertions is for adding executable documentation on interfaces, thereby catching fictitious implementations of the interface as soon as these assertions are violated
時態邏輯斷言最直接的應用是在介面上添加可執行文檔,從而在一旦違反這些斷言時就立即捕捉介面的分享友人