“沈利香”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果10个，建议您升级VIP下载更多相关专利

[发明专利]密码核的安全验证方法、装置、电子设备及存储介质-CN202310491843.5在审
发明人：张茜歌;慕德俊;周佳慧;朱嘉诚;姜义初;沈利香;赵豪;任增民 -专利权人：北京智芯微电子科技有限公司;西北工业大学
申请日： 2023-05-04 - 公布日： 2023-09-05 - 主分类号： G06F21/64 文献下载
摘要：本说明书涉及一种密码核的安全验证方法、装置、电子设备及存储介质。其中，安全验证方法包括：以密码核的执行逻辑为参考，基于信息流模型库中的目标基础模型生成密码核对应的目标信息流模型；其中，密码核对应有逻辑函数，逻辑函数包括运算单元，目标基础模型用于描述在执行运算单元时对电路信号的运算过程；目标信息流模型用于描述在执行密码核时对电路信号的运算过程；针对密码核需要验证的安全属性构建对应的安全属性断言；其中，安全属性断言用于加入目标信息流模型中；通过执行加入安全属性断言后的目标信息流模型，对密码核进行安全验证。本说明书实施例能够基于信息流分析的方式，处理RTL级代码，具有更高的验证效率和验证精度。
密码安全验证方法装置电子设备存储介质

[发明专利]电路的可靠性验证方法及验证工具、存储介质、验证装置-CN202310545676.8在审
发明人：张喆;慕德俊;张茜歌;朱嘉诚;孙玉峰;沈利香;马俊;刘俊 -专利权人：北京智芯微电子科技有限公司;西北工业大学
申请日： 2023-05-15 - 公布日： 2023-08-11 - 主分类号： G06F30/398 文献下载
摘要：本发明公开了一种电路的可靠性验证方法及验证工具、存储介质、验证装置，其中，方法包括：对电路的输入信号和输出信号添加故障属性标签；针对多个故障类型中的任意故障类型，基于输入信号、输出信号和故障属性标签，构建任意故障类型对应的基本逻辑门的故障效应传播模型；其中，多个故障类型包括位翻转故障类型、随机故障类型和固定故障类型中的一种或多种；基于任意故障类型对应的基本逻辑门的故障效应传播模型，构建任意故障类型对应的电路的故障效应传播模型；基于电路的安全属性，对任意故障类型对应的电路的故障效应传播模型进行形式化断言，以确定电路的可靠性漏洞。本方法能够实现对电路的高效、全面的可靠性验证功能。
电路可靠性验证方法工具存储介质装置

[发明专利]寄存器传输级Verilog代码的SMV模型构建方法-CN201910010500.6有效
发明人： 沈利香;慕德俊;曹国;徐强;时翔;袁晓宇;潘群 -专利权人：西北工业大学;华芯安信（北京）科技有限公司
申请日： 2019-01-07 - 公布日： 2021-01-05 - 主分类号： G06F8/35 文献下载
摘要：本发明公开了一种寄存器传输级Verilog代码的SMV模型构建方法，用于解决现有寄存器传输级的SMV模型构建方法独立性差的技术问题。技术方案是采用静态分析Verilog代码的方法得到每个模块对应的控制流图，深度遍历控制流图得到模块中每个变量的pc,exp列表，利用pc,exp列表构建模块对应的SMV模型。其中，pc是路径条件，exp是在pc为真的情况下变量的表达式。本发明在读入Verilog代码后，针对生成的Verilog代码的解析树，不需要依赖第三方工具进行数据格式的转换和存储，可以作为一个独立的方法将输入的Verilog代码直接转换为SMV模型，实用性好。
寄存器传输 verilog 代码 smv 模型构建方法

[发明专利]寄存器传输级Verilog设计的安全验证属性自动提取方法-CN202010362018.1在审
发明人： 沈利香;慕德俊;曹国;时翔;徐强;袁晓宇;陆浩 -专利权人：常州工学院
申请日： 2020-04-30 - 公布日： 2020-09-04 - 主分类号： G06F30/3308 文献下载
摘要：本发明公开了一种寄存器传输级Verilog设计的安全验证属性自动提取方法，包括：Verilog实例化树步骤，采用静态分析Verilog设计的方法得到实例化树，树中的每个节点代表一个模块的控制流图；Daikon生成不变量属性步骤，遍历控制流图，生成Daikon的输入文件，包括声明文件、追踪文件和条件分离文件，然后利用Daikon生成不变量属性；安全验证属性步骤，依据生成的不变量属性文件，将其中的不变量属性的语法格式转换为安全验证属性；对Verilog设计进行模型检测验证，发现硬件设计安全漏洞。本发明可以实现自动化提取安全验证属性，大大提高了安全验证效率；可以为硬件安全验证提供有力的支撑。
寄存器传输 verilog 设计安全验证属性自动提取方法

[发明专利]一种非接触式墙体内埋电线的探测装置及方法-CN201811326161.4有效
发明人：时翔;袁晓宇;宋依青;徐强;查志琴;潘群;王琳;沈利香 -专利权人：常州工学院
申请日： 2018-11-08 - 公布日： 2020-04-28 - 主分类号： G01V8/12 文献下载
摘要：本发明公开了一种非接触式墙体内埋电线的探测装置及方法，属于技术领域。本发明提供的探测装置，包括：照射源、光机扫描装置、毫米波检测机、信号处理电路、图像显示模块；照射源包括噪声照射源和微波发射天线；光机扫描装置对墙体进行二维波束扫描，获得墙体内埋电线发出的毫米波；毫米波检测机将接收的毫米波进行放大、检波处理后输出到信号处理电路进行处理；获得到周期性的最大、等幅信号，从而得到电线的位置信息和/或走向信息，在所述图像显示模块中显示。本发明还提供一种探测方法，包括被动探测模式和/或主动探测模式。本发明能够非接触式探测墙体内埋设的带电和非带电电线。
一种接触墙体电线探测装置方法

