独立语法描述的VHDL词法和语法分析

描述了一个VHDL语言词法和语法分析器的设计与实现,采用语法规则描述与分析引擎分离的方法,首先将VHDL语法规则用GPLD元语言描述,然后生成二进制语法分析表。选择所需语言编写分析引擎程序,在对VHDL代码进行分析时,用分析引擎载入生成的分析表,显示分析过程的移进、规约状态步并构建分析树并报告错误。     

基于Petri网的监控系统通信机制的研究

实时监控系统中各种状态数据和控制信息的传输要求高可靠性和强实时性,制造报文规范(MMS)由于其独立性和互操作性,被电力系统通信机制用作底层协议基础并得到了广泛的研究.Petri网由于能够描述系统动态并发行为并能通过建立数学模型来管理系统行为而被用于MMS的建模和分析.目前,基于Petri的MMS的研究仅限于MMS的建模、分析和验证.缺少从Petri网到代码的自动转换.本文将利用面向对象方法建立Petri网工具,通过图形用户接口实现MMS的Petri网建模和分析,并在此基础上通过映射规则和组件技术实现代码的自动转换.     

基于Petri网的数字系统建模和VHDL实现

基于Petri网的数字系统的建模及其硬件实现方法已经得到了广泛的研究,然而现有的方法主要适用于同步电路,由此提出了一种基于Petri网的数字系统建模和VHDL实现的新方法。首先定义了一种广义同步自控网系统,解决了数字系统的Petri网建模问题。基于一种带优先级的多输入多时钟D触发器,设计了对应的软IP核,进而探讨了广义同步自控网系统模型到VHDL代码的具体转换方法。设计的CAD工具支持数字系统的建模、功能分析与代码转换功能。通过设计示例表明了所述方法和相关工具的有效性。     

UML活动图到Petri网的转换方法及实现研究

统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。     

基于模板的代码转换工具

代码转换是代码自动生成过程中的重要环节.提出一种基于模板、可适用于任意文法描述代码之间转换的"属性匹配-替换"算法.利用该算法,成功实现了OSEK规范中OIL语法描述代码到C语言代码的转换.     

VHDL顺序语句的元件划分及其抽象电路结构的生成

讨论了RTL级VHDL顺序语句的语法、语义规则，以及功能元件、存储元件、通路元件的VHDL顺序语句的造型；并以if，case和赋值语句为核心，详细说明了if，case和赋值语句的语句结构树的生成算法，以及基于该语句结构树的VHDL顺序语句格式判别、元件划分算法和抽象电路结构的生成及其初步优化的算法．     

基于Petri网元件库的控制器设计

本文用VHDL语言对Petri网中的库所和变迁分别进行描述并实现,并在EDA软件平台MAX+plusII中生成其对应的器件符号图,建立Petri网元件库。并以一个实例,像调用电路元件那样,通过调用生成的Petri网元件,绘制出Petri网模型对应的电路图,然后在Max+PlusII中进行编译、模拟、适配,并下载到可编程逻辑器件FPGA中,最后在实验开发系统GW48-CK中进行硬件测试,可直接获得控制器。此方法为并行控制器的设计与实现提供了一种有效的途径,这也是一种图形化的编程方法。仿真波形及硬件测试结果表明了这一方法的正确性。     

基于数据集约束的并行数据流建模与描述研究

为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性.     

一个自动编译系统ACS

本文介绍一个自动编译系统ACS。对某上下文无关文法语言,写出其词法描述、语法描述、语义描述和目标机描述。ACS系统可以自动生成此语言在目标机上的编译程序。ACS系统由六个子模块组成:词法自动生成器、语法自动生成器、语义自动生成器、中间语言转换程序、优化程序和代码自动生成器。本文将分别讨论这六个子模块的原理和功能,还将给出用ACS系统生成的一个编译程序实例—Mini_Ada编译程序。     

使用抽象语法树和静态分析的克隆代码自动重构方法

