数据流语言中数据频率的自动化处理技术  

Automatic Checking and Calculation of Data Frequencies in Stream Languages

作　　者：刘桂林[1] 张昱[1,2] 

机构地区：[1]中国科学院软件研究所计算机科学实验室,北京100190 [2]吉林大学珠海学院符号计算与知识工程公共实验平台,珠海519041

出　　处：《计算机系统应用》2015年第3期9-17,共9页Computer Systems & Applications

摘　　要：数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流处理框架,针对基本的频率运算进行自动化处理.我们基于函数式程序设计语言和依赖类型系统理论,定义了数据流语言FStream,在程序的类型检查过程中对数据流频率进行检查和处理,并给出了离散的Simulink模型到FStream的表示.Data stream analysis and manipulation is very common in computer systems. Practical systems usually consist of data streams of different frequencies, however, dealing with data streams with different frequencies in existing programming languages has to be done explicitly and manually in programs. This paper proposes FStream–a framework for programming data streams with different frequencies, which supports automatic calculation. FStream is designed based on functional languages and dependent type systems. We also show an encoding of a discrete-time Simulink model in FStream.

关 键 词：依赖类型系统 数据流语言 类型推断 HASKELL SIMULINK 

分 类 号：TP312.1[自动化与计算机技术—计算机软件与理论]