-
题名高阶代码消除性能比较框架的设计与实现
被引量:1
- 1
-
-
作者
赵迪
华保健
朱洪军
-
机构
中国科学技术大学软件学院
中国科学技术大学苏州研究院
-
出处
《计算机应用》
CSCD
北大核心
2016年第9期2481-2485,共5页
-
基金
国家自然科学基金青年科学基金资助项目(61202052)
苏州市科技计划应用基础研究项目(SYG201406)~~
-
文摘
函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法。为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计并实现了一种函数式语言编译框架。该框架采用了菱形的架构,平行地使用了闭包变换与函数消除两种高阶代码消除方法。设计了一种具有代表性的函数式语言——FUN语言,并以FUN语言为基础,给出了比较框架的一个完整实现。通过该系统,对闭包变换与函数消除的效率影响进行对比实验,选取具有典型特征的测试例,分别从生成代码的规模和运行效率方面对闭包变换与函数消除两种方法的结果进行比较。实验结果表明,与闭包变换相比,使用函数消除方式所得的目标代码量更少,最多可减少33.76%的目标代码量;并且运行效率更高,最多可提高69.51%。
-
关键词
编译框架
函数式语言
高阶代码
闭包变换
函数消除
-
Keywords
compiler frame
functional programming language
higher-order code
closure conversion
defunctionalization
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名降水气候噪声和可预报性问题的初步研究
被引量:1
- 2
-
-
作者
田武文
方建刚
王兰宁
-
机构
陕西省气象台
-
出处
《陕西气象》
2003年第4期6-9,共4页
-
文摘
从气候噪声和可预报性的定义出发,讨论了气候噪声产生的原因,提出一种消除气候噪声的函数,讨论该函数的参数设置,并在此基础上进行了实例分析,结果表明利用该函数作用于气候预测样本,可以部分消除气候噪声,提高可预报性。
-
关键词
降水
气候噪声
可预报性
气候预测
气候诊断
气候预报
统计预报方法
消除气候噪声函数
-
分类号
P456.8
[天文地球—大气科学及气象学]
P457.6
[天文地球—大气科学及气象学]
-
-
题名基于麦克风阵列的混响消减处理
- 3
-
-
作者
陈建荣
胡剑凌
-
机构
苏州大学电子信息学院
-
出处
《电声技术》
2018年第3期47-51,54,共6页
-
文摘
针对混响效应的影响,研究了一种基于传输函数广义旁瓣消除波束形成的复倒谱滤波和谱减法混响消减算法,采用了适配混响声学环境的基于自适应特征分解的时延估计法进行时延补偿,并对TF-GSC波束形成,谱减法和复倒谱滤波进行阐述,仿真结果表明,该方法能够对混响语音中的混响分量进行有效抑制,进一步提高语音混响消减的自适应性能和鲁棒性。
-
关键词
传输函数广义旁瓣消除
谱减法
复倒谱滤波
自适应特征分解时延估计
-
Keywords
the transfer - function generalized sidelobe canceller
spectral subtraction
complex cepstrum filter
the eigenvaluedcomposition - based time dlay estimation
-
分类号
TN912.35
[电子电信—通信与信息系统]
-