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.     

基于机器视觉的隔热条尺寸测量系统

针对当前隔热条的尺寸测量仍停留在产品离线后,工作人员用卡尺测量,劳动强度大,工作效率低、测量精度易受人为因素影响的现状,本文提出将机器视觉技术引入到隔热条自动化生产线的在线尺寸检测系统中,这种非接触式测量既可以避免在测量过程中对隔热条的损坏,又可以提高测量精度和测量速度,从而达到提高测量效能的目的。     

基于虚拟仪器的汽车变速器计算机测控系统的设计

本文介绍了汽车自动变速器检测实验台的测控系统硬件组成,并采用Labview开发出测控系统的软件。可对汽车自动变速器综合性能与液压控制阀体进行测试操作和性能分析,实现检测对象测控的自动化。     

基于叶片形态特征的葡萄品种自动识别

葡萄在全世界种植范围较广,葡萄品种识别对葡萄资源统计、新品种鉴定及遗传资源保护都有重要意义。以成熟叶片为基本材料,不变矩、面积、周长、主叶脉长度和叶柄长度等11维特征向量为基础数据,采用叶片特征选择、图像处理、特征值提取、建立分类模型等方法,运用国际葡萄与葡萄酒组织形态分类方法和改进的欧式距离等技术开发一个基于葡萄叶片数字图像的葡萄品种自动识别软件。共测试17种酿酒和3种野生葡萄,识别率达87%。该方法具有自动化、识别速度快、花费低、省时省力等特点,可应用于葡萄病虫害的识别、杂交新品种双亲的判定等。     

财务人员考试及评分系统的设计与实现

文章介绍了财务人员考试及评分系统的主要功能,对各功能模块中所涉及到的一些关键算法的设计给出了实现方法,尤其对极具通用性的扣分标准的实现给出了较为详细的算法。     

基于STM32的逆变弧焊电源控制器设计

数字化是弧焊电源的发展趋势,其关键在于控制器的数字化。目前市场上的大多数数字化产品价格相对高昂,采用STM32系列单片机进行经济型数字化弧焊电源控制器的设计和实现。该控制器采用数字式PI方法进行输出电流控制,并具有按键操作、液晶显示、过流保护、过热保护等功能。该控制器还具有良好的扩展I}生,可以通过修改程序增强系统功能。     

致密油藏直井多层缝网压裂产量递减分析

垂向多层发育的致密油藏常采用缝网压裂进行开采,从而改善储层渗透率,提高油井产量。为此建立直井多层缝网压裂不稳定渗流数学模型,压裂后各层划分为人工裂缝区、改造区和未改造区。绘制分析Blasingame产量递减典型曲线,曲线分为7个流动阶段,总裂缝长度一定时,裂缝半长短的储层流体渗流率先到达未改造区,流体渗流阻力大,Blasingame曲线靠下;总改造体积一定时,各层改造体积差异越大,Blasingame曲线越靠下。用所建立的模型,对实测生产资料进行解释,获得各层裂缝半长、改造区渗透率等相关地层参数,该模型对进行多层缝网压裂直井产量分析具有指导意义。     

在役缆索自动检测

缆索检测是保证斜拉桥等大型斜拉结构安全的关键。在缆索机器人基础上，对缆索表面检查、内部检测和维护等进行了讨论。系统采用电磁检测方法，巳在徐浦大桥缆索机器人现场试验中成功进行了实践。     

面向对象的液压与气压回路工作原理仿真软件开发

详细介绍了用于液压与气压传动课程教学的“面向对象的液压与气压回路工作原理仿真软件”的开发，该软件采用VB6．0、AutoCAD及Microsoft Visio在Win2000操作系统上开发而成，采用了面向对象的建模技术，实现了液压与气压原理图的自动识别及工作原理仿真。