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