檢驗和代碼 的英文怎麼說
中文拼音 [jiǎnyànhédàimǎ]
檢驗和代碼
英文
check sum code- 檢 : Ⅰ動詞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
- 和 : 和動詞(在粉狀物中加液體攪拌或揉弄使有黏性) mix (powder) with water, etc. : 和點兒灰泥 prepare some plaster
- 代 : Ⅰ動詞1 (代替) take the place of; be in place of 2 (代理) act on behalf of; acting Ⅱ名詞1 (歷...
- 碼 : Ⅰ名詞(表示數目的符號或用具) a sign or object indicating number; code Ⅱ量詞1 (指一件事或一類的...
- 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque(指檢查船舶...
-
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數據庫應用程序設計實現了相應的檢索功能和文獻查詢與知識錄入界面。? to make the solid have realistic surface, we adopt advanced solid modeling method - constructive solid geometry. ? to free end - user from overwork, we presents and realizes many auto - processing algorithms, such as searching of inner - point, definition of polygon ' s counter - clockwise direction, as well as generation of numeric control codes. ? to checkout the collision and interference between cutter and part, we accomplish numeric control machining simulation, which can help end - user validate the correctness and rationality of numeric control codes, so it is needless that do repetitive test - cut before normal manufacture
正如將在後續章節中所講述的那樣,我們在系統中採用了許多先進的技術,其中主要包括以下幾點:採用分層設計思想,使三維物體的設計得到了簡化;採用先進的實體造型方法,使所建立的實體真實感強;實現了內點自動查找、多邊形方向自動定義等演算法,提高了系統的自動化水平;實現了刀具軌跡的自動生成、優化;實現了數控代碼的自動編寫,克服了手動編寫的缺點;實現了數控加工模擬,能檢驗數控代碼的正確性和合理性,並能自動檢測刀具與工件之間的干涉。As class - a freightforwarder, with 10 years wtriving and development, not only have we accummulated plenty of experience inthe filed and constructed an excellent both and professional service team, we also set up long - terms friendly business relationship with a great number of clients at home and abroad
10年的辛路歷程,天峰不僅僅在經驗上的積累,更擁有一支高素質的服務團隊,與各航空公司,船公司,海空港口,碼頭,海關,商檢部門及遍布全球的海外代理建立了長期的友好合作關系,可以為您同時提供全球,全方位的貨運代理服務和物流方案規劃咨詢服務。In this article, based on theory of the rcm technology and exception - tree, the equipment - management programmer and the faulty category in dlpec ( dalian petro - chemistry corporation ) are discussed in details, and the equipment - management patterns for the enterprise are brought forward. for all kinds of equipments, some measurements on the maintaining and governing are established ; moreover, the system function mode structure is also schemed out, which responses the working situation of equipment in the enterprise in detail and is composed of equipment technology document - management, equipment document - management, equipment integrating - management, equipment maintaining - plan management, equipment stat. analysis management, integrating - query system etc ; at the same time, the whole system codes are devised, which include equipment category code, engineering planning sort code, spare part sort code, testing report catalogue code of pressure vessel pile, equipment stat
本文以大連石化公司的設備管理程序和設備種類為研究對象,應用rcm的技術和故障樹原理,提出了具體的適合於該企業的設備管理模式;針對各種不同類型的設備,制訂出相應的維修管理對策;並運用信息系統分析與設計方法,設計出了比較詳細的、能真實反應企業設備工作狀態的系統功能模型結構,包括:設備技術文檔管理、設備檔案管理、設備綜合管理、設備維修計劃管理、設備統計分析管理、綜合查詢系統等;同時,設計出了比較完整的系統代碼,主要包括:設備類別編碼、工程計劃分類編碼、備品備件類別編碼、壓力容器管道檢驗報告目錄編碼、設備統計類別編碼等;另外,對數據庫設計、輸入輸出設計、系統的實施與測試等提出了比較具體的方案。After phase 4, inspection and validation, the training center pi should coordinate with the corresponding air carrier pi if applicable, make an evaluation agreement on the training center regulation compliance, and submit this evaluation agreement to the regional administration flight standards office and the principal manager of the regional administration, make the decision of whether to issue the certificate or not, at the same time, apply for the certificate number of ccar - 142 training center to the flight standards department, the two character code of pinyin represent each administration, for example, hd represents east china regional administration, hb represents north china regional administration etc
完成第四階段驗證檢查后,訓練中心主任監察員應當與相關航空承運人主任監察員進行協調如適用,就訓練中心規章符合性問題達成一致意見,並將此意見提交給地區管理局飛行標準處和管理局主管領導,做出是否頒證的決定,同時可以向飛行標準司申請ccar 142部訓練中心合格證代碼,其中漢語拼音的兩字代碼分別表示不同管理局,如hd代表華東管理局hb代表華北管理局等。During this compilation, code must pass a verification process that examines the msil and metadata to find out whether the code can be determined to be type safe
在此編譯過程中,代碼必須通過驗證過程,該過程檢查msil和元數據以查看是否可以將代碼確定為類型安全。Verification examines msil and metadata to find out whether the code is type safe, which means that it only accesses the memory locations it is authorized to access
驗證過程檢查msil和元數據以確定代碼是否是類型安全的,這意味著它僅訪問它已被授權訪問的內存位置。During just - in - time compilation, an optional verification process examines the metadata and microsoft intermediate language msil of a method to be jit - compiled into native machine code to verify that they are type safe
在實時( jit )編譯期間,可選的驗證過程檢查要實時編譯為本機代碼的方法的元數據和microsoft中間語言( msil ) ,以驗證它們是否為類型安全。Firstly, the current testing localization in the detection of electric bow is analyzed and the new system ' s whole construction developed in this thesis is introduced ; in the 2rd chapter, the embedded 110v dc power supply is analyzed and constructed, and with experiments, some dissonant results such as the fluctuation of output pwm ( pulse width modulation ) pulses, the power noise added to output voltage, and the drop of output voltage have been analyzed and the problems have been broken down one by one ; in chapter 3, stepping motor ' s drive has been systematically dissertated, and combing stepping motor ' s subdivided drive technology, the author develops an intelligent mini - step driving circuit using a main - sub microprocessor structure, which is validated in the hybrid stepper based system ; in the 4th chapter, liquid crystal driving and displaying technology is specified in detail, with one sort of lcd modules ( tlm12864h ), the author develops an feasible circuit for the new testing system, designs a menu mode based program struc ture and brings here some programming codes using franklin c51 programming language ; in chapter 5, the above built system is used in the electric bow ' s practical detection, and the differentiating rate of this system is analyzed
論文首先分析了目前機車受電弓檢修方式存在的局限並概述了本論文研製的受電弓測試系統的體系架構;第二章對系統內置110v直流控制電源進行了分析和設計,結合試驗對輸出pwm振蕩、輸出電源噪聲大、輸出電壓下跌等現象進行了分析並提出解決措施;第三章論述了步進電機的驅動,結合步進電機微步驅動技術研製了基於上下位單片機組的混合式步進電機智能驅動電路,並在試驗中得以驗證;第四章詳述了液晶驅動及顯示技術,利用一款液晶顯示模塊tlm12864h研製出本系統用液晶顯示電路,設計了菜單式的程序結構並以franklinc51編程方式給出部分子程序代碼;第五章則將以上構建的整個系統應用在機車受電弓的實測中,並對測試解析度進行了分析。This tutorial uses a sample application to show you how to use the code review rule engine to highlight low - level and high - level coding and design issues, including those that are specific to enterprise java
這個教程用一個具有代表性的應用例子來告訴你如何使用代碼檢驗規則引擎來指出低水平和高水平的編碼和設計結果,這其中特別包括了對企業級java應用。The paper puts forward a kind of economical numerical control milling machine system which is supported by windows and industry pc that are acted as software and hardware platform on the base of analyzing the present development of economical numerical control system and some existent problem, and expatiates the system software ' s collectivity frame, also introduces detailedly form and operational way of the user ' s interface. besides, the thesis also frames and accomplishes each module such as syntax inspect module, translation module, tool compensation module and track interpolation module adopting visual c + + 6. 0 and the kind of facing object and modularized program design method by analyzing rationales and function of the software ' s modules, moreover presents the programmer ' s flow chart and parts of source code, whereafter validates arithmetic of translation and tool compensation by simulating process testing program
本文在分析了我國經濟型數控系統的發展現狀以及目前存在的一些問題的基礎上,提出了一種以windows和工業pc機作為軟、硬體平臺的經濟型數控銑床系統,闡述了該系統軟體的總體結構,並對其用戶界面的組成及其操作過程做了較為詳細的介紹,分析了軟體的各個模塊的基本原理和功能,採用visualc + + 6 . 0以及面向對象、模塊化的程序設計方法,完成了語法檢查模塊、譯碼模塊、刀具補償模塊以及軌跡插補模塊的具體設計,並給出了程序設計流程圖和部分源代碼,通過系統的模擬程序模擬加工過程驗證了譯碼和刀補演算法的正確性。Since 1980s, many mathematicians have been engaged in studying the applications of the grobner basis such as solving the system of algebraic equations, factoring polynomials, testing primary ideals, factoring algebraic manifolds, decoding circular codes in corrected codes and algebraically geometrical codes, analyzing and synthesizing high dimensional linear recurring arrays in cryptology, dealing with multidimensional systematic theory, signaling, solving integer programming and so on
) bner基的應用研究包括代數方程組求解,多項式的因子分解,素理想的檢驗,代數流形的分解,糾錯碼中循環碼和代數幾何碼的譯碼,密碼學中高維線性遞歸陣列的分析與綜合,多維系統理論,信號處理和求解整數規劃等諸多領域。Under the comprehensive research and generalization of digital image processing, we got the general procedure about digital image processing. based on the general procedure, following the agile method and extreme programming, applying the recursive procedure composed by require analyze 、 framework design 、 coding, finally we got a experimental 、 stable 、 opened score platform. we checked the theory by practice
通過對數字圖像處理的全面研究和總結,得出數字圖像處理的一般過程,以此一般過程為基礎,按照敏捷思想和極限編程方法,通過需求分析,架構設計,編碼等幾個不斷迭代進行的階段,最終開發出一個具有實驗性質的、穩定的、開放的評估平臺,運用實踐來檢驗了理論。In this thesis, we would present theory research and its implementation about mpeg - 2 ts stream “ health ” check analyzer. a brief narration about the background of our research and its mean would be put in the beginning. and then we would analyze structure of ts stream and its definition in iso / iec 13818 - 1, data structure of system layer and mechanism of decode would be stressed in this section, later, we would introduce principles and methods of mal - function check in mpeg - 2 ts network, parameters being presented by etsi tr 101 290 would be emphasized in this part
本文將對mpeg - 2ts碼流「健康」檢測儀的理論研究和數字電路設計作出如下介紹:本課題研究的時代背景及研究現狀和意義; mpeg - 2ts碼流的數據結構,在iso / iec13818 - 1中的定義和描述,其系統層的數據結構及解碼機理; mpeg - 2ts碼流在網路中故障檢測的原理和方法, etsitr101290規定檢測參數分類; mpeg - 2ts碼流「健康」檢測儀實現的總體方案,基於fpga的數字邏輯電路實現方案總體模塊劃分,模塊劃分的依據,模塊實現功能;總體方案的具體實現,幾個重要參數如pcr間隔及精度檢測,快速crc檢測等的實現;設計實現的驗證方法,典型參數檢測實現的驗證模型及驗證結果。分享友人