结构描述 meaning in English
structural description
structured description
Examples
- Thirdly , the ookr model is extended as the ooktr with the component to describe the temporal knowledge , and then it forms the model of ootkr . moreover , the bnf semantics and structures of this model are given . furthermore , the prototype of the visualized management tool for temporal knowledge is shown on the base of the former work
三、在面向对象的知识表达模型结构中扩展了描述时态知识的部分，使之成为面向对象的时态知识表达模型，进而给出了bnf语法和结构描述，并提出了时态知识可视化管理的原型。 - 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等关键性质的计算方面。 - According to the function of the chip the system is separated into two modules , the core and the periphery logic . thereinto , the core module is divided into port a module , port b module , port c module and control module . each bottom module is described by rtl ( registers transfer language ) and whole module is completed by the graphics input method of max + plus
设计采用vhdl的结构描述风格，依据芯片功能将系统划分为内核和外围逻辑两大模块，其中内核模块又分为porta 、 portb 、 portc和control模块，每个底层模块采用rtl ( registerstransferlanguage )级描述，整体生成采用max + plus的图形输入法。 - 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结合问题的研究成为目前软件体系结构描述领域的热点。 - 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两者之间的区别与联系；然后构建了一阶语言系统，并在其中定义了状态描述、结构描述、量程等重要概念与定理，以便使在考察归纳逻辑前提与结论时，能在该系统中根据确切的规则进行准确的分析。