工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 >>> 自动机理论 可计算性理论 计算机可靠性理论 算法理论 数据结构 数据安全与计算机安全 计算机科学技术基础学科其他学科
搜索结果: 1-15 共查到计算机科学技术基础学科 嵌入式系统相关记录15条 . 查询时间(0.164 秒)
东南大学电子科学与工程学院嵌入式系统及软件学科始建于2004年。该学科致力于前沿嵌入式技术的研究与开发,经过数年的努力,培养了一大批优秀科技人才和教育骨干,为国家的经济技术发展做出贡献。嵌入式系统对性能以及功耗的追求越来越成为设计的瓶颈。为了迎接这一挑战,嵌入式系统以及软件学科从处理器微体系结构评估,嵌入式系统与应用,以及嵌入式并行计算这三个方向开展了大量研究工作。
上海电力学院计算机硬件技术课件第十一章 嵌入式系统基础。
为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性。仿真实例结果表明,该工具的分析准确性较高。
由工信部信息化推进司、中国软件行业协会、北京经开区管委会指导,中国嵌入式系统产业联盟、中国软件行业协会嵌入式系统分会、国家卫星应用技术创新孵化器联合主办的“中国卫星民用产业化高峰论坛暨2011中国嵌入式系统年会”在北京经济技术开发区召开,来自全国高校等研究机构及嵌入式系统行业企业的代表等共200多人参加。
基于单一安全内核构建的嵌入式安全体系实时性差、复杂度高,难以对其进行全面的安全性评估,无法杜绝系统漏洞的出现。针对基于分区内核的安全嵌入式体系进行研究,提出一种分区内核的形式化定义,根据该形式化定义对分区内核的隔离安全性进行证明。为解决分区内核中分区间通信存在的信息流控制问题,提出一种兼顾通信效率和安全性的模型。
针对嵌入式系统的软件可重构下载中存在的安全性问题,设计一种可重构嵌入式系统的安全启动流程,研究硬件存储区管理模式,对密码协处理器进行集成,并加以实现。仿真实验结果表明,该流程能够使系统对下载软件的合法性进行验证,当下载代码合法但为恶意时,可以保证芯片自身安全性。
几种常用数字视频信号加密技术的原理与方法,分析了这些加密方法的优点和存在的不足。提出了一种仅对视频码流中解码和视频图像的重建起着重要作用的少部分数据进行高强度加密的方法,这一方法可以取得对整个视频码流安全加密的效果。
嵌入式系统的软硬件资源限制,目前在路由器中对于海量路由表的正则匹配查找,各大网络厂商普遍存在处理效率较低问题。目的是研究一种应用于实时嵌入式软件系统中,符合正则匹配语法的海量路由信息搜索技术。提供的高效正则匹配搜索算法的方法关键是减少正则匹配的路由搜索范围,为此需要建立一个以数字为索引的快速倒排索引结构。基于快速倒排索引结构,首先确定符合部分正则匹配摘要的路由较小范围,然后进一步对此小范围的每条...
提出了一种32位嵌入式系统中应用的扩展精度数学算法。适用于缺乏数字协处理器硬件支持并且软件浮点运算达不到系统时间要求的系统。算法运算数据精度高、扩展性好。介绍了32位乘法、除法、开方算法以及64位加法、减法、乘法算法。
分析了2种常用的动态内存管理算法,基于此提出了一种新的适用与嵌入式系统的动态内存管理方案,在融合了经典算法精髓的同时,通过引入特殊的数据结构,避免了常用算法某些方面的不足,使其更能满足嵌入式系统对内存管理的特殊需求。
不同环境下的用户对于信息安全有着不同的需求,因此需要使系统中信息的安全性可以让用户定制。利用构件技术的可定制特性可以满足这个要求。论述了利用构件技术在“和欣”嵌入式操作系统上开发可定制的安全构件的方法,开发出的安全构件能够灵活地满足在不同环境下用户对信息安全的需求。
介绍了利用模拟退火算法思想,结合大概率最近邻深度搜索算法解决无约束的TSP问题,以及用改进的深度优先遍历建立TSP子集数据结构和求解,并成功地应用到嵌入式电子导游系统中,取得良好效果
基于遗传算法的嵌入式系统软硬件划分算法。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...