-
公开(公告)号:CN105608006A
公开(公告)日:2016-05-25
申请号:CN201510982321.0
申请日:2015-12-22
申请人: 武汉工程大学
IPC分类号: G06F11/36
CPC分类号: G06F11/3612 , G06F11/3684
摘要: 本发明公开了一种基于概率模型的程序错误检测方法及系统,该方法包括以下步骤:S1、获取概率模型和待检测程序,从待检测程序中提取待检测的函数调用序列集合;S2、获取单个待检测的函数调用序列,求解最相似的函数调用序列集合,并计算联合概率;S3、根据相似集合对该待检测序列进行检测并生成修复方案;S4、完成该待检测序列的检测和修复后,记录检测到的各个错误信息及修复方案;S5、对待检测集合中的所有待检测序列检测完毕后,输出程序错误报告。本发明无需处理概率模型转换到确定性模型时的阈值选择问题,能够快速的检测程序中的错误,且检测准确率高。
-
公开(公告)号:CN105389819A
公开(公告)日:2016-03-09
申请号:CN201510776198.7
申请日:2015-11-13
申请人: 武汉工程大学
CPC分类号: G06T5/006 , G06T2207/10032
摘要: 本发明公开了一种鲁棒的半标定下视图像极线校正方法及系统,该方法包括以下步骤:S1、获取无人飞行器每一成像时刻下视相机拍摄的图像,相机的内参数矩阵,以及无人飞行器的惯导系统提供的姿态参数,构建平行于地平面的虚拟成像环境;S2、对不同成像时刻的图像分别提取特征点,构建初始特征点对应集合;并根据该集合得到变换后的特征点对应集合;S3、构建概率表达模型,计算无人飞行器的航向与正北方向的夹角;S4、计算单应变换矩阵,并根据该矩阵,对每一成像时刻的图像进行极线校正。本发明能够快速的完成校正,并且能够得到精度较高的校正图像,对于无人机辅助导航等应用领域具有重要的指导意义。
-
公开(公告)号:CN105354841A
公开(公告)日:2016-02-24
申请号:CN201510687565.6
申请日:2015-10-21
申请人: 武汉工程大学
CPC分类号: G06T5/40 , G06T2207/10032
摘要: 本发明公开了一种快速遥感影像匹配方法及系统,该方法包括以下步骤:S1、获取基准影像和待匹配影像并对其进行粗匹配,分别对两幅影像构建积分直方图,根据待匹配影像与基准影像积分直方图的相似度确定候选匹配区域;S2、对待匹配影像和候选匹配区域进行精匹配,具体步骤为:S21、在待匹配影像和候选匹配区域中进行特征提取,并构建特征点匹配集合;S22、根据特征点的匹配集合构建概率表达模型和特征点映射的形式化表达;S23、根据最大期望算法剔除误匹配,计算得出精确匹配模型,并通过精确匹配模型得到影像的精确匹配区域。本发明大大缩短了影像匹配的过程,提高了匹配的精度和算法的鲁棒性。
-
公开(公告)号:CN110688368B
公开(公告)日:2023-06-20
申请号:CN201910929085.4
申请日:2019-09-28
申请人: 武汉工程大学
发明人: 陈灯 , 张哲泓 , 魏巍 , 张彦铎 , 李晓林 , 鞠剑平 , 唐剑影 , 刘玮 , 段功豪 , 卢涛 , 周华兵 , 李迅 , 于宝成 , 徐文霞 , 鲁统伟 , 闵峰 , 朱锐 , 彭丽 , 王逸文
IPC分类号: G06F16/21 , G06F16/2458 , G06F16/28
摘要: 本发明公开了一种构件行为模型挖掘方法与装置,该方法包括:S1)运行包含构件的软件,动态采集构件的带参行为交互序列,构成序列集合;S2)合并具有不同参数值的相同构件行为交互序列;S3)基于合并后的构件行为交互序列构建一棵树;S4)合并树中的等价节点获得有限状态机R’;S5)根据参数观察值集合归纳参数的不变式作为有限状态机R’中对应边的守护条件;S6)计算有限状态机R’中构件行为满足参数不变式的概率;S7)基于步骤S6)中迁移发生的概率得到最终的带参概率自动机表示的构件行为模型。本发明考虑了构件行为模型中参数‑构件行为之间的依赖关系并采用概率模型对模型挖掘过程中的噪声进行有效处理,可获得更精确的构件行为模型。
-
公开(公告)号:CN111213595A
公开(公告)日:2020-06-02
申请号:CN201811426123.6
申请日:2018-11-27
申请人: 武汉工程大学
摘要: 本发明设计了一种体温充电的动物电子耳标及充电方法,包括充放电管理单元M1、体温发电单元M2、电池单元M3、无线通讯单元M4、温度传感器M5和位置传感器M6;M1对M3的充电和放电进行管理;M2与M1电连接,M2通过动物的体温进行发电并对M3进行充电。本发明采用动物体温进行发电,无需更换动物电子耳标电池或者人工充电,极大的节省了大规模农场牲畜养殖的人力成本。还可以对动物体温和位置进行实时监控,可根据体温对动物疫情进行远程预警分析和快速早期诊断;根据位置信息对动物轨迹进行追踪,防范动物走失。
-
公开(公告)号:CN105389819B
公开(公告)日:2019-02-01
申请号:CN201510776198.7
申请日:2015-11-13
申请人: 武汉工程大学
摘要: 本发明公开了一种鲁棒的半标定下视图像极线校正方法及系统,该方法包括以下步骤:S1、获取无人飞行器每一成像时刻下视相机拍摄的图像,相机的内参数矩阵,以及无人飞行器的惯导系统提供的姿态参数,构建平行于地平面的虚拟成像环境;S2、对不同成像时刻的图像分别提取特征点,构建初始特征点对应集合;并根据该集合得到变换后的特征点对应集合;S3、构建概率表达模型,计算无人飞行器的航向与正北方向的夹角;S4、计算单应变换矩阵,并根据该矩阵,对每一成像时刻的图像进行极线校正。本发明能够快速的完成校正,并且能够得到精度较高的校正图像,对于无人机辅助导航等应用领域具有重要的指导意义。
-
公开(公告)号:CN106657547A
公开(公告)日:2017-05-10
申请号:CN201610860142.4
申请日:2016-09-28
申请人: 武汉工程大学
CPC分类号: H04M1/663 , H04M1/6505
摘要: 本发明公开了一种防止骚扰电话的方法及系统,其中方法包括如下步骤:在移动通讯设备端拦截所有来电并获取主叫号码;参照通讯录和黑名单,对获取的主叫号码进行识别;若主叫号码在黑名单中,自动挂断来电;若主叫号码在通讯录中,进入正常接听流程;若主叫号码既不在通讯录也不在黑名单中,为疑似骚扰电话,进入疑似骚扰电话处理流程;疑似骚扰电话处理流程包括语音身份验证和语音留言;本发明不仅可以有效地拦截骚扰电话,还可避免错过重要电话。
-
公开(公告)号:CN105631420A
公开(公告)日:2016-06-01
申请号:CN201510995238.7
申请日:2015-12-23
申请人: 武汉工程大学
CPC分类号: G06K9/00342 , G06K9/6269
摘要: 本发明公开了一种基于3D骨架的多视角室内人体行为识别方法,包括以下步骤:1)获取人体运动在正视角、斜视角和侧视角三个角度的视频;所述视频包括训练视频和测试视频;2)通过体感设备提取视频中人体骨架3D特征;所述三维骨架特征包括全局运动特征和手臂、腿部局部运动特征;3)训练模型;通过训练视频中的人体骨架3D特征进行特征描述,得到训练特征集;具体如下:对三维骨架特征进行在线字典学习;然后稀疏主成分分析进行降维,形成特征集数据集;4)输入测试视频的样本的特征集,通过线性支持向量机(LSVM)进行识别。本发明方法实现了多角度动作的分类识别,克服了单视角识别算法的局限性,更具有研究价值和实际应用价值。
-
公开(公告)号:CN105243636A
公开(公告)日:2016-01-13
申请号:CN201510852303.0
申请日:2015-11-27
申请人: 武汉工程大学
IPC分类号: G06T3/00
CPC分类号: G06T3/0093
摘要: 本发明公开了一种基于MRLS-TPS的图像变形方法及系统,该方法包括以下步骤:S1、输入原图像、权值参数α和正则化参数λ,并从原图像中选取控制点集合和该控制点集合对应的目标点集合S2、取径向基函数作为TPS核,根据TPS核构建控制点集合的核矩阵K,并根据TPS模型构建变形映射模拟函数fp,fp可以分解为一个全局的仿射变换矩阵A和一个局部的弯曲函数gp;S3、根据S2中的公式求解原图像中每个像素点的权重矩阵W、核向量Kp及变形映射函数fp;S4、根据变形映射函数的集合{fp(p)},通过逆向映射获得变形图像。本发明的优点为:(1)变形后的图像可以很好地保留细节;(2)变形函数具有简单封闭解;(3)它具有非常高的计算效率。
-
公开(公告)号:CN116843564A
公开(公告)日:2023-10-03
申请号:CN202310766063.7
申请日:2023-06-26
申请人: 武汉工程大学 , 武汉市中西医结合医院(武汉市第一医院) , 武汉畅拟信息技术有限公司
IPC分类号: G06T5/00 , G06T5/50 , G06N3/0455 , G06N3/08
摘要: 本发明涉及一种图像去噪方法、装置、电子设备及存储介质,方法包括:获取去噪系统模型,去噪系统模型包括多层次特征提取模块、特征融合模块以及Transformer模块,获取实验含噪图像以及对应的辅助特征图像,并对实验含噪图像进行预处理,得到目标图像,将目标图像以及辅助特征图像输入到去噪系统模型中,通过多层次特征提取模块对目标图像以及辅助特征图像进行特征提取,得到特征图像,并通过特征融合模块,将特征图像经过融合处理,得到融合图像,通过Transformer模块,将融合图像基于辅助特征引导的注意力机制处理,得到去噪图像。
-
-
-
-
-
-
-
-
-