相繼式演算 的英文怎麼說

中文拼音 [xiāngjìshìyǎnsuàn]
相繼式演算 英文
sequent calculus
  • 相 : 相Ⅰ名詞1 （相貌; 外貌） looks; appearance 2 （坐、立等的姿態） bearing; posture 3 [物理學] （相位...
  • 繼 : Ⅰ動詞（繼續; 接續; 接著） continue; succeed; follow Ⅱ副詞（繼而） then; afterwards
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 相繼 : in succession; one after another
  • 演算 : perform mathematical calculations; calculation; calculus演算器 exerciser
  1. To deal with the difference on operating system level, this paper designs a thread - level algorithm based upon priority inheritance protocol to prevent priority inversion. a dynamic priority mapping and scheduling algorithm to achieve strict order is also presented. through analysis of multi - threaded execution order under fixed priority scheduling model, a multithreaded programming model with totally predicable execution order is proposed

    針對各種操作系統的差異，本文提出了基於優先級繼承協議的線程級防優先級翻轉演算法，提出了能夠嚴格保序的動態優先級映射方法及相關的調度演算法，通過研究固定優先級調度下的多線程執行順序問題，本文還提出了一種執行順序可預測的多線程程序設計模式。
  2. The main results in this paper as follows : first, a prototype of a shape - based image database retrieval system is completed, it can receive the query mode both by giving an example image and by sketching the desired object on the screen, second, five shape - based image retrieval methods are realized ; third, an algorithm based on triangulation for shape - based image retrieval is brought forward. in this algorithm, firstly, the edge of the original image is followed and the candidate corners in the original image are detected. then the counterpoints of the candidate corners in the result of edge follow are found, and the boundary corners whose counterpoints have been found are queued in the order of their counterpoints in edge follow

    同時本文中主要完成了以下三方面的工作：完成了一個基於形狀特徵的圖象檢索的原型系統，可實現例子圖象或徒手繪草圖兩種查詢方式；實現了五種利用形狀特徵進行圖象檢索的具體方法，並對其進行了分析比較；並且在繼承將三角剖分引入形狀檢索的思想基礎上提出了利用三角剖分進行形狀檢索的一種新演算法：先對原圖象進行邊界跟蹤和角點檢測；然後尋找初始角點在邊界跟蹤中的對應點，並對找到對應點的角點按其對應點在邊界跟蹤中的順序進行排序；再對排序后的角點進行德洛內三角剖分，得到能表示目標真實形狀的三角形序列；最後計算三角形序列的角度直方圖作為形狀特徵，並進行相似性匹配。
  3. Firstly, it presents the storing arithmetic based on the mapping policy between xml data modal and object - oriented modal. reference to the arithmetic of extracting object - oriented database schemas from xml dtds using inheritance and other commercial tools for xml storing, it improves mapping policy from xml to object, which optimizes the new semantic classes, what ' s more, it present object clustering policy to resolve the uncertainty of xml schema and the complexity of information intergration, which simultaneously focuses on the semanteme and structure of new object classes. on the other hand, it presents method to realize exchanging from object to xml

    本文研究構造基於xml信息集成系統結構的面向對象數據庫包裝器，提出面向對象數據庫包裝器的系統結構；根據該結構提出xml的數據模式與面向對象數據庫對象數據模式的映射策略及相互存儲轉化演算法，一方面我們借鑒基於dtd模式的繼承對象映射提取演算法及各種商業工具，提出dtd簡化演算法和基於dtd簡化結構的對象圖映射演算法，優化了生成的對象類、提高了對象類的語義表達能力，也改進了對象映射提取策略；同時採用模糊聚類策略，提出對象聚類處理演算法，改善了xml語義定義的隨意性給對象類提取及信息集成帶來的復雜性；另一方面本文提出對象到xml的轉化演算法，採用系統自動定義對象到xml的轉化方法實現對象到xml的轉化處理。
  4. Especially to strategy and state, there are deeper discussions. aided with strategy, we not only get its initial purpose of encapsulating a series of complicated algorithms so they can replace each other, but also grasp another advantage that it helps resolve the multiple - hierarchy problem in designing objects

    我們使用策略模式不僅達到了它的原始意圖? ?封裝一系列復雜演算法，使它們可以相互替換，而且體會到了另外一種益處? ?它有助於解決設計對象過程中「多重繼承」的難題。
  5. Secondly, against different elements influencing branch coefficient, some accelerated measures are described. fast method to calculate branch coefficients without fault calculation is presented

    其次，在與繼電保護整定計算密切相關的運行方式的選擇演算法方面，針對影響分支系數的因素，介紹了一些加快措施，提出了無需故障計算的分支系數快速演算法。
  6. So, this thesis studies the rapid cost estimation for mass customization with case - based reasoning and proposes corresponding model and arithmetic. base on studying and inheriting existing domestic and international achievement, this thesis ( 1 ) uses logic bom as the precondition and groundwork and introduces the case - based reasoning method ; ( 2 ) proposes double - level cbr model of rapid cost estimation ; ( 3 ) proposes a fuzzy similarity estimation method with the common form of case representation ( without rigid properties range ) in the cbr system and establishes the fuzzy similarity estimation model and general arithmetic ; ( 4 ) analyses examples with the theories and methods mentioned above

    本文在研究、繼承已有國內外研究成果的基礎上， （ 1 ）採用邏輯bom作為本文研究的前提和基礎，並引入了基於案例推理的方法； （ 2 ）建立了雙層基於案例推理的快速成本評估模型和通用演算法； （ 3 ）應用案例描述的通用形式（沒有嚴格的屬性值域） ，在cbr系統中提出了一種模糊相似性評估方法，並建立了模糊案例相似性評估模型和通用演算法； （ 4 ）運用上述理論與方法，進行了實例分析。
分享友人
分享到 Line

分享到臉書