公开(公告)号：CN109002601A

公开(公告)日：2018-12-14

申请号：CN201810738138.X

申请日：2018-07-06

Applicant: 西安电子科技大学

Inventor： 闫允一 ,  曹起鸣

IPC: G06F17/50

Abstract: 本发明涉及一种基于Petri网的FPGA系统的验证模型建模方法，主要解决了现有模型对数据不分类、无法具体描述FPGA系统功能的缺点。其实验方案是：步骤一，以moudle为粒度，获取FPGA程序的输入\输出变量、模块间的连接变量、时钟变量以及拓扑结构，并保存；步骤二，区分模块间连接变量具体分类为控制流变量、数据流变量两类，计算并保存所有变量的位宽度；步骤三，计算每个模块所有的输入状态，并通过信号仿真得到其对应的输出状态和对时钟的消耗；步骤四，将普通三元组Petri网模型改进为十元组Petri模型，将前三步获得的信息分别注入对应网元素，得到FPGA系统的基于Petri网模型的验证模型。据此为FPGA系统的可靠性评估提供一种全新的形式化建模方法。

公开(公告)号：CN108230367A

公开(公告)日：2018-06-29

申请号：CN201711395019.0

申请日：2017-12-21

Applicant: 西安电子科技大学

Inventor： 闫允一 ,  朱江 ,  曹起鸣

IPC: G06T7/262 ,  G06T5/00

Abstract: 本发明涉及一种对灰度视频中既定目标的快速跟踪定位方法，通过标准目标图像与视频帧序列中的图像做二维高斯核循环卷积求互相关矩阵，使用岭回归法处理互相关矩阵跟踪目标所处位置。当前帧的检测结果加权平均作为下一帧的标准目标图像。每帧标准目标图像自卷积并求其统计特征，两帧间特征化映射为尺度的改变，进而求得目标在运动过程中的尺度变化。同时通过离散傅里叶变换及其反变换将自相关矩阵做反卷积更新学习岭回归参数，用于下一帧求响应矩阵。本发明计算速度快，采用稠密采样；跟踪精度高；能够完全适应尺度变化，能适用于目标快速由远及近或由近及远的场景中。

公开(公告)号：CN109002601B

公开(公告)日：2020-09-08

申请号：CN201810738138.X

申请日：2018-07-06

Applicant: 西安电子科技大学

Inventor： 闫允一 ,  曹起鸣

IPC: G06F30/34 ,  G06F119/02

Abstract: 本发明涉及一种基于Petri网的FPGA系统的验证模型建模方法，主要解决了现有模型对数据不分类、无法具体描述FPGA系统功能的缺点。其实验方案是：步骤一，以moudle为粒度，获取FPGA程序的输入\输出变量、模块间的连接变量、时钟变量以及拓扑结构，并保存；步骤二，区分模块间连接变量具体分类为控制流变量、数据流变量两类，计算并保存所有变量的位宽度；步骤三，计算每个模块所有的输入状态，并通过信号仿真得到其对应的输出状态和对时钟的消耗；步骤四，将普通三元组Petri网模型改进为十元组Petri模型，将前三步获得的信息分别注入对应网元素，得到FPGA系统的基于Petri网模型的验证模型。据此为FPGA系统的可靠性评估提供一种全新的形式化建模方法。