四川省教育厅自然科学科研项目(07ZB005)
- 作品数：7 被引量：21H指数：4
- 相关作者：王霖郭荣佐郭进刘丽萍郭瑞更多>>
- 相关机构：成都纺织高等专科学校西南交通大学电子科技大学更多>>
- 发文基金：四川省教育厅自然科学科研项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信更多>>
- 嵌入式车站信号联锁控制器设计被引量：4
- 2010年
- 嵌入式车站信号联锁技术是以嵌入式计算机技术和通讯技术为基础,替代现有的继电器信号联锁控制系统的一种新型技术。针对铁路信号对信号设备的高安全性和高可靠性的要求,设计了具有冗余结构的计算机联锁系统中的嵌入式联锁控制器。然后设计该控制器的软件系统,重点对控制器的软件体系进行了分析和设计,应用Petri网原理和方法,对联锁软件进行了建模,并对模型进行了联锁仿真测试,取得了预期的结果。最后,对控制器的安全性、可靠性进行了研究,经过研究表明,该控制器在安全性、可靠性方面,达到了铁路信号设备的要求。
- 刘丽萍郭荣佐王霖
- 关键词：嵌入式系统信号联锁
- 基于BLP安全模型的嵌入式硬件防火墙研究被引量：1
- 2010年
- 首先简单叙述了BLP安全模型；然后利用BLP安全模型，设计安全的防火墙软总线抽象模型，分析并设计了防火墙软总线规则；最后利用安全的防火墙软总线模型进行嵌入式硬件防火墙实现，主要设计和实现了防火墙的体系结构、硬件结构、ESSBIP核设计和检测状态机等。
- 刘丽萍王强王霖
- 关键词：BLP安全模型软总线防火墙嵌入式系统
- 嵌入式联锁控制器软件体系结构动态建模研究被引量：2
- 2010年
- 首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析。
- 郭荣佐黄君王霖
- 关键词：Π演算PETRI网嵌入式系统信号联锁软件体系结构
- 高性能NAND Flash控制器在SoC平台中的设计与应用被引量：6
- 2012年
- NAND Flash在现代数码产品中得到了广泛的应用,在片上系统芯片中集成NAND Flash控制器已成为一种趋势。分析SoC平台中高性能NAND Flash控制器的实现方案,提出两种改进NAND Flash控制器数据读写速度的技术,在面积增加很小的情况下,有效地改善了控制器的性能。该设计方法已通过了仿真测试和FGPA验证,在SMIC 0.18μm工艺库下的综合速度能够达到121MHz。
- 郭瑞赵新辉
- 关键词：SOCNANDFLASH控制器
- 基于Hi2011的DVB-C机顶盒设计与实现被引量：1
- 2008年
- 本文介绍了数字电视机顶盒基本原理,然后设计了以Hi2011芯片为核心的DVB-C机顶盒的硬件架构,并分析了机顶盒的软件实现问题,主要包括系统的软件结构、搜台算法的实现和数据库构建等,其中重点讲述了以Hi2011芯片为核心的DVB-C机顶盒的软件体系结构和软件的设计与实现。
- 王霖郭荣佐张风荔
- 关键词：DVB-C数字电视机顶盒软件体系结构
- 基于ARM的嵌入式站间自动闭塞控制器硬件设计被引量：4
- 2010年
- 针对铁路信号的高可靠性要求,设计了嵌入式站间自动闭塞系统的体系结构、嵌入式闭塞控制器和控制锁.详细设计了具有冗余特性的控制器硬件、比较电路和安全锁.同时,对本控制器构成的自动站间闭塞系统进行Petri网建模及分析.
- 郭荣佐郭进张凤荔王霖
- 关键词：ARMPETRI网
- 嵌入式系统软件体系结构动态建模及应用研究被引量：5
- 2009年
- 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。
- 郭荣佐郭进王霖
- 关键词：Π演算PETRI网嵌入式系统软件体系结构
