基于遥感案例推理的海岸带养殖信息提取

目前基于目视解释或光谱分类的养殖信息提取效率低,难以克服由于地物混杂带来的“椒盐”噪声现象且难以融合地学知识。针对养殖信息提取中存在的问题,首先在分析现有养殖信息提取方法和案例推理CBR(Case\|Based Reasoning)用于遥感图像处理的基础上,提出基于遥感案例推理的海岸带养殖信息提取的研究思路;其次,结合养殖区域的空间特征和属性特征,构建案例的表达模型以及CBR相似性推理模型;最后,对不属于案例构建区的粤西沙田镇进行养殖信息提取的CBR实验,精度达到84.56%。对比CBR方法和传统监督分类方法可知,CBR方法是实现海岸带养殖信息快速准确提取的一种有效手段。     

基于小波多尺度分析的光纤陀螺振动误差分析与建模

针对振动环境对光纤陀螺性能的影响,对某型号的光纤陀螺进行了线振动实验并对实验结果进行了Allan方差分析。利用小波多尺度变换提取了光纤陀螺误差模型中的各误差项,分析并验证了零漂及噪声误差与Allan方差分析误差系数中的量化噪声、角度随机游走以及零偏误差与误差系数中的零偏稳定性、速率随机游走、速率斜坡之间的对应关系。随后利用RBF神经网络对小波多尺度分析提取的零偏误差建立模型并进行了补偿。仿真结果表明,本文提出的方法有效减小了振动环境下各误差项对光纤陀螺性能的影响, Allan方差分析结果中的五个误差系数均有较大下降,其中两项误差系数下降了一个数量级及以上,极大提高了光纤陀螺在振动环境下的输出精度,对光纤陀螺在振动环境下的误差研究具有重要指导意义。     

一种用户行为分析的动态备份机制

目前大多数分布式存储系统采用静态备份机制保证系统的高可靠性,灵活性差,不适合系统规模及用户访问量不断变化的存储系统．因此提出一种基于用户行为分析的动态备份机制,通过分析用户行为获得相关信息来动态改变备份数量及确定备份位置,具有较强的灵活性,适合大规模的分布式存储系统;实现动态备份系统将其应用于已建立的科技信息数据中心．通过实验分析表明,该动态备份机制能提高系统的可靠性。     

小议计算机综合考试系统设计与开发

自从八十年代以来,我国各种新型的计算机综合考试系统都得到了迅速的发展,通过自己开发和引进新技术等等方式方法,我国已经建立起了很多种新型的计算机综合考试系统,其中,有一部分的系统能都已经接近或者达到了国际先进的水平,计算机综合考试系统已经成为了考试产品一项十分重要的功能,并且关系到了计算机使用的价值、使用的条件以及使用的寿命等等,对人们工作生活、生产生活的质量产生了影响,对于保证我国计算机综合考试系统质量一直都具有十分重要的地位。伴随着我国社会生活条件不断得到了改善,人们对自己生活的质量越来越重视。近些年来,伴随着我国的社会科技不断发展,人们已经越来越重视自身生活的质量,在计算机应用条件上面的要求也越来越高。本文中,笔者就对计算机综合考试系统设计与开发进行浅谈。     

土石坝工程领域的若干创新与发展

我国高土石坝数量居世界之首,保证高坝大库建设与长期运行安全是国家经济和公共安全保障的重大需求。系统总结了长江科学院近年来在土石坝工程领域的若干创新与发展。提出了基于“旁压模量当量密度法”的粗粒料级配相似理论试验方法;介绍了研发的系列CT三轴仪,实现了粗粒料组构要素的定量测量;提出了三轴试验中加载板与试样之间由滑动摩擦变为滚动摩擦、整体式接触变为分散式接触的减摩新方法,研发了相关减摩装置;研制了大尺寸、高压力、微摩擦、刚柔复合加载的土工真三轴仪;揭示了粗粒料真实三维应力条件下的强度与变形变化规律、湿化与蠕变变形特性;构建了粗粒料三参量非线性K-K-G剪胀模型、六参数湿化模型、九参数蠕变数学模型及相应的参数确定方法;基于当量密度法的原创思想,提出了利用旁压试验间接确定超百米级深厚覆盖层现场密度的试验方法。上述研究成果可为高土石坝工程建设提供重要科技支撑。     

选煤厂设备巡检系统设计

针对传统的选煤厂设备管理方法存在漏检漏查、无专用仪器、数据处理繁琐等问题,提出了一种新型的选煤厂设备巡检系统的设计方案。在巡检线路及设备上安装相应的感应卡,巡检人员携带巡检仪到各点读卡,把代表该点的卡号和时间记录下来,同时完成规定的巡检和数据采集工作,然后进行下一点的巡检任务;巡检工作完成后将巡检仪的数据传送到监控计算机,由巡检数据综合信息管理软件进行处理,从而达到对巡检情况进行记录和考核的目的。实际应用表明,该系统运行稳定、功能实用。     

基于虚拟仪器的扭矩测试系统的设计与实现

针对国内扭矩扳手检测设备工作效率低下的问题,研究开发了一款基于虚拟仪器的新型扭矩自动测试系统;系统上位机采用了虚拟仪器开发平台LabWindows/CVI,下位机辅助平台以单片机为核心构建,利用RS485通讯技术,实现了对扭矩的自动加载和精确测量;通过合理的软硬件方案设计,使系统最重要的技术指标测量精度达到了3‰;软件以组件式的设计思想编制,提高了软件的质量和扩展性;经过实际使用证明,该系统能够显著提高扭矩扳手的检测效率,具有较高的实用性。     

嵌入式虚拟仪器软件可重构设计技术研究

嵌入式虚拟仪器(EVI)软件可重构是指框架和功能的重构;结合面向对象技术和组件技术,系统地阐述了软件可重构模块化设计的原理、软件可重构算法、可重构软件结构框架设计和可重构软件开发方法;通过分析可重构软件的设计原理和设计思路,提出了一套比较详细的可重构软件的开发方法;经工程实践应用,设计方法合理可行,有效提高了嵌入式虚拟仪器软件的开发效率,达到软件复用及重构的目的。     

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.     

An efficient algorithm for maxdominance, with applications

Given a planar setS ofn points,maxdominance problems consist of computing, for everyp S, some function of the maxima of the subset ofS that is dominated byp. A number of geometric and graph-theoretic problems can be formulated as maxdominance problems, including the problem of computing a minimum independent dominating set in a permutation graph, the related problem of finding the shortest maximal increasing subsequence, the problem of enumerating restricted empty rectangles, and the related problem of computing the largest empty rectangle. We give an algorithm for optimally solving a class of maxdominance problems. A straightforward application of our algorithm yields improved time bounds for the above-mentioned problems. The techniques used in the algorithm are of independent interest, and include a linear-time tree computation that is likely to arise in other contexts.The research of this author was supported by the Office of Naval Research under Grants N00014-84-K-0502 and N00014-86-K-0689, and the National Science Foundation under Grant DCR-8451393, with matching funds from AT&T.This author's research was supported by the National Science Foundation under Grant DCR-8506361.