【摘 要】
：
针对控制软件的防篡改问题，从工控安全角度出发，提出了一种利用多变体技术和虚拟化技术构建控制软件动态目标防御体系的新方法；通过多变体的异构冗余、动态重构和多模表决实现了
【机 构】
：
中国工程物理研究院计算机应用研究所
论文部分内容阅读
针对控制软件的防篡改问题，从工控安全角度出发，提出了一种利用多变体技术和虚拟化技术构建控制软件动态目标防御体系的新方法；通过多变体的异构冗余、动态重构和多模表决实现了软件层面的主动防御和安全态势感知，通过虚拟化技术实现了多变体执行环境的快速构建；着重介绍了技术路线、系统架构、动态重构策略、表决算法和同步机制；研究结果表明，该技术在提高控制系统可靠性的同时，使其具备了较强的主动安全防御能力。
其他文献
随着全球导航卫星连续运行参考站系统的广泛应用,采用基于CORS的GNSS接收机校准技术,可极大提高校准可靠性和工作效率。结合福州地区CORS基准站分布和GPS校准场点位现状,进行基线优化设计,合理分布基线,提高基线数量和质量,有效地增强GNSS接收机校准的准确性,避免一些不必要的重复工作,提高外业校准效率。
规划项目选址的合理布局对于城镇空间布局、国土空间开发利用以及人口、经济发展政策的制定具有重要意义。依据国土空间开发适宜性单要素评价,构建动态规划项目选址模型,实现建设项目最优选址范围的快速识别,并通过动态配置项目选址规划模型评价因子的权重,解决不同类型的建设项目选址问题。最后,以海南省澄迈县数据为基础进行模型验证,进一步验证模型的科学性、合理性及在实际应用场景中的价值。
通过对某厂生产复合玻璃关键步骤"合片抽真空"的研究,发现在此过程中应用的温度控制方法简单,控制效果不理想,会产生超调、震荡等现象;为了解决在温度控制过程中出现的这些现
针对高超声速飞行器无动力再入过程中具有强耦合、气动参数摄动及不确定性的非线性姿态模型,提出了飞行器姿态控制的一种非线性设计方法;首先基于时标分离原理分内外环设计非
目的探讨机器人辅助食管癌根治术的安全性及近远期效果。方法采用前瞻性随机对照研究方法。前瞻性纳入2014年1月1日至2018年6月30日期间，术前诊断为0~ⅢB期食管鳞癌、可行微创手术切除的患者，排除≥75岁、术前接受新辅助治疗、术前有严重合并症存在麻醉和（或）手术禁忌者、既往有开胸或开腹手术者、合并其他恶性肿瘤者以及拒绝入组患者研究者。应用随机数字表法将入组患者按1∶1比例随机分为腔镜手术组和机器
当前，我国新型冠状病毒肺炎（简称"新冠肺炎"）的疫情形势严峻，全国医护人员都义不容辞地肩负起了抗击疫情的重任。作为胃肠外科医师，我们应积极学习新冠肺炎的相关知识，科学应对，把防疫的意识渗透到临床工作的每个诊疗细节和临床操作中去。对于胃肠肿瘤患者，首先应做好入院前筛查，肺部CT应作为常规检查项目。经过严密筛查的患者入院后术前检查时需加强防护措施，包括医护人员的自我防护；诊疗过的器械或物品应妥善丢弃，
目的比较中低位局部进展期直肠癌术前采用新辅助放化疗（nCRT）和全程新辅助治疗（TNT）两种模式的近期疗效与安全性。方法采用回顾性队列研究方法。病例入组标准：（1）病理证实为距离肛缘12 cm以内的直肠腺癌；（2）经磁共振（MRI）或直肠腔内超声诊断为cT3~4N0或cT1~4N1~2者；（3）经肠镜证实为直肠单发肿瘤；（4）能够耐受放化疗；（5）既往无其他肿瘤史。排除标准：既往接受过直肠癌根治手
硬X射线调制望远镜(Hard X-ray Modulation Telescope,HXMT)卫星是国内首颗空间天文卫星,用于实现宽波段、大视场X射线巡天观测和成像;为实现高灵敏度、高分辨率的空间X射线成像,满足卫星平台和有效载荷对高精度卫星时间同步的需求,设计了适用于空间科学试验卫星的卫星时间同步系统,包括一般精度时间和高精度时间同步,通过GPS校时、遥控校时、星时总线广播和GPS硬件秒脉冲输出
缺乏统一的测试描述语言（TDL）已成为提高测试效率和复用程度的瓶颈；以设备、信号等为核心的传统测试语言不能体现软件测试的基本思想，不适用于建立软件测试“共享知识库”；为实现