检索结果-南通市图书馆

基于多变体的控制软件异构冗余与动态重构技术研究

在线全文

学校读者我要写书评

暂无评论

计算机测量与控制 2017年第1期25卷 105-106,110页

作者：员天佑刘金周小伟安宝冉中国工程物理研究院计算机应用研究所四川绵阳621900

针对控制软件的防篡改问题,从工控安全角度出发,提出了一种利用多变体技术和虚拟化技术构建控制软件动态目标防御体系的新方法;通过多变体的异构冗余、动态重构和多模表决实现了软件层面的主动防御和安全态势感知,通过虚拟化技术实现了... 详细信息

针对控制软件的防篡改问题,从工控安全角度出发,提出了一种利用多变体技术和虚拟化技术构建控制软件动态目标防御体系的新方法;通过多变体的异构冗余、动态重构和多模表决实现了软件层面的主动防御和安全态势感知,通过虚拟化技术实现了多变体执行环境的快速构建;着重介绍了技术路线、系统架构、动态重构策略、表决算法和同步机制;研究结果表明,该技术在提高控制系统可靠性的同时,使其具备了较强的主动安全防御能力。

关键词：多变体动态目标防御工控安全异构冗余动态重构

在线全文

学校读者我要写书评

暂无评论

灵活的多变体打印程序—BTDY

计算机应用 1987年第2期 19-22页

作者：张鹰湖州电力局

随着微机在办公室自动化中应用的推广和普及,用户对文件打印的字型要求也越来越高。要求它不仅能打印缩体汉字,而且更希望能印出放大的汉字.但是,目前国内微机上所配的汉字打印驱动程序一般印出的汉字最大只为标准型的4倍,并且字型选择... 详细信息

随着微机在办公室自动化中应用的推广和普及,用户对文件打印的字型要求也越来越高。要求它不仅能打印缩体汉字,而且更希望能印出放大的汉字.但是,目前国内微机上所配的汉字打印驱动程序一般印出的汉字最大只为标准型的4倍,并且字型选择也只有十几种。为了克服这一缺点,满足办公室自动化对文件打印的要求,我们在IBM—PC/XT 机上研制了一种适合 M2024打印机的灵活、多变体打印程序——BTDY,从而弥补了汉字打印驱动程序的不足,使个人计算机的汉字处理功能得到了进一步扩充。

关键词：点阵文件打印机打印设备 BTDY 多变体办公室自动化

高可靠信息系统非相似冗余架构中的执行体同步技术

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电子与信息学报 2024年第5期46卷 2122-2136页

作者：于洪刘勤让魏帅兰巨龙中国人民解放军战略支援部队信息工程大学信息技术研究所郑州450000

非相似冗余架构被广泛使用到信息系统中,提高系统的安全性和可靠性。非相似冗余架构中的执行体之间存在差异,当系统正常工作时,执行体表现一致,但在面对恶意攻击行为时,执行体会表现出不一致。架构通过比较执行体的表现监控系统、感知威... 详细信息

非相似冗余架构被广泛使用到信息系统中,提高系统的安全性和可靠性。非相似冗余架构中的执行体之间存在差异,当系统正常工作时,执行体表现一致,但在面对恶意攻击行为时,执行体会表现出不一致。架构通过比较执行体的表现监控系统、感知威胁,从而提升系统安全可靠性。执行体的同步监控,是所有非相似冗余架构都需要解决的难题。目前没有针对同步技术比较系统性的描述和总结。该文首先对执行体同步问题进行了抽象建模,然后提出基于同步点的同步技术分类方法,并分别对每种技术的基本方式、流行度、优缺点进行了总结。该文还提出了影响同步效果的3个重要指标:同步点、误报率和性能,同时给出了同步技术的数学模型,可用于同步技术的设计评估。最后,结合网络弹性工程领域和软件定义晶上系统领域的发展,指出了同步技术未来的发展潜力和可能的发展方向。

关键词：非相似冗余多变体异构冗余执行体同步

同方期刊数据库

一种面向粗粒度可重构阵列的硬件木马检测算法的设计与实现

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2019年第5期41卷 1257-1264页

作者：严迎建刘敏邱钊洋解放军信息工程大学郑州450001

硬件木马检测已成为当前芯片安全领域的研究热点,现有检测算法大多面向ASIC电路和FPGA电路,且依赖于未感染硬件木马的黄金芯片,难以适应于由大规模可重构单元组成的粗粒度可重构阵列电路。因此,该文针对粗粒度可重构密码阵列的结构特点... 详细信息

