resolution theorem 中文意思是什麼

resolution theorem 解釋
分解定理
  • resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
  • theorem : n. 1. （能證明的）一般原理，公理，定律，法則。2. 【數學】定理。
  1. 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一歸結原理進行了初步探討
  2. By making full use of favourable narrow - band tracing filter character of pll and by combining the merits of dds such as super fine frequency resolution 、 high frequency accuracy 、 very fast frequency hoping with it, the pll / pll + dds frequency synthesizer presents wide band high quality source and super small frequency hoping step. while the electronically tuned filter abates the image interference and notably improves the selectivity. the theorem of frequency synthesizer and center - frequency - fixed filter is simply but adequately introduced first in this paper

    課題中所採用的pll或dds pll鎖相頻率合成方法充分發揮鎖相環良好的窄帶跟蹤濾波特性，並結合dds的高頻率解析度、高頻率精確度和高速頻率捷變等優點，分別實現了系統所要求的高質量寬帶本振源和小步長頻率捷變；採用電調諧選頻技術，則大大改善了接收機的選擇性和抗干擾能力。
  3. 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 ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  4. On using the theorem of scrap number operation to confirm the resolution of rational proper formula

    用殘數運算定理確定有理真分式分解
  5. Based on the basic principle of wavelet analysis, multi - resolution analysis of signal in atomic clock is made. the coefficients of wavelet transform for synthesis atomic time, which are weighed and averaged at different wavelet scales, are obtained. then according to reconstruction theorem, multi - resolution synthesis time scale can be reconstructed. since the signal of atomic clock has been analysed by multi - resolution, we can use wavelet variance at different scales to weight and average the coefficients. thus either the difference in stability of different clock or the varying characteristic of the same clock at the different scale are all considered. finaly, this method is checked by the measured data from national timing serve center of shaanxi astronomy observatory. it confirmed that this technique, which is simple and practicable, is a new method of multi - resolution. from this method, the common characteristic of different clocks can be extracted. the stability of multi - resolution synthesis atomic time scale is obviously superior to that of other methods

    本文根據小波分析的基本原理，對原子鐘信號進行多解析度分解，將分解后的小波變換系數進行加權平均，得到不同小波尺度綜合原子時的加權平均小波變換系數，然後由小波變換的重構條件，反演綜合時間尺度.由於對原子鐘信號進行了小波分解，利用不同尺度的小波變換系數的小波方差進行加權平均，這樣既考慮不同原子鐘在穩定性方面的差異，又顧及同一臺原子鐘在不同小波尺度的變化特性.最後根據陜西天文臺國家授時中心的實測數據對這種方法進行了檢驗.表明這是一種全新的多解析度綜合方法，這種方法比較簡單而切實可行，它能提取各個原子鐘的共同特性，多解析度綜合時間尺度的平穩性明顯優于其他方法
  6. In proposbonal calculus, the processing ofresoluhon pdriciple have combination explosion naturally so, how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving

    命題邏輯系統中的歸結原理本質上存在組合問題，因此，如何避免組合問題（通常以計算復雜性的形式出現）是自動推理研究中的一個重要課題。
  7. 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 ）的定理證明問題，本文從分析歸結證明樹中的每個節點入手，提取歸結證明的過程信息，生成一個程序。
  8. Then, a new adaptive, on - line, fast samplingstrategy - multi - scaling sampling - is presented inspired by mra multi - resolution analysis and shannon sampling theorem, for quicklyobtaining acceptably approximate association rules at appropriate samplesize. both theoretical analysis and empirical study have showed that thesampling strategy can achieve a very good speed - accuracy trade - off

    但是，取樣策略必須在演算法的效率和結果的精確性之間進行很好的折中， 「如何確定合適的樣本大小使得運行於其上的關聯規則挖掘滿足精確性的要求取樣復雜性」成為這一方法的關鍵難解問題。
  9. 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一步，對如何構造該神經網路的學習演算法來體現歸結過程進行了討論，並證明了此學習演算法用於歸結原理的可靠性和完備性。
  10. Synthetic aperture radar ( sar ) is an active microwave remote sensor, which has the high azimuth resolution by using the theorem of synthetic aperture. because of its widely application in military and civilian synthetic aperture radar has received more and more recognition

    合成孔徑雷達是主動式微波成像雷達，是利用信號處理技術以小的真實孔徑天線達到高解析度成像的雷達系統，由於其在民用和軍事方面的應用，越來越受到廣泛的關注。
  11. Software radio which promises well needs a kind of wideband high speed and resolution adc, but at present it is hard to realize. on the basis of the theory of multirate signal processing, the theory of filters, bandpass sampling theorem and adc principium, perfect reconstruction quadrature mirror filter ( prqmf ) banks adc system is proposed

    基於此背景，本文在融合多速率數字信號處理理論、濾波器理論、帶通采樣定理以及adc原理的基礎上，提出了prqmf濾波器組adc系統，並對該adc系統的原理、結構、特性進行了探討和研究，其主要結論和創新之處如下： 1
  12. To meet the special requirement in visualization of dynamic terrain, a technology which is called dynamically extending the resolution of terrain surface meshes is proposed based on the aforesaid fast continuous lod terrain rendering algorithm. a theorem on the maximal region which needs to extend its resolution is given and proved

    本文在上述演算法的基礎上，針對動態地形可視化的特殊需求，提出了地表網格解析度的動態擴展技術，研究並證明了需擴展其解析度的最大區域，進而提出了動態地形的實時可視化方法。
分享友人
分享到 Line

分享到臉書