期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于TMS320F2812的双机信息处理系统设计 被引量：2
1
作者 周鹏 邵左文 +1 位作者 张玉猛 贾伟 《国外电子元器件》 2006年第8期60-65,共6页
介绍了基于TI公司TMS320F2812型DSP的信息处理系统的设计。采用2片TMS320F-2812DSP,利用其丰富的片上资源和较高的数据处理能力,建立了一个具有速度快、功能强、价格低廉,通用性强等特点的信息处理系统双机平台。该平台弥补了单个DSP系... 介绍了基于TI公司TMS320F2812型DSP的信息处理系统的设计。采用2片TMS320F-2812DSP,利用其丰富的片上资源和较高的数据处理能力,建立了一个具有速度快、功能强、价格低廉,通用性强等特点的信息处理系统双机平台。该平台弥补了单个DSP系统在处理大量数据输入/输出和接口突发信号时,引起系统不稳定从而造成数据丢失这一缺陷,提高了系统的稳定性。TMS320F2812-DSP双机平台可作为嵌入式系统硬件平台,进一步开发各种应用软件,其应用可拓展到光学网络、汽车控制、生物测定学等新兴应用领域。 展开更多
关键词 数字信号处理器(DSP) TMS320F2812 双机平台 信息处理
下载PDF
基于Event-B的双机热备平台测试序列自动生成方法
2
作者 辛未 穆建成 +1 位作者 马连川 曹源 《铁路计算机应用》 2016年第11期36-40,共5页
为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率。利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一... 为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率。利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一步利用L^1算法生成基于模型、满足平台测试需求的测试序列集,对于确保测试过程的完备性、提高测试效率有一定意义。 展开更多
关键词 双机热备平台 测试序列 EVENT-B L1算法 Rodin平台
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部