邏輯覆蓋 的英文怎麼說

中文拼音 [luófùgě]
邏輯覆蓋 英文
logic coverage
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 覆 : 動詞1. [書面語] （蓋住） cover 2. [書面語] （底朝上翻過來; 歪倒） overturn; upset 3. 同 「復」 （Ⅱ1. 2. ）
  • 蓋 : 蓋名詞（姓氏） a surname
  • 邏輯 : logic
  • 覆蓋 : 1 （遮蓋） cover; overlap 2 （植被） plant cover; vegetation3 （保護層 覆蓋物） cover; covering; ...
  1. Around those questions the author goes on the account, and investigates aristotle ' s full but coarse idea, hempel ' s covering laws model that is logically tight, salom ' s fully objective statistical - relevance model, fetzer ' s causal relevance model that provides adequate answers to ontic question and epistemic question

    本文就是圍繞這三個問題展開論述，考察了亞里士多德粗糙而全面的看法、亨佩爾的邏輯嚴謹的「覆蓋律」模型、薩爾蒙的完全客觀的「統計相關」模型和費茨爾的在認識論和本體論兩方面可稱完備的「因果相關」模型。
  2. Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information

    文摘:用計算函數模型進行精確的數據流分析，條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域，並在數據流分析過程中，利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性，以得到更精確的數據流信息
  3. Entire winning logical record overwrites the losing logical record

    整個入選邏輯記錄覆蓋落選邏輯記錄。
  4. Using “ logical effort ” method to analyze the circuit ’ s critical path, and choose the optimized size of transistors in theory by this method. then, using sta technique simulates and analyzes the circuit to optimize transistors size further, and the circuit optimization arithmetic based on sta is gained. results proved that the optimization strategy of combining theory and practice have better effect

    結果證明，這種理論與實際結合的優化策略具有較好的效果;三、典型條件下，所實現版圖關鍵路徑延時1 . 38ns ，平均功耗45 . 3mw ，版圖面積0 . 05112mm2 ，達到了較小的延時、功耗和面積;四、針對所設計的算術邏輯部件，研究了一種獨特的內建自測試方法，只需較少的測試向量就可實現該部件100 %的故障覆蓋率，具有很高的效率和較低的代價。
  5. Another important problem in multiple - valued logic completeness theory is decision for sheffer functions, which reduced to determining the minimal covering of precomplete classes in multiple - valued logic

    多值邏輯完備性理論中的另一重要問題是sheffer函數的判定問題，此問題可歸結為定出所有極大封閉集（準完備集）的最小覆蓋。
  6. Logic - coverage testing

    邏輯覆蓋測試
  7. The software test, aim was elaborateed by the original, fundamental means and software test automation. the aim of software test chiefly is the fault discover in the software, in view of this target, the difference quiz means may be adoptd, in case white box testing ( logic is covered, way covers and so on ) and black box testing ( the meritorous service be able to be tested, regression testing, performance test.,

    軟體測試的目的主要是發現軟體中的缺陷，針對這一目標，可以採用不同的測試方法，如白箱測試（邏輯覆蓋，路徑覆蓋等）和黑箱測試（功能測試、回歸測試，性能測試、等價類劃分和邊界值分析等方法） ，設計測試用例，保證測試成功即找出軟體中的缺陷。
  8. The aim of software testing is to find out the defect of the software, so different testing methods can be adopted to design test case so as to the test is successful. for example, white box testing ( logic covering, path covering, etc ) and black box testing ( function test, regression test, and performance test, etc )

    軟體測試的目的主要是發現軟體中的缺陷，針對這一目標，可以採用不同的測試方法來設計測試用例以保證測試成功，即找出軟體中的缺陷，如白盒測試（邏輯覆蓋，路徑覆蓋等）和黑盒測試（功能測試，回歸測試，性能測試等） 。
  9. And more than 70 % hardware are tested during microcode self - test since the execution of micro program can cover other data paths. boundary scan is designed according to ieee1149. 1, and some other instructions such as degug, runbist are provided to support internal fault testing, online debugging and built - in self - test besides the several necessary insructions. internal scan is implemented by partial scan, through this the boundary of logic component and user - cared system registers can be selected to be scanned

    Bist用於測試cpu的微碼rom ，其它ram則利用微碼rom中的微程序進行測試，而微程序的運行則可以順帶覆蓋其它數據通路，從而使高達70 %的硬體得到測試;邊界掃描按ieee1149 . 1標準設計，除必備的幾條邊界掃描指令外，還提供了debug 、 runbist等指令以支持內部故障測試、在線調試及內建自測試;內部掃描採用部分掃描策略，選擇邏輯部件的邊界及用戶關心的系統寄存器進行掃描，從而實現了硬體邏輯劃分，方便了后續的測試碼產生和故障模擬，並為在線調試打下了基礎。
  10. Potential ( dynamic ) hardpoints : those are hardpoints that can be placed anywhere on the ship hull provided that it ' s flat enough ( try to be coherent, don ' t place hardpoints on details or where there are important details in the textures, such as windows ), and that there ' s enough room for it

    潛在（動態）掛載點：那些是可以設置在船殼任意平整位置（確保邏輯緊密，不要使掛載點覆蓋在船體的一些重要材質細節上，比如窗戶）上的掛載點，所以要事先為此預留足夠的的安裝空間。
  11. In this paper, based on dynamic fuzzy logic, we proposed a mutil - agent coordinate work model in antagonistic environment and non - antagonistic environment in dealing with the mutil - agent system ' s work mechanism. and out ' s works include five respects as follows : ( 1 ) based on the principle of yielding, we gave the algorithm to resolve conflicts among agents. ( 2 ) based on the concept of set cover, we gave a generic algorithm to distribute the resource among agents

    本文基於動態模糊邏輯理論，針對多agent系統中在對抗和非對抗環境中的工作機理，建立了多agent基於對抗和非對抗環境的協調工作模型，主要包括如下幾個方面的工作： （ 1 ）基於讓步原則，給出了多agent的沖突消解演算法； （ 2 ）基於集合覆蓋的概念，給出了多agent的資源分配通用演算法（ 3 ）基於動態模糊邏輯，分析了當前agent的bdi模型的不足，並針對這些不足，給出了基於dfl的agent的心智模型。
  12. Some results on decision for minimal covering of regular separable function sets in partial k - valued logic

    值邏輯中正則可離函數集的極大封閉集之最小覆蓋判定的一些結果
  13. Coverage ranges from thermal properties and semiconductor materials to mosfets, digital logic families, memory devices, microprocessors, digital - to - analog and analog - to - digital converters, digital filters, and multichip module technology

    覆蓋范圍從熱性能和半導體材料的mosfet ，數字邏輯家庭，記憶體裝置，微處理器，數位類比和模擬到數字轉換器，數字濾波器，以及多晶元組件技術。
  14. This thesis is a pragmatic analysis of physical education for the police students, including : police students, instructors, teaching facilities, contents, pedagogies, evaluations, etc. research methods include : bibliography, interview, comparison, logic and induction. in order to learn and gather more appropriate materials of peps, many questionnaires are conducted. 720 questionnaires have been sent out to 24 chinese police colleges and schools ( 10 questionnaires for peps instructors and 20 for police students ). 159 questionnaires are for the instructors from 18 police colleges and schools have been sent back and 43 for police students have been sent back by 22 colleges and schools

    研究方法主要有:文獻資料法、專家訪談法、比較法、邏輯歸納法等。並根據研究需求，編制了我國公安院校警體課教學現狀的調查問卷，在全國24所公安院校對廣大師生發放，范圍基本覆蓋全國各地區，共發放問卷720份（每所院校警體教師10份，學生20份） 。教師問卷回收18所院校159份，學生問卷回收22所院校432份。
  15. The decision on the minimal covering of simply separable function sets in partial four - valued logic

    部分四值邏輯單純可離函數集最小覆蓋之判定
  16. Some results on the decision of the minimal covering for fully symmetric function sets in partial four - valued logic

    關于部分四值邏輯中完滿對稱函數集最小覆蓋判定的一些結果
  17. The main work of this thesis is decision on minimal covering of precomplete classes in partial multiple - valued logic

    本文研究的是部分多值邏輯中極大封閉集之最小覆蓋的判定問題。
  18. The framework covers the logical security aspect of a web application and protects static data on the web page

    這個框架覆蓋了web應用程序的邏輯安全方面，並保護了web頁中的靜態數據。
分享友人
分享到 Line

分享到臉書