Attribute filter based infrared and visible image fusion

Infrared and visible image fusion is an effective image processing technique to obtain more comprehensive information, which can help people better understand various scenarios. In this paper, a novel infrared and visible image fusion method is proposed which fully considers the attributes of objects in source images. Benefiting from the attribute and the edge-preserving filters, the prominent objects in the infrared source image are effectively extracted. Then, the weight-based Laplacian pyramid fusion strategy is adopted to get more natural fusion results. The experimental results on the public image fusion datasets and a new infrared–visible video fusion dataset show that the proposed method achieves state-of-the-art fusion performance in terms of both visual and objective evaluations. The proposed algorithm is also implemented in an infrared–visible dual sensor system, which demonstrated the practicability of our fusion method.     

描述逻辑 ALC中的 ABOX 反绎推理算法

鉴于已有的描述逻辑 ALC中 ABOX 反绎推理算法需要转化到 FOL上处理,涉及了大量变元和Skolem 项的使用.ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在 ALC 上处理 ABOX 反绎推理问题的算法.该算法将 ABOX 反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解.     

基于属性和主体、操作和客体分层描述的逻辑授权语言

安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特.奴,而现有的授权语言不能很好地适应这一特点,并不能对多种访问控制策略提供足够的支持。提出了一种基于属性和主体、操作和客体分层描述的逻辑授权语言((SOOSAL) 。SOOSAL以一阶逻辑为基础,通过谓词对主体、客体和操作进行刻画,并以分层的方式通过规则对主体、操作和客体之间的关系进行描述。此外,SOOSAI从逻辑语义世界假设的角度对现实世界中的策略进行了分类:封闭性世界策略和开放性世界策略,并对这两种策略的安全性进行了讨论,给出安全性问题的简单解决方案。实例结果表明,SOOSAI、具有较强的策略描述能力,能更好地实现策略的动态变化,并对不同的安全需求和授权原则提供良好的支持。     

Web协同应用中基于文档划分的一致性维护模型

针对已有的Web协同应用中的一致性维护方法会带来严重的服务器耗费问题,提出了一种基于文档划分的一致性维护模型。该模型在操作转换算法SLOT(symmetric linear operational transformation)的基础上引入文档划分的思想。从降低服务器通信和内存耗费的角度出发,结合用户数量和操作频率的变化,给出一种动态的文档划分策略及其实现算法。仿真实验结果表明,该模型可以有效地降低大规模协同应用中服务器的通信和内存耗费。     

捷联惯导系统罗经对准仿真研究

分析了传统的平台式惯导的理论基础、给出了控制框图,在此基础上,将平台罗经对准的思想应用到捷联惯导系统的罗经对准,研究了捷联式惯导系统罗经自对准技术,给出了根据捷联罗经对准的指标求罗经控制参数的公式和罗经对准的理论对准误差,建立捷联罗经对准的连续控制系统模型,并将该连续控制系统的模型离散化,得到捷联惯导系统罗经对准的离散控制系统模型,由于实际应用中,罗经对准只能通过程序的形式串行实现,将捷联惯导系统罗经对准的离散控制系统模型转化为等效的程序实现.通过对连续控制系统、离散系统和等价的串行程序3种实现方式进行仿真,仿真结果表明了捷联惯导罗经对准的有效性,罗经对准实际误差和理论误差的一致性,以及3种对准方式的等价性.     

云数据库研究

随着云计算的发展,云数据库的重要性和价值日益显现.介绍了云数据库的特性、影响、相关产品.详细讨论了云数据库领域的研究问题,包括数据模型、系统体系架构、事务一致性、编程模型、数据安全、性能优化和测试基准等.最后讨论了云数据库未来的研究方向.     

弱连接网络环境中的多主机文件同步

移动网络,广域网环境下,因终端频繁的加入与离开,以及网络的不稳定,造成节点的任意分隔.为避免网络分隔对可用性的影响,支持用户对任意副本的更新,文中实现了文件自动同步服务,Robin.通过设置在线服务器作为中转节点,可支持任意数目节点的扩展,在节点维护数据的弱一致性.Robin结合了状态比对和变化监控两种更新发现机制,增强同步的实时性.为解决并发更新对文件系统完整性的破坏,以及同步文件被占用造成合并更新失败等问题,Robin采用基于操作的冲突检测与处理.为不同的更新操作设置合并依赖条件,失败处理策略.为减少更新操作,Robin将文件系统日志中的多个变化事件合并为更新操作,保存在操作队列中,并进一步消除冗余操作.     

一种构建于DSM的移动对象的全时态索引方法

移动对象索引技术是移动对象数据库这个新兴的热点领域中的关键技术之一.针对该技术处理数据的繁琐复杂特性,提出构建于DSM的移动对象索引方法 DSM_MSMON,在分布式系统中并行的管理移动对象的信息,支持更新和查询操作.DSM_MSMON统一了单机和多机的内存管理策略,解决了DSM系统中的数据定位、一致性维护、负载平衡和可扩充性等主要问题,有效地提高了移动对象索引的效率.文中给出DSM_MSMON的设计思想和模型,并分析了DSM_MSMON的关键技术和程序流程.实验结果表明,该方法要优于MSMON结构.     

一种改进的基于粗糙集理论的特征选取方法

借鉴已有的特征选取方法和粗糙集相关理论,本文提出了一种改进的基于粗糙集理论的特征选择方法,其主要思想是通过构造粒度函数将其应用于特征在分类中的重要性度量和约简,最后通过实验验证了该方法是有效的,并能够显著降低文本特征维数,提高分类的效率和精度。     

质量驱动的Web服务组合研究

对影响服务组合效率的因素进行探讨,从服务质量中提取五个关键属性。分析这些属性值的特征及对服务组合所起的作用,给出服务质量属性规范化的计算方法,并由规范化的属性组成服务组合的质量矩阵,计算出服务组合的整体质量属性值,为用户选择组合方案提供依据。