公开(公告)号：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)中迁移发生的概率得到最终的带参概率自动机表示的构件行为模型。本发明考虑了构件行为模型中参数-构件行为之间的依赖关系并采用概率模型对模型挖掘过程中的噪声进行有效处理，可获得更精确的构件行为模型。

公开(公告)号：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: 武汉工程大学

Inventor： 陈灯 ,  魏巍 ,  张彦铎 ,  李晓林 ,  李迅 ,  于宝成 ,  卢涛 ,  周华兵 ,  鲁统伟 ,  闵峰 ,  朱锐 ,  彭丽 ,  刘睿琪 ,  张哲泓 ,  王逸文

IPC: A01K11/00 ,  H02J7/32 ,  H02N11/00

Abstract: 本发明设计了一种体温充电的动物电子耳标及充电方法，包括充放电管理单元M1、体温发电单元M2、电池单元M3、无线通讯单元M4、温度传感器M5和位置传感器M6；M1对M3的充电和放电进行管理；M2与M1电连接，M2通过动物的体温进行发电并对M3进行充电。本发明采用动物体温进行发电，无需更换动物电子耳标电池或者人工充电，极大的节省了大规模农场牲畜养殖的人力成本。还可以对动物体温和位置进行实时监控，可根据体温对动物疫情进行远程预警分析和快速早期诊断；根据位置信息对动物轨迹进行追踪，防范动物走失。