生态研究数据库系统的设计与开发

列表类型数据是生态研究中最为常见的数据形式。在分析列表类型数据特征及其与元数据关系,数据安全和共享策略等问题基础上,提出了生态研究列表类数据管理系统设计和开发方案。研究认为数据集的元数据不仅是对数据集实体的说明,而且一定程度上决定着数据集实体的内容和数量,以及数据集实体之间的内在联系,这种联系正是进行列表类型数据管理依据所在。

基于分布式内存数据库的HIRFL-CSR真空监控系统

This paper introduced a real-time vacuum monitor system based on multilayer Web architecture for HIRFL-CSR(Heavy Ion Research Facility of Lanzhou & Cooler Storage Ring) project in Lanzhou.It combined with COM/DCOM to develop the application layer,and developed the web layer with ActiveX and Ajax technology.It provided a facility and efficiency method for real-time control.The application shows that this system runs stably and accurately.中文文摘：简要介绍了国家"九五"重大科学工程——兰州重离子加速器冷却储存环(HIRFL-CSR)真空监控系统的总体结构,分析了在Web构架下,基于分布式内存数据库的多层真空监控系统的实现方法。采用分布式内存数据库,解决了基于Web构架的分布式实时应用环境下对系统和网络资源的消耗问题。在软件控制方面采用了统一调度,既简化了软件实现过程,又提高了系统的安全性、高效性和易维护性。该系统已成功运行。

冷却存储环虚拟加速器的数据交互系统

介绍了兰州重离子加速器冷却存储环(HIRFL-CSR)为重离子治癌而改造的控制系统中的数据交互系统,数据交互系统是CSR虚拟加速器的核心。该系统能实现对256个能量级的束流控制,为以后深层重离子治癌做好准备。系统主要采用Java,COM,Oracle,ARM,DSP,FPGA等技术实现了对磁铁电源的实时、同步控制,已达到对束流的控制及束流在不同能量级间的切换控制。该系统已经运行于冷却存储环主环(CS-Rm)的束流慢引出调试中,性能稳定,能满足物理人员的要求。

重离子加速器束运线数据库系统设计优化

描述了兰州重离子加速器冷却储存环(HIRFL-CSR)束运线电源参数数据库系统的设计优化。依托HIFEL-CSR的主数据库系统Oracle,设计了电源电流的读取界面,实现电源的实时监控,建立了新的电源参数数据库分系统,并实现了Oracle数据库系统和Access数据库系统的数据互存,建立了方便的参数打印、查询界面。

CSRe团簇内靶的真空与分子泵监测系统的设计

介绍了国家重大科学工程项目——兰州重离子加速器冷却存储环(HIRFL-CSR)的实验环(CSRe)团簇内靶真空与分子泵监测系统。该系统主要通过一个应用程序获取各真空规及分子泵的状态值,并存入、更新Oracle数据库。浏览器上的ActiveX从Oracle中读取各设备状态值进行显示,如果状态值在警戒范围,则做出相应的控制操作。该系统在实验测试中运行良好,能满足实验的要求。

CSRe与RIBLLⅡ实时数据交互系统

介绍了国家重大科学工程项目——兰州重离子加速器冷却存储环(HIRFL-CSR)的实验环(CSRe)以及RIBLLⅡ的子系统——实时数据交互系统。该系统主要实现对前端电源设备的实时同步控制,具体的实现方法是从控制Web界面输入的前端控制设备所需的数据信息传送至中心Oracle数据库,再更新至前端服务器的Oracle数据库,随后传送至ARM板中的sqlite数据库,给DSP板提供输入数据信息,通过同步触发事例对电源设备进行同步实时控制。该系统正在RIBLLⅡ的测试中,运行正常、可靠性强、性能稳定。

HIRFL-CSR嵌入式数据库的设计实现

