resolution principle 中文意思是什麼

resolution principle 解釋
分解法則
  • resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
  • principle : n. 1. 原理，原則。2. 主義；政策；〈常 pl. 〉道義；節操。3. 本質，本體，根源；本原，源泉。4. 本性，本能；天然的性能；天賦的才能；動因，素因。5. 【化學】素，要素；精。
  1. Based on studying aim and principle of bpi, this thesis provides comprehensive bpi system. we moot some resolution on skill

    在研究業務流程優化的目標和原則的基礎上，提出了業務流程綜合評價指標體系。
  2. This article discussed ar modeling method, capon method, music method and mn method four kinds of high resolution algorithms principle and has separately made the computer simulation in the ideal situation to the above four algorithms. through the comparison, the beam width of high resolution algorithm is much narrower than conventional beamforming method. then unifies the actual utilization, discussed the influence of time delay unbalance, time domain sampling, plane wave supposition and array element with scope and phase not identically to the beamforming and made the computer simulation

    本文首先討論了ar模型法、 capon法、 music法和mn法四種高解析度演算法的原理，在理想的情況下分別對上述四種演算法作了計算機模擬，通過比較，高解析度演算法的束寬比常規波束形成法窄得多;然後結合實際運用時的情況，重點探討了延時失配、時域抽樣、平面波假設和基陣的幅相不一致對波束形成的影響並做了計算機模擬。
  3. Abstract : based on analysis of the operational principle of the traditional inductosyn digital display meter in the paper, the contradiction between detecting resolution ratio and antidisturbance ability is discovered. and then, to resolve the contradiction, the method of demodulation technology and high frequency excitement technology being used is advanced

    文摘:通過分析傳統鑒相型數顯表的工作原理，揭示了其檢測解析度與抗干擾能力之間的矛盾，並提出了採用差頻解調和高頻激磁等技術解決矛盾的方法。
  4. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  5. The resolution declares that the board is recommitting itself to the principle of equality

    決議宣布校董會，會使得學校重新回到平等原則的基礎之上。
  6. This paper presents the principle and the maximum resolution of the spectral imaging followed by taking a case study as an example to discuss the application of this technique to sedimentary facies classification and the practical significance of it in progradation and retrogradation identification of sedimentary environment

    從理論基礎分析出發，首先介紹了頻譜成像的原理、最大解析度，然後結合國內某油田的實際情況，闡述用頻譜成像技術進行沉積相劃分以及判斷沉積環境水進水退的方法及實際效果。
  7. An approach to xml problem solving by means of resolution principle is presented. the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle. an intelligent decision support system based on xml is presented

    主要內容包括：建立了基於xml的公理系統；給出了假言推理在xdd中的應用形式；論證了假言推理在xdd中有效性和完備性；給出了應用證明論方法實現xml問題求解的方法和步驟。
  8. In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning

    本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上，嘗試利用神經網路部分實現自動推理。
  9. Based on the simple describle of the basic principle of anti - disturbance high - resolution shallow seismic exploration, all the sources, the properties of digital seismic instruments, the receive method and conditions, the observation system, and the data processing and interpretation of the urban active fault detecting are discussed emphasizedly

    在簡述抗干擾高解析度淺層地震勘探基本原理的基礎上，重點論述了城市活斷層的抗干擾高解析度淺層地震勘探的震源激發、數字地震儀性能、接收方式與接收條件、觀測系統以及數據處理與資料解釋等。
  10. The geometry and echoed signal models of airborne bistatic sar in general flight configuration are introduced. two - dimensional matched filtering principle is examined and theoretical relationship between resolution and bistatic sar system parameters is suggested

    本文首先分析了機載雙基地sar在任意飛行模式下的幾何模型與回波信號模型，闡述了二維匹配濾波成像機理，給出了解析度與雙基地sar系統參數間的理論關系。
  11. The gold recovery machine mainly according to electroplate cathode to adsorb principle, filter inside with the precious metal recovery that the french patent design, it will need the valid metals resolution in the recovery liquid to come out, attain thus to the precious metal material of the recovery make use of, let up to electroplate to discard precious metal in liquid to run off, and lower the purpose of the production cost

    金回收機主要是根據電鍍陰極吸附原理，再用法國專利設計的貴金屬回收濾芯，將待回收液中的有效金屬解析出來，從而達到對貴金屬物質的回收利用的作用，減小電鍍廢液中貴金屬的流失，以及降低生產成本的目的。
  12. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution

    第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  13. The problem which should be settled and the knowledge is represented in xdd, and the problem is solved by resolution principle. thus, the information on the web can be used in the decision process and it becomes easy to share and exchange data in or among the system

    主要內容包括：定義了合一指定和xml歸結子句，給出了歸結原理在xdd中的應用形式；證明了歸結的過程是一個等價變換的過程，論證了應用歸結原理實現xml問題求解的可行性；給出了應用歸結原理實現xml問題求解的方法和步驟。
  14. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  15. In this paper, we do two things. first, for theorem proving problem such like ( vx ) ( 3y ) p ( x, y ), we present a method for extracting procedure from the proofs generated by the resolution principle

    ） y ） p （ x ， y ）的定理證明問題，本文從分析歸結證明樹中的每個節點入手，提取歸結證明的過程信息，生成一個程序。
  16. In this thesis, the author just discusses horn clause sets, and gives how to transform horn clause set into neural network. go a step further, the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle, and proves completeness theorem and soundness theorem of the algorithm for resolution

    本文將所討論的子句集限制在horn子句集上，給出了horn子句集轉化為一個神經網路模型的方法，進j一步，對如何構造該神經網路的學習演算法來體現歸結過程進行了討論，並證明了此學習演算法用於歸結原理的可靠性和完備性。
  17. A kind of resolution principle based on neural network in the procession of the resolution, computationally hard problem may happen. because neural network has the advantage of learning and parallel algorithmic, we can use it to solve the problem

    基於神經網路的歸結原理實現在數字系統n中，歸結過程會產生大量的計算，自然地，我們會想到利用神經網路學習和并行計算的優點解決這一問題。
  18. Further, resolution principle based on matrix calculus is proposed. 4

    進一步，在萬中提出了基於矩陣運算的歸結原理。
  19. So, resolution principle of n is clear and simple, and we can use the four fundamental operations of arithmetic in the procession of the resolution

    由於這種「特殊性」的存在，使得頁中的歸結原理形式上簡單、明了，並且歸結過程可以用數與數之間的運算體現。
  20. 3. resolution principle of numerals system n because simple statements have order relation in n, the order relation makes complex statements of n have special property. it happens in the inside of a complex statement, no between two complex statements

    數字系統萬中的歸結原理由於數字系統廠中的原子命題帶有自然數序關系，使廠中的公式又有了一些「特殊性」 ，且這種「特殊性」只體現在公式內部，兩個公式之間沒有這種「特殊性」 。
分享友人
分享到 Line

分享到臉書