用程序檢驗 的英文怎麼說

中文拼音 [yòngchéngjiǎnyàn]
用程序檢驗 英文
programming check
  • : Ⅰ動詞1 (使用) use; employ; apply 2 (多用於否定: 需要) need 3 (敬辭: 吃; 喝) eat; drink Ⅱ名...
  • : 名詞1 (規章; 法式) rule; regulation 2 (進度; 程序) order; procedure 3 (路途; 一段路) journe...
  • : Ⅰ動詞1 (查) check up; inspect; examine 2 (約束; 檢點) restrain oneself; be careful in one s c...
  • : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
  • 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
  1. We have scanned more than 10 aerogel tiles in the cosmic dust lab in houston and have recently written a computer program that checks the focus on each of the 40, 000 focus movies we have so far

    在休斯敦的「宇宙塵埃實室」我們已經掃描了超過10個氣凝膠塊,並新近編寫了一個來對迄今為止得到的4萬個聚焦影片進行逐一查。
  2. The laboratory group leader shall assign a person to clear recycling samples that are judged as cancelled or out of the storage life ; recycling piece samples shall be returned to the sintering procedure, demagnetized, and then after completion, reported for inspection according to the regular program ; any waste samples shall be sent to the keeper of the waste warehouse of the production workshop, and relevant delivery procedures need be handled by filling in the " form for disposal of samples "

    判定為報廢的和超出保留期限的回品由實室組長安排人員對樣品進行清理,回的塊狀樣品退回給燒結工,進行退磁處理,完成後按正常重新報,廢品交送生產車間廢品庫管理人員,辦理交接手續需填寫「樣品處置單」 。
  3. ( 2 ) the liman problem is normally adopted to check the liability of numerical method. the calculation error was within 9 % by comparison with the theoretic solutions of liman problem in the following case, the dimensionless calculation length was 2 with high pressure zone 0. 8, and the dimensionless state parameters were p1 = 2, p2 = 1, p1 = p2 = 1, u1 = u2 = 0. experiment results in literature [ 8 ] were used to check the adaptability of the numerical model developed here for unconfined gas cloud explosions and the calculation error was within 13 %

    ( 2 )數值方法的可靠性通常黎曼問題的解析解,本文以無量綱計算區長度為2 ,高壓區長度為0 . 8 ,狀態參數為p _ 1 = 2 , p _ 2 = 1 , _ 1 = _ 2 = 1 , u _ 1 = u _ 2 = 0條件下的黎曼問題解析解對所編制的爆炸場計算進行了考核,結果表明該的計算誤差在9以內;為考核本文計算模型預測開敞空間氣雲爆炸的適性,以文獻[ 8 ]的實數據進行了校核,計算誤差在13以內。
  4. The important meaning in which this direction studied has lain in establishing the connection between the material science of concrete and civil engineering, analyse the strength in terms of material microcosmic or the mesoscopic, have important meaning to understanding, know the essential law of the strength of concrete. this text divides six chapters altogether. chapter one reviewed the pore structure in nowadays domestic and international research current situation, including the concrete examines research, research of the pore structure model and the research current situations of pore structure and strength relation of the pore method, have introduced some most important achievements of structure research of pore ; chapter two narrated much yardstick of the material mesoscopic structure of concrete and principle of examining pore technology of material of concrete, and the commonly used sign parameter in discussedding the pore and material pore of quito of cement and analyse, have explained that the influence factor of mip to the result of study of pore, has pointed out the limitation in mip in the pore structure ; analyse porosity and strength relation development course of model emphatically, and has carried on comparative analysis to the existing model, has pointed out the weak point of the original model ; on the basis of " ing integrate synthetically ", propose concrete pore structure compound body model and pore physical model of systemlex body ; chapter five carried on the corresponding test data to compares to the model parameter appearing in model of chapter four with and analyses, have received k value of the characteristic of strength of matrices of reflecting according to the method to return to analysis, and calculate the influence produced on the strength of concrete in revision that can probed into the content of cement, elastic mould and surface energy, exactness of the inspection model ; chapter six is the conclusion, according to studying the survey this text to some research conclusions of the pore structure and making corresponding prospect to the structure development of pore

    第一章回顧了孔結構在當今國內外的研究現狀,包括混凝土測孔方法的研究、孔結構模型的研究及孔結構與強度關系的研究現狀,介紹了孔結構研究方面的一些最重要的成果;第二章敘述了混凝土材料細觀結構的多尺度性及混凝土材料測孔技術的原理,並討論了水泥基多孔材料孔隙分析中常的表徵參數,也說明了壓汞法測孔對研究結果的影響因素,指出了壓汞法在孔結構研究中的局限性;第三章是著重分析了孔隙率與強度關系模型的發展歷,並對已有的模型進行了比較分析,指出了原有模型的不足之處;第四章在「綜合集成」的基礎上,提出了混凝土孔結構復合體模型和孔系統的物理模型,並模擬了該模型下由各單體並聯形成的復合體的斷裂過,最後根據所建模型編制了相應的計算,可根據輸入的孔徑分佈與水泥含量等參數,實現混凝土理論強度的計算;第五章對第四章模型中出現的模型參數進行了相應的試數據對比分析,根據回歸分析的方法得到了反映基體強度特徵的k值,並從理論上探討了水泥含量、彈性模量和表面能的修正對混凝土強度計算產生的影響,模型的正確性;第六章是結論與展望,根據研究綜述了本文對孔結構的一些研究結論並對孔結構發展作了相應的展望。
  5. Fom offered a knowledge base to fors. opencyc ' s upper ontology and inference engine were used in constructing fors. oracle 9i was used as the dbms of fors, and oracle designer was used as the toolkit for developing the document - querying and knowledge - importing interfaces

    花卉學文獻試性本體索系統以中國農業科學文獻數據庫作為目標文獻庫,以本論文構建的花卉學本體模型為基礎,採opencyc開放源代碼項目的頂級本體結構和推理引擎,利oracle數據庫應設計實現了相應的索功能和文獻查詢與知識錄入界面。
  6. Normally, a dom implementation must verify the correctness of operations and throw an exception if an application passes the wrong parameters or performs an illegal operation

    一般情況下, dom實現必須操作的正確性,並在應傳遞錯誤參數或者執行非法操作時拋出異常。
  7. To start it, select the checkbox next to the application, then

    要啟動它,選擇與應相鄰的欄,然後選擇
  8. Because the dataset is part of your application, it is a logical place to build application - specific validation unlike building the same checks into the database backend

    由於數據集是應的一部分,所以它是生成應特定證的合理位置(而不像在數據庫後端內置相同的查) 。
  9. This division is responsible for the operation of the government logistics centre, the grade management of supplies grade staff in various departments, arranging and monitoring allocated term contracts for common - user items, provisioning and inspection for essential and emergency items, handling quarters furniture inspection and inventories and disposal of stores

    物料供應管理科負責政府物料營運中心的運作、派駐各部門的物料供應職系人員的職系管理工作、安排和監察通物品的已編配定期合約、預購必要和應急物品並進行宿舍傢具和處理傢具存貨,以及處置物料。
  10. For one thing, closed source applications and operating systems can t be examined and verified for secure coding

    首先,無法查和證封閉源碼應和操作系統的編碼是否安全。
  11. The validator checks that the user does not enter a departure date earlier than the arrival date

    戶是否輸入了早於到達日期的離開日期。
  12. Aql sampling procedures for inspection by variables - specification for single sampling plans indexed by acceptable quality level for lot - by - lot inspection

    變量取樣.第1部分:逐批合格質量等級
  13. It is essential that your applications carefully examine and evaluate data as it is received to verify that the data is well - formed and trustworthy before using it

    您的應在使收到的數據之前,必須仔細查並評估這些數據,以證數據是否格式良好以及值得信任。
  14. The application program is used to provide a platform for the doctors to examine patients ’ blood viscosity for meeting the demand of clinical test. the application program mainly includes these models as follows : data processing, results analysis, data management and so on

    步進電機控製主要完成脈沖分配和轉速控制兩個作;應主要是面向醫院相關科室的醫務工作人員,提供一個對病人血液濃度進行測量的平臺,滿足臨床的基本要求。
  15. In addition, the user can specify an external check program to verify the existence of a user or a group if local and nis checks are not enough for instance, to check ldap backends

    此外,如果戶覺得本地和nis查還不夠,那麼可以指定一個外部戶或組是否存在(例如,查ldap後端) 。
  16. Particularly characteristics of driver of linux os are introduced, the date - collecting card ' s driver has been written, causes of using minigui are explained, actualizing principles of minigui are studied and the program which actualizes minigui has been compiled. f inally a complete set of real - time embedded control system is debugged, all kinds of parameters are measured and amended, the causes of difference between real experiment and computer simulation are analyzed

    詳細介紹了linux下外設驅動的特點,編寫了數據採集卡在linux操作系統下的設備驅動;解釋了採minigui的原因,研究了minigui的實現原理,以及如何進行基於minigui進行圖形應的開發;最後進行了整套嵌入式實時控制伺服試系統的聯合調試,測並且修改各種參數的設置,分析實物實和計算機模擬結果之間的差異原因。
  17. This research finally returnees with the foundation of this frame prototype, then according to the leading of the development method of object frame, and practicing the educational administration management system " s development of the central south forestry university to fulfillment, and be used as to examination that patterns, pattern language and application program frame with verify, from target for find outing among them not perfectly, inaccuracy with not complete place, with conduct and actions next move studying with direction

    本研究最後還以此框架原型為基礎,以基於面向對象框架的軟體開發方法為指導,通過一套中南林學院教務管理系統的開發為實踐,作為對該模式、模式語言及應框架的測和證,從面找出其中不完善,不正確和不完整的地方,以作為下一步研究的目標和方向。
  18. Because you specified in the configuration file that all unauthenticated users are denied access to the application s asp. net resources which includes. aspx files ; but does not include static files such as html files or multi - media files including images, music, and so on, when a user requests the page, forms authentication will check the user s credentials and redirect the user to the logon page if necessary

    由於您在配置文件中指定拒絕所有未通過身份證的戶訪問應的asp . net資源(包括. aspx文件,但不包括靜態文件,例如html文件或包括圖像、音樂等在內的多媒體文件) ,因此,當戶請求該頁時, forms身份證將戶的憑據,並在必要的時候將戶重定向到登錄頁。
  19. The calculation method of the uncertainty of the examination by error theory is introduced. the semi - automatic method to examine the digital meter by vb technique and the problems existed in the process are discussed. the program flow diagram and part of program are given

    使其具有測試、數據處理、數據存貯、證書列印、查詢文檔等功能;介紹了測軟體主要設計過;利誤差理論分析了誤差,詳細介紹了不確定度的計算方法;介紹了利visualbasic軟體技術對數字表進行半自動校的實現方法及所應注意的問題,給出了圖及部分
  20. Deploy exchange server 2003 easily against a checklist, with tools and utilities to verify that your organization is ready for the exchange 2003 installation

    根據查表輕松部署exchange server 2003 ,並使工具和實證組織已準備好進行exchange 2003安裝。
分享友人