邏輯檢驗 的英文怎麼說
中文拼音 [luójiǎnyàn]
邏輯檢驗
英文
logical checking- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 檢 : Ⅰ動詞1 (查) check up; inspect; examine 2 (約束; 檢點) restrain oneself; be careful in one s c...
- 驗 : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
- 邏輯 : logic
- 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
-
Abstract : since the multiple failures situation is not uncommon in the clinical medicine, we explore the use of proportional odds model to the multivariate interval - censored data. the approach is based on the conditional logistic regression, which prevents the complications in the existence of nuisance parameters. the estimation of parameters is obtained by the newton - raphson algorithm. the sandwith estimator for the covariance is made according to the situation where there is correlation in the score statistic. simulations are also presented to assess the accuracy of the procedure
文摘:探索比例優勢模型在臨床醫學中常見的多結局區間截斷數據中的應用.用條件的邏輯回歸方法避免討厭參數的估計,用牛頓-拉普森演算法估計回歸系數,用"夾心方差"估計量作為參數方差的估計.通過隨機模型檢驗模型應用的有效性The acquisition, expression and application of fuzzy knowledge were fulfilled through fuzzification of photothermal traits, establishment of fuzzy logic rules, fuzzy language and inference etc. the goodness of fit to practical situation is up to 92. 4 %
該系統通過對光溫特性的模糊化、模糊邏輯規則的制定、模糊推理及解模糊等過程,完成了農業模糊知識的獲取、表達和運用。經檢驗,該系統與實際情況的吻合度達92 . 4 。For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
他將時序邏輯引入計算機科學,為程序和系統的檢測驗證方面提供一種有力的工具。Finance essentially is empiricism research. based on the study of former researches, this paper empirically studies several problems of china ’ s security market microstructure. this project is carried out in order to test the rational of theory logistics based on the facts and further modify the existed hypothesis
金融學在本質上是一種實證主義的研究,本文在前人研究的基礎之上,就中國證券市場微觀結構的幾個問題,開展了一些實證研究工作,旨在以經驗和事實為依據,對理論邏輯推演進行證實或證偽檢驗以判斷其合理性;並據此修正、深化或揚棄原有的假說,進而提出新的理論范疇。It was thought in this thesis that logical proving, as human ' s thinking form, is not only the method of knowing, understanding and grasping things, but also the important tool of seeking truth, arguing and testing knowledge and guiding practice
摘要邏輯證明作為人類的思維形式,是人們認識、理解、把握事物的手段,也是人們探索真理、論證認識、檢驗認識和指導實踐不可缺少的重要工具。Semiconductor parameter analyzers, miscellaneous signal generators, oscilloscopes, logic analyzers, multimeters, insulation resistance measurement equipment, dielectric strength voltage testers, noise testers, thermostats
半導體參數分析儀,各種信號發生器,示波器,邏輯分析儀,萬用表,絕緣電阻測定器,絕緣耐壓檢驗器,噪音檢驗器,恆溫槽。In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol
本文首先介紹了模型檢測和知識推理的基本概念,然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法,最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略,即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議,而這類協議的安全特性依賴于協議參與者的知識推理。In order to test the grade criterions of flood disaster loss, logistic curve ( log ) model and genetic algorithm ( ga ) are used by the author who properly disposes the judge of disaster loss grade
為檢驗洪澇災情等級標準的合理性,筆者利用邏輯斯諦曲線和遺傳演算法對其加以驗證,並且在模型的級別判定上,做了適當的處理。A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
一種支持分散式系統的正式驗證且廣泛發布的軟體包是用於硬體驗證的時態邏輯模型檢查的示例。Safety logic assemblies of nuclear reactor characteristics and test methods
核反應堆安全邏輯裝置特性和檢驗方法The communication core with a set of logic implemented the functions of coding, decoding, data buffering, message testing and command judging and performing
數據通訊內核及其外圍邏輯完成了曼徹斯特編/解碼、數據緩沖、消息格式檢驗以及命令的解析、判斷和執行等功能。A sample is given to illuminate design procedure, and to enhance shcan2000 system. new control methods are also suggested here. first, a new pid pressure step control method so - called " zero op oversighf ' which is highly accurate and low cost ; second, logical control method for producing procedure ; third, large control network for monitoring and management. all the methods have been tested to be pratically useful, stable and efficient
在設計高效催化劑生產工控軟體的過程中,提出了工業控制過程的新思路、新方法:新型「 op過零監視」 pid分程調節技術、間歇生產過程的邏輯控制方法以及大型工控軟體聯網監控技術,這些技術經過生產實踐檢驗證實方法先進,實用。The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure
它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。When these events are raised, the appropriate method in your module is called and the module can perform whatever logic is required, such as an authentication check or logging request information
當這些事件被引發時,會調用模塊中適當的方法,並且模塊可以執行所需的任何邏輯,如身份驗證檢查或記錄請求信息。Thus the paper verifies logically the theory of value of adam smith, david ricardo, as well as karl marx, and demonstrates the unification of value determination and value distribution with general theory of value founded by the author
在此基礎上,作者對斯密、李嘉圖和馬克思的價值理論進行了邏輯檢驗和經驗驗證,並運用廣義價值論基本原理,論證了價值決定和價值分配的內在統一。Checks the user s entry using validation logic that you write yourself
使用您自己編寫的驗證邏輯檢查用戶輸入。At the same time, the dissertation discuss some important problems in simulation and verification in detail, such as hazards finding, inertia delay, feedback treatment, false paths discerning, setting up and holding time, critical path and shortest path
與此同時,本文還針對邏輯模擬驗證中涉及到的冒險檢測、慣性延遲、反饋處理、偽路徑識別、建立與保持時間、關鍵路徑和最短路徑等關鍵問題進行了詳細的論述,並分別設計了基於boole過程的演算法。You can also add client - side validation to check user input before the page is submitted by writing a function in ecmascript javascript that duplicates the logic of the server - side method
您還可以通過編寫ecmascript ( javascript )函數,重復服務器端方法的邏輯,從而添加客戶端驗證,在提交頁面之前檢查用戶輸入內容。However, this tempo - ral logic based technology was not conveniently applied to the verification ofknowledge logic specification
然而,傳統的模型檢測是基於時態邏輯的,它並不支持知識邏輯規范的驗證。After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后,用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。分享友人