QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：北京大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于下推系统可达性分析的程序机密消去机制 期刊论文 软件学报, 2012 孙聪; 唐礼勇; 陈钟 收藏  |  浏览/下载：1/0  |  提交时间：2015/10/23 信息流安全  机密消去  下推系统  自动验证  程序分析   覆盖矩阵反馈的演化测试程序生成方法 期刊论文 计算机辅助设计与图形学学报, 2011 张良; 佟冬; 程旭; 王克义 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/11 功能验证 演化算法 分组 测试程序生成   使用局部建模的微处理器测试程序自动生成方法 期刊论文 电子学报, 2011 张良; 易江芳; 佟冬; 程旭; 王克义 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/11 功能验证 模型检验 局部建模 测试程序生成   SPICE中MOS2模型参数的提取 期刊论文 北京大学学报 自然科学版, 1987 吉利久; 桂裕铮; 甘学温; 李狄纳 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/10 SPICE  MOS2  串联电阻  模型参数  提取参数  衬底偏置  程序验证  沟道长度  参数提取  拟合法