论文部分内容阅读
采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中着重讨论了基本操作ccall的实现。
基于unboxed数据类型的纯函数式I／O系统的实现
【摘 要】
：
采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中着重讨论了基本操作ccall的实现。
【机 构】
：
东莞理工学院软件学院,上海交通大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年01期
其他文献
景象提取的目的是将数字图像中的景物从背景中分离出来,为了更好地实现这一目的,微软亚洲研究院Jian Sun等人于2004年提出Poisson Matting方法。该方法将透明度(α值)作为图像的一种内在属性,变分地寻求其最优解,来达到目标提取的目的。主要介绍Poisson算法,针对Poisson算法中程序运行时间比较长的问题,对算法中耗用时间多的两个步骤:图像初始α值的计算以及前景图像F、背景图像
我像一个木鸡一样呆呆地看着化学方程式，完全不入正题，而是想到了昨晚的炸鸡腿，我的口水开始泛滥。 一个纸团正在我没有防备之时袭击了我的脑袋，我恶狠狠地回过头来瞪那个“凶手”，只看见阿猫咯咯地笑，两颗大门牙发出“卟嚓”、“卟嚓”的声音。 摊开纸条，上面写着歪歪斜斜的火星文：今天上午准备去吃什么? 我皱皱眉，然后回道：一个包子。这个答案准能让阿猫吐血。这也是没办法，谁叫我们离家遥远，学校又烂得一个
分析了传统的PKI体系结构的特点,介绍了桥接CA(BCA)的基本概念、体系结构、工作原理,并论述了实施BCA的关键技术等。
旅行商问题(TSP)是运筹学、图论和组合优化中的NP难题。量子粒子群算法(QPSO)参数个数少、随机性强,并且能覆盖所有解空间,保证算法的全局收敛。针对TSP的特点,通过建立交换子、交换序的运算法则,对基本QPSO算法进行了改造,同时引入了遗传算法中的变异,提出一种求解TSP的改进QPSO算法。实验结果表明了该算法在解决TSP时的有效性,同时算法在稳定性、收敛性以及寻优能力上较其他的一些PSO算法