驗證時間 的英文怎麼說
中文拼音 [yànzhèngshíjiān]
驗證時間
英文
proving time- 驗 : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 時 : shí]Ⅰ名1 (比較長的一段時間)time; times; days:當時at that time; in those days; 古時 ancient tim...
- 間 : 間Ⅰ名詞1 (中間) between; among 2 (一定的空間或時間里) with a definite time or space 3 (一間...
- 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
- 時間 : time; hour; 北京時間十九點整19 hours beijing time; 上課時間school hours; 時間與空間 time and spac...
-
And the deficiencies are pointed out in present researches, such as highway capacity, level - of - service, influence factor of road alignments, etc. from these, it has confirmed that the thesis should be studied from rational analysis, quantitative analysis of level - of - service, impact on capacity of road alignments, setting - up simulation model, etc. the high - accuracy gps dynamic data acquisition appearance is proposed to be used for the first time to carry on the experiment of overtaking on two - lane highways, and experiment scheme is designed according to the driver ' s perceive to judge each overtaking course. based on the experiment data, it can get two important parameters of acceptant gap ? the critical gap of overtakable time headway and returnable time headway through data processing, which can offer the strong support to the research of two - lane highway capacity with qualitative and quantitative analysis. besides, the experiment methods is provided to observe overtaking ratio and to measure the
研究中首次提出了運用高精度gps動態數據採集儀對雙車道公路上的超車行為進行觀測,設計了根據駕駛員感受度來衡量超車過程的實驗方案,並通過後期數據處理得到了超車過程中兩個重要的可接受間隙參數-可超車車頭時距和可回車車頭時距的臨界間隙值,為定性和定量分析雙車道公路通行能力提供有力的數據支持;同時,還提出了觀測超車率的實驗方法以及測量加速度干擾的實驗方案,統一了計算加速度干擾的時間統計間隔,為雙車道公路的服務水平量化研究奠定基礎;最後還簡單介紹了駕駛員問卷調查法和模擬程序中模型參數標定和驗證的數據採集方法。For the purpose of saving running time of iterations, this paper apply adaptive method to aitken extrapolation algorithm and eigenvalues - based algorithm respectively. experimental results elementarily show that these two new algorithms can speed up the performance of iterations
本文將adaptive方法分別與基於特徵值直接求解演算法和aitkenextrapolation演算法相結合,實驗結果初步證明了這兩個新演算法能夠縮短迭代時間。Declare the ginseng that stipulates disease is planted to keep staff, should by via treating hospital disease director ou fills in " fine disease of regulation of insurance of primary medical treatment plants worker of the town that start city outpatient service examines and approve a watch ", add the material such as result of him anamnesis, diagnostic proof and the closest examination, assay, after the sectional examine and verify that via the hospital responsible and primary medical treatment is sure to manage, by place unit cure signing up for city protects agency orgnaization, appraisal of classics expert group accords with condition and cure to protect agency orgnaization to examine and approve assentient, send " formulary disease is planted special anamnesis ", formulary disease is enjoyed to plant inside significant time of the regulation pay of medical treatment insurance
申報規定病種的參保人員,應由經治醫院病區主任填寫《嘉興市城鎮職工基本醫療保險規定病種門診審批表》 ,附本人病歷、診斷證實及最近的檢查、化驗結果等材料,經醫院負責基本醫療保險治理的部門審核后,由所在單位報市醫保經辦機構,經專家組鑒定符合條件和醫保經辦機構審批同意者,發給《規定病種專用病歷》 ,在規定的有效時間內享受規定病種醫療保險待遇。Roll out at succeeding in june 2003 " the elite that fight bacterium " brand, the broad spending market that the product strengthens increasingly in the light of healthy consciousness and want to cast off a foot the consumer development with smelly, disturbing n / med beriberi, via trying on an experiment strictly for long, the proof can be restrained effectively and kill bacterium, fungus to wait microbial, defy bacterium, deodorant result apparent, reliable, become the throughout the country first product that holds through fighting bacterium to indicate, it is industry of domestic leather shoes the first ( also be home current and exclusive ) the leather shoes company that holds through fighting bacterium mark product
於2003年6月成功推出「抗菌精英」品牌,產品針對健康意識日益增強的廣大消費市場和想擺脫腳臭、腳氣煩擾的消費者開發,經長時間嚴格試穿實驗,證明能有效抑制和殺死細菌、真菌等微生物,抗菌、防臭效果明顯、可靠,成為全國首批通過抗菌標志認定的產品,是國內皮鞋行業第一家(也是國內目前唯一)通過抗菌標志產品認定的皮鞋企業。Clinical and laboratory work on california poppy has clearly demonstrated the plant ' s sedative and anti - anxiety properties, it has been shown to improve both sleep latency and quality
臨床實驗已證明它的鎮靜及抗憂慮作用,它被證實能改善進入睡眠的時間及睡眠的質數。This experiment is going to validate the relations between the momentum and kinetic energy by determining the momentum and the kinetic energy of the celerity electron at the same time
本實驗通過對快速電子的動量及動能的同時測定來驗證動量和動能之間的相對論關系。The second passage of the article is the essential section, composed with macrocosm design, organization implement and feedback collection, designing and outlining the systemic model of certificate of leadership qualification, the whole assessment system pays attention not only to the macrocosm structure, proper and scientific frame, extensive applicability, but also to concrete steps, exiguous and intuitionistic programming, simple and convenient operation. the macrocosm design exerts modern examination theory and systemic project method to describe thoroughly the basic principles, applicable range, certificate categories, the setting of organization system, assessment target of leadership qualification, the choice of content and technology ; organization implement gives exiguous and concrete designs on the period of qualification examination, choosing time, confirmation of the certificate scale and qualification censor, written examination, interview, pub
總體設計中運用現代考試理論和系統工程的方法,適應形勢,結合實際,對認證制的基本原則、適用范圍(正副廳、正副處、正副科等三等六級) 、認證的分類、組織體系的設置、任職資格認證評價目標、內容和技術的選擇進行了宏觀全面地闡述;組織實施中對任職資格考試周期、時間的選擇、認證規模的確定以及資格審查、筆試、面試、考察、公示的操作等進行了微觀具體地設計;反饋迴流中對認證工作的檢驗和評估、任職資格的跟蹤動態管理和認證制保障機制的建立進行了詳細說明。Orgnaization of social insurance agency wants appropriate to arrange time of test and verify, examine data of concerned certificate, proof seriously, exact record proves result case
社會保險經辦機構要妥善安排驗證時間,認真查驗有關證件、證實材料,準確記載查驗結果情況。Sliding expiration resets the active authentication time for a cookie to expire upon each request during a single session
可調過期將cookie的當前身份驗證時間重置為在單個會話期間收到每個請求時過期。There are several crucial questions for researchers to answer : how to model and validate the timing constraints ? how to guarantee the satisfaction of constraint in system implementation
目前使用面向對象方法開發實時系統研究的熱點問題包括:時間約束在對象模型中如何描述、如何應用傳統的實時系統理論驗證時間約束、以及如何在系統實現中保障時間約束的滿足。Nevertheless, atomic clocks are accurate enough to record the shift and confirm that time really is stretched by motion
然而,原子鐘的精準度確實能記錄這個時間差,並驗證時間真的會因運動而拉長。Based on the background stated above, a developping method is presented in this thesis in effort to guide and assist the oo development of real - time systems. the proposed method is based on two techniques : schedulability analysis and automatic code generation, which are combined to validate and guarantee a certain type of timing constraint
在上述研究背景之下,本文研究了一種以保證時間約束為最終目標的實時系統面向對象開發方法,該方法應用了可調度性驗證和自動代碼生成兩項核心技術,解決了一類時間約束的驗證和保障問題。With the rapid development recent years the static verification can offer relative faster speed and shorter time than dynamic one can do in the growing field of large scale chip
靜態驗證技術在近幾年內有著飛速的發展。靜態驗證技術可以克服晶元規模增大時動態驗證時間耗費巨大的缺點。When isa server 2004 enterprise edition uses certificate authentication between array members and the configuration storage server, adam account settings used during authentication may expire and the connection will fail
當isa server 2004 enterprise edition在陣列成員和配置存儲服務器之間使用證書身份驗證時,身份驗證期間使用的adam帳戶設置可能過期,連接可能失敗。Because sax is event driven, you ll want to be notified of, and react to, any errors that occur during validation
因為sax是由事件驅動的,所以您需要在驗證期間發生任何錯誤的時候得到通知,並對它作出反應。Measures and reports the following verification times in milliseconds
測量並報告下列驗證時間(以毫秒為單位) :Also avoid using many default attributes, since this increases validation time
同時要避免使用太多的默認屬性,因為這會增加驗證時間。Experimental results show that compared with traditional dependency removal strategy, the dependency removal strategy in the method can reduce the time of verification
實驗結果表明,與傳統依賴性處理策略相比,該驗證方法中的依賴性處理策略減少了驗證時間。Because the data of media processing is large, a simple network protocol is also implemented to speedup the data transmission between the host machine to the target platform when we simulate the media processing program
媒體處理的數據流很大,為了提高平臺驗證時下載速度, iota設計了網路協議棧,來提高數據傳輸速度,從而縮短驗證時間。作者同時實現了一種基於rtos軟硬體模擬驗證平臺。Marker making is the part in nacpro much needing breakthrough, which is also the biggest gap between the domestic and foreign software. therefore new development in marker making must be made to realize the aim of human - intervenable automatic marker - making system and we had to spend long time to develop a bundle of new arithmetic. finally we find it after repeated discussion, implement, evaluation and choosing
Nacpro另一個最需要有所突破的部分是排料,這部分也是我們與國外軟體差距最大的部分,因此必須對排料部分進行全新的開發,最終實現可人工干預智能自動排料系統的目標,為此不得不付出大量的開發驗證時間研發一大批新演算法,這是在不斷討論實施評估取捨的反復過程中前進的,最終找到更行之有效的新演算法。分享友人