The interprocedural analysis and automatic parallelization of Scheme programs

Lisp and its descendants are among the most important and widely used of programming languages. At the same time, parallelism in the architecture of computer systems is becoming commonplace. There is a pressing need to extend the technology of automatic parallelization that has become available to Fortran programmers of parallel machines, to the realm of Lisp programs and symbolic computing. In this paper we present a comprehensive approach to the compilation of Scheme programs for shared-memory multiprocessors. Our strategy has two principal components:interprocedural analysis andprogram restructuring. We introduceprocedure strings andstack configurations as a framework in which to reason about interprocedural side-effects and object lifetimes, and develop a system of interprocedural analysis, using abstract interpretation, that is used in the dependence analysis and memory management of Scheme programs. We introduce the transformations ofexit-loop translation andrecursion splitting to treat the control structures of iteration and recursion that arise commonly in Scheme programs. We propose an alternative representation for s-expressions that facilitates the parallel creation and access of lists. We have implemented these ideas in a parallelizing Scheme compiler and run-time system, and we complement the theory of our work with snapshots of programs during the restructuring process, and some preliminary performance results of the execution of object codes produced by the compiler.This work was supported in part by the National Science Foundation under Grant No. NSF MIP-8410110, the U.S. Department of Energy under Grant No. DE-FG02-85ER25001, the Office of Naval Research under Grant No. ONR N00014-88-K-0686, the U.S. Air Force Office of Scientific Research under Grant No. AFOSR-F49620-86-C-0136, and by a donation from the IBM Corportation.     

航迹融合算法在多传感器融合中的应用

研究寻的制导优化控制问题,针对传统单一传感器导引不能满足性能要求,提出采用多传感器复合制导.航迹融合是多传感器数据融合中一个非常重要的方面.由于公共过程噪声的原因,使在应用状态估计融合系统中,来自不同传感器的航迹估计误差未必有独立性,为了使航迹与航迹关联和融合,提出自适应航迹和协方差加权航迹融合的算法.通过仿真研究说明自适应航迹融合和协方差加权航迹融合的算法对多传感器数据融合技术有很明显的作用,数据融合效果好,为复合寻的制导优化设计提供了依据.     

网络环境下精品课程教师信息技术能力培养研究

2003年4月教育部下发了《教育部关于启动高等学校教学质量与教学改革工程精品课程建设工作的通知》,要求全国高等学校启动教学质量与教学改革工程精品课程建设工作。广大教师积极参与其中,努力建设自己所教授的课程,力争成为精品课程。但是,在精品课建设当中,由于专业教师信息技术能力欠缺,使课程建设遇到了瓶颈。本文从分析精品课教师具备信息技术能力的必要性入手,指出精品课教师应该具备的信息技术能力,最后提出精品课教师在网络环境下提高信息技术能力的途径。     

电子政务环境下福建省政府信息能力的提升

分析了政府信息能力的内涵,提出电子政务对于政府信息能力的提升作用是从改善政府信息资源的构成要素和提高政府信息资源的应用能力两方面来体现,总结了当前福建省政府信息能力的现状,并提出了如何通过电子政务进一步提升福建省政府的信息能力。     

提高地方院校信管专业学生实践能力的途径研究

为了提高地方院校信管专业的竞争能力,将实践能力和地方性特色培养融入到学校教育中,成为了现在地方院校信息管理与信息系统专业教育的重中之重。论文首先强调了信管专业学生实践能力培养的重要性。然后通过调查比较找出目前各地方院校信管专业实践教育体系存在的不足之处。最后以南通大学为例具体研究提高南通大学信管专业学生实践能力的途径。     

企业图书管理信息系统的设计与实现

本文采用三层架构开发了图书管理信息系统,解决了开发中的一些关键问题,并利用豆瓣API实现图书详细信息的快速录入,对同类软件的开发具有一定的指导作用。     

中医正骨复位手法信息采集系统的设计

研究中医正骨复位手法,建立虚拟信息系统,但是由于手法的使用形式繁多,实施操作方法经验性强,对操作的技巧性和力度大小要求非常高等原因,使得正骨技术在临床中的应用不易推广,影响着中医正骨复位手法的的继承和发扬。针对上述原因,提出构建虚拟正骨手法复位信息采集系统,通过LabVIEW软件、角度传感器,信息采集卡等硬件设施有机的结合,把抽象的中医骨伤手法复位操作技术用角度、位移参数值具体、直观的表示出来,并以波形图表的形式显示。为初学者认识和学习正骨手法提供了生动形象的教材,改进了传统的教学模式、教学手段和教学方法,进一步促进虚拟技术在中医正骨中的应用。     

多传感器信息融合技术探析

多传感器信息融合是一门涉及信号处理、信息论、人工智能、模糊数学等理论的多学科交叉技术,被广泛应用于军事和民用领域。文章介绍了多传感器信息融合的概念,描述了多传感器信息融合的功能模型、主要方法和应用,并对其发展趋势进行了分析。     

电力信息自动化系统中Web技术时间应用分析

在我国的变电所的分布不是非常集中,并且变电的设备也较多,因此精确管理难度和宏观调度都有很大的增加。WEB技术可以使得非常简单的浏览和开发信息,并且可以使得变电所之间的信息交流便得增加,因此电力信息自动化系统的WEB技术应用越来越广泛。     

基于JSP的移动开发技术论坛的设计与实现

本文讨论基于B/S模式的一种JSP论坛的设计与实现。完成的功能模块包括用户注册,浏览板块,发帖,回帖等,管理员编辑,删除等管理帖子功能,管理管理员用户功能等。