本文论述了用于兰州重离子加速器冷却储存环(HIRFL-CSR)控制系统的嵌入式数据库的设计和实现方法。控制系统采用三级数据库实现集中管理、分布式控制。前两级基于Windows平台,采用Oracle数据库通过ODBC进行互联,第三级根据控制系统的需要,采用基于嵌入式Linux平台的SQLite数据库引擎通过高速互联网与前两级交换数据。中控室预先将波形数据、事例表等分散存储到前端嵌入式数据库中,实验时,再由嵌入式数据库将数据传递给波形发生器DSP。在同步触发的控制下,DSP根据得到的波形数据产生所需的控制波形,进而控制电源、控制磁场,达到实验目的。

基于COM的HIRFL-CSR电源远程监控系统

本文介绍了兰州重离子加速器冷却储存环(HIRFL-CSR)最新改造后的电源远程监控的总体设计,包括硬件和软件方面的设计。该系统采用了COM组件实现前端服务器Oracle数据库与前端被控设备数据的交互,以及WEB服务器与中心Oracle数据库的数据交互,实现了控制人员对设备的远程监控。这样有利于对电源设备状态的实时监控,以及电源系统与各子系统的数据交互。该系统已经在现场经过测试,性能稳定。

RIBLLⅡ与CSRe中束流控制系统的设计

介绍了兰州重离子加速器冷却存储环(HIRFL-CSR)的实验环CSRe以及次级束线RIBLLⅡ中束流控制系统的设计。该系统主要采用了Java,COM,Oracle,ARM,DSP,FPGA等技术实现了对磁铁电源的实时、同步控制,已达到对束流的控制。该系统已经运行于现场的束流调试中,并在RIBLLⅡ的束流调试中运行正常、性能稳定。

CSR控制系统的大规模多级分布式数据交互系统

CSR控制系统是一个庞大的网络分布式控制系统,它是由许多子系统组成。大规模多级分布式数据交互系统是CSR控制系统中的核心。它是实现CSR束流多能量级连调的核心，它涉及整个CSR控制系统的数据传输以及数据结构定义。大规模多级分布式数据交互系统的开发是基于螺旋模型，采用螺旋模型进行开发能最优实现CSR控制系统的需求以及各开发阶段具有很大的设计灵活性。该大规模多级分布式数据交互系统完全实现了采集数据的上行和控制数据的下行，系统通过网页实现对控制数据的录入以及对采集数据的实时显示。CSR所有数据都存储于Oracle数据库系统，数据库系统是一个三级分布式数据库系统，这样能均衡各前端服务器的资源与性能。前端服务器COM组件通过TCP/IP与ARM控制器和多功能控制器进行数据上行下行的数据交互，以及通过PCI 接口实现与各FPGA板卡进行数据交互。 论文论述了对大规模多级分布式数据交互系统、网页系统、Oracle数据库系统、COM组件库、PCI驱动程序以及各软件系统的设计实现。对大规模多级分布式数据交互系统主要从系统的结构、各级硬件设计和各级软件系统的设计这几个方面进行论述；网页系统主要描述了该系统是基于MVC框架模型的开发设计并介绍了JavaBean与Oracle数据库系统的数据交互；Oracle数据库系统主要从二级Oracle数据库的自动实时更新，和各触发器系统这几方面进行论述；又从各COM接口的功能方法进行对COM组件库的全面论述；PCI驱动程序的设计开发是与各FPGA板卡的数据交互的必须条件。大规模多级分布式数据交互系统的软件开发都采用了螺旋模型对其进行开发。本文的工作是CSR控制系统中的核心部分，具有重要的意义，同时也给同行研究工作者提供了重要的参考。 本文核心及创新点：1、创造性地提出了大规模多级分布式数据交互系统软件工程。2、三级分布式数据库系统的自动实时更新。3、采用web+Oracle+COM+PCI+ARM+FPGA+DSP的多级数据传输。4、设计并实现虚拟加速器。 从现场调试运行和验收的情况来看，大规模多级分布式数据交互系统不论从结构设计，还是软硬件设计开发都达到了设计要求

CSR运行数据组织软件系统

