判定演算法 的英文怎麼說

中文拼音 [pàndìngyǎnsuànfǎ]
判定演算法 英文
decision algorithm
  • 判 : Ⅰ動詞1 （分開; 分辨） distinguish; discriminate 2 （評定） judge; decide 3 （判決） sentence; con...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 判定 : judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
  1. Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic

    2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上，同時證明了演算法的正確性。
  2. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  3. In this paper, research on the algorithm of complete digital if and baseband transmission system and the realization of transmitter and receiver. / 4 - dqpsk is chosen as digital modulation scheme. the scheme of demodulation is baseband differential detection. sliding correlator can realize the symbol synchronous acquisition ; early - late gate synchronizer is used to do symbol synchronous tracking

    系統的發射機選定/ 4 - dqpsk為調制方式，接收機採用基帶差分解調的非相干解調方式，滑動相關器捕獲發送的pn序列，早遲門同步器跟蹤符號同步，使用相關器對同步后的符號進行最佳判決，並在這些演算法實現的基礎上，實現了直接序列擴頻和解擴技術。
  4. The new line against polygon window clipping algorithm which makes full use of two judgement conditions to confirm noneffective intersections between the lines and the polygon edges can only calculate the effective intersections and increases the efficiency of the clipping. third, a new 3 - d clipping algorithm of line against spherical surface window is introduced for the first time

    一般多邊形窗口線裁剪的改進演算法充分利用確定被裁線段與多邊形邊無交的兩個判斷條件，對完全不可見線段以及與被裁線段無有效交點的多邊形邊進行了排除，只有當線段與多邊形邊有有效交點時才求交，避免了不必要的求交，提高了演算法效率。
  5. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
  6. Abstract : based on the electronic focus technology development of state - of - the - art, the paper suggested a complete apparatus s cheme ofauto - focus based on sspd ( self - scanned photodiode array ) and 8098 singl e chipprocessor, giving out a focus criterion algorithm based on image high freq uencystatistics. the function of auto - focus of both reflected and transparent o pticalmicroscope was realized. meanwhile some corresponding problems such as sta bility of lightsource, step motor driving etc. were also discussed, which greatly improved the accuracy andreliability of the system

    文摘:在介紹與分析了國內外電子調焦系統的技術發展與現狀的基礎上，提出了一種基於sspd （自掃描光電二極體列陣）與8098單片微處理器自動調焦的整體技術方案，給出了基於圖像高頻成分統計的聚焦判識演算法，在此基礎上實現了反射式與透射式光學顯微鏡的自動調焦，同時對系統的可靠性有關的其它相關問題如光源穩定性、步進電機驅動等問題也進行了討論。
  7. Secondly, the identification algorithms of road traffic status are studied including methods of determining floating car sample sizes which are based on “ the relationship between floating car sample sizes and accuracy of traffic information detection ” and “ the relationship between floating car sample sizes and requirement of road network information detection ”. the road traffic identification algorithm grounded on the journey - time is analyzed. besides, road traffic identification algorithm based on average speed is put forward and the validity of these two methods is analyzed in the thesis

    主要工作包括:從「浮動車數量與交通流信息檢測準確性關系」 、 「浮動車樣本數量與路網全方位信息檢測需求關系」兩方面對浮動車數量確定方法進行研究，給出了演算法模型;同時，分析了基於行程時間的道路交通判別演算法，提出了基於指數平滑法的平均瞬時速度道路交通判別演算法，並對兩種演算法的有效性進行分析比較。
  8. 14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems

    本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用，進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。
  9. The backward error and the structured backward error of the approximate solution are the criteria to judge the stability and the strong stability of the numerical algorithm. condition number is a measure of the sensitivity to the approximate solution for the perturbation of original date

    近似解的最佳向後誤差和最佳結構向後誤差的數值分別是判別演算法的穩定性和強穩定性的標準，而條件數則是反映數值問題的解對于該問題數據擾動的敏感程度。
  10. According to the definitions of bottleneck bandwidth, available bandwidth and bulk transfer capacity, we analyzed the algorithms which named vps ( variable packet size ), pptd ( packet pair / train dispersion ), slops ( self - loading periodic streams ) and topp ( trains of packet pairs ) ; based on the principle of sub - path bottleneck measurement, we developed the bottleneck measurement algorithm using heterogenous packet - pair train ; after designing the three child algorithms ( demarcating bandwidth range, approaching bandwidth value and predicting the trendency of available bandwidth fluctuation ), we performed the algorithm called self - loading binary search ; applying the multi - home properties of sctp ( stream controltransmission protocol ) and measurement algorithm of available bandwidth, we presented a scheme to adjust the sctp transport path when there are network congestions or faults ; by the library of winsock and winpcap, we developed a measurement program to look for bottleneck bandwidth. in ns2 experiments, the algorithm based on heterogenous packet - pair train fitted well, and the algorithm of self - loading binary search worked quickly, and the sctp scheme improved the throughput effectively

    本文根據瓶頸帶寬、可用帶寬和btc （ bulktransfercapacity ）三類網路帶寬定義，分析了vps （ variablepacketsize ）和pptd （ packetpair / traindispersion ）瓶頸帶寬測試演算法， slops （ self - loadingperiodicstreams ）和topp （ trainsofpacketpairs ）可用帶寬測試演算法;基於子路徑瓶頸測試原理，設計了異構包對序列的瓶頸測試演算法;並結合三個子演算法（界定帶寬范圍演算法、接近帶寬值演算法和帶寬變化趨勢判定演算法） ，設計了自載流折半查找的可用帶寬測試演算法;把上面的演算法應用到sctp （ streamcontroltransmissionprotocal ）的多宿性和可用帶寬測試，提出了一個網路擁塞或故障時調整sctp傳輸路徑的方案;結合winsock和winpcap兩套網路開發工具，設計了一個瓶頸帶寬測試程序;通過ns2模擬實驗，驗證了基於異構包對序列瓶頸測試演算法的準確性、自載流折半查找演算法的快速性，和sctp改進方案的有效性。
  11. In this article, a algorithm ccn ( calculate crossing number ) is put forward to study the crossing number. it is a very important development in graph planarity issue after planarity - determinant algorithm and embedding algorithm

    本文首次給出了較好的計算圖的交叉數演算法ccn （ calculatecrossingnumber ） ，這是繼圖平面性判定演算法，二連通圖的平面嵌入演算法之後在圖的平面性問題上的一個最重要的進展。
  12. The effectively retiming determining algorithm is key of retiming, so it is the key of sequence adjust strategy. the effectively retiming determining algorithm can be mainly classified into two categories : one is based on minimal weight path algorithm, the other is based on simple retiming

    在時序調整策略中，有效重定時的判定演算法主要分為兩類，一類是基於圖中最小權路徑演算法的有效重定時的判定演算法，另一類是基於簡單重定時的有效重定時的判定演算法。
  13. The arithmetic, which aimed at the character of object localization and tracking of robot vision system with one camera and based on characteristic color as object character and applied figure distinguishing arithmetic and object edge detection, completed object localization and tracking by obtaining position feature point coordinate on image plane

    此演算法針對單攝像機機器人視覺系統目標定位與跟蹤的特點，基於特徵顏色為目標特徵，輔以形狀判別演算法和目標邊緣檢測，通過獲取目標物體在圖像中的位置特徵點坐標，來完成對目標物體的定位與跟蹤。
  14. Different from the previous work, kf - diff + is tailored to both ordered trees and unordered trees. while dealing with the key path, the notion of the key constraint for semi - structure data and the notion of the multi - instance based keys are identified, which will greatly simplify the complexity of the algorithm

    在特徵路徑相關的計算中，本文引入面向半結構數據的key約束思想，並且針對先前判定演算法過于復雜的問題，提出了基於多實例結點集合的key約束的概念以及相關的處理方法，在一定程度上簡化了計算。
  15. Firstly, we constructed a relative difference comparison table based on the rough set theory to effectively and efficiently achieve the better attribute reduction. then the relative difference comparison table is combined with the heuristic knowledge to design three algorithms respectively : the improved algorithm for attribute reduction, the judge algorithm of attribute reduction, and some improvements for a widely used value reduction method are also achieved in this paper

    首先在粗糙集理論的基礎上構造出了相對差異比較表，然後把它與啟發性知識相結合分別設計了基於相對差異比較表的改進的屬性約簡演算法、屬性約簡的判定演算法，和提取規則的值約簡演算法。
  16. It is given in chapter three and four

    這些，是本文提出的判定演算法的petri網方面的理論依據。
  17. The difficulties of the whole system design are the design of the pit judgment arithmetic, the writing of the hy6070 vxd, the design and operation about the database

    所以整個系統設計的難點在於：缺陷判定演算法的設計； hy6070虛擬驅動程序的編寫；數據庫的設計和操作。
  18. The difficult part of the whole system is : the design of the interface circuit, the virtual device driver of the data collection card hy - 6070c, the design of the flaw determinant algorithm and the design and operation of the database

    整個系統設計的關鍵在於：介面電路的設計、 hy - 6070c數據採集卡虛擬驅動程序的編寫、缺陷判定演算法的設計、數據庫的設計和操作。
  19. The difficulties of the whole system design are : design of the interface ; programming of the vxd for the hy - 6070c a / d card ; design of the pit judgment arithmetic ; design and operation about the database. all of the difficulties have been studied in detail in this thesis

    所以整個系統設計的難點在於：介面電路的設計、 hy - 6070c數據採集卡虛擬驅動程序的編寫、缺陷判定演算法的設計、數據庫的設計和操作，在本文中對于這幾部分作了詳細的討論。
  20. Based on the model, the thesis proposes the algorithm deciding the important manufacturing process, which can be used to decide the important parts of manufacturing process ; and proposes the algorithm affecting unqualified index of manufacturing quality, which can be used to find the process affecting the unqualified index

    基於該模型，提出了重點工序確定演算法，用於確定製造過程中需要重點控制的質量環節;提出了不合格指標相關工藝判定演算法，用於快速找出質量檢驗中影響不合格指標的相關工序。
分享友人
分享到 Line

分享到臉書