檢證程式 的英文怎麼說

中文拼音 [jiǎnzhèngchéngshì]
檢證程式 英文
procedure of verification
  • 檢 : Ⅰ動詞1 （查） check up; inspect; examine 2 （約束; 檢點） restrain oneself; be careful in one s c...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 程式 : form; pattern; formula; modality
  1. Markup validation works like the spelling checker in a word processing program

    標記驗證的工作方式類似於字處理程序中的拼寫檢查器。
  2. Based on mono - pulse radar system and the analysis of terrain echoes, a geometrical model of air to ground ranging is constituted. by using the signals received from the sum and difference channels of terrain follow radar, a group of the expressions for terrain echoes are educed and characteristics of these echoes are obtained. according to the characteristics of the echoes, the theory and method of pass zero detection of difference channel and its applications are discussed in detail

    針對一維單脈沖雷達體制，分析了地形目標回波特性；建立了地形跟隨雷達空地測距的幾何關系；利用雷達收發信號，導出了地形跟隨雷達和差接收通道的回波信號表達式，進行了波形模擬，得到了地形跟隨雷達的地面散射產生回波在時域中的特性；根據和差回波特性，闡述了差信號過零點檢測測距的原理和方法及工程實踐中的應用，並給出了真實雷達對外輻射試驗的結果，驗證了文中的模擬。
  3. Our leading varieties include more than 100 types of trucks such as water truck, fecal sucktion truck, garbage truck, refuse compactor, sewage sucktion truck, fuel tank, high - altitude operation truck, truck with crane, dump truck, instructional truck, van truck, semi - trailer, fire engine, spares, refrigerator truck, water wagon, tractor, high - altitude water truck, bulk cement truck, chemical liquid truck, concrete mixer truck, ect. our company has solid technology, flawless inspection, advanced equipments, reliant quality and flexible modes of operation

    湖北程力公司技術力量雄厚，檢測手段完備，擁有國內外先進的生產的設備，產品質量穩定，經營方式靈活，程力公司已率先全面通過iso9001 - 2000國際質量體系認證，產品全部通過3國際強制產品認證，並通過出口產品的各項認證。
  4. Part one : this part introduces the summarization of the abs ( asset - backed securities ), which includes the conception, the basic theory, the features, the categories, the basic running process, and the circumstance of the research and development, etc. part two : the main contents of this part are the necessity and the analysis for the feasibility of the financing of securities depending on the charges of expressways, including the analysis for the feasibility of the financing of securities on the basis of the expressways " charges, the option between the two operation models, and the analysis for the feasibility of the operation of indigenization, etc. part three : this part mainly demonstrates how to design the plan of a company for the financing of securities and indigenization, which consists of the introduction of a company ' s background and the main problems to be confronted, the features of the basic assets and the analysis of the cash currency, the selection of spy, the design of trading structure, the product design of securities, etc. part four : this part discusses the financial evaluation about a company ' s design of the financing of securities and indigenization on the basis of the expressways " charges, the analysis of the risks and the analysis in general

    本文的創新之處在於: （ 1 ）通過對我國《信託法》 、 《公司法》等相關法律、法規的深入研究，提出在國內現行制度框架和市場環境下，以信託方式設立特設目的機構的基本思路，並構架了類附擔保公司債信託型和信託簽發企業銷售型兩種較為滿意的本土化交易結構方案，具有一定的理論創新性; （ 2 ）將資產證券化這一金融創新工具應用到高速公路融資領域，論證了高速公路利用收費證券化融資的必要性和可行性，並提出了一個可供借鑒的操作性方案。本文可能的不足是在證券化產品設計方面由於筆者知識水平的欠缺，深感作得不是很深入，需進一步的完善和細化;另外對各種交易結構模式的設計和分析只是一種理論上的探討，到底是否有效和可行需接受實踐的進一步檢驗。論文分為四個部份:第一部份，資產證券化概述，包括資產證券化的概念、基本理論、特點、基本形式、基本運作流程、國內外研究和發展現狀等。
  5. In this article, firstly the background of the textile trade conflicts within sino - us or sino - euro are introduced, thus learn that how to discern and dodge the foreign trade risks, how to choose the appropriate investment projects have already become one of the most important questions for exporting companies on foreign trade affairs well - known as high investment and high risk. so the main text makes a risk analysis qualitatively and quantitatively on a textile - exporting trading company from three angles of statistic 、 game theory and portfolio theory, which is the main content that we studied. firstly, the statistic article adopts data of the transaction closing price of the textile clothing index in shenzhen stock exchange at the end of each quarter as well as several other kinds of data reflecting the macro - economic changes, performs an empirical analysis of these data according to the theory of co - integration test 、 granger cause test and impulse response function of time series in economitric, and learn that the impact to ti is more obvious by the economic index reflecting local commodity price level and economic prosperity degree home and abroad, as well as the impact degree and the time lag degree, and knows the macro - economic risks faced by textile business enterprises ; after that by the game theory angle we analyze exactly the managing risks faced by one textile export corporation named beauty. from the game expansion chart the system arrangement between censor ways by exportation goal countries and exporting strategies by the exporting enterprises has been analyzed. involving the benefit assignment between them both the limited rounds and infinite rounds negotiations of cooperation games have been studied, and then country responsibility and the enterprise managing risks on foreign trade affairs and so on have been analyzed exactly ; in order to realize the investment multiplication in the certain degree to disperse the risk, the

    本文首先介紹了中美、中歐紡織品貿易爭端的來龍去脈，由此可知在涉外貿易這種以高投入、高風險著稱的行業里，如何甄別和規避外貿風險、如何選擇合適的投資項目已經成為外貿企業的首要問題。因此，正文分別從統計學、博弈論和投資組合三種角度對涉外紡織品貿易公司風險進行了定性和定量的分析，這也是本文的主要研究內容。首先，統計學篇選取了深圳證券交易所行業分類指數?紡織服裝指數（ ti ）每一季度末的交易收盤價和若干種反映宏觀經濟變化的指標，利用計量經濟學中時間序列的協整檢驗、 granger因果檢驗和脈沖反應函數等理論做實證分析，從而得知反映國內物價水平和國內外經濟景氣程度的經濟指標對紡織板塊上市值的沖擊比較明顯，且可知沖擊程度和時滯度，進而分析出涉外紡織企業所面臨的宏觀經濟風險;接著，從博弈論的角度具體分析一家紡織品出口公司（ beauty ）的外貿活動所面臨的各種經營風險，該篇從博弈擴展圖入手，分析了出口目的國審查方式與本企業出口策略之間的制度安排;並圍繞雙方的利益分配，研究了有限回合和無限回合合作談判博弈，然後具體論述了國家責任和企業涉外經營風險等問題;在一定程度上為了實現投資多元化來分散風險的目的，投資組合篇從經典的markowitz模型著手，在一些特定條件的限制下，給出了一個相應的投資組合模型。
  6. Adopting the method of top - down, the virtual memory is divided into memory mange related unit ( segment unit and page unit ) and protection mode related unit ( protection test unit, debug test unit and exception detect unit ). data buses and control bused are designed separately for all of the units. vhdl codes are written and simulated

    Amex86的虛擬存儲器採用自頂向下的設計方法，把虛擬存儲器劃分為地址管理相關單元（又包括分段單元和分頁單元） 、保護模式相關單元（又包括保護測試單元、調試異常單元利異常檢測單元等） ，分別確立其數據通路和控制通路，完成了vhdl的編碼和模擬工作，通過測試程序模擬驗證了其功能的正確性並測定了基本性能。
  7. He has taken on various public roles including vice - president of the hong kong institute of bankers, chairman of the correctional services children s education trust investment advisory board, chairman of the banking and finance industry training board of the vocational training council, member of the board of hong kong applied science and technology research institute company limited, member of the leveraged foreign exchange arbitration panel, member of the process review panel of the securities and futures commission, and lay observer of the independent police complaints council

    他參與多項公職，包括香港銀行學會副會長，懲教署人員子女教育信託基金投資顧問委員會主席，職業訓練局的銀行及金融業訓練委員會主席，香港應用科技研究院有限公司董事，杠桿式外匯仲裁委員會委員，證券及期貨事務監察委員會程序覆檢委員會委員，及投訴警方獨立監察委員會觀察員等。
  8. In the course of developing and before application, the performance of carrier - borne aircraft illuminated guidance system under the environmental state of movement should be tested firstly, especially the performances and state measures of glide indicator, rolling indicator and gyrohorizon which offer ship ' s movement postures to carrier - borne aircraft in the illuminated guidance system, this needs to offer a artificial carrier on the land that can imitate ship ' s movement in the water. at present, simulating table only has single degree of freedom at home application to carrier - borne aircraft illuminated guidance system which need change test and measurement situation and adjust benchmark in the course of experiment

    艦載機燈光引導系統作為艦載機著艦引導特輔裝置是載機艦船上不可或缺的特種裝置，是保證飛行員的生命安全和艦載機安全回收的重要手段。其在開發過程中以及正式安裝使用前，首先要通過在運動環境狀態下的性能測試，特別是燈光引導系統中為艦載機提供艦船運動姿態的下滑指示器、橫搖指示器以及陀螺地平儀的性能和狀態檢測，這就需要在陸地上為它們提供一個可模擬艦船在水面運動的載體。
  9. Counters for applications for various permits and certificates for trade or import export purposes of the agriculture, fisheries and conversation department, applications for incorporation and registration of companies, public searches of the companies registry, registration services for medical and healthcare professionals, registration and licensing services relating to chinese medicines, school dental clinics, sai ying pun dermatological clinic and chai wan social hygiene clinic of the department of health, shroff for receiving payment of debts damages of the department of justice, some support services to schools, teachers and the general public provided by the education and manpower bureau, registration services for electrical workers, lpg cylinder wagons, lifts and escalators, builders lifts tower working platforms and amusement rides provided by the electrical and mechanical services department, processing of sick leave clearance for employees claiming work injury compensation by the labour department, sections dealing with family litigation and insolvency matters and criminal matters of the legal aid department, licensing and port formalities at four marine offices and advance booking of professional ship surveying and inspection service of the marine department, services for offenders and medical social services at department of healths kowloon bay integrated treatment centre provided by the social welfare department, road driving tests and driving ability assessment services to people with disabilities provided by the transport department and customer enquiry centres and meter testing services of the water supplies department will move to a five - day week with effect from january 1, 2007

    漁農自然護理署處理貿易或進出口許可證和證明書申請的櫃臺公司注冊處的申請注冊成立公司及辦理公司登記服務公眾查冊生署的醫護專業人員的注冊服務中醫藥注冊和發牌事務學童牙科診所西營盤皮膚科診所及柴灣社會生科診所律政司的接收償還債款損害賠償繳費處教育統籌局為學校教師和公眾提供的部分支援服務機電工程署的電業工程人員石油氣瓶車升降機及自動梯建築工地升降機塔式工作平臺及機動游戲機的注冊服務勞工處為申索工傷補償的雇員辦理銷假手續法律援助署負責處理家事訴訟清盤及刑事事宜的組別海事處的四個海事分處的發牌服務及關務專業船舶檢驗及檢查服務的預約服務社會福利署的違法者服務及於生署九灣綜合治療中心提供的醫務社會服務運輸署的路試駕駛考試及殘疾人士駕駛能力評估服務，以及水務署的客戶諮詢中心及水表測試服務等，都會在二零零七年一月一日起推行五天工作周。
  10. The former features in the initiative of exercising the right to prosecute, the higher speed of prosecutors holding case facts and evidence in addition to the higher efficiency of litigious proceedings, but it is likely to bring about clashes between investigative and prosecutorial organs, in turn, weaken the function of prosecution as a whole

    偵檢結合較為密切的模式，更能充分體現國家行使追訴權的主動性，有助於檢察官更迅速地把握案件的事實和證據，使訴訟進程更加快捷和高效。其缺陷在於容易產生較多的磨擦，反過來削弱整體的追訴功能；偵檢結合較為鬆懈的模式，偵查機關往往能集中精力，排除外在的影響，迅速偵破案件。
  11. This is a heuristic strategy. it can reduce the intersection tests need to be computed between bounding volumes by tracing the traverse process in previous time to gain traverse path in current time. the correctness and validity of collision detection can be guaranteed by maintaining the tracing list

    這是一個啟發式的策略，通過跟蹤國防科學技術大學研究生院學位論文上一時間采樣點對包圍盒樹的遍歷過程，確定當前時間采樣點的遍歷路徑，從而有效地減少了遍歷過程中包圍盒相交測試的次數，提高了演算法效率，同時通過對跟蹤表的維護，保證了碰撞檢測的正確性和有效性。
  12. As to the enterprises that have made the inspection, the inspection and quarantine department should pay more attention on the control of the quality by the lab while they control the production process, so as to ensure the quality of the inspection effectively

    對于實施過程檢驗的企業，檢驗檢疫部門應加強對生產過程式控制制的同時，更要對實驗室進行質量控制，從而真正有效地保證檢驗工作質量。
  13. A programmable dynamic target system is presented in this paper. on basis of analyzing the deficiency of traditional rotary target system, the significance and practicability of programmable dynamic target is proposed. through obtaining the corresponding relationship between target and theodolite, simulation model that aims at founding the laws of the moving target produce influence on theodolite was set up

    根據靶標與光電經緯儀之間相對運動關系的數學模型建立了模擬模型，並應用模擬模型進行了大量的模擬試驗，對比了靶標做勻速運動和做正弦擺動對被檢測的光電經緯儀的跟蹤曲線產生的影響，證實了靶標在編程式控制制下按正弦規律進行擺動可以更好的檢測光電經緯儀的跟蹤性能。
  14. In chapter one, we propose a new mixed method called characteristics mixed finite element method for a convection - dominated diffusion problems with small parameter e : we handle the convection part whth backward difference scheme along the characteristics, obtain much smaller time - trunction errors and avoid numerical dispersion on the front of the peak curve of the flow : we use a lowest order mixed finite element method to deal with the diffusion part, so this scheme can approximate the unknow function and its following vector with high accuracy at the same time

    第一章中我們對小參數對流占優擴散問題提出了新的數值方法? ?特徵混合有限元方法，即對方程的對流部分採用沿特徵線的後退差分格式求解，以保證較小的截斷誤差限並避免了在流動的鋒線前沿數值彌散現象的出現；對流動的擴散部分採用最低次混合元方法求解，以保證格式對未知函數及伴隨向量的同時高精度逼近。由於該方法中檢驗函數可取分片常數，此格式在某種意義上具有局部守恆性質。
  15. Firstly, the current testing localization in the detection of electric bow is analyzed and the new system ' s whole construction developed in this thesis is introduced ; in the 2rd chapter, the embedded 110v dc power supply is analyzed and constructed, and with experiments, some dissonant results such as the fluctuation of output pwm ( pulse width modulation ) pulses, the power noise added to output voltage, and the drop of output voltage have been analyzed and the problems have been broken down one by one ; in chapter 3, stepping motor ' s drive has been systematically dissertated, and combing stepping motor ' s subdivided drive technology, the author develops an intelligent mini - step driving circuit using a main - sub microprocessor structure, which is validated in the hybrid stepper based system ; in the 4th chapter, liquid crystal driving and displaying technology is specified in detail, with one sort of lcd modules ( tlm12864h ), the author develops an feasible circuit for the new testing system, designs a menu mode based program struc ture and brings here some programming codes using franklin c51 programming language ; in chapter 5, the above built system is used in the electric bow ' s practical detection, and the differentiating rate of this system is analyzed

    論文首先分析了目前機車受電弓檢修方式存在的局限並概述了本論文研製的受電弓測試系統的體系架構；第二章對系統內置110v直流控制電源進行了分析和設計，結合試驗對輸出pwm振蕩、輸出電源噪聲大、輸出電壓下跌等現象進行了分析並提出解決措施；第三章論述了步進電機的驅動，結合步進電機微步驅動技術研製了基於上下位單片機組的混合式步進電機智能驅動電路，並在試驗中得以驗證；第四章詳述了液晶驅動及顯示技術，利用一款液晶顯示模塊tlm12864h研製出本系統用液晶顯示電路，設計了菜單式的程序結構並以franklinc51編程方式給出部分子程序代碼；第五章則將以上構建的整個系統應用在機車受電弓的實測中，並對測試解析度進行了分析。
  16. Validation is a process of checking your documents against a formal standard, such as those published by the world wide web consortium ( w3c ) for html and xml - derived web document types

    網站驗證就是通過正式的標準來檢測文檔的一種過程，例如， w3c發布的關于源於網路文檔類型的html和xml驗證程序標準。
  17. Passengers under the twov program go through the full border inspection process upon arrival in the u. s. under the twov program, a passenger may stop at one or two u. s. airports en route to another foreign destination

    根據過境免簽規定，外國旅客在途經美國前往他國時，可無需事先取得簽證而在美國落地和轉機。按照過境免簽程式，旅客在抵達美國時要經過全部過境檢查程序；他們在前往他國途中可在美國一或兩個機場停留。
  18. Provides inspection and audits during fabrication to verify that boilers, pressure vessels, and other pressure components are constructed to various ped inspection / qa modules

    在生產過程中，進行檢驗和審核以確認鍋爐，壓力容器和其他壓力部件符合ped規定的檢驗和質量保證模式。
  19. Radiation sterilization is a especial process which result can not been examined by experiment afterwards, the process controlling should be implemented in irradiation sterilization

    輻射滅菌是個不能用事後檢驗驗證的特殊過程，對輻照滅菌過程應實施過程式控制制。
  20. With nearly 100 staff members ， the checking team is responsible for the control during the whole manufacturing processing. the top - ranking checking equipment ' s fully guarantee the high - performance quality

    專業的檢驗隊伍擔負著整個生產的全過程式控制制，國內一流的試驗檢測設備，更充分保證了產品的所有性能具有優異的品質。
分享友人
分享到 Line

分享到臉書