無形式語言 的英文怎麼說
中文拼音 [wúxíngshìyǔyán]
無形式語言
英文
formless language- 無 : 無Ⅰ動詞(沒有) not have; there is not; be without Ⅱ名詞1 (沒有) nothing; nil 2 (姓氏) a surn...
- 式 : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
- 語 : 語動詞[書面語] (告訴) tell; inform
- 言 : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
- 語言 : language
-
Lfc is yet another functional programming language which has many characteristics, such as good mathematics basis, reference transparency, no side effect, pattern matching, etc. in theory, an algorithm of enumerating sentences of cfg is presented
本文工作主要是研究形式規約語言lfc的實現和應用,另外還包括一個上下文無關語言句子枚舉演算法。在理論方面,提出了一個上下文無關語言句子枚舉演算法。Consequently, lots of chapters are consisted of " scripture ", " biography ", and " note " ; the forming of these documents is a dynamic process of development. the editing of yizhoushu underwent the following stages : it was edited for the first time during pre - qin period, proofread and supplemented by liuxiang and his son in han dynasty, and the further rectification and reorganization was in jin dynasty. in the course of circulation and development, some chapters had circulated in single pamphlet, which were augmented and interpreted by the descendants and then were compiled again in this book, some have been lost after having been separated
有些篇章是西周文獻,其語言特點表現在語氣詞「哉」出現的頻率較高,且功能具有多樣性;第一人稱代詞有「予」而無「余」 ,不用第二人稱代詞「而」 ;不用句末語氣詞「也」 、 「焉」 、 「乎」 、等;沒有疑問代詞「孰」 、 「安」 、 「奚」 、 「惡」等;沒有「者,也」的判斷句形式;沒有明顯形態標志的反問句式;少用或不用四字韻語。This paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology. according to requirement of the interlocking software " s reliability and safety. considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system
本論文針對合肥工大微型計算機應用研究所研究開發的hj04a鐵路信號計算機聯鎖系統,根據計算機聯鎖系統聯鎖軟體設計可靠性和安全性要求,從軟體的需求分析著手,綜合uml統一建模語言方法和形式化描述語言z語言的方法,設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。Just as jameson ' s theory of the political unconscious provides an allegorical model of reading of texts, so de man ' s linguistics of literariness persistently performs a political reading of ideology
正如詹姆遜的政治無意識理論提供了一種寓言閱讀模式,德曼的文學語言學對意識形態總是作出不懈的政治解讀。Thirdly, it is supported by java technology. java language is not only a right programming language to build agent, but also it has some characters such as architecture neutral and higher safety, running java applet, program can increase the functions of the client, lighten the burden on the server, as well as can operate the client contents according to the privilege assigned, and in order to increase the safety of system. finally, in the thesis, by using the knowledge related probability and statistics, author puts forward a kind of method which can make the grade mark quantifying, and with this method, the problem which is how to get an accurate evaluation for the subjective test questions that learners answer in exam, is solved primely
本文針對以上缺點,提出基於agent的個性化遠程教學系統,本系統中引入分散式人工智慧( dai )領域中的agent技術,在系統中構造一個學習者agent ,它隨時跟蹤學習者的學習過程,記錄其興趣、愛好等個性特徵,並適時地調整對其採用的教學策略,有效地解決了目前的系統智能性較低的缺點;其次,本系統採用xml技術來組織教學內容,改變了html中內容和形式捆綁在一起的缺點,使得內容和形式相分離,從而可以為太原理工大學碩士學位論文不同認知水平的學習者提供不同的教學內容,增強了交互功能;另外,本系統採用java技術, java語言不僅適合作為agent的開發語言,而且java語言具有平臺無關和安全性高的特點,通過運行javaapplet來增強客戶端的功能,減輕服務器端負擔,並且這些appiet根據客戶賦予的權限對客戶端內容進行操作,增加了安全性;最後,本文運用概率論與數理統計學中方法,提出一種把等級成績數量化的方法,很好地解決了對學習者考試中主觀題的準確評價問題,為實現個性化教學提供了一個較準確的依據。Its pre - classical form of vedic sanskrit, the liturgical language of the vedic religion, is one of the earliest attested members of the indo - european language family, its most ancient text being the rigveda
吠陀梵語的古典前期形式,吠陀宗教的禮拜語言,是經驗證無誤的最早印歐語系家族成員之一,最古老的梵語文獻就是梨俱吠陀。All of the algorithms which are currently used, such as artificial intelligence method, rule algorithm, statistical algorithms, can ' t be successful on processing natural languages in various forms
目前常用的人工智慧方法、規則演算法和統計演算法,都無法成功地處理形式千變萬化的自然語言。Huang wenji ( computer software & theory ) directed by dong yunmei the implementation and application of formal specification language lfc are studied in this thesis
Lfc是以上下文無關語言上的遞歸函數( cfrf )理論為基礎的形式規約語言,能較好地支持形式規約的獲取和檢驗。The expression language for the unified modeling language ; it has the characteristics of a pure expression language cannot change anything in the model, a modeling language all implementation issues are out of scope and cannot be expressed, and a formal language all constructs have a formally defined meaning
統一建模語言( uml )的表達語言;它具有純表達語言(不能更改模型中的任何東西) 、建模語言(所有實現問題均超出范圍並無法表達)和形式語言(所有構造都有形式定義的意義)的特徵。Although the software specification described using natural language is easy to write and understand, its validity, integrality, non - ambiguity, consistency are hard to guarantee. the process of verification can only be done by manpower which is not normative and not rigorous. and the complexity of a lot of software has made it impossible to check the specifications artificially
需求規格說明是需求分析階段的產品,我們通常採用的是未使用任何限制非形式化的自然語言進行描述,這種自然語言書寫的需求說明,雖然易於理解和使用,但難以保證其正確性、完整性、無二義性、一致性,驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查,稍微復雜一些軟體的需求規格說明的檢查,實際上已經超出了人工檢查的能力。Common pd in signal language learning mainly showed in the following : ca n ' t understand the objects the mathematics signals represent ; scare of extensive cognition to the mathematics objects which mathematics signals represent. do n ' t understand the meaning expressed by signal language. the same signal forms can express different meanings, and different signal forms can express the same meaning, if student separate signal language from its maths meaning contained in it, the ml they mastered is a kind of signal game without any meaning ; not mastering various forms of signal language ( signal language has many equal forms ) or only mastering one kind or several kinds forms, the cognition to signals are not enough
符號語言學習的常見心理偏差主要表現存不能理解數學符號代表的對象,缺乏對數學符號所表示的數學對象的廣泛性的認識;不明白符號語言表達的含義,如果將符號語言與所表達的數學含義相脫離,學生所掌握的數學語言就是毫無意義的符號游戲;掌握不了符號語言的各種變化形式,符號語言有許多的等價形式,如果只是掌握其中的一種或幾種形式,對它的認識將不夠充分。Causal relations of various kinds are a pervasive feature of human language and theorising about the world
在人類使用的語言和人們對客觀世界的形式化描述中,不同種類的因果關系無所不在。Web service is based on entirely open standards and can be considered as the component development mode grounded on internet. by providing a kind of platform independent, language independents data format independent web access interface, it composes the business enterprise solution supporting different system platform, data format and program language under the environment of network
Web服務建立在完全開放的標準之上,可以被認為是基於internet的組件開發模型,通過提供一種平臺無關、語言無關、數據格式無關的web訪問介面,形成了一種在網路環境下,支持不同的系統平臺、數據格式和編程語言的企業解決方案。They can be expressed as ordered vectors, unordered groups, linked lists, trees, graphs or other forms that the programming language supports
它們可以表示為有序的向量、無序的組、鏈表、樹、圖或編程語言支持的其他形式。Nowadays, 99 % web site organize their information to web paper by html which is a semi structure format, and provides no semantic, and data organized by it can not be understand by computer, so computer can not analyze those data - in order to help people to find the information they want, some filter systems based on keywords appears. and those systems have became a indispensable part of the filter techniche. on the base of researching those systems, we provide a arithmetic based on qa
現在, 99的web站點的格式都是採用html這種半結構化的數據格式來表示,而html標記語言缺乏對語義的支持,無法讓計算機理解信息所蘊涵的語義,從而也無法從這些數據中分析出隱含的信息。為了幫助用戶從基於html的文檔中查找有用信息,出現了很多基於關鍵詞的過濾系統,另一方面,形成了面向網際網路的過濾技術中不可或缺的一部分。Bill venners : r nare there parts of contracts that are difficult or impossible to r nexpress in a formal language, that you can only express in a human r nlanguage
在形式語言里,契約的某些部分是否難以或者無法表達,而只能通過人類語言來表述?Moreover, we present an intermediate representation for parsing tree of cfl sentence that can be easily implemented and needs less space occupancy
此外,為上下文無關語言句子的分析樹設計了一種簡單表示形式,這種表示形式可以提高空間效率,並且易於實現。分享友人