郑德生
- 作品数：26 被引量：3H指数：1
- 供职机构：电子科技大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 基于广义符号轨迹赋值模型验证的反例的产生被引量：1
- 2010年
- 广义符号轨迹赋值(Symbolic Trajectory Evaluation)引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍。针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行集合的交集,可以高效地解决抽象引起的问题。并对此算法进行改进,解决了符号变量带来的问题。
- 李义年曹占涛郑德生杨国武
- 关键词：反例形式化验证
- 面向黑盒攻击的替代模型自动选取方法、存储介质及终端
- 本发明公开了一种面向黑盒攻击的替代模型自动选取方法、存储介质及终端，属于深度学习技术领域，方法包括：根据原始样本属性信息在神经网络模型中选取替代模型，和/或，根据攻击反馈信息更新当前使用替代模型。本发明根据与黑盒模型复杂...
- 刘晓磊李晓瑜郑德生彭宇白佳雨
- 文献传递
- 一种推广化符号轨迹赋值中伪报错的改进算法被引量：1
- 2008年
- 介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实验结果表明,该改进算法在降低伪报错和减少计算量方面有明显提高.
- 郑德生杨国武雷航
- 关键词：形式化验证
- 一种跨媒体大数据检索非结构化数据兼容模型
- 本发明涉及一种跨媒体大数据检索非结构化数据兼容模型，模型由自身特有的元数据按照一定层次组织而成。每个元数据由特征层、语义层、兼容层三层构成，通过相似度计算和垂直回溯计算用户所请求的返回数据集合并向用户返回数据，通过具体的...
- 李晓瑜郑德生黄一鸣胡晗
- 文献传递
- 基于GSTE验证的细化问题的研究
- 随着集成电路的设计规模越来越大、复杂度越来越高,产品上市时间却越来越紧迫,集成电路的验证变得越来越困难。2003年度的国际半导体技术发展报告指出,验证已经成为集成电路设计流程中的最大瓶颈。传统的模拟验证因其测试周期长、不...
- 郑德生
- 关键词：形式化验证SMC故障容错
- 文献传递
- 一种基于动态路由机制的机器阅读理解网络模型、方法、存储介质及终端
- 本发明公开了一种基于动态路由机制的机器阅读理解网络模型、方法、存储介质及终端，它包括：基础编码层：用于完成对输入文本段落和问题序列的交互匹配式编码，并最终以向量序列的形式输出对输入信息的编码；路由解码层：用于接收来自所述...
- 李晓瑜段艺文胡孙强黄海滔洪磊郑德生
- 文献传递
- 一种通用化智能审核平台及其审核方法
- 本发明公开了一种通用化智能审核平台及其审核方法，审核平台包括项目构建模块和智能审核模块；所述的项目构建模块用于管理项目库；所述的项目库中包括至少一个实例化项目；所述的项目构建模块包括业务数据单元、业务数据库单元、业务Ja...
- 李晓瑜王航桑楠郑德生胡晗
- 文献传递
- 一种磁光涡流成像检测的缺陷识别方法
- 本发明公开了一种磁光涡流成像检测的缺陷识别方法，包括以下步骤：S1：初始化磁光图像及参数；S2：对完成灰度化的磁光灰度图像窗口编号赋值；S3：连通性统计处理；S4：分割图像滤波处理；S5：输出检测结果。本发明提出了基于连...
- 郑德生李晓瑜田露露
- 一种基于量子计算的核方法
- 本发明公开了一种基于量子计算的核方法，包括以下步骤：S1：初始化第一量子寄存器，并全置为|0>，然后对每个量子比特作用Hardmard门，得到目前量子态为<Image file="DDA00019403442700...
- 李晓瑜黄一鸣郑德生
- NAND Flash仿真模块的一种验证方法被引量：1
- 2011年
- 根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性.
- 王洋杨国武郑德生李晓瑜
- 关键词：NANDFLASH仿真线性时态逻辑
