CSpace

浏览/检索结果: 共4条,第1-4条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
基于Petri网的嵌入式系统建模 期刊论文
微电子学与计算机, 2002, 卷号: 19.0, 期号: 010, 页码: 1
作者:  高燕;  沈理
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
Petri网  嵌入式系统  控制信息  数据信息  关联Petri网  
RTL集成电路的时序深度 期刊论文
同济大学学报:自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1209
作者:  高燕;  沈理
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
RTL集成电路  高层次测试  硬件描述语言  时序深度  寄存器传输液  芯片设计  
NLIDB在计算机选案中的应用 期刊论文
微电子学与计算机, 2002, 卷号: 19.0, 期号: 011, 页码: 44
作者:  郭岩
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
NLIDB  计算机选案  税收  稽查选案  语义依存语法  数据库  
交互机算模型概述 期刊论文
计算机研究与发展, 2002, 卷号: 39, 期号: 6, 页码: 701
作者:  付岩;  黄铁军;  余珂;  李涛;  张浩
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
交互  算法  图灵机  计算模型  逻辑