proof of algorithm 中文意思是什麼
proof of algorithm
解釋
演算法驗證-
Deadline monotonic algorithm is studied from several perspectives including the development history of the theory, the scheduability test algorithm, priority inversion solutions, aperiodic task handling etc. and 2 important conclusions of the theory : static optimal property and the sufficient and necessary feasibility test, are discussed in proof form
從理論發展歷史、可調度性測試方法、優先級倒置的處理、非周期任務的處理等幾個方面對截止時間單調演算法進行了研究。並對演算法的兩個重要結論：靜態最優性和可調度性測試方法分別進行了證明和推導。 -
The main results of this thesis are as follows : 1. based on the thoughts of " diffie - hellman decision problem " and anonymous signature, an unconditionally anonymous sign - cryption algorithm is proposed and its security proof is given
研究成果體現在如下幾個方面： （ 1 ）目前的簽密演算法要求簽密人的身份是公開的，作者利用無條件匿名簽名的思想，給出了一個無條件匿名的簽密演算法，並給出了相應的安全性證明。 -
In chapter 3, we give an equivalent form of semi - infinite programming, and a locally convergent ssle method is proposed for sip. we only need solve a linear system equations and a subproblem with a parameter per step, also a modified algorithm which saves cost of computations is given, at the end of the paper, we give a proof of the convergence for the algorithms
第三章通過適當的變形，得到半無限規劃問題的一個等價形式，並給出一個局部收斂的序列線性方程組演算法，這個演算法在每一步，只需求解一個線性方程組和一個帶參數的非線性子問題，證明了演算法的收斂性，同時，給出了一個修正演算法，與前面演算法相比較，修正演算法節約一定的計算量，同樣具有較好的收斂性。 -
E3d r - tree takes into account the features of moving object data and takes advantage of new cost parameters. in particular, least - cost - first search algorithm is used in the insertion algorithm to find the overall best way to insert a new record in e3d r - tree. the proof of the vidility of the algorithm is given
在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法確定全局最優插入路徑，並給出演算法正確性證明。 -
In the constructing of the diagnosis module using the technology of the combination of the fuzzy logic and neural network, which based on the fuzzy adaptive learning control network, a simple kind of capable method for consummate the structure and performance of network is introduced, which includes the rules extraction based on the maximum weights matrix and the parameters amendment based on genetic algorithm by floating - point coding. during the monitoring of the parts condition, the output of the condition monitoring system shows the good working condition of the executing agency by fuzzily deducing from the control instruction send by the auv ' s controller and motion status, and so offers the proof to complete mission and return safely
在珍斷模塊建模中採用模糊邏輯與神經網路結合的技術，以模糊自適應學習控制網路為核心，提出了一種簡單可行的基於最大權值矩陣的規則提取及基於浮點數編碼的遺傳演算法的參數調整的，完善網路結構與性能的方法，並在狀態監測過程中，通過對由控制器輸入的水下機器人運動控制量以及運行狀態的模糊推理，得到執行部件（推進器或舵）的工作狀態優劣程度，為保證水下機器人完成任務，安全返回提供控制依據。 -
An alternate proof about its existence and uniqueness and its explicit represention are given, especially the rational interpolation formulas for simple konts and double konts, and the algorithm complexity in case of double konts is improved from o ( n ~ 2 ) to o ( n )
首先，介紹了cv （ cauchy - vandermonde ）有理函數插值公式，給出了cv有理函數空間上插值問題解的存在唯一性定理的另一種簡單證明和顯式表示 -
Abstract : a continuous type inferential control algorithm and the proof of the stability and the convergency of the inferential control system are given in this paper. the system has the performance of convergency and robustness. the algorithm which is simple and has only one adjustable parameter q and has been successfully used for the servo control of the tension of the film in the metallized film capacitor automatic winding machine and we get a satisfactory result
文摘:給出了一種適用於工程常見的二階對象的連續型推理控制演算法，以及推理控制系統的穩定性和收斂性證明.該系統無差、穩定，且具有較好的魯棒性.該控制演算法簡單，僅有一可調參數q ，並成功地應用於薄膜電容器全自動卷繞機中作為快速張力伺服控制，取得滿意效果 -
Chapter 6 discusses a modeling of the mst algorithm of supporting qos multicast routing, puts forward a new algorithm, simulates it and gets the results, the proof of correctness and complexity analysis of the new algorithm are given, chapter 7 summarizes this paper, at the same time, suggestions for future research are given
第6章，討論了支持qos多播路由的基於最小生成樹演算法的理論模型並提出一種新的演算法，試驗模擬結果證明了它的效率會比傳統演算法大大提高。第7章，給出了本文的總結，並對下一步的工作作了展望。
分享友人