咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 982 篇 会议
  • 18 篇 期刊文献
  • 2 篇 成果
  • 1 册 图书

馆藏范围

  • 1,003 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 795 篇 工学
    • 221 篇 土木工程
    • 166 篇 计算机科学与技术...
    • 162 篇 建筑学
    • 101 篇 软件工程
    • 94 篇 机械工程
    • 52 篇 交通运输工程
    • 46 篇 电子科学与技术（可...
    • 43 篇 力学（可授工学、理...
    • 42 篇 仪器科学与技术
    • 42 篇 材料科学与工程（可...
    • 40 篇 控制科学与工程
    • 39 篇 动力工程及工程热...
    • 36 篇 信息与通信工程
    • 36 篇 化学工程与技术
    • 35 篇 航空宇航科学与技...
    • 20 篇 光学工程
    • 20 篇 船舶与海洋工程
    • 18 篇 水利工程
    • 18 篇 核科学与技术
    • 14 篇 电气工程
  • 86 篇 管理学
    • 80 篇 管理科学与工程(可...
  • 81 篇 理学
    • 30 篇 物理学
    • 25 篇 化学
    • 12 篇 数学
    • 8 篇 系统科学
  • 68 篇 教育学
    • 68 篇 教育学
  • 27 篇 艺术学
    • 27 篇 设计学（可授艺术学...
  • 13 篇 医学
    • 8 篇 药学(可授医学、理...
  • 4 篇 农学
  • 4 篇 军事学
  • 3 篇 经济学

主题

  • 18 篇 优化设计
  • 16 篇 数据库
  • 14 篇 cad
  • 13 篇 结构设计
  • 13 篇 计算方法
  • 12 篇 计算机辅助设计
  • 10 篇 系统设计
  • 10 篇 计算机模拟
  • 10 篇 面向对象
  • 9 篇 多媒体
  • 8 篇 计算流体力学
  • 7 篇 软件测试
  • 7 篇 数值计算
  • 7 篇 并行计算
  • 7 篇 数值模拟
  • 7 篇 承载力
  • 7 篇 有限元分析
  • 7 篇 设计
  • 6 篇 网络教学
  • 6 篇 教学设计

机构

  • 39 篇 华南理工大学
  • 30 篇 浙江大学
  • 28 篇 清华大学
  • 23 篇 同济大学
  • 21 篇 大连理工大学
  • 20 篇 北京航空航天大学
  • 18 篇 吉林大学
  • 18 篇 西安建筑科技大学
  • 17 篇 东南大学
  • 17 篇 哈尔滨工业大学
  • 15 篇 长安大学
  • 15 篇 中国科学院计算技...
  • 15 篇 北京大学
  • 15 篇 北京理工大学
  • 14 篇 山东大学
  • 14 篇 上海大学
  • 13 篇 西北工业大学
  • 11 篇 上海交通大学
  • 10 篇 北方交通大学
  • 9 篇 天津大学

作者

  • 16 篇 李晓维
  • 11 篇 韩大建
  • 8 篇 徐拾义
  • 7 篇 陆可风
  • 7 篇 陈圆然
  • 6 篇 宫云战
  • 6 篇 苏成
  • 6 篇 王华
  • 5 篇 李华
  • 5 篇 张彩明
  • 5 篇 徐郁峰
  • 5 篇 杨敏
  • 4 篇 王瑞祥
  • 4 篇 杨修涛
  • 4 篇 包芳勋
  • 4 篇 郑宏
  • 4 篇 曲峰
  • 4 篇 员春欣
  • 4 篇 董剑
  • 4 篇 熊巨华

语言

  • 1,003 篇 中文
检索条件"任意字段=第十届全国几何设计与计算学术会议"
共 1003 条 记 录，以下是551-560 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
用形式方法验证通用CPU设计
用形式方法验证通用CPU设计
收藏
分享
引用
第十届全国容错计算学术会议
作者： 李光辉 邵明 李晓维 浙江林学院信息系 浙江林学院信息系 浙江林学院信息系
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈。传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它无需产生测试激励,不仅能够缩短设计周期,而且能够达到完全的... 详细信息
来源： 评论
面向对象程序自动执行模型及实验算法研究
面向对象程序自动执行模型及实验算法研究
收藏
分享
引用
第十届全国容错计算机学术会议
作者： 金大海 宫云战 装甲兵工程学院信息工程系
本文介绍了一种面向对象程序自动执行模型,用以辅助自动化测试.该模型将对象转换图、状态转换图、状态转换驱动和脚本选择器等部件相结合,自动选择并运行测试脚本,同时经状态监视器来判断程序运行状态,达到自动执行的目的.最后在大量实... 详细信息
来源： 评论
集成电路供电网络测试方法综述
集成电路供电网络测试方法综述
收藏
分享
引用
第十届全国容错计算学术会议
作者： 骆祖莹 洪先龙 蔡懿慈 清华大学计算机科学与技术系 清华大学计算机科学与技术系 清华大学计算机科学与技术系
集成电路供电网络包括电源线／地线网络两部分,其设计得是否合适决定了晶体管能否得到足够高的供电电压,因此供电网络测试是集成电路测试的一个重要分支。在简述供电网络测试的研究背景（如不同的供电网络拓扑形式）基础上,本文重点对... 详细信息
来源： 评论
电除尘器气流分布的简易模拟计算
电除尘器气流分布的简易模拟计算
收藏
分享
引用
第十届全国电除尘/第二届脱硫学术会议
作者： 涂建华 袁伟锋 朱培君 浙江菲达环保科技股份有限公司 浙江省诸暨市 311800
本文提出了一种电除尘器内气流分布的简易计算模拟方法,其核心就是把气流分布板作为均匀的透气板看待,使多孔板阻力与均匀透气板阻力等效,从而大幅度减少网格数量和计算时间.简化计算的数据与模型试验的测试数据相吻合,表明该简易计算... 详细信息
来源： 评论
基于JTAG标准的边界扫描结构在一款通用CPU中的设计
基于JTAG标准的边界扫描结构在一款通用CPU中的设计
收藏
分享
引用
第十届全国容错计算机学术会议
作者： 鲁巍 杨修涛 李晓维 中国科学院计算技术研究所(北京)
边界扫描技术是一种重要的可测性设计(DFT)技术,采用该技术不仅可以方便地测试芯片或PCB的逻辑功能,还可以测试IC或PCB之间的连接是否存在故障.边界扫描设计已逐渐成为芯片设计中不可或缺的部分,IEEE为其制定了相关标准,即IEEE1149.1标... 详细信息
来源： 评论
基于模块关系图的测试程序生成
基于模块关系图的测试程序生成
收藏
分享
引用
第十届全国容错计算机学术会议
作者： 王晓宇 徐拾义 上海大学计算机学院(上海)
分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系的模块关系图(MRD)模型,然后研究了这一模型在软件自动测试程序生成中的具体应用.在此基础上,对回归测试中重测试模块进行了探索,提出了相应的算法.将以上研... 详细信息
来源： 评论
面向容错服务器的软件故障注入工具的研制
面向容错服务器的软件故障注入工具的研制
收藏
分享
引用
第十届全国容错计算机学术会议
作者： 孔霞 董剑 曲峰 杨孝宗 哈尔滨工业大学计算机科学与技术学院(哈尔滨)
故障注入作为一种加速容错计算机系统失效的手段,能够测试和评估容错系统的容错性能.容错服务器具有处理性能高的特点,可以采用软件故障注入方式.本文介绍了两种软件故障注入方法及在此基础上设计的故障注入工具SFIT的研究和实现.用SFIT... 详细信息
来源： 评论
考虑串扰影响的时延测试
考虑串扰影响的时延测试
收藏
分享
引用
第十届全国容错计算机学术会议
作者： 张月 李华伟 宫云战 李晓维 装甲兵工程学院信息工程系(北京) 中国科学院计算技术研究所网络室(北京)
超深亚微米工艺下,串扰的出现会导致在电路设计验证、测试阶段出现严重的问题.本文介绍了一个基于波形敏化的串扰时延故障测试生成算法.该算法以临界通路上的串扰时延故障为目标故障进行测试产生,大大提高了算法的效率.实验表明,以该算... 详细信息
来源： 评论
连接EDA和ATE的双向测试语言:STIL
连接EDA和ATE的双向测试语言:STIL
收藏
分享
引用
第十届全国容错计算机学术会议
作者： 吴明行 韩银和 李晓维 中国科学院计算技术研究所(北京)
标准测试接口语言(STIL)是一种面向器件的通用的图形交换格式(协议),它定义测试的功能和参数,支持在仿真器、自动测试图形发生器(ATPG)、内置自测试(BIST)和自动测试设备之间无需转换的传输测试图形.作为一种开放的图形描述规范,它具有... 详细信息
来源： 评论
集成电路供电网络测试方法综述
集成电路供电网络测试方法综述
收藏
分享
引用
第十届全国容错计算机学术会议
作者： 骆祖莹 洪先龙 蔡懿慈 清华大学计算机科学与技术系(北京)
集成电路供电网络包括电源线/地线网络两部分,其设计得是否合适决定了晶体管能否得到足够高的供电电压,因此供电网络测试是集成电路测试的一个重要分支.在简述供电网络测试的研究背景(如不同的供电网络拓扑形式)基础上,本文重点对已有... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共101页 <<  < 52 53 54 55 56 57 58 59 60 61 >  >>
回到顶部
执行限定条件