自動檢驗程序 的英文怎麼說

中文拼音 [zìdòngjiǎnyànchéngxù]
自動檢驗程序 英文
automatic verifier
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 檢 : Ⅰ動詞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 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque（指檢查船舶...
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  1. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  2. In 2000, the company imported cad systems, cradle - style cloth laying machines, computer automatic cutting system, durkopp computer sleeve machines, computer automatic pocket - hole sewing machines, and macpi computer - control solid press flowline from america, germany and italy. from the course of stocking to processing, and leaving factory, each working procedure is under controlled state in order to prevent unqualified products and insure 100 percent yield

    2000年公司自籌資金，從美國、德國、義大利引進cad放碼、排版系統；獨特搖籃式鋪布機，電腦自動裁剪系統，杜克普電腦上袖機、開袋機，邁埤電腦控制立體整燙流水線。公司從進貨檢驗，加工直至成品出廠，每道環節、工序都處于受控狀態，以消除和防止不合格產品轉序和出廠，保證產品合格率達到100 % ，全面實施"零缺陷工程" 。
  3. The use of mcu makes the induction cooker intelligence, mainly offers good man - machine interface, power automatic control and temperature automatic control, time control as well as various automatic detections alarm etc. this system covers many fields such as electronics, mechanicals, magnetic, algorithms etc. mcu program structure divides into two parts as main program and timer interrupt service program, after many times " testing and running, the program runs steadily and reliably

    單片機的使用讓電磁爐實現了智能化，主要包括提供良好的人機界面、功率自動控制、溫度自動控制、定時控制以及各種自動檢測報警等。該系統覆蓋了電、機、磁、算等多個領域的知識。單片機程序結構分主程序和定時器中斷服務程序兩個部分，經過反復試驗運行，程序運行穩定可靠。
  4. Thirdly, the new method and nearest - neighbor method, single linear interpolation, bilinear interpolation were coded by vc + +, and a mfc application, bmpinterpolation, was achieved. many kinds of examples were tested using bmpinterpolation, including single color images and true color images ( 24bits ), photos and images after 3d rendering by 3dmax. the comparison between new method and the others indicates that the new method can not only get higher quality of images but also match the requirement of procedure speed

    用該程序可以實現了對單幅位圖文件的讀取和插值放大，通過單色和彩色圖像、照片圖像、三維渲染圖像等放大處理算例的檢驗，說明了本文的方法和程序是成功有效的，新演算法明顯優于幾種簡單插值放大方法的輪廓清晰度，且具有很好的快速性，兼顧了自動立體鏡三維顯示的快速性和清晰度要求。
  5. The main job in this paper is to ‘ transplant ’ rtos to the target equipment whose kernel cpu is mpc860. first, the board support package is designed, which includes some definition and initialization function. the purpose of bsp design is to connect hardware and wind kernel

    首先對板級支持包bsp進行了設計，包括一些板級相關的定義和一些初始化函數， bsp設計的最終目的是連接硬體層和wind內核；其次對外圍的網路驅動進行了設計和編寫，主要針對的是10m / 100m自適應的fec網路驅動，並對驅動程序進行了檢驗，結果表明其可以有效的進行工作。
  6. Tool wear image characteristic was studied at tool wear inspecting aspect and put forward " 十 window " automatic edge detection algorithm and resolved the problem of tool wear image edge extraction. the algorithms and programs calculating area, perimeter, width and length for tool wear image were developed for tool wear image. the better results were gained by experiments and improved edge orientation precision and geometry measure precision

    在刀具磨損檢測技術方面，研究了刀具磨損的圖像特點，提出了「十字窗」自動邊緣檢測演算法，解決了刀具磨損圖像邊緣提取問題，開發了刀具磨損的面積、周長、寬度、長度的演算法，開發了程序，經檢驗具有較好的檢測效果，提高了邊緣定位精度和幾何尺寸的計算精度。
  7. The main goal is to show the whole assembly process of the product by means of visualization, to test the assembly capability by means of assembly sequence and path planning via interaction of human and computer, assembly collision detecting and so on, automatically generating the assembly path, so can obtain information feedback for product redesign. as a result, shortening the cycle of product design. in this project, the most important feature of this work is it has a better universal character, it means that it can be used on any model, and we also can adjust the path process of simulation and angel of view at well

    本文所完成的另一主要工作是研究通用裝配模擬，裝配路徑，裝配工藝及其相關方面的問題，其目的是為了以可視化的方式將產品裝配體的整個裝配過程展現在設計者面前，並通過裝配模擬問題研究過程中的人機互動式的裝配序列與路徑規劃、裝配碰撞干涉檢驗等手段讓設計者能夠快速檢驗產品裝配體的裝配性能，自動生成裝配路線，並能夠根據產品裝配性能的信息反饋，進行產品再設計，從而縮短產品的開發周期。
  8. Based on the exponential method, hyperbolic method, gm method, the idea to select calculating model automatically in the light of least deviation is raised

    提出通過對預測模型的適應性檢驗，根據最小均方差自動選取預測模型的思想並編製程序。
  9. The system uses a new replaceable chip and has realized the chip separated from the flow injection pool. and according to the new chip, the system is designed to employ a new flow injection pool which has a compact structure. in addition, the new system strengthens the function of the control software and puts automatic data - treating into practice

    改進后的系統採用激勵光源正面照射的方式，增強了光電流的響應；同時系統採用新型的可替換式laps晶元設計，實現了多個laps晶元共用一個流通測量池；系統還針對新的晶元設計了流通測量池，該測量池結構緊湊合理，真正實現流通檢測；另外系統還增強了主機控製程序的功能，實現了實驗數據自動化處理，並優化了系統參數設置。
  10. 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軟體技術對數字表進行半自動校驗的實現方法及所應注意的問題，給出了程序校驗流程圖及部分程序。
分享友人
分享到 Line

分享到臉書