CSR运行数据组织软件系统是CSR工程控制系统的重要组成部分，它是CSR同步控制系统的最上层，是CSR调束中统领整个CSR运行的核心系统，负责对CSR运行设备的数据进行组织和管理、对同步事例进行组织和调度，从而实现对其同步控制。本系统是建立在各个子系统硬件同步基础之上的，通过使用数据组织软件来使这些具有同步功能的各个子系统的硬件按照调速研究人员的思路同步协调地运行。本文主要解决了CSR控制工程中CSR运行数据组织软件系统的设计和实现问题，软件实现方案有两种：第一种是运行在本机的文件数据库和Windows客户；第二种是运行在网络上的Oracle数据库和Web客户。这两种解决方案都是建立在数据库和网络技术上的。同时，数据库的实时性与可靠性也是建立在网络技术基础之上的。文本的创新点：通过数据预先计算、分发技术、同步事例组织技术，降低了实时性对CSR控制系统，特别是对高速以太网的要求，并实现了具有精确定时的控制和监测硬件的同步触发，使得CSR控制系统完全能够满足控制和监测的实时性要求。CSR运行数据组织软件的可靠性是通过TCP/IP网络协议技术以及控制硬件的内置软件的可靠性来保证的

CSR控制系统数据结构的设计与组织

本论文主要讲述了作为CSR控制系统信息存储和关系协调中心的CS尺数据库系统及其BLOB、信息录入等相关内容的研究、设计和实现。我们选用Oracle作为数据库平台，并使用Rose对oracle进行建模，解决复杂的表关系和大量的表结构，完成了许多CSR系统的数据库建设。开发了操作Oracle中BLOB字段的Cokl组件，解决了高速的大数据块的存储问题。采用ASP完成了CSR数据库信息录入系统，使操作人员通过网络完成各个子系统有关信息的录入。这些都已可靠、高效、方便的用于实际的控制系统中。创造胜地提出了CSR数据库软件工程，CSR数据库命名规范，CSR数据库数据字典，CSR数据库安全策略等，以及完成了CSR数据库缩写管理系统，CSR数据库字段管理系统CSR数据库表视管理系统等。这些开发规范和管理系统在实际的数据库开发中起着指导和辅助作用。

对称加密方案的密文验证安全性

文中研究由密文的完整性检查而导致的数据保密性问题,提出一个新的安全概念——加密方案在密文验证攻击下的不可区分性(IND-CVA:indistinguishability ofencryption scheme under ciphertext verification attacks)来刻画加密方案在这种情况下的保密安全性。IND-CVA允许敌手访问加密oracle和密文验证oracle。与IND-CPA和IND-CCA相比,IND-CVA比IND-CPA稍微强些,但要比IND-CCA弱得多。IND-CVA能使多数常用的加密方案(如:OTP,CBC,及CTR)得以满足。并且,这个IND-CVA可以恰当地刻画安全信道的保密安全性。将认证方案和加密方案结合起来是保证通信安全的一种常用方法。然而,在IND-CVA模型下,当利用认证方案来加强保密安全性的时候,却有可能反而破坏了原有的保密安全性。IND-CVA揭示了完整性对保密性的影响,准确刻画了安全信道的保密性要求,为协议设计提供了有益的参考。

实例依赖的可验证随机函数的高效构造

实例依赖的可验证随机函数是由文献[1]提出的一个新的密码学概念,它也是构造高安全性的零知识协议(如可重置零知识论证系统)的一个强有力的工具,而这些高安全性的零知识协议在智能卡和电子商务中有着重要的潜在价值。基于非交互ZAP证明系统和random oracle模型中∑OR-协议,给出了实例依赖的可验证伪随机函数的两个高效的实现和相应的安全性证明,提升了这一工具的应用价值。

地理信息系统的新时代:网格地理信息系统

地理信息系统经过40多年的发展,形成了包括地理信息系统技术、地理信息科学和地理信息服务(科学)的综合体系,关注的重点已从技术软件系统转向信息服务。回顾历史可以知道:现代意义上的商业地理信息系统软件产品始于20世纪80年代初,也不过只有20多年的发展历史,然而发展速度之快,令人震惊。目前国际上的GIS软件厂商除了有ESRI、MapInfo等品牌GIS基础平台提供商之外,一些大型IT企业,如微软、Oracle、Google等也根据自己对行业的理解,或成立空间信息技术解决方案的部门,或通过并购等形式进入到