驗證和確認 的英文怎麼說

中文拼音 [yànzhèngquèrèn]
驗證和確認 英文
verification & validation
  • : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
  • : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
  • : 和動詞(在粉狀物中加液體攪拌或揉弄使有黏性) mix (powder) with water, etc. : 和點兒灰泥 prepare some plaster
  • : 形容詞1. (符合事實; 真實) true; reliable; authentic 2. (堅固; 堅定) firm
  • : 動詞1 (認識; 分辨) recognize; know; make out; identify 2 (建立關系) enter into a certain rela...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  • 確認 : affirm; confirm; acknowledge; identification; corroboration
  1. In order to know entirely about the students " mental health current condition in northeast far area, and treat the existing questions correctly, develop the mental health education, ducuments, action studying, comparing and experience summarizing ; on the basis of analyzing and summarizing the trend and problems in the development of psychology health job, we investigate and analyse 4451 students mental health condition ranging from grade 4 in primary school to grade 3 in senior school. at the same time, we make an auxiliary investigation of the environmental elements ( condition of school job, condition of teachers " psychology quality, family environment ) that effect the students mental health, and combine with the job experience, we will make an expositions about reginal and practical interference tactics

    為全面真實了解東北邊遠地區學生心理健康現狀,正識存在問題,從而積極、科學地開展心理健康教育,採用調查法、文獻法、行為研究法、比較法及經總結等方法,在分析總結國內心理健康教育工作發展趨勢存在問題的基礎上,對某地區市、縣、鄉各級各類學校小學四年級至高中三年級共4451名學生的心理健康狀況進行了調查分析;同時,對影響中小學生心理健康的環境因素(學校工作狀況,教師心理素質情況,家庭環境等)進行了輔助調查,並結合工作實踐,對區域性、具有針對性、實效性的干預策略進行了論
  2. With analyzing of the case study and based on simulating and analyzing quantitatively, this article, considering the goal of the performance - based fire - protection design is protecting occupants from being injured and keeping buildings from being damaged, thought that fire compartmentation of a large building of saling books can be divided according to their saling malls and fire compartmentation in the saling mall can be separated by the fire - proof screen. on the evacuation design, the quantity of safety exits around these buildings and the evacuation width should be increased if possible and the safety exit number, exit width and evacuation distance can be determined according to the simulating results on smoke layer temperature and height, concentration of co2 and co, occupants evacuation time and visibility. on the means of preventing and discharging smoke, the most proper measure should be determined according to their geometrical characteristics and the natural means of discharging smoke is feasible to the large building of saling books. based on analyzing of smoke

    通過對案例分析研究,本文為大型書城建築性能化防火設計研究的最終目的是保人員生命安全建築結構安全,在模擬計算量化分析的基礎上,大型書城的防火分區可以將中庭連通的書城區域劃分為一個區,在書城場地內可以採用防火卷簾進行防火分區劃分;在人員疏散設計中,應盡可能利用書城賣場的空間設計較多的安全出口增大疏散寬度,其安全出口數量、寬度疏散距離可以根據人員安全疏散時間煙氣溫度、沉降高度、 co2濃度、 co濃度、能見度模擬計算結果定;在防排煙方式的選擇上,應當根據建築物的幾何特點選取最適宜的措施,就大型書城建築而言,採用自然排煙的方式是可行的。
  3. Like any software project, portal project requirements are used to generate test cases, to perform validation and verification tasks did we build the right thing and was the thing built correctly ", and as part of customer acceptance testing

    與所有的軟體項目一樣,可以將門戶項目需求用於生成測試用例,以作為客戶接受測試的一部分執行任務( 「我們是否制定了正的需求,以及需求是否正制定」 ) 。
  4. Under the supervisor ' s instruction, the author, setting out from the angles of e - business status quo in china and the development of international lawmaking of electronic signature, makes a comprehensive research and discusses in depth on legal effect of electronic signature, evidential function of electronic signature, authentication system and the legislation of electronic signature, etc. and draws the following conclusions :. it is necessary to emend the related laws of signing in effect, or to stipulate a new law to establish the legal status and legal effect of electronic signature, to regulate and standardize the usage of electronic signature, so as to promote the e - business in china

    作者從我國電子商務的發展現狀及電子簽名國際立法動態的角度出發,在閱讀大量相關文獻、資料、專論的基礎上,積極借鑒國際先進立法實踐及經,在導師的指導下,對電子簽名的法律效力、據力、制度及電子簽名立法等法律問題進行了廣泛且有一定深度的探討,並得出如下結論:一、有必要對我國現行的相關簽名法律進行修訂,或另行制定新法,立電子簽名的法律地位效力,調整規范電子簽名的使用,以促進我國電子商務的發展。
  5. C. 1 control of customer - supplied documents and data ? the organization shall establish and maintain a documented procedure ( s ) to control all customer - supplied documents and data ( e. g., network architecture, topology, capacity, installation termination assignments, and database ) if these documents and data influence the design, verification, validation, inspection and testing, or servicing the product

    客戶提供文件及數據控制組織將建立並且維護文件化程序以控制所有客戶提供的文件數據(例如,網路體系結構,布局,容量,安裝結束任務及數據庫)如果這些文件數據影響設計,,檢查及測試,或服務于產品。
  6. We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    本文研究了安全協議的各種形式化方法,詳細研究了符號化模型檢工具smv的工作機制;定了使用smv作為工具對安全協議進行模型檢版needham - schroeder公鑰協議wooandlam對稱鑰協議。
  7. The thesis consist of six chapters and based on the way of propose the question, analysis, then get the solution. it discussed and recognized what the ship transportation cost was in chapter one ; studied the environment and growing trend of the cost in chapter two ; fully discussed and demonstrated the voyage variable costs and controlling method, proposed a mathematic decision model of fuel supplying and get through the validation, proposed the concept of risking cost and addressing many controlling measures to it in chapter three ; discussed a certain running costs, proposed and validated a mathematic model of condition - based maintenance, and put forward many practical controlling method of running costs such as crew payment, repairs, spare parts, stores and lub oils in chapter four ; combining a case of monthly running cost budget and verification, performed a useful learning on running cost budget, forecast and verification in chapter five ; finally fully studied the method of cost - calculating and benefit - analyzing of time chartering container ships on a proposed route

    第一章主要討論並清什麼是船舶運輸成本;第二章研究了船舶運輸成本的生存環境生長趨勢;第三章詳細論述並論了航次變動成本的控制措施,提出了燃油補給方案的決策模型並給出了模型的過程,提出了航次風險成本的概念並論述了若干航次風險成本的控制措施;第四章對船舶營運成本中的船員費用、維修保養費用、備件、潤物料費用等幾個主要的可控性較高的成本進行了細致的分析並分別討論了相應的控制措施,提出了基於狀態維修決策的數學模型並論了模型的正性及具體解算步驟,對于備件、潤物料的控制堅持以科學的預算為前提,以申領、接收、使用、盤存為控制環節,切實做到理論與實踐的密切結合;第五章結合營運成本的預核算的案例,對船舶運輸營運成本的預算及核算進行了有益的探討;第六章結合具體案例對期租班輪的成本測算與效益分析方法進行了細致的研究。
  8. Secondly, with the demands of monitoring plant water potential in mind, the apparatus has been tested with satisfactory results thirdly, utilizing that testing apparatus and nacl solutions at 20 c, a study is preformed to investigate the on - line non - invasive automatic monitoring technique of plant water potential, with some models of monitoring plant water potential properly established. results show that the second model of monitoring plant water potential is desirable after comparing. then, comparative measurements are done with kc1 solutions, using both the testing apparatus and the commercial wescor water potential meter

    利用所設計的試裝置不同濃度的氯化鈉溶液進行在線無創傷自動監測植物水勢的試研究分析,並建立了一些監測植物水勢的模型,經過比較分析,定最優地能實現在線無創傷自動監測植物水勢的模型;然後運用此模型對不同濃度氯化鉀溶液的水勢進行測定,以及與美國wescor公司生產的植物及土壤水勢測定儀進行比較測試試,通過對這些比較的分析,為此模型在植物水勢在線無創傷自動監測方面具有其可行性。
  9. C. special activities relating to marriage and family life can be organized at various levels e. g. diocesan, deanery and parish levels, such as celebrating marriage anniversaries, the feast of the holy family, valentine s day, fathers mothers day, etc. ; enhancing the esteem of the faithful for a successful marriage and a happy family through experience - sharing on exemplary marriages, a liturgy for renewing the marriage commitment and the witnessing to sound parent - child relationships, etc

    C .在不同層面如:教區總鐸區堂區舉辦有關婚姻及家庭生活的特別活動,如:慶祝結婚紀念聖家節情人節父母親節等並透過成功婚姻的經分享重宣婚姻盟誓的禮儀良好親子關系的見等活動,提升教友對幸福婚姻及美滿家庭的
  10. During the one month training, the participants took courses on haccp theory, haccp prerequisites, development of haccp plan, validation and verification of haccp plan, haccp application in planting, livestock, and food service. they also took this opportunity to visit the guelph food technology center, the university of guelph, the canadian research institute of food safety crifs, and a number of food processors in the area. as part of the training program, they also held discussion sessions with haccp and food safety experts from cfia as well as other federal and provincial government agencies

    培訓過程中,學員們系統地學習了haccp原理應用前提haccp計劃制訂haccp師資培訓haccp體系審核haccp在種養殖零售餐飲環節應用「加拿大食品安全提高計劃」 fsep風險分析sqf食品防護等食品安全相關知識,實地考察了圭爾夫食品技術中心圭爾夫大學加拿大食品安全研究所以及一些食品生產企業,同時也與來自加拿大食品檢查署等聯邦地方政府部門的專家進行了討論。
  11. This thesis starts with a general review of this theory, and takes a positive mean to test the applicability of the cultivation assumption in china by taking into consideration the variables of the media mechanism, the states of the audience, cultural background, etc, and investigates the differences of the individuals formed from their interactions with the media, to identify and explore the status quo and functions of the cultivation functions of chinese mass media

    本研究在對該理論進行全面回顧系統梳理的基礎上,充分考慮中國傳媒機制、受眾狀況、文化環境等變量,以實的手段檢涵化假設在我國的適用性,考察不同個體在與傳媒的互動中形成的差異,、探索了中國大眾傳媒涵化功能的存在狀態及作用特徵。
  12. The thesis describes the conception of the object - oriented modeling and integrated simulaton enviroment, and discusses the below topics : ( 1 ) describe the reasonable structure of the modern fighter simulation system, and design the data transfer interface. ( 2 ) discuss the modeling method of the key subsystem of future fighter system especially the aerodynamics and the control system in detail. ( 3 ) construct the 3d model of the aircraft and scene, and verify the graphic simulation technique based on pc

    本文詳細討論了面向對象建模方法以及一體化模擬環境的基本概念框架及基本結構並在此基礎上提出了合理的現代戰斗機模擬系統結構,設計了模擬系統的數據傳遞介面;詳細討論了現代戰斗機模擬系統關鍵子系統? ?飛機本體、飛行控制系統建模方法;建立了用於研究的飛機以及視景的三維顯示平臺;並在此基礎上實現了實性的基於pc的現代戰斗機圖形模擬平臺,對模擬模型有效性工作做了初步的探討,研究比較了傳統飛行動力學運動學方程四元數法在飛行模擬中的效果。
  13. Detailed address validation is a function you can select to validate the street number range and the suiteapartment range of your ship to address for u. s. to u. s. shipments

    「詳細的地址」是您能選擇的一種功能,用以您從美國到美國貨件的「運輸目的地」地址的街道編號范圍套房公寓范圍。
  14. On the other hand, the opening and insecure internet brings up a new task to the rfmdms based on the internet that how to ensure the security of data transporting in many application fields such as the military equipments " maintenance and etc. the security of data transporting on the internet is mainly made up of three aspects : identity authentication, encrypted data transporting and digital signature

    網路數據傳輸安全主要解決在網路環境下用戶之間身份、數據加密傳輸以及實現數字簽名三個方面問題:用戶身份了通信的源點目的點的正性;數據加密傳輸保了數據在網路的中間節點不會泄露通信秘密;數字簽名可以保發送信息的一方不能對自己發送過的信息進行否
  15. Verification and validation of scientific and engineering computer programs for the nuclear industry, guidelines for

    核工業科研工程用計算機程序驗證和確認導則
  16. The mathematical methods of theoretical analysis to determine some unknown or omitted parameters in combat efficiency theory of military aircraft based on the present models of combat efficiency of airforce equipment and the actual data of military operation are introduced in order to develop or improve the theory with practical work and some new concepts, such as combat efficiency and actual efficiency among airforce mission. for example, the combat efficiency usually comes from academic research and could be also called appraisal efficiency or static efficiency. after modified with actual data of military operation of past records which also could be seen like actual combat efficiency, confrontation efficiency and dynamic efficiency. through calculation and analysis it must be noted that the numerical value of actual combat efficiency is larger or much larger than the value of combat efficiency

    通過應用現有的作戰飛機空戰效能的數學分析模型,在已有的歷史空戰實例資料數據的基礎上,進一步定或者探討有關戰效分析的數學模型中的待定因子或者假想忽略不計的參數,進而對作戰飛機空戰時的效能評估的研究模型作一些完善性質的分析,從而提出有關戰斗機空戰時作戰效能評估的新思路或新概念.比如,通常所理解的作戰效能,也稱為評估效能或靜態效能,經過加權以後,形成實戰效能或對抗效能,也可稱為動態效能.經過計算分析,為對抗效能的數量級別,要比評估效能的數量級別大,甚至很大
  17. After completion of a satisfactory qualification, a formal release for the next step in qualification and validation should be made as a written authorization

    完成後,要對其驗證和確認的書面版本進行正式的發放。
  18. Svvp software vevification validation plan

    軟體驗證和確認計劃
  19. Specifies that dcom authenticates and verifies that none of the data that is transferred between the client and the server is modified

    指定dcom驗證和確認未修改在客戶端服務器之間傳輸的任何數據。
  20. In recent years, with the development of computer simulation, system modeling and w & a ( verification, validation, and accreditation ), we can carry on the tests in many aspects and ways to demonstrate the weapon systems " maintainability

    近年來,由於模擬技術、系統建模技術以及模型的校核、驗證和確認( vv & a )技術的發展,對武器裝備維修性的評定,可以從多角度、多途徑進行試
分享友人