咨询与建议

限定检索结果

文献类型

  • 378 篇 期刊文献
  • 41 篇 会议
  • 1 件 标准
  • 1 篇 成果

馆藏范围

  • 421 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 377 篇 工学
    • 150 篇 机械工程
    • 149 篇 计算机科学与技术...
    • 104 篇 软件工程
    • 53 篇 建筑学
    • 43 篇 电子科学与技术(可...
    • 43 篇 控制科学与工程
    • 10 篇 仪器科学与技术
    • 7 篇 网络空间安全
    • 6 篇 信息与通信工程
    • 5 篇 土木工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 3 篇 测绘科学与技术
    • 3 篇 地质资源与地质工...
    • 2 篇 力学(可授工学、理...
    • 2 篇 电气工程
    • 2 篇 水利工程
    • 2 篇 生物医学工程(可授...
  • 67 篇 管理学
    • 66 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 56 篇 艺术学
    • 55 篇 设计学(可授艺术学...
  • 37 篇 理学
    • 17 篇 数学
    • 15 篇 系统科学
    • 3 篇 地理学
    • 2 篇 化学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 3 篇 医学
    • 2 篇 临床医学
  • 2 篇 农学
    • 2 篇 植物保护
  • 1 篇 军事学

主题

  • 66 篇 cad
  • 30 篇 计算机图形学
  • 27 篇 计算机
  • 27 篇 工程数据库
  • 23 篇 算法
  • 15 篇 cscw
  • 14 篇 人工智能
  • 14 篇 数据库
  • 14 篇 数字电路
  • 12 篇 测试
  • 12 篇 工程设计
  • 11 篇 用户界面
  • 11 篇 管理系统
  • 10 篇 钢结构
  • 10 篇 面向对象
  • 9 篇 可视化
  • 9 篇 集成电路
  • 9 篇 图像处理
  • 8 篇 体绘制
  • 7 篇 程序设计

机构

  • 200 篇 中国科学院计算技...
  • 119 篇 中国科学院计算技...
  • 39 篇 中国科学院计算技...
  • 16 篇 北京航空航天大学
  • 15 篇 北方工业大学
  • 14 篇 合肥工业大学
  • 11 篇 北京大学
  • 10 篇 山东工业大学
  • 7 篇 中国科学院计算技...
  • 7 篇 北京工业大学
  • 7 篇 中国科学院计算技...
  • 6 篇 清华大学
  • 6 篇 广西师范大学
  • 5 篇 复旦大学
  • 5 篇 山东科技大学
  • 5 篇 中国科学院计算技...
  • 5 篇 北京理工大学
  • 5 篇 中国科学院等离子...
  • 4 篇 北京中国科学院计...
  • 4 篇 中国科学院计算技...

作者

  • 70 篇 刘慎权
  • 59 篇 林宗楷
  • 46 篇 郭玉钗
  • 46 篇 唐卫清
  • 28 篇 魏道政
  • 26 篇 李华
  • 26 篇 齐东旭
  • 24 篇 丁玮
  • 23 篇 史忠植
  • 22 篇 闵应骅
  • 19 篇 闫伟齐
  • 15 篇 林守勋
  • 15 篇 刘晓平
  • 14 篇 李忠诚
  • 12 篇 黄永红
  • 11 篇 李凤森
  • 10 篇 许建国
  • 10 篇 曾广周
  • 10 篇 金文华
  • 9 篇 石茵

语言

  • 421 篇 中文
检索条件"机构=中国科学院计算技术研究所IIP开放实验室"
421 条 记 录,以下是421-430 订阅
排序:
布尔过程论及其应用
布尔过程论及其应用
收藏 引用
作者: 闵应骅 李忠诚 赵行 中国科学院计算技术研究所CAD开放研究实验室
在高速同步电路里,时钟脉冲周期短到可以和门或线上时间延迟相比拟,电路呈现异步性。因此,必须研究形式方法,来刻画该异步性,把逻辑行为与时延特性集成起来。基于该电路表示,来研究如何验证一个高速电路的设计是否正确,测试一块... 详细信息
来源: 评论