select verify 中文意思是什麼
select verify
解釋
選擇檢驗-
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方法為主要內容。 -
A method used to verify coding. individual codes are machine - compared against a group of master codes to select any that are invalid
一種檢驗編碼過程的方法，各個代碼與一組主代碼由機器進行比較以找出無效代碼。 -
Select and verify some algorithms of powerpc603e ' s fpu. design and implemention of the data - path of fpu, with emphasis in design a 64bit multiply - add unit. powerpc603e is a complex microporcessor system
? fpu中數據通路的設計與實現：重點是一個64bit乘加器的實現，包括部分積產生和選擇單元、 wallace壓縮單元、 161bit加法器。 -
Firstly, this paper introduces the asynchronous motor model, and compares it with the dc motor ’ s. then the paper studies the principle of vector control, and proposes an improved current model of rotor flux observer. this paper also studies the three - level inverter ’ s topology, working principle, the neutral - potential unbalance mechanism and its controlling strategy. the paper especially studies the svpwm in details. the interface between the vector control and the three - level inverter is studied in details, including the generation of reference voltage vector, its judging of the sector and triangular regions, and the working mechanism after it sent into three - level inverter. when synthesizing the reference voltage vector, select the vector which only includes p and o states as the starting vector, thus eliminate the vector shift problem when sector changes. this paper fully takes advantages of the powerful functions of matlab / simulink to set up the simulation model. this construction is very explicit. the simulation results verify the inverter voltage output is correct, the rotor flux is steady, the asynchronous motor ’ s dynamic and steady state performances and speed modulation are excellent
本文首先介紹了異步電機的數學模型，在此基礎上將異步電機的數學模型與直流電機的數學模型進行了比較;然後介紹了矢量控制的基本原理，採用了一種改進的轉子磁鏈電流型觀測模型;對三電平逆變器的電路拓撲、工作原理、中點電位不平衡的機理及控制方法進行了介紹，詳細分析了空間矢量脈寬調制策略。本文對異步電機的矢量控制與三電平逆變器之間的介面進行了詳細的研究，包括:參考電壓矢量的形成、所落扇區與具體小三角形區域的判斷、送入逆變器之後的工作機理。在參考電壓矢量的合成時，選擇只包含p 、 o狀態的空間電壓矢量作為起始矢量，解決了扇區切換時的矢量突變問題。 -
The technical and economic evaluation of thin - type spunbond nonwoven project has mainly finished the following research work : ( 1 ) utilize the theory and method of < marketing > for market investigation, research and forecast, analyze the developing trend and market requirement of the nonwocen abroad and at home, conduct quantitative forecast for raw materials and product price, and explain that during the essential period when liaoyang petrochemical company regulates the structure of industries and product and remodels the main business items, selecting to build up the production device for thin - type spunbond nonwoven is suitable. ( 2 ) introduce techniques of different companies to form different schemes. after analyzing the features of various schemes in the thesis, through building up the target system of four levels and utilize technical comprehensive evaluating way to conduct technical evaluation of four schemes for the thin - type spunbond nonwoven project and get the prior sequence from schemes d, b, a to c. ( 3 ) different technical schemes have various cash circulation amounts, economic evaluation is first based on evaluating and confirming feasibility of each scheme by the single scheme finance, select and use the method of multiple schemes comparison selecting - inutual repelling type multiple schemes optimization, select introducing the scheme of d company technique as the optimum, then conduct undetermined analysis to further test and verify feasibility of schemes
闡明了遼化公司在調整產業結構和產品結構、重塑主營業務的關鍵時期選擇建設8000噸年薄型紡粘非織造布生產裝置是適宜的； （ 2 ）引進不同公司的技術形成了不同的方案，論文在分析了各方案的特點后，通過建立四個層次的指標體系，運用技術綜合評價的方法，對薄型紡粘非織造布項目的四個方案進行技術評價，確定了丁方案、乙方案、甲方案到丙方案的優先順序； （ 3 ）不同的技術方案有不同的現金流量，經濟評價首先在單方案財務評價確認各方案可行的基礎上，選用多方案比選? ?互斥型多方案選優的方法，選擇引進丁公司技術的方案最優，而後，又進行了不確定性分析，進一步驗證方案的可行性。 -
It is necessary to adopt several methods to verify the calculation of pmf according to the given project, it is important to select right method and appropriate calculation
因此，根據工程的具體情況，選擇採取的方法和計算結果是設計工作的重點。 -
To verify the update, a configuration page can be printed from the printer control panel ( select menu, > reports - press enter, > config report - press enter )
檢驗升級可通過印表機控制面板（選擇菜單>報告>配置報告）列印配置頁。 -
Verify the date and time for your region, select the appropriate time zone, and then select whether you want windows 2000 to automatically adjust for daylight savings time
確認所在地區的日期和時間，選擇相應的時區，然後選擇是否想讓windows2000自動調整夏時制。 -
To verify that the renaming operation has completed, select information from either
若要驗證重命名操作是否完成，請從
分享友人