邏輯驗證 的英文怎麼說
中文拼音 [luóyànzhèng]
邏輯驗證
英文
logic verification- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 驗 : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 邏輯 : logic
- 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
-
Logical empiricism focuses on scientific theories and uses empirical conformation and logical analysis in developing its theories
邏輯經驗主義注重科學理論本身,圍繞經驗證實和邏輯分析展開它們的理論。These character based on sichuan power network ' s practice operation experience, in allusion to the config of the carrier wave protection in bypass breaker operating, through the study of protection ' s typical config : one side lfp - 902a, one side csl - 101a, proceeded comprehensive act module test, noted plenty of first hand test data and wave picture, proceeded detailed theory analyses, plenitude demonstration atresic type carrier wave distance protection when twain side atresic type logic is not completely same, basically can fill power network ' s requirement to relay of reliability selectivity speedly and sensitively
本文結合四川電網的實際運行經驗,針對旁路開關代路運行時的保護配置情況,通過對旁路代路時保護典型配對組合:一側lfp - 902a ,一側csl - 101a的保護配置情況的深入研究,做了全面的動模試驗,記錄了大量的第一手試驗數據和波形,進行了詳細的原理分析,充分驗證了高頻閉鎖式距離零序保護在兩側閉鎖式邏輯不盡一致的情況下,基本能夠滿足電網對繼電保護的可靠性、選擇性、快速性以及靈敏性的要求。Considering the problem of the justification of logical theory, feng ' s such a theory requires that the construction of a logical theory adhere to the unity of a posteriority and a priority
在邏輯理論的證成問題上, 「概念的雙重作用」要求邏輯理論的建構必須堅持后驗性與先驗性的統一。The justification of the argument theory in modern logic takes a more universalistic and a prior approach ; however, informal logic tries to justify itself from the perspective of a unity of a posteriority and a priority, and of universality and contextuality
有見于現代邏輯論證理論的普遍主義、先驗主義傾向,非形式邏輯試圖從后驗性與先驗性、普遍性與情境性的統一中去證成自身。Through the approach of investigative questionnaire and ability examination, considering both teachers " teaching practice in senior high school and students " need in analyzing and resolving problem, taking the method of fixing the quality and quantity, we make a demonstration research. at last, we draw a conclusion that the 19 manifestations of chemistry ability can be reduced to three levels : the basal level, called repeating thinking, includes distinguishing and judging the chemical fact and relations of quantity in chemical reaction, comparing and summarizing the chemistry fundamental knowledge ; innovative thinking level includes illogical thinking and logical thinking. illogical thinking mainly contains intuition, association and space imagination of micro - particle
通過調查問卷、能力測試等途徑,結合教師在中學化學的教學實踐和學生在分析、解決問題的實際需要,採用定性與定量結合的方法,進行實證研究,得出結論:化學學科能力的19種表現形式歸納為3個層次:最基礎的再造性思維能力層次包括對化學事實和化學反應中量的關系的識別和判斷、對化學基礎知識的比較概括;以培養創新能力為核心的創造性思維層次包括化學直覺思維、聯想、對微觀粒子的空間想象為主的非邏輯思維和靈活運用已學的化學知識通過分析、綜合地解決問題為主的邏輯思維;化學實驗能力層次是化學學科能力的最高層次,它以思維能力為基礎,集中體現了化學教學的基本特徵,實驗能力層次包括:選用實驗方法和設計實驗方案,對實驗的評價,研究和處理實驗事實、資料、數據,發現規律,表達實驗及其結果,最終解決問題的能力和發散思維。3 halpern j, zuck l. a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols. journal of the acm, 1992, 39 : 449 - 478
並且他們只是用認識邏輯描述協議的規范,但沒有給出相應的演算法,即給出一個具體的協議,如何自動生成公理集並自動驗證他滿足一些認知規范3 ) the content of generator module design includes the design factor, design outline, software design and experimentation. the generator module must complete the analog signals calculating, and make an order for shutting off connected generators in the condition of generators settings, concatenated logics and switch signal input, then communicate with the decision module
3 )發電機模塊的設計內容包括設計考慮因素、設計要點、軟體設計以及實驗驗證等,模塊必須完成對接入的發電機機組模擬量的計算;在機組設置、連鎖邏輯和開入信息等條件下對接入的發電機機組排出一個切機順序;完成模塊間通信。The results of simulation prove that the improved algorithms are feasible for evolving the digital combinational logic circuits and improve the evolvable efficiency and convergence performance
模擬實驗結果證明了改進演化演算法對于實現函數級數字組合邏輯電路的硬體演化是可行的,並且提高了演化演算法的演化效率和收斂性能。Furthermore, three expanded gny logic rules are given during above analysis based on gny, and at the end of this paper, security protocol formal verification based on attack logics is discussed and presented, a development framework of integrating such verification model into automated analysis tools such as spearii is shown finally
另外,本文在使用gny邏輯的分析過程中,提出三條實用的gny擴展規則,而在文章最後,對基於攻擊邏輯的安全協議驗證方法作了初步研究,提出了將該協議攻擊驗證技術融入協議自動分析工具的設計框架。In this article, i suggested a new design method of regular logic cells and the micro - instruction rom basing on the cadence environment, also i put forward a novel post - layout simulation flow base on the eda tool - - powermill
在本文中,筆者提出了在cadence平臺的利用編程實現規則邏輯版圖以及微碼rom碼點的設計方法和基於powermill工具的后模擬版圖驗證流程。And the essential reason for irreparability of several protocols is revealed, and a method to produce unrepeatable and unpredictable session marker is brought out to hurdle this defect. a new key distribution protocol is proposed out based on all researches upon
在以上研究的基礎上,提出了基於鑒證的可修復密鑰分配協議,並用擴展了的ban邏輯方法進行了驗證,也討論了其可修復性。For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
他將時序邏輯引入計算機科學,為程序和系統的檢測驗證方面提供一種有力的工具。After discuss the structure and character of operating system qnx and inter - process communication between pc ' s running qnx or windows, the paper describes the structure, function and flow chart of mission planning software which is developed in qnx, and narrates the course of simulation co - debug experiment, dynamically showing the results of the mission planning in the case of " ocean physiognomy reconnaissance ", and proving the logical correctness and feasibility of task serial produced by mission planning
在論述了多任務、實時操作系統qnx的結構特點以及基於qnx與windows運行的pc機之間網路進程通信的基礎上,本文描述了在qnx上開發的使命規劃軟體的結構功能和流程圖,並敘述了模擬聯調實驗的過程,動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果,並證明了使命規劃所得的任務序列在實際運行中邏輯的正確性與可行性。Experiment results show that this algorithm can identify static crosstalk that destroy circuits function and provide accurate information for ic back - end optimization
實驗表明,通過驗證噪聲幅值和寬度指標,演算法準確地識別出對電路邏輯功能產生影響的靜態串擾噪聲,為ic設計的後端優化提供了準確信息。Traditional static crosstalk identification methods identify crosstalk targets only using coupling capacitance and noise amplitude information, which lead to the pessimistic results and induce a long time to ic design convergence
摘要傳統的靜態串擾噪聲識別演算法只驗證耦合電容和噪聲幅值信息,沒有考慮噪聲寬度對電路邏輯功能的影響,所以給出的結果過于保守,導致設計收斂的時間被延長。This design for mvbc system adopts top - down eda common design flow. circuit design adopts veriloghdl coding description. function simulation and timing verification adopt simulation tool vcs of synopsys inc, the logic synthesis tool and fpga programming tool adopt the quartus ii of altera inc, and the fpga advice stratix ii ep2s15
該mvbc系統設計採用業界通用的自上而下的eda設計方法,電路邏輯實現採用veriloghdl硬體語言描述,功能和時序驗證的動態模擬採用synopsys公司的vcs ,而邏輯綜合與fpga實現採用altera公司的集成開發環境quartusii軟體以及stratixiiep2s15的fpga器件。The defects and mendings of carnap ' s logical system of the theory of probability confirmation are accounted in the forth part of paper. firstly, carnap ' s theory is based on priori, so his theory does not give exact number to the degree of confirmation, which leaded the study of induction collected with people ' s cognitive ability
由於卡爾納普的概率邏輯確證理論建立在概率先驗性基礎上,因而不能精確刻畫確證函數的值,遭到了格萊憬爾等人的批評,從而使人們認識到歸納邏輯的研究應與人類的認識規律相結合。The proposed methodology is different from many previous approaches to automatic verification of security protocols in that it is justification - oriented instead of falsification - oriented, i. e., finding bugs in a protocol
由burrows , abadi和needham提出的ban邏輯及類ban邏輯曾在應用認知邏輯驗證安全協議上作出了嘗試Proved burden reversion of dynamic & superficial state, discretion and legality, experience and logic can be attained by adopting logic division to classify reversion form of burden proof in civil procedure
摘要採用邏輯劃分的手段對民事證明責任倒置形態進行分類,可以得到動態與表態、裁量與法定、經驗與邏輯的證明責任倒置。Taglib contains all the logic, validation, controller, and other tags specific to jsf
標簽庫包含所有的邏輯、驗證、控制器和其他特定於jsf的標簽。分享友人