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