单个软件系统中以及若干个相似系统之间的代码克隆给软件维护增加了很大困难.本文针对运用克隆侦测发现的相似代码片断,提出一种基于抽象语法树和静态分析的代码自动重构方法.该方法首先为克隆代码分别构造抽象语法树,然后运用语句差异度指标建立起语法树之间流程控制语句的对应关系.在此基础上,该方法根据控制流程和基本语句块两个层次上的差异性分析,最终通过代码可变点提取实现克隆代码的自动合并.针对Java代码开发了克隆代码重构支持工具原型,并分别针对JDK1.5和一个业务系统进行了自动重构实验.初步的结果表明,该方法能够准确、有效地辅助开发者实现克隆代码的自动重构.     

高级综合中VHDL描述向Petri网转换方法的研究

提出一种基于执行路径的Petri网生成算法,该算法提取VHDL源描述中的功能和时序信息,生成与源描述完全等价的Petri网结构．算法采用条件树结构保存条件,语句执行条件和Petri网迁移条件都依据条件树生成．生成的Petri网能够准确地保存源描述中的I／O时序信息,形成调度过程中I／O操作处理的基础．从该结构出发,能够方便地实现各种I／O模式的调度。     

VHDL高级综合前词法语法分析的研究与实现

利用YACC与LEX来完成VHDL语言高级综合前端的词法与语法分析器设计。介绍词法分析模块，语法分析模块以及错误处理模块的设计方法。利用Windows平台卞的Parser Generator 2．0生成词法与语法的C文件，在Visual C＋＋6．0中编译该C文件，生成可执行程序。     

一种求解与/或树的Petri网方法

研究了用Petri网求解人工智能中与/或树的问题,提出了一种把与/或树转换成相应的Petri网,并通过其逆网求得原与/或树的解树的方法,可进而利用模糊Petri网的推理得到与/或树的最优解树。该方法直观高效,拓宽了Petri网的应用领域。     

Effective pattern matching of source code using abstract syntax patterns

Program understanding can be assisted by tools that match patterns in the program source. Lexical pattern matchers provide excellent performance and ease of use, but have a limited vocabulary. Syntactic matchers provide more precision, but may sacrifice performance, robustness, or power. To achieve more of the benefits of both models, we extend the pattern syntax of AWK to support matching of abstract syntax trees, as demonstrated in a tool called TAWK. Its pattern syntax is language‐independent, based on abstract tree patterns. As in AWK, patterns can have associated actions, which in TAWK are written in C for generality, familiarity, and performance. The use of C is simplified by high‐level libraries and dynamic linking. To allow processing of program files containing non‐syntactic constructs such as textual macros, mechanisms have been designed that allow matching of ‘language‐like’ macros in a syntactic fashion. We survey and apply prototypical approaches to concretely demonstrate the tradeoffs in program processing. Our results indicate that TAWK can be used to quickly and easily perform a variety of common software engineering tasks, and the extensions to accommodate non‐syntactic features significantly extend the generality of syntactic matchers. Copyright © 2005 John Wiley & Sons, Ltd.     

Describing an IMS by a FNRTPN definition: a VHDL approach

A new Petri net extension and a novel method describing the structure and behaviour of an intelligent manufacturing system (IMS), using a VHDL tool, is proposed. The PN extension is defined as Fuzzy Neural Real Time Petri Net (FNRTPN), where the fuzzy part let the intelligent scheduling of the tasks for the IMS, and the neural part calculates the estimation of the parameters of the set point for each resource in the system. At last, VHDL is proposed as an Unified Modelling Language (UML) to express the model of the manufacturing process. The extension and VHDL are used to apply a fuzzy neural control scheme to a FMS.     

Petri网标记语言

Petri网标记语言（PNML）是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P／T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向。     

基于分层面向对象Petri网的软件建模方法研究

为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和分析机制,最后的应用实例建模与分析证明了HOOPN的有效性。     

基于MDE的异构模型转换:从MARTE模型到FIACRE模型

通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real timeand embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实 用性.