咨询与建议

限定检索结果

文献类型

  • 641 篇 期刊文献
  • 281 篇 报纸
  • 29 篇 学位论文
  • 22 册 图书
  • 22 篇 会议

馆藏范围

  • 986 篇 电子文献
  • 9 种 纸本馆藏

日期分布

学科分类号

  • 294 篇 工学
    • 52 篇 计算机科学与技术...
    • 50 篇 电子科学与技术(可...
    • 45 篇 材料科学与工程(可...
    • 29 篇 土木工程
    • 27 篇 交通运输工程
    • 26 篇 信息与通信工程
    • 23 篇 建筑学
    • 22 篇 机械工程
    • 19 篇 控制科学与工程
    • 15 篇 化学工程与技术
    • 15 篇 软件工程
    • 13 篇 仪器科学与技术
    • 13 篇 矿业工程
    • 12 篇 水利工程
  • 243 篇 经济学
    • 234 篇 应用经济学
    • 14 篇 理论经济学
  • 203 篇 管理学
    • 87 篇 管理科学与工程(可...
    • 58 篇 公共管理
    • 39 篇 工商管理
    • 29 篇 农林经济管理
  • 187 篇 医学
    • 83 篇 药学(可授医学、理...
    • 70 篇 临床医学
    • 54 篇 中西医结合
    • 32 篇 公共卫生与预防医...
  • 60 篇 法学
    • 34 篇 政治学
    • 23 篇 马克思主义理论
  • 58 篇 教育学
    • 48 篇 教育学
  • 46 篇 理学
    • 13 篇 地球物理学
  • 32 篇 哲学
  • 30 篇 农学
    • 12 篇 农业资源与环境
  • 24 篇 艺术学
    • 22 篇 美术学
  • 19 篇 文学
  • 14 篇 历史学
  • 2 篇 军事学

主题

  • 30 篇 上林县
  • 27 篇 药代动力学
  • 23 篇 生物利用度
  • 19 篇 药物动力学
  • 13 篇 硬笔
  • 13 篇 《千字文》
  • 13 篇 李阳冰
  • 12 篇 上海
  • 12 篇 血药浓度
  • 12 篇 高效液相色谱
  • 11 篇 等价性验证
  • 10 篇 应用
  • 10 篇 氧氟沙星
  • 9 篇 投资要点
  • 8 篇 高效液相色谱法
  • 7 篇 中国
  • 7 篇 全域旅游
  • 7 篇 相对生物利用度
  • 7 篇 hplc
  • 6 篇 笔画

机构

  • 75 篇 浙江大学
  • 51 篇 南京军区南京总医...
  • 50 篇 海通证券
  • 21 篇 南京军区总医院
  • 16 篇 广东省人民医院
  • 15 篇 华中科技大学
  • 13 篇 山东省产品质量检...
  • 10 篇 南京航空航天大学
  • 9 篇 山东大学
  • 9 篇 国家地震局地球物...
  • 9 篇 河北雄安新区雄县...
  • 8 篇 杭州中天微系统有...
  • 7 篇 山东建筑大学
  • 7 篇 吉林大学
  • 7 篇 西安工程大学
  • 7 篇 南方医科大学
  • 7 篇 金陵医院
  • 6 篇 柳州市第四人民医...
  • 6 篇 南京市儿童医院
  • 6 篇 西南民族大学

作者

  • 91 篇 卓海通
  • 88 篇 岳海通
  • 77 篇 张海通
  • 73 篇 葛海通
  • 70 篇 蓝海通
  • 67 篇 严晓浪
  • 63 篇 石华康
  • 52 篇 海通证券
  • 52 篇 陈海通
  • 35 篇 海通
  • 31 篇 石楠
  • 31 篇 凌树森
  • 29 篇 姚海通
  • 25 篇 陈刚
  • 24 篇 刘海通
  • 24 篇 苏海通
  • 22 篇 张静
  • 20 篇 吕海通
  • 19 篇 曹文
  • 17 篇 黄凯

语言

  • 980 篇 中文
  • 15 篇 英文
检索条件"作者=葛海通"
995 条 记 录,以下是1-10 订阅
排序:
结合二叉判决图和布尔可满足性的等价性验证算法
收藏 引用
电子学报 2004年 第8期32卷 1233-1235页
作者: 严晓浪 郑飞君 葛海通 杨军 浙江大学超大规模集成电路设计研究所 浙江杭州310027
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
应用于SoC功能验证的快速处理器仿真模型
收藏 引用
浙江大学学报(工学版) 2009年 第3期43卷 401-405,522页
作者: 孟建熠 黄凯 严晓浪 葛海通 浙江大学超大规模集成电路设计研究所 浙江杭州310027
针对处理器仿真模型在SoC功能验证中效率低下的问题,提出了一种基于时间域和空间域仿真冗余压缩的处理器快速仿真模型.基于时间域的仿真冗余压缩方法通过监测总线工作状态,消除总线空闲下的系统冗余仿真.基于空间域的仿真冗余压缩方法... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于高速缓存资源共享的TLB设计方法
收藏 引用
浙江大学学报(工学版) 2011年 第3期45卷 462-466,565页
作者: 徐鸿明 孟建熠 严晓浪 葛海通 浙江大学超大规模集成电路设计研究所 浙江杭州310027
针对嵌入式处理器中旁路转换缓冲(TLB)功耗和面积显著的问题,提出一种共享高速缓存硬件资源的低功耗TLB设计方法,消除了传统方法中TLB存储器的硬件资源及静态功耗.该方法通过设立两级TLB低功耗架构和缓存地址映射表,有效减少TLB的访问次... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
支持程序无缝切换的高性能硬件堆栈
收藏 引用
浙江大学学报(工学版) 2011年 第9期45卷 1587-1592页
作者: 陈志坚 孟建熠 葛海通 严晓浪 浙江大学超大规模集成电路设计研究所 浙江杭州310027
针对函数调用中上下文切换产生的性能损失,提出一种支持程序无缝切换的嵌入式处理器高性能硬件堆栈.高性能硬件堆栈包括数据栈和返回栈,采用动态可重构的两级缓存机制,消除程序切换的性能开销.数据栈实现单周期多数据压栈/出栈,隐藏程... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于指令回收的低功耗循环分支折合技术
收藏 引用
浙江大学学报(工学版) 2010年 第4期44卷 632-638页
作者: 孟建熠 严晓浪 葛海通 徐鸿明 浙江大学超大规模集成电路设计研究所 浙江杭州310027
在分析循环分支特性的基础上,提出一种基于过期指令回收的高性能低功耗循环分支折合方法.该方法通过复用指令缓冲区硬件资源实现指令回收区.在循环分支折合过程中,循环体指令直接从回收区送入流水线,降低了分支延时,消除了指令高速缓存... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
H.264/AVC子像素插值的高性能流水线设计及实现
收藏 引用
浙江大学学报(工学版) 2011年 第7期45卷 1187-1193页
作者: 李春澍 黄凯 修思文 马德 葛海通 严晓浪 浙江大学超大规模集成电路设计研究所 浙江杭州310027 杭州中天微系统有限公司 浙江杭州310027
针对在H.264/AVC视频解码系统中子像素插值过程复杂度高的问题,提出一种子像素插值的2层流水线设计方法.第1层流水机制是当8×8分割块内部4个4×4块具有相同的运动信息时,基于4×4分割块参考像素读取和插值运算的两级流水,实现了不同4×... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于内存页面动态合并的旁路转换缓冲器设计
收藏 引用
浙江大学学报(工学版) 2012年 第1期46卷 118-122页
作者: 陈志坚 孟建熠 葛海通 严晓浪 浙江大学超大规模集成电路设计研究所 浙江杭州310027
针对内存管理中虚拟页面和物理页面连续分配的特性,提出可对相邻页面进行动态合并的旁路转换缓冲器(TLB)设计方法.该方法的核心思想是在处理器运行过程中,通过对相邻页面的递归合并,动态扩展单个TLB表项的地址映射范围,提高TLB表项的利... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种H.264帧内预测模式判决算法及VLSI实现体系
收藏 引用
电子学报 2007年 第2期35卷 207-211页
作者: 黄凯 秦兴 严晓浪 葛海通 浙江大学超大规模集成电路设计研究所 浙江杭州310027
17种预测模式和率失真优化模式判决极大的增加了H.264帧内编码器硬件设计的复杂度.目前的模式判决快速算法能大量减少模式判决的复杂度,但却不易于硬件实现.本文在Sobel边缘检测模式判决算法的基础上,提出了一种面向VLSI实现的模式判决... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
利用状态缓存的时序等价性验证算法
收藏 引用
计算机辅助设计与图形学学报 2008年 第2期20卷 149-154页
作者: 杨军 翁延龄 葛海通 严晓浪 浙江大学超大规模集成电路设计研究所 杭州310027
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
等价性验证中的自动算符排序
收藏 引用
浙江大学学报(工学版) 2007年 第6期41卷 886-889,895页
作者: 翁延玲 葛海通 严晓浪 浙江大学超大规模集成电路设计研究所 浙江杭州310027
为提高等价性验证效率,提出了一种利用综合引擎重现算术电路的优化过程算法.算法在单向无环图上计算距离,提取出变量的分组和结合顺序;对不同编码方式的乘法器,识别乘数和被乘数的结合顺序.ZDFV的综合引擎根据这些信息生成与实现电路结... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论