【摘 要】
：
数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流
【机 构】
：
中国科学院软件研究所计算机科学实验室,吉林大学珠海学院符号计算与知识工程公共实验平台
论文部分内容阅读
数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流处理框架,针对基本的频率运算进行自动化处理.我们基于函数式程序设计语言和依赖类型系统理论,定义了数据流语言FStream,在程序的类型检查过程中对数据流频率进行检查和处理,并给出了离散的Simulink模型到FStream的表示.
其他文献
随着机器人技术的发展和硬件的普及,机器人的市场应用前景越来越广泛.但是,目前的机器人仍存在着许多局限,具体表现为可移植性弱,本地计算成本高,服务应用较少等.云机器人的
演绎推理是形式化验证中一种重要的方法,具有可以处理无穷状态系统的优点.本文研究与实现关于交替式下推系统中可达性的证明,该系统可以将无穷证明树转换为有穷树.文中首先利
在认真理解PCI Express协议及其应用技术的此基础上,使用FPGA实现PCI Express总线接口的DMA传输设计.本文主要从DMA发送模块、DMA接收模块和DMA状态控制模块三个部分对设计进
针对在C＋＋Builder中生成白噪等扬声器功率实验所用测试信号的难度较大,以及MATLAB与C＋＋Builder混编过程中的兼容性问题,文章提出了一种MATLAB与C＋＋混合编程的方法.首先,运用Matlab
近些年来,云计算已经成为了互联网领域的一个重要基础设施,越来越多的应用被部署到云计算平台上提供在线或者离线的服务.而虚拟化技术则是云计算的关键技术,提供包括计算、存
异常处理机制是所有WEB应用设计中的关键组成部分,Spring MVC框架提供了异常处理接口和多种解析器.通过源码分析法深入探讨了各种解析器的工作原理,总结得出它们的时间复杂度
近年来,基于候选区域的快速卷积神经网络(Faster R-CNN)算法,在多个目标检测数据集上有出色的表现,吸引了广泛的研究兴趣.Faster R-CNN框架本来是用做通用目标检测的,本文将它应用到人脸检测上,分别使用ZF和VGG16卷积神经网络,在WIDER人脸数据集上训练Faster R-CNN模型,并在FDDB人脸数据库上测试.实验结果表明,该方法对复杂光照、部分遮挡、人脸姿态变化具有鲁棒性
基于FPGA平台设计并实现了一种五级流水线CPU.它参考MIPS机将指令的执行过程进行抽象,把指令分成取值、译码、执行、访存、写回五级流水处理.首先设计系统级的结构,决定CPU的
Objective This work aims to verify and improve the dose given for cancer patients in radiation therapy by using diodes to enhance patient in vivo dosimetry on a
提出一种面向电网流式数据处理的性能测试平台的系统架构及关键技术.针对电网流式数据的业务场景特点,测试平台支持基于浏览器的测试脚本设计和测试场景设计,并支持测试任务