generalized resolution 中文意思是什麼
generalized resolution
解釋
廣義歸結- generalized : 廣義的
- resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
-
Secondly, because the operator is associativity, so it is possible to avoid the boring complicated letters thirdly, because the association of resolution and paramodulation is generalized complete, we can use the infimum of the operator to gradually close the false level of cause set. so it is not necessary to choose threshold before resolution and paramodulation. the operator is got from every resolution and paramodulation
其次，由於算于的運算適合結合律，因而可以避兔令人討厭的復雜文宇1v … kp ） … ）口第三， bofl中的歸結和調解的結合是廣義完備的，可以用每次歸結和調解出來的下確界逐步逼近子句集的恆假水平，從而不必費心在調解前選擇合適的i 』刊b 。 -
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 ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。 -
Guided by a series of theories and methods of high - resolution sequence stratigraphy and sedimentology, the characteristics of medium - term, short - term and ultra short - term base - level cycle sequences have been studied in chang 6 member, upper triassic, fuxian exploration area, and the base - level cycle sequence structure types and stacking - patters formulized in detail. the sedimentary characteristics of two types of sedimentary facies, four kinds of sedimentary subfacies and ten species of sedimentary microfacies have been generalized. it has been researched that the distribution and evolution rule of sequence sedimentary facies
本文以高解析度層序地層學和沉積學的理論與方法為指導，研究了富縣探區上三疊統長6段中期、短期和超短期基準面旋迴層序的特徵，詳細闡述了各級次基準面旋迴層序結構及疊加樣式；總結了長6段兩類沉積相、四種亞相以及十種微相的沉積特徵；闡明了長6段層序沉積相的展布與演化規律；在深入論述高解析度層序地層和沉積相與儲層發育關系的基礎上，評價預測了本區長6段的有利儲集相帶。 -
The physics meaning of these two corollaries is explained by virtual of the generalized functions " weak - convergence theory. there exist some disadvantages such as low measuring resolution and high calculating amount for multi - scale wavelet transform when the noise in signals is higher
與一般基於多尺度分解的小波變換的檢測方法相比，這種新的函數檢測函數可以在保證檢測精度的同時，拓寬小波變換中用於信號檢測的尺度范圍。
分享友人