搜索结果: 1-15 共查到“知识库 计算机科学技术 嵌入式系统”相关记录77条 . 查询时间(0.201 秒)
对传统稀土串级萃取流量控制装置进行研究,提出了一种采用由变频器与嵌入式系统组成的装置对液体流量进行控制的方案。该方案利用脚本驱动开发工具V2.0,快速准确地开发了英威腾系列变频器的设备驱动,最终完成了嵌入式设备与变频器的通信。将该方案应用于生产现场后,实现了液体流量的精确、实时控制。
针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了...
为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性。仿真实例结果表明,该工具的分析准确性较高。
以微处理器88F6281为核心,设计一种基于DDR2存储技术并可挂接硬盘的嵌入式系统平台。针对高频电路对信号完整性的严格要求,从电路原理与印制电路板2个方面设计该平台的主存、硬盘接口、电源等子系统。测试结果表明,该平台具有较高的性能,且稳定可靠,适合对系统性能和存储容量有较高要求的各类嵌入式应用。
基于分区内核的安全嵌入式系统
分区内核 安全嵌入式系统 信息流控制
2009/11/30
基于单一安全内核构建的嵌入式安全体系实时性差、复杂度高,难以对其进行全面的安全性评估,无法杜绝系统漏洞的出现。针对基于分区内核的安全嵌入式体系进行研究,提出一种分区内核的形式化定义,根据该形式化定义对分区内核的隔离安全性进行证明。为解决分区内核中分区间通信存在的信息流控制问题,提出一种兼顾通信效率和安全性的模型。
嵌入式系统中的TrueType字体驱动
嵌入式系统 TrueType字体 驱动 Freetype库
2009/11/30
Freetype库应用于嵌入式高清电影播放机时,存在srt字幕显示滞后的问题。针对该缺陷,给出一种实现TrueType字体驱动的方法,建立字体本地索引,将TrueType字体文件中必要的数据导入内存,建立字体glyf内存数据库。测试表明,该驱动稳定可靠,适用于资源受限的嵌入式平台。
基于Petri网表示的嵌入式系统模型化简规则
化简规则 Petri网 完全等价
2009/11/4
为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率, 对模型进行了保性变换, 给出了一组关于PRES+模型的化简规则, 这些化简规则在原模型和简化模型之间保持完全等价关系。对两个系统模型的化简结果进一步说明了这些化简规则的有效性。
可重构嵌入式系统安全启动流程设计与实现
嵌入式系统 安全性 灵活性
2009/10/20
针对嵌入式系统的软件可重构下载中存在的安全性问题,设计一种可重构嵌入式系统的安全启动流程,研究硬件存储区管理模式,对密码协处理器进行集成,并加以实现。仿真实验结果表明,该流程能够使系统对下载软件的合法性进行验证,当下载代码合法但为恶意时,可以保证芯片自身安全性。
针对特定应用,对不同硬件平台或体系结构下的计算机系统性能进行分析和比较,在嵌入式产品或组件的选择中起着至关重要的作用。本文提出了基于随机完全区组设计的嵌入式系统性能分析方法,并以城市轨道交通自动售检票系统的自动检票机的性能测试为例,详细说明了运用该方法的过程,最后比较了ReWorks、Linux和Windows XPE等三种不同操作系统下自动检票机的性能,所获得的测评结果表明我们的方法是有用和有效...
基于GPRS的无线数据传输嵌入式系统设计
嵌入式系统 通用无线分组业务 无线数据传输
2009/9/27
无线数据传输嵌入式系统由数据服务中心和数据终端单元2部分组成,以ARM7系列微处理器为核心,结合通用无线分组业务(GPRS)通信网络的特点,分析无线数据传输嵌入式系统的设计过程,给出系统的具体实现方案,提出硬件、软件系统的设计流程、开发要点和实现过程。实验结果证明,该系统实现基于GPRS的无线数据传输嵌入式系统的功能。
Flash存储管理在嵌入式系统中的实现
文件系统 节点树 动态位宽 阈值
2009/9/24
针对大容量存储管理问题,论述管理NAND Flash系统中直接寻址的算法实现,提出建立节点树、底层节点动态位宽等概念,实现对不同类型闪存进行灵活可变的直接寻址。通过建立页数组增大文件系统的直接寻址范围,根据区块数据不同的更新频率分别设计动态损耗均衡算法和静态损耗均衡算法,用于实现需求块回收和损耗均衡。