机构

• 沈阳自动化研究所 [3]
• 计算技术研究所 [2]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [4]
• 学位论文 [1]

发表日期

• 2010 [1]
• 2008 [1]
• 2007 [2]
• 2000 [1]

学科主题

• 自动控制技术 [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于VPM和随机激励的处理器核仿真建模 期刊论文  OAI收割 计算机工程, 2010, 卷号: 36.0, 期号: 020, 页码: 19 作者:  许彤;  张仕健;  吕涛   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 IP仿真模型  SimpleScalar模拟器  可控随机事件  总线功能模型  龙芯1号处理器   基于总线功能模型的SoC仿真加速技术 期刊论文  OAI收割 微电子学与计算机, 2008, 卷号: 25.0, 期号: 1.0, 页码: 45 作者:  杨军;  付亮;  张志敏   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 仿真加速  SoC  验证  总线功能模型  CPU   基于Markov模型的现场总线功能安全验证技术研究 期刊论文  OAI收割 仪器仪表学报, 2007, 卷号: 28, 期号: S, 页码: 940-943 作者:  徐皑冬;  王静;  宋岩   |  收藏  |  浏览/下载：25/0  |  提交时间：2010/11/29 现场总线  Iec61508  功能安全  Markov模型   功能块形式化建模与测试序列生成方法研究 期刊论文  OAI收割 仪器仪表学报, 2007, 卷号: 28, 期号: S, 页码: 755-757 作者:  王宏;  张连领;  于海斌;  王忠锋   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/11/29 现场总线  功能块测试  互操作测试  形式化建模  测试案例  有限状态机模型   面向现场总线的分布式实时系统的建模与分析方法 学位论文  OAI收割 博士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2000 王智 收藏  |  浏览/下载：32/0  |  提交时间：2012/07/22 现场总线  分布式实时系统  调度  排队服务模型  稳定性  功能块  Petri网