equivalence algorithm 中文意思是什麼

equivalence algorithm 解釋
等價演算法
  • equivalence : n. 1. 均等，相等，相當。2. 【化學】等價，化合價相當；當量。3. 等值；等量。4. （語詞的）同義；同類。5. 【數學】等勢；等效。6. 【地質學；地理學】等時代。
  • algorithm : n. 【數學】演算法；規則系統；演段。
  1. From the equivalence relations, a minimal form is defined and a minimization algorithm of the mealy type of fuzzy finite automata is obtained. in chapter 3, a fuzzy finite automata with a fuzzy initial state that was first considered by m. mizumoto, j. toyota and k. tanaka in 1969 is introduced. based on the mizumoto type of fuzzy finite automata, a statewise equivalence relation is considered

    在第三章中，我們首先介紹了一類有模糊初始狀態的模糊有限自動機- mizumoto型模糊有限自動機，然後定義了兩種狀態等價和兩種模糊有限自動機等價的概念，接著證明了對于每一個mizumoto型模糊有限自動機，都存在一個與之等價的狀態最小化模糊有限自動機，並且給出了一個狀態最小化約簡演算法及其演算法終止條件。
  2. ( 3 ) the paper firstly brings forward the concepts of concealed fragment, apparent fragment. it also advances two fragment generation methods : facet equivalence method and facet set enclosing method, and realizes three practical algorithms : the first one is to make a virtual entity particulate, the second is facet equivalence algorithm, the last is seed facet set enclosing algorithm. the paper analyzes and compares the last two methods and related algorithms, researches on applying the two methods to the break process of a virtual entity

    （ 3 ）在深入探討爆炸模型的構造和實時顯示的基礎上，提出了隱式破片、顯式破片的最新概念和兩種生成破片的方法：小面片等價法和面片集封閉法，並給出了三個實用的演算法：虛擬實體的微粒化演算法、小面片等價演算法和面片集封閉演算法，並對小面片等價法和面片集封閉法及其演算法進行了比較。
  3. Details are as follows : we deal with properties of bilevel linear programming and prove the equivalence of bilevel linear programming and optimization over the efficient set. a class of multi - objective tow level programming, i. e. the upper - level is single objective and the lower - level is linear multi - objective, is mainly discussed. it can be converted into the optimization over the efficient set with parameter and an algorithm is given with its finite termination being proved ; when the upper - level is linear function, an exact penalty function algorithm is given

    分層（分級）遞階系統是社會組織管理的主要形式，多層規劃是研究這類系統優化問題的基本模型，其鮮明的實際背景和廣泛的應用前景引起了人們的廣泛關注，成為一個新興的活躍的研究領域，本論文研究了二層規劃中的若干問題，主要工作如下：討論了二層線性規劃的性質，並證明了它與零有效集上優化問題的等價性；對一類二層多目標規劃（上層為單目標規劃、下層為線性多目標規劃的問題）進行了探討，將其轉化為含參變量的有效集上的優化問題，進而給出了一種演算法，並證明了該演算法的有限終止性；當上層為線性單目標時，給出了一種罰函數方法
  4. In this article, we consider the methods for solving nonlinear complementarity problems from two aspects : one is the equivalent formulation of minimization, the other is the equivalence formulation of equation. to the former, we give a new derivative - free descent algorithm based on constrained minimization formulation. to the later, we construct a new homotopy equation and give its algorithm

    在本篇論文中，我們從兩個方面考慮非線性互補問題的解決方法，一個是利用原始問題的極小化等價變形，給出了求解約束極小化問題的derivative - free下降演算法；另一個是利用方程形式等價變形，構造了新的同倫方程並給出了相應的演算法。
  5. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  6. Spatial microwave imaging algorithm for metallic cylinders in lossy media base on volume equivalence principle

    在工作流過程模型設計中的應用
  7. The batch algorithm in this paper reduces the redundant computation in each node for generating its children by the presented definition of expansion - equivalence class, thereby improves the algorithm ? efficiency

    而本文中批生成演算法通過提出的擴展等價類這一概念來有效地減少了在每個節點處計算其子節點的冗餘計算量，從而達到提高演算法效率的目的。
  8. In this thesis, the author just discusses horn clause sets, and gives how to transform horn clause set into neural network. go a step further, the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle, and proves completeness theorem and soundness theorem of the algorithm for resolution

    本文將所討論的子句集限制在horn子句集上，給出了horn子句集轉化為一個神經網路模型的方法，進j一步，對如何構造該神經網路的學習演算法來體現歸結過程進行了討論，並證明了此學習演算法用於歸結原理的可靠性和完備性。
  9. A method based on fuzzy equivalence relation is applied to implement target classification and a synthetic algorithm is presented to fulfill multi - layer structure among groups by using the nearest - neighbor method and field knowledge

    應用基於模糊等價關系的方法實現目標編群，並提出一種基於域知識和最近鄰法相結合的演算法來實現群結構遞增形成的策略。
  10. 2. to the problem that the data table will be searched many times in mining of associative rules, an algorithm using with equivalence classes concept of rough analysis in the mining of single - dimensional boolean associative rules is introduced. the algorithm uses multiple minimal support thresholds instead of single minimal support threshold to settle with its limitation in the finding of frequent items, which makes the resultant rules set more proficiency, and including more significant rules

    針對關聯規則挖掘過程中多次搜索數據表的問題，將rough分析的等效類概念引入到關聯規則挖掘中，針對單維布爾關聯規則問題提出一種挖掘演算法，同時針對單一的最小支持度閾值的缺點，提出使用多個最小支持度閾值來進行頻繁項集挖掘，可使得結果規則集合更加精練，包含更多的有意義規則。
  11. Spatial data model is formalized according to partial order relationship, equivalence relationship and simplicial complex theory. a formalizing two - tuple ( m, f ) multi - resolution spatial data model is presented. based on the jarno peschie algorithms, an improved algorithm of road network map generalization is developed

    應用偏序關系、等價關系和單純復形理論，初步研究了多解析度空間數據模型形式化表達方法，提出了一個二元組形式化多解析度空間數據模型。
  12. From the equivalence relation, a minimal form is defined and a minimization algorithm of the mizumoto type of fuzzy finite automata is obtained. in chapter 4, quantum automata are introduced. we compare and contrast quantum automata with fuzzy finite automata, obtain some elementary relations and leave a set of open questions

    在第四章中，首先了介紹量子自動機的概念，然後著重比較量子自動機與一種模糊有限自動機（即mizumoto型模糊有限自動機）之間的異同點，得到了量子自動機與模糊有限自動機關系的一些初步想法。
  13. This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of fan algorithm

    摘要討論了組合電路的等價性檢驗方法，分析了fan演算法的關鍵技術。
  14. We check equivalence of combinational circuits with fun algorithm, and experimental results show that fan algorithm is efficient

    利用該演算法進行了組合電路的等價性檢驗，實驗結果表明了該方法的有效性。
分享友人
分享到 Line

分享到臉書