-
公开(公告)号：CN105608006A
公开(公告)日：2016-05-25
申请号：CN201510982321.0
申请日：2015-12-22
Applicant: 武汉工程大学
IPC: G06F11/36
CPC classification number: G06F11/3612 , G06F11/3684
Abstract: 本发明公开了一种基于概率模型的程序错误检测方法及系统，该方法包括以下步骤：S1、获取概率模型和待检测程序，从待检测程序中提取待检测的函数调用序列集合；S2、获取单个待检测的函数调用序列，求解最相似的函数调用序列集合，并计算联合概率；S3、根据相似集合对该待检测序列进行检测并生成修复方案；S4、完成该待检测序列的检测和修复后，记录检测到的各个错误信息及修复方案；S5、对待检测集合中的所有待检测序列检测完毕后，输出程序错误报告。本发明无需处理概率模型转换到确定性模型时的阈值选择问题，能够快速的检测程序中的错误，且检测准确率高。
-
公开(公告)号：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)中迁移发生的概率得到最终的带参概率自动机表示的构件行为模型。本发明考虑了构件行为模型中参数‑构件行为之间的依赖关系并采用概率模型对模型挖掘过程中的噪声进行有效处理，可获得更精确的构件行为模型。
-
公开(公告)号：CN111213595A
公开(公告)日：2020-06-02
申请号：CN201811426123.6
申请日：2018-11-27
Applicant: 武汉工程大学
Abstract: 本发明设计了一种体温充电的动物电子耳标及充电方法，包括充放电管理单元M1、体温发电单元M2、电池单元M3、无线通讯单元M4、温度传感器M5和位置传感器M6；M1对M3的充电和放电进行管理；M2与M1电连接，M2通过动物的体温进行发电并对M3进行充电。本发明采用动物体温进行发电，无需更换动物电子耳标电池或者人工充电，极大的节省了大规模农场牲畜养殖的人力成本。还可以对动物体温和位置进行实时监控，可根据体温对动物疫情进行远程预警分析和快速早期诊断；根据位置信息对动物轨迹进行追踪，防范动物走失。
-
公开(公告)号：CN106657547A
公开(公告)日：2017-05-10
申请号：CN201610860142.4
申请日：2016-09-28
Applicant: 武汉工程大学
CPC classification number: H04M1/663 , H04M1/6505
Abstract: 本发明公开了一种防止骚扰电话的方法及系统，其中方法包括如下步骤：在移动通讯设备端拦截所有来电并获取主叫号码；参照通讯录和黑名单，对获取的主叫号码进行识别；若主叫号码在黑名单中，自动挂断来电；若主叫号码在通讯录中，进入正常接听流程；若主叫号码既不在通讯录也不在黑名单中，为疑似骚扰电话，进入疑似骚扰电话处理流程；疑似骚扰电话处理流程包括语音身份验证和语音留言；本发明不仅可以有效地拦截骚扰电话，还可避免错过重要电话。
-
公开(公告)号：CN110688368A
公开(公告)日：2020-01-14
申请号：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)中迁移发生的概率得到最终的带参概率自动机表示的构件行为模型。本发明考虑了构件行为模型中参数-构件行为之间的依赖关系并采用概率模型对模型挖掘过程中的噪声进行有效处理，可获得更精确的构件行为模型。
-
Patent Agency Ranking
公开(公告)号：CN104932865A
公开(公告)日：2015-09-23
申请号：CN201510405107.9
申请日：2015-07-10
Applicant: 武汉工程大学
Abstract: 本发明公开了一种组件协议挖掘方法、装置及系统，该方法包括：发送开始插桩指令至所述N个客户端，所述开始插桩指令中携带有需要挖掘的类的M个函数的函数标识，M为大于1的整数；接收所述N个客户端发送的所述M个函数的函数调用信息；所述函数调用信息是所述N个客户端基于所述开始插桩指令收集的信息；根据所述函数调用信息更新所述服务器中存储的所述类的组件协议。本发明提供的方法、装置及系统用以解决现有技术中的组件协议挖掘方法存在的人力耗费大和挖掘效率低的技术问题。实现了降低数据获取人力成本，提高组件协议挖掘效率的技术效果。
-
公开(公告)号：CN105608006B
公开(公告)日：2018-06-08
申请号：CN201510982321.0
申请日：2015-12-22
Applicant: 武汉工程大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于概率模型的程序错误检测方法及系统，该方法包括以下步骤：S1、获取概率模型和待检测程序，从待检测程序中提取待检测的函数调用序列集合；S2、获取单个待检测的函数调用序列，求解最相似的函数调用序列集合，并计算联合概率；S3、根据相似集合对该待检测序列进行检测并生成修复方案；S4、完成该待检测序列的检测和修复后，记录检测到的各个错误信息及修复方案；S5、对待检测集合中的所有待检测序列检测完毕后，输出程序错误报告。本发明无需处理概率模型转换到确定性模型时的阈值选择问题，能够快速的检测程序中的错误，且检测准确率高。
-
公开(公告)号：CN107507223A
公开(公告)日：2017-12-22
申请号：CN201710632021.9
申请日：2017-07-28
Applicant: 武汉工程大学
CPC classification number: G06T7/246 , G06K9/6211 , G06K9/6223 , G06T5/002 , G06T7/11 , G06T7/136 , G06T7/194 , G06T7/251 , G06T2207/10016 , G06T2207/20024
Abstract: 本发明公开了一种动态环境下基于多特征聚类匹配的目标跟踪方法，该跟踪方法在动态环境下采用结合三帧差分法和背景差分法为自适应目标检测方法，为跟踪系统设计一个独立的前景检测模块，能够最大限度的提取出目标，也能对噪声的抵抗性较强，并结合特征聚类方法并进行消除错误匹配的特征点完成匹配跟踪。
-
公开(公告)号：CN104932865B
公开(公告)日：2017-10-10
申请号：CN201510405107.9
申请日：2015-07-10
Applicant: 武汉工程大学
Abstract: 本发明公开了一种组件协议挖掘方法、装置及系统，该方法包括：发送开始插桩指令至所述N个客户端，所述开始插桩指令中携带有需要挖掘的类的M个函数的函数标识，M为大于1的整数；接收所述N个客户端发送的所述M个函数的函数调用信息；所述函数调用信息是所述N个客户端基于所述开始插桩指令收集的信息；根据所述函数调用信息更新所述服务器中存储的所述类的组件协议。本发明提供的方法、装置及系统用以解决现有技术中的组件协议挖掘方法存在的人力耗费大和挖掘效率低的技术问题。实现了降低数据获取人力成本，提高组件协议挖掘效率的技术效果。
-
公开(公告)号：CN105068789A
公开(公告)日：2015-11-18
申请号：CN201510404171.5
申请日：2015-07-10
Applicant: 武汉工程大学
IPC: G06F9/44
Abstract: 本发明公开了一种对象使用场景提取方法及装置，该方法包括：获取目标类的第一对象使用场景；所述第一对象使用场景为依第一顺序调用的N个函数的序列；根据目标类确定第一父类；第一父类为目标类的父类；从N个函数中确定出L个函数；L个函数均为第一父类的函数；N≥L＞1；按照第一顺序排列L个函数，以生成第一父类的第二对象使用场景；第二对象使用场景为第一对象使用场景的继承子对象使用场景。本发明提供的方法及装置用以解决现有技术中进行组件协议挖掘时，存在的对象使用场景数量不足的技术问题。实现了可以通过运行少量应用程序来获得大量的对象使用场景的函数调用序列的技术效果。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.017 seconds)
