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

中文拼音 [zìdòngchéngxùyànzhèng]
自動程序驗證 英文
automatic program verification
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. Disigning coolant channel on the firebox of liquid rocket engine to loxodrome ( equal - angle helix ) groove can improve firebox coolant capability greatly. because the width dimension of loxodrome groove is narrow and the depth is deep, some machining methods are incapable, such as end - milling or electrochemistry. according to the peculiarities, a cnc disk - cutter - milling method which is composed of five motion axes with four simultaneously interpolated ones is researched. because most firebox generatrix is composed of complex curves, it is very difficult to get cnc cutting program with manual means. in order to deal with the problem, the loxodrome mathematics model is studied, and an auto - programming software system is developed. the software system can generate cnc cutting program of loxodrome on many kinds of turned surface. the constriction - distension segment of firebox is the most representative workpiece. the sharp changing of its generatrix slope makes loxodrome milling difficult. with the theory analyzing and practice cutting experiment, some applied techniques, which include milling mode and direction, choosing cutter diameter and cutting start point setting, are developed. adopting the technology above, tens regular workpiece have been manufacturing. the two - year manufacture practice has confirmed the validity and feasibility of developed loxodrome coolant channel milling method. the developed technology is also worth to be referenced to other similar workpiece

    將液體火箭發動機燃燒室的冷卻通道設計為斜航線（等傾角螺旋線）槽形，可以大幅度改善燃燒室的冷卻性能.斜航線冷卻槽的槽寬尺寸較小而槽深尺寸較大，所以無法使用棒銑刀銑削、電化學等加工方式.針對這些特點，提出了五軸控制、四軸聯動的數控片銑刀銑削加工方法.由於燃燒室外表面的母線輪廓復雜，手工編制數控加工程序難度大.為了解決數控加工程序的編制問題，研究了斜航線的數學模型，開發了自動編程軟體系統.使用該系統，可以生成多種母線輪廓回轉體外表面上的斜航線數控加工程序.燃燒室收斂-擴張段的母線斜率變化大，加工難度大，是斜航線冷卻通道加工的最典型工件.經過理論分析和實際切削實驗，研究了針對該類型工件的片銑刀直徑選擇、銑削方式和方向、刀具調整和起刀點的設置等多項實際的加工方案.採用上述的一系列技術，已經成功地加工了數十個合格工件.經過兩年多的實際生產過程應用，驗證了所開發的斜航線冷卻通道加工方法的正確性和可行性.這些加工技術的研製成功，對其他相似類型零件的加工亦具有參考意義
  2. Hydraulic fluid power - calibration of liquid automatic particle counters - procedures used to certify the standard reference material srm 2806

    液壓流體動力.液體粒子自動計算器的校驗. srm 2806標準參照物質認證所使用的程序
  3. 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 % ，全面實施"零缺陷工程" 。
  4. Class will automatically invoke your custom provider to communicate with your authentication data source

    類將自動調用自定義提供程序來與您的身份驗證數據源進行通信。
  5. A testbench program is edited to simulate the behavior of the fifo. after the software simulation is accomplished, a real hardware circuit is designed to multiplex two data channels ( 1553b data channel and 1394 data channel ) according to ccsds standard. during the experiment and hardware debugging, the output logic of the fpga is checked up

    設計中，用vhdl語言對高速復接器進行行為級建模，為了驗證這個模型，首先使用軟體進行模擬，通過編寫testbench程序模擬fifo的動作特點，對程序輸入信號進行模擬，在軟體邏輯模擬取得預期結果后，繼續設計硬體電路，設計出的實際電路實現了將來自兩個不同速率的信源數據（ 1394總線數據和1553b總線數據）復接成一路符合ccsds協議的位流業務數據。
  6. Designed a program which can use the mean pressure coefficient of jin ’ ao mansion to calculate mean wind load of the whole buildings and local floor. the integral result can apply into the practical design of construction, also can compare with the results of wind tunnel balance test to validate the veracity of this test

    通過自編的程序對金奧大廈表面時均風壓系數進行積分計算獲得其整體和局部樓層的平均風荷載，積分計算的結果一方面可以方便地運用於實際的建築結構設計中，另一方面可以與風洞天平測力結果進行比較驗證動態測壓試驗的正確性。
  7. On the other hand, we accomplished the asic design flow successfully based on the fpga design. we have made the most use of various optimization methodology and simulation tools include dynamic simulation, static timing analyzing and post simulation. at last this design net list was past to layout design team in order to check its electronic characters

    在我們的asic流程中，首要的因素是在fpga驗證其正確性的基礎上對速度與面積進行科學有效的平衡，在成本和性能中間取得良好的結合點，運用先進的eda設計工具和演算法對設計進行綜合優化（ synthesis ） ，動態時序分析（ dynamicsimulation ） ，靜態時序模擬（ sta ）到自動布局布線（ apr ）之後將寄生參數反標回前面的步驟進行更精確的判斷和分析，最後交給版圖設計人員進行版圖設計和優化。
  8. Our analyses were concentrated on self - protection, verification of own components, process protection, file andcomponent protection, driver protection, service protection, registryprotection, protection of other system resources, and control ofautomatically started programs

    我們的分析集中在自我保護，自身控制項驗證，進程保護，這件和組件保護，驅動程序保護，服務保護，注冊表保護，其他系統資源保護和自動啟動程序控制這些方面。
  9. Automatic docking is one of the most important actions for msr robot ’ s self - reconfiguration and is one of the technologys about the robot researching, because it supports almost all practical advantages of such robot. in this thesis, automatic docking system and the module structure are first analyzed ; for searching the reason why the actual docking system run unsteadily, some validate and test thing are done, such as docking algorithm test, sensor unit test, drive unit test, and so on

    自動對接是模塊化自重構機器人完成自重構的一個基本步驟，也是這種機器人研究的關鍵技術之一，是模塊化自重構機器人具有實際應用價值的基礎。本文對自動對接系統結構進行了分析，為尋找實際對接系統工作不穩定的原因，做了一些驗證與調試方面的工作，包括自動對接演算法正確性與有效性的驗證，串口電路設計，編寫實時跟隨對接模塊運動的程序以及傳感器建模程序等。
  10. Unlike traditional differential geometrical method, the robust adaptive neural net - based control emphasizes on the theory and application of intelligence control in nonlinear system that is weighed by robust performance index. the problem of robust reliability and stability in a kind of weak nonlinear system is first proposed in the dissertation, and then it deeply analyses and discusses the problem of how to design track controller in strong nonlinear system with uncertainties and external disturbance on the premise of guaranteeing the whole system ' s robust performance index. the distributed 3d flight simulation platform is mainly used to validate real - time program and evaluate the efficiency of advanced flight control laws, therefore, some theories and techniques related to the platform are also introduced

    基於神經網路的魯棒自適應控制研究和分散式三維飛行模擬平臺的構建是本論文研究的兩個主要內容，與傳統微分幾何方法不同的是，基於神經網路的魯棒自適應控制側重於智能控制方法在以魯棒性為性能指標的非線性系統中的理論和應用研究，論文以一類弱非線性系統的魯棒可靠鎮定問題為引線，逐步深入地分析和探討了在保證整個被控系統魯棒性能指標的前提下，對于幾類具有不確定性和外部擾動的強非線性系統跟蹤控制器的設計問題；分散式三維飛行模擬平臺主要用於先進飛行控制律的實時程序驗證和效能評估之用，因此關于平臺的一些開發原理和技術方法也在文中給出了介紹。
  11. Abstract : since nearly all of the dimension parameters in technological process planning are coupled together, manual method in the process dimension parameter planning ( pdpp ) is not always efficient and effective. in order to increase design efficiency and effect, an essential mathematic model about pdpp is established, and two basic constraint sets are given. this model is not only helpful to realize the automation and optimization of pdpp, but also useful to verify the correctness of existing pdpp methods and to find better pdpp methods

    文摘:由於工藝過程設計所涉及到的所有尺寸參數幾乎都是耦合著的，因此採用人工的、憑借經驗的方法進行工序尺寸參數設計常常效率甚低.為了提高設計效率及經濟效果，建立了一種工序尺寸參數設計的基本數學模型，並給出了兩個基本可行域的結構.該模型的建立不僅可用於實現工序尺寸參數設計的最優化和自動化，而且可用於證明已有方法的正確性及發現更好的設計方法
  12. Because the two - state finite automaton was too simple to be of any use in solving complex computational problems, we considered it nothing more than an interesting demonstration of the concept of programmable, autonomous biomolecular computers, and we decided to move on

    由於雙態有限自動機過于簡單，無法解決任何復雜的計算問題，我們只是用它來驗證程序化、自動化生物分子計算機觀念可行而已。
  13. 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

分享到臉書