硬件木马检测已成为当前芯片安全领域的研究热点,现有检测算法大多面向ASIC电路和FPGA电路,且依赖于未感染硬件木马的黄金芯片,难以适应于由大规模可重构单元组成的粗粒度可重构阵列电路。因此,该文针对粗粒度可重构密码阵列的结构特点,提出基于分区和多变体逻辑指纹的硬件木马检测算法。该算法将电路划分为多个区域,采用逻辑指纹特征作为区域的标识符,通过在时空两个维度上比较分区的多变体逻辑指纹,实现了无黄金芯片的硬件木马检测和诊断。实验结果表明,所提检测算法对硬件木马检测有较高的检测成功率和较低的误判率。

关键词：硬件木马检测粗粒度可重构密码阵列逻辑指纹多变体

NiTi单晶热-机环境下微结构形态演化的相场法研究

在线全文

学校读者我要写书评

暂无评论

NiTi单晶热-机环境下微结构形态演化的相场法研究

形状记忆合金中的马氏体变体在外场下的再取向和再分布机制(英文)

北京力学会第二十七届学术年会

作者：席尚宾苏煜北京理工大学宇航学院

微观组织结构是热力学不稳定特征随时间的演化,也是材料具有不同宏观力学性能的原因。多数先进的功能材料或者具有某些特殊性能的材料其微观组织结构都涉及多相或者多畴结构。镍钛(Ni Ti)形状记忆合金(SMAs)作为备受关注的新型功能材料... 详细信息

微观组织结构是热力学不稳定特征随时间的演化,也是材料具有不同宏观力学性能的原因。多数先进的功能材料或者具有某些特殊性能的材料其微观组织结构都涉及多相或者多畴结构。镍钛(Ni Ti)形状记忆合金(SMAs)作为备受关注的新型功能材料,以其独特的形状记忆效应和超弹性等力学性能,在航空航天和生物医药等领域得到广泛的应用。在特定的外界环境诱导下,NiTi SMAs可以发生一阶固-固无扩散的、可逆的热弹性马氏体相变是其具有形状记忆效应和超弹性行为的微观机理。为了研究纳米晶Ni Ti SMAs在外加载荷作用下的微观形态的演变和力学响应,基于Ginzburg-Landau理论,设计了代表六种马氏体变体(三维共12种马氏体变体)的六势井自由能函数,建立了新的二维相场模型,模拟了温度载荷和应力载荷作用下发生马氏体相变过程中微观组织结构的演化。二维相场模拟结果表明,在温度-应力引起的形状记忆效应过程中,立方奥氏体相的减少-消失和单斜马氏体变体的形核-生长形成了多种马氏体变体共存的孪晶马氏体微观组织结构。此外,在拉伸和压缩过程中,马氏体退孪晶完成后微观组织结构由不同的马氏体变量组成,揭示了镍钛合金在拉伸和压缩过程中的组织演化的不对称性,也表明了纳米晶NiTi SMAs马氏体重定向过程中不同变体对施加应力的适应不同,应力适应的变体逐渐扩展并吞并应力不适应的变体,最终导致不适应施加应力的变体消失。对Ni Ti SMAs超弹性行为的数值模拟,准确再现了其在马氏体相变和逆相变过程中的微观组织演变,获得了Ni Ti SMAs在加载-卸载过程中的力学响应。相变过程中微观组织动态演变的研究,可以为近年来研究人员所探索的改善形状记忆合金的性能提供一定的参考。

关键词：相场法超弹性形状记忆效应多变体

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

中国材料进展 2012年第3期31卷 39-43页

作者：崔严光万见峰满蛟张骥华戎咏华上海交通大学材料科学与工程学院上海200240

利用相场方法研究了马氏体变体在循环应力作用下再取向和再分布的微观机制。模拟结果表明,随着外应力的增加,在孪晶界面会出现母相的形核和长大,以此实现变体间的转化,这是3种变体转化为2种变体的主要再取向机制;卸载后消失的变体在孪... 详细信息

利用相场方法研究了马氏体变体在循环应力作用下再取向和再分布的微观机制。模拟结果表明,随着外应力的增加,在孪晶界面会出现母相的形核和长大,以此实现变体间的转化,这是3种变体转化为2种变体的主要再取向机制;卸载后消失的变体在孪晶界面重新形核并长大以完成系统内微观组织的再分布。在Mn-Cu合金中这种机制是控制循环载荷下形状记忆效应产生的主要机制。

关键词：再取向多变体应力孪晶边界相场