結構描述文法 的英文怎麼說

中文拼音 [jiēgòumiáoshùwén]
結構描述文法 英文
structural description grammar
  • : 結動詞(長出果實或種子) 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
  • : Ⅰ名詞1 (字) character; script; writing 2 (文字) language 3 (文章) literary composition; wri...
  • : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
  • 結構 : 1 (各組成部分的搭配形式) structure; composition; construction; formation; constitution; fabric;...
  • 描述 : describe; represent
  • 文法 : grammar文法學 grammar
  1. This thesis analyzes the mutual, complemental and fit relationship between technology 、 the corporate supply chain and organizational structure of a corporation in a comparably systematic and complete way based on the mode of integrated management by reviewing, analyzing and summarizing relative references. based on practical definitions of the concepts and variables appearing in the analysis of the relationship, investigative papers have been designed and possible development situations of technology 、 the corporate supply chain and organizational structure of different enterprises have been described in the way of determining the nature. by the statistics and analyses of the investigative papers, relativity, with the method of multi - linearity - regress analysis, and by investigating enterprises " performance in different dimensions and establishing a math mode of the relationship between

    在企業一體化管理模式的基礎上,通過獻資料對相關獻進行回顧和總分析,較系統和全面地論了企業技術與組織、組織和供應鏈之間存在的互動、互補和匹配關系,對這一關系中的概念和變量進行操作化定義,設計出三者對應的指標體系的調查問卷,定性在不同企業的技術、組織和供應鏈的發展狀況,通過對調查所得問卷進行統計分析,運用相關性分析和多元線性回歸分析等方,實證調查企業在不同維度狀態下的績效,建立企業技術、組織、供應鏈與企業的績效之間關系的數學模型,證明企業技術、組織、供應鏈和企業績效存在一定的相關性,企業技術、組織和供應鏈三者之間的匹配關系可以影響和預測企業的績效,只有當企業的各影響因素之間相互匹配的時候,企業整體運做的效率和效果將最好。
  2. Neural network control is an important mode of intelligent control, and it is widely used in branches of control science, first, the architecture and the learning rule ( error back propagation algorithm ) of multiplayered neural network which is widely used in control system are presentedo especially, the paper refers to the architecture of diagonal recurrent neural network and its learning algorithm - - - - - recurrent prediction error algorithm because of its faster convergence with low computing costo next, before introducing the neural network control to the double close loop dc driver system, the controllers of current and velocity loop are designed using engineering design approach after analysis of the system, simulation models of the system are created

    神經網路控制是智能控制的重要方式之一,它廣泛應用於自動控制學科各個領域。本首先敘了控制系統中常用的多層前饋網路及演算( bp演算) ,特別提及了能夠較好系統動態性能的對角遞歸神經網路和在用遞推預報誤差演算訓練drnn時取得了較快的收斂速度。其次,應用工程方分析設計了tf - 1350糖分離機的電流、轉速雙閉環直流調速系統的控制器,作為引入神經網路控制的設計基礎,並建立了系統的模擬模型。
  3. Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems

    動態模糊邏輯( dfl )的研究已有十年的時間了,目前已取得了一系列研究成果,為了進一步拓展這些研究成果的應用,本借鑒dijkstra的監督命令程序,通過化操作語義從軟體理論方面進行研究,提出了動態模糊邏輯程序設計語言( dflprogramminglanguage )的操作語義模型,以期形成解決動態模糊性問題的程序設計方
  4. 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的軟體過程模型,討論了軟體體系語言和客戶服務器模型以及設計模式應用方,闡了設計模式與架和件的關系;接著討論了工作流管理系統設計思想以及工作流管理系統的體系,提出了工作流技術與采購物流管理軟體合的應用模型,並闡了工作流建模方;然後研究了基於工作流的采購物流管理模型,抽象領域需求框架並建立領域分析模型;進而進行相應的領域設計,建立采購物流管理軟體類模型和動態交互模型,採用設計模式和三層架進行優化設計;最後給出軟體的架與件的模型實現。
  5. In this paper, the hal - c conception is studied according to the project requirements, and describes the functions of the hal - c in software waveform implementation. then the issues implementing the hal - c on the specialized hardware processor are addressed, and the methods of managing the components on fpga and dsp by proxy components with the domain descriptor file and the configuration table are brought out. in the end, the validity of the proposed methods is tested

    以sca體系驗證實現項目為背景,深入研究了sca專用硬體補充規范,重點分析了硬體抽象層連接的意義以及它在波形組件開發中的作用,提出了它在dsp / fpga上實現的方、步驟;接著從sca波形應用的角度了硬體抽象層連接在波形開發中的作用,給出了代理組件如何通過域件和配置表管理專用硬體處理器上演算組件的方;最後對dsp / fpga上的硬體抽象層連接進行了驗證性測試。
  6. Then, based on real - time operation system ertos and architecture put forward above, a dual fault - tolerant system is realized. furthermore, this thesis discusses the theoretical foundation, model structure, composing form and evaluation in detail, investigates the architectures of three computer fault - tolerant systems, such as triple modular admixture redundancy system,

    此外,論對計算機容錯系統的理論基礎、模型、組成方以及評價過程作了詳細的論,並具體針對三模混合冗餘、帶熱備份的雙機系統和本設計的雙機容錯系統,用馬爾可夫模型進行和可靠度模擬。
  7. 2 ) through many numeral experiment, using the crack face ' s slant angle and azimuth angle as parameters, we found some relations between three - dimension fractal parameters and two - dimension fractal parameters in rock mass : ds = ( 1. 0 + 0. 031 ) * dl + ( 1. 0 + 0. 0395 ), ns = nl, v = 1. 5986 * ( 2 - dl ) - 3. 2935 * sin ( st ) + 3. 8263, and found a way to speculate three - dimension fractal parameters from two - dimension fractal parameters. lt is the foundation to describe the distribution laws of crack face in rock mass by the observing results through rock mass section crack, 3 ) this paper constructed the three - dimensional fractal emulation theoretical system and erected three - dimensional fractal emulation model about crack face in rock mass 4 ) a emulation system about crack face in rock mass is developed by vc + +, it includes the function to get section plane chart and section block chart from three - dimensional network chart automatically, and some of the emulation examples is given

    2 )通過大量數值試驗,以巖體裂縫面的傾角與方位角為紐帶,分析得出了巖體裂縫面數量三維分形分佈參數和巖體裂縫跡線二維分形分佈參數的關系: d _ s = ( 1 . 0 0 . 031 ) * d _ l + 1 . 0 0 . 0395 , n _ s = * n _ 1 , = 1 . 5986 * ( 2 - d _ l ) - 3 . 2935 * sin ( st ) + 3 . 8263並提出了由二維分形幾何參數來推導三維分形幾何參數的方。為通過巖體剖面裂縫直接觀測果,巖體裂縫面分佈規律奠定了基礎。 3 )本建了巖體裂縫面的三維模擬理論體系,建立了巖太原理二大學周眨d二研究生學位論體裂縫面的三維分形模擬模型。
  8. 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建立軟體模型
  9. 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之間的雙向轉換問題的研究,通過研究二者之間的轉換,實現將基於時序邏輯的形式化方與面向對象的可視化建模語言相軟體體系,來探討如何將形式化方應用於實際的軟體開發過程中,這樣不但能促進對當前軟體主流技術的研究,而且能促進對形式化開發方的研究。
  10. 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等關鍵性質的計算方面。
  11. 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建立軟體模型。
  12. One is based on the stroke glyph, the other is based on outline contour profile. some mathematic problems about vector graphics in the plane are studied, and a concrete arithmetic is educed either. based on the algorithms, the toolpath planning of outline contour glyph data structures can be worked out

    根據軌跡規劃的需要,論接著討論了平面內有關矢量圖形運算的數學問題,得出了某些特徵判據具體演算;藉助于這些基本演算,對由整體外形輪廓字模成的漢字,探討了基於給定數據的矢量字模的(雕刻機)走刀路線規劃方
  13. At first, this article establishes the reference coordinate system and the moving axes, gives the system description method of the parallel robot under these two coordinate systems, and defines the structure parameter of the parallel robot

    首先,本建立參考坐標系和運動坐標系,給出並聯機器人在這兩個坐標系下的系統,並且定義了並聯機器人的參數。
  14. This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic. it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development

    通過將面向對象的可視化建模語言與基於時序邏輯的形式化方合起來軟體體系,對軟體體系研究、 uml形式語義研究和形式化方在軟體開發中的應用等方面都有一定的推動作用。
  15. In the motion detection a method which is based on time and space is used for it can detect harmful invade object in spite of surroundings inteferre. in addition, after got the image of objects, the rectangle frame technique is used to fill the hole. in my design another part is multi - objects image tracking which is a new technique and it integrates image processing, automatic control and computer science. this technique can automatically acquire objects from image signal, get objects " position information then track them with the aid of dome

    中提出了若干有價值的新思想、新方,完成了以下內容:首先,提出了數字視頻監控的功能了數字監控系統的組成、特點和發展現狀;然後研究了適合於跟蹤監控的攝像機坐標系,提出了一種雙角度攝像機坐標以適合本系統的實際應用;討論現場圖像的預處理,其中包括灰度級變換、噪聲濾波和圖像恢復;在運動監測中,比較了幾種常用的運動檢測方的優缺點,提出了一種基於時域和空間域的圖像檢測方;另外,在得到運動物體的圖像時,採用矩形框技術填充由於差分圖像造成的孔洞,此方簡單可靠,有較大的實用性。
  16. The thesis analyses and parses openoffice. org document from text classification viewpoint, depicts the methods of extracting content, formatting, structure and descriptive information, which are most related to classification, from openoffice. org documents, and then constructs three different classification models for openoffice. org documents, respectively called label components classifier, structure components classifier and comprehensive classifier. the thesis implements these three classifiers through na ? ve bayes

    從面向分類的角度深入地分析了openoffice . org檔,了從檔中抽取與分類最相關的內容和格式、以及信息的方建了標簽組件組件和綜合三種不同的本分類模型,最後用樸素貝葉斯方實現了openoffcice . org檔的三種分類器。
  17. Based on these, this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2. 0 and xyz / adl. in this paper, the disadvantage of several main methods of software architectural description is analysed, the advantage of uml 2. 0 compared with uml 1. x in the software architecture description is analysed, the corresponding relationship between uml 2. 0 and xyz / adl in the architectural description is given and uml 2. 0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine uml 2. 0 and xyz / adl through defining the semantics of xyz / e for uml 2. 0 is composed. in order to realize this method, the formal semantics of uml 2. 0 sequence diagram and state diagram based on xyz / e are defined. in final, the arcitectural description of a simple dask manager system which uses our method is given

    分析和比較了當前國內外常用的軟體體系,指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟體體系方面的優勢,確定了用uml2 . 0軟體體系概念元素所使用的相關模型元素,給出了uml2 . 0與xyz / adl在體系中的元素對應關系;提出了一種通過定義uml2 . 0相關視圖的xyz / e語義,把uml2 . 0與xyz / adl合起來軟體體系的新方,並分別定義了uml2 . 0的順序圖和狀態圖的xyz / e時序邏輯語義;最後通過對一個簡單的任務管理系統的體系進行,把本提出的合思想運用到實例系統的當中。
  18. In order to detect the edge contours of the object in images, several edge detectors are firstly introduced and we make a comparison of them in performance. a method for fitting a two - dimensional curve based on slopes of the curve is also shown

    從圖像序列中檢測運動目標並估計其三維運動和,首先要從圖像邊緣提取開始,本先對幾種常用邊緣檢測運算元性能進行綜合比較,接著闡了一種基於邊界斜率的二維曲線形狀
  19. The paper brings out a method of model description which based on web after researching the meta - data of simulation model, and it points out the methods of model storage and management of model in hla after analyzing the technologies of model storing, management and version management. after that, this paper designs the framework of simulation model - base system based on web using technique of xml, database and web. it realizes some functions of the system, such as model storing, model searching, model deleting, model downloading, user managing, system maintenance, information releasing and so on

    從重用的角度研究了hla聯邦開發過程中的模型,首次對hla聯邦開發過程中所涉及的模擬模型進行了系統的分類;在深入研究模擬模型元數據的基礎上,提出了基於xml的模擬模型;論在分析、歸納模型存儲、模型管理、版本管理等技術的基礎上,提出了hla中模擬模型存儲、管理的方;由此綜合應用xml技術、數據庫和web等技術,設計了基於web模擬模型庫系統的框架,實現了模型存儲、查詢、刪除、信息查看、下載使用及用戶管理、系統維護、信息發布等功能;並實現了與kd - hla平臺中相關工具的集成,為分佈模擬進一步發展,如模擬網格的研究奠定了基礎。
  20. The schema, which described the text structure of operation document, is realized by atn. the rules in the sentence aggregation are described in the production way. sentence structure classes and resource trees are adopted to depict syntax structure of sentences, which have similar semanteme

    利用schema,並用atn來實現schema ;用產生式方優化聚合規則,用句子類和資源樹語義與句子的對應關系以及用復雜特徵集規則和詞匯。
分享友人