没有合适的资源?快使用搜索试试~ 我知道了~
理论计算机科学电子笔记148(2006)75-88www.elsevier.com/locate/entcs基于规则的设置中视觉模型的语义1Hans-JüorgKreowskia,2KarstenHoülscheraa,3PeterKnirscha,4aUniversitéatBremen,Fachbereich3Postfach 33 04 40D-28334 Bremen,Germany摘要在本文中,一些基本方面的语义规则为基础的系统勾勒和相关的语义视觉模型。基于规则的系统包括一组规则和一些控制条件,包括初始和终端配置的描述。在语义上,规则通过根据控制条件限制的规则应用来指定某种配置上的二元关系。由于可视化模型通常由图表、图形或类似的配置表示,因此可以采用基于规则的设置来为可视化模型提供语义。保留字:可视化语言,操作语义,图变换1引言传统的程序和规范被表示为具有某种语法结构的文本表达式和字符串它们的语义通常在操作上通过术语重写或状态转换来定义,或者在外延上作为映射到反映句法结构的语义域1研究部分由EC研究培训网络SegraVis(视觉建模技术的语法和语义集成)和德国研究基金会(DFG)支持,作为合作研究中心637自主库珀- ating物流过程的一部分-范式转变及其局限性。2 电子邮件地址:kreo@informatik.uni-bremen.de3 电子邮件地址:hoelscher@informatik.uni-bremen.de4电子邮件:knirsch@informa ti k. uni-bremenn. de1571-0661 © 2006由Elsevier B. V.出版,CC BY-NC-ND许可下开放获取。doi:10.1016/j.entcs.2005.12.01376H.- J. Kreowski等人理论计算机科学电子笔记148(2006)75近年来,随着UML和Petri网的广泛使用,除了文本描述之外,可视化模型在系统开发中变得非常流行可视化模型在语法上由图表、图形或某种类似的配置表示。虽然它们比文本描述更直观和更有启发性,但它们的含义必须固定,以避免误解和错误。与基于文本的建模语言一样,即使在原则上的可视化模型中,也存在操作语义和指称语义两种可能性与文本的情况相比,视觉模型的语义尚未系统地制定出来但是,人们在文献中遇到了一些试探性的建议他们中的许多人指出,图形,图表或其他类型的配置的转换可能会发挥类似的核心作用,在传统的文本模型中的术语重写在本文中,我们勾勒出基于规则的设置的语义潜力,因为它是由例如图变换的区域提供的本文的结构如下。下一节介绍规则的一般概念及其在配置中的应用第三节介绍了一种利用控制条件来调节规则应用过程的方法此外,在下一节中,将指定有效的初始和终端配置,以便进一步调整。到目前为止给出的框架,然后用来介绍不同种类的语义(即解释器语义,编译器语义和指称语义),以及模型转换,语言生成和识别。本文件最后提出了一些简短的结论意见。所有的主要思想和定义都使用一个结构良好的流程图的运行示例来演示2规则及其适用规则的目的是将它们应用于某种配置,如字符串、术语、图形、图表、图片等。通过它的所有应用,作为句法项的规则在作为基本语义实体的构形上产生二元关系。基于规则的设置的基本成分是一个配置集K、一个规则集R和一个规则应用运算符= R,它为每个规则r ∈ R分配一个二元关系= R × K × K。R一个规则应用程序con=n=J被称为直接推导,推导步骤,RH.- J. Kreowski等人理论计算机科学电子笔记148(2006)7577计算步骤、转换步骤、评估步骤或类似的步骤,这取决于使用规则的框架。由于规则的语义关系是关于配置的二元关系,因此可以免费获得语义关系的 特别是,一个得到工会==P=r∈ Pr对于规则集P∈R,closure=P=。P这使得人们可以将一组规则视为具有两种语义变体的基于规则的系统的最基本版本。(i) 规则应用图:图(P)=(K,= K),具有以下条件:P作为节点的tions和作为边的rule applications(ii) 迭代规则应用关系:=PK ×K。Graph(P)是一个适当的有理方程,其中hile=0P只能说明从什么配置和抽象的中间配置,数字。在语法框架中,Graph(P)被称为派生graphand=图形P作为导出关系(关于图变换,参见,例如, Rozenberg [27])。 在Petri网领域,图(P)是reachability g and=P常见的火灾关系例如作为一个运行的例子,我们讨论结构良好的流程图(参见,例如,Farrow、Kennedy和Zucconi [12]),它们是著名的可视化模型,也是更现代的图(如UML图)的典型前身一个结构良好的流程图有一个唯一的入口()和一个唯一的出口(),由基本的陈述和决策组成,分别用方框和菱形表示(参见图1)。钻石上刻有布尔表达式。一个基本语句可以有一个空盒子或一个写有赋值语句的盒子。空框表示另一个结构良好的流程图的非终结符占位符图中的前三个规则1表明,这样的占位符可以由赋值、复合状态或while循环替换结构良好的流程图中的控制流程虽然出口永远不是进一步控制流程的来源,但每个其他节点后面都有一个唯一的基本语句或决策。离开决策菱形的两条边分别标记为T(表示真)和F(表示假),指示控制电流的方向78H.- J. Kreowski等人理论计算机科学电子笔记148(2006)75Xi:X3:不 X2/=X3FX3:= 0规则:::=||e::= 0 |succ(X j)|pred(X j)和b::= X i/= X j,其中1 ≤ i,j ≤k图1.一、细化结构良好的流程图的规则⇒ ⇒ ⇒图二. 推导序列取决于布尔表达式的求值此外,我们假设自然数N作为唯一的数据类型和k个变量X1,.,Xk,其中k ∈ N. 然后,图中的文本规则。1表示可用的算术表达式(要分配给变量)是0,变量的后继或前导,并且两个变量的不等式谓词是唯一的布尔值表情总之,这些规则描述了结构良好的流程图的所有可能的细化图2显示了一个示例派生,它将一个带有两个非终结符框的复合语句细化为一个赋值语句,后面跟着一个while循环;省略了文本标记的派生该示例包括while编程的计算框架的所有成分(参见,例如,Kfoury,Moll和Arbib [16])。3监管规则应用但是,一套规则很少足以描述一个人想要什么在语法框架中,派生词以某些初始构形开始,以终止构形结束。在Petri网领域中,触发转换从初始标记开始。在术语重写领域,只有地面术语或减少不FB不 X2=/X3FX1:X2:=e2X3:H.- J. Kreowski等人理论计算机科学电子笔记148(2006)7579条件被接受为评估结果此外,有时人们喜欢规范规则的适用过程。例如,L系统中的并行重写模式和诸如最左最内或并行最外等项的求值策略。形式上,我们可以假设控制条件的集合C,其中控制条件C∈C在语义上提供二元关系SEM(C)<$K × K。这允许我们考虑一个由规则集P∈ R和控制条件C∈C组成的对(P,C)作为一个基于规则的系统,其交集为:=P和SEM(C)作为关系语义:SEM(P,C)==0.001PSEM(C).4投入产出关系控制条件的一个典型例子是一对(I,T),其中I指定初始配置的集合K(I)<$K,T指定终端配置的集合K(T)<$K。然后,系统(P,(I,T))对输入-输出关系进行通过SEM(P,(I,T))==0.001PK(I)×(K(T)).这个概念涵盖了许多计算模型,如图灵机,术语重写系统,图形转换系统等。在这种情况下,规则应用程序图也可以扩展为alter-由Graph(P,(I,T))=(K,=N)表示的自然语义P,K(I),K(T)),其中节点与初始和终端配置相对应的是根据-ingly。例如图3、对图3中的规则进行了1通过由单个空盒子组成的初始流程图,并接受除了空盒子和非终结符字母e和b之外的所有内容作为终结符。这个基于规则的系统以结构良好的流程图的形式将while程序的语言指定为所有终端配置,这些终端配置可以通过给定的规则从唯一的初始图导出。80H.- J. Kreowski等人理论计算机科学电子笔记148(2006)75结构良好的流程图姓名首字母缩写:不FB规则:::=X:=e我||e::= 0 |succ(Xj)|pred(Xj)和b::= Xi/= Xj,其中1 ≤ i,j ≤ k终端:没有、e、b图3.第三章。一个基于规则的系统,指定所有结构良好的流程图5解释器语义学规则和控制条件与规则应用图或迭代的规则应用关系一起提供解释器语义的框架。通常,抽象解释器是用某种基于规则的语言指定的。如果语言的抽象语法由文本解释器或术语表示,则通常对解释器的状态和术语重写规则使用相同的表示来建模解释器的操作。类似地,如果模型的抽象语法由图或图形表示,则有意义的是由图形表示解释器的状态并由图形转换规则对其操作进行建模(参见例如,[2,22,29])。在后一种情况下,可以区分两种主要方法。图变换规则可以用作经典语义方法(如重写逻辑[25]或化学抽象机)[4]而图形演绎规则遵循结构化操作语义范式。前者通常更容易编写,因为每个规则代表一个完整的解释器步骤(参见,例如,[13,15]),而后者允许行为的更多模块化视图(参见,例如,[7、10、14])。例如一个变量为X1,.,Xk可以通过状态变换来建模。 由于变量是全局的,并且所有类型的自然数,状态是向量(n1,.,nk)∈Nk. 初始状态可以是任意选择计算从条目开始,H.- J. Kreowski等人理论计算机科学电子笔记148(2006)7581评价姓名首字母电流结构良好X1迪沃丘夫...XKnkn i∈N,其中i = 1.. .k格拉姆n1规则:r1:电流Xi:=0Xini ::=Xi:=0Xi0电流r2:电流Xi:=f(Xj)XiniXJN::=Xi:=f(Xj)XiXjf(nj)nj电流f∈ { succ,pred}规则三: 不电流FXiniXJ**=TFXi/=XjNJXi=/XjXiXjninj电流ni=/NJ|不FX/=XI jXiniXJN电流ni=nj端子:简化形式见图4。 基于规则的结构良好的流程图评价控制流,其中当前节点在每种情况下由相应的指针指示如果当前节点后面是赋值Xi:=e,则根据实际状态对表达式求值,并将结果值赋给Xi,从而产生新的当前状态。 如果当前节点后跟如果用布尔表达式Xi Xj进行决策,则实际状态不会改变。但是新的当前节点取决于根据下式对Xi Xj的求值:的实际状态。如果ni nj,则它是T-边的目标,并且其他的。图4中的规则描述了这些评估步骤。初始配置是结构良好的流程图,带有当前指针82H.- J. Kreowski等人理论计算机科学电子笔记148(2006)75在入口处连同状态的简单图形表示一起。如果没有进一步的规则适用,则评估终止,这意味着所达到的配置是简化形式。当且仅当当前指针已经到达出口时,才会出现这种情况。以这种方式,图4提供了用于视觉模型的解释器语义的示例。6模型转换如果第3节中的K(I)和K(T)是某种类型的模型(的句法表示)的集合,则SEM(P,(I,T))是基于规则的模型转换语义。这种类型的一个例子是将序列图转换为协作图。[6]中的定量图如果K(I)是一组句法项,而K(T)是一组语义实体的表示,在这种情况下,基于规则的转换为每个句法项根据其结构。这种类型的例子是在[6]中将序列图和协作图转换为Meta模型[5])。使用图变换作为模型变换的框架的各种提议都指向这个方向(参见,例如,[1,23,30]和[26,28]的早期方法)。例如除了像结构良好的流程图这样的可视化表示之外,while程序也可以用命令式程序的通常风格来表示。图5呈现了视觉模型到文本模型的基于规则的转换。初始配置是结构良好的流程图,在入口处有一个translate指针这些规则将图逐步转换文本的while程序是通过读取路径上的标签得到的,翻译是沿着边的方向进行的赋值语句很容易翻译,因为只有赋值必须作为边缘标签保留,翻译指针放置在目标上。另外两个规则处理translate指针面向决策菱形的情况。在这种情况下,必须翻译while语句的边缘以及下面的语句,并以正确的顺序放在一起。翻译终止于简化形式(即,不再有规则可应用),这仅是翻译指针到达出口的情况H.- J. Kreowski等人理论计算机科学电子笔记148(2006)7583wsfd-2-while姓名首字母翻译结构良好迪沃丘夫格拉姆规则:r1:翻译::=Xi:=e翻译一些r2:一些翻译其中,Xi=/Xjdo等不FXi=/Xj::=FXi/=Xj翻译翻译规则三:一些一些翻译其他等FXi/=Xj::=其他OD端子:简化形式Xi:=e图五. 将视觉模型转换为文本模型7指称语义学与指称语义学编译器语义的思想是翻译每个程序、规范或模型。将源语言转换为目标语言的可执行程序、目标语言的可执行性可以通过解释器语义来描述。在可视化建模语言的情况下,可执行实体可以由对模型的状态的基于图的表示起作用的一组图变换规则给出[17、21、24])。语义被定义为从抽象语法到某个语义域的映射,称为指称。根据这个定义,编译器语义也是指称的,具有本身可操作的语义域如果可能的话,程序、规范或84H.- J. Kreowski等人理论计算机科学电子笔记148(2006)75(2)型号应该为抽象语法的每个元素单独定义这种组合性原则对于编程语言的指称语义是典型的,并且它是模型的模块化验证、分析和演化的基础(参见,例如,[8])。假设可视化模型的抽象语法是用图来表示的,那么我们就面临着描述从图到图的映射(如果语义域碰巧有一个图解语法,就像Petri网)或者从图到文本的映射(如果语义域是基于代数或逻辑的,就像过程演算)的问题对于这两种变体,可以在文献中找到不同形式的图变换规则(参见,例如,[3、9、11])。例如图5中的模型转换可以看作是编译器的一个简单例子,它将可视源程序转换成文本目标程序。此外,while程序也有适当的指称语义。图4.由while程序计算的状态空间上的函数由基于规则的解释器指定,该解释器通过以适当的方式遍历图来评估while程序的某些与此相反,指称语义反映了图3中规则给出的结构良好的流程图的句法结构。如果将计算的状态函数分配给每个结构良好的流程图的映射表示为,则可以通过中给出的某种图形规则图六、8语言生成与识别一个单一的配置(K(S)={S})提供了一个有趣的特殊情况下,指定的初始配置。关系语义得到的形式是SEM(P,(S,T))={S} ×{con∈K(T)|S=0Pcon}。由于每对构形的第一个分量是S,只有第二个分量是重要的。换句话说,系统(P,(S,T))可以被认为是语法或语言生成设备,L(P,(S,T))={con∈K(T)|S=0Pcon}。事实上,人们在文献H.- J. Kreowski等人理论计算机科学电子笔记148(2006)7585)−<$→)规则:(i),˛(ii),˛,1k1i− 1i +1k(n,.,n )=(n,... ,n ,0,n,.得双曲正切值.,1k1i− 1j i +1k(n,.,n)=(n,. ,n,f(n),n,.得双 曲 正切 值 .(iii)、¨˛¨¸(n1, . . . ,nk)=((四)(n1,. ,n k))如果ni/=nj,则其他 (n1,. ,n k)(n1,. ,n k)((n1,. ,nk))结构良好的流程图、¨˛¨不 Xi=/Xj?F、¨¸(n1,. ,nk)=、¨不F、¨˛Xi/=Xj?¨¸Xi:=f(Xj)Nk→ Nk状态转移函数Xi:86H.- J. Kreowski等人理论计算机科学电子笔记148(2006)75见图6。 结构良好的流程图H.- J. Kreowski等人理论计算机科学电子笔记148(2006)7587都包含在这个基于规则的系统中基本网系统和位置/变迁系统是这类的进一步例子,其中所有情况分别为。标记被认为是终端。图中给出了一个特定的例子3指定结构良好的流程图的语言在文献[8]中,所有UML序列图的集合是通过从初始图开始的图转换规则生成的语言的识别可以类似地建模。有限状态自动机和下推自动机是这类的例子9结束语在本文中,一些基本方面的语义的规则为基础的系统和可视化建模进行了讨论。解释器和编译器以及可视化模型的操作和指称语义可以被视为模型转换的特殊情况,因此被定义为基于规则的系统。这可以被认为是系统研究视觉建模语义的第一步进一步的主题,如正确性,模块化,组合性,和其他应包括在未来的研究。变换单元的结构化概念(参见,例如,[18,20])可能在这方面有所帮助引用[1] David H. Akehurst和Stuart J.H.肯特一个关系的方法来定义转换在一个元数据。在日本,马克·J·Z·Q·U·L·,他是一个聪明的人,有能力的人,有能力的人。 P roc。第五届UML 2002会议-统一建模语言。计算机科学讲义,第2460卷,第243-258页,Springer,2002年。[2] RoswithithaBard o h l,MarkMi n a s,AndyS chur?r,and GabrieleTaentze r. 一个从图形到视觉语言转换的程序在Ehrig等人的著作中,编辑。Handbook of Graph Grammars and Computingby Graph Transformation,Volume 2:Applications,Languages,and Tools,pages 105-180.1999年世界科学[3] 卢西亚诺·巴雷西图形符号的正式定制。博士论文,Dipartimento di Elettronica e Informazione -Politecnico di Milano,1997年。意大利语。[4] G'erard Berry and G'er a Boud ol.这是一个非常复杂的过程。TheoreticalComputerScience,第96卷,第1期,第217-248页,1992年[5] Grady Booch,James Rumbaugh,和Ivar Jacobsen.统一建模语言用户指南。Addison-Wesley,1998年。[6] Bjj?nCordes,KarsteHo?lscher,and H an s-Jo?rgKreowski. UML交互式关系图:将序列图转换为协作图。在约翰L. Pfaltz,Manfred Nagl,BorisBéohlen,编辑,GraphTr an s的应用程序与IndustrialRelevanceProc. 2nd Intl. Workshop AGTIVE'03 , Charlottesville , USA , 2003 ,Lecture Notes in Computer Science,volume 3062,pages 275-291. Springer,2004.88H.- J. Kreowski等人理论计算机科学电子笔记148(2006)75[7] 安德里亚·科拉迪尼,玲子·海克尔,乌戈·蒙塔纳里。 图形操作语义。 在Proc.ICALP 2000图形转换和可视化建模技术研讨会上。卡尔顿科学,2000年。[8] Gregor Engels,Luuk Groenewegen,Reiko Heckel,and Jochen Malte Kuester.一致性-通过表格提供改进的版本。 INJ.- M. 我在想什么H。 他是一个男人, 和S。厨师,编辑。 Proc. UML2002,德累斯顿,德国,计算机科学讲义第2460卷。施普林格,2002年。[9] GregorEngels、JochenMaltekuüster、LuukGroenewegen和ReikoHeckel。一种用于描述和分析面向对象行为模型的方法在V. Gruhn,编辑,2001年欧洲软件工程会议,维也纳,奥地利,计算机科学讲义,第1301卷,第327-343页Springer,2001年。[10] Gregor Engels,Jan Hendrik Hausmann,Reiko Heckel,and Stefan Sauer.动态Meta建模:UML中行为图的操作语义的图形化方法。在Andy Evans,Stuart Kent和Bran Selic,编辑,Proc.UML 2000 -统一建模语言。 推进标准,1939年计算机科学讲义卷,第323-337页。斯普林格,2000年。[11] GregorEngels、ReikoHeckel和JochenMaltekuüster。基于UML元模型的基于规则的语义一致性。Martin Gogolla和Cris Kobryn,编辑,UML 2001-统一建模语言。 建模语言、概念和工具,计算机科学讲义第2185卷,第272-286页。Springer,2001年。[12] 罗德尼·法罗肯·肯尼迪和琳达·祖科尼图文法与全局程序数据流分析。在Proc.17th Annual IEEESymposium on Foundations of Computer Science,第42-56页[13] Jan Hendrik Hausmann,Reiko Heckel,and Stefan Sauer.带时间的动态Meta建模:多媒体序列图的语义分析。Journal of Software and Systems Modelling,3(3):181[14] ReikoHeckelandAlbertZünd or f. 如 何 从 一 个 PPROACH 中 提 取 一 个 GPHT RANS :AMETAModel for FUJABA。In H. Ehrig和J. Padberg,编辑,图形过程规范技术的统一方法,ETAPS 2001卫星研讨会,热那亚,意大利,卷44.4TCS中的电子注释。Elsevier Science,2001年。[15] 贝托尔德·霍曼和马克·米纳斯。 图语法和语义的通用模型,在Proc. ICALP 2000图形转换和可视化建模技术研讨会。第443-450页[16] A.放大图片作者:Robert N.作者声明:Michael A. Arbib.可计算性的程序设计方法。施普林格,纽约,1982年。[17] Hanns-JüorgKreowski. 这是一个很好的例子。InRonaldSleep ,RinusPlameijer,and Marco vanEekelen,editors.术语重写:理论与实践。John Wiley,New York,pages 171[18] Hanns-JéorgKreowskiandS abineKu ske.生成具有完整语义的单元。Formal Aspects ofComputing,11(6):690[19] Hanns-JürgKr eowskiandS abineKu ske. 适用于基于规则的系统的复杂性Martin Wirsing,DirkPattison,Rolf Hennicker,编辑。第16届国际代数发展技术研讨会(WADT 2002)。计算机科学讲义,第2755卷,第299-311页[20] Hanns-JürgKr eowski,S ab ineKu ske,and d AndySchürr.nestedgraphtrans formationunits.International Journal on Software Engineering and Knowledge Engineering,7(4):479[21] 萨宾·库斯克基于结构图转换的UML状态机的形式化语义。Martin Gogolla和Cris Kobryn,编辑,UML 2001-统一建模语言。 建模语言、概念和工具,计算机科学讲义第2185卷,第241-256页。Springer,2001年。H.- J. Kreowski等人理论计算机科学电子笔记148(2006)7589[22] S a bineK u ske,MartinGogolla,H an s-J?orgKreowski,and d RalfKollmannn.基于图转换的UML类、对象和状态图的语义集成。 在Michael Butler,Luigia Petre和Kaisa Sere编辑的Proc.Third International Conference on Integrated Formal Methods(IFM 2002)中,计算机科学讲义第2335卷,第11-28页。施普林格,2002年。[23] 胡安·德·拉拉和汉斯·万格鲁威。多形式主义和元建模的工具。拉尔夫-德特勒夫·库彻,赫伯特·韦伯,编辑。 Proc. 第五届国际软件工程基本方法会议,计算机科学讲义第2306卷,第174-188页。施普林格,2002年。[24] Andrea Maggiolo-Schettini 和 Adriano Peron 。 基 于 图 重 写 的 全 状 态 图 语 义 。InHans-JrgenSchneider,Hart mut Ehrig,editor. Proc。计算机科学讲义第776卷,第265Springer,1994年。[25] 我是我的老师。所有重新写入日志都是一种统一的现代加密货币。《计算机科学》,第96卷,第73-155页,1992年[26] 泰伦斯·W普拉特配对文法、图形语言和字符串到图形的翻译。 Journal of Computer andSystem Sciences,5:560[27] Grzegorz Rozenberg,编辑。图文法与图变换计算手册,第1卷:基础。世界科学,新加坡,1997年。[28] 安迪· 斯 库尔。使用三 个矩形 InG.Tinnh oferr ,编辑, Proc. WG Worhshop on Graph-Theoretic Concepts in Computer Science , 计 算 机 科 学 讲 义 第 903 卷 , 第 151-163 页 。Springer,1994年。[29] Aliki Tsiolakis和Hartmut Ehrig。使用属性图文法的UML类和序列图的一致性分析。在HartmutEhrig , Gabriele Taentzer , 编 辑 , Proc. of Joint APPLIGRAPH/GETGRATS Workshop onGraph Transformation Systems(2000),Technical Report No. 2000/2,pages 77[30] DanielVar'o. 一个由现代远程信息系统组成的通用数据库的形式。 InAndr eaCorr a d in i,HartmutEhr ig,H an s-JoürgKreowski,GrzegorzRozenberg,editors. Proc。 第一次。图变换会议,计算机科学讲义第2505卷,第378-79页。Springer,1994年。
下载后可阅读完整内容,剩余1页未读,立即下载
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- zigbee-cluster-library-specification
- JSBSim Reference Manual
- c++校园超市商品信息管理系统课程设计说明书(含源代码) (2).pdf
- 建筑供配电系统相关课件.pptx
- 企业管理规章制度及管理模式.doc
- vb打开摄像头.doc
- 云计算-可信计算中认证协议改进方案.pdf
- [详细完整版]单片机编程4.ppt
- c语言常用算法.pdf
- c++经典程序代码大全.pdf
- 单片机数字时钟资料.doc
- 11项目管理前沿1.0.pptx
- 基于ssm的“魅力”繁峙宣传网站的设计与实现论文.doc
- 智慧交通综合解决方案.pptx
- 建筑防潮设计-PowerPointPresentati.pptx
- SPC统计过程控制程序.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功