verify state 中文意思是什麼

verify state 解釋
校驗狀態
  • verify : vt. (-fied)1. 證實;證明,核驗,核實,驗證;校準。2. 【法律】(用證據或宣誓)證實;在(訴狀或答辯書結尾)提供舉證說明。
  • state : n 1 〈常作 S 〉國,國家;〈通例作 S 〉(美國、澳洲的)州;〈the States〉 美國。2 國務,政權,政府...
  1. Motion emulator 、 fem of static state and mode with cosmosmotion and cosmosworks. verify the result of theory. it is cae of the manufacture hyperboloid clutch with rollers and optimize hyperboloid clutch with rollers

    利用cosmosmotion 、 cosmosworks分別對加載器進行了運動模擬及靜態和模態有限元分析,以分析加載器的靜態和模態特性,並為加載器的研製及其優化提供cae支持。
  2. The securities supervision and administration institution under the state council may authorize securities exchanges to verify and approve applications for listing of stocks pursuant to legal terms and legal procedures

    國務院證券監督管理機構可以授權證券交易所依照法定條件和法定程序核準股票上市申請。
  3. Article 7 if a state - owned enterprise is to be reorganized into a company, it must, in accordance with the conditions and requirements prescribed by national statutes and administrative regulations, change its operating mechanism, and orderly identify and verify its assets, determine the respective owners of the property rights therein, settle its creditor ' s rights and liabilities, conduct assets appraisal, and set up standard internal management organs

    第七條:國有企業改建為公司,必須依照法律、行政法規規定的條件和要求,轉換經營機制,有步驟地清產核資,界定產權,清理債權債務,評估資產,建立規范的內部管理機構。
  4. To overcome the shortcomings of the traditional fuzzy algorithm, including complex management of diagnosis system, high difficulty in improvement and being unfavorable to accumulate experiences, the improved fuzzy algorithm is introduced to the state diagnosis for complex system, the model of state diagnosis for complex system based on the improved fuzzy algorithm is established, and a sample case is adopted to contrast and verify the state diagnosis model based on the traditional fuzzy algorithm and the state diagnosis model for complex system based on the improved fuzzy algorithm respectively, which indicates that although the latter is inferior in the speed of diagnosis, it has the significant advantages in simple management, easiness in improvement, accurate diagnosis, abundant diagnosis information and wide applications, so that its comprehensive performance is far beyond that of the diagnosis model based on traditional fuzzy algorithm

    摘要為了克服傳統模糊演算法的診斷系統建模復雜、改進難度大、不利於經驗積累困難的缺點,在復雜系統的狀態診斷中引入了改進的模糊演算法,創建了基於改進模糊演算法的復雜系統狀態診斷模型,並以一個實例分別比較驗證了基於傳統模糊演算法的狀態診斷模型與基於改進模糊演算法的復雜系統狀態診斷模型,結果表明基於改進模糊演算法的復雜系統狀態診斷模型雖然在診斷速度方面稍遜一籌,但具有建模簡單、模型改進容易、診斷準確、診斷信息豐富、適用性廣泛等顯著優點,其綜合性能大大優于基於傳統模糊演算法的診斷模型。
  5. The main scope of bcpa s business entrusted by the chinese - foreign joint ventures, the chinese - foreign contractual joint ventures, the foreign capital enterprises and other foreign economic organizations, big and medium sized state enterprises, share - holding companies with limited liability and companies with limited liability, to prepare feasibility s study and analysis for investment and development projects of enterprises ; to undertake assets valuation ; to verify the capital of enterprises ; to formulate accounting systems ; to design computerized program for accounting ; to keep accounts for clients ; to offer consultation service and prepare tax returns for clients ; to audit accounting statements for enterprises ; to audit statements of securities business ; to undertake the auditing work of enterprises in their merger, separation and liquidation ; to do the required auditing when the legal representative of an enterprise leaves his her post ; to serve as the standing accounting advisers for enterprises ; to help draft contracts, articles of association and economic documents ; to prepare analysis of economic activities and forecast of operating activities ; to train accounting financial management personnel and to examine evidences in economic cases, etc. by offering high efficiency, fine quality and comprehensive service and outstanding performance bcpa has gained the confidence o its clients and established good and stable and 3, 000 clients

    本所業務范圍主要是:接受中外合資中外合作外商獨資和其他外商經濟組織,以及國有大中型企業股份有限公司有限責任公司等的委託,為企業投資開發項目進行可行性研究分析承辦資產評估驗證企業資本設計會計制度編制會計電算程序代理記帳提供咨詢服務稅務代理服務受理企業會計報表審計證券業務審計企業合併分立清算事宜中的審計企業法人離任審計為企業承擔常年會計顧問協助擬定合同章程和經濟文件經濟活動分析和經營活動預測培訓會計財務管理人員以及鑒證經濟案件等項業務。本所以高效優質全面的服務,卓著的業績取得了廣大客戶的信任,與3000餘家客戶建立了良好的穩定的合作關系。
  6. Article 18 if the securities regulatory authority under the state council or the department authorized by the state council discovers that a decision it has made to verify or approve upon examination the issuing of securities does not conform to the provisions of laws or administrative regulations, it shall revoke the decision. if the relevant securities have not yet been issued, they shall be kept from being issued ; if they have already been issued, the holders of the securities may require the issuer to refund their money at the issue price plus bank deposit interest for the same period

    第十八條國務院證券監督管理機構或者國務院授權的部門對已作出的核準或者審批證券發行的決定,發現不符合法律行政法規規定的,應當予以撤銷尚未發行證券的,停止發行已經發行的,證券持有人可以按照發行價並加算銀行同期存款利息,要求發行人返還。
  7. The method, spatially offset raman spectroscopy, can analyze through paper packaging, plastic containers, capsule shells, and tablet coatings to verify the ingredients in a pharmaceutical product, the researchers state

    研究者解釋說,這種空間位移喇曼光譜能穿透紙質包裝、塑料容器、膠囊殼及片劑包衣對藥品原料成分進行分析。
  8. Wen zhoufei jumps over financial equipment limited company ( factory of appliance of computer of lukewarm city leap ), founded in april 1990, register capital 10. 2 million yuan, repose in industrial district of yellow island of lukewarm state city, be engaged in research and development of bank banking equipment, production, sale, service, it is the company of new and high technology that examine and verify of lukewarm state municipal government names

    溫州飛越金融設備有限公司(溫州飛躍計算機器具廠) ,於1990年4月創立,注冊資本1020萬元,座落在溫州市黃嶼工業區,從事銀行金融設備研發、生產、銷售、服務,是溫州市政府審核命名的高新技術企業。
  9. The exact design methods of switched - current filters are summarized, such as the director synthesis of z - plane, euler mapping, state variable analysis, matrix decomposition, and signal - flow - graph simulation of the lc and switched capacitor prototypes. at the same time, a modified left decomposition matrix method is proposed to overcome the usual problems of large silicon area, high sensitivity and component spreads by minimizing the input circuits. examples of switched - current low - pass, high - pass and band - pass filters are given to verify the feasibility of these methods

    總結分析了實現高精度開關電流濾波器設計的各種實用方法,包括z域綜合法、歐拉映射法、模擬無源lc網路和開關電容網路的狀態變量法、矩陣分解法和信號流圖轉置法,並對左分解法加以整理改進,提出一種更為簡潔的設計結構,通過減化輸入電路克服一般電路中存在的佔用矽片面積大、靈敏度高等問題。
  10. The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
  11. We give three kinds of bounds for the entanglement of quantum gaussian mixed state. to verify that if they are too loose bounds we use a two parameters quantum gaussian state called squeezed thermal state and calculated all this bounds and moreover the coherent information of the state for comparison

    給出量子高斯混合態的三種界限,用只有兩個參數的叫做壓縮熱態的量子高斯態來檢驗它們是否是較好的上下限,同時計算了態的相干信息以作比較。
  12. 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狀態的空間電壓矢量作為起始矢量,解決了扇區切換時的矢量突變問題。
  13. The paper reviewed the state of study on air - conditioning and refrigeration system simulation at home and abroad, presented simulation models of air - conditioning and refrigeration systems, made relevant simulation programs, used experimental results to verify the simulation models, and presented a method of air - conditioning system irreversibility analysis based on the simulation, finally, presented pending further studied problems

    本文首先回顧了空調製冷系統模擬研究的國內外進展,然後基於mh方程建立了cfcs及其替代工質的熱力學性質和輸運性質的數學模型,並編制了計算程序。利用該程序對cfc12及其替代工質hcfc22 、 hfc134a的在熱泵中的循環性能進行了模擬。
  14. For example, an organization wants to verify that all the records use the same set of state abbreviations or the same set of product names

    例如,單位需要驗證所有記錄使用了相同的狀態縮寫集或相同的產品名稱集。
  15. Simulation comparisons verify the superior performance of the tri - state pwm technology. experimental results indicate that the current - controlled tri - state pwm switching power amplifier based on sample - hold strategy has high frequency bandwidth and fast dynamic response in a wide load range, which can well meet the demands of high - speed magnetic bearing

    模擬結果驗證了電流三態調制技術的優越性能;實驗表明本文研製的基於采樣-保持策略電流三態調制開關功放具有結構簡單、效率高、紋波小、電流動態響應快、頻帶寬、受負載影響小等優點,能很好地滿足高速磁軸承的要求。
  16. Article 19 in case an administrative agency of the state council increases or decreases its staffing, the agency and staffing administration organ of the state council shall verify the programmer thereof, which shall be submitted to the state council for approval

    第十九條國務院行政機構增加或者減少編制,由國務院機構編制管理機關審核方案,報國務院批準。
  17. Method by using this property to verify that any child controls of the server control are storing view - state information

    通過使用此屬性驗證服務器控制項的任何子控制項是否存儲視圖狀態信息,可以避免對
  18. This paper simulate oxidation - deoxidize reaction, o enzyme catalysis and the origin of life. the stella mode of oxidation - deoxidize reaction can help student understand chemistry reaction in integer, train student understand correlation from the all and the one. stella simulation help us to research enzyme catalysis promoter stable state former dynamics, and to observe the basic measure of the whole response or some response directly, and offer effective datum that can be used to analysis complicated response mechanism, because of too many relevant disputes of origin of life, to introduce student various kinds of theories maximally, we use stella software to imitate, strive to give students the ultimate thinking space, make them to be able to verify their idea in the models. in this course, teachers and students can observe the result and test the theory through simulation, learn what to happen when the former hypothesis and scene changed, and turn the study way of infusing and absorbing into discussion study, make study especially thinking ability of student get improvements by a large margin

    氧化還原體系的stella模型能使學生對復雜的化學反應有整體理解,培養學生從整體的角度理解各種物質間的相互作用聯系; stella幫助我們對酶催化反應穩態前動力學進行研究,可以直接地觀察整個反應的基本步驟或局部反應,提供可用於分析復雜反應機制的有效數據; stella創建的生命起源的模型,力爭給學生最大的思維空間,使他們可以在模型中驗證他們的想法,在此過程中,教師和學生可以通過模擬以試驗理論、觀察結果,並學習到原有假設或情景改變時會有什麼情況發生,將灌輸性、吸收性的學習方式變為討論式學習,使學生的學習特別是思維能力得到大幅度的提高。
  19. In order to verify the validity of our algorithms, we proposed a network simulation model for any - cast routing algorithms with incomplete network state information. we structure the topology of network, the capability of every link, produce the source / destination group nodes concerned in services

    為驗證演算法的有效性,我們設計了網路模擬平臺,構造網路的拓撲結構及各條鏈路的容量,生成相關的服務源目的組節點。
  20. Advice to verify the managed component is in a valid state to perform the operation and to inform any registered observers of the transition, as shown below

    建議,以驗證託管組件處于有效狀態,從而執行操作並把變化通知給已注冊的觀察者,如下所示:
分享友人