-
公开(公告)号:CN105468530A
公开(公告)日:2016-04-06
申请号:CN201510976002.9
申请日:2015-12-22
Applicant: 武汉工程大学
IPC: G06F11/36
CPC classification number: G06F11/3624
Abstract: 本发明公开了一种基于有限状态机的程序错误检测方法及系统,该方法包括以下步骤:S1、获取有限状态机和待检测程序,从待检测程序中提取待检测的函数调用序列集合;S2、从待检测集合中获取单个待检测的函数调用序列,求解有限状态机中与该待检测序列距离最短的函数调用序列;S3、比较待检测序列和距离最短序列进行错误检测与定位;S4、完成该待检测序列的检测和修复后,记录检测到的各个错误信息及修复方案;S5、对待检测集合中的所有待检测序列检测完毕后,输出程序错误报告。本发明没有协议转换造成的开销和精度损失,能够准确的定位到程序错误的产生点,具有较高的定位精度,并且能够自动生成错误修复方案。
-
公开(公告)号:CN104899862A
公开(公告)日:2015-09-09
申请号:CN201510153103.6
申请日:2015-04-01
Applicant: 武汉工程大学
Abstract: 本发明公开了一种基于全局与局部阈值的视网膜血管分割算法。该方法包括以下步骤:首先,提取视网膜图像中目标与背景对比度较高的绿色通道图像并采用多尺度多方向滤波方法来增强图像;其次,在增强图像上分别使用全局阈值二维最大熵与局部阈值移动平均算法对图像进行分割以获取视网膜的主血管与细小血管部分;最后,通过区域连通性的判断,将视网膜的主血管与细小血管进行结合,分割出最终的血管网络。本算法分割效果好,考虑到使用单一阈值方法无法有效提取整体血管网络,有效结合了全局阈值二维最大熵与局部阈值移动平均的优点,分割得到的血管在细小部分更为丰富,具有较好的连通性。本发明适用于正常及病变的视网膜图像的血管分割。
-
公开(公告)号:CN103681429A
公开(公告)日:2014-03-26
申请号:CN201310725895.0
申请日:2013-12-25
Applicant: 武汉工程大学
IPC: H01L21/68
CPC classification number: H01L21/68
Abstract: 本发明提供一种芯片固晶机的控制方法及控制系统,获取运动平台的图像,图像中包含晶圆信息;根据图像确定运动平台上的晶圆与被操作对象的位置关系;根据得到的位置关系控制末端执行器运动,使得运动平台上的晶圆运动至其目标位置;控制末端执行器进行固晶。本发明通过视觉引导的方式对固晶机进行控制,具有定位效果好,不会出现机械平台运动出现抖动及定位位置的整体偏移的问题。
-
公开(公告)号:CN113688702B
公开(公告)日:2024-04-26
申请号:CN202110921847.3
申请日:2021-08-12
Applicant: 武汉工程大学
IPC: G06V20/00 , G06V10/77 , G06V10/764 , G06V10/44 , G06V10/52 , G06V10/80 , G06V10/82 , G06N3/0464
Abstract: 本发明公开了一种基于融合多特征的街景图像处理方法,包括以下步骤:待处理的街景图像经过卷积神经网络后得到C个特征信息图;将C个特征信息图均复制l份,并分别划分为大小不一的区域,然后将分好区域的图均输入三个池化层,对每幅图均进行平均池化计算、最大池化计算与广义平均池化计算;将经池化计算后的各个区域中的相同尺度向量归为一列,并将所有尺度向量进行串联,得到一个l*C维的多维特征向量;将三种池化层得到的多维特征向量进行拼接,得到最终的全局特征,并输入到全连接层进行降维。本发明能够有效提取图像特征,降低训练的复杂性,提高检索的精确率。
-
公开(公告)号:CN110688368B
公开(公告)日:2023-06-20
申请号:CN201910929085.4
申请日:2019-09-28
Applicant: 武汉工程大学
Inventor: 陈灯 , 张哲泓 , 魏巍 , 张彦铎 , 李晓林 , 鞠剑平 , 唐剑影 , 刘玮 , 段功豪 , 卢涛 , 周华兵 , 李迅 , 于宝成 , 徐文霞 , 鲁统伟 , 闵峰 , 朱锐 , 彭丽 , 王逸文
IPC: G06F16/21 , G06F16/2458 , G06F16/28
Abstract: 本发明公开了一种构件行为模型挖掘方法与装置,该方法包括:S1)运行包含构件的软件,动态采集构件的带参行为交互序列,构成序列集合;S2)合并具有不同参数值的相同构件行为交互序列;S3)基于合并后的构件行为交互序列构建一棵树;S4)合并树中的等价节点获得有限状态机R’;S5)根据参数观察值集合归纳参数的不变式作为有限状态机R’中对应边的守护条件;S6)计算有限状态机R’中构件行为满足参数不变式的概率;S7)基于步骤S6)中迁移发生的概率得到最终的带参概率自动机表示的构件行为模型。本发明考虑了构件行为模型中参数‑构件行为之间的依赖关系并采用概率模型对模型挖掘过程中的噪声进行有效处理,可获得更精确的构件行为模型。
-
公开(公告)号:CN110705416B
公开(公告)日:2022-03-01
申请号:CN201910905515.9
申请日:2019-09-24
Applicant: 武汉工程大学 , 武汉引行科技有限公司 , 武汉创逸灵科技有限公司
Inventor: 陈灯 , 魏巍 , 张彦铎 , 吴云韬 , 李晓林 , 刘玮 , 于宝成 , 周华兵 , 段功豪 , 卢涛 , 李迅 , 彭丽 , 徐文霞 , 谢良 , 王世勋 , 王司恺 , 王逸文
IPC: G06V20/59 , G06V10/764 , G06K9/62 , G06N3/04 , G06N3/08
Abstract: 本发明涉及汽车安全驾驶预警设备领域,尤其涉及一种基于驾驶员面部图像建模的安全驾驶预警方法及系统,方法包括:获取驾驶员的历史面部图像及与历史面部图像对应的汽车振动传感器的振动样本数据;并按预设规则对历史面部图像添加预警类别标签,获得安全预警面部图像库作为预设卷积神经网络的输入,训练生成安全预警分类模型;将实时面部图像作为训练后的安全预警分类模型的输入,并获得安全预警分类模型输出的待检测驾驶员的实时面部图像对应的预警类别;根据预警类别,对应执行报警任务。本发明提供的技术方案无需人工选定特征,能够避免传统图像处理算法中特征提取不完备性的问题,具有更高的预测精度,减少误报率和漏报率。
-
公开(公告)号:CN113688702A
公开(公告)日:2021-11-23
申请号:CN202110921847.3
申请日:2021-08-12
Applicant: 武汉工程大学
Abstract: 本发明公开了一种基于融合多特征的街景图像处理方法,包括以下步骤:待处理的街景图像经过卷积神经网络后得到C个特征信息图;将C个特征信息图均复制l份,并分别划分为大小不一的区域,然后将分好区域的图均输入三个池化层,对每幅图均进行平均池化计算、最大池化计算与广义平均池化计算;将经池化计算后的各个区域中的相同尺度向量归为一列,并将所有尺度向量进行串联,得到一个l*C维的多维特征向量;将三种池化层得到的多维特征向量进行拼接,得到最终的全局特征,并输入到全连接层进行降维。本发明能够有效提取图像特征,降低训练的复杂性,提高检索的精确率。
-
公开(公告)号:CN113609857A
公开(公告)日:2021-11-05
申请号:CN202110828255.7
申请日:2021-07-22
Applicant: 武汉工程大学
IPC: G06F40/295 , G06F40/30 , G06K9/62 , G06N3/04 , G06N3/08
Abstract: 本发明公开了一种基于级联模型和数据增强的法律命名实体识别方法,包括以下步骤:对经过数据增强后的训练数据进行处理,构建带有上下文语义的字符级别的向量表示和带有上下文语义的词语级别的向量表示;S2、将两个向量表示进行融合;S3、使用BiLSTM双向长短记忆神经网络对融合字词特征的向量表示进行处理,提取文本的深层特征;S4、使用两个CRF条件随机场解码,得到实体序列和属性序列并拼接,得到最后的标签表示;S5、将最后的标签表示与验证集进行比较,调整模型参数信息,反复训练,得到最好的模型;S6、输入中文法律文书案列,模型自动进行判断并输出法律文书中的法律实体。
-
公开(公告)号:CN107329955B
公开(公告)日:2020-09-15
申请号:CN201710522402.1
申请日:2017-06-30
Applicant: 武汉工程大学
Abstract: 本发明公开了一种地理本体要素实例属性相似度的计算方法,包括以下步骤:将基础地理信息数据库转换为大规模地理本体库,构造地理本体;遍历地理本体构建关键属性对集合和辅助属性对集合;分别计算两个实例中关键属性对相似度和辅助属性相似度计算两个实例的综合相似度。该方法在计算要素实例相似度方面有更高的准确性。
-
公开(公告)号:CN111213595A
公开(公告)日:2020-06-02
申请号:CN201811426123.6
申请日:2018-11-27
Applicant: 武汉工程大学
Abstract: 本发明设计了一种体温充电的动物电子耳标及充电方法,包括充放电管理单元M1、体温发电单元M2、电池单元M3、无线通讯单元M4、温度传感器M5和位置传感器M6;M1对M3的充电和放电进行管理;M2与M1电连接,M2通过动物的体温进行发电并对M3进行充电。本发明采用动物体温进行发电,无需更换动物电子耳标电池或者人工充电,极大的节省了大规模农场牲畜养殖的人力成本。还可以对动物体温和位置进行实时监控,可根据体温对动物疫情进行远程预警分析和快速早期诊断;根据位置信息对动物轨迹进行追踪,防范动物走失。
-
-
-
-
-
-
-
-
-