-
在结果中检索

检索结果分析

结果分析中...
检索条件："作者=张枨宇 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
一种基于机器学习的模型检查算法性能预测方法被引量：1
《华东师范大学学报（自然科学版）》2024年第4期18-29,共12页张枨宇 诸嘉逸 黄怿豪 杨迪 李建文 缪炜恺 阎迪 顾斌 詹乃军 蒲戈光 
与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图...
关键词：模型检查 与非图 组合模型检查器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部