您的位置： 专家智库 > >

王星原

作品数：3 被引量：0H指数：0
供职机构：浙江大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文专利

领域

  • 1篇自动化与计算...

主题

  • 2篇时域
  • 2篇摆幅
  • 2篇比较器
  • 1篇电路
  • 1篇信号
  • 1篇信号延时
  • 1篇型模
  • 1篇形式化
  • 1篇形式化验证
  • 1篇形式化验证方...
  • 1篇延时
  • 1篇延时电路
  • 1篇时钟
  • 1篇全摆幅
  • 1篇逐次逼近型
  • 1篇转换器
  • 1篇网络
  • 1篇网络系统
  • 1篇网络协议
  • 1篇模数转换

机构

  • 3篇浙江大学

作者

  • 3篇王星原
  • 2篇赵梦恋
  • 2篇吴晓波
  • 2篇邓琳
  • 2篇杨小林

年份

  • 1篇2023
  • 1篇2016
  • 1篇2014
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种用于逐次逼近模数转换器的时域比较器
本发明公开了一种用于逐次逼近模数转换器的时域比较器，包括两个转换子电路和一鉴相电路；转换子电路包括一反相器和级联形式的五级延时电路；其中，第二级和第三级的延时电路采用阶梯延时电路；阶梯延时电路对输入的时钟信号延时后输出，...
赵梦恋邓琳吴晓波杨小林王星原
文献传递
一种用于逐次逼近模数转换器的时域比较器
本发明公开了一种用于逐次逼近模数转换器的时域比较器，包括两个转换子电路和一鉴相电路；转换子电路包括一反相器和级联形式的五级延时电路；其中，第二级和第三级的延时电路采用阶梯延时电路；阶梯延时电路对输入的时钟信号延时后输出，...
赵梦恋邓琳吴晓波杨小林王星原
文献传递
一种面向跨层网络协议的形式化验证方法
本发明公开了一种面向跨层的网络协议的形式化验证方法，从逻辑上将网络协议视作系统中的一个功能模块，将实现相对独立完整功能的一组协议组合成一个系统，进而对系统进行形式化验证。本发明对网络中的协议进行了组合验证，保证了网络系统...
赵永望王星原康锦辉常瑞任奎
全选 清除 导出
共1页<1>
聚类工具0