元組演算 的英文怎麼說

中文拼音 [yuányǎnsuàn]
元組演算 英文
tuple calculus
  • : Ⅰ名詞1 (由不多的人員組成的單位) group 2 (姓氏) a surname Ⅱ動詞(組織) organize; form Ⅲ量詞(...
  • : 動詞1 (演變; 演化) develop; evolve 2 (發揮) deduce; elaborate 3 (依照程式練習或計算) drill;...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • 演算 : perform mathematical calculations; calculation; calculus演算器 exerciser
  1. To solve the capacitated dynamic lot - sizing problem in group technology cell, a method based on binary particle swarm optimization ( pso ) algorithm and immune memory mechanism was proposed and its implementation was illustrated in detail

    摘要為求解基於成有能力約束的生產批量計劃問題,提出了一種基於二進制粒子群法和免疫記憶機制相結合的方法,並闡明了該方法的具體實現過程。
  2. Further more, sca was expanded to find dyad signals with a little improvement in the way of constructing the search graph in pattern finding

    通過改進構造搜索圖的方法,進而將該法擴展應用到二合模式的發現中。
  3. Based on the demand of power department, a full distributed multifuncitional monitoring device is studied. this instrument not only can measure the data of hydroelectric plant, but also integrate the funcition of control the dynamotor, by cooperate with the program of epigynous system, it can realization the auto generate electricity on the hydroelectric plant and ordinal startup - stop of the dynamotor. 2 furthermore, performance of integrated dft arithmetic enhances the acturacy and reliability of measure. by communication several devices can run online to be controlled dispersedly and managed centrally

    本文分析了國內外水電站自動控制裝置的研究和發展狀況,尤其是國內小型水電站的自動化現狀,針對現有電力部門的需求,設計並實現了一種單式的微機自動監控裝置,該裝置不僅實現了對水電站內各種模擬參數和數字信號的實時監測功能,還對水輪發電機進行了調控,通過與上位機處理程序的配合,可以實現水電站的自動發電控制、機順序啟停;在測量發電機機端電壓和電流參數的時候,採用32點離散傅立葉法( dft ) ,增加了測量的準確性和可靠性;通過通訊可以實現裝置的聯網運行,做到「分散控制、集中管理」 。
  4. Besides, of the several algorithms those have been proposed in the literature for solving the transportation problem, previous computational results indicated that the primal algorithm ( modi method ) is more efficient, so we have compared the amedv versus the modi method. because very little experimentation was carried out on algorithmic techniques used in the codes of amedv, we have also performed a number of runs that test the overall solution time as the number of significant digits in each of the parameters is varied

    因為素判別值分配法是運輸問題引發出的求解新方法,並且階石法是目前解運輸問題的較快速解法,所以特別針對運輸問題通過若干有代表性的檢驗數據進行數值測試,在實際問題中對比素判別值分配法與階石法的法執行時間,研究兩對法執行效率上的差別,並分析差別產生的原因。
  5. This article puts forward a solution named divide - assemble by deducing the size of bp neural network to overcome entering the local best point, the dividing process is that a big bp neural network is divided into several small bp neural networks, every small bp neural network can study alone, after all small bp neural networks finish their study, we can assemble all these small bp neural networks into the quondam big bp neural networks ; on the basis of divide - assemble solution, this article discusses the preprocessing of input species and how to deduce the size of bp neural network further to make it easy to overcome entering the local best point ; for the study of every small bp neural network, this article adopts a solution named gdr - ga algorithm, which includes two algorithms. gdr ? a algorithm makes the merits of the two algorithms makeup each other to increase searching speed. finally, this article discusses the processing of atm band - width distribution dynamically

    本文從bp網的結構出發,以減小bp神經網路的規模為手段來克服陷入局部極小點,提出了bp神經網路的拆分裝方法,即將一個大的bp網有機地拆分為幾個小的子bp網,每個子網的權值單獨訓練,訓練好以後,再將每個子網的單和權值有機地裝成原先的bp網,從理論和實驗上證明了該方法在解決局部極小值這一問題時是有效的;在拆分裝方法基礎上,本文詳細闡述了輸入樣本的預處理過程,更進一步地減小了bp網路的規模,使子網的學習更加容易了;對于子網的學習,本文採用了最速梯度? ?遺傳混合法(即gdr ? ? ga法) ,使gdr法和ga法的優點互為補充,提高了收斂速度;最後本文闡述了用以上方法進行atm帶寬動態分配的過程。
  6. In the thesis, a good performance is gained with implement four 256 state machines by making good use of residuary block ram in fpga chip. in present dissertation, ts sync flag is got rapid - extract by software and hardware cooperation and whether packet length is 188 or 204 bytes also is distinguished

    在硬體實現的過程中,對傳統da法進行了深入研究,充分利用fpga片內剩餘ram塊,實現4個256狀態的狀態機,採用軟硬體協作的方法快速提取同步位,自動區分包類型是188位長還是204位長。
  7. It makes use of resource of the chip, realizes the development of every module, achieves distilling of telegraphese, builds up new frame, calculates the position and provides external interface. in the section of calculating the position, the author combines the two measures of carrier phase position and code position. finally, in the platform of matlab, the author completes the function simulation of main modules

    概述了接收機的設計原理;詳細描述了基於ti公司的tms320c6713dsp晶的系統程序設計中各模塊的實現,利用該晶的資源,實現各模塊的調度,完成對導航電文的提取,重新幀,定位解以及對外介面;在解部分,把載波相位定位與碼測距定位相結合,利用載波相位對偽距的平滑來提高定位精度;在matlab平臺下進行了各模塊的功能模擬測試,以模擬結果的圖表來分析說明了載波相位平滑偽距的兩種法能使定位精度有一定的提高。
  8. Lin, a. c. and chang, t. c., “ an integrated approach to automated assembly planning for three - dimensional mechanical products, ” international journal of production research, 30 ( 5 ), 1201 - 1227 ( 1993 )

    林吉宏,裝次序與加工次序之整合規劃研究?應用基因法,碩士論文,私立智大學( 2000 ) 。
  9. First of all, the assembly model of dfa is established and the data structure of the model is proposed ; in order to redesign product and structures and select optimized assembly plans, an assemblability evaluation system is constructed. secondly, assembly process planning is analyzed, including assembly path planning and assembly sequence planning ; and then the thesis brings forward the way of 11 - tuple to represent the movement of assembly / disassembly of assembly elements. in the end, this paper makes an research on the technology of interference checking, raised a kind of algorithm of swift interference checking based on envelops bounding box decomposition, hence, the accuracy and efficiency of the algorithm is improved dramatically

    首先建立了面向裝配設計的裝配模型,給出了它的數據結構;接著從面向產品結構和裝配工藝過程兩方面再設計的角度,構建了裝配性評價體系;接著闡述裝配工藝規劃技術,包括裝配路徑規劃和裝配順序規劃;然後提出了11法來表示裝配件的裝拆運動;最後對干涉檢驗技術進行了研究,採用一種基於包容盒逐層的快速干涉檢查法,提高法的精度和效率。
  10. Because the parameters of pressure control system is inconstant and difficult to identify and the runtime of pressure control is long, a comprehensive intelligent control method is presented, which is composed of bang - bang control 、 fuzzy control and single neuron psd control. this comprehensive method takes advantage of the merits of three control methods to compensate their shortcomings

    考慮到壓力控制系統具有參數易變且不易辨識、運行時間較長的特點,提出了採用由bang - bang控制、基本模糊控制和單神經psd控制成的智能復合控制策略,利用了各種控制法的優點,同時彌補了各自的缺點。
  11. Due to the importance of the accuracy of the time - domain impedance matrix elements, the techniques by which treating of the singular integrals and near singular integrals arose from the tdie - mom solving process are analyzed in detail, and these techniques are utilized to solve the tdie. in the end, using triangle patches discretizing arbitrarily 3 - d dielectric objects and metal - nonmetal composite objects surface and utilizing spatial rwg and temporal triangular bases, the tdie are solved by mot algorithm

    最後,分別對三維介質目標、金屬非金屬合目標散射體表面用三角貼片離散,並在空間上採用rwg基函數,在時間上採用三角型時間基函數、利用阻抗素的精確法計出阻抗矩陣,再運用mot法分別求解了介質體目標,金屬非金屬合目標的時域積分方程,並分析了金屬非金屬合目標分界面上的等效電流與等效磁流的特性。
  12. Code v algorithms are a key and dominant technology in the design of the microlithographic lenses that permit the imaging of ultra - fine lines on computer chips ? a necessary ingredient in the continuing improvement of computer speeds

    Code v法在設計微影成像鏡頭方面是一個關鍵的和主要的技術,微影成像鏡頭允許在計機晶上作超精細線成像?這在計機速度的持續改進中是一個必然的分。
  13. This paper systematically presents the whole design process of a cryptogrammic chip based on reconfigurable architecture. firstly it begins with a brief introduction to the background of the cryptogrammic chip design, and it clearly states the characteristic and the researching thoughts of cryptogrammic chip design with hdl. then the design environment and cipher algorithms are introduced briefly

    本文系統地論述了基於可重體系結構的密碼晶設計的全過程,文章首先闡述了該設計的課題背景,給出了使用hdl方法設計密碼晶的特點和研究思路,然後對晶的設計環境作了簡要說明,並對密碼法進行了簡單介紹。
  14. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的,以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三< dfsc , dfo , dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見,本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  15. Evolvable algorithms are applied to functional digital combinational logic circuits with the structure of classicepglo chip of altera co. and the detailed analyses of typical examples are also given

    結合altera公司classicep610晶的結構,研究了將法應用於函數級數字合邏輯電路的硬體化,並且對典型實例進行了詳細分析。
  16. We first set up the hiberarchy of the nmm ’ s visualization and focus on the study of pem ’ s visual process. then the coupling equation of pem is deduced and a rapid algorithm for solutions of bordered tridiagonal linear equations is put forward. in the last of the thesis, elementary system of deformation geometry unified for manifold ’ s structure is studied primarily via the idea of unified modeling and some theoretic results for analytical visualization are given out under the system of frenet frame of arbitrary parameters

    文章結合nmm的基本原理和特點,研究了nmm可視化的有關理論和方法;文章首先建立了nmm可視化的層次結構,重點對面素單法( pem )的可視化過程進行了細致研究,推導出了pem的耦合方程,然後給出加邊三對角方程的一種快速求解法,最後還從統一建模的思想對統一于流形結構變形幾何的基本體系進行了初步研究,得到了任意參數形式下frenet標架體系的若干適用於解析可視化的理論結果。
  17. Because of the large scale of the p / g routing network in the memory chip layout, general linear equation group resolving algorithms for calculating the equivalent resistance between the nodes cannot satisfy the restrict of both memory space and running time simultaneously

    摘要由於存儲晶版圖p / g網規模的巨大,對于計電阻網路中節點間等效電阻問題,直接利用常規線性方程求解法無法同時滿足內存空間與運行時間上的限制。
  18. To gain a higher precision of retrieval, the method of pixel information decomposition is introduced in. the method is to divide ground objects correspond to a pixel in to several basic components : soil, vegetation, moisture, water, and ice, and then, using remote sensing data, calculate the contents of every components according to the model by which the component ' s spectrum compose

    為獲得較高的反精度,採取象分信息分解的方法,將象對應地物分解為土壤、植被、水分、水體、雪被等基本分,然後根據這些分的光譜合模型用遙感數據計中各分含量,再根據分含量反半球反射率和反照率。
  19. This paper presents an approach to perceptually extract multi - oriented text lines from online handwriting. the approach adopts a bottom - up strategy. by the approach, strokes are first merged into blocks analogous to words, then a link model is constructed upon these blocks. finally, the optimal text line layout is found out by a branch - bound search on the link model. the experimental results show that the approach is effective and also available to extract curved text lines

    提出一種多方向手寫筆跡文本行的提取方法.該方法以視覺感知理論為基礎,採取自底向上的策略,先將筆畫合成類比字的筆畫塊,然後基於這些筆畫塊建立鏈接模型,最後採用分支限界搜索法從鏈接模型中找出最優行排列.實驗結果表明,該方法能有效地提取多方向筆跡行結構,並適用於彎曲文本行的提取
  20. Upon this foundation, a corpus - based algorithm was designed and implemented to acquire and filter binary semantic pattern rules automatically. in the algorithm, a data mining method for cross - level association rules is adopted, which is guided by metarule, to find the semantic laws of word combinations in chinese phrase corpus. then statistic results are used to filter the findings

    在此基礎上,本文設計並實現了基於語料庫的二語義模式規則自動挖掘和優選法,該法先採用數據挖掘中規則制導的交叉層關聯規則挖掘方法,自動發現漢語短語熟語料庫中詞語兩兩合的語義規律,再根據統計結果自動優選后轉換生成候選二語義模式規則集。
分享友人