約束驗證 的英文怎麼說

中文拼音 [yāoshùyànzhèng]
約束驗證 英文
constraint validator
  • 約 : 約動詞[口語] （用秤稱） weigh
  • 束 : Ⅰ動詞1 （捆; 系） bind; tie 2 （控制; 約束）control; restrain Ⅱ量詞（用於捆在一起的東西） bundle;...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 約束 : keep within bounds; restrain; bind; bound; boundage;tie; restraint; restriction; engagement; repr...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. Using matlab and its add - ons simulink, through establishing simulation maths model, the paper integrates open chain vector equation ( describing motion restriction ), numerical value simulation ( computing velocity and displacement while given acceleration ) and matrix algebra, etc. to accomplish dynamic simulation for the robot and verifies the results for kinematics of the robot using analysis method, and it establishes foundation for following study for the robot such as kinetics, control, etc

    利用matlab及其附加軟體simulink ，通過建立模擬數學模型，綜合開環矢量方程（描述運動約束） 、數值模擬（在加速度已知時計算速度和位移） 、以及矩陣代數等來完成機器人動態模擬，對所研究的機器人運動學分析結果進行驗證，結果基本一致，為機器人的后續研究，如動力學，控制等奠定基礎。
  2. We characterized the security issues in asp - based networked manufacturing system, especially the issue of the user access control. then the typical methods of access control were introduced, which include discretionary access control ( dac ), mandatory access control ( mac ), role - based access control ( rbac ), task - based access control ( tbac ), coalition - based access control ( cbac ) and relationship - driven access control ( rdac ) and so on. based on that, we provided an integrated user access control model, which was composed of rbac, tbac, rdac and cbac

    本章描述了asp和網路化製造系統的安全性問題，尤其是用戶訪問控制的問題；接著介紹了幾種浙江大學博士學位論文典型的訪問控制方法，包括強制訪問控制、任意訪問控制、基於角色的訪問控制、基於任務的訪問控制，以及基於公司關系的訪問控制、基於企業聯盟的訪問控制等;在前面描述的典型訪問控制模型基礎上，給出了一個網路化製造系統的綜合訪問控制模型，包括網路化製造系統的用戶和資源層次關系圖、訪問控制參考模型和訪問控制過程模型，並定義了各個模型中的相關元素和關系，給出了各級約束驗證和授權的表達;最後我們給出了以xacml為基礎的網路化製造系統的訪問控制描述語言。
  3. 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作為測試軟體開發工具，利用該圖形化編程語言完成了測試系統軟體部分的設計，實現了測試功能。
  4. This paper carries out study on corporate governance based on system theory, advances concept of corporate governance, analyzes and abstracts system core of corporate governance from the point of mechanism by means of study on environment energy - rank principle, running mechanism and model of corporate governance. this paper analyzes mechanism of stimulation and restraint by using game theory, verifies effect of stock right structure on efficiency of corporate governance in view of connection between capital and corporate governance, gives method of resolving optimum stock right limit of collection and deconcentration and adventure share model of blending capital, and discusses problem of entrance of stakeholders to corporate governance etc. at last, according to system theory of corporate governance studied, this paper analyzes governance system of chinese state - owned and its effective factors, and advances complete countermove idea of corporate governance system

    本論文以系統理論為基礎對公司治理結構進行了研究，提出了公司治理結構系統的概念，分析提煉出了公司治理結構系統核，並通過對公司治理結構系統環境、系統能級原理和系統運行機制與模式的研究，從機制的角度分析了公司治理結構系統運行模式；運用博弈論對公司治理過程中的激勵約束機制進行了分析；針對資本結構與公司治理結構的關系，運用模型驗證了股權結構對公司治理效率的影響，給出了求解最佳股權集散度的方法和融資風險分擔模型；探討了利益相關者介入公司治理結構的問題等等。
  5. The strategy on repair and reinforcement on steel crane girder structures in service based on fatigue dynamic reliability is analyzed in the paper. considering the benefits of repair and the long - term economic affection after repair and reinforcement, using the fatigue dynamic reliability as constraint condition, thinking of that the sum of benefits of repair and reinforcement as object function, the optimization model is put forward. then it is used to an certain crane arc ends repair an reinforcement

    5 、基於疲勞動態可靠性，對在役鋼結構吊車梁的維修加固策略進行了探討，考慮維修加固效益和維修加固后的經濟影響，提出了以疲勞動態可靠性為約束，以維修加固總效益為目標函數的優化決策模式，並通過某鋼廠圓弧端吊車梁的維修加固實例驗證，可為工業建築吊車梁的設計，管理和維護提供依據。
  6. In the second part, a decomposition method for solving semidefmite quadratic programming with box constraints is proposed. a regular splitting of the hessian matrix of the problem is used in the algorithm. the convergence of the algorithm is proved under certain assumptions, the numerical results are also given

    第二部分把解邊界約束正定二次規劃問題的正則分解演算法推廣到求解邊界約束半正定二次規劃問題，在理論證明的基礎上還進行數值檢驗，結果說明演算法是有效的。
  7. Also, the author ’ s design strategy and creativity has been given in this paper. specifically, it includes : based on the feasibility analysis of the fit selection of control parameters in the aeration process, the aeration process of wastewater treatment of the joint - constructional complete - mixed activated sludge process has been aimed at in this paper. then, the state equations of the aeration process have been proposed in this paper, which is on the base of dissolved oxygen concentration ( do ) and discharge quantity of sludge ( qw ) as control variables, the concentration of bod and sludge as state variables. based on the present study on optimization control of wastewater treatment, the multivariable optimal control model with restriction factor has been presented in the paper with introducing modern control theory and system analysis into the field of activated sludge wastewater treatment,

    具體包括:以完全混合、表面曝氣合建式活性污泥工藝的污水處理曝氣過程為研究對象，在闡述了曝氣過程式控制制參數選取可行性的基礎上，建立了以溶解氧濃度do和活性污泥排放量qw為控制變量，以曝氣池中有機物濃度s和微生物濃度x為狀態變量的活性污泥曝氣過程的基本狀態方程;運用現代控制理論的觀點和污水處理理論，在現有關于污水處理最優控制問題研究的基礎上，建立了有約束條件多變量能耗最小數學模型，該數學模型是以有機物排放總量和狀態變量的末值條件作為約束條件，曝氣過程的能耗最小作為目標泛函;採用增廣拉格朗日乘子法對最優控制問題進行轉化，並對應用極大值原理求解能耗最小這一最優控制問題進行了詳細的解析;引入約束運算元，應用具有控制約束的共軛梯度演算法對能耗最小這一最優控制問題進行求解，並進行模擬實驗驗證。
  8. Inspection : it is mutually agreed that the inspection certificate of quality / quantity / weight issued by the china commodity inspection bureau shall be taken as final basis of delivery and binding upon both parties

    商品檢驗：雙方同意以中國商品檢驗局所簽發的品質/數量/重量檢驗證作為交貨的最後依據並對雙方具有約束力。
  9. Inspection is to be made at the destination by the china commodity inspection bureau, whose certificates of quality and weight shall be final and binding upon both parties

    貨物在目的港由中國商品檢驗局檢驗，其品質和重量證明書為最後依據，對雙方均具有約束力。
  10. In order to sure the homogeneity of the testing, the paper uses the way of homogeneity design and uses the theory of the uniform designs for experiments with mixtures ( udem ), restricted uniform designs for experiments with mixtures ( rudem ) and method of fitting level to optimize the testing

    為保證試驗的均勻性，通過均勻試驗安排試驗水平，運用配方均勻設計理論、有約束的配方均勻設計理論和擬水平法進行試驗優化。
  11. We put the emphases on the soft output viterbi algorithm ( sova ), which is one of turbo code ’ s decoding algorithms, and presents the derivation and computation step of the sova decoding algorithm. after presenting sova and map decoding algorithms and analyzing four kinds of decoding algorithms, the paper makes a comparison among the different decoding algorithms by emulation analysis, and analyzes the time complexity of various algorithms, and then contrasts them. in the last part of this paper, according to the criterion recommended by the consultative committee for space data systems ( ccsds ), including code rate,

    根據空間數據系統顧問委員會（ ccsds ）為turbo碼應用於深空通信系統推薦的標準，包括碼率、碼塊大小、分量碼類型、約束長度、碼生成多項式，以及交織器的選擇等參數的建議以及sova譯碼演算法的理論基礎，設計了sova演算法的實現結構，通過模擬驗證了本文所採用的turbo碼的性能，從而證明turbo碼確實是一種很好的通道糾錯編碼方式，它適用於要求功耗低或信噪比低的深空通信系統中。
  12. In this paper, combined with vanishing point geometrical restriction given by the aerial photogrammetric modeling, a method for extracting vertical lines based on the adaptive fuzzy hough transform is presented. then the extracted vertical lines are validated by analyses of window texture

    本文結合航空攝影模型給出的滅點幾何約束，利用自適應模糊hough變換，提出了一種建築物垂直邊緣檢測方法，並用窗戶紋理分析技術來驗證高層建築物的垂直邊緣。
  13. The main work of this paper was as fellows : ( 1 ) generalized the development of pre - stressed steel structure in our nation and abroad, and pointed out the main problem in practice ; ( 2 ) presented the mechanism of pre - stressed steel structure and revealed its applicable range ; ( 3 ) established the optimization design model for pre - stressed steel structure, which accounts for constraints on stresses and displacements of structure ; ( 4 ) brought forward the optimization design method, which combined linear programming and the principle of full restriction, through which we can obtain the magnitude of each time pre - stress and the optimized sections of each members of structure ; ( 5 ) analyzed the best times of pre - stress and pointed out that 2 ~ 3 times is preferable ; ( 6 ) conducted optimization design on large - space steel roof, horizontal parallel steel truss with local cables, horizontal parallel steel truss with global cable, and ultra - static steel truss, the result of which indicated that the multiple pre - stress structure is very economic ; ( 7 ) compared different schemes of cable placement for horizontal parallel steel truss, and the results showed that the local cable only unloaded the second girders, but had no response on the first girders and stomach poles, while global cable could unload the second girders and the stomach poles outside of turning point of cable, thus proving that global cable is more economic than local - cable

    本文的主要工作是：對國內外預應力鋼結構的發展歷史及現狀作了綜述和總結，指出當前預應力鋼結構工程實踐中存在的主要問題；闡述了預應力鋼結構的受力機理，並指出預應力鋼結構的適用范圍和特點；在考慮結構應力和變位約束的條件下，建立預應力鋼結構優化設計模型；提出多次預應力鋼結構優化設計方法和步驟，採用線性規劃和滿約束準則相結合的優化方法，可優化設計出施加的每一級預應力的大小，並得到結構各部分的優化截面；對多次預應力最佳的施加次數作了分析，並建議以2 3次為宜；為驗證文中理論和方法，分別對大跨多次預應力鋼屋架、局部布索的水平平行弦鋼桁架、整體布索的水平平行弦鋼桁架和局部布索的超靜定鋼桁架等算例進行了優化設計，經濟效益明顯；對水平平行弦鋼桁架的幾種施加預應力的方案進行比較，對于局部布索，預應力只對下弦起到卸載作用，對上弦和腹桿基本不起作用；而整體布索預應力除對下弦卸載外，對索折點以外部分腹桿也起到卸載作用，經濟效益好於局部布索。
  14. Firstly, this paper describes the optimization problem of thermal stress of fabrication process and steady work process for the hollow cylinder and the infinite plate. then, thermal stress distribution is calculated making use of theoretical formulation and the results can be validated by finite element method. in optimization, the restriction condition is heat insulation performance and the objective function is danger coefficient

    本文首先對平板結構和圓筒結構梯度塗層在制備過程和穩定工作狀態下的熱應力優化設計問題進行描述，然後分別用解析法求解兩種結構的梯度塗層在制備過程和穩定工作狀態下的熱應力分佈，並採用有限元方法驗證了熱應力分佈的結果，在優化設計時，以危險系數為目標函數，以塗層的隔熱性能為約束條件進行設計。
  15. To describe aspects and pointcuts and other notions in aspectj system, this approach extend the " class ", " association " and other uml meta - model elements, and it is also tested here by using rational rose case tool package. using rose script i compiled to generate an aspectj skeleton for the aspect - diagram for the model designed using the proposed extension

    最後利用支持uml的case工具-一rationalrose提供的擴展介面（ rei ）對該方法進行了驗證，通過定製版類（ stereotypes ） 、標簽值（ taggedvalues ）和約束（ eonstraints ）實現tao模型的可視化和可辨別性，並通過編寫的script腳本實現了對a0模型的自動代碼生成功能。
  16. If the table was nonempty before the bulk import operation, the cost of revalidating the constraint may exceed the cost of applying check constraints to the incremental data

    如果在大容量導入操作之前表為非空狀態，則重新驗證約束的開銷可能超過將check約束應用於增量數據的開銷。
  17. An enterprise that follows the systematic implementing framework and procedure in hrp project is much more successful than the one that does not

    對于不同實施模式與企業環境的案例，在運用約束理論方法于erp系統項目實施過程與結果，是否會產生不同的變化，需要進一步驗證。
  18. We want to draw your attention to the fact that the cerificates of quality and weight issued by the bureau shall be final and binding upon both parties

    我們想提醒你們主意，由該檢驗局簽發的品質和重量證書將是決定性的，對雙方都具有約束力。
  19. To verify that the default is applied, another value is inserted into the first column, and the table is queried

    約束。驗證是否已應用了默認值，另一個值是否已插入第一列以及是否已查詢表。
  20. Disabling a foreign key constraint enables data in the table to be modified without being validated by the constraints

    禁用foreign key約束將使表中的數據不經約束驗證便可修改。
分享友人
分享到 Line

分享到臉書