檢驗約束 的英文怎麼說

中文拼音 [jiǎnyànyāoshù]
檢驗約束 英文
check constrain
  • 檢 : Ⅰ動詞1 （查） check up; inspect; examine 2 （約束; 檢點） restrain oneself; be careful in one s c...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 約 : 約動詞[口語] （用秤稱） weigh
  • 束 : Ⅰ動詞1 （捆; 系） bind; tie 2 （控制; 約束）control; restrain Ⅱ量詞（用於捆在一起的東西） bundle;...
  • 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque（指檢查船舶...
  • 約束 : keep within bounds; restrain; bind; bound; boundage;tie; restraint; restriction; engagement; repr...
  1. Remove irrelevant atomic formulas for timed automaton model checking

    時間自動機的模型檢驗中消除無關原子約束
  2. On the bases of the galaxy evolution theory, we use the therotical chemical evolution model of three zone ( such as halo, thick disk and thin isk ) and multi - phase ( diffuse gas, molecular clouds, stars of both low and high mass, the remnants ). by comparing with the observational constraints, such assurface densities, age - metallicity relation, g - dwarf metallicity distribution in the solar neighbourhood and the correlation between [ a / fe ] and [ fe / h ], supernovae rates, infall rates. the rationality of the model is verified. based on the theory model, we calculate the abundance of neutron capture element

    本文正是在銀河系化學演化的基礎上，利用銀河系的三成分（ threezone ） （即暈、厚盤和薄盤）多相（ multi - phase ） （氣體，分子云，大、小質量恆星以及剩餘物質）的化學演化的理論模型，通過與觀測約束（質量面密度、場星的年齡-金屬豐度關系、太陽附近g矮星金屬含量分佈函數、三成份的特徵量、元素的星系化學演化、超新星的爆炸率、內落速率等）的比較，來檢驗模型的合理性。
  3. All of above presents the data to study the algorithm which will be used to detect the targets against the broadened bragg lines. eigenstucture - based algorithms are used to realize bearing resolution on the basis of synthetically comparing several classical algorithms. first sea echo ’ s bearing prior knowledge is utilized to constitute project operator to constraint the noise subspace estimation with the use of constrained music algorithms, which largely increases the resolution and doa estimated accuracy

    為檢測海上目標的方位信息，在綜合分析比較各類演算法的基礎上，本文採用特徵結構類演算法來實現空間方位分辨中的constrainedmusic演算法，此方法充分利用了海浪的方位先驗信息來構造投影運算元約束噪聲子空間的估計，大大提高了目標解析度和估計精度。
  4. This paper analyzes the influence of sra on the shrinkage - cracking property of hpc by designing five check - up experiments including desiccation - shrinkage, autogeous shrinkage, flat - restraint, anti - chloride ion penetration and ultimate tensile strain

    摘要設計了乾燥收縮、自收縮、平板約束、抗氯離子滲透性以及極限拉應變等5種試驗方法來檢驗減縮劑對高性能混凝土收縮開裂性能的影響。
  5. A integrated algorithm of ambiguity resolution is proposed. by using triple carrier phase, integer gauss transformations, qr factorization, cholesky factorization, and geometry constraint, the correlation between ambiguity components is reduced, and more error ambiguity can be discarded, also process of ambiguity searching getting rapidly. the ratio test combining constraint of baseline is used to fix ambiguity rapidly

    利用三差最小二乘求解模糊度浮點解，然後採用整數高斯變換降低模糊度分量間的相關性，再根據qr分解和基線幾何約束減少需搜索的模糊度組合，採用cholesky分解在搜索過程中及早淘汰不正確的模糊度組合，最後利用ratio檢驗與基線幾何約束條件相結合檢驗模糊度組合，盡快固定正確的模糊度。
  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. 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

    商品檢驗：雙方同意以中國商品檢驗局所簽發的品質/數量/重量檢驗證作為交貨的最後依據並對雙方具有約束力。
  8. The asymptotic distributions of empirical likelihood ratio statistics for testing a set of constraints in the presence of auxiliary information

    在有輔助信息情況下檢驗一約束集的經驗似然比統計量的漸近分佈
  9. Then, the mathematical models for workshop layout of general production line and automobile assembly - welding line are given, the topology model of multiple constraints expression and workshop layout is presented in depth, and then principles on position check and constraints check are also presented. a modified genetic algorithm is also proposed based on traditional generic algorithm

    在此基礎上，以物流優化和空間利用率最大化為目標，建立了車間設備布局的一般數學模型和汽車裝焊車間設備布局的數學模型;深入探討了多種約束表達和車間布局的拓撲模型，提出了約束檢驗的方法和位置判定的原則。
  10. 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

    貨物在目的港由中國商品檢驗局檢驗，其品質和重量證明書為最後依據，對雙方均具有約束力。
  11. Audit is the systematic and independent verification to determine whether ism activities and results conform to planned arrangements and whether these arrangements are effectively preformed to achieve the objectives of the company and relevant maritime laws

    審核是系統地並且不受約束地去檢驗是否ism活動和結果符合計劃的安排，是否這些安排是預先有效地達到公司和海事法規的目標。
  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 experiment materials include two parts, one is the gait database downloaded from casia and the other are several videos we shoot ourselves. we achieve on automatic detection and tracking of leg of walking people, using the arithmetic proposed in this paper. the experiment results indicate that the precision of the tracking of leg skeleton is satisfying, using our algorithm. it gets rid of the restriction of mannual intervention, and also the problem of self - occlusion could be solved effectively

    論文以中國科學院自動化研究所下載的步態圖像序列庫及實驗小組自己拍攝的視頻為實驗素材，用本文提出的演算法實現了對步行人體腿部骨架的自動檢測及跟蹤。實驗結果表明，本文演算法對骨架的提取及跟蹤準確度較高，不僅擺脫了手工標注的約束，還有效解決了雙腿自遮擋造成跟蹤準確度降低的問題。
  14. 3 a novel recursive least - square ( rls ) blind space - time receiver algorithm based on the constrained condition, which can completely avoid the matrix inversion introduced into by constraints ( comparing with the normal rls ), is proposed for multi - path slow fading cdma channels. the computational complexity of this method is not only lower than that of the normal rls, but also lower than that of both lms and ls blind space - time receiver methods that are realized based on the rosen ' s gradient projection. and the speed of convergence of the presented rls blind space - time receiver algorithm is better than that of both lms and ls blind space - time receiver methods

    3 、針對多徑慢衰落通道下ds - cdma盲空時接收機中線性約束二次規劃問題提出一種新的遞歸最小二乘演算法，該演算法完全避免因約束而引進的矩陣求逆運算（相對于常規的遞歸最小二乘演算法） ，不但運算量比常規的要低，而且比基於rosen梯度投影實現的最小均方（ lms ）與最小二乘盲空時接收機演算法還低，且收斂速度比基於rosen梯度投影實現的最小均方（ lms ）與最小二乘盲空時多用戶檢測都好，將提出的新的遞歸最小二乘演算法與提出的數據選擇方案結合起來可以進一步降低其運算量，具有很大的實用價值，最後通過模擬實驗進一步分析了其性能。
  15. An algorithm to resolve the coupling effect problem is proposed during the cross point assignment ( cpa ) stage. in the algorithm, the priority queue concept and the rip - up and reroute strategy are combined to control crosstalk noise caused by interconnect coupling capacitance. first, the nets are arranged into different priority queues according to their weighted sum of their length and criticality. then, the cpa problem for one queue of nets is translated into a linear assignment problem. after the assignment of one queue of nets, a post - cpa checking routine is performed to check and rip up the net pairs which violate the crosstalk noise constraint and then push them into the next queue to be reassigned. the algorithm is tested by a set of bench mark examples, and the experimental results are promising

    提出了一種在過點分配階段解決噪聲耦合效應問題的演算法.該演算法採用優先隊列同拆線重布策略相結合的方法，控制由互連線耦合電容引起的串擾噪聲.演算法中，首先按照線長和約束限制，將線網劃分到若干個優先隊列中.然後，將每個優先隊列的過點分配問題轉換為線性分配問題.在完成一個線網隊列的分配后，通過過點分配后處理過程檢查串擾約束滿足情況，對違反約束的線網對進行拆除，放入后續線網隊列進行重新分配.實驗數據表明，該演算法能夠取得好的效果
  16. Abstract : an algorithm to resolve the coupling effect problem is proposed during the cross point assignment ( cpa ) stage. in the algorithm, the priority queue concept and the rip - up and reroute strategy are combined to control crosstalk noise caused by interconnect coupling capacitance. first, the nets are arranged into different priority queues according to their weighted sum of their length and criticality. then, the cpa problem for one queue of nets is translated into a linear assignment problem. after the assignment of one queue of nets, a post - cpa checking routine is performed to check and rip up the net pairs which violate the crosstalk noise constraint and then push them into the next queue to be reassigned. the algorithm is tested by a set of bench mark examples, and the experimental results are promising

    文摘:提出了一種在過點分配階段解決噪聲耦合效應問題的演算法.該演算法採用優先隊列同拆線重布策略相結合的方法，控制由互連線耦合電容引起的串擾噪聲.演算法中，首先按照線長和約束限制，將線網劃分到若干個優先隊列中.然後，將每個優先隊列的過點分配問題轉換為線性分配問題.在完成一個線網隊列的分配后，通過過點分配后處理過程檢查串擾約束滿足情況，對違反約束的線網對進行拆除，放入后續線網隊列進行重新分配.實驗數據表明，該演算法能夠取得好的效果
  17. 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

    我們想提醒你們主意，由該檢驗局簽發的品質和重量證書將是決定性的，對雙方都具有約束力。
  18. The tdp system is based on the objectarx technique, autocad database and the vc + + development language. the characteristics of the configuration class is described based on the object - oriented technology and series of modules and algorithm of detecting interference are designed. in the end, the packing result without constraints of the arbitrary geometry component is realized

    本文基於objectarx技術，以autocad數據庫為操作背景，用vc + +作為開發語言，根據模擬退火法構建了多目標函數，通過面向對象技術對布局類進行了特徵描述，設計了一系列的操作模塊和干涉檢驗的演算法，完成了對無約束的任意形狀三維實體的布局。
  19. Then a method that adopts ideas of decomposition and coordination of large - scale system is put forward. it divides detecting procedure into two parts, one is to detect deadlocks in every equivalent sub - model and the other is to detect deadlocks between equivalent sub - models. the method can decrease the complexity of deadlock detecting of oohopn

    提出了oohopn模型的死鎖檢測方法，該方法將整個檢測過程分為兩部分：即首先驗證每個對象類的子模型是否是內部死鎖避免的，然後檢查對象間的同步約束；該方法提供了一種解決復雜問題的途徑。
  20. Based on the product nature of rural health care service and the theory of public finance, this dissertation analyses the implication of the conception and basic characteristics of rural health care & security system fiscal supported, illustrates the demand and supply equilibrium characteristic of rural health care market, and then constructs theoretical frame work for the current study. through learning from the typical experience of success in the fiscal support for rural health care & security system ( fsrhcss ) in developed countries and systematically exploring the evolution of the fsrhcss in our own country, empirical research methodology was employed to examine the quantitative characteristics of fsrhcss, to explore the weak points in the current fsrhcss in our own country and their influence, and finally to analyze the reasons responsible for the weak points from diverse perspectives and predict a reasonable scale for fsrhcss. based on the above analysis, a fsrhcss model is developed and relevant policy suggestions are put forward

    本文從農村醫療衛生服務的產品屬性出發，以公共產品、公共選擇、利益集團等公共財政相關理論為依據，界定公共財政支持農村醫療保障的概念內涵、基本特徵;揭示農村醫療衛生服務市場中供需均衡的條件及影響因素，建立公共財政支持農村醫療衛生的理論框架;運用制度分析方法系統考察我國財政支持農村醫療保障制度的變遷歷程及特徵;運用回歸分析、 granger因果檢驗等計量經濟學工具實證財政支持農村醫療衛生的數量特徵及對農民健康投入的影響;在實證分析基礎上剖析我國財政支持農村醫療衛生保障的問題;針對財政支持農村醫療衛生保障中政府職能的缺位、財政體制的變革、宏觀制度環境約束等多方面原因，圍繞政府投入為主的農村多元化、多層次醫療保障體系構建，提出通過轉變政府職能、規范政府間財政關系及解除制度環境約束等措施加強公共財政對農村醫療衛生保障的支持。
分享友人
分享到 Line

分享到臉書