用程序檢驗 的英文怎麼說
中文拼音 [yòngchéngxùjiǎ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(指檢查船舶...
-
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萬個聚焦影片進行逐一檢查。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 "
判定為報廢的和超出保留期限的回用品由實驗室組長安排人員對樣品進行清理,回用的塊狀樣品退回給燒結工序,進行退磁處理,完成後按正常程序重新報檢,廢品交送生產車間廢品庫管理人員,辦理交接手續需填寫「樣品處置單」 。( 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以內。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值,並從理論上探討了水泥含量、彈性模量和表面能的修正對混凝土強度計算產生的影響,檢驗模型的正確性;第六章是結論與展望,根據研究綜述了本文對孔結構的一些研究結論並對孔結構發展作了相應的展望。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數據庫應用程序設計實現了相應的檢索功能和文獻查詢與知識錄入界面。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實現必須檢驗操作的正確性,並在應用程序傳遞錯誤參數或者執行非法操作時拋出異常。To start it, select the checkbox next to the application, then
要啟動它,選擇與應用程序相鄰的檢驗欄,然後選擇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
由於數據集是應用程序的一部分,所以它是生成應用程序特定驗證的合理位置(而不像在數據庫後端內置相同的檢查) 。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
物料供應管理科負責政府物料營運中心的運作、派駐各部門的物料供應職系人員的職系管理工作、安排和監察通用物品的已編配定期合約、預購必要和應急物品並進行驗貨程序、檢驗宿舍傢具和處理傢具存貨,以及處置物料。For one thing, closed source applications and operating systems can t be examined and verified for secure coding
首先,無法檢查和驗證封閉源碼應用程序和操作系統的編碼是否安全。The validator checks that the user does not enter a departure date earlier than the arrival date
驗證程序檢查用戶是否輸入了早於到達日期的離開日期。Aql sampling procedures for inspection by variables - specification for single sampling plans indexed by acceptable quality level for lot - by - lot inspection
變量檢驗用取樣程序.第1部分:用逐批檢驗合格質量等級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
您的應用程序在使用收到的數據之前,必須仔細檢查並評估這些數據,以驗證數據是否格式良好以及值得信任。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
步進電機控製程序主要完成脈沖分配和轉速控制兩個作用;應用程序主要是面向醫院相關科室的醫務工作人員,提供一個對病人血液濃度進行測量的平臺,滿足臨床檢驗的基本要求。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後端) 。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進行圖形應用程序的開發;最後進行了整套嵌入式實時控制伺服試驗系統的聯合調試,檢測並且修改各種參數的設置,分析實物實驗和計算機模擬結果之間的差異原因。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
本研究最後還以此框架原型為基礎,以基於面向對象框架的軟體開發方法為指導,通過一套中南林學院教務管理系統的開發為實踐,作為對該模式、模式語言及應用程序框架的檢測和驗證,從面找出其中不完善,不正確和不完整的地方,以作為下一步研究的目標和方向。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身份驗證將檢查用戶的憑據,並在必要的時候將用戶重定向到登錄頁。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軟體技術對數字表進行半自動校驗的實現方法及所應注意的問題,給出了程序校驗流程圖及部分程序。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安裝。分享友人