結構描述語言 的英文怎麼說
中文拼音 [jiēgòumiáoshùyǔyán]
結構描述語言
英文
structural description language- 結 : 結動詞(長出果實或種子) bear (fruit); form (seed)
- 構 : Ⅰ動詞1 (構造; 組合) construct; form; compose 2 (結成) fabricate; make up 3 (建造; 架屋) bui...
- 描 : 動詞1. (照底樣畫) copy; depict; trace 2. (在原來顏色淡或需改正之處重復塗抹) retouch; touch up
- 述 : Ⅰ動詞(陳說; 敘述) state; relate; narrate Ⅱ名詞(姓氏) a surname
- 語 : 語動詞[書面語] (告訴) tell; inform
- 言 : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
- 結構 : 1 (各組成部分的搭配形式) structure; composition; construction; formation; constitution; fabric;...
- 描述 : describe; represent
- 語言 : language
-
This paper sets up the business mode system which is dominant by bpr in terms of the methodology of object - oriented, and this business mode system is composted by several granularity level model from crassitude to fine, and is described by the unified modeling language ( uml ). bi the aspect of drcmis developing process methodology, both the conception of domain - specific software architecture ( dss a ) and component technology are play important role leave each other from macrocosm to microcosm angle of view
該模型體系的建立具有以下基本特徵:以適應bpr為主導,以面向對象的分析與設計為基本建模方法,以uml為模型描述語言,以特定領域軟體體系結構( dssa )概念為整體開發方法,以組件為「應用工程」開發過程中應用域的主要劃分單位,以corba作為分佈對象的集成標準。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進程代數描述語言,對于動作精化,我們同樣採用運算元的觀點,將動作精化定義為一個操作運算元。Main characteristics include object - oriented language core, interfaces between vera core and hdl implemented by interface definition and port variables, complex concurrency control implemented by programming construction ( fork / join ) and data structures ( event, mailbox and semaphore, etc ). all these help vera successfully model hardware properties
主要的特點是:面向對象的語言內核;通過界面定義和埠變量等實現了vera語言內核和硬體描述語言的介面;通過編程結構fork join和數據結構(事件、郵箱和旗語)來實現復雜的并行控制,實現對硬體特點的模擬。In this paper, using a top - down design scheme, the risc mcu ip core is divided into two parts : data path and control path. all the modules in the two parts are described by verilog hdl, a kind of hardware description language. the simulation and synthesis of the whole work are finished successfully with eda tools
本文對pic16c6x單片機系統結構、指令系統和系統時序進行了分析,並且在此基礎上對精簡指令集mcuip核進行頂層功能和結構的定義與劃分,建立了一個可行有效的riscmcuip核模型本文將mcuip核劃分為數據通道與控制通道兩部分,採用asic設計中的高層次設計方法,使用硬體描述語言veriloghdl對這兩部分的各功能模塊進行了設計描述;利用多種eda工具對整個系統進行了模擬驗證與綜合。Furthermore this system uses snort rule language and fuzzy reasoning in the system. consequently, this system has low false alarm rate as well as low miss alarm rate. all these characters make this instrusion detection expert system have much more protecting capacity
此外,本系統將模糊推理和snort規則描述語言用於對入侵特徵的分析與識別,構建起基於誤用和基於異常相結合的入侵檢測系統,使系統的誤報率漏報率降低,而且數據分析更據實時性。Virtual ontology data source shields the detail of low - leveldatasource, andprovides aconsistentaccessinterfacefortopperusers. wediscussedthemethodof transforming relation database to virtual ontology data source ( which is also called databasedeep annotation ). we designed the database schema description language and mapping rulesdescriptionlanguage, andgavearesolventforrelationmodeling. at last, we bring out a framework of general natural language interface, and implement adatabasenaturallanguageinterface. makinguseofaspecificexample, wemadeanevaluationofthissystem
我們具體討論了從關系數據庫系統到虛擬本體數據源的轉換(也稱為數據庫深度註解) ,定義了關系數據庫的結構知識描述語言和通用的映射規則描述語言,給出了多元關系建模的解決方案。First the article introduces component - oriented software development method, presents ec - iscm model for software procedure, discusses the software architecture description language, c / s model and design pattern used methods, and expounds the relationship between design pattern and architecture and component ; then discusses the workflow ' s design philosophy and architecture, raises an applying model that integrates the purchasing management with workflow model, and expounds workflow modeling method ; then researches into a module of purchasing management based workflow, make the demand frame in abstraction region and set up a region model ; moreover expounds the region design, set up the purchasing management software model and dynamic interaction model ; then brings about the software architecture and components model. the purchasing management software development indicates that design pattern and software architecture philosophy have improve the software reusability. because of bringing in the workflow, this system realizes the purchasing process automation and the purchaseing process reorganization, and improves the enterprise purchase efficiency
文章首先介紹了面向構件的軟體開發方法,並給出了ec - iscm的軟體過程模型,討論了軟體體系結構描述語言和客戶服務器模型以及設計模式應用方法,闡述了設計模式與構架和構件的關系;接著討論了工作流管理系統設計思想以及工作流管理系統的體系結構,提出了工作流技術與采購物流管理軟體結合的應用模型,並闡述了工作流建模方法;然後研究了基於工作流的采購物流管理模型,抽象領域需求框架並建立領域分析模型;進而進行相應的領域設計,建立采購物流管理軟體類模型和動態交互模型,採用設計模式和三層構架進行優化設計;最後給出軟體的構架與構件的模型實現。Becausc of using the advanced dsp, popu1ar high speed pci bus and laxge scale fpga, using vhdl hardware descriptive language to design the interface logic, the level of designed hardware is to a certain degree
由於採用了先進的dsp處理晶元和結構、流行的高速總線pci總線、大規模fpga及vhdl硬體描述語言進行介面邏輯設計,使得本設計的整個系統具有相當的水平。Because of using the advanced dsp, popular high speed pci bus and large scale fpga, using vhdl hardware descriptive language to design the interface logic, the level of designed hardware is to a certain degree
由於採用了先進的dsp處理晶元和結構、流行的高速總線pci總線、大規模fpga及vhdl硬體描述語言進行介面邏輯設計,使得整個系統具有相當高的數據處理能力。In our paper, we describe design pattern formally at first. secondly, we organized the describe of design pattern and frequently - reused solution effectively, and store all of them in the relation - database
本論文對disco語言擴充了設計模式靜態結構方面和行為語義方面的描述,提出了一種新的模式形式化描述技術? ?擴展的disco形式化描述語言。It defines language to describe strings, variable - length arrays, and similar structures
它定義了描述字元串、變長數組以及類似的結構體的語言。Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper. firstly, some basical and important concepts are explained such as confirmation and degree of confirmation, probability1 and probability2. in carnap ' s opinion, the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true, but confirmation means it be true nowerdays. then carnap analyzed the distinction and relationship between probabilityi and probability2
他認為,證實是決定性地最後為真,而確證只是現階段得到確定,並不保證以後也確定為真;繼而分析了概率1與概率2兩者之間的區別與聯系;然後構建了一階語言系統,並在其中定義了狀態描述、結構描述、量程等重要概念與定理,以便使在考察歸納邏輯前提與結論時,能在該系統中根據確切的規則進行準確的分析。Firstly, an architecture description language suitable for multi - agents system, ma adl, has been proposed, which based on csp formalism
首先,提出了一種適合多agent系統的軟體體系結構描述語言maadl 。Because many existing architectural description languages lack specification of dynamic interaction on architectural level, which makes modeling the adaptive software system insufficient, i use the pi calculus to formalize the adaptive software architecture
針對適應性軟體系統的體系結構採用已有的體系結構描述語言存在的不足,本文中採用pi演算描述適應性軟體體系結構。Taking the research and development of integrated electronic commerce software gecis as background, this paper brings forward a framework model of form digital signature based on ssl protocol to provide higher security guarantee for ec. the whole task penetrates the developing process based on 3 - layer architecture. it uses architecture methods and technologies such as design pattern ect. moreover, it integrates uml and acme to establish software models
本文以集成電子商務軟體gecis開發項目為背景,構造一個基於ssl協議的表單數字簽名軟體構架模型,為電子商務提供更高安全保障.整個研製工作貫穿基於三層體系結構的構件化軟體開發過程,運用設計模式等軟體體系結構方法和技術,綜合使用統一建模語言uml和體系結構描述語言acme建立軟體模型So, in this paper, it does the research of the bidirectional conversion between uml and xyz / adl. in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture, and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method
基於此,本文開展了對基於時序邏輯的軟體體系結構描述語言xyz / adl和uml之間的雙向轉換問題的研究,通過研究二者之間的轉換,實現將基於時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟體體系結構,來探討如何將形式化方法應用於實際的軟體開發過程中,這樣不但能促進對當前軟體主流技術的研究,而且能促進對形式化開發方法的研究。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等關鍵性質的計算方面。Architecture description language adl is typical in formal description while in visual description uml is typical. their advantages are that adl can describe accurately and uml can describe intuitionistic, which are complement to each other. so a hotspot in software architecture description is to combining the two together
形式化描述嚴格精確,以軟體體系結構描述語言adl為代表;可視化描述清楚直觀,以uml為代表,兩者在描述軟體體系結構方面具有很強的互補性,於是對adl和uml結合問題的研究成為目前軟體體系結構描述領域的熱點。Based on research and development of integrated supply chain management ( iscm ), we adopt the process of component oriented software development, lay emphasis on the integrated modeling method of agent, petri net and acme, and research on the architecture model and component model of jit ( just in time ) software
在集成供應鏈管理系統開發的背景下,本文以jit軟體的研製為基礎,探討系統開發的過程、方法和工具等軟體工程問題。整個研製工作貫穿基於三層體系結構的構件化軟體開發過程,綜合使用統一建模語言uml 、 agent方法、 petri網方法和體系結構描述語言acme建立軟體模型。First, it introduces the network control center of beidou satellite and the beidou satellite locating navigational system, which are the background of design and implementation of web service, and the function and status of web service in system. then, it totally analysis the identity and structure of web service, and expound several technologies of web service : the first is xml which is the base technology, the second is wsdl which is the interface description language of service, the third is soap which is communication and message transferring of service, the fourth is uddi which is the description, discovery and integration of service
首先,對webservice的設計實現所在的系統背景? ?北斗衛星定位導航定位通信系統和民用網管中心進行簡要介紹,以及webservice在系統內的作用和地位;然後從總體上分析了webservice特性、體系結構,並闡述了幾種webservice的相關技術:第一,核心技術xml ;第二, web服務描述語言wsdl ;第三,服務組件的通訊和消息傳遞協議soap ;第四,服務組件的描述、發現和集成協議uddi 。分享友人