符號工具 的英文怎麼說
中文拼音 [fúháogōngjù]
符號工具
英文
symbolic tools- 符 : Ⅰ名詞1 (符節) tally (with two halves made of wood bamboo jade metal issued by a ruler to gener...
- 號 : 號Ⅰ名1 (名稱) name 2 (別號; 字) assumed name; alternative name3 (商店) business house 4 (...
- 工 : Ⅰ名詞1 (工人和工人階級) worker; workman; the working class 2 (工作; 生產勞動) work; labour 3 ...
- 符號 : 1 (記號; 標記) character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
-
In section 4, we symbolized the system using milnor - thurston ' s method. we not only define the map from plane to symbolic space, also define its inverse map x0, - 1 which maps symbolic space to plane
第四節開始,我們引入符號動力學的工具,首先我們將系統符號化,不僅定義了從平面到符號空間的映射,還定義了它的逆映射(And by means of classification of subjects, we may find their success and fault in the design so that we can integrate theory with practice to ensure the realization of the inheritance and innovation. chapter five explains that the ideology of sustainability such as resources preserving has been crucial in housing design. by the study of design practice of several typical works in the domestic or the foreign, the author tries to explore an ecological design method in the traditional building which is fit for nature and combine it with modern housing design method, so as to obtain a design theory of sustainable housing and its essential ecological adaptability
第4章是從建築文化繼承與創新的角度出發,以後現代建築風格流派的發展為研究對象,並結合從具體建築實例中歸納設計手法的種類,通過對其武漢理工大學碩士學位論文符號語言特徵予以闡述,進而理清其脈絡與結構、分析其基本特徵,試圖從后現代建築對于傳統建築符號語言的沿襲與發展這一全新角度來重新審視現代城市居住建築的成功與不足,以期力求從理論和實例的結合中找出居住建築可持續發展的一般規律。The addr2line utility provides basic symbolic debugger information, although the gnu debugger uses other methods internally
Addr2line工具提供了基本的符號調試信息,不過gnu debugger ( gdb )使用的是其他一些內部方法。Agtk is a suite of software components for building tools for annotating linguistic signals, time - series data which documents any kind of linguistic behavior ( e. g. audio, video )
" agtk是為構建工具提供的一組軟體組件,用於處理注釋性語言符號、時間連續性數據(如視頻、音頻) 。Although the long pn sequence modulation has been used widely in the military communication with the good secrecy performance and restraint of jam between symbols, there is scarcely any research of long pn sequence modulation signals. so it is significant to research the estimation of long pn sequence modulation signals
由於目前尚未有對長pn碼調制信號進行檢測和參數估計的研究,而長碼調制較好的保密性能以及抑制部分符號間干擾的優點,使其在軍事通信中有著較好的應用前景,因而此部分工作具有重要的意義。First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介紹了安全協議的概念、分類和性質,安全協議的形式化驗證方法,以及小系統模型的原理;重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理,而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗,發現了它們的安全漏洞。We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
本文研究了驗證安全協議的各種形式化方法,詳細研究了符號化模型檢驗工具smv的工作機制;確定了使用smv作為工具對安全協議進行模型檢驗,驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。With the development of the computer and the constantly expanding of it ' s applied domain, symbol computation present gradually powerful bioenergy. in this paper, using the computer algebra as the tool and the differential algebra as the background, we discuss the theory of " ac = bd " and the differential characteristic method and their application in the differential equations
隨著計算機的發展和應用領域的不斷擴大,符號計算在數學領域中體現出了日益強大的生命力,本文就是以計算機代數為工具,微分代數為理論背景,討論了「 ac = bd 」理論及微分特徵列法的相關理論問題以及它們在微分方程組中的應用。The economic success of alfamobil 1800 s. r. o. - odblokovani telefonu, gsm, servis is coined / shaped by products and service services such as credit, service, accessories in addition to hardware, mobile and software. one can even receive offers on fax, nokia, sale and shop as well as on sets with alfamobil 1800 s. r. o. - odblokovani telefonu, gsm, servis in outstanding quality
是一家高級企業,該企業使用多種工藝製造接受,符號、命名、表示,卡片,公司,信用卡、貸款,產品、製品,插件板、卡片,路上交通工具、機動車輛,操作,庫、車場,預備、防備、供給,實際,賣、出售。Through chaos optimization method embedded into the genetic algorithm. the algorithm with the combination the advantages of the genetic algorithm and chaos optimization method which need not the optimal problem function ' s differential and promote the ability of the genetic algorithm ' s locally meticulous search can be obtained with the faster convergence and the greater probability for the global solution. a chaotic sequence is inserted into the search procedure of genetic algorithm, which can overcome premature of the search by genetic algorithm and the speed of convergence is faster than standard genetic algorithm
對遺傳演算法進行了理論分析,並且研究了遺傳演算法的設計與實現;利用混沌優化方法不依賴于梯度信息的性質,將其與遺傳演算法相結合,提出了一種求解連續不可微函數優化問題的混合遺傳演算法;基於對于符號動力系統的研究,利用混沌序列的遍歷性,將混沌序列引入遺傳演算法中,提出一種嵌入哈爾濱工程大學博土學位論文一混飩序列的遺傳演算法,該演算法有效地克服了標準遺傳演算法中的早熟現象,並且具有更快的收斂速度。 」The main works and innovations of this thesis are as follows : ( 1 ) based on the oversampling of ofdm frequency response, this paper proposes a channel estimator which combines the comb - pilot - tones partitioning and the fourier transform with the same pilot symbol samples
具體而言,主要有以下六個方面的工作和創新點: ( 1 )利用在ofdm系統中通道的頻域響應是過采樣的特性,提出了在頻域內用均勻梳狀分佈的導頻符號和與導頻符號數相同點的傅里葉變換相結合的通道估計方法。In this dissertation, with the aid of many types of constructive transformations and symbolic computation, some topics in nonlinear waves and integrable system are studied, including exact solutions, painleve integrability, backlund transformation, darboux transformation, symmetry ( similarity reduction ), conditional symmetry, lax integrable hierarchy, liouville integrable n - hamilton structure, constraint flow, involutive system, lax representation, r - matrix, separation of variables and integrable couplings. chapter 2 and 3 are devoted to investigating exact solutions of nonlinear wave equations : firstly, the basic theories of c - d pair and c - d integrable system are presented
本文以構造性的變換及符號計算為工具,來研究非線性波和可積系統中的一些問題:精確解(如孤子解、周期解、有理解、 dromion解及compacton解等) 、 panileve可積性、 backlund變換、 darboux變換、對稱(相似約化) 、條件對稱、 lax可積族、 liouville可積的n - hamilton結構、約束流、對合系統、 lax表示、 r -矩陣、變量分離及可積的耦合系統Meanwhile, on the base of the related art origin of theory and play theory, i demonstrate the children art education, and consider the art activity which is of shape, inner recognition and operational pleasure is the best selection. the children art education derive from the natural situation, as a result of inner cognitive psychology adjustment and sign movement to the stimulus from the outer environment. satisfied with the physical need, the children go into play situation consciously or unconsciously, in means of tools, materials and symbols to express the objective reality, will and ideology
幼兒美術的發生是自然狀態中,幼兒在外界事物刺激下,通過認知心理的內部調適,支配肢體運動的結果;幼兒美術是在滿足生理需要,在知覺的基礎上、外界事物刺激下、輕松愉悅的氛圍中,幼兒有意無意地進入游戲狀態,藉助工具、材料、符號等自然手段,反映客觀現實、願望和自我意象。Accurately mastering these characters, fully using the language tool and coordinating with the non - language symbol of technical action will improve the teaching quality of physical courses effectively
準確地把握這些特性,充分運用好教學語言這個工具,並使之緊密配合技術動作等非語言符號,能夠有效地幫助提高教學質量,做好教書育人的工作。Firstly, an eigenvector - fitting algorithm is used in contour lines color segmentation for extracting the color keys of map features ( include contour lines ) in order to reduce the phenomena of color - alias and color - misalignment
具體工作如下:第一,採用本徵向量擬合演算法提取各類地圖符號(包括等高線)樣本的顏色特徵,用以克服掃描彩色地形圖中的顏色混淆和假彩色現象。Next, it indicates that mathematical language is an important instrument for developing the mathematical communication activity, and based on the predecessors " achievements, reclassifies the mathematical language : character language, symbol language, figure language, chart language and logic language
接著指出數學語言是進行數學交流活動的重要工具,參考前人的成果,對數學語言重新進行分類,可分為:文字語言,符號語言,圖形語言,圖表語言,邏輯語言。Mathematics language ( ml ) is the tool of mathematics activity, the carrier of mathematics thinking, the signals of recording mathematics knowledge, the media of expressing mathematics thoughts
數學語言是數學活動的工具,是數學思維的載體,是記錄數學知識的符號,是表達數學思想的媒體。This paper studies using asic ic2001 which is zte independently - developed and dsp from ti company to finish the driver of rake receiver and symbol processing function based on 3g base band. achieving the chip mapping, resource planning, the driver of baseband realization and experimental validation with the developing tool ccs ide supplied by ti company
本文研究運用中興公司自行研發的專用集成晶元ic2001與ti公司的dsp晶元共同完成第三代移動通信( 3g )基帶處理上rake接收機和符號級處理功能的基帶系統驅動,在ti公司提供的開發工具ccs集成環境中完成晶元映射、資源規劃、系統驅動方案實現及進行實驗驗證。The second part, with the aid of many types constructive transformation and symbolic computation ( especially wu algebraic elemination method ), some topics in nonlinear evolution equation are studied, including exact solution ( solitary solution, periodic solution, rational function solutions and jacobian function solution ), backlund transformation, cole - hopf transformation, dromion solution and its construction etc. charter 2 introduces ac = bd model and its application about partial differential equations
第二部分以構造性的變換及符號計算特別是(吳代數消元法)為工具,來研究非線性演化方程中的一些問題:精確解(如孤子解、周期解、有理解和雅可比橢圓函數解(雙周期解)等) 、 backlund變換、 hopf變換, dromion解及衰變結構等第二章介紹了求解pdes的ac = bd模式及其在偏微分方程中的作用。Abstract : we point out some problems on symbolic toolbox of matlab 5. x and give methods of solving these problems
文摘:本文指出了matlab符號工具箱的若干問題,並給出了解決這些問題的辦法。分享友人