-
题名数据传输系统的可编程逻辑技术实现
被引量：1
- 1
-
-
作者
蒋溢
-
机构
重庆邮电大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第9期291-292,共2页
-
基金
重庆市自然科学基金支持项目(CSTC
2004BB2182)。
-
文摘
本文介绍了数据传输系统体系结构的设计方法,主要针对数据传输系统进行设计,详细论述了系统的总体设计、模块设计、PCI(Peripheral Component Interconnect——外围部件互连)总线高速数据传输系统硬件接口设计方法,给出了系统的设计与实现方案。克服了系统中的有关数据传输速率、可靠性等方面的问题．提高了数据传榆过程中抗干扰能力。
-
关键词
数据传输
可编程逻辑技术
外围部件互连
-
Keywords
Data transport, Programmable logic device（PI.D）, Peripheral component interconnect（PCI）
-
分类号
TN919.1
[电子电信—通信与信息系统]
-
-
题名微小型导航系统中高精度导航计算机设计
被引量：4
- 2
-
-
作者
孙永荣
刘建业
刘瑞华
杜亚玲
-
机构
南京航空航天大学自动化学院
中国民航学院空中交通管理学院
-
出处
《传感器与微系统》
CSCD
北大核心
2006年第10期54-56,63,共4页
-
基金
国家自然科学基金资助项目(60472125)
-
文摘
通过分析微小型组合导航系统中导航计算机的功能要求,确定了导航计算机的硬件设计指标。提出以高性能浮点型TMS320C6713数字信号处理器(DSP)为核心处理器芯片,设计了高速18位差分A/D转换电路、16位D/A转换电路等多种接口电路,运用现场可编程逻辑技术有效地降低了系统设计复杂度。设计并实现了可靠的程序实现流程,使捷联惯性航姿系统脱离通用计算机平台。实验证明:基于DSP的组合导航系统的精度和实时性能够达到设计要求,并且,便携、价廉,对导航系统在微小型领域的广泛使用具有实际意义。
-
关键词
数字信号处理器
嵌入式系统
组合导航系统
现场可编程逻辑技术
-
Keywords
digital signal processor（ DSP）
embed system
integrated navigation system
field programmable logic technique
-
分类号
V249.32
[航空宇航科学与技术—飞行器设计]
-
-
题名核电安全级仪控系统形式化功能验证
被引量：1
- 3
-
-
作者
钱一名
刘志凯
梁成华
王冬
-
机构
中核控制系统工程有限公司
-
出处
《核电子学与探测技术》
CAS
北大核心
2019年第5期621-625,共5页
-
文摘
提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证.通过实例逻辑验证表明,依据功能验证平台,按照验证步骤对设计程序进行缺陷检查,测试用例能保证RTL代码结构和功能覆盖达到100%,并提供验证报告方便快速定位并进行缺陷修复,大大地降低了仪控系统在核电厂实际使用过程中出现问题的概率保证核电安全级仪控系统稳定性、可靠性和安全性的要求,为仪控系统提供更充分更有力的依据.
-
关键词
可编程逻辑技术
核安全级
形式化技术
功能验证
-
Keywords
programmable logic technology
nuclear safety level
formal technology
functional verification
-
分类号
TM623
[电气工程—电力系统及自动化]
-
