運算類型 的英文怎麼說
中文拼音 [yùnsuànlèixíng]
運算類型
英文
arithmetic type- 運 : Ⅰ動詞1 (物體位置不斷變化) move; revolve 2 (搬運; 運輸) carry; transport 3 (運用) use; wield...
- 算 : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
- 類 : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
- 運算 : [數學] operation; arithmetic; operating
- 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
-
A class of convolution operators on anisotropic hardy spaces
空間上的一類卷積型運算元All three types of operators are discussed herein
下面討論所有這三種類型的運算符。In non - immutable types is not recommended
建議不要在非不可變類型中重寫運算符You cannot apply the indirection operator to a pointer of type
類型的指針應用間接尋址運算符。11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model
在系統模型的結構表示上,本文擴充了傳統的事件結構,使用一種帶時間信息的捆綁式事件結構來模擬系統行為,在系統模型的語言刻畫上,本文採用的是帶時間的類lotos進程代數描述語言,對于動作精化,我們同樣採用運算元的觀點,將動作精化定義為一個操作運算元。We analyze the classifying results based on the fuzzy text classifying, think the wrong classifying results can be divided into two styles, and we propose a subordinative degree update algorithm aim at the two instances. combined the nizzy semantic relationship classifying algorithm, we propose the gradual classifier construction algorithm through checkouting and correcting the wrong results constantly with the update formula.
在模糊文本分類的基礎上,對分類結果進行了分析,將分類錯誤歸結為兩種類型,並針對這兩種情況提出了隸屬度更新演算法,結合模糊語義關聯度的分類演算法提出了運用更新公式不斷對分類結果進行校驗糾錯進而逐漸地構造分類器的演算法。The expression language includes a cast operator that supports casting between string, numeric, date, and binary data types
表達式語言包含支持在字元串、數值、日期和二進制大型對象塊( blob )數據類型之間進行轉換的轉換運算符。This thesis presents pc - base model motor automated testing system whose control part is consisted of pc and programmable logic device ( plc ) : pc controls the test process, intelligence measure instrument ; the plc executes the commands sent from pc. common three - coil motor, frequency motor, synchronal perpetuation magnetism motor can be tested by this system
本文介紹的電機測試系統是pc - base類型電機型式自動測試系統,它的邏輯控制部分由上位機( pc機)和可編程邏輯控制器( plc )構成: pc機主要實現對整個試驗過程的控制、智能儀器控制和邏輯運算, plc主要執行pc機命令,實現對系統的繼電控制。Thirdly, an ideal satellite orbit is simulated, and on this foundation, we establish some typical simulation and testing circumstances. lastly, after simulation in the simulation and testing circumstances, we compare the performance of ukf and ekf. and then, based on the outdoor experiment of the vehicle, an analysis and contrast between our simulation results and commercial data process software is carried out, and the conclusion is obtained
首先在第三章提出的目標運動模型的基礎上建立了系統狀態方程;其次簡要分析了衛星導航系統中的各類誤差,建立了基於偽距觀測量的系統觀測模型;第四節利用yuma格式歷書數據模擬了未受攝動影響的衛星軌道,並在此基礎上建立了幾種典型的動態模擬測試環境;第五節為模擬分析和比較,先對ukf演算法和ekf演算法在動態模擬測試環境中進行了模擬比較,然後針對外場試驗,對非線性濾波獲得的定位結果與商業軟體進行了分析比較,並得出結論。In this paper, first it sums up domestic and overseas research status, then extends the definition of interconnection, describes its property & type, and then analyzes the value, the factors of interconnection qualitatively and quantitatively on lrt model & upe, next, gathers up the actual domestic standard of access charges, at last draws the conclusions and gives some advice
如何激勵運營商積極互聯、擴容、結算,實現有效互通意義重大。結合當前電信產業的發展,文章對互聯互通定義加以延伸擴展,對互聯互通類型進行劃分。基於網路外部性,文章分析了互聯互通的價值,尤其是互聯互通對網路價值的影響。In this paper, a lot of researches and exploration are applied to studying the universality and expansibility of hardware and the arithmetic design and code optimization of software. especially, all of the following arithmetics or conceptions are worked out in the research of software design : self - adaptable compression arithmetic based on dictionary model for data collection system, similarity full binary sort tree, a optimized quick search arithmetic and an improved arithmetic of multiplication in the floating - point operation. and all of the arithmetic are designed with mcs - 51 assembly language. the quick search arithmetic, in which merits of both binary search and sequence search are used fully, are based on the specialty of preorder traversal in similarity full binary sort tree
特別在軟體設計研究中,提出了適用於數據採集系統的數據壓縮演算法? ?基於字典模型的自適應壓縮演算法;提出了類滿二叉排序樹的定義;提出了基於類滿二叉排序樹的先序遍歷特性的最優化快速查找演算法,它充分利用了折半查找和順序查找各自的優點;提出了浮點運算乘法的改進演算法;並在mcs - 51匯編語言層次上對所有的演算法加以實現。In data processing, combining quantities according to various circuitry designs, machine rules regarding changes in values, and types of carryover operations
在數據處理中,按照不同的線路設計、根據數值變化制定的機器規則以及進位操作的類型把各量結合起來的一種運算操作。Based on a systematic discussion on the contents, characteristics and the up - to - now accomplishments of these three operations in cagd, we present our researches in three ways as follows : ( 1 ) efficient evaluation for parametric curves and surfaces based on generalized ball bases based on the generalization of mathematical model of surface lofting program in the consurf system, two generalized ball surfaces and the recursive algorithms for evaluating them are given. furthermore, the conversion algorithms from bezier form of a surface to these two generalized ball forms are presented
在系統地論述cagd中此三類運算的內容、特點、已有研究成果的基礎上,就以下三方面給出了研究成果: ( 1 )基於廣義ball基的參數曲線曲面快速求值以前英國航空公司consurf系統機身模線程序數學模型的推廣為基礎,定義了兩類廣義ball基曲面,給出了求值的遞推演算法,推導了b zier曲面到這兩類曲面的轉換演算法Keyword only on a type conversion operator
關鍵字。類型轉換運算符的符號總是The source type provides the conversion operator
源類型提供轉換運算符。Thereby, a single candidate at the final - level search is enough to provide the desired performance. as a result, the algorithm performs only one local search at the finest level, and its overall computational cost and data bandwidth burden decrease. according to different motion area, the search methods dynamically are also introduced
根據這個初始運動矢量對當前塊的運動類型進行分類,針對不同塊的不同運動內容,確定每一塊運動矢量搜索的起點、搜索的范圍和搜索策略,小運動塊的搜索范圍小,大運動塊的搜索范圍大,這樣既可節省計算量,也可以減小搜索范圍,而且不影響搜索精度,因而搜索效率高。With the development of the network and the multi - processor system, the research, simulation and the impemeni of the system - level fault diagnosis which is the very important means to increase the reliability of the system, are becoming more and more important. on the system - leve1 fault diagnosis, based on the group theory of system - level fault diagnosis that has been put forward by pro f zhang, the paper constructs newly the theory bases, improves on the matrix method, reinforces and consummates group arithmetic of all kinds of test mode, for the first time, analyses and discusses the equation solution of all kinds of models, so al1 the consistent fault patterns ( cfp ) could be found, straightly and high efficiently, even if the sufficient and necessary condition of t - diagnosable is dissatisfied and the complexity of system - level fault diagnosis is greatly decreased, especialy in strong t - diagnosabl6 system. last the simulation system ' s function has been extended and the application hotspot and the development trend have been disscussed
本人在張大方教授等人提出的基於集團的系統級故障診斷的理論基礎上,重新構建了系統級故障診斷的理論基礎,定義了系統級故障診斷測試模型的三值表示;改進了系統級故障診斷的矩陣方法,重新定義了測試矩陣、鄰接矩陣、結點對、結點對的相連運算、極大準集團和斜加矩陣,由此能直觀、簡便地生成集團和極大獨立點集;補充和完善了各類測試模型的系統級故障診斷的集團演算法,通過定義集團測試邊和絕對故障集,簡化了集團診斷圖,由此能較易地找到所有的相容故障模式,即使不滿足t -可診斷性,大大減少了系統級故障診斷的復雜度,尤其是對強t -可診斷系統;首次分析探討了各類測試模型的方程解決,由此從另一角度能系統地、高效率地求出所有的相容故障模式( cfp ) :擴充了系統級故障診斷模擬系統的功能,快速、直觀和隨機地模擬實驗運行環境,進行清晰和正確的診斷,同時提供大量的實驗數據用於理論研究,優化演算法和設計。The dot operator specifies a member of a type or namespace
點運算符指定類型或命名空間的成員。Firstly discussing basic type of computer redundant structure and characteristic of the systems, the self - monitoring dual redundancy computer systems is brought forward as the design scheme for the required flight control computer system. the redundant structure is researched about reliability by using markor model and is carefully designed
首先分析了計算機冗餘結構的基本類型以及本次設計的要求特點,選擇了自監控二冗餘飛行控制計算機系統的設計方案,運用馬爾科夫模型對此冗餘系統的可靠性進行了計算研究,並且對此冗餘結構進行了詳細地描述及設計。A brief description of the organization of this paper follows. there are four chapters in this paper. in the first chapter, by using the character of operator d and liapunov functional, we deal with the stability of solutions of linear nfde of d - operator type with infinite delay, generalize the results of rfde
基於這類方程的復雜性,可以討論具體的volterra方程。本論文共分四章。第一章利用d運算元的性質及liapunov泛函討論了無窮時滯d運算元型fde的穩定性,推廣了一般泛函微分方程的結論。分享友人