[发明专利]一种RTL硬件木马测试向量的生成方法-CN201710462372.X有效
发明人： 沈利香;慕德俊;时翔;徐强;邢业新;何松;袁晓宇 -专利权人：西北工业大学
申请日： 2017-06-19 - 公布日： 2019-11-22 - 主分类号： G06F21/56 文献下载
摘要：本发明公开了一种RTL硬件木马测试向量的生成方法，主要包括生成控制流程图；并发符号执行；可满足性求解和生成测试向量。本发明采用静态分析Veri log代码的方法，采用多线程并发技术实现Veri log代码的并发符号执行，从而达到快速生成高路径覆盖率的测试向量的目的。
一种 rtl 硬件木马测试向量生成方法

[发明专利]一种基于FPGA和多CCD的高速高精度宽范围工业级激光三角测距仪-CN201710308937.9在审
发明人：徐强;杨晓云;庄燕滨;沈利香;时翔;邢业新 -专利权人：常州工学院
申请日： 2017-05-04 - 公布日： 2017-08-22 - 主分类号： G01C3/10 文献下载
摘要：本发明公开一种基于FPGA和多CCD的高速高精度宽范围工业级激光三角测距仪，激光器发出一束激光，经汇聚透镜照射到被测物体上，形成一个光斑，光斑在被测物体表面发生散射，其中一部分散射光经过接收透镜在线阵CCD驱动板上成像，线阵CCD驱动板产生的光包络信号送给FPGA控制板，CCD驱动模块至像素位置及距离计算模块单向连接，像素位置及距离计算模块分别至液晶显示驱动模块、D/A转换驱动模块、RS‑422通信模块单向连接，恒温腔体测温驱动模块分别至加热制冷控制模块、数字电位器驱动模块单向连接。本发明具有系统响应速度快、测量精度高、测距范围宽、可测量高温物体、抗干扰能力强等特点。
一种基于 fpga ccd 高速高精度范围工业激光三角测距仪

[发明专利]一种无专用同步线的光幕检测装置及其方法-CN201510740977.1在审
发明人：徐强;杨晓云;庄燕滨;沈利香 -专利权人：常州工学院
申请日： 2015-11-04 - 公布日： 2016-01-20 - 主分类号： G01V8/12 文献下载
摘要：本发明公开了一种无专用同步线的光幕检测装置及其方法，装置中光幕发射器内设有红外发射管，光幕接收器内设有接收管，红外发射管和接收管一一对应，时钟分频模块分别与基准数据生成模块和包含同步码的光脉冲生成模块相连接，基准数据生成模块与包含同步码的光脉冲生成模块相连接，锁相环模块与帧同步模块相连接，帧同步模块分别与到位检测模块和多路开关控制模块相连接。本发明在发射器第一路光脉冲之前增加捕捉可靠、抗干扰能力强的帧同步码，光幕接收器使用位同步速度快的快速锁相环算法，16路光脉冲依次串行工作，利用FPGA的并行处理特性，实现高速运动物体的实时到位检测。
一种专用同步检测装置及其方法

[实用新型]一种智能交通中的机动车辆识别系统-CN201320573745.8有效
发明人：时翔;宋依青;查志琴;沈利香;邬佳伟;庄燕滨;朱宇光;严伟中;何松;潘群;杨雄;徐强;王琳 -专利权人：常州工学院
申请日： 2013-09-16 - 公布日： 2014-05-07 - 主分类号： G08G1/017 文献下载
摘要：本实用新型涉及一种智能交通中的机动车辆识别系统。微波交通雷达技术由于微波频率较低，在目标识别的精度上欠缺，还不能准确进行车型识别。本实用新型的目的是提供一种智能交通中的机动车辆识别系统，能够实现高精度的车型识别，该识别系统包括检测器，接收天线和PC机；检测器为无源毫米波检测器，由视频放大器，信号处理单元，电源供给单元，以及均工作在毫米波频率的低噪声放大器和平方率检波器组成；毫米波天线与低噪声放大器连接,低噪声放大器、平方率检波器、视频放大器和信号处理单元依次连接；电源供给单元与低噪声放大器、视频放大器、信号处理单元连接；接收天线为毫米波天线。本实用新型自身耗能低，不对电子设备产生干扰影响。
一种智能交通中的机动车辆识别系统

[发明专利]一种智能交通中的机动车辆识别系统及方法-CN201310422065.0有效
发明人：时翔;宋依青;查志琴;沈利香;邬佳伟;庄燕滨;朱宇光;严伟中;何松;潘群;杨雄;徐强;王琳 -专利权人：常州工学院
申请日： 2013-09-16 - 公布日： 2014-01-01 - 主分类号： G08G1/017 文献下载
摘要：本发明公开了一种智能交通中的机动车辆识别系统，包括检测器，接收天线和PC机；检测器为无源毫米波检测器，由低噪声放大器、平方率检波器、视频放大器、信号处理单元和电源供给单元组成；接收天线为毫米波天线。其识别方法包括步骤：1）毫米波检测器工作，车辆向检测器检测区域行进；2）毫米波检测器观测检测区域，输出信号；3）PC机将检测器输出信号的电压，与预先设立的有无车辆通过的门限电压进行对比，做出判断；4）在判断为有车辆通过的情况下，PC机将检测器输出信号的电压，与预先设立的不同车型的门限电压范围进行对比，根据检测器输出信号的电压落在哪一个车型的门限电压范围，PC机做出与之相应的通过车辆的车型识别判断。
一种智能交通中的机动车辆识别系统方法

1
共 10 条