基于形式化概念分析和概念相似性度量的程序重组方法

形式化概念分析已被证明是一种支持模块重组的有效工具.然而,在使用概念分析进行模块重组时,仍存在一些问题有待进一步解决.本文提出一种自动化的遗留软件重组方法,用于从识别的模块化方案中获取一种最佳解决方案.通过在概念分析过程中引入概念抽象、哑概念和概念相似性度量等新的特性,有助于解决现有方法的不足.概念抽象用于表示候选模块...     

基于粒计算的商业数据流概念漂移特征选择

商业数据流具有动态性、漂移性等特性,概念漂移特征选择是数据流挖掘的重要工作之一.本文从数据流的特点和概念漂移特性出发,提出了数据流的概念形式化分析流程和基于粒计算构建数据流的概念形式化描述模型;商业数据流的概念漂移实际上取决于其概念外延的变化,文中使用包括外延偶合度和内涵偶合度在内的概念偶合度来描述概念间的相似性;经过粒化的数据流由概念格来表示,进而通过概念格对的松弛偶合度来分析数据流特征;结合概念偶合分析和数据流变化特征,阐述了一种基于数据流概念格对的松弛匹配偶合度算法,并据此分析概念格对来选择数据流的漂移特征.通过实例验证、评价了特征选择,证明其有效性.     

高清晰度电视系统三维色域研究

根据相加混色原理,建立了常规色域的三维数学模型,在CIE1976LUV三维色度系统与Pointer物体真实表面色色域作了色度学比较.结果表明,常规HDTV传输系统之所以不能传输或重显全部Pointer色域,并不单纯因为色域范围小,两个色域涵盖的颜色范围有差别也是重要原因.这对需要从三维和颜色覆盖范围方面研究色域问题具有...     

非双倍测度下多线性Calderón-Zygmund算子及其交换子在Herz型空间上的有界性

本文引入非齐型空间上的Herz空间,并证明了多线性Calderon-Zygmund算子及其交换子在这些空间上的有界性.     

p-集合及其测度空间

将P-集合的概念从有限集合推广到任意集合,在给定测度空间的基础上依据测度论的有关知识给出了P-集合的动态盯一代数,提出了具有动态特征的P-测度空间。在任意普通集合的基础上研究P-集合,为P-集合在信息安全中的应用提供了可靠的理论保证。     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

再生核空间中求解一类变系数偏微分方程

利用共轭算子给出了一类变系数偏微分方程的级数形式解的逼近解.避免了施密特正交化.证明了逼近解的收敛性.数值算例验证了本方法不仅有效而且精度高.     

β-统计收敛与收敛的关系

利用β-统计收敛说明统计收敛、A-统计收敛、缺项统计收敛、λ-统计收敛及强统计收敛分别是β-统计收敛的特殊形式,并分别给予测度刻画.考察β-统计收敛与一般序列收敛之间的关系,得到统计收敛、λ-统计收敛及强统计收敛与收敛之间的等价描述.     

基于视频的火灾监控关键技术研究

本文研究的主要内容是对火焰视频进行检测,寻找出火焰区域.设计上选用RGB色彩空间和HSV色彩空间对视频进行火焰区域检测,同时针对火焰颜色、形态以及动态特性给出了图像处理和识别的算法.通过多次实验证实本文结合RGB与HSV的思路对火焰检测有一个良好的效果.     

封闭环形连续钢箱梁人行天桥不同减振方法的研究

针对某钢箱连续人行天桥特殊的结构形式及振动特性,建立空间有限元模型,以跨中竖向位移及加速度减振率为标准,通过理论计算比较TMD减振效果与频率调整法减振效果,结果表明对于该桥频率调整法减振效果远远优于TMD减振效果,可见TMD减振系统并不是适用于所有结构,所得结论可供同类桥型减振设计参考使用.