正式驗證 的英文怎麼說
中文拼音 [zhēngshìyànzhèng]
正式驗證
英文
formal verification- 正 : 正名詞(正月) the first month of the lunar year; the first moon
- 式 : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
- 驗 : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 正式 : formal; official; regular
- 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
-
To eliminate the errors, the parallel double - sensor scheme which can eliminate the influence of the tooth space error of the measurement tooth - wheel and the contraposition double - sensor scheme which can reduce the influence of the installing eccentric error of the measurement tooth - wheel are demonstrated in detail and realized in this paper
為消除這些誤差,詳細論證並實現了用並聯式雙傳感器方案消除測量齒盤分齒誤差的影響和用對置式雙傳感器方案消減測量齒盤安裝偏心誤差的影響。構建了試驗臺,驗證了誤差研究和雙傳感器方案的正確性。Analyse the klingelnberg amk855 gear milling machine. through analyse the transmission chain of the gear milling machine, analyse the transmitting principle and manufacture principle, introduce the two - - part cutter head, the process of formation of extended epicycloide and inaginary crown gear cutting principle ; overall introduce the formation of tooth face, deduce the calculation formulas of the main setting parameter of gear milling machine, and proving the correctness of the setting calculation formulas by the program of ‘ calculating of klingelnberg cyclo - palloid spiral bevel gear milling setting parameter ’
通過剖析該機床的傳動鏈,分析了其運動原理和加工原理;介紹了雙層萬能刀盤、延伸外擺線的形成過程和假想平面產形輪切齒理論;全面介紹了齒面的形成方法,推導了銑齒機主要的調整參數的計算公式,並用「 klingelnberg擺線齒錐齒輪銑齒調整參數計算」的程序驗證了推導的公式的正確性。Then following reality constituent of engine and connecting component interface, a nonlinear signal cylinder engine model has been created, though fire interval and fire order, a control - oriented four cylinders engine is build. following dynamometer is seen as load, performance of engine is simulated and researched under the condition of constant torque and speed, validation of the math and simulation model have been confirmed by comparison result between simulation with test result of engine performance simulation software dyno
按照發動機的實際組成,根據各部件的介面類型連接模型庫中的部件,建立了單缸發動機非線性模型,在此基礎上,依據發動機實際發火間隔和順序,建立了面向控制的四缸汽油機模型,並以測功器為負載,通過恆轉矩和恆轉速方式進行了發動機性能模擬和研究,模擬結果和發動機動力性能模擬軟體dyno測試結果的對比驗證了數學模型和模擬模型的正確性。The paper studied tests on three epiboly profiled bar concrete beams, bearing capacity of normal section, stiffness and behavior of cracks, and put forward formulas as advise. based on extant nonlinear concrete theory, a fem model was built by ansys program. the results of fem analysis was verified by tests data. some parameters in fem model were changed to build different models and the analysis results were compared with the advised formulas
本文通過三根外包型鋼混凝土梁試驗,研究了其正截面承載能力、剛度以及裂縫方面的性質,並提出了一些相關建議公式。同時在現有混凝土非線性分析理論的基礎上,採用ansys有限元分析程序建立了外包型鋼混凝土梁的有限元模型,結合試驗數據對模型進行了驗證,另外還改變了一些參數建立了有限元模型,並和建議公式的結果進行了對比。Having proved his point, dr liu is now trying to design sensors that work more like the sense cells in a real lateral line
在自己的想法得到驗證后,劉博士目前正在試圖設計一種工作方式更接近魚類天然側線系統中感覺細胞的傳感器。Disigning coolant channel on the firebox of liquid rocket engine to loxodrome ( equal - angle helix ) groove can improve firebox coolant capability greatly. because the width dimension of loxodrome groove is narrow and the depth is deep, some machining methods are incapable, such as end - milling or electrochemistry. according to the peculiarities, a cnc disk - cutter - milling method which is composed of five motion axes with four simultaneously interpolated ones is researched. because most firebox generatrix is composed of complex curves, it is very difficult to get cnc cutting program with manual means. in order to deal with the problem, the loxodrome mathematics model is studied, and an auto - programming software system is developed. the software system can generate cnc cutting program of loxodrome on many kinds of turned surface. the constriction - distension segment of firebox is the most representative workpiece. the sharp changing of its generatrix slope makes loxodrome milling difficult. with the theory analyzing and practice cutting experiment, some applied techniques, which include milling mode and direction, choosing cutter diameter and cutting start point setting, are developed. adopting the technology above, tens regular workpiece have been manufacturing. the two - year manufacture practice has confirmed the validity and feasibility of developed loxodrome coolant channel milling method. the developed technology is also worth to be referenced to other similar workpiece
將液體火箭發動機燃燒室的冷卻通道設計為斜航線(等傾角螺旋線)槽形,可以大幅度改善燃燒室的冷卻性能.斜航線冷卻槽的槽寬尺寸較小而槽深尺寸較大,所以無法使用棒銑刀銑削、電化學等加工方式.針對這些特點,提出了五軸控制、四軸聯動的數控片銑刀銑削加工方法.由於燃燒室外表面的母線輪廓復雜,手工編制數控加工程序難度大.為了解決數控加工程序的編制問題,研究了斜航線的數學模型,開發了自動編程軟體系統.使用該系統,可以生成多種母線輪廓回轉體外表面上的斜航線數控加工程序.燃燒室收斂-擴張段的母線斜率變化大,加工難度大,是斜航線冷卻通道加工的最典型工件.經過理論分析和實際切削實驗,研究了針對該類型工件的片銑刀直徑選擇、銑削方式和方向、刀具調整和起刀點的設置等多項實際的加工方案.採用上述的一系列技術,已經成功地加工了數十個合格工件.經過兩年多的實際生產過程應用,驗證了所開發的斜航線冷卻通道加工方法的正確性和可行性.這些加工技術的研製成功,對其他相似類型零件的加工亦具有參考意義Next analyzed were the characteristics of natural gas pipeline transmission ; cost, ratemaking principle, method of acquiring the pipeline transmission fee, constitution, calculate, management and control after that, wt ; compared service cost methods with economic evaluation methods and the one - part pricing method with the two - part pricing method. later on was introduced the regulate coefficient of pipeline transmission fee structure, established the modificatory two - part pricing method, and found out a natural gas pipeline transmission pricing method that is fit for china ' s current situation. finally, we validated the rationality and applicability of this metho j by the demonstrational analysis on the natural gas pipeline transmission price of " the gas transmission from west to east " pipeline this paper ' s research fundamental is : the fundamental of natural gas pipeline transmission pricing should reflect the characteristics of natural gas pipeline transmission
本文首先論述了自然壟斷行業的價格理論,然後分析了天然氣管輸的特點、定價原則及管輸費的收取方式、成本、構成、計算及其管理與調控;在此基礎上比較了中外天然氣管輸定價的服務成本法與經濟評價法,一部制定價法與兩部制定價法等;針對目前我國天然氣管道運價的制定現狀,本文深入研究了國際通用的天然氣管輸定價方法,引入「管輸費結構調整系數」的指標,建立修正的兩部制定價方法,找出了一套適合於我國當前國情的恰當的天然氣管輸定價方法,並通過「西氣東輸」管線加以實證分析,驗證了方法的合理性和適用性。In light of the elastic thin plate theory, the author induced equilibrium differential equation of bi - direction cellular slab, which was proved correct through analysis and comparison to result of ansys to with theoretical calculation. through the deflection and bending moment coefficient calculation of bi - direction cellular slab under various boundary conditions, the author brought forward the theory that the deflection of mid - span and bending moment coefficient calculation of mid - span and support of bi - direction cellular slab could be in accordance with solid plates ", which could satisfy the precision of engineering
本文根據彈性薄板理論,導出了雙向空腹板的平衡微分方程,並通過理論計算和通用有限元程序ansys結果對比,驗證了其正確性;通過對各類邊界條件下雙向空腹板撓度和彎矩系數的計算比較,本文提出:雙向空腹板跨中撓度及跨中、支座彎矩可使用本文空腹板剛度公式查找現有的實心板撓度彎矩系數表進行計算,完全能滿足工程精度要求。This paper starts the research of the liquid floated pendulous accelerometer testing system according to the engineering. at first, this paper gives the brief introduction of the history and present status of accelerometer and its testing technology, the working principium and math model of the liquid floated pendu - lous accelerometer, and then, decides the binary width pulse force retrim loop as the design proposal of testing system, researches the transfer function of every part in the system emphasizly, analyses the stability of the whole accelerometer testing system from the angle of control theoretics by the open loop transfer function of system, and designed the correcting net, analyses the basal problems such as resolution, sampling restraint, precision and so on, designs the hardware testing circuits such as preamplification, band - pass filter, alternating amplifier, phase sensitive demodulatorn, pulse - width modulation, frequency scale circuit, moment current generator. finally, using the graphics program language labv - iew which is designed for testing field especially by ni accomplishes the solfware design of testing system, realized the testing functions
首先對加速度計及其測試技術的發展歷史和現狀,液浮擺式加速度計的工作原理和數學模型等作了簡要的介紹,然後確定了以二元調寬脈沖再平衡測試迴路為設計方案,並從控制理論的角度進行了分析,著重研究了系統中各部分的傳遞函數,利用系統開環傳遞函數分析了系統的穩定性,同時設計了系統的校正網路;分析了二元調寬脈沖再平衡測試迴路的解析度、采樣約束以及測試精度等基本問題,並按照系統分析的結果設計了包括前置放大、帶通濾波、交流放大、相敏解調、脈寬調制、頻標電路以及力矩電流發生器等測試系統各部分硬體電路,驗證了電路的正確性,最後按照測試系統的要求,採用了美國ni公司專為測試領域所開發的虛擬儀器工具? ? labview作為測試軟體開發工具,利用該圖形化編程語言完成了測試系統軟體部分的設計,實現了測試功能。Based on the theories described above, calculation formula of general dimension of least square measure and multi - fractal fault diagnosis and analysis system have been established with borland c + + builder 5. 0, and checked by pure sinusoidal and cosine signal and sinusoidal signal with noise, and verified by the examples
基於上述原理,建立了最小二乘法的廣義維數計算公式,用borlandc + + builder5 . 0編制了以廣義維數計算分析為基礎的多重分形故障診斷系統,並對標準的正弦信號、餘弦信號及帶有噪聲的正弦信號進行了驗證。In this thesis, studies are focused on as follows : ( 1 ) based on analyzing the general transfer - matrix, the conception of the generalized double layer soil model is proposed, and the transfer - matrix ( r ) of half - infinite elastic mass is introduce - d to the analytic expressions of stress and settlement under the uniform circular, rectangular and strip vertical loads in multi - layered soil ; ( 2 ) according to the analytic expressions of the additional stress and settlement under unifo - rm circular in multi - layered soil, rectangular and strip vertical loads, the programs are develop - ed to resolve and debugged. the results show that the programs are correct ; ( 3 ) through calculating the coefficient of additional stress on the central axis of uniform circ - ular vertical loads, under the corner point of the uniform rectangular vertical loads, and on the central axis of uniform strip vertical loads, and the settlement on the center of uniform circular vertical loads and uniform rectangular loads in double - layered soil, the characters of stress and settlement are discussed ; ( 4 ) a case, as an example, is studied with different calculation methods, such as traditional theory, fem. the results obtained are compared
本文在已有研究成果的基礎上進一步開展了以下幾方面的研究: ( 1 )在對層狀地基傳遞矩陣法中的總傳遞矩陣分析的基礎上,提出了廣義雙層地基模型的概念,並把半無限體的傳遞矩陣r引入到多層地基在圓形垂直均布荷載、矩形垂直均布荷載及條形垂直均布荷載作用下附加應力與沉降的解析式中; ( 2 )根據多層地基在圓形荷載、矩形垂直均布荷載及條形垂直均布荷載作用下附加應力與沉降的解析式,編制了程序,調試通過並驗證了其正確性; ( 3 )通過對雙層地基圓形垂直均布荷載中心軸線上的附加應力系數和荷載中心沉降,矩形垂直均布荷載角點下的附加應力系數和荷載角點沉降及條形垂直均布荷載中心軸線上的附加應力系數進行的計算,探討了雙層地基中的附加應力與沉降特性; ( 4 )應用本文的層狀地基體系理論對一個工程實例進行了計算分析,並與傳統的計算方法的計算結果和有限單元方法的計算結果進行了對比分析,結果表明利用層狀地基理論計算更能反映地基中附加應力分佈的實際情況。In allusion to the coning motion of parachute systems in steady decent, the impact of several factors upon the motion forms of the system are discussed, and the influence of the different aerodynamic parameters on the system ’ s coning motion are analyzed significantly. on the base of these, theoretical formulae of the system ’ s steady coning motion are deduced to validate the model ’ s correctness
針對降落傘系統在穩定下降過程中的錐擺現象,討論各種因素對系統運動形式的影響,著重分析了不同的氣動參數對系統錐擺運動的影響,在此基礎上推導出系統穩定錐擺運動的理論公式,驗證模型的正確性。An application that does not properly validate user input can suffer from many types of malformed input attacks, including cross - site scripting and microsoft sql server injection attacks
如果應用程序不能正確驗證用戶輸入,則可能會受到多種類型的格式錯誤的輸入的攻擊,包括跨站點腳本攻擊和microsoft sql server注入式攻擊。It presents the verification strategy used in the whole eda design flow of the chip. the simulation on module level ( inc. post - layout ) uses the software event - driven simulator, the simulation of the associated modules or whole system uses cycle - based simulator and hardware emulator, for the gate - level netlist produced by using top - down design flow, the sta tool can analyze the static timing, and more formal verification is used to ensure the correct function
本章還提出了系統在整個eda設計流程中的設計驗證策略方法:模塊級的模擬(包括布線后的模擬)全部採用事件驅動式的軟體模擬工具來驗證,各大模塊的聯合模擬及整個晶元的功能驗證(寄存器傳輸級與門級)使用基於周期的模擬工具和硬體模擬器;對于採用top - down的設計方法得到的門級網表使用專門的靜態時序分析工具來進行時序分析以及採用形式驗證來保證正確的功能。By means of establishing the mathematical model and simulative model for double wishbone typed independent suspension frame of certain light - duty lorry and using the adams software to simulate the variation law of front restraint angle of wheel at different positions of splitting points during the moving course of lorry, and verified the correctness and reliability of the simulated result by applying the spatial analytic geometric relation formulae
摘要通過建立某輕型卡車雙橫臂式獨立懸架的數學模型和模擬模型,利用adams軟體模擬汽車運動過程中不同斷開點位置車輪前束角的變化規律,並用空間解析幾何關系式驗證了模擬結果的正確性與可靠性。A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
一種支持分散式系統的正式驗證且廣泛發布的軟體包是用於硬體驗證的時態邏輯模型檢查的示例。Verifying that a well formed xml document is correct with respect to a dtd or schema
關于dtd和模式,驗證結構良好的xml文檔是否正確。The error message shown when the password entered does not pass the regular expression defined in the
屬性中定義的正則表達式驗證條件時顯示的錯誤信息。Gets or sets the error message that is shown when the password entered does not pass the regular expression criteria defined in the
屬性中定義的正則表達式驗證條件時顯示的錯誤信息。Frequently, you use regular expressions to validate data entered by the user
通常,可使用正則表達式驗證用戶輸入的數據。分享友人