A Generalization of a Lower Bound Technique due to Fredman and Saks

{In a seminal paper of 1989, Fredman and Saks proved lower bounds for some important data-structure problems in the cell probe model. In particular, lower bounds were established on worst-case and amortized operation cost for the union-find problem and the prefix sum problem. The goal of this paper is to turn their proof technique into a general tool that can be applied to different problems and computational models. To this end we define two quantities: Output Variability depends only on the model of computation. It indicates how much variation can be found in the results of a program with certain resource bounds. This measures in some sense the power of a model. Problem Variability characterizes in a similar sense the difficulty of the problem. } Our Main Theorem shows that by comparing a model's output variability to a problem's problem variability, lower bounds on the complexity of solving the problem on the given model may be inferred. The theorem thus shows how to separate the analysis of the model of computation from that of the problem when proving lower bounds. We show how the results of Fredman and Saks fit our framework by computing the output variability of the cell probe model and the problem variability for problems considered in their paper. This allows us to reprove their lower bound results, and slightly extend them. The main purpose of this paper though is to present the generalized technique. Received January 25, 1999; revised July 30, 1999.     

WWW上路径模式发掘的研究

本文从互连网发展的趋势入手,对路径模式发掘进行了研究。先简要介绍数据库发掘的概况及网上数据发掘的特点,后结合关联法和组合概率法,并以算法和实例详细对之进行分析。     

BPL: A set-based language for distributed system prototyping

Rapid prototyping of software and hardware is recognized as a very important step in timely, cost-effective system development. The complexity inherent in designing distributed computing systems and distributed problem solutions emphasizes the need for effective rapid prototyping tools. ADL/ADS is a testbed user interface tool for experimentation with critical research and design issues pertaining to distributed data processing (DDP). The experimenter expresses a candidate distributed system in terms of experiment objects, along with attributes and relationships. The experiment objects represent hardware, software, and behavior. This paper provides a brief overview of ADL/ADS, and gives especial emphasis to the Behavior Prototyping Language (BPL) within ADL/ADS. BPL is designed for expressing Behavior Modules (B_MODULEs)—the most versatile of the behavior objects. BPL incorporates set-theoretical approaches, and provides syntax designed for effectively describing manipulations of experiment objects, and their attributes and relationships.     

基于数据挖掘的评教系统的设计与实现

为了提高评教数据在教学管理中的利用率,更加有效地为学校的决策服务。本文在研究了数据仓库、OLAP分析、数据挖掘技术的基础上,设计和实现了评教系统,实现了对评教数据的综合分析和深入挖掘。使用该系统后,教学管理部门改变了对评教数据的使用方式,提高了利用率,认识和理解更加深人和全面。     

减震油弹性模量及疲劳特性试验台设计与实现

油液的体积弹性模量以及疲劳特性参数是油液非常重要的物理参数,在液压系统中,直接影响系统的稳定性和动态品质.研究设计了弹性模量及疲劳特性参数测试试验台,基于弹性模量的定义对弹性模量进行测量计算,同时以专用车辆油气悬挂装置为对象,对悬挂内液压油疲劳特性参数进行测试,如:温度、粘度等.完成控制系统以及数据采集系统的设计,与上位机实时通讯,实现测试过程的自动化.     

基于OpenGL的二维电法数据三维可视化技术研究

结合目前电法勘探数据成图及二维解释的特点及存在的局限性,研究了OpenGL和VC＋＋2005联合编程,结合二维剖面数据特点,研制了基于OpenGL的电法数据三维可视化系统Geo3DVis。Geo3DVis的基本功能包括工区建立、二维解释、三维显示;实现了对二维剖面数据的动态放大、缩小、平移等交互操作。将Geo3DVis应用于实际二维物探数据资料解释,取得了良好的地质效果。     

选举投票系统中主机软件的设计与实现

为了提高基于OCR技术的选举投票系统效率,提出了系统主机端软件的设计方法.该方法将主机端软件和票箱端软件统一起来考虑,充分考虑选举信息,利用选票中相关对象的位置数据设计选票,将选票格式数据发送到票箱,实现一系列选举投票系统功能,从而开发出一套主机端软件.该方法使得选票版面可以更复杂、基于选票格式数据而设计的票箱端识别软件定位速度更快,有效提高了系统效率,选举投票系统更加完善.     

基于PLC的工业发酵自动控制解决方案

介绍了工业发酵自动化系统的构成，详细讲解了PLC在啤酒发酵罐区监控系统中，数据采集和对现场执行机构动作监控方面的应用。     

舰船综合保障中数据综合管理研究

介绍了舰船综合保障数据综合管理的有关内容，包括信息数据分类、数据综合管理功能分类以及综合保障数据库的设计思路．根据舰船的特点设计了舰船综合保障数据管理系统的硬件框架、软件体系、开发以度数据库工具．所研究的设计思路已在某船舶综合保障信息管理系统中得到应用,证明该设计模式是科学、可行的