机构

• 软件研究所 [3]
• 计算技术研究所 [1]
• 南京天文光学技术研究... [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [3]
• 学位论文 [2]

发表日期

• 2023 [1]
• 2010 [1]
• 2003 [1]
• 2002 [1]
• 2000 [1]

学科主题

• 天文技术与方法 [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 南极大型望远镜主轴驱动系统故障模拟平台研究 学位论文  OAI收割 北京: 中国科学院大学, 2023 作者:  顾晓杰   |  收藏  |  浏览/下载：20/0  |  提交时间：2023/08/05 望远镜主轴驱动系统  符号有向图  故障模拟  故障注入  半实物仿真平台   面向安全协议的移动进程演算的符号化理论 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2010 刘佳   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/11/25 符号化语义，符号化互模拟，证明系统, applied pi-演算   基于BDD的组合电路等价性检验方法 期刊论文  OAI收割 微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者:  李光辉;  邵明;  李晓维   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 BDD  形式验证  等价性检验  符号模拟  三叉判决图  组合电路  专用集成电路   时间符号迁移图及其互模拟判定 期刊论文  OAI收割 计算机学报, 2002, 卷号: 25, 期号: 2, 页码: 113-121 陈靖; 林惠民   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/24 并发  实时系统  数据传送  互模拟  时间符号迁移图 concurrency  real-time system  value-passing  bisimulation  timed symbolic transition graph   带赋值符号迁移图的局部优化算法 期刊论文  OAI收割 计算机研究与发展, 2000, 卷号: 37, 期号: 1, 页码: 95 方海; 许文; 林惠民   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/24 进程代数  传值进程  符号互模拟  验证算法