基于模型检测的半结构化数据查询

在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化查询语言在查询效率上存在着不足。文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率。最后,给出了该方法在现有半结构化查询语言Lorel上的应用。

网格环境下CGSP-DAI性能的研究和分析

随着网格技术的迅速发展,海量复杂的结构化数据成为网格计算应用的主要难题,数据库技术在网格环境中的作用也变得尤为重要。对OGSA-DAI(Open grid services architecture-Date access and integration)的核心基础进行扩展,提出了一种构建在网格环境下异构数据库访问与集成的基础构架,通过虚拟表机制来集成各种异构的数据库资源,从而更加有效地在网格环境下访问和集成异构数据库,并且在大数据量查询和分布式联合查询方面做了一定的前瞻性工作。针对与单个虚拟表和多个虚拟表之间的分布式联合查询,设计两种典型实验场景,详细分析了CGSP-DAI的相关性能数据,验证了CGSP-DAI的可用性和有效性。

基于非线性动力学的脑血流自动调节能力评估

脑血流自动调节能力反映了循环系统的代偿能力,它的量化评估对脑血管疾病治疗与预防具有重要研究意义。本文利用非线性动力学中的互近似熵对脑血流自动调节能力进行了研究。实验结果发现该方法能实现实时、连续量化评估脑血流自动调节能力,为脑血流自动代偿能力及脑血管病的预后评估提供了一种有益的方法。

基于PLC的提升机制动系统监控设计

根据提升机现场运行的需要,设计了以PLC为下位机控制核心,WINCC作为上位机控制核心的提升机制动装置监控系统。实现了对提升机制动系统的闸瓦间隙值、制动油压值等参数的实时监测,显示和故障报警,以及数据存储,报表打印和查询等功能,有效提高了提升机制动系统的安全性和可靠性。

一种基于小波域中视觉门限模型的灰度数字水印算法

数字水印技术作为数字产品版权保护的一项新技术,已受到越来越多的关注。为保证水印的鲁棒性,利用人类的视觉特性,文章提出一种基于离散小波变换数字水印技术,并给出了攻击分析。其中,采用灰度图像作为数字水印,具有二维信号可视化的优点。实验表明,该算法能够经受住噪声、高斯滤波、压缩、直方图均衡化、增加对比度等的处理,具有较强的鲁棒性,是一种行之有效的水印嵌入方法。