咨询与建议

限定检索结果

文献类型

  • 579 篇 期刊文献
  • 59 篇 会议
  • 1 件 标准
  • 1 篇 成果

馆藏范围

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

日期分布

学科分类号

  • 584 篇 工学
    • 310 篇 计算机科学与技术...
    • 202 篇 软件工程
    • 176 篇 机械工程
    • 74 篇 控制科学与工程
    • 56 篇 建筑学
    • 49 篇 电子科学与技术(可...
    • 19 篇 仪器科学与技术
    • 15 篇 网络空间安全
    • 11 篇 信息与通信工程
    • 6 篇 材料科学与工程(可...
    • 6 篇 土木工程
    • 4 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 3 篇 水利工程
    • 3 篇 测绘科学与技术
    • 3 篇 地质资源与地质工...
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 电气工程
  • 117 篇 管理学
    • 115 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 62 篇 艺术学
    • 61 篇 设计学(可授艺术学...
  • 46 篇 理学
    • 21 篇 数学
    • 16 篇 系统科学
    • 3 篇 化学
    • 3 篇 地理学
    • 3 篇 统计学(可授理学、...
    • 2 篇 物理学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 3 篇 医学
  • 2 篇 农学
  • 2 篇 军事学

主题

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

机构

  • 200 篇 中国科学院计算技...
  • 119 篇 中国科学院计算技...
  • 52 篇 中国科学院计算技...
  • 48 篇 中国科学院计算技...
  • 39 篇 中国科学院计算技...
  • 36 篇 中国科学院计算技...
  • 33 篇 中国科学院大学
  • 23 篇 计算机体系结构国...
  • 18 篇 北京航空航天大学
  • 17 篇 首都师范大学
  • 16 篇 合肥工业大学
  • 15 篇 北方工业大学
  • 14 篇 暨南大学
  • 13 篇 中国科学院研究生...
  • 13 篇 中国矿业大学
  • 12 篇 北京大学
  • 11 篇 北京邮电大学
  • 10 篇 山东工业大学
  • 9 篇 山东科技大学
  • 9 篇 天津工业大学

作者

  • 71 篇 刘慎权
  • 60 篇 林宗楷
  • 47 篇 郭玉钗
  • 47 篇 唐卫清
  • 44 篇 史忠植
  • 36 篇 李华
  • 29 篇 魏道政
  • 26 篇 齐东旭
  • 24 篇 丁玮
  • 22 篇 闵应骅
  • 21 篇 liu shen-quan
  • 20 篇 li hua
  • 19 篇 闫伟齐
  • 18 篇 tang wei-qing
  • 15 篇 林守勋
  • 15 篇 刘晓平
  • 14 篇 丁世飞
  • 14 篇 邓玉辉
  • 14 篇 李忠诚
  • 12 篇 shi zhong-zhi

语言

  • 640 篇 中文
检索条件"机构=中国科学院计算技术研究所CAD开放研究实验室"
640 条 记 录,以下是161-170 订阅
排序:
一种求解大规模划分问题的启发式方法
收藏 引用
计算机辅助设计与图形学学报 1993年 第1期5卷 18-24页
作者: 沈兆宣 林宗楷 郭玉钗 中国科学院计算技术研究所CAD开放研究实验室 北京100080
人工智能方法是解决复杂组合问题的有效方法。本文把人工智能的搜索策略应用于逻辑划分,提出一个解决大规模划分问题的分段估价的启发式算法并给出试验结果。本算法对于解决运筹调度、通讯、网络、并行处理以及超大规模集成电路的设计... 详细信息
来源: 评论
ParaC:面向GPU平台的图像处理领域的编程框架
收藏 引用
软件学报 2017年 第7期28卷 1655-1675页
作者: 卢兴敬 刘雷 贾海鹏 冯晓兵 武成岗 体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学 北京100049
GPGPU加速器是当前提高图像处理算法性能的主流加速平台,但在GPGPU平台上,同一个程序充分利用硬件体系结构特征和软件特征的优化版本与简单实现版本在性能上会有数量级的差异.GPGPU加速器具有多维多层的大量执行线程和层次化存储体系结... 详细信息
来源: 评论
数字电路平行故障模拟方法的研究与实现
收藏 引用
计算机辅助设计与图形学学报 1992年 第2期4卷 8-13页
作者: 刘勤 魏道政 中国科学院计算技术研究所CAD开放研究实验室 北京100080
本文用平行的方法实现了对数字电路的故障模拟。对于组合电路,通过引入敏感输入的概念,大大提高了算法的实现效率。对于时序电路,通过将触发器展开成基本门的形式,在门级描述的基础上实现了故障模拟。本文最后给出了对十个电路例子(ISCA... 详细信息
来源: 评论
组合电路故障模拟的一种新方法
收藏 引用
计算机辅助设计与图形学学报 1991年 第2期3卷 71-79页
作者: 魏道政 中国科学院计算技术研究所CAD开放研究实验室 北京100080
本文提出组合电路故障模拟的一种新方法。对一个给定的输入向量t,除第一遍真值模拟是从电路的初级输入到初级输出进行计算外,故障模拟是从电路的初级输出到初级输入逐级进行表达式运算,由得到的表达式可以判断t能否检测电路中任何一条... 详细信息
来源: 评论
一个实用化的测试产生系统COMPA_ATPG
收藏 引用
计算机辅助设计与图形学学报 1992年 第2期4卷 1-7页
作者: 潘榆奇 张保定 李忠诚 李锦涛 闵应骅 中国科学院计算技术研究所CAD开放研究实验室 北京100080
本文介绍了一个在康发工作站实现的测试产生系统COMPA-ATPGS。该系统以FAN算法为基础,通过对电路结构分析来产生组合电路的测试码,进而帮助设计者产生整个电路的测试码。实验证明,该系统对组合电路的故障覆盖率可达90%以上。
来源: 评论
适合工程应用的图形用户界面管理系统
收藏 引用
计算机辅助设计与图形学学报 1996年 第1期8卷 75-80页
作者: 程华 王介生 李凤森 北京中国科学院计算技术研究所CAD开放实验室
本文阐述了一个面向对象的用户界面管理系统GUIDIS的分析、设计与实现。文中充分考虑了许多工程应用系统用户界面的特点,并采用面向对象、广播机制、与外部任务通讯和多层次用户界面生成工具的技术
来源: 评论
一个用户界面生成工具UIGT的设计和实现
收藏 引用
计算机辅助设计与图形学学报 1993年 第1期5卷 64-69页
作者: 许建国 中国科学院计算技术研究所CAD开放实验室 100080
本文基于扩充转移网和事件相混合的模型,描述用户界面的管理和并发性,设计并实现了一个用户界面生成工具***的核心是一个强有力的交互编辑环境和一个递归的自动生成工具;交互编辑完成对对话盒、正文窗口、图形窗口、复合图符、弹压菜单... 详细信息
来源: 评论
复杂对象的管理策略及其SQL查询
收藏 引用
计算机辅助设计与图形学学报 1996年 第1期8卷 36-41页
作者: 郑卫东 林宗楷 郭玉钗 北京中国科学院计算技术研究所CAD开放实验室
大量的无结构数据和复合对象是工程数据库的重要特征。本文介绍工程数据库管理系统EDBMS/2对这两类复杂对象的管理策略及其SQL查询。在EDBMS/2中引入FILE型属性和VAR型属性用于存储形式多样的无结构数据,并采... 详细信息
来源: 评论
搜索问题的代数描述及其算法
收藏 引用
计算研究与发展 1997年 第11期34卷 801-806页
作者: 栾尚敏 马绍汉 山东大学计算机科学系 中国科学院计算技术研究所CAD开放研究实验室
文中给出了搜索问题的一种代数描述方法,在这种描述方法的基础上,给出了一个算法模式.以货郎担问题的动态规划-分支限界算法为例,讨论了如何用给出的算法模式来设计包含多种算法设计技术的算法,称这种算法为混合(hybrid... 详细信息
来源: 评论
交替互补定位器及其用于双模比较冗余结构的差错定位
收藏 引用
计算研究与发展 2001年 第6期38卷 754-764页
作者: 江建慧 同济大学计算机科学与工程系 中国科学院计算技术研究所CAD开放实验室 北京100080 复旦大学计算机科学与工程系 上海200433
双模比较冗余结构是一种广泛应用的低成本容错结构 .当两个冗余模块之一发生故障时 ,比较器将给出差错检测指示输出 ,该输出既可以按中断信号形式通知系统作出相应的差错处理 ,也可以按硬件信号形式直接用于终止系统工作或启动重构 ,目... 详细信息
来源: 评论