公路安全线轧压监测系统的研究及方案设计

严格公路黄色安全线尤其是交叉路段的管理，是保障交通安全通畅的重要前提之一。系统从实际出发，利用先进的摄像设备实时监测安全线的轧压现象，通过精确的图像处理，准确提取违章车辆的牌照号码，同时提供完善的数据管理功能，该文结合对系统核心技术的剖析，详细论述论证设计方案的可行性。     

企业网络信息管理系统的总体设计

介绍了企业网络信息管理系统总体设计方案，提出了软、硬件的设计方案和实现方法。该系统可以实时掌握控制各职能部门的运营状况，有效地调配企业资源，提高企业的市场竞争能力。     

建立福州市、县级行政区域界线信息管理系统的探讨

结合福州市行政区域界线勘查工作已结束的实际和社会信息化发展的趋势，提出建立该市市、县级行政区域界线信息管理系统的重要性，对该系统的基本框架、实施方案、建立步骤及与“数字福建”接轨等问题进行了初步讨论，提出了建议。     

起重搬运作业的安全风险分析

用安全系统的理论和方法 ,以起重作业为研究对象 ,通过危险识别 ,对造成人员损伤的危险事件发生的可能性和导致伤害后果的严重程度 ,进行了定性的风险分析 ,介绍了我国采取的针对性综合管理对策     

钢筋混凝土烟囱有井架整体爬模施工技术

本文主要 根 据三 明 钢铁 厂130m~2 烧 结机 改造 工 程 60m 和 100m 烟 囱 的施 工实 例 ,详 细介 绍 了钢 筋 混凝 土烟 囱 有井架 整 体爬 模的 施 工新 方 法,并 取 得了 良好 的 效果 。     

HDPE装置超负荷低能耗生产方案的设计与实施

本文介绍大庆ＨＤＰＥ装置提高生产能力及产品质量的方法。通过采用釜外络合催化剂新技术和提浆液浓度可将ＨＤＰＥ装置聚合釜单釜的生产能力由４．７５ｔ／ｈ提高到５．０ｔ／ｈ，各项能耗下降，收到了增产降耗的显著效果，并使产品质量，产量，品种，能耗，物耗，环保６项指标全部达到了设计要求。     

大禹渡扬水工程枢纽沉沙池存在问题原因分析及对策

大禹渡扬水工程枢纽沉沙池是解决枢纽二级站水泵磨损及灌区渠道淤积的关键工程。现沉沙池沉沙效率低下，严重制约了灌溉效益的发挥。本文从沉沙池的建造历史、工程地质、池身结构、泥沙淤积等方面对沉沙池存在的问题进行了综合分析。     

Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

基于森林火灾平台的红外图像识别技术研究

森林火灾探测一直是森林资源保护工作中的老大难问题。早期的火灾探测技术多是基于火灾的烟雾和温度特征的,但其判别标准过于单一,误报率较高。随着计算机技术的发展和红外探测器的发明,出现了基于红外图像处理的森林火灾防护技术,该技术主要对红外探测器获得的森林现场的红外图像进行一定的处理后识别图像中是否有火灾出现。本文的主要工作是进行红外图像增强算法的研究,通过对各种算法的描述和仿真实验结果分析,提出一种相对较适合森林背景红外图像的处理算法一将基于频域处理的提升小波变换与直方图修正结合起来的红外图像增强算法。     

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.