实时历史数据库中压缩技术的并行化研究

实时历史数据库系统需要极高的数据压缩速度,但传统的压缩算法都使用串行处理,数据压缩和文件读写都要耗费大量的时间.为了提高数据压缩速度,提出一种并行压缩算法,首先把待处理数据分成若干小块,然后通过对块数据压缩、解压缩、文件读写并发处理,充分发挥多核处理器的高性能.并设计出一种适合并行压缩算法的压缩数据存储文件格式和一个数据段信息循环链表,通过多线程编程技术来实现并行压缩算法.使用工程实测数据在多核处理器系统上的实验表明,并行压缩算法可以极大地提高数据压缩速度,满足实时历史数据库的需求.     

基于OBDD的描述逻辑εL循环术语集推理

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图（ordered binary decision diagram,简称OBDD）是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.     

一种基于近邻传播算法的最佳聚类数确定方法

在聚类分析中,决定聚类质量的关键是确定最佳聚类数,对此,从样本几何结构的角度定义了样本聚类距离和样本聚类离差距离,设计了一种新的聚类有效性指标．在此基础上,提出一种基于近邻传播算法确定样本最佳聚类数的方法．理论研究和实验结果表明,所提出的指标和方法能够有效地对聚类结果进行评估,适合于确定样本的最佳聚类数．     

改进的LS-SVM方法在EMD端点效应问题中的应用

经验模态分解能有效处理非平稳、非线性信号,但在多次采用三次样条插值获取信号上、下包络的过程中容易产生影响分解精度的端点问题。为了抑制经验模态分解中存在的端点效应问题,提出了一种基于最小二乘支持向量机和镜像延拓的端点效应抑制方法。该方法采用最小二乘支持向量机对原始信号序列两端分别向左、右各延拓有限个数据点;用镜像延拓对延拓后的信号序列进行对称延拓处理,将其延拓成一个环形信号序列;对这一环形信号序列进行经验模态分解。通过对仿真信号以及真实脑电信号进行实验分析以及与其他延拓方法的对比,结果表明该方法能够有效抑制端点效应问题,并在抑制端点效应问题方面优于传统的支持向量机和最小二乘支持向量机。     

企业预算管理系统的设计与实现

本文介绍了利用信息化手段完善财务管理的现状,解决财务预算工作中存在的问题。为了使企业的财务预算制度执行得更有效率、更易于管理,介绍了一套企业预算管理的信息化实施方案。通过对需求的分析,给出了预算管理系统的功能模型。采用面向对象的设计和分析方法,使用统一建模语言对系统进行了建模,详细分析和设计了系统的用例图、静态结构模型及动态行为模型,最后使用基于B/S结构的三层模型架构实现了该系统。     

战时装备保障仿真及评估系统建模

现代高技术战争中,装备保障的作用愈加重要.计算机仿真是衡量战时装备保障效能和保障方案合理性最有效的评估手段.该文对战时装备保障的基本过程进行了分析,利用面向对象的方法抽象了战时装备保障的仿真模型.着重对保障机构描述模型、毁伤分析模型、保障指挥模型和保障行动模型进行了研究,并对基于仿真结果的评估模型进行了设计.该文为战时装备保障仿真及评估提供了一种有效的建模思路,是对复杂巨系统进行仿真研究的积极尝试.     

基于GIS组件开发B/S结构的水利工程管理系统研究

针对水利工程管理系统开发中GIS应用需求特点,比较了现有GIS开发技术,选择组件式GIS开发方案。系统开发采用B／S体系结构．利用GIS组件实现水利工程空间数据处理、分析、显示功能,并与应用系统进行有机集成,为水利工程管理业务基于WebGIS的开发探索出一种可行的开发方案。     

区块链与可搜索加密结合的电子病历共享方案

电子病历（Electronic Medical Record,EMR）数据的共享被认为是提高医疗服务质量和降低医疗成本的关键方法。然而,EMR分散存储在各个医疗机构中,这阻碍了数据共享,并使患者的隐私面临风险。为了解决这些问题,提出了一个基于区块链的EMR隐私保护数据共享方案。将原始EMR安全地存储在私有链中,而将关键词索引保存在联盟链中,从而有效降低医疗数据泄露的风险,并保证EMR的不可篡改性。利用布尔函数改进基于密文策略属性的关键字搜索算法,用属性上的布尔公式指定表达性访问策略,有效优化了带宽和通信消耗,并引入了门限签名机制,有效地缩短了密文长度。使用私有链服务器执行配对操作,使得搜索速度更快。通过公共验证者检查搜索结果,保证了数据安全并降低了计算开销。安全性和性能分析的结果表明,该方案是实现EMR数据共享的一种安全有效的方法,可减轻用户设备的额外计算负担,最小化带宽和通信消耗。     

基于机器视觉的珍珠光洁度在线自动分级

为代替耗时的传统人工分选,设计了一种基于机器视觉的珍珠光洁度在线自动分级系统。首先,该系统在珍珠自由落体时对珍珠进行全方位成像;然后对图像进行实时分析,计算珍珠的有效特征;最后,根据多图的有效特征确定珍珠的光洁度等级。实践证明,该系统不但提高了珍珠光洁度的分选效率,而且节省了企业的生产成本。     

精细构造解释在双龙地区的应用

双龙地区构造复杂,断层繁多,属于典型的断块油气藏,因此,准确确定断层及其次生断层的位置至关重要,针对这一问题．开展三维地震资料目标处理来提高地震资料的品质,在此基础上应用各种地震解释技术,对构造进行精细解释,并对区内断层进行了重新组合,取得新的认识,以及很好的应用效果。