state verification 中文意思是什麼

state verification 解釋
國家鑒定
  • state : n 1 〈常作 S 〉國，國家；〈通例作 S 〉（美國、澳洲的）州；〈the States〉 美國。2 國務，政權，政府...
  • verification : n. 1. 證實，證明，確定；核驗，驗證，核對；檢驗，校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
  1. Verification regulation of quantitative filling machine for liquid state material

    液態物料定量灌裝機檢定規程
  2. This dissertation studies the reuse methodology in the verification, analyzes the intellectual property standalone verification platform, discusses the design methods of bus function model and bus monitor in the reusable function verification platform, investigate the difference in the reusability of the implementation mode of task - based and state machine - based bus function model and present the reusability design rules in the bus monitor

    在此基礎上，分析了ip單獨驗證平臺，並討論了該驗證平臺中總線功能模型和總線監視器的設計方法，研究了基於任務和基於狀態機兩種總線功能模型的實現方式在可重用性方面的區別，並提出了總線監視器的可重用性設計規則。
  3. Article 43 application by a joint - stock company limited for listing for trading of its stocks must be submitted to the securities supervision and administration institution under the state council for verification and approval

    第四十三條股份有限公司申請其股票上市交易，必須報經國務院證券監督管理機構核準。
  4. Article 11 public issuance of stocks must, pursuant to the conditions prescribed in the company law, be submitted to the securities supervision and administration institution under the state council for verification and approval

    第十一條公開發行股票，必須依照公司法規定的條件，報經國務院證券監督管理機構核準。
  5. Asset and capital verification is of great significance to the management of state - owned assets in institutions of higher education

    摘要清產核資對高校國有資產管理具有重要意義。
  6. Article 22. where an opposition is filed against the trademark that has, after examination, been preliminarily approved and published, the trademark office shall hear both the opponent and applicant state facts and grounds and shall, after investigation and verification, make a decision

    第二十二條對初步審定、予以公告的商標提出異議的，商標局應當聽取異議人和申請人陳述事實和理由，經調查核實后，做出裁定。
  7. These keys, called the software publishing state keys, control the behavior of the certificate verification process

    這些被稱為「軟體發布狀態密鑰」的公鑰控制證書驗證過程的行為。
  8. Any functionaries of other state organs who, in violation of state regulations, engage in malpractices for personal gain in providing certificates for exports tax refund such as the declaration forms for exports and the verification and writing off documents for export proceeds, thus causing heavy losses to the interests of the state, shall be punished in accordance with the provisions of the preceding paragraph

    其他國家機關工作人員違反國家規定，在提供出口貨物報關單、出口收匯核銷單等出口退稅憑證的工作中，徇私舞弊，致使國家利益遭受重大損失的，依照前款的規定處罰。
  9. The criteria and measures for the verification of cultural relics shall be formulated by the state department for cultural administration, which shall report them to the state council for approval

    文物鑒定的標準和辦法由國家文化行政管理部門制定，並報國務院批準。
  10. In order to protect the legitimate security and commercial interests of state parties, concrete measures aimed at preventing the abuse of verification should be provided for

    為了確保締約國正當的安全和商業利益不受損害，應該制定具體措施防止核查權利的濫用。
  11. Where a new drug has completed its clinical tests or clinical verification and has passed an appraisal it may be approved by the department of the state council administering health, which will issue a certificate

    完成臨床試驗或者臨床驗證並通過鑒定的新藥由國務院衛生行政部門批準發給證書。
  12. Article 53 upon official ratification of the cwc by the government and the international entry into force of the cwc, the state shall officially assume every obligation described and shall accept site verification to facilities listed in article 46 in the implementation details by international inspection teams dispatched by the cwc organization

    第五十三條當我國政府正式批準《禁止化學武器公約》 ，且該《禁止化學武器公約》在國際上正式生效之後，我國將正式履行其所規定的各項義務，並且將接受禁止化武公約組織派遣的國際視察組對本細則第四十六條所列的設施進行現場核查。
  13. State the verification results of electrical or mechanical evaluation

    闡明電性或機構方面的驗證結果
  14. Article 33 where an opposition is filed against the trademark that has, after examination, been preliminarily approved and published, the trademark office shall hear both the opponent and applicant state facts and grounds, and shall, after investigation and verification, make a decision

    第三十三條對初步審定、予以公告的商標提出異議的，商標局應當聽取異議人和被異議人陳述事實和理由，經調查核實后，做出裁定。
  15. In order to establish the state standard for wheat flour with enriched nutrients, a theoretical calculation and experimental verification for ah index of wheat flour with enriched nutrients was carried out taking several mineral nutritive strengtheners such as calcium salt, ferric salt and zinc as examples, so as to determine the effect of enriched nutrients in wheat flour on ash content and sand content

    摘要為制定營養強化小麥粉國家標準，以幾種典型的礦物質類營養強化劑（鈣鹽、鐵和鋅鹽）為例，進行了營養強化小麥粉灰分指標的理論計算和實驗驗證，以此確定強化營養素對小麥粉灰分和含砂量的影響。
  16. 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

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
  17. It is of 3th, cancel after verification correctly enterprise group inside compensate for to sell economic item, weave newspaper scientifically to merge accounting form, is most important for raising the state - owned group accounting information quality of holding company

    第三，正確核銷企業集團內部抵銷經濟事項，科學地編報合併會計報表，對提高國有控股企業集團會計信息質量至關重要。
  18. Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively

    在驗證工作流時序約束一致性方面，在uml狀態圖中加入了時間事件，給出了將擴展后的uml狀態圖轉化為時間自動機的規則，用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔（上、下界約束）和工作流的最終期限約束，並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義，通過alur的演算法對時序約束一致性進行驗證。
  19. Represents the event code indicating that the view - state verification failed

    表示的是指示視圖狀態驗證失敗的事件代碼。
  20. Is the major code for the health event related to view - state verification failure

    是與視圖狀態驗證失敗相關的狀況事件的主要代碼。
分享友人
分享到 Line

分享到臉書