語言擴充性 的英文怎麼說
中文拼音 [yǔyánkuòchōngxìng]
語言擴充性
英文
language extensibility- 語 : 語動詞[書面語] (告訴) tell; inform
- 言 : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
- 擴 : 動詞(擴大) expand; enlarge; extend
- 充 : Ⅰ形容詞(滿; 充足) sufficient; full; ample Ⅱ動詞1 (裝滿; 塞住) fill; charge; stuff 2 (擔任; ...
- 性 : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
- 語言 : language
- 擴充 : expand; augment; enlarge; extend; strengthen
-
Uml is the convergence of best practices in the object - technology industry. and it is a rich ; precise, extensible modeling language for object - oriented system development and software developing automation environments. uml is the representation of excellent software engineering methodology which is approbatory in large - scale and complex modeling field
它涵蓋了面向對象的分析、設計和實現,融合了早期面向對象建模方法和各種建模語言的優點;為面向對象系統的開發、軟體自動化工具與環境提供了豐富的、嚴謹的、擴充性強的表達方式。We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中正規表達式的演算法;對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。He is the principal investigator on a darpa - sponsored grant for developing security extensions for standard programming languages
他是darpa贊助的開發標準程式設計語言安全性擴充的首席調研員。It is rich, clear, extensible and self - description. all the advantages make it the best candidate for representing data model
Xml的充足性、條理性、可擴展性和自描述性成為其作為數據模型描述語言的優勢。Additionally, in the analysis and design phases, the system modeling is accomplished by means of uml. in terms of the process of object - oriented analysis, object - oriented design, and object - oriented programming, the hierarchy analysis of simulation system is carried through based on oos ( object - oriented simulation ), and the simulation framework design is completed. some key problems brought by the expandability needs, are solved by using the class mechanism, inheritance mechanism, overloading mechanism and dynamic memory allocation such advanced technologies of c + + programming language
此外,運用uml統一建模語言對軟體進行分析與設計階段的系統建模,按照面向對象分析、面向對象設計、面向對象程序設計的步驟,進行了基於oos的模擬系統層次分析,完成了模擬框架設計,並且充分利用面向對象程序設計語言c + +的類機制、繼承機制、重載機制和動態內存分配等先進技術解決了軟體擴展性要求所帶來的幾個關鍵問題。The workshop on tools and algorithms for the construction and analysis of systems tacas 99, lncs, springer - verlag, 1999, 1579 : 193 - 207. 4 burch j r, clarke e m, mcmillan k l. symbolic model checking : 10 20 states and beyond. information and computation, rm 1992, 98 : 142 - 170
在這本文中,我們通過對kripke結構的合理擴充,提供了直接模型檢測dmc direct model checking的矩陣演算法,通過與體系結構描述語言adls的結合, dmc可以被直接應用在相容性consistency等關鍵性質的計算方面。It is a structural program design language, which not only has many advanced languages ? character but also owns assembly language ? function. compiling software with c language can decrease development cycle greatly and increase the efficiency and readability of program, which is convenient to improve and extend in order to develop bigger scale and better capability system
C - 51語言是一種結構化程序設計語言,它兼顧了多種高級語言的特點,並具備匯編語言的功能,用c語言編寫軟體,可以大大縮短開發周期提高效率,並且增加程序的可讀性,便於改進和擴充,從而研製出規模更大,性能更完備的系統。The one kind of improved fwt ( fast wavelet transform ) algorithm for a finite sequence is proposed after studying theory of multiresolution analysis and analyzing technical characteristics of dsp. the implementation of the periodic extension of the fwt on dsp is described in detail and the corresponding fwt assembly code is described for the dsp tms320c3x series
在充分研究多分辨分析理論和分析信號處理器技術特點的基礎上,針對dsptms320c3x的特點,提出了一種有限序列的fwt (快速小波變換)的改進演算法,詳細闡述了信號處理器上fwt的周期性擴展的實現問題,用dsptms320c3x匯編語言實現了改進的fwt演算法。The unified modeling language, provides system architects working on object analysis and design with one consistent language for specifying, visualizing, constructing and documenting software systems. uml is the convergence of best practices in the object technology industry. and it is a rich, precise, extensible modeling language for object oriented system development
Uml是用於描述、可視化和構架軟體系統以及商業建模的語言,它涵蓋面向對象的分析、設計和實現,融合了早期面向對象建模方法和各種建模語言的優點,為面向對象系統的開發提供了豐富的、嚴謹的、擴充性強的表達方式。Presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language ; incorporating the module with the core verification algorithm ; demonstrating the validation and analyzing the performance of the tool with some real - world examples
?擴充檢測問題的定義語言?腳本語言的格式,使用sml語言實現了腳本語言的編譯和擴展stga圖生成模塊,並將該模塊和檢測演算法核心連接,實現了整個工具。論文還結合應用實例證明了擴展工作的有效性並分析了工具的性能。This paper also established two kinds of expansion mode : structural inheritance and interface inheritance, which are called parallel expansion and additional expansion and are all based on character inheritance. through introducing the advantages of network calculation and great - volume storage, local cnc monitoring and diagnosis is expanded to lan, intranet and internet, and a multi - layer network activating monitoring and controlling model is established to realize the reasonable configuring and credible sharing of long - distance resources. to make re - development process more easy and friendly, a structural description language of cnc function character based on data library is designed for the target of inductive re - development mode
論文還提出了以基本cnc層+擴展cnc層為配置策略的開放式結構,通過區分平行擴展和補充擴展兩種形式,實現了開放cnc系統結構性繼承和介面性繼承的兩種新型擴展方案;探究將網路分佈計算和大容量存儲的技術優勢引入到現場監控應用中的具體方法,提出了本機監控、群控網路監控、企業車間監控和遠程監控為主體的四層監控診斷體系;獨創性地建立了一種網路分層激活的運轉機制,實現了網路資源的合理配置和可靠共享;建立了獨立的cnc系統二次開發環境,開創性地設計了一種以數控幾何工藝數據庫為基礎,以結構化的數控特徵語言描述為交互形式的引導型擴展配置方案。It has the property of some high language and has the thection of assembly language. the softwar ed c lang ' uage reduces the opening up period, and is read easily. and it is developed and increased easily so we can use c language to design the large scale system with - n ; satisfactory property
C - 51語言是一種結構化程序設計語言,它兼顧了多種高級語言的特點,並具備匯編語言的功能,用c語言編寫軟體,可以大大縮短開發周期提高效率,並且增加程序的可讀性,便於改進和擴充,從而研製出規模更大,性能更完備的系統。Going with the language tide of standardization and normalization, and based on " the phonetic distinctive feature database system of grade - rule for putonghua - standard - examination ", the paper, appreciating the experimental data and relevant theories of experimental phonetics and computer phonetic processing technology, designs a set of software system which is operable, extendable and applicable ( operational, extensive and practical ), with the goal of increasing the justice level of the examiner and the language level of the examinee. the paper also supplies an examine rule for the examiner and the examinee to make a precise understand about the sandra language examination
本文就是順應對語言的規范化、標準化的要求,在《普通話水平測試各等級標準語言特徵數據庫系統》的基礎上,利用實驗語音學、計算機語音處理技術的具體實驗數據和有關理論,設計出一套具有可操作性、可擴充性、實用性的軟體系統,以便提高測評員的公平性,提高應試人的普通話水平,讓測評員和被試者有據可依,準確理解和把握測試標準的尺度。We generalize the notion of information tables to ordered information tables by adding order relations on attribute values. a data analysis method is thus proposed to describe properties of ordered information tables. we define the concepts of reduct and core etc. by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules, designs the ordered decision logic language ( odl - language ), and gives a solution for mining ordering rules
從數據挖掘的角度考慮對象排序問題,通過引進屬性值上的有序關系,作者擴充了常見的屬性值方法,提出了有序信息表的形式化概念,進而提出了一個有序信息表上的數據分析方法,通過分析有序信息表中的屬性依賴,定義了有序信息表的約簡集和核的概念;作者還提出和形式化了有序信息表中挖掘有序規則的問題,設計了有序決策邏輯語言( odl ) ,並給出了一個挖掘有序規則的方法。分享友人