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

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

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

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

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

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

选煤厂设备巡检系统设计

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

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

嵌入式虚拟仪器(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.     

从两次洪水分析中看非工程措施对防洪的影响

本文通过对赣江流域袁河“82·6”和“89·7”两次大洪水的分析比较,得出结论:准确的水情预报和水库工程正确的调度方式,能减轻下游防洪负担,最大限度地减少洪灾损失,夺取抗洪斗争的胜利。文中提醒人们,在防汛工作中,应把非工程措施提高到相当的地位来加以重视。     

Cisco路由器流量采集软件的研制

网络流量能反映网络的运行状态,是网络管理领域中重要的研究课题。随着网络技术的发展,网络应用的不断深入,网络的有效性、安全性分析尤显重要,直接分析网络实时流量,将具有非常重要的意义。NetFlow是Cisco公司为实现流量统计和流量分析而开发的一种协议,使用NetFlow可以方便地进行大规模的流量采集。通过对NetFlow协议原理与功能的分析,可以设计一种NetFlow流量分析器,该分析器能够对NetFlow流量数据进行采集、分析和显示,实现网络的异常流量监测、流量统计和综合流量分析,并能及时地发现网络攻击。     

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

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