搜索结果: 136-144 共查到“知识库 计算机制造与检测”相关记录144条 . 查询时间(2.108 秒)
将Ambrosio和Tortorelli提出的Mumford-Shah椭圆泛函逼近模型推广到彩色图像情形.推广模型将彩色图像建模为黎曼流形上的嵌入曲面,据此将刻画不同颜色通道间方向梯度差异的物理量——向量积项引入能量泛函中目标的正则化部分,进而建立了新的能量泛函.从理论上证明了新能量泛函的Gamma收敛性,推导了最优化能量泛函所满足的欧拉-拉格朗日方程.利用最速下降法,提出了推广模型的一种有限差分...
基于相位信息的对称性检测算法
相位信息 对称性检测 计算机视觉
2007/11/1
提出一种基于相位信息的对称性检测新方法,将对称性检测问题转化为频域中的相位分析.文中的可行性分析、PSD的定义及其合理性证明为该算法奠定了理论基础.实验证明:该算法可直接应用于原始图像,不需要图像的任何先验知识,不需分割等任何预处理;具有旋转、亮度和对比度不变性;可以同时检测镜像对称、旋转对称、曲线对称等多种对称性.
符号化模型检测CTL*
模型检测 时态逻辑 有序二值判定图(OBDD)
2007/11/1
提出了一个关于时态逻辑CTL*的符号化模型检测算法.该算法通过所谓的tableau构造方法来判定一个有限状态系统是否满足CTL*规范.根据该理论,作者已实现了一个基于OBDD技术的CTL*符号化模型检测工具MCTK,并完成了相当数量的实验.到目前为止,已知有名的符号化模型检测工具,如SMV和NuSMV等,都只能对CTL*的子集逻辑(如CTL,LTL)进行检测,而文中算法的结果是令人满意的,并且当规...
提出了一种由滤波管道、检测管道构成的闭环管道算法用于检测与跟踪复杂云天背景下的点目标.引入了基于单帧局部对比度门限的预处理算法进行杂波抑制,设计了基于三帧图像相关性分析的连续滤波器进行噪声剔除.实验分析表明,该算法不仅能够检测出作任意轨迹运动的点目标,而且能够有效地预测跟踪窗.它在搜索空间的缩小、计算复杂性的降低以及杂波剔除方面优于传统的管道算法.
基于人脸轮廓信息和面部区域信息的互补性,提出了一种新颖的基于融合算法的轮廓-区域人脸检测器:采用一种新的特征提取方法有效地刻画人脸轮廓模式;基于支持向量机分别训练人脸轮廓分类器和面部区域分类器;基于最小错误率Bayes决策规则融合人脸轮廓和面部区域分类器。该文分别在标准头部图像库、BioID人脸图像库(灰度人脸图像库)和彩色人脸图像库上测试了轮廓-区域人脸检测器。大量的实验结果表明了所提出的轮廓-...
TCP同步湮没是最常见也是最重要的拒绝服务攻击,研究其防范措施对保障网络安全具有重要意义.为弥补状态检测防火墙和基于服务器方案等传统对策的不足,湮没检测系统FDS在叶节点路由器上监控TCP控制分组,根据“SYN-FIN匹配对”协议特性对本地统计信息进行分析以检测攻击.为保护大规模网络,该文将基于代理的分布式入侵检测理论与湮没攻击检测结合,给出了面向硬件的简化系统SFDS.以SFDS作为集成在路由器...
基于时态知识模型的网络入侵检测方法研究
入侵检测 时态知识模型 可变滑动窗口 模式提取算法
2007/11/1
在分析国内外现有入侵检测技术和系统的基础上,提出了一种基于时态知识模型和可变滑动窗口的实时模式提取算法,并在此基础上,实现了基于规则的、层次化的智能入侵检测原型系统(RIDES).实验结果表明:该系统不仅能快速检测网络入侵,而且具有一定的学习能力,能够适应不同的网络应用环境.
基于锁集合的动态数据竞争检测方法
软件分布式共享存储系统 域一致性模型 数据竞争 增强发生序 JIAJIA
2007/11/1
数据竞争使得共享存储程序难于调试.以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现.这种方法有一个重要缺点,即针对程序的一种输入,对程序的一次执行进行检测,不能检测出所有的可行数据竞争.文中利用存储一致性模型的框架模型,针对域一致性模型提出了增强发生序概念,并依此得出一种基于锁集合的动态数据竞争检测算法,克服了这个问题.在软件DSM系统JIAJIA上的实现获得了很好的性能,...