語義運算元 的英文怎麼說
中文拼音 [yǔyìyùnsuànyuán]
語義運算元
英文
semantic operator- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 運 : Ⅰ動詞1 (物體位置不斷變化) move; revolve 2 (搬運; 運輸) carry; transport 3 (運用) use; wield...
- 算 : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
- 語義 : semanteme; semantics
- 運算 : [數學] operation; arithmetic; operating
-
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進程代數描述語言,對于動作精化,我們同樣採用運算元的觀點,將動作精化定義為一個操作運算元。Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分:關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp ( x )中引進時態運算元e (曾經) 、 f (將會)及其對偶運算元h (曾經總是) 、 g (將會總是) ,提出了以時軸為語境的格值時態命題邏輯系統ltp ( x ) ,並給出其具體的語義解釋和語法結構,並討論了它的一些性質,證明了該系統的可靠性和協調性。Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method
本文在格值命題邏輯系統lp ( x )和格值一階邏輯系統lf ( x )的基礎上,討論了廣義格值模態邏輯系統的語義及語法性質,並對其-歸結原理做了初步探討,主要在下述三個方面取得了研究成果:第一部分:關于格值模態命題邏輯系統及其歸結方法的研究在此部分,把模態運算元n (必然)和p (可能)引入格值命題邏輯系統lp ( x ) ,建立了新的格值模態命題邏輯系統lmp ( x ) ,並研究了它的語義刻畫及語法結構,證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的;在此基礎上,進一步研究了基於格值模態命題邏輯系統lmp ( x )的-歸結原理,給出了計算-直接歸結式和-自歸結式的規則,並總結出具體的歸結方法。Firstly, having analyzed the present research situation on agricultural climate resources by gis at home and abroad, this thesis illustrates the importance of establishing agricultural climate resources information system. secondly, basing on developmental and integrative environment of arc view gis software, as well as developmental languages ( avenue and vb ), we design agricultural climate resources information system in fujian province with friendly and practical graphic user interface, together with comparatively perfect functions. finally, supported by fjacris, based on fujian province fundamental geographic data and agricultural climate resources database on 71 weather stations, relied on mathematic analysis techniques ( such as multiple statistical analysis, fuzzy mathematics etc ), a group of models are established to reckon the agricultural climate resources on small grids 41 indexes of agricultural climate resources are reckoned to the small grids that are 0. 004 longitude multiplied by 0. 004 latitude
本文首先通過對國內外運用gis進行農業氣候資源研究的現狀的分析,闡明了建立農業氣候資源信息系統的重要意義:接著以arcviewgis為軟體開發集成環境,並以avenue和vb為開發語言,進行了福建省農業氣候資源信息系統的設計和開發,設計出友好、實用的用戶界面,開發出較為完善的系統功能;最後在該系統的支持下,以福建省基礎地理數據和71個氣象臺站的農業氣候資源數據庫為數據源,應用多元統計、模糊數學等數學分析技術,構建了農業氣候資源的小網格推算模型,將福建省農業氣候資源的41個有關指標推算至0 . 004經度0 . 004緯度的地表網格單元上,全面地揭示了全省農業氣候資源的空間分佈規律,並在此基礎上完成了比較細致、精確和可靠的農業氣候系統功能的模糊綜合評價,以及綜合農業氣候區劃和專題農業氣候區劃。Firstly, it introduces the development of speech coding, along with the significance of the low bit rate speech coding. it also compares the model of traditional dualistic excitation lpc vocoder and the multi - band excitation vocoder, and lucubrates the analytical method of frequency domain and time domain in the parameter extraction of multi - band excitation vocoding. secondly, based on the parameter extraction operation of keynote cycle, it adopts time domain in rough estimate operation of keynote and frequency domain in fine estimate operation of keynote, in according to the immediacy required in practice, to minish operation amount
本文闡述了一種基於fpga的多帶激勵語音編碼器的研究與設計,首先介紹語音編碼研究的發展狀況以及低速率語音編碼研究的意義,接著對比分析了傳統二元激勵lpc聲碼器模型和多帶激勵編碼器模型,並深入研究了多帶激勵語音編碼參數提取的頻域和時域分析法,然後根據實際應用的實時性要求,為了減小運算量,在基音周期參數的提取的演算法實現上,本文採用在時域進行基音粗估運算,在頻域進行基音精細估計運算。In this paper, a generalized hybrid finite strip method is deduded for analyzing the shear lag effect in box girders. it has the advantage of the generalized finite strip method and hybrid stress element. shear lag effect in thin - walled box girder is analyzed with this method and stiffness matrix of generalized hybrid finite strip element is deduced. a calculating program for thin - walled box girder " s generalized hybrid finite strip method is compiled with fortran language and performed in visual fortran environment of pc computer. a typical example demonstrates that the proposed method has higher accuracy and efficiency, is suitable for analysis of shear lag effect in box girders
本文結合應力雜交元法和廣義有限條法導出一種用來分析箱梁剪力滯效應的廣義應力雜交有限條法,它兼有應力雜交元和有限條法的優點。運用這種方法對薄壁箱形梁的剪力滯效應進行了分析,推導出廣義應力雜交有限條元的單元剛度矩陣,用fortran - 77語言編寫薄壁箱形梁廣義雜交有限條法程序( hfsbg . for )在visualfortran環境下運行。具體算例的數值結果表明:廣義應力雜交有限條法用於計算箱形梁的應力分析具有很好的精度和效率,適合於分析箱形梁的剪力滯效應。Most of the important regular expression language operators are unescaped single characters
大多數重要的正則表達式語言運算符都是非轉義的單個字元。分享友人