證言的可靠性 的英文怎麼說

中文拼音 [zhèngyándekěkàoxìng]
證言的可靠性 英文
reliability of testimony
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 的 : 4次方是 The fourth power of 2 is direction
  • 靠 : Ⅰ動詞1 （憑借別的東西的支持立著或豎起來; 倚靠） lean against [on]: 把梯子靠在墻上 lean a ladder a...
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 證言 : deposition; oral testimony; testimony; verbal evidence; witness
  1. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  2. It is the very basis and the great heritage of the english people to this country, which we have maintained, that we insist on the strictest rules of credibility of witnesses and on the avoidance of hearsay, and that gossip shall be excluded, in the courts of justice

    正是由於我們所保持的英國人民給予這個國家的基礎和傳統，我們堅決主張在法庭上對證人的可靠性應有最嚴格的規定，避免傳聞證據，排除流言蜚語。
  3. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  4. This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  5. On the platform of the 3ds max and max script, the 3d modeling, motion simulation and interference analysis for the new type of parallel machine tool are developed in the virtual environment. based on it, the reliable foundation is provided for checking the dynamic and static interference problems of machine tool structure design, verifying the rationality of path planning, and appraising the technological process and the rationality of the processing parameters of parts

    基於3dsmax和maxscript腳本語言開發平臺，在虛擬環境下進行了並聯機床的實體建模、運動模擬和干涉分析，為檢查機床結構設計中的動靜態干涉問題、驗證軌跡規劃的合理性、實現對零件可加工性及加工參數的合理性評價提供了可靠的依據。
  6. The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language

    本文的特色體現在: （ 1 ）提出了可以描述動態模糊性問題的演算的變形方法; （ 2 ）提出了可以解決動態模糊性問題的dfl程序設計語言的操作語義模型，並對該模型的正確性和可靠性進行了證明; （ 3 ）提出了dfl程序設計語言的基本框架結構。
  7. Finally, complete the system and realize all functions. based on this system, a discrete event system model using general purpose simulation system - gpss is established to validate and evaluating home automation system ' s reliability and performance. according, a lot of experiments, many stimulant examinations are done, and obtained a series of data

    在此基礎上，為了驗證家庭自動化系統的可靠性和評判其通信性能，使用通用模擬系統語言? ? gpss對所設計的家庭自動化網路系統建立了離散事件系統模型，並利用此模型進行了模擬試驗，獲得了一系列的試驗數據。
  8. The special software package was compiled and encapsulated as com component, ocx or dll, which can be called by many programming languages. as a result, the transplantation, versatility and reusable ability are ensured fully

    該軟體包最終封裝為com組件、 ocx控制項或dll動態連接庫的形式，可被window環境下使用的大多數編程語言及軟體所使用，從而使移植性、通用性以及復用性都得到了可靠的保證。
  9. How well the predictions will be validated by the later per * * * ance depends upon the amount, reliability, and appropriateness of the in * * * ation used and on the skill and wisdom with which it is interpreted

    這些預言多大程度上被其後的表現所證實既取決于採用信息的數量、可靠性和適用性，還取決于解釋的技巧和智慧。
  10. This thesis designs automobile braking performance inspecting and control system. this thesis consists of three main parts. something about automobile braking system design has been discussed in the first part according to the main requirement of gb7258 - 2004 《 the requirement for motor vehicle, running safely 》. the hardware has been designed according to the characteristic of the parameter afer establish the whole plan for inspecting it. and then working principle of each part has been introduced. and at last, we designed software depending on the require to inspection and function. we can educe the braking power of both wheels, braking moment retardarce power and other parameters. we designed sensor signal processing circuit which including power sensor signal processing circuit and speed signal measure circuit according to the require of designing parameter. ad620 is used as power sensor. in order to measure the power of the automobile braking and protect the electromotor. so we must measure both

    由汽車制動測試原理以及制動性參量檢測的技術指標可知，檢測數據準確性、控制可靠性、實時性和抗干擾能力是系統設計的關鍵。本文在掌握汽車性能檢測系統結構和原理的基礎上，根據國家有關標準和汽車制動性檢測系統的控制邏輯提出了採用單片機為控制器的總體方案，設計了各部分硬體電路，並根據所要實現的功能用c51語言設計了軟體。由於檢測現場存在各種干擾噪聲，為了保證系統運行的穩定性和可靠性以及測量精度的要求，分別從硬體和軟體的角度出發，介紹了常用的硬體抗干擾措施以及軟體數字濾波的原理和方法。
  11. According to the idea of the finished em - plant hiberarchy and dynamic model and the process characteristics and simulation aims of container terminals, the paper introduce the characteristics and modelling process of discrete event ; at the specification of em - plant, the paper show the modelling unit and programming function of em - plant detailedly. next, a computer simulation model of container terminal logistics system is made based on the software of em - plant and is validated by the data of an actual terminal. at last the model is used to analyze the present productivity of an actual container terminal and the bottleneck of its logistics system after the terminal is expanded, and provides the decision support for the terminal

    根據天津港集裝箱碼頭物流系統的層次模型和動態模型的思路，以天津港碼頭的數據為原型，根據天津港集裝箱碼頭生產作業的特點與模擬目標的要求，介紹了離散事件系統的特點和對離散系統模擬的步驟，在em - plant的主要特點說明中，詳細介紹了em - plant的建模單元和其編程功能，針對本模型的特點，說明了模型的結構和模擬目標，在保持模型主要特點和功能的前提下對模型進行了必要的抽象和簡化，然後藉助現代離散事件動態系統模擬語言em - piant ，建立了集裝箱碼頭物流系統的計算機模擬模型，並利用碼頭的實際營運數據驗證了模擬模型的可靠性。
分享友人
分享到 Line

分享到臉書