赵刚

作品数：2被引量：3H指数：1
导出分析报告
供职机构：首都师范大学信息工程学院更多>>
发文主题：形式化验证形式化拉普拉斯变换定理证明IC更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》更多>>
所获基金：北京市自然科学基金国际科技合作与交流专项项目国家自然科学基金北京市优秀人才培养资助更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
拉普拉斯变换微积分性质在HOL4中的形式化被引量：2
《小型微型计算机系统》2014年第9期2177-2181,共5页赵刚 赵春娜 关永 吕兴利 李晓娟 施智平 王瑞 叶世伟 
国际科技合作计划项目(2010DFB10930;2011DFG13000)资助;国家自然科学基金项目(60873006;61070049;61170304;61104035;61174145;61201378)资助;北京市自然科学基金项目;北京市优秀人才项目(4122017;KZ201210028036;KM201010028021;2012D005016000011)资助
拉普拉斯变换是系统时域频域分析转换的基本工具,基于拉普拉斯变换的数值计算广泛用于信号传输的评估和重要安全系统的分析等,但是其存在计算不精确等问题.高阶逻辑定理证明是验证系统的一种严密的形式化方法.本文在高阶逻辑证明工具HOL...
关键词：拉普拉斯变换 形式化验证 定理证明 HOL4 微积分性质 
SRAM型FPGA在线位流回读技术分析与实现被引量：1
《小型微型计算机系统》2014年第6期1216-1220,共5页张杰 赵刚 李晓娟 
国际科技合作与交流项目(2011DFG13000)资助;北京市自然基金空间总线通信系统形式化验证方法研究项目(4122017)资助
为及时检测出SRAM型FPGA在空间应用时受SEU影响而产生的翻转错误,保证数字系统的高可靠性应用要求,以Xilinx Virtex-II Pro FPGA为例,深入分析了FPGA的配置帧寻址及配置命令发送等配置细节,在此基础上设计并实现了基于内部ICAP接口的位...
关键词：FPGA容错 SEU效应 高可靠性 位流回读 故障检测 ICAP接口 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部