約束滿足問題 的英文怎麼說

中文拼音 [yāoshùmǎnzúwèntí]
約束滿足問題 英文
constraint satisfaction problem
  • 約 : 約動詞[口語] （用秤稱） weigh
  • 束 : Ⅰ動詞1 （捆; 系） bind; tie 2 （控制; 約束）control; restrain Ⅱ量詞（用於捆在一起的東西） bundle;...
  • 滿 : Ⅰ形容詞1 （全部充實; 達到容量的極點） full; filled; packed 2 （滿足） satisfied; contented; conte...
  • 足 : Ⅰ名詞1 （腳; 腿） foot; leg 2 （姓氏） a surname Ⅱ形容詞（充足; 足夠） sufficient; ample; enough;...
  • 問 : Ⅰ動詞1 （請人解答） ask; inquire 2 （詢問; 慰問） question; ask about [after]; inquire about [aft...
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 約束 : keep within bounds; restrain; bind; bound; boundage;tie; restraint; restriction; engagement; repr...
  • 滿足 : 1. （感覺足夠） satisfied; content; contented 2. （使滿足） satisfy; fulfil; wreak; meet
  • 問題 : 1 （需回答的題目） question; problem 2 （需研究解決的矛盾等） problem; matter 3 （事故或意外） tr...
  1. On the premise of a given set of material parameter, structural boundary shape and condition, design variables - thickness of plate and shell, is designed to minimize the structural weight subjected to the constraint conditions. 1. for the problem with size and stress constraints, full stress design method is used to solve the sectional optimization of plate and shell structures

    在給定了板殼的材料常數、板殼結構的邊界形狀和邊界條件的前提下，確定表徵板殼厚度的設計變量，在滿足約束條件下實現結構重量最小： 1 .對于尺寸和應力約束的問題，使用滿應力方法求解。
  2. The centrosymmetric structural dynamical systems with damping were studied. the nearest triple matrix of the centrosymmetric with satisfying characteristic equations was found to a given triple matrix ( mass 、 stiffness and damping matrices ). finally, numerical examples were given

    3 .研究了阻尼中心對稱結構動力模型修正問題，對給定的三重矩陣（質量矩陣、剛度矩陣和阻尼矩陣） ，求滿足譜約束條件且具有中心對稱特性的「最接近」的三重矩陣，並給出數值算例。
  3. Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach

    保留語義約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd （ documenttypedefinition ，文檔類型定義）作為xml的模式描述語言，並且在模式映射過程中丟失語義約束信息，本文分析了xml - schema （ xml - schema採用與dtd完全不同的語法，數據描述能力更強同時也更為復雜，已被w3c確定為替代dtd作為xml模式描述語言的標準）及關系模式的語義約束特徵，通過基於正則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究，建立保留語義約束的xml - schema與關系模式的雙向模式映射演算法，實現了xml與rdb的雙向數據轉換，較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題，可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。
  4. Abstract : an algorithm is presented for better legal solution in detailed placement of large scale mixed macros and standard cells ic design. due to the limitation of computing complexity, an effective and efficient initial placement is very important for detailed placement. novelty of this algorithm lies in a better solution at initial stage by using network - flow method to satisfy row capacity constraint and the thought of linear placement problem ( lpp ) to resolve overlaps. moreover, divide - and - conquer strategy and other simplified methods are adopted to minimize complexity. experimental results show that the algorithm can get an average of 16 wire length improvement on paflo in reasonable cpu time

    文摘:以大規模混合模式布局問題為背景，提出了有效的初始詳細布局演算法.在大規模混合模式布局問題中，由於受到計算復雜性的限制，有效的初始布局演算法顯得非常重要.該演算法採用網路流方法來滿足行容量約束，採用線性布局策略解決單元重疊問題.同時，為解決大規模設計問題，整體上採用分治策略和簡化策略，有效地控制問題的規模，以時間開銷的少量增加換取線長的明顯改善.實驗結果表明該演算法能夠取得比較好的效果，平均比paflo演算法有16的線長改善，而cpu計算時間只有少量增加
  5. So it is proved that the working model is right, and on the basis, the influences of the compression ratio and fuel injection advance angle on the diesel engine ' s combustion performance are studied. ( 2 ) energy resource and environment protection are two important problems that diesel engine is faced with. so in this paper the constrained optimization is studied in order to decrease fuel consumption within the limitation of the regulation on exhaust emission and power output

    （ 2 ）能源和環境保護是柴油機存在和發展的兩大問題，因此本文在滿足排放法規及柴油機動力性的基礎上，以降低油耗為主要研究目標，進行有約束條件的優化計算，並提出了一種新的柴油機工作過程優化計算方法? ?非線性回歸?網格法。
  6. And of all scheduling problems, the job - shop scheduling problem ( jsp ) is most common and complicate, which is usually a typical np - complete problem

    本文主要介紹了約束滿足神經網路（ csnn ）在作業車間調度問題（ jsp ）中的應用。
  7. 1 ) the principles of various rotary - type transplanting mechanisms of high - speed rice transplanter had been studied, and the subjects for further research - - studying their dynamics characteristics to improve their dynamics performance and further to enhance the efficiency were put forward. an innovative idea of two - stage - optimization for dynamics analysis was presented in the paper. the creativity of the idea was that the kinematics optimization ( first stage optimization ) results were the constraint for dynamics optimization ( the second stage optimization )

    本文主要的研究內容和結果如下： 1 ）研究國內外各種類型的旋轉式高速水稻插秧機分插機構的工作原理，指出尚待研究的問題? ?研究其動力學特性，以改善動力學特性，進一步提高插次；為此提出了動力學兩級優化的創新性思路? ?以運動學優化（ 1級優化）得到的機構參數范圍作為動力學優化（ 2級優化）的約束條件，最終得到的最佳參數不僅能滿足運動學的要求，又具有最佳的動力學特性。
  8. 5. standard h2 / h and robust h2 / h mixed control problems are systematically analyzed by the method of linear matrix inequation. design method of the optimum guaranteed performance control rule as well as the one which satisfies the given disturbance attenuation degree and performance constraints are discussed 6

    運用線性矩陣不等式方法，系統分析了標準h _ 2 h _混合控制問題及魯棒h _ 2 h _混合控制問題，探討了滿足給定的擾動衰減度和性能約束的保性能控制律及最優保性能控制律的設計方法。
  9. Considering that the characteristics of our country ' s highway tunnels are always of long spans, tabular and of various geometry, by means of thorough analysis of the different problems existed in the design of support structures of the tunnels at present, this paper pays special attention to the two key problems, optimization method of form selection of structural section of the tunnel as well as the stability and bearing capacity of the support structures, in the design of the long and large tunnel on high - class highway, introduces the simplified complex - form optimum method in the structure optimization theory, discusses the optimum design model of lining section of highway tunnel with satisfying demands in building clearance, ventilation and load conditions, puts forward an optimization method of form selection of three different kinds of lining sectional forms ( i. e. single - center circle, three - center tabular circle and three - center sharp circle ), establishes a complete set of systematic optimum design the ory and method of long and large tunnel on high - class highway, develops the corresponding computer software used on the planned xuefeng mountain highway tunnel on shaoyang to huaihua expressway in hunan province for optimization of form selections of the structural sections, and obtains a series of relatively reasonable structural design parameters

    本文針對我國公路隧道多為大跨度、扁平、幾何形狀呈多樣化的特點，通過深入分析目前隧道支護結構設計中存在的各種問題，抓住高等級公路長大隧道設計中隧道結構斷面的優化選型及隧道支護結構的穩定性與承載能力兩個核心問題，引入結構優化理論中的簡易復合形優化方法，深入探討了滿足建築限界、通風條件、受力狀態約束等條件下公路隧道襯砌斷面優化設計模型，提出了三種襯砌斷面形狀（單心圓、坦三心圓和尖三心圓）的優化選型方法，建立起一套完善的高等級公路長大隧道的系統優化設計理論與方法，並開發出相應的計算機程序，用於擬建的上海至瑞麗國道主幹線湖南省邵陽至懷化高速公路雪峰山長大高速公路隧道的結構斷面優化選型，得出了一系列較為合理的支護結構設計參數。
  10. Firstly, a 0 - 1 integer programming mathematical model is constructed to describe tail - number - assigning work happened in domestic airline, since the problem is npc, a unified polynomial algorithm which satisfies engineering requirement is unavailable. illuminated by the practical experience, a specific tna problem is classified into one of three typical tna modes : tna based on fleet dispatching commands, tna based on fleet balance application, tna based on minimum fleet requirement ; secondly, by simplifying and relaxing some minor constraints, corresponding mathematical models and heuristic algorithms are reconstructed for each typical tna mode ; finally, computing complexities are discussed

    為此論文在借鑒手工編制排班計劃經驗的基礎上，將一個具體的飛機排班問題，歸結為三種典型排班模式中的一種，即：基於飛機調度指令要求的排班問題，基於飛機使用均衡要求的排班問題和基於最少需用飛機數的排班問題，對于每種典型的飛機排班模式，在對次要的約束條件進行簡化、松馳的基礎上構造出相應的能夠滿足工程應用要求的啟發式演算法，並分析了演算法的復雜性。
  11. The intelligent fixing test paper is a process of the problem of constraint satisfaction based on a typical relational database

    摘要智能組卷是一個典型的基於關系數據庫多約束滿足的問題求解過程。
  12. 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

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

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

    基於約束滿足的高校排課問題研究
  15. As with other engineering design, die design is, by its nature, a constraint satisfaction problem, how to tailor design space in accordance with constraints

    冷沖模設計同其它工程設計一樣，本質上是一個約束滿足問題，其實質就是多個約束條件裁減設計空間。
  16. Comprehensively considered the characters of scheduling problem in iron and steel enterprise, a steelmaking - casting - rolling integral scheduling method based on csp was designed by means of object - oriented design pattern

    摘要綜合考慮鋼鐵企業調度問題的特點，利用面向對象的設計模式，提出了基於約束滿足方法的冶、鑄、軋一體化生產調度方法。
  17. For this reason, the thesis presents an approach based on constraint satisfaction, symbolic execution and extended finite state machines. it can analyze programs written in a subset of the c programming language

    針對上述情況，本文中提出了一種方法，它基於約束滿足問題求解方法和擴展有限狀態機上的符號執行演算法，能夠對c語言子集描述的程序進行分析。
  18. I regard qsim as a kind of constraint satisfaction problem ( csp ), and improve the qualitative simulation algorithm by constraint logic programming ( clp ). fuzzy qualitative simulation develops conventional qsim on several facets, such as representation of qualitative value, state transition rule and filtering algorithms. it bridges the gap between pure qualitative and quantitative, and improve the efficien

    前者是將定性模擬演算法看作一類約束滿足問題，用約束邏輯程序加以改進，不僅為解決定性模擬問題提供了邏輯框架，而且也是一種規范化的程序描述語言；模糊定性模擬演算法則是對純定性模擬演算法在知識描述、狀態轉移規則、過濾演算法等方面的改進，是一類半定量描述方法，有利於在定性模擬領域綜合定量信息，同時提高演算法的效率。
  19. Pretreatment is used to generate alternate activities to achieve the requirements. theproblem after pretreatment is characterized as a constraint satisfaction problem, which is solvedby the local search algorithm based on dynamic priority. the solution means to specifycorrespondingactivitiesforeveryrequirementandtoallocateexecutingtimeandresources. in order to validate the modeling framework presented in this paper, a software system isdesigned to implement the mission planning and scheduling for msrs

    預處理過程自動生成完成任務需求的候選活動集;預處理之後的問題被描述為一個約束滿足問題，通過基於動態優先級的局部鄰域搜索演算法完成問題的求解，即為每個需求指定相應的活動，並為這些活動安排執行時間並指派資源。
  20. To explain how to use the heuristics information of the problem to construct constraint - based solving algorithm, the general constraint satisfaction solving technology was briefly introduced, then the principles and the applicability of constraint propagation algorithm, tree search algorithm and heuristics repair algorithm for job shop scheduling were summarized

    摘要為了說明如何利用啟發式信息構造車間調度的約束滿足求解演算法，首先概述了常規約束滿足求解技術，進而介紹了車間調度問題的約束傳播演算法、樹搜索演算法和啟發式修復演算法的構造原理及適用性。
分享友人
分享到 Line

分享到臉書