同步数据流语言高阶运算消去的可信翻译

Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明.

事件触发并发数据流模型

DHDF(动态纯数据流)是许多图形化编程平台的核心.由于它的自然属性(数据驱动)与操作系统事件驱动模型不能很好地结合,导致了两个明显的不足:运行效率低,CPU占用率高;对外部事件响应速度慢,系统实时性差.提出了一种ECDF(事件触发并发数据流)模型,并给出了该模型的文法描述以及调度算法.ECDF模型通过引入多优先级线程以及事件触发机制,在很大程度上提高了系统的实时性与运行效率.以测试系统为背景,对有关应用实例进行测试与分析,结果表明,与DHDF模型相比,ECDF模型使系统的性能在不同条件下都得到了相应的提高.该模型特别适用于处理突发性高速数据流,也适用于Reactive系统设计.

一种面向虚拟仪器的数据流程语言

数据流程语言是可视化编程语言的一个重要分支，适用于描述数据转换类的问题。为描述虚拟仪器中系统中的组态和数据处理问题，本文提出一种扩展的数据流程语言。文中给出数据流程语言中基本元素的形式化定义，并介绍了运行算法。

面向虚拟仪器的图形化语言开发环境设计

E语言是一种用于描述虚拟仪器系统的可视化(图形化)语言。与其它基于纯数据流(DHDF)的可视化语言不同,它是基于事件触发并发数据流模型(ECDF)的,具有较高的运行效率和更好的实时性。以该可视化语言为基础,文中介绍了一个可视化开发环境DEE。通过该可视化开发环境,组建一个测控系统就像画一个流程图或连接几台仪器那么简单。与其它可视化开发环境相比,它不仅易于被用户所掌握、具有更好的兼容性,更重要的是它能够开发在其他可视化平台中不能完成的中断驱动和多线程应用。文中不仅介绍了可视化开发环境主要框架结构以及与E语言特点相关的驱动程序结构,而且还描述了程序编辑器和画线算法。

一种XML驱动的遥感产品生产并发数据流模型

通过分析现有遥感产品生产平台的并行策略与处理流程,结合现有的数据流模型,提出了一种XML驱动的遥感产品生产并发数据流模型,并给出该模型的文法以及并发性驱动原理。该模型通过适配XML驱动文件,有很好的拓展性。通过对模型并发性的分析,认为该模型在提高遥感产品生产效率、优化并行策略和可视化信息展示上有一定的优势。

Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理．实践结果表明，文中讨论的数据结构。

单率异步数据流语言的RTL文法设计

数据流语言是面向虚拟仪器的可视化编程环境的核心 .为了使这些基于数据流的编程环境能够应用到实时系统设计中 ,必须引入一种严格定义的实时文法 .RTL文法适合描述数据流语言 ,但是异步节点的表述问题以及时间基准选择问题并未解决 .提出了一种用于描述单率、异步数据流语言的 RTL文法 .该文法中引入传输事件常量与状态谓词 (state predicates)解决了异步节点的

数据流可视化语言的运行模型

提出了基于事件的异步运行模型(EADF),并给出了该模型的文法描述、调度算法以及在自主研制的面向虚拟仪器领域的DFVPL:LabScene2.0中的实现方法。以地面核磁共振找水仪的仿真系统为实例进行了分析说明。基于EADF的DFVPL减少了程序员在并行计算上的设计,对于可静态规划的循环、计算量大的运算、网络和本地I/O资源的获取上性能有显著的提高。

数据流可视化语言LabScene的连线设计

连线作为数据流可视化语言编辑器的重要组成部分,一方面要表示逻辑上的数据依赖关系,另一方面自身要以容易理解的物理形式展示出来。为了有机地整合这两个属性,该文提出了线树的概念,利用线树的结构表示逻辑属性,线树的节点表示物理属性,使得两个属性既相互关联又相互独立,从而为解析运行提供完整的逻辑信息且容易进行编辑和优化。该设计已在面向虚拟仪器开发的数据流可视化语言LabScene中实现。

浅谈LabVIEW在语言程序实现中的优势

对一个程序用LabVIEW等语言的分别实现的研究,是为了使读者了解许多软件都可以达到相同或相似的结果。通过具体的程序设计,使用户知道软件设计方法的差异性及LabVIEW在语言程序实现上的优异性。

G语言中的内存分配与管理算法

针对G语言特定的数据要求,提出一种新的内存分配与管理算法,在满足多种基本类型和数组及簇等复杂数据结构的分配与管理的基础上,实现数据的产生及生命周期管理、数据信息的完备性及独立性描述。在不牺牲运行效率的前提下,能够长期稳定地运行,有效避免内存碎片的产生。并且将此算法在自主开发的虚拟仪器开发平台LabScene中完整实现,在G语言的解析与运行模型中发挥关键作用。

语法制导生成的虚拟仪器开发平台

如何以一种与特殊的图形用户接口无关的形式一致地描述数据流可视化编程语言及其开发平台,成为虚拟仪器开发平台自动生成的主要问题。该文以自主研制的开发平台LabScene为例,形式化地描述其中最主要的3个部分:编辑,运行,调试,把这些形式化的描述翻译成C#语言,实现自动生成,为以非数据流为核心的虚拟仪器开发平台的自动生成提供参考依据。

面向虚拟仪器的DFVPL:LabScene的自动连线

针对目前大多数数据流可视化编程语言(DFVPL)不提供自动连线或者提供的自动连线对用户在连线过程中的设计意图表达不够准确的情况,提出了面向虚拟仪器领域的DFV-PL的自动连线框架。通过有机地整合连线距离、逻辑关系、类型匹配等诸多因素,并利用生成虚拟仪器软件的逻辑顺序设计了自动连线方法。此设计已在自主研制的面向虚拟仪器开发的DFVPL:LabScene中实现,并可作为其他领域的DFVPL自动连线设计的参考。

一个面向任务图并行程序的错误检查工具

AceMesh是一种基于数据流描述的任务并行编程语言,它允许程序员从串行程序出发,追加并行区域、并行循环的制导以及任务区的数据访问信息,AceMesh编译系统则自动把该程序转化为异步任务图并行的程序。分析了AceMesh程序改写中常见的并行化错误,介绍了其错误检查工具AceMeshCheck的结构,描述了访存轨迹的高效收集、存储方法以及逻辑形状推导的三维压缩算法。实验表明,AceMeshCheck不仅能分析出制导程序中的典型错误,而且开销较小。

基于数据流的SoC性能建模方法及实现

针对传统基于模块描述建模方法在性能估算和验证的精确性、灵活性和设计迭代方面的不足,围绕资源分配、性能参数标注和仲裁算法指定等,提出基于事务数据流的系统芯片(SoC)性能建模方法.该方法通过加入Sys-temC的时序控制机制的TDFLib的C++泛型库,以及描述SoC系统模型的性能建模语言(PML)的域特定语言来实现.PML源文件可生成包含TDFLib调用的C++代码,再经过编译并与可复用仿真程序框架链接得到可执行的系统性能分析模型.该模型在SystemC内核控制下进行周期精确的仿真,运行结果保存在MySQL数据库中.结果表明该性能建模方法能够提高架构设计与分析的效率.

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

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

数据流模型机SDS-1的实现

文中全面地介绍了数据流模型机SDS-1的特点和实现方法。SDS-1模型机是一种同步和异步相结合、数据流和控制流相结合的数据流模型机,它能开发复合函数级的并行性。该模型机在Intel86/310微机和8个Intel86/12单板机组成的多机系统上实现,达到了80年代初国际先进水平。