期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
运用时间分类树的确定单时钟时间自动机学习
被引量:
2
1
作者
米钧日
张苗苗
+1 位作者
安杰
杜博闻
《软件学报》
EI
CSCD
北大核心
2022年第8期2797-2814,共18页
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了...
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了一种改进的学习算法,使用逻辑时间分类树代替逻辑时间观察表作为学习算法的内部数据结构,有效地减少了成员查询次数,降低了算法的空间复杂度,并能够高效率地构建假设自动机.最后进行了相关实验,实验结果表明,提出的改进算法减少了60%左右的成员查询和5%左右的等价查询.同时在该实验中,改进算法的学习速度最高可提高45倍以上.
展开更多
关键词
模型学习
主动学习
确定性
单时钟
时间自动机
时间语言
逻辑时间分类树
在线阅读
下载PDF
职称材料
多时钟域的异步信号的参考解决
被引量:
4
2
作者
袁伟
赵勇
《现代电子技术》
2006年第16期136-138,142,共4页
在ASIC设计中,不同的模块往往工作在不同的频率下,在一个芯片上采用单时钟设计基本上是不可能实现的。多时钟域的设计是SOC设计中的一个重要环节。分析了多时钟域设计中异步信号的产生以及带来的亚稳定性对整个电路性能和功能的影响,提...
在ASIC设计中,不同的模块往往工作在不同的频率下,在一个芯片上采用单时钟设计基本上是不可能实现的。多时钟域的设计是SOC设计中的一个重要环节。分析了多时钟域设计中异步信号的产生以及带来的亚稳定性对整个电路性能和功能的影响,提出了采用同步器,握手通信协议,FIFO等方法减小亚稳定性概率和其影响的措施,并且给出了实用电路图并进行了实现,从而使得电路能够在多时钟域下更加健壮和稳定。
展开更多
关键词
多
时钟
域
亚稳定性
异步信号
单时钟
设计
在线阅读
下载PDF
职称材料
基于移动参考节点的无线传感器时钟同步方法
被引量:
9
3
作者
张玉强
何泾沙
+2 位作者
徐晶
赵斌
蔡方博
《通信学报》
EI
CSCD
北大核心
2015年第S1期171-180,共10页
现有对无线传感器网络节点中的时钟同步方法往往通过固定参考节点传递同步信息完成同步。对于固定参考节点通信范围外的节点,需要同步信息在节点间的多跳传输,这造成时间误差的累积以及节点多跳传输的能量损耗,从而影响同步的精度和网...
现有对无线传感器网络节点中的时钟同步方法往往通过固定参考节点传递同步信息完成同步。对于固定参考节点通信范围外的节点,需要同步信息在节点间的多跳传输,这造成时间误差的累积以及节点多跳传输的能量损耗,从而影响同步的精度和网络能耗。为解决此问题,提出了基于移动参考节点和最优移动路径的时钟同步方法。首先,采用正六边形的蜂窝覆盖技术选取最优的时钟同步点。其次,结合最优覆盖和选址问题的数学模型,设计最短移动距离的路径。最后,提出了基于MAC层标记多个时间戳实现低能耗单跳同步的机制。与现有方法的实验对比表明,该方法提高了同步时间精度,并降低了通信能耗。
展开更多
关键词
时钟
同步
移动参考节点
最优移动路径
单
跳
时钟
同步机制
在线阅读
下载PDF
职称材料
一种非同步时序电路的测试生成方案
4
作者
王红
成本茂
+1 位作者
杨士元
邢建辉
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2007年第4期733-736,共4页
分析了非同步时序电路测试生成所面临的问题。根据测试状态下非同步时序电路的时序特点,结合同步时序电路测试生成算法,提出和论证了一种解决非同步时序电路测试生成问题的方案,通过为时序元件建立完全模型,将时序电路中的时钟信号引入...
分析了非同步时序电路测试生成所面临的问题。根据测试状态下非同步时序电路的时序特点,结合同步时序电路测试生成算法,提出和论证了一种解决非同步时序电路测试生成问题的方案,通过为时序元件建立完全模型,将时序电路中的时钟信号引入,为非同步时序电路构建出用于测试的单时钟同步电路模型,从而直接用同步时序电路测试生成算法解决非同步电路的测试生成问题。
展开更多
关键词
完全模型
非同步时序电路
单时钟
同步电路
测试生成
在线阅读
下载PDF
职称材料
光通信用10GHz CMOS八分频器设计
5
作者
邓文娟
雷鑑铭
朱兆优
《东华理工大学学报(自然科学版)》
CAS
2009年第3期289-292,共4页
在比较反转触发器(TFF)的各种结构基础上,采用一种单时钟信号控制,实现高速分频的电路结构,设计实现了用于光通信中时钟数据恢复电路的八分频器。该八分频器使用动态负载,输出两路互补信号,采用SMIC0.18μm1P6M CMOS工艺,使用Cadence公...
在比较反转触发器(TFF)的各种结构基础上,采用一种单时钟信号控制,实现高速分频的电路结构,设计实现了用于光通信中时钟数据恢复电路的八分频器。该八分频器使用动态负载,输出两路互补信号,采用SMIC0.18μm1P6M CMOS工艺,使用Cadence公司的Spectre仿真器进行模拟验证,实验结果证明,在电源电压为1.8V的情况下,该八分频器的工作速度10GHz、功耗仅为4.705mW。
展开更多
关键词
CMOS八分频器
反转触发器
单时钟
信号
动态负载
光纤通讯
在线阅读
下载PDF
职称材料
MC14516在控制电路中的应用元器件及其应用
6
作者
段延玲
马建平
董刚
《电测与仪表》
北大核心
1999年第12期39-39,30,共2页
介绍了MC14516(同步、加/减、二进制计数器)的概貌,并结合本公司的产品,说明它在实际中的应用。
关键词
控制电路
尖脉冲
驻波比
单时钟
计数器
在线阅读
下载PDF
职称材料
题名
运用时间分类树的确定单时钟时间自动机学习
被引量:
2
1
作者
米钧日
张苗苗
安杰
杜博闻
机构
同济大学软件学院
Max Planck Institute for Software Systems
University of Warwick
出处
《软件学报》
EI
CSCD
北大核心
2022年第8期2797-2814,共18页
基金
国家自然科学基金(61972284,62032019)。
文摘
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了一种改进的学习算法,使用逻辑时间分类树代替逻辑时间观察表作为学习算法的内部数据结构,有效地减少了成员查询次数,降低了算法的空间复杂度,并能够高效率地构建假设自动机.最后进行了相关实验,实验结果表明,提出的改进算法减少了60%左右的成员查询和5%左右的等价查询.同时在该实验中,改进算法的学习速度最高可提高45倍以上.
关键词
模型学习
主动学习
确定性
单时钟
时间自动机
时间语言
逻辑时间分类树
Keywords
model learning
active learning
deterministic one clock timed automata(TA)
timed language
logic timed classification tree
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
多时钟域的异步信号的参考解决
被引量:
4
2
作者
袁伟
赵勇
机构
北京大学深圳研究生院
出处
《现代电子技术》
2006年第16期136-138,142,共4页
文摘
在ASIC设计中,不同的模块往往工作在不同的频率下,在一个芯片上采用单时钟设计基本上是不可能实现的。多时钟域的设计是SOC设计中的一个重要环节。分析了多时钟域设计中异步信号的产生以及带来的亚稳定性对整个电路性能和功能的影响,提出了采用同步器,握手通信协议,FIFO等方法减小亚稳定性概率和其影响的措施,并且给出了实用电路图并进行了实现,从而使得电路能够在多时钟域下更加健壮和稳定。
关键词
多
时钟
域
亚稳定性
异步信号
单时钟
设计
Keywords
multi - clock domain
metastability
asynchronous signal
one clock design
分类号
TN79 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
基于移动参考节点的无线传感器时钟同步方法
被引量:
9
3
作者
张玉强
何泾沙
徐晶
赵斌
蔡方博
机构
北京工业大学计算机学院
北京工业大学软件学院
济宁学院计算机科学系
出处
《通信学报》
EI
CSCD
北大核心
2015年第S1期171-180,共10页
基金
北京市自然科学基金资助项目(4142008)
国家高技术研究发展计划("863"计划)基金资助项目(2015AA017204)
+1 种基金
国家自然科学基金资助项目(61272500)
山东省自然科学基金资助项目(ZR2013FQ024)~~
文摘
现有对无线传感器网络节点中的时钟同步方法往往通过固定参考节点传递同步信息完成同步。对于固定参考节点通信范围外的节点,需要同步信息在节点间的多跳传输,这造成时间误差的累积以及节点多跳传输的能量损耗,从而影响同步的精度和网络能耗。为解决此问题,提出了基于移动参考节点和最优移动路径的时钟同步方法。首先,采用正六边形的蜂窝覆盖技术选取最优的时钟同步点。其次,结合最优覆盖和选址问题的数学模型,设计最短移动距离的路径。最后,提出了基于MAC层标记多个时间戳实现低能耗单跳同步的机制。与现有方法的实验对比表明,该方法提高了同步时间精度,并降低了通信能耗。
关键词
时钟
同步
移动参考节点
最优移动路径
单
跳
时钟
同步机制
Keywords
time synchronization
mobile reference node
optimal mobile path
single hop time synchronize mechanism
分类号
TP212.9 [自动化与计算机技术—检测技术与自动化装置]
TN929.5 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
一种非同步时序电路的测试生成方案
4
作者
王红
成本茂
杨士元
邢建辉
机构
清华大学自动化系
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2007年第4期733-736,共4页
基金
国家自然科学基金项目(60633060)
文摘
分析了非同步时序电路测试生成所面临的问题。根据测试状态下非同步时序电路的时序特点,结合同步时序电路测试生成算法,提出和论证了一种解决非同步时序电路测试生成问题的方案,通过为时序元件建立完全模型,将时序电路中的时钟信号引入,为非同步时序电路构建出用于测试的单时钟同步电路模型,从而直接用同步时序电路测试生成算法解决非同步电路的测试生成问题。
关键词
完全模型
非同步时序电路
单时钟
同步电路
测试生成
Keywords
completive model
non-synchronous sequential circuit
synchronous sequential circuit
test generation
分类号
TN431 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
光通信用10GHz CMOS八分频器设计
5
作者
邓文娟
雷鑑铭
朱兆优
机构
东华理工大学电子与机械工程学院
华中科技大学电子科学与技术系
出处
《东华理工大学学报(自然科学版)》
CAS
2009年第3期289-292,共4页
基金
国家自然科学基金"光纤通信中电子色散补偿机制的研究与硬件实现"(60776027)
文摘
在比较反转触发器(TFF)的各种结构基础上,采用一种单时钟信号控制,实现高速分频的电路结构,设计实现了用于光通信中时钟数据恢复电路的八分频器。该八分频器使用动态负载,输出两路互补信号,采用SMIC0.18μm1P6M CMOS工艺,使用Cadence公司的Spectre仿真器进行模拟验证,实验结果证明,在电源电压为1.8V的情况下,该八分频器的工作速度10GHz、功耗仅为4.705mW。
关键词
CMOS八分频器
反转触发器
单时钟
信号
动态负载
光纤通讯
Keywords
CMOS 1:8 frequency divider
toggle flip-flop
single clock signal
dynamic loading
optical fiber communication
分类号
TN432 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
MC14516在控制电路中的应用元器件及其应用
6
作者
段延玲
马建平
董刚
机构
哈尔滨广播器材厂
黑河电业局
出处
《电测与仪表》
北大核心
1999年第12期39-39,30,共2页
文摘
介绍了MC14516(同步、加/减、二进制计数器)的概貌,并结合本公司的产品,说明它在实际中的应用。
关键词
控制电路
尖脉冲
驻波比
单时钟
计数器
分类号
TH721 [机械工程—精密仪器及机械]
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
运用时间分类树的确定单时钟时间自动机学习
米钧日
张苗苗
安杰
杜博闻
《软件学报》
EI
CSCD
北大核心
2022
2
在线阅读
下载PDF
职称材料
2
多时钟域的异步信号的参考解决
袁伟
赵勇
《现代电子技术》
2006
4
在线阅读
下载PDF
职称材料
3
基于移动参考节点的无线传感器时钟同步方法
张玉强
何泾沙
徐晶
赵斌
蔡方博
《通信学报》
EI
CSCD
北大核心
2015
9
在线阅读
下载PDF
职称材料
4
一种非同步时序电路的测试生成方案
王红
成本茂
杨士元
邢建辉
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
5
光通信用10GHz CMOS八分频器设计
邓文娟
雷鑑铭
朱兆优
《东华理工大学学报(自然科学版)》
CAS
2009
0
在线阅读
下载PDF
职称材料
6
MC14516在控制电路中的应用元器件及其应用
段延玲
马建平
董刚
《电测与仪表》
北大核心
1999
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部