斷言表 的英文怎麼說
中文拼音 [duànyánbiǎo]
斷言表
英文
assertion list- 斷 : Ⅰ動詞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
- 表 : Ⅰ名詞1 (外面;外表) outside; surface; external 2 (中表親戚) the relationship between the child...
- 斷言 : say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; asse...
-
Let us restate the assertions above as a theorem.
我們把上述的斷言重新表述為一個定理。So that particular argument for extending the assertion language or for expressing contracts in english goes away at least in the long term
因此,有關擴展斷言語言和英語中的契約表述的爭論,在一個較長時期后將會沉寂下來。From the two h - r diagrams below, we can also tell which cluster is older and which is younger
由以下兩幅赫羅圖中,我們可斷言右圖表示的星團比較年老。Iran says its uranium enrichment is for peaceful purposes, to provide fuel for nuclear power. the united states alleges iran is using the technology to create a weapons program
伊朗表示其鈾濃縮是為了和平的目的,為核能源提供燃料。美國斷言伊朗正在使用這項技術進行一個武器計劃。Evola asserts that it represents the dissolution of the body, or the universal serpent which ( to quote the gnostic saying ) ' passes through all things '
伊沃拉斷言它代表了身體的分解(我覺得法性的分解比身體貼切些) ,或者宇宙的大毒蛇(引自諾斯替派的話語) 「穿過了萬物」 。Because there are a lot of reference data about study area and is absence of known oil - soil field to experimentation research, additionally the study area is affected by factors of complex surface landform, various lithlogy etc.
若爾蓋地區受復雜地表景觀及巖性等因素的影響較大,而且沒有已知油氣田可供試驗研究,可供參考對比的資料也很少,僅僅採用一種技術是不能斷言油氣信息的真實性、有效性,而是有必要採用不同指標相互補充,相互印證。Like types, assertions are not expressive enough by themselves to capture all of the rules we may want to specify on an interface
與類型聲明相同,斷言自身表達能力不夠,無法捕捉我們可能希望在介面上指定的全部規則。Jwebunit provides a high - level api for navigating a web application, combined with a set of assertions for verifying the correctness of navigation via links, form entry and submission, table contents, and other typical business web application features
Jwebunit提供了導航web應用程序的高級api ,並組合了一組斷言,用它們來驗證鏈接導航、表單輸入項和提交、表格內容以及其他典型商務web應用程序特性的正確性。Professors zhu yong - sheng and miao xing - wei ( 2000 ) had studied the close relations of the pragmatic preset with the text information flow and revealed that the pragmatic preset plays an important role in the message flow of the language communication since the speakers often express the preset messages and assertive messages when he is uttering a segment of language
朱永生和苗興偉( 2000 )曾探討了語用預設與語篇信息流之間的密切關系,認為語用預設在語言交際的信息流中發揮著重要的作用,因為發話者在發出一個語段時往往同時表達了預設信息和斷言信息。Robert g. eccles issued an thesis whose name is the performance measurement manifesto in 《 harvard business revie 》 in 1991, this thesis put forward that every corporation must design his performance evaluation system again in 5 years
Eccles ) 1991年在《哈佛商業評論》上發表的題為《績效度量宣言》一文中斷言,在未來的五年內,每個公司將必須重新設計其績效評估體系。Its report, european cinema trends 2003, concludes : " 2003 was the worst year for the circulation of european films since 1996, the first year for which detailed analysis is available
它發表的一篇報道2003年歐洲電影趨勢斷言: 「 2003年是自1996年以來歐洲電影發行最糟糕的一年。This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code
這只是可以用傳統斷言語言表示的程序特性類型的簡短列表所有程序員都希望在代碼中包含的特性:We can now consider the three languages for the specification of an interface that is, the unit testing language, the assertion language, and the type system to form a hierarchy of expressiveness
現在我們可以考慮用介面規范的三種語言(它們是,單元測試語言、斷言語言和類型系統)來形成表達的層次。Let s take a quick look at three categories of common assertion properties common, but which don t offer us the full coverage we d like, compare them with the types of program properties that can be expressed in a traditional assertion language, and examine assertion properties that are necessary for a multithreading context but are impossible to express as conventional assertions
讓我們快速瀏覽三種類型常見的斷言特性(雖然是常見的,但它們沒有提供我們所需的完整范圍) ,將它們與可以用傳統斷言語言表示的程序特性的類型進行比較,並檢查多線程上下文所必需的,但不可能表示成常規斷言的斷言特性。E _ invalidcompletionstatus : ( 30100 ) signifies that one of assertion status values passed is unrecognized
表明傳入的斷言狀態值中至少有一個是無法識別的。In a web environment, the browser posts a form to the destination site and includes a base64 - encoded signature and assertion in a hidden form variable
在web環境中,瀏覽器將表單公布( post )到目標站點,並且在一個隱藏的表單變量中包含一個用base64編碼的簽名和斷言。Mr barnes concludes that it is too early to worry about liquidity : with inflation low, there is little prospect of a monetary squeeze ; and american households and businesses ' balance sheets ( but not those of pension funds and mutual funds ) are fairly liquid
巴恩斯斷言,現在對流動資金的擔憂還為時過早:畢竟目前處于低通脹,緊縮政策的可能性不大;此外,美國家庭和企業的資產負債表(除了退休基金和共同基金)也體現出了相當的流動性。You can assert that a string, table, or a form - input element with a given label is present or not present in the page
可以對字元串、表或者帶有指定標簽的表單輸入元素是否存在於頁面上進行斷言。In view of this condition, to advance their expression ability, colleges, teachers and students must work together to reach this goal
為此,必須依靠學校、教師和學生三方的共同努力、共同作用,不斷提升高師院校學生的語言表達能力。Assertions represent boolean expressions that the programmer believes to be true at specific points in the program
斷言表示為一些布爾表達式,程序員相信在程序中的某個特定點該表達式的值為真。分享友人