轉化符號 的英文怎麼說
中文拼音 [zhuǎnhuàfúháo]
轉化符號
英文
conversion symbol- 轉 : 轉構詞成分。
- 符 : Ⅰ名詞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. (轉變) change; transform 2. [化學] inversion; conversion
- 符號 : 1 (記號; 標記) character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
-
3 pnueli a. a temporal logic of concurrent programs. theoretical computer science, 1981, 13 : 45 - 60. 4 mcmillan k l. symbolic model checking
符號化的模型檢測技術利用二叉圖binary decision diagram表示狀態轉換關系,降低了系統模型所需的內存空間。The course contents include the development and thought of space design aesthetics in the late 20th century, discussing their relation by way of literature, psychology, semiology, and philosophy, investigating the past and contemporary viewpoints of living environment through the interaction between multimedia communication, and society, education, culture, and economy, raising the examples of spatial aesthetics transition ( classicism, modernism, post - modernism, and post - post modernism ) to compare and evaluate the works of famous spatial designers
本課程主要內容: 20世紀末空間設計中美學發展的進程與思潮並以文學、心理學、符號學、人文哲思探論其關連;從多媒體傳達與社會、教育、文化、經濟互動之應用中探討人居環境的時代觀與當代價值觀;以人居環境中的空間美學轉變(古典,現代,后現代以及后現代之後)為例進行空間設計大師作品之類比與評估。Us dolor was n ' t related to gold and gold did n ' t serve as money. money gradually changed its form from token money to credit money, totally abstract value symbol
20世紀70年代,隨著布雷頓森林體系瓦解,美元脫離黃金、黃金非貨幣化,貨幣也逐漸從價值實體向完全抽象的價值符號? ?信用貨幣進行轉變。Rotating the model to another angle shows those symbols change into the greek alpha and omega
旋轉該模型成另一個角度顯示那些符號變化為希臘的阿爾法和歐米加(與) 。In computation of swept volume approximation, an improved technique to generate the swept volume approximation for arbitrary meshes is presented by introducing generator simplification and path resample using frenet moving frames along the discreted sweeping trajectory. other steps, such as a directed distance field computation on a uniform grid based on the hardware accelerated computation technique and iso - surface extraction using marching cubes algorithm, are also included in this algorithm. in addition, the simplification scheme and smoothing technique are applied to the swept volume generated from iso - surface extraction
本文的主要貢獻在於:在掃描體逼近計算方面,在原有任意多邊形網格模型沿任意路徑運動生成掃描體逼近演算法的基礎上,提出了加入對掃描母體簡化的預處理和用活動標架對掃描路徑進行重采樣等過程,演算法的其它過程還包括:計算掃描體中幾何基元的排列,用硬體加速構造無符號的有向距離場,將無符號距離場轉化為有符號距離場,從有符號有向距離場提取等值面等。Varje rulle har ett antal symboler normalt 10 till 20 men det varierar stort beroende p maskinen, och genom att dra i spaken brjar rullarna att snurra snabbt
每個卷軸都有許多符號通常是10到20 ,視機器不同變化很大,拉下把柄,卷軸便會迅速旋轉。Numeric - symbolic technique is introduced in the procedure of resultant elimination, procedure of number - spobol manipulation is transformed into that of matrix manipulation. because joini variables are treated as symbols and all structure paramcters are treated as real nuxnbers, the complexity of derivation for input - output equaion is reduced. the soluton is verified with a numerical example, its rsults withoot extraneous roots agree with the original equaions
消元過程中引入了數字-符號方法,將結構參數處理為數值量,將關節變量處理為符號量,將數字、符號推導過程轉化為了矩陣運算過程,由於結構參數以數值量的形式出現在方程推導中,降低了符號推導的難度,符號推導不需要復雜的符號處理軟體的支持。After analyzing and study two transitions of map to spatial data and spatial data to map, the author thinks the spatial data capturing is a loss map information process, and for map production firstly symbolize from spatial data, then reinforce the map information. the map production model ( mpm ) is the summary of all kinds of map production. the integration model is the best model in mpm and it infers that " spatial data first, map second " is the production process
提出了「靜態數字制圖」和「動態數字制圖」的概念,論述它們各自特點和研究方法,並提出地圖制圖和空間數據生產都屬于「靜態數字制圖」 ;通過研究地圖和空間數據的相互轉換過程,發現空間數據生產是地圖信息損失的過程,根據空間數據來進行地圖生產必須先實現地圖符號化,然後再進行地圖信息的補充處理;本文提出的「地圖生產模型」是現有各種數字化生產模式的基礎,從理論上論證了一體化生產模式是最優模式,推導出「先空間數據生產,后地圖出版」的一體化生產流程,並歸納總結了當前數字化生產的4種基本生產模式和9種應用情況。Through the study of the style of knowledge description, the paper elaborates the numerical model knowledge, the symbolic experience knowledge and the instantial swatch knowledge. these three kinds of different knowledge have been used in loans risk classification in the paper. just as the using of the object oriented technique and the ai ( include es, ann, and the integrated of ann and es ) technique, can the paper realize the five - grade loans risk classification
本文通過對知識描述形式的研究,表述了經驗符號性知識、模型化數量性知識和實例樣本性知識三種類型,通過對其行為特徵及轉換、集成的研究,將這三種異構知識引入貸款風險分類分析;採用面向對象技術和人工智慧的es 、 ann兩種形式及其結合,實現了貸款風險五級分類。3. the process of education is just a process of the generation of the students " personal knowledge, which includes two closely combined aspects : the implicitization of explicit knowledge and the explicitization of implicit knowledge, hi the former aspect, students use other people ' s achievement and change it into personal capability and quality ; in the latter aspect, students accumulate experience in everyday practice and change into explicit knowledge with the help of language system
教育過程其實質也即學生個人知識生成的過程,包括兩個密切關聯的方面:顯性知識的緘默化和緘默知識的顯性化。前者指學生通過學習人類的認識成果,並在實踐活動中加以運用而轉化為個人的技能、技巧,內化為自身的素質;後者指學生在自己日常實踐活動中積累經驗,產生緘默知識,藉助于語言符號系統而使其顯性化。In paper, reaching the aim, firstly, we have researched thorough about symbol recognition and theory understanding relative theory and technology, and basing on those theory and technology, we adopt the based global characteristic symbol recognition and engineering drawing understanding algorithm which can automatic convert the vectorgraph which doesn ’ t include the relative physical information into the vectorgraph which includes the relative physical information. secondly, researching about the 2d computer animation technology and combine the cbt system, we have presented the new path animation model which include the union path description, animation pattern and time - velocity and time ? distance parts
為達到上述目標,本文首先對目前圖形符號識別技術進行系統的、較深入的分析,結合民航飛機原理圖特點採用基於全局特徵的符號識別演算法對原理圖進行符號處理,並以此為基礎改進了基於圖的方法和全局知識的語義分析方法相結合的原理圖理解演算法,可將無序的矢量圖轉化成高層的知識表示,為動畫製作提供素材,為后續的電路完整性檢測及動畫自動播放提供相應的知識支持。This visual carnival greatly stimulates the audience ' s desire, and people ' s requirement of visual expectation and delight has been continuously improved. visual culture has already transformed the man - made visual symbols into our basic range of recognition, while natural object and real object withdraw to the second line
這種視覺的狂歡空前地激發著觀眾的慾望,人們的視覺期待和對視覺快感的要求不斷的提高和攀升,視覺文化已經把人造的視覺符號轉化為我們基本的認知領域,自然物和現實物倒退居次席。While in pratical applications, the esd method still has drawbacks in graphical modeling capability, connections with products " structures, size control of esd models, and etc. through in - depth study of the esd method, this paper systematically describes the framework and its basic modeling elements of esd, explains the principles of risk modeling, gives the mathematical model of the basic modeling elements of the esd framework to support the quantitative analysis of the esd model. based on the research above, this paper expands the esd framework, which includes : to overcome the drawback in graphic modeling capability of the esd method, the paper invents some new logical modeling symbols like " n / k " gate, sequence gate, expandable gate and constraint, those enrich the modeling capability of the esd method. to overcome the drawbacks in connections with products " structures and size control, the paper explains the multi - layered modeling principles based on the esd
在上述研究基礎上,對esd框架進行了擴展,包括:針對esd圖形建模能力的不足,提出了「 n中取k門」 、 「順序門」 、 「可擴展門」以及「限制」等新的邏輯建模圖形符號,豐富完善了esd的建模元素;針對esd模型與產品結構關聯及規模控制方面的局限,提出了基於esd的層次化建模原理,使得可基於esd進行層次模塊化建模;針對esd與其它安全風險分析技術的綜合運用問題,分別討論研究了與故障樹分析技術、馬爾科夫狀態轉移圖集成的esd ft和esd m方法,提高了esd建模的靈活性;針對動態系統風險評價模型的求解問題,討論提出了運用esd求解動態概率風險評價問題的解析解或近似解析解方法,並予以了示例說明。Computer programs : refers to coded instructional sequences - or those symbol ic instructional sequences or numeric language sequences which can be automatically converted into coded instructional sequences - which are for the purpose of obtaining a certain result and which are operated on information processing equipment such as computers
(一)計算機程序:指為了得到某種結果而可以由計算機等具有信息處理能力的裝置執行的代碼化指令序列,或者可被自動轉換成代碼化指令序列的符號化指令序列或者符號化語句序列。Computer program shall mean a sequence of code - based instructions that can be executed by such devices having information processing capacity as computer for achieving a certain result, or a sequence of symbol - based instructions or expressions that can be automatically converted into a sequence of code - based instructions
(一)計算機程序,是指為了得到某種結果而可以由計算機等具有信息處理能力的裝置執行的代碼化指令序列,或者可以被自動轉換成代碼化指令序列的符號化指令序列或者符號化語句序列。Translation, as one of the crosscultural activities, is not only the change of languages, but also a mode shift in cultural information
摘要作為跨文化交際活動的翻譯不僅是語言符號的轉換,而且是一種文化信息的轉換模式。Flags, cast as an unsigned integer value, representing just - in - time compiler options, longevity, whether an assembly is retargetable, and whether it has a full or tokenized public key
標志(被強制轉換為無符號整數值)的按位組合,表示實時( jit )編譯器選項、壽命、程序集是否可重定目標以及是否有完整或已標記化的公鑰。By using the solutions of a new auxiliary elliptic equation, a direct algebraic method is proposed to construct the exact solutions of some nonlinear evolution equations. the main difference between this method and previous auxiliary elliptic equation methods is that the balance order becomes smaller after using the new auxiliary elliptic equation. therefore, the derived algebraic equations are greatly simplified. meanwhile, the obtained new solutions contain more parameters to be chosen. for some special cases, they give the previous known solutions. it is shown that some new exact periodic solutions of some nonlinear evolution equations are explicitly obtained with the aid of symbolic computation
利用一個新的輔助橢圓方程將求解非線性發展方程精確解的問題轉化為一個代數方程組進行求解,與已有的輔助橢圓方程法的主要不同是,應用這一新的輔助橢圓方程后降低了平衡次數,減少了所得的代數方程組的個數和方程的項數,從而大大地簡化了代數方程組的求解.同時,由於輔助橢圓方程的解中包含了更多的可選參數,從而給出了非線性發展方程的更多形式的解.作為應用,藉助于計算機的符號計算,求得了一些非線性發展方程的新的精確周期解Finally, we study the ( 2 + l ) - dimension nonlinear dispersive long wave equation skillfully, we find the self - transformation between the two equations and turn the ( 2 + l ) - dimension nonlinear dispersive long wave equation into a simple ( 2 + l ) - dimension pde. then, with the homogeneous balance method we obtain the hopf - cole transformation between the ( 2 + l ) - dimension pde and the heat equation. through it, we obtain abundant exact solutions of the ( 2 + l ) - dimension nonlinear dispersive long wave equation with the matlab, including the multi - solitary wave solutions
) : = 0 . ( 2 )巧妙的發現了( 1 )與( 2 )之間的自變換,將這個方程組轉化為一個簡單的偏微分方程,並利用齊次平衡法得到了此方程與熱傳導方程之間二維形式的物pf - cofe變換,從而藉助m胡ab的符號運算得到了2 + l維非線性色散長波方程包括多孤子解在內的多種新精確解。Many late qing intellectuals appropriated this symbolic figure and, through a set of discursive strategies of " framing, voice and narrative structure, " transformed him into a privileged symbol for modern chinese national identity
黃帝,在晚清中國,便是在此需求下,經由一套特定的框架、聲音與敘事結構所構成的論述策略,被奪? 、轉化成為中華民族的始祖,為二十世紀中國的國族認同提供了一個明確的文化符號。分享友人