期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
运用定理证明的形式化方法验证SpaceWire编码电路
被引量：
10
1
作者
李黎明
关永
+2 位作者
吴敏华
张杰
施智平
《小型微型计算机系统》
CSCD
北大核心
2012年第6期1372-1376,共5页
我国空间太阳望远镜(SST)项目采用了SpaceWire作为传输总线,目前针对SpaceWire总线的验证主要采用测试和模拟等传统的方法,这类验证方法是不完备的.本文旨在对SST项目中SpaceWire总线的DS编码电路是否如实地实现标准中的规范要求进行验...
我国空间太阳望远镜(SST)项目采用了SpaceWire作为传输总线,目前针对SpaceWire总线的验证主要采用测试和模拟等传统的方法,这类验证方法是不完备的.本文旨在对SST项目中SpaceWire总线的DS编码电路是否如实地实现标准中的规范要求进行验证,运用定理证明的形式化方法,在HOL4工具上对该电路的设计实现与规范要求的一致性进行验证,克服了传统验证方法的局限性.
展开更多
关键词
形式化验证
SpaceWire标准
ds
编码
定理证明
高阶逻辑
在线阅读
下载PDF
职称材料
密集光码分多址系统
2
作者
王玉宝
高屹然
+1 位作者
伍剑
林金桐
《通信学报》
EI
CSCD
北大核心
2004年第12期40-45,共6页
基于一种新型光码分多址(OCDMA)的混合(DS/FH)编解码器,提出了多用户公用同一跳频(FH)码字但使用不同的直扩(DS)码字的密集光码分多址系统方案。在忽略噪声的情况下,采用随机过程理论对系统误码率进行了上线分析。分析表明,混合系统适...
基于一种新型光码分多址(OCDMA)的混合(DS/FH)编解码器,提出了多用户公用同一跳频(FH)码字但使用不同的直扩(DS)码字的密集光码分多址系统方案。在忽略噪声的情况下,采用随机过程理论对系统误码率进行了上线分析。分析表明,混合系统适于密集光码分多址通信,从而克服了单一(DS或FH)系统可用码字较少,不能承载多用户的问题。另外,还有效地解决了单一系统中存在的失配和群速度色散等问题。
展开更多
关键词
密集光码分多址系统
混合编解码器
直扩
跳频
随机过程
误码率
在线阅读
下载PDF
职称材料
题名
运用定理证明的形式化方法验证SpaceWire编码电路
被引量：
10
1
作者
李黎明
关永
吴敏华
张杰
施智平
机构
首都师范大学高可靠嵌入式系统技术北京市工程研究中心
北京化工大学信息科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第6期1372-1376,共5页
基金
国家自然科学基金项目(60873006
61070049
+2 种基金
61170304)资助
国际科技合作项目(2010DFB10930)资助
北京市自然科学基金重点项目B类北京市教委科技发展重点项目资助
文摘
我国空间太阳望远镜(SST)项目采用了SpaceWire作为传输总线,目前针对SpaceWire总线的验证主要采用测试和模拟等传统的方法,这类验证方法是不完备的.本文旨在对SST项目中SpaceWire总线的DS编码电路是否如实地实现标准中的规范要求进行验证,运用定理证明的形式化方法,在HOL4工具上对该电路的设计实现与规范要求的一致性进行验证,克服了传统验证方法的局限性.
关键词
形式化验证
SpaceWire标准
ds
编码
定理证明
高阶逻辑
Keywords
formal verification
SpaceWire standard
data-strobe （ds） encoding
theorem proving
high order logic
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
密集光码分多址系统
2
作者
王玉宝
高屹然
伍剑
林金桐
机构
北京邮电大学光通信与光波技术教育部重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2004年第12期40-45,共6页
文摘
基于一种新型光码分多址(OCDMA)的混合(DS/FH)编解码器,提出了多用户公用同一跳频(FH)码字但使用不同的直扩(DS)码字的密集光码分多址系统方案。在忽略噪声的情况下,采用随机过程理论对系统误码率进行了上线分析。分析表明,混合系统适于密集光码分多址通信,从而克服了单一(DS或FH)系统可用码字较少,不能承载多用户的问题。另外,还有效地解决了单一系统中存在的失配和群速度色散等问题。
关键词
密集光码分多址系统
混合编解码器
直扩
跳频
随机过程
误码率
Keywords
dense optical CDMA system
hybrid (
ds
/FH)
encod
er/decoder
direct-sequence
frequency hopping
stationary random process
probability of error
分类号
TN929.533 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
运用定理证明的形式化方法验证SpaceWire编码电路
李黎明
关永
吴敏华
张杰
施智平
《小型微型计算机系统》
CSCD
北大核心
2012
10
在线阅读
下载PDF
职称材料
2
密集光码分多址系统
王玉宝
高屹然
伍剑
林金桐
《通信学报》
EI
CSCD
北大核心
2004
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
