期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于原型验证系统的自稳定算法形式化验证 被引量:1
1
作者 毛玲炤 邓玉欣 《上海交通大学学报》 EI CAS CSCD 北大核心 2009年第6期875-878,共4页
介绍了分布式系统的自稳定性以及原型验证系统(PVS),阐述了从形式化角度验证系统性质的方法.使用PVS对分布式系统及系统中的自稳定算法进行形式化描述和建模,并成功地证明了系统的自稳定性.同时,通过机械化的验证和分析结果,可以得出形... 介绍了分布式系统的自稳定性以及原型验证系统(PVS),阐述了从形式化角度验证系统性质的方法.使用PVS对分布式系统及系统中的自稳定算法进行形式化描述和建模,并成功地证明了系统的自稳定性.同时,通过机械化的验证和分析结果,可以得出形式化证明的优势. 展开更多
关键词 分布式系统 自稳定算法 形式化分析 原型验证系统
在线阅读 下载PDF
硬件辅助验证产品解读之FPGA开发板vs原型验证系统 被引量:1
2
作者 杨一峰 《中国集成电路》 2022年第7期27-30,47,共5页
在阅读本文之前,读者可以对FPGA芯片的基本含义及原理做基本的了解。FPGA的全称为Field Programmable Gate Array(现场可编程门阵列),属于专用集成电路中的一种半定制电路,是可编程的逻辑阵列。FPGA的基本结构包括可编程输入输出单元、... 在阅读本文之前,读者可以对FPGA芯片的基本含义及原理做基本的了解。FPGA的全称为Field Programmable Gate Array(现场可编程门阵列),属于专用集成电路中的一种半定制电路,是可编程的逻辑阵列。FPGA的基本结构包括可编程输入输出单元、基本可编程逻辑单元、数字时钟管理模块、嵌入式块RAM、丰富的布线资源、内嵌专用硬核,以及底层内嵌功能单元。 展开更多
关键词 现场可编程门阵列 专用集成电路 可编程逻辑 逻辑阵列 数字时钟管理 功能单元 原型验证系统 嵌入式
在线阅读 下载PDF
大规模MIMO系统传输关键技术研究进展 被引量:17
3
作者 阳析 金石 《电信科学》 北大核心 2015年第5期22-29,共8页
随着物联网的兴起和移动互联网业务种类的日渐丰富,人们对蜂窝移动通信数据传输速率以及服务质量提出了更高的要求。由于能够充分挖掘空间维的自由度,在提高频谱效率的同时获得较好的功率利用率,大规模MIMO系统引起了国内外的广泛关注... 随着物联网的兴起和移动互联网业务种类的日渐丰富,人们对蜂窝移动通信数据传输速率以及服务质量提出了更高的要求。由于能够充分挖掘空间维的自由度,在提高频谱效率的同时获得较好的功率利用率,大规模MIMO系统引起了国内外的广泛关注。大规模MIMO系统配置的大规模天线阵列在带来性能增益的同时也带来了前所未有的挑战,如大规模天线阵列系统下传输方案的设计、急剧增加的系统硬件复杂度和计算复杂度等。首先对大规模MIMO系统下的几种传输方案,如联合空分复用(JSDM)传输方案和大规模多波束空分多址(MB-SDMA)传输方案进行了概述,简略描述了不同传输方案的原理和传输过程,进一步简要介绍了目前正在构建的大规模MIMO原型验证系统Argos和Lu Ma Mi,并展示了不同原型验证系统的整体架构与组件。 展开更多
关键词 大规模MIMO系统 系统传输方案 原型验证系统
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部