万海
- 作品数：79 被引量：20H指数：3
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程电子电信更多>>
- 时间触发调度模型的训练、时间触发调度方法及装置
- 本发明公开一种时间触发调度模型的训练、时间触发调度方法及装置，包括：将由链路的基础特征向量、嵌入向量和全局向量拼接获得的目标向量输入策略网络，确定待调度TT流的第一下一跳链路、第一转发相位及第一时隙；若当前调度所到达的网...
- 万海贾宏宇赵曦滨
- 面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究
- 2004年
- 提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 .
- 李暾李思昆郭阳万海冷彪
- 关键词：模拟矢量自动生成VLSI
- 一种交通领域的带同步时钟功能的以太网发帧装置
- 本发明公开了一种带同步时钟功能的以太网发帧装置，包括：发帧设备和整形设备，其中发帧设备的发送接口与整形设备的接收端口之间通过网线连接；其特征在于：整形设备包括接收端口、发送端口、接收调度表存储结构、发送调度表存储结构、接...
- 万海王楠李宗辉李星徐燕芬
- 文献传递
- 线长自适应时间触发调度方法和装置
- 本发明公开一种线长自适应时间触发调度方法和装置，其中该方法包括：针对每个网络节点，获取该网络节点和与其相邻的网络节点间的线路传输延时，其中，所部署的网络中任意两个相邻网络节点间的总线路延时小于预先设置的线路传输延时阈值；...
- 万海李宗辉于庆涵赵曦滨陈威行
- 文献传递
- 一种支持时间触发机制的数据处理方法和SDN网络系统
- 本说明书公开一种支持时间触发机制的数据处理方法和SDN网络系统，该方法在控制器和交换机上实现相应适配。在控制器上执行时，该方法包括：根据网络中实时传输的需求，通过调度表全局计算工具生成网络中目标交换机的当前调度表，该当前...
- 万海赵曦滨
- 文献传递
- 微处理器敏捷设计方法综述被引量：3
- 2021年
- 随着登纳德缩放定律和摩尔定律几近终结,通过领域特定体系结构提升微处理器性能变得越来越重要,迫切需要提升微处理器设计生产率来应对网络、智能、安全等领域特定需求.国内外的实践表明,微处理器敏捷设计方法是一种能有效提升微处理器设计生产率的方法.通过对比软硬件设计的差异,分析出敏捷设计的本质及其应用于微处理器设计所面临的挑战.综述了微处理器敏捷设计领域近年来代表性研究实践,归纳出微处理器敏捷设计关键使能技术,探讨了该领域未来潜在的研究方向.
- 李暾贺旭屈婉霞万海
- 关键词：微处理器电子设计自动化
- 一种WTB总线数据帧记录仪及记录方法
- 本发明涉及一种WTB总线数据帧记录仪及记录方法，其中WTB数据帧记录仪板卡和上位机通过PC104总线互相连接；WTB数据帧记录仪板卡与WTB总线通过数据通信网线连接，监听并接收WTB总线上的数据；上位机发送指令并获得WT...
- 王欢万海赵曦滨
- 基于程序切片的电路提取技术被引量：3
- 2003年
- 从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。
- 朱丹李暾万海郭阳李思昆
- 关键词：程序切片
- 流处理任务的调度方法及装置
- 本发明公开一种流处理任务的调度方法及装置，方法包括：接收用户发起的任务迁移请求，根据任务迁移请求确定任务迁移触发的时间和任务迁移策略；获取任务迁移涉及的各个计算资源节点，并控制负责任务迁移的协调器按照任务迁移时间与任务迁...
- 唐华云万海王一平赵曦滨黄潇
- 一种基于F值优化的网络攻击检测方法与系统
- 本申请公开了一种基于F值优化的网络攻击检测方法与系统，其中，该方法包括：步骤1，根据F值计算模型，计算接收到的网络数据对应的错分代价值，并生成代价值矩阵，其中，网络数据包括已标记网络数据和未标记网络数据；步骤2，根据网络...
- 高跃王楠赵曦滨万海
- 文献传递
