论文部分内容阅读
针对嵌入式系统升级的基本需求及面临的主要问题,提出一种支持高可信嵌入式系统安全的在线升级的模型。详细分析了该模型的理论基础和结构组成,并指出实现该模型需要解决的问题,及其广泛的应用前景
可升级的高可信嵌入式系统模型
【摘 要】
：
针对嵌入式系统升级的基本需求及面临的主要问题,提出一种支持高可信嵌入式系统安全的在线升级的模型。详细分析了该模型的理论基础和结构组成,并指出实现该模型需要解决的问题,及其广泛的应用前景
【机 构】
：
电子科技大学计算机科学与工程学院
【出 处】
：
计算机应用
【发表日期】
：
2002年02期
其他文献
对年轻足球裁判员在临场不同位置的执法中经常出现的问题进行分析,阐述了如何运用正确的方法和通过裁判员之间的相互配合来提高判罚犯规的准确性.
为了克服极低码率视频压缩编码中的方块效应,提出了可变大小块匹配双向运动估计和补偿方法。在编码中,每隔一帧对图像进行一次优化分割,其分割过程是对每一个宏块采用熵准则优化分割,对于非分割帧采用双向运动估计和补偿(即双向补偿帧)。所谓双向运动估计和补偿,是首先按前一帧的分割信息对其进行前向运动估计和补偿,然后由前一帧中的小块对当前帧再进行后向运动估计和补偿,对补偿过程中的重叠部分进行加权滤波。由于采用了
介绍了在微机版塔台模拟机系统中 ,如何有效地控制其实时三维视景部分的帧率 ,以达到一个稳定性更高交互性更强的视景仿真环境。采用多台微机协作模拟机场塔台的窗外场景 ,创造性地提出了视景服务器和从视景位的概念 ,由从视景位实现单个通道的渲染 ,而由视景服务器完成各从视景位之间的同步和帧率控制。视景服务器开辟一个缓冲区预存一定数目的帧包来减少网络的延迟 ,同时根据缓冲区中帧包的平均数目动态调整系统与视景
针对分布式系统中管理的特点 ,文中详细介绍了一种基于策略的管理模式 ,给出了利用这种管理模式对信息流进行过滤的工作实例 ,并将这种模式应用在分布式防火墙中 ,防止了网络内部的安全威胁 ,使管理更加方便高效。
对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。
采用CSAI-2问卷及焦虑量表,对参加第四届CUBA男八强赛及决赛的山东科技大学赛区的部分运动员进行了心理测定,并结合临场技术水平发挥状况进行了分析研究.结果表明:焦虑水平的
探讨了利用虚拟现实技术 ,在WWW上建立产品展示和定制的虚拟环境 ,详细阐述了系统开发中所涉及到的虚拟环境中物品模型及空间关系模型、网络通讯模型等实现方法和技术 ,较好解决了虚拟环境在分布式系统中的网络数据传输和不破坏Java安全机制 ,并实现本地保存数据等技术问题。