本文已被:浏览 1639次 下载 2060次
Received:June 30, 2014 Revised:August 15, 2014
Received:June 30, 2014 Revised:August 15, 2014
中文摘要: 数据流分析和处理是计算机应用最常见的工作之一, 实际系统常常包括不同频率的数据流, 而现有的程序语言要求在程序中对数据频率进行显式的处理. 旨在提出一种新型的变频数据流处理框架, 针对基本的频率运算进行自动化处理. 我们基于函数式程序设计语言和依赖类型系统理论, 定义了数据流语言FStream, 在程序的类型检查过程中对数据流频率进行检查和处理, 并给出了离散的Simulink模型到FStream的表示.
Abstract: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.
文章编号: 中图分类号: 文献标志码:
基金项目:
引用文本:
刘桂林,张昱.数据流语言中数据频率的自动化处理技术.计算机系统应用,2015,24(3):9-17
LIU Gui-Lin,ZHANG Yu.Automatic Checking and Calculation of Data Frequencies in Stream Languages.COMPUTER SYSTEMS APPLICATIONS,2015,24(3):9-17
刘桂林,张昱.数据流语言中数据频率的自动化处理技术.计算机系统应用,2015,24(3):9-17
LIU Gui-Lin,ZHANG Yu.Automatic Checking and Calculation of Data Frequencies in Stream Languages.COMPUTER SYSTEMS APPLICATIONS,2015,24(3):9-17