基于时空域特征的垂直划痕检测与修复

为检测与修复旧电影中常见的垂直划痕,分析垂直划痕在单帧和相邻帧图像的时域和空域特性。在分析垂直划痕形成原因、特征和微分运算基本原理的基础上,提出一种基于时空域特征的垂直划痕检测与修复算法。实验结果表明,该算法能有效地检测旧电影中的垂直划痕,并能够准确地修复垂直划痕处丢失的图像信息,经该算法修复后的旧电影具有较好的视觉效果。     

融合深度信息的视觉注意计算模型

针对Itti模型在特征选择上的局限性,借鉴心理学中有关视觉注意的研究成果,提出一种融合深度信息的视觉注意计算模型。该模型在基于图像分割的自适应立体匹配基础上提取深度特征,与亮度、方向、颜色特征相结合,实现空间显著性度量,并采用侧抑机制和WTA机制得到注意焦点。实验结果表明,新模型能较好地反映空间立体视觉信息对注意的影响,使计算结果能更符合人类视觉。     

区间序信息系统及其属性约简算法

在不含决策属性的区间序信息系统中,区间偏序关系的不完备性造成信息流失。针对该问题,提出一种新的基于区间模糊数的区间序全序关系,以此建立区间序信息系统,并分析其相关上、下近似的单调性和包含性。采用不可区分函数的方法,给出区间序信息系统的属性约简算法,并通过算例验证了该算法的有效性。     

基于组件的加权组合错误注入测试方法

在传统错误注入方法的基础上,结合组合变异测试技术,提出一种面向组件的错误注入加权组合测试方法。对组件环境的注入条件设置加权因子,在组件集成测试系统平台下面向第三方组件进行注入测试,自动生成XML格式的测试监控日志。实验结果表明,该方法能依据组件的软件环境发现并分析从高风险到低风险的组件漏洞。     

基于竞争型网络的连续属性离散化方法

连续属性的离散化是粗糙集理论的主要问题之一.针对粗糙集理论只能处理离散数据的局限性,提出基于属性决策表和竞争型网络的连续属性离散化方法.首先使用条件属性与决策属性之间的决策关系来度量条件属性的重要性,并据此对条件属性按照重要性由小到大排序,然后利用竞争型网络分类功能找到连续属性的断点,从而实现了对连续属性的离散化.算法分析和实验证明算法是切实可行的.     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

数据库模式自动测试方法的研究

数据库在现代应用软件系统中具有重要的作用,数据库的正确性直接影响应用软件的功能正确性和性能可靠性,而传统的软件测试往往忽略对数据库数据结构的测试.针对这个问题,提出了一种自动检查数据库模式的方法,提取需求分析的E-R模型和数据库逻辑模型的信息,将概念模型与逻辑模型进行比较,发现数据和数据之间的不一致或冲突.实验结果表明,采用这种方法能够尽早地发现数据库设计和实现的错误,使系统功能测试能建立在正确的数据库基础上.     

中心扩散法局部区域纹理映射

为更好地实现对三维模型局部细节的描写,提出一种中心扩散局部区域纹理映射方法.该方法以初始种子面为中心,采用广度优先搜索方法扩散确定待映射区域,保证待映射区域获得更好的圆度.在实现根据初始种子面的位置变化改变映射区域位置的同时,可始终保证纹理图像中心与纹理映射区域中心的对应,避免了纹理图像中心在纹理映射区域的中心偏移问题.实验结果表明了该方法的可行性.     

遵循AISG2.0协议的固件更新策略设计

以电调天线远程控制单元为研究背景,介绍了一种遵循AISG2.0规范的固件更新策略的设计实现过程.针对传统远程固件更新策略存在的不足,提出利用MCU片内Flash进行固件存储的设计思路.依据AISG2.0中的相关规范,设计和实现了固件下载和固件激活功能.实际应用证明,该方案稳定、可靠、安全性好.     

一种无线传感器网络实际环境测试系统

为实现无线传感器网络(WSNs)在实际环境下的综合性能测试,提出了一种无线传感器网络测试系统。系统采用全实物布置策略,以基于Linux操作系统的测试床为核心;支持多个节点和异构节点的通用测试,能够满足大规模、通用性和可扩展性需求;功能丰富,支持对节点的在线编程、电源控制以及状态监测。