矛盾證明法 的英文怎麼說

中文拼音 [máodùnzhèngmíngfǎ]
矛盾證明法 英文
proof by contradiction
  • 矛 : 名詞（古代兵器） spear; lance; pike
  • 盾 : 名詞1. （盾牌） shield2. （荷蘭、越南、印度尼西亞等國的本位貨幣） guilder （荷蘭）; dong （越南）; rupiah （印度尼西亞）
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 矛盾 : 1 [哲學] [邏輯學] （在唯物辯證法中指對立統一關系; 在形式邏輯中指兩個概念互相排斥或兩個判斷不能同...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Afterwards, in order to decrease the contradiction between the more complex and mass remote sensing image data and relatively slow speed of information extraction, an improved sfim image fusion method is proposed. this modified algorithm is on the base of sfim fusion technique, combines ihs method and sfim method and then replaces the former mean filter by an adaptive weighted mean filter. compared with the results of several common fusion techniques through a set of simulation tests between multispectral images and panchromatic images, it is proved that the new method can get an excellent result for the aim of improving spatial resolution while preserving the spectral information of multispectral images

    論文的主要工作和成果包括：在像素層，論文研究了多傳感器數據融合理論及遙感圖像預處理的過程和步驟，歸納了多源遙感圖像像素層融合的常用演算法，並針對目前遙感數據呈海量化、復雜化這一發展趨勢同遙感信息提取的能力和效率滯后這一矛盾，在sfim演算法的基礎上，將ihs變換與sfim相結合，將原演算法中的均值濾波器改進為自適應加權均值濾波器，提出了一種改進的sfim演算法，通過對一組多光譜圖像和全色圖像的雙傳感器融合模擬對比試驗，證明了該演算法在保持原多光譜圖像光譜信息的同時，能夠有效提高融合圖像的空間分辨能力。
  2. Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic. based on a series of propositions and lemmas, the completeness of the negotiation logic is proved by construction. then the logic completeness and the consistency of ctn system are presented

    在對公理的有效性進行證明之後，證明了協商推理邏輯的可靠性和無矛盾性；在得出的一系列命題和引理基礎上，以構造的方法證明了協商推理邏輯的完全性，最後得出協商推理邏輯的完備性和整個ctn系統的無矛盾性。
  3. Therefore, should through the establishment strict mining area environment admittance mechanism, the strict mining right licensing system, establish the mining area environment to restore the government earnest money system, the perfect mining area environment legislates and is clear about the administrative law enforcement main body, strengthens the market in environmental protection function, strengthens the administrative guidance and the regulative mechanism, after takes to shut the ore correlation systems and so on environmental protection to resolve the mine environment question prominent contradiction

    為此，應通過建立嚴格的礦區環境準人機制，嚴格的礦業權許可制度，建立礦區環境恢復治理保證金制度，完善礦區環境立法及明確行政執法主體，強化市場在環境保護中的作用，加強行政引導和調控機制，重視閉礦后環境保護等相關制度來解決礦山環境問題突出的矛盾。
  4. However, in examing the existing system established by current related department laws, obvious contradictions and incongruities can be found between that and the above due system deduced from the constitution, which are mainly manifested in the following aspects : first, lack of regulations regarding the filing of prosecutions by prosecutorial organs against major civil illegal activities committed by citizens, legal persons or other organizations hampering state and social public interests ; second, absence of regulations on the participation of civil proceedings of the prosecutorial organs ; third, absence of regulations on lodging protest against non - effective court decisions ; fourth, failure to incorporate into regulations supervision models such as the issuing of prosecutorial suggestion and notice to redress illegalities, which prove to be effective in prosecutorial practices

    但是，從現行有關部門法所確立的實然制度分析，卻與上述從現行《憲法》規定推導出的應然制度之間有著明顯矛盾和不協調。這種矛盾和不協調集中地表現在：一是沒有規定檢察機關針對公民、法人或其他組織實施的侵害國家和社會公共利益的重大民事違法行為提起公訴的制度；二是沒有規定檢察機關參加民事訴訟的制度；三是沒有規定檢察機關對未生效裁判提起抗訴的制度；四是對檢察建議、糾正違法通知等這些被檢察實踐證明是行之有效的監督方式未有規定。
  5. It is always a paradox to improve the performance of tracking initialization and to reduce its time cost, through tracking initializationhas been divided into different ranks to which we have different treatment, initializing fleetly for high rank, waiting to the next one or two step to initialize for lower ranks, non - initializing for the lowest ranks. the result of simulation shows that this method accelerates the average initialization velocity with certain probability of initialization and false initialization

    航跡起始質量與航跡起始時間的矛盾一直是難以解決的問題，通過引入航跡起始等級化的方法，不同等級的起始航跡區別對待，等級高的航跡快速起始，等級較低的航跡延遲一步（或兩步后）起始，等級最低的航跡暫時不起始。模擬結果表明，此方法在保證一定航跡起始概率與虛假航跡概率的情況下，加快了平均起始速度。
  6. We have relied on our research officer, mr yu mo - wan, to correct mistakes and discrepancies of information arising from the sources, such as the writings of names, release dates, etc. i thank him for his advice and opinions

    編務工作上出現的各式問題，如原始資料相互矛盾影人名稱寫法互異公映年份不明確等等，全賴前輩余慕雲先生提供寶貴的意見並再予考證，本人謹此致謝。
  7. Based on document analysis and positive study, the thesis " feature is to analyze these problems, combined with theories of economics, labor market demands and economic model, to explain the reason of deep problems. at the same time, from the angle of the practical and feasible it putts forward adjusting methods for the undergraduate and universities in order to improve contradictory of supply and demand at present

    本論文的特色即為分析目前大學生就業問題，在運用文獻分析法和實證研究法的基礎上，並結合經濟學理論和勞動力市場需求理論及經濟學中的一些模型來說明目前高校擴招后就業困難產生的深層次的原因，並從實踐性和可操作性的角度上，提出一些大學生以及高校自身的調整方法來改善目前的供需矛盾問題。
分享友人
分享到 Line

分享到臉書