規約驗證 的英文怎麼說

中文拼音 [guīyāoyànzhèng]
規約驗證 英文
specification verification
  • 規 : Ⅰ名詞1 （畫圓形的工具） instrument for drawing circles 2 （規則; 成例） rule; regulation 3 [機械...
  • 約 : 約動詞[口語] （用秤稱） weigh
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. Based on the terszige and biot theory, initially analyze the economical of this experiment, directly save investment 22 % after compute. after that, computing the settlement of highway foundation, comparing the computing and survey value, the predict formula of vacuum - heaped load combining precompression for designing, this formula show that the distortion law of consolidation progress. at the same time, based on the position and room experiment, analyzes the intension transformation in soft soil and criteria of stabilization control

    在太沙基和比奧固結理論的基礎上，先分析了此次試驗的經濟性，經核算直接節約投資22 ，經濟效益十分明顯；隨后對真空堆載聯合預壓法加固軟土路基的沉降量進行了估算，並與實測值作對比分析，得出了真空堆載聯合預壓下的沉降量估算公式，能反映「真空」加固過程的變化規律；同時根據現場和室內試驗，分析了軟土強度的變化，以及給出並驗證了工后沉降控制標準。
  2. 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

    第二部分把解邊界約束正定二次規劃問題的正則分解演算法推廣到求解邊界約束半正定二次規劃問題，在理論證明的基礎上還進行數值檢驗，結果說明演算法是有效的。
  3. It is not many scholars to clearly prove the opinion of shifting the burden of proof, on the contrary the contradictory scholars are more prominent, for example the vice professor of southwest politics and law university, chengang, wuyue who translates and introduces the burden of proof of germany, because them there are more and more people support the opposite opinion, while in the draft of " civil evidence code ", the traditional idea win, in this draft the legislator abides by the present justice and our country ' s native circumstance, they made an scientific choice, of course, the burden of proof will directly influence the party " s possibility of losing the lawsuit, while the regulation of shifting the burden of proof increases the plaintiff ' s opportunity to win a lawsuit. to explain what is the shifting of burden of proof, the paper use the civil law as the example to point out the " reverse " is not entirly relieve the plaintiff s obligation of producing evidence, but in certain extent and in certain range make the defendant bear the burden of producing those proofs from the reverse way, which are originally beard by the plaintiff. in the three proceeding law, shifting the burden of proof have some differences, but the interior spirits are coincident - for the values of social justice and the legal reason

    論證舉證責任倒置的學者觀點明確並且論證十分充分的不多，相反卻是對此著書立說予以反駁的學者較為突出，如西南政法大學的副教授陳則博士，翻譯並介紹德國證明責任學說的吳越先生均是目前國內對舉證責任倒置持否定態度的代表人物，由於他們的推動使得國內持此說的人越來越多，但在《民事證據法（草案） 》的擬定過程中，並未采責任倒置的地位，這樣的立法選擇是建立在對我國法律實現的本土環境客觀認識的基礎上的科學選擇，誠然，舉證責任的分配直接影響到當事人在訴訟中的敗訴風險，而「倒置」規則的設計，則在此問題上增加了原告勝訴的籌碼，在理解何為舉證責任倒置時，本文著重以民事法為主線，指出這種「倒置」並非全部免除原告的證明責任，而是在一定范圍與一定程度上將通常應由原告負擔的舉證責任轉由被告從反方面承擔，舉證責任倒置在三大訴訟法中所體現的具體情形有所差異，但它們的內在精神是一致的?法律的理性與社會公平價值，在民事訴訟中舉證責任倒置的情形，一般總是將其局限於特殊侵權情形，而忽略了民事合同違約責任的訴訟中的原告也無須對被告應承擔違約責任的所有要件，對被告主觀上的過錯實行推定，若被告予以否定則應對其無過錯的證據舉證，在設置舉證責任倒置的規則時，從各國的立法經驗與法的內在價值要求可以總結出以下幾個原則:程序法與實體法結合原則，公平原則，訴訟經濟原則，保護弱者原則等，基於此完善舉證責任倒置的規則時首先應肯定舉證責任倒置的概念，其次立法應避免求大求全，再次要配合實體法的發展，最後還可以在司法領域嘗試判例的指導意義。
  4. 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次為宜；為驗證文中理論和方法，分別對大跨多次預應力鋼屋架、局部布索的水平平行弦鋼桁架、整體布索的水平平行弦鋼桁架和局部布索的超靜定鋼桁架等算例進行了優化設計，經濟效益明顯；對水平平行弦鋼桁架的幾種施加預應力的方案進行比較，對于局部布索，預應力只對下弦起到卸載作用，對上弦和腹桿基本不起作用；而整體布索預應力除對下弦卸載外，對索折點以外部分腹桿也起到卸載作用，經濟效益好於局部布索。
  5. As an example, the parallel machine scheduling problem is mapped on a non - constrained matrix construction graph, and a aco algorithm is proposed to solve the parallel machine scheduling problem. comparison with other best - performing algorithm, the algorithm we proposed is very effective. the finite deterministic markov decision process corresponding to the solution construction procedure of aco algorithm is illustrated in the terminology of reinforcement learning ( rl ) theory

    本章最後提出了解決并行機調度問題的蟻群演算法，該演算法把并行機調度問題映射為無約束矩陣解構造圖，並在演算法的信息素更新過程中應用了無約束矩陣解構造圖的局部歸一化螞蟻種子信息素更新規則，與其他幾個高性能演算法的模擬對比試驗證明這種方法是非常有效的。
  6. Limited or restrictive tendering procedures are, in line with the wto gpa provisions, only permissible under specified exceptional circumstances. where the nature of the contract such as a contract that is time critical or one that requires particularly high levels of skills and proven reliability dictates that tenders have to be invited from qualified suppliers contractors, selective tendering or prequalified tendering may be used

    和世貿采購協定的規定一樣，有限度或局限性招標程序只有在指定的特殊情況下，方可採用。若限於合約的性質，例如合約必須依時完成，或合約要求特別高超的技術和經驗證的可靠性，必須向合資格的供應商承包商招標，便可採用選擇性招標或資格預審招標程序。
  7. Limited or restrictive tendering procedures are, in line with the wto gpa provisions, only permissible under specified exceptional circumstances. where the nature of the contract ( such as a contract that is time critical or one that requires particularly high levels of skills and proven reliability ) dictates that tenders have to be invited from qualified supplierscontractors, selective tendering or prequalified tendering may be used

    和世貿采購協定的規定一樣，有限度或局限性招標程序只有在指定的特殊情況下，方可採用。若限於合約的性質，例如合約必須依時完成，或合約要求特別高超的技術和經驗證的可靠性，必須向合資格的供應商承包商招標，便可採用選擇性招標或資格預審招標程序。
  8. 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因果檢驗等計量經濟學工具實證財政支持農村醫療衛生的數量特徵及對農民健康投入的影響;在實證分析基礎上剖析我國財政支持農村醫療衛生保障的問題;針對財政支持農村醫療衛生保障中政府職能的缺位、財政體制的變革、宏觀制度環境約束等多方面原因，圍繞政府投入為主的農村多元化、多層次醫療保障體系構建，提出通過轉變政府職能、規范政府間財政關系及解除制度環境約束等措施加強公共財政對農村醫療衛生保障的支持。
  9. Verification has become the bottleneck in the integrated circuit and consumes about 70 percent in the whole chip design, what ' s more, with the standardization of the intellectual property, this trend is up, and so something must be done to alleviate the trend

    驗征已成為晶元設計的瓶頸，其大約占整個晶元設計的70 ，而且隨著集成電路設計規模和復雜度的不斷提升，其所佔比例還將呈現上升趨勢。因此僅僅降低設計費用是不夠的，還需要盡可能降低驗證費用。
  10. 3. apply industrial process hybrid model mixed with logical and rule to simplify activated sludge process model in wastewater treatment and deduce to a reduced model adapted to control. the simulation result show that this method can combine mechanism model of activated sludge process and expert knowledge and operational experience and can get better effect of optimization and control. moreover, the computational time is short and suitable for real - time control in wastewater treatment by applying mixed integer nonlinear programming mixed with logical rules

    應用結合邏輯規則的工業過程混雜模型的方法，對城市污水處理中活性污泥法過程模型進行簡化，得出適用於控制目的的簡化模型，模擬結果證明：這種方法可充分利用對活性污泥法過程機理模型，又可利用專家及操作過程的經驗，從而更利於對活性污泥法過程的優化和控制，而且採用結合約束邏輯的混合整數非線性規劃演算法，計算時間較短，可適用於污水處理過程實時控制中。
  11. Abstract : a new method, collaborative allocation ( ca ), is proposed to solve the large - scale optimum allocation problem in aircraft conceptual design. according to the characteristics of optimum allocation in aircraft conceptual design. the principle and mathematical model of ca are established. the optimum allocation problem is decomposed into one main optimization problem and several sub - optimization problems. a group of design requirements for subsystems are provided by the main system respectively, and the subsystems execute their own optimizations or further provide the detailed design requirements to the bottom components of aircraft, such as spars, ribs and skins, etc. the subsystems minimize the discrepancy between their own local variables and the corresponding allocated values, and then return the optimization results to main optimization. the main optimization is performed to reallocate the design requirements for improving the integration performance and progressing toward the compatibilities among subsystems. ca provides the general optimum allocation architecture and is easy to be carried out. furthermore, the concurrent computation can also be realized. two examples of optimum reliability allocation are used to describe the implementation procedure of ca for two - level allocation and three - level allocation respectively, and to validate preliminarily its correctness and effectiveness. it is shown that the developed method can be successfully used in optimum allocation of design requirements. then taking weight requirement allocation as example, the mathematical model and solution procedure for collaborative allocation of design requirements in aircraft conceptual design are briefly depicted

    文摘:探討了一種新的設計指標最優分配方法- -協同分配法，用於處理飛機頂層設計中的大規模設計指標最優分配問題.分析了飛機頂層設計中的設計指標最優分配特徵，據此給出了協同法的原理並建立了數學模型.協同法按設計指標分配關系將最優分配問題分解為主系統優化和子系統優化，主優化對子系統設計指標進行最優分配，子優化以最小化分配設計指標值與期望設計指標值之間的差異為目標，進行子系統最優設計，或對底層元件（如飛機翼梁、翼肋和翼盒等）進行設計指標最優分配，並把最優解信息反饋給主優化.主優化通過子優化最優解信息構成的一致性約束協調分配量，提高系統整體性能，並重新給出分配方案.主系統與子系統反復協調，直到得到設計指標最優分配方案.兩層可靠度指標分配算例初步驗證了本文方法的正確性與可行性，三層可靠度指標分配算例證明了本文方法的有效性.最後，以重量指標分配為例，簡要敘述了針對飛機頂層設計中設計指標協同分配的數學模型和求解思路
  12. A new method, collaborative allocation ( ca ), is proposed to solve the large - scale optimum allocation problem in aircraft conceptual design. according to the characteristics of optimum allocation in aircraft conceptual design. the principle and mathematical model of ca are established. the optimum allocation problem is decomposed into one main optimization problem and several sub - optimization problems. a group of design requirements for subsystems are provided by the main system respectively, and the subsystems execute their own optimizations or further provide the detailed design requirements to the bottom components of aircraft, such as spars, ribs and skins, etc. the subsystems minimize the discrepancy between their own local variables and the corresponding allocated values, and then return the optimization results to main optimization. the main optimization is performed to reallocate the design requirements for improving the integration performance and progressing toward the compatibilities among subsystems. ca provides the general optimum allocation architecture and is easy to be carried out. furthermore, the concurrent computation can also be realized. two examples of optimum reliability allocation are used to describe the implementation procedure of ca for two - level allocation and three - level allocation respectively, and to validate preliminarily its correctness and effectiveness. it is shown that the developed method can be successfully used in optimum allocation of design requirements. then taking weight requirement allocation as example, the mathematical model and solution procedure for collaborative allocation of design requirements in aircraft conceptual design are briefly depicted

    探討了一種新的設計指標最優分配方法- -協同分配法，用於處理飛機頂層設計中的大規模設計指標最優分配問題.分析了飛機頂層設計中的設計指標最優分配特徵，據此給出了協同法的原理並建立了數學模型.協同法按設計指標分配關系將最優分配問題分解為主系統優化和子系統優化，主優化對子系統設計指標進行最優分配，子優化以最小化分配設計指標值與期望設計指標值之間的差異為目標，進行子系統最優設計，或對底層元件（如飛機翼梁、翼肋和翼盒等）進行設計指標最優分配，並把最優解信息反饋給主優化.主優化通過子優化最優解信息構成的一致性約束協調分配量，提高系統整體性能，並重新給出分配方案.主系統與子系統反復協調，直到得到設計指標最優分配方案.兩層可靠度指標分配算例初步驗證了本文方法的正確性與可行性，三層可靠度指標分配算例證明了本文方法的有效性.最後，以重量指標分配為例，簡要敘述了針對飛機頂層設計中設計指標協同分配的數學模型和求解思路
  13. In order to harmonize the size of delivery truck fleet, transportation cost and service quality in the research, the thesis adopts heuristics and multi - variable integer linear programming, and quotes the " period and phase of customer replenishment " to establish delivery truck fleet design model, gets the result in two period, and validates the result through calculating the instance and appraising the target

    在研究中，為了合理協凋確定配送車隊規模、運輸成本與服務質量之間的關系，引進客戶配送周期和狀態參數、採用節約法和多變量整數線性規劃的數學方法建立配送車隊規劃模型，分兩階段解決求解，並通過計算實例及指標評價進行了分析驗證。
  14. Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively

    在驗證工作流時序約束一致性方面，在uml狀態圖中加入了時間事件，給出了將擴展后的uml狀態圖轉化為時間自動機的規則，用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔（上、下界約束）和工作流的最終期限約束，並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義，通過alur的演算法對時序約束一致性進行驗證。
  15. A spokesperson for the economic development and labour bureau said today 14 january that the sewage regulation, made under the merchant shipping prevention and control of pollution ordinance, seeks to give effect to the requirements of annex iv to the international convention for the prevention of pollution from ships marpol 73 78. the fees regulation is made to charge fees in relation to the survey and certification services provided by government surveyors under the sewage regulation

    經濟發展及勞工局發言人今日（一月十四日）表示，污水規例是根據《商船（防止及控制污染）條例》訂立的，藉以在香港實施《 73 / 78國際防止船舶造成污染公約》附件iv （附件iv ）的規定，而訂立費用規例是以便政府驗船師按污水規例提供驗船和發出證書服務時收取費用。
  16. A spokesperson for the economic development and labour bureau said today ( 14 january ) that the sewage regulation, made under the merchant shipping ( prevention and control of pollution ) ordinance, seeks to give effect to the requirements of annex iv to the international convention for the prevention of pollution from ships ( marpol ) 7378. the fees regulation is made to charge fees in relation to the survey and certification services provided by government surveyors under the sewage regulation

    經濟發展及勞工局發言人今日（一月十四日）表示，污水規例是根據《商船（防止及控制污染）條例》訂立的，藉以在香港實施《 7378國際防止船舶造成污染公約》附件iv （附件iv ）的規定，而訂立費用規例是以便政府驗船師按污水規例提供驗船和發出證書服務時收取費用。
  17. The american college of obstetricians and gynecologists no longer advises bed rest to prevent preterm births because no large - scale, double - blind studies have proven the method effective, the times reports

    《紐約時報》報道，美國婦產科醫師學會不再建議通過臥床休息預防早產，因為沒有大規模的雙盲實驗證明這種方法有效。
  18. Research on vibration performance tests of improved concrete pump vehicle

    基於場景規約的構件式系統設計分析與驗證
  19. ( 3 ) validation and verification of formal requirements specification

    （ 3 ）需求規約的確認與驗證。
  20. The sufficiency function is built for genetic algorithm based on constraint rule, and the genetic / tabu algorithm is introduced to process aggregating. the feasibility and efficiency of the algorithm are verified by the result of example

    將基因遺傳/禁忌混合演算法應用於加工工序的聚合問題，以工序聚合中的約束規則為基礎，建立了摘要遺傳演算法的適應度函數，通過實例驗證了混合演算法的有效性。
分享友人
分享到 Line

分享到臉書