驗證思想 的英文怎麼說

中文拼音 [yànzhèngsīxiǎng]
驗證思想 英文
test ideas
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 思 : Ⅰ動詞1 （思考;想） think; consider; deliberate 2 （思念; 懷念） think of; long for Ⅱ名詞1 （思路...
  • 想 : 動詞1 （思索） think; ponder 2 （推測; 認為） suppose; reckon; consider; think 3 （希望; 打算） w...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. According to the research, the major work done is as following : < 1 > analyzes the symmetric - key encryption algorithm des and dissymmetric - key encryption algorithm rsa, and makes them easy to realize in hardware. < 2 > according to the algorithms and the thought of reconfigurable computing, the dissertation accomplishes the design of 64 - bit des system architecture and the design of 256 - bit ~ 1024 - bit rsa system architecture. < 3 > using the top - down high level design methodology and the hdl language, accomplishes the description of the des / rsa designs, the simulation and the synthesis

    本論文主要的研究工作： < 1 >對現有的對稱加密演算法des演算法和非對稱加密演算法rsa演算法進行分析，使其易用硬體實現； < 2 >基於可重構思想和特點，完成64位des演算法和256位1024位模長rsa演算法的可重構硬體的設計； < 3 >採用自頂向下的設計方法，利用hdl語言對des / rsa設計進行功能描述，並完成軟體模擬，綜合和布線； < 4 >在可重構計算驗證平臺上進行演算法驗證，並對設計的可重構和設計的進一步優化進行討論。
  2. Guided by the basic principles of marxism theory and in virtue of the theories of bionomics, jurisprudence, legislation, environment law, city planning, environment education and so on, the paper firstly sums up the theories of legislation safeguard for the construction of ecocity and then sets forth the theory foundation of the legislation for construction of ecocity. secondly, in virtue of research methods of odd gene and system analyse, value analyse and demonstration analyse, the analysis of compare and nomology deduction, it makes a thorough anatomy on the problem of the legislation safeguard for our country ' s construction of ecocity practically at present. thirdly, based on discussing the construction of ecocity in foreign countries, their experience of legislation safeguard and revelation for our country, it probes deep into the construction of our country ' s law safeguard system for the construction of ecocity, and thinking and principles of legislation for promoting the legal system of our country ' s construction of ecocity are put forward guided mainly by the the theory of sustainable development. at the same time, the structure and skill of legislation for our country ' s law of promoting the construction of ecocity are particularly discussed

    本文以馬克思主義基本原理為指導，借鑒城市生態環境學、法理學、立法學、環境法學、城市學、環境教育學等相關學科的理論，運用單因子分析與系統分析相結合、規范分析與實證分析相結合、比較分析與法理演繹分析相結合的研究方法，在對生態城市建設立法保障理論進行綜述的基礎上，首先從法理角度論述了生態城市建設立法的理論基礎，並結合實際，對當前我國生態城市建設的立法保障問題作了深入剖析。然後，在借鑒國外生態城市建設及其立法經驗的基礎上，對構建我國生態城市建設的法律保障體系進行了系統深入地探討，提出以可持續發展思想為理論主導的促進我國生態城市建設法制的立法思路和原則，同時，對我國《生態城市建設促進法》的立法架構與技術進行了初步探討。
  3. The software life cycle will be orbicular when the recycling tache take place. in the green - design website this paper calls it green code, and starts to make the first application and usage on it

    為了應用綠色製造思想和驗證綠色代碼概念，綠色網站研發過程中大量採用了綠色代碼，成為應用綠色代碼降低開發成本的典範，並初步實現了綠色代碼庫的底層技術框架。
  4. The designs of the pfd, digital filter ocxo and fractional - n counter in the frequency synthesizer unit are discussed, based on the pll theory. in order to improve the precision of pll, some design methods of pfd are given, and its feasibility is validated by the fpga hardware implement

    2 .在鎖相理論指導下，第三章討論了頻率合成器設計中的鑒頻鑒相器、數字濾波器、恆溫壓控振蕩器和分頻電路設計。為了進一步提高頻率合成的精度，文中給出了提高鑒頻鑒相器性能的一些設計思想，結合fpga的硬體設計驗證了其可行性。
  5. These theorems is the basis and guideline for constructing and verifying the weak derivation set according to the invertibilrty of attribute mapping, thus improves the basic theories of data lineage tracing

    這些定理為作者根據屬性映射的可逆性構造和驗證弱起源集提供了基本依據和指導思想，豐富了數據志跟蹤的基本理論。
  6. Next, this thesis presents a data lineage tracing approach, wivem ( weak inversion and verification of attribute mapping ), which can calculate ( attribute - level ) derivation set of attribute mapping

    作者根據可逆與弱可逆的思想，提出了一種「基於屬性映射的弱逆與驗證的方法（ wivem ， weakinversionandverificationofattributemapping ） 」求解屬性映射的（屬性級）起源集。
  7. In the scientific world, unless an experiment is repeatable by an independent observer, its findings are considered invalid. so this is exactly what dr. masaru emoto, a visionary researcher from japan did. through repeatable experiments he demonstrated that human thoughts and emotions can alter the molecular structure of water

    而這里提到有關思想的實驗，正是由日本一位具有遠見的研究者江本勝masaru emoto博士所做的，他藉由可重復驗證的實驗，證明了人類的思想及情感可以改變水分子的結構。
  8. Based on local coupling mode theory of graded index optic fiber wave guide, the variation regularity of coupling output light has been deduced when sound wave acts on single mode optic fiber coupler. and a new idea has been proposed that a novel sensor can be applied on detection of acoustic / vibration. the sensing element of sensor is the melting area of single mode coupler in which the feasibility of the new - type optic fiber sensor has been proved in experiment

    本文從緩變光纖波導的局部耦合模理論出發，推導出了單模光纖耦合器耦合分光在聲波作用下的變化規律，提出了以單模光纖耦合器的熔融區為傳感元件的傳感器在聲振動信號檢測中應用的新思想，並實驗論證了這種新型光纖傳感器應用於實際的可行性。
  9. On - line handwriting signature verification is a hot direction of the biometric identity recognition. this paper tries to apply the evolutionary computation theory to on - line handwriting verification

    在線手寫簽名驗證是目前生物特徵識別領域較為熱門的一個方向，論文試圖將演化計算的思想，用於在線簽名驗證。
  10. The latter covers subordinate satisfaction, leader ' s pressure and illness, evaluation and self - evaluation. finally, supported by the findings, some analyses of fiedler contingency theory are given in the paper, which are : 1. its basic contingency idea has been proved in the study

    最後，綜合量與質的研究結果，對菲德勒權變理論進行分析： 1 、該理論開創的基本權變思想在研究中得到論證； 2 、測量領導方式的「最不喜歡同事量表」的實際預測功能得到檢驗。
  11. He was continually giving vent to a sarcastic laugh as he went on proving, and at last scornfully abandoned all attempt to prove, his position, as a mathematician will refuse to establish by various different methods a problem he has once for all proved to be correctly solved

    他不斷露出譏諷的冷笑，證明了又證明，最後他輕蔑地停止了證明，彷彿他是一個數學家停止用各種書法驗算一道已經證明無誤的算題一樣。沃爾佐根繼續用法語代他說明他的思想，並不時對普弗爾說： 「 nicht wahr ， exellenz ？ 」
  12. Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic

    為了形式化驗證數字現金的安全性，本文在經典一階邏輯的基礎上，吸取了多類邏輯、動態邏輯和非單調邏輯的思想，提出了bzl邏輯模型。
  13. We used delphi language to develop a ga - bp neural network ' s simulation software in this paper, which implemented the thoughts of threshing performance modeling. using this simulation software, we gave a experiment on the speed - controlled threshing unit for wheat offered by the college engineering of luoyang, the result of test verified the feasibility of threshing performance modeling. in the end of this thesis, the application prospect and further research domains of ga - bp neural network are presented

    本文用delphi語言開發的模型模擬軟體實現了基於ga - bp演算法的神經網路用於對脫粒裝置性能模型進行優化的的思想，並利用該模型模擬軟體對洛陽工學院農機研究室1994年的小麥控速喂入脫粒裝置進行了性能建模模擬試驗，試驗結果驗證了該模型用於脫粒裝置性能建模研究的可行性。
  14. Utilizeing the iterative approach to improve the density of anchor nodes gradually, and taking advantage of the concept of dv routing, a novel distributed, hop - by - hop, simple positioning algorithm, referred to as hop - euclidean, is presented and simulated. the results show that it has the good positioning accuracy and coverage 4

    3 、以euclidean演算法為基礎，融入距離矢量路由和迭代循環的思想，設計出一種新的定位演算法，稱為hop - euclidean ，對其核心思想和演算法進行討論，並進行模擬驗證。
  15. Firstly, we introduced the main idea, the formalized description, and the basic flow of co - evolution algorithm. then, from the point of pattern analyzation, we established the mathematics model of the multi - population co - evolution algorithm based on pattern replicator equation of the single population genetic algorithm, and made the theoretical analysis and compare for the method of best choice and the method of random choice of the co - evolution algorithm. we put forward a new method for the individual fitness evaluation, and validated the performance of the new method by the simulation experiment

    首先，在介紹了協進化演算法的核心思想、形式化描述和基本演算法流程的基礎上，從模式分析角度出發，建立了基於模式復制方程的多群體協進化演算法數學模型，對協進化演算法中的最優選擇法和隨機選擇法進行了理論分析與比較，提出了一種新的個體適應度評價方法，並通過模擬實驗驗證了新方法的效率。
  16. The industrial furnace is a complex and unwieldy object for control. scholars of control are paying a good deal of attention to this problem ' s solution. in this paper robust self - regulating algorithms is put forward, base on human practical operating for adjust system " s gain

    基於人類在實際控制操作中調整控制增益的思想，提出一種魯棒自校正模糊控制器，並針對兩種不同對象進行了模擬研究，驗證其性能指標優于傳統模糊控制器。
  17. The way that use double watermark technique, and use asymmetric secret key system and a different secret key during watermark checking gives a novel idea to people : different information can be embedded into the image according to different requirement and provided for multiple utilization, because fragile watermark only require the trusted third part to extract and the user is transparent. the robust watermark required the authentication centre to extract the watermark. at the same time, the zero knowledge proof for the author id can be done by the authentication centre, which is the idea of the cryptology authentication and can solve problem of the copyright ownership more effectively

    雖然本文對該模型提出的演算法並沒有具體實現，但是，在同一幅圖像中嵌入魯棒水印與易損水印的雙水印技術，以及採用的非對稱密鑰體制即在水印嵌入過程與水印檢測過程中使用了一對不同的密鑰，可為人們提供一個新的思路：由於易損水印只需通過可信任第三方提取，對用戶是「可見」的，因此可根據需要嵌入不同的信息，多方利用；魯棒水印的提取需要認證中心提取，同時可由認證中心對商家身份進行的零知識驗證，體現了密碼學的認證思想，更能解決版權糾紛的所有權問題。
  18. Like military war games, business war games are exercises that anticipate activities under specific situations or conditions in order to help an organization devise strategies, develop courses of action, plan initiatives and test ideas

    就軍事野戰一樣，商業野戰是在特定情況或條件下做出預測，以助於組織制定策略，進一步草擬、實施計劃和驗證思想。
  19. Verification languages offer powerful language platform for verification engineers. they can focus on the expression of verification thought other than the one of language details by using verification languages other than hardware description languages to build verification environment

    本文提出通過驗證語言而不是硬體描述語言來建立驗證環境，幫助驗證工程師將時間與精力集中在驗證思想的表達上而不是對驗證實現細節的表達上。
  20. Prof. guo zhiguang ' s differentiation methods and clinical experiences on the treatment of cardiovascular diseases

    郭子光辨治心血管疾病的臨證思想與經驗
分享友人
分享到 Line

分享到臉書