您的位置： 专家智库 > >

徐永生

作品数：3 被引量：2H指数：1
供职机构：电子科技大学更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇GST
  • 2篇AIG
  • 1篇动点
  • 1篇形式化
  • 1篇形式化描述
  • 1篇隐私
  • 1篇隐私性
  • 1篇射频识别
  • 1篇数学
  • 1篇数学归纳
  • 1篇数学归纳法
  • 1篇随机图
  • 1篇迁移
  • 1篇求解器
  • 1篇状态集
  • 1篇逻辑综合
  • 1篇归纳法
  • 1篇法化
  • 1篇安全性
  • 1篇报错

机构

  • 3篇电子科技大学

作者

  • 3篇徐永生
  • 2篇康文涛
  • 2篇牛伟纳
  • 2篇高毅
  • 2篇张艳
  • 2篇杨俊
  • 2篇周志慧
  • 2篇杨国武

年份

  • 1篇2017
  • 1篇2015
  • 1篇2014
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
带参性质的形式化描述与证明
―状态空间爆炸问题一直是验证领域不可避免的难题。在验证的过程中，我们发现有许多带有参数的性质具有可归纳的特性，例如路径的长度，随机数的取值范围，状态空间的个数，通信的步数等。利用归纳特性我们可以把模型检测技术和归纳证明法...
徐永生
关键词：随机图安全性隐私性数学归纳法形式化描述射频识别
文献传递
一种基于AIG和SAT求解器的GSTE模型检测方法
本发明提供了一种基于AIG和SAT求解器的GSTE模型检测方法，其特征在于包括以下步骤：步骤1，使用ABC工具建立AIG模型；将该AIG转化成FRAIG，同时使用逻辑综合算法化简该FRAIG，减小AIG规模；步骤2，计算...
杨国武崔晓爽高毅康文涛牛伟纳张艳徐永生杨俊杨绪鹏周志慧
一种基于AIG和SAT求解器的GSTE模型检测方法
本发明提供了一种基于AIG和SAT求解器的GSTE模型检测方法，其特征在于包括以下步骤：步骤1，使用ABC工具建立AIG模型；将该AIG转化成FRAIG，同时使用逻辑综合算法化简该FRAIG，减小AIG规模；步骤2，计算...
杨国武崔晓爽高毅康文涛牛伟纳张艳徐永生杨俊杨绪鹏周志慧
文献传递
全选 清除 导出
共1页<1>
聚类工具0