高可信相关论文
为解决现行配电网防护方案中由于主站与终端之间单项认证而造成的终端上行数据不可信问题,在充分参考国网调[2011]168号文件及现行......
该文主要对网络系统和应用系统高可信设计进行研究.研究的重点在于网络的网络容错(针对以太网)和应用系统的高可信研究,并结合实例......
基于"嫦娥五号"(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、......
随着开关电源功率等级的提高和开关频率的逐步提升,对电源可靠性的要求越来越高。仿真是开关电源从参数设计到实际样机之间的重要......
学位
文章针对应用环境下不可信应用带来的安全问题,提出一种计算机信息系统应用可信封装模型.该模型通过对应用环境下的应用、服务进行......
本文提出一种面向三网融合的“新一代高可信网络”的架构方案,重点关注可管、可控和可信的网络支撑环境与可信、可运营和开放的业......
针对可信软件系统开发的迫切需求,该文分析了面向方面技术在可信软件开发中的优势,提出了覆盖整个开发过程的可信软件开发框架,并......
本文以信息系统的高可信要求为依托,构建了高可信通用信息处理环境的体系结构,并详细介绍了实现该体系结构的要点.......
随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证......
本项目面向国家空间信息基础设施建设和我国GIS技术创新发展的重大需求,突破了自适应空间数据引擎、规模可伸缩空间数据模型等一批......
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统......
为解决集群计算系统的失效和高能耗问题,提出了一种灵活的高可信集群计算任务调度框架。该框架基于动态电压调整、任务恢复执行和......
为增强安全关键实时系统的可信性,在分析高可信保障机制现状的基础上,提出了一种支持多级关键度子系统共享同一系统资源的集成式高......
分析了基于可信主体的DBMS高可信安全体系的设计方法，通过一个基于角色机制的DBMS体系结构设计实例，探讨了在高可信的要求下DBMS的存......
高可信云存储既能够满足低成本、高可扩展、高可靠的海量数据存储需求,又能够支持防偷窥、防篡改、防任意删除等确保数据完整性的......
随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用U......
无需人工介入、任务自动分解与执行的自动需求响应系统是能源局域网系统能量管控的主要发展趋势,能源互联网环境下需求响应业务大......
提出一套适用于空间机器人的高可信软件设计模型和算法，将空间机器人软件错误检测分为单元级和系统级2个层级，针对单元级检测设计程......
针对空间环境复杂和星载资源受限的特点,基于可信芯片支持,提出了一种适应于星载操作系统的动态度量认证方法,给出可配置的关键度......
嵌入式操作系统体系架构的可信性是保障其稳定运行的关键。文中设计基于人工智能的高可信嵌入式操作系统,配置操作系统有效空间与......
<正>该文以妇幼卫生信息系统中集体儿童保健管理分系统的儿童入园考勤模块为实例,论述基于射频识别(Radio Frequency Identificati......
目前，随着无所不在的计算的发展，越来越多的嵌入式设备植入到相关的产品中去，对系统的可信要求越来越高。提高操作系统的可靠性是一个......
