Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器.文中给出了Petri网-VHDL编译程序的构造方法.使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码.文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAXPLUSII编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性.

一种基于Modelica语言的混合系统DEVS模型架构

Modelica语言采用微分方程描述系统,此外它还具备面向对象编程语言的特性,因此它不仅适用于连续系统的建模,还支持离散系统的模型架构。因此,可以将Modelica作为一种混合系统的建模语言。提出了一个Modelica语言描述的DEVS(Discrete EVent System specification离散事件系统规范)模型架构,并通过对模型的编译过程产生C++代码,获取了同时描述连续系统和离散系统建模的能力。最后给出了用Modelica语言描述的一个飞机导航控制连续-离散仿真系统的例子。

一种离散事件建模仿真语言系统研究

提出一种离散事件建模仿真语言系统,对该语言系统的编程模型、文本规范、仿真运行支撑、编译器及仿真应用分别进行了介绍。对于初级用户,其支持对仿真系统的直接描述,通过编写元素模型文本及复合模型文本的方式对仿真系统的模型及模型间的连接关系进行说明。而对于高级用户,其可以采用C++语言对仿真组件进行建模或模型修改。对用户屏蔽了如时间管理及信息订购发布等对仿真基础要求较高的底层细节。仿真组件可自动加载到并行仿真引擎进行并行仿真计算。仿真引擎支持仿真系统的动态变结构特性,支持海量模型,并实现动态负载均衡。

基于事件图的网络化PLC控制程序编译方法

针对网络化PLC控制系统特点,提出了基于事件图的控制程序建模与编译方法。通过将控制系统映射为离散事件系统,建立了控制程序的事件图模型;通过改进的深度优先搜索算法实现了事件图解耦,将串行执行的控制程序分解为可并行执行的事件序列;根据IO变量位置以及指令预期执行时间为事件序列分组,并下载至最佳设备;通过插入网络通讯指令,实现设备间变量同步。实验结果表明该方法可有效识别与提取控制程序中的并行任务,将其合理分配下载至不同的控制器中,同时保证控制逻辑的正确与同步。

NUAPC: A Parallelizing Compiler for C++

This paper presents a model for automatically parallelizing compiler based on C++ which consists of compile-time and run-time parallelizing facilities.The paper also describes a method for finding both intra-object and inter-object parallelism. The parallelism detection is completely transparent to users.