检索结果-南通市图书馆

TrustZone中断隔离机制的形式化验证

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2023年第9期44卷 2105-2112页

作者：付俊仪张倩颖王国辉李希萌施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 电子系统可靠性技术北京市重点实验室北京100048 北京成像理论与技术高精尖创新中心北京100048

TrustZone技术通过对硬件进行安全扩展,为软件提供了相互隔离的可信执行环境和通用执行环境.中断隔离机制是TrustZone的关键隔离机制,确保安全中断和非安全中断分别在可信执行环境和通用执行环境中被处理,该机制不正确可能导致安全中断... 详细信息

TrustZone技术通过对硬件进行安全扩展,为软件提供了相互隔离的可信执行环境和通用执行环境.中断隔离机制是TrustZone的关键隔离机制,确保安全中断和非安全中断分别在可信执行环境和通用执行环境中被处理,该机制不正确可能导致安全中断被通用执行环境处理,从而影响可信执行环境的安全性.本文提出ARMv8 TrustZone架构中断隔离机制的形式化验证方法,在定理证明器Isabelle/HOL中建立包含中断隔离机制关键软硬件的形式化模型,该模型为状态迁移系统,包括中断处理程序、TrustZone Monitor、中断控制器等组件;在证明模型满足正确性的基础上,通过展开定理验证无干扰、无泄露、无影响等信息流安全属性,结果表明TrustZone中断隔离机制满足信息流安全属性,在中断处理过程中不存在隐蔽的信息流通道.

关键词： TrustZone 可信执行环境中断隔离信息流安全形式化验证

2005-2019年中国北部8省市流行性乙型脑炎流行特征分析

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中国媒介生物学及控制杂志 2021年第2期32卷 197-203页

作者：王志会李文郭玉红岳玉娟王君马欣然徐名芳吴海霞刘起勇孟凤霞中国疾病预防控制中心传染病预防控制所媒介生物控制室传染病预防控制国家重点实验室世界卫生组织媒介生物监测与管理合作中心北京102206 东北农业大学黑龙江哈尔滨150036 山东第一医科大学山东泰安271016

目的分析2005-2019年中国北部的甘肃省、宁夏回族自治区、陕西省、山西省、河北省、北京市、天津市、辽宁省(简称8省)流行性乙型脑炎(乙脑)的流行特征,探讨乙脑发生规律,为乙脑的有效防控提供科学依据。方法通过中国疾病预防控制信息系... 详细信息

目的分析2005-2019年中国北部的甘肃省、宁夏回族自治区、陕西省、山西省、河北省、北京市、天津市、辽宁省(简称8省)流行性乙型脑炎(乙脑)的流行特征,探讨乙脑发生规律,为乙脑的有效防控提供科学依据。方法通过中国疾病预防控制信息系统和乙脑监测信息报告管理系统收集2005-2019年中国北部8省乙脑病例,进行描述性流行病学分析。结果2005-2019年研究区域乙脑年平均发病率为0.14/10万,死亡390例,病死率为7.25%。乙脑分布范围由2005年的157个县(区)扩展到2018年的254个县(区)。8-9月乙脑发病数占总发病数的81.26%,是乙脑发病高峰月份。0~14岁年龄组占比从2005年的54.55%下降至2019年的3.96%,≥15岁年龄组占比从2005年的45.18%升至2019年的96.03%(χ^(2)趋势=998.524,P1)。农民、幼托儿童及散居儿童和学生分别占58.76%、14.81%和12.38%,农民占比由2005年的37.19%上升至2019年的79.21%。结论中国北部8省乙脑分布范围扩大,年龄分布向高年龄组倾斜,人群职业构成中农民占比增加。

关键词：流行性乙型脑炎流行特征预防控制

在线全文

学校读者我要写书评

暂无评论

雅万高铁智能信息化方案研究

中国铁路 2023年第12期 154-162页

作者：吴丽李平刘忠东苏尔慈于行健中国铁路国际有限公司项目管理部北京100055 中国铁道科学研究院集团有限公司科技和信息化部(总工程师室) 北京100081 中国国家铁路集团有限公司科技和信息化部北京100844 中国铁道科学研究院集团有限公司电子计算技术研究所北京100081 中国铁路设计集团有限公司电化电信院天津300251

针对雅万高铁信息化按照传统模式分散独立设计、资源和信息共享有限的特点,依托云计算、大数据等新技术,充分借鉴我国智能高铁创新成果和建设经验,遵循平台+应用、系统整合、轻量化应用的主流信息系统建设模式,提出雅万高铁智能信息化... 详细信息

针对雅万高铁信息化按照传统模式分散独立设计、资源和信息共享有限的特点,依托云计算、大数据等新技术,充分借鉴我国智能高铁创新成果和建设经验,遵循平台+应用、系统整合、轻量化应用的主流信息系统建设模式,提出雅万高铁智能信息化方案。方案涵盖了系统总体架构、业务功能、数据架构、数据交互模式、网络与安全、数据中心灾备等,并在雅万高铁成功实施,是我国智能铁路发展模式在海外应用的创新性尝试。系统总结方案采用的云平台技术、大数据分析技术和遥感地理信息技术等关键技术,对类似项目具有重要参考意义。

关键词：雅万高铁智能信息化大数据云平台

维普期刊数据库博看期刊

组分比例对li(NixCoyMn1-x-y)O2正极材料结构及其电化学性能影响的机理研究

在线全文

学校读者我要写书评

暂无评论

核技术 2019年第11期42卷 7-17页

作者：吴颜如张念章辉柳娜徐中领李奇锋陈玉君刘啸嵩中国科学院上海微系统与信息技术研究所功能材料国家重点实验室上海200050 中国科学院大学北京100049 宁德时代新能源科技股份有限公司宁德352000 上海科技大学物质科学与技术学院上海201210

li(NixCoyMn1-x-y)O2(NCM)是具有能量密度大、循环稳定性高、低廉价格等良好性能的新型锂离子电池正极材料,在电动汽车等领域已开始成功应用。NCM材料中,3d过渡金属Ni、Co和Mn元素的不同配比对材料的结构和电子结构都会产生重要影响。因... 详细信息

li(NixCoyMn1-x-y)O2(NCM)是具有能量密度大、循环稳定性高、低廉价格等良好性能的新型锂离子电池正极材料,在电动汽车等领域已开始成功应用。NCM材料中,3d过渡金属Ni、Co和Mn元素的不同配比对材料的结构和电子结构都会产生重要影响。因此,组分比例的研究有助于优化NCM材料的电化学性能,推动其在动力电池和大型储能装置中有更广泛的应用。本文选取工业常用的li(Ni0.6Co0.2Mn0.2)O2(NCM622)、li(Ni0.5Co0.2Mn0.3)O2(NCM523)和li(Ni0.33Co0.33Mn0.33)O2(NCM333)三种正极材料,采用恒流充放电测试、扫描电子显微镜(Scanning Electron Microscopy,SEM)、X射线衍射(X-ray Powder Diffraction,XRD)和X射线吸收谱(X-ray Absorption Spectroscopy,XAS)等表征方法,研究了不同元素配比对材料结构及电化学性能的影响,从而建立结构与电化学的对应关系。电化学测试结果表明:Ni含量越高,充放电容量越高,但倍率稳定性能越差。SEM和XRD结果表明:三种配比的颗粒尺寸和晶体结构基本保持一致。XAS测试结果表明:NCM材料中,Ni含量越高,Ni的价态越高,O在低能量处的吸收峰增强,说明Ni3d-O2p的杂化增强。Ni和O的电子结构的演变与电化学稳定性具有相关性,可能成为电化学稳定性变化的原因之一。综合三种材料研究结果,平衡容量密度和倍率性能,NCM523成为较优配比。

关键词： li(NixCoyMn1-x-y)O2 正极材料电子结构 X射线吸收谱

在线全文

学校读者我要写书评

暂无评论

药用植物分子遗传学研究规律的探讨

中国中药杂志 2020年第23期45卷 5577-5588页

作者：陈士林孙伟吴问广陈万生王瑛董扬刘义飞徐志超孙超尹青岗李勇青罗鸣肖莹万会花中国中医科学院中药研究所中药鉴定与安全性检测评估重点实验室北京100700 海军军医大学附属长征医院药学部上海200003 上海中医药大学中药资源与生物技术中心上海201203 中国科学院华南植物园华南农业植物分子与遗传改良重点实验室广东广州5106505 云南农业大学生物资源保护与利用国家重点实验云南昆明650201 云南省高原特色农业产业研究院云南昆明650201 湖北中医药大学药学院湖北武汉430065 中国医学科学院北京协和医学院药用植物研究所北京100193

该文探讨了药用植物分子遗传学的定义,即是以药用植物作为研究对象的综合性学科,该学科关注药用植物的遗传和变异规律,研究药用植物关键性状(有效成分、产量、抗性等)和基因型的相关性,主要从分子水平上研究药用植物基因的结构与功能,... 详细信息

该文探讨了药用植物分子遗传学的定义,即是以药用植物作为研究对象的综合性学科,该学科关注药用植物的遗传和变异规律,研究药用植物关键性状(有效成分、产量、抗性等)和基因型的相关性,主要从分子水平上研究药用植物基因的结构与功能,遗传与变异,从而揭示药用植物生长发育和环境应答过程中遗传信息传递、表达和调控的分子机制。详细论述了药用植物分子遗传学的三大研究重点方向:一是药用植物个体和群体的遗传和变异规律,主要突出药用植物的人工驯化的遗传机制、药用植物物种层面的个体基因组学和药用植物群体遗传多样性的形成和规律;二是药用植物药效成分合成途径的解析及代谢途径的进化。重点阐述药用植物有效成分的生物合成、有效成分的多样性及分子进化;三是药用植物体内外因子影响其关键性状形成的分子遗传调控机制。主要涉及到药用植物药用活性成分的积累和分布,环境因子对活性成分积累调控网络分子机制。最后结合多组学技术的快速发展对药用植物分子遗传研究重点的未来发展方向进行了展望,并提出应用药用植物分子遗传学规律实现药用植物保育、育种和有效成分生物合成等的具体方法和措施。

关键词：药用植物分子遗传学多组学群体遗传学酶转录调控

在线全文

学校读者我要写书评

暂无评论

基于多源告警的攻击事件分析

计算机应用 2020年第1期40卷 123-128页

作者：王淳颖张驯赵金雄袁晖李方军赵博朱小琴杨凡吕世超北京大学软件与微电子学院北京102600 中国科学院信息工程研究所物联网信息安全技术北京市重点实验室北京100093 国网甘肃省电力公司电力科学研究院兰州730070 国网甘肃省电力公司兰州730030

为解决多源告警中的复杂攻击难以被发现的问题,提出一种攻击序列模式挖掘算法。利用正则表达式匹配告警,将多源告警规范化为统一格式。对冗余告警信息进行压缩,利用强关联规则训练得到的规则集聚合同一阶段的告警,有效去除冗余告警,精... 详细信息

为解决多源告警中的复杂攻击难以被发现的问题,提出一种攻击序列模式挖掘算法。利用正则表达式匹配告警,将多源告警规范化为统一格式。对冗余告警信息进行压缩,利用强关联规则训练得到的规则集聚合同一阶段的告警,有效去除冗余告警,精简告警数量。利用滑动窗口对聚合后的告警进行划分得到候选攻击事件数据集,通过改进的PrefixSpan算法挖掘得到多阶段攻击事件的攻击序列模式。实验结果表明,该算法在不依赖专家知识的前提下,能够准确并高效地分析告警相关性,还原攻击事件中的攻击步骤。相比传统PrefixSpan算法,提出的改进算法的攻击模式挖掘效率提升了48.05%。

关键词：多源告警告警聚类关联规则序列模式挖掘多阶段攻击事件

在线全文

学校读者我要写书评

暂无评论

区块链增强5G电力应用安全性的研究

供用电 2022年第6期39卷 20-26页

作者：王丹白杰吴庆张春玲李帅国网信息通信产业集团有限公司北京102211

5G技术提升了电力业务应用的深度感知及实时控制等能力,但也给网络及电力业务数据的安全性带来了新的挑战。通过区块链增强5G电力应用的安全性,可为5G网络和服务提供安全增强解决方案。首先阐述区块链关键技术,从5G网络部署、切片技术... 详细信息

5G技术提升了电力业务应用的深度感知及实时控制等能力,但也给网络及电力业务数据的安全性带来了新的挑战。通过区块链增强5G电力应用的安全性,可为5G网络和服务提供安全增强解决方案。首先阐述区块链关键技术,从5G网络部署、切片技术、安全认证、频谱功效、资源管理等方面,分析5G技术与区块链技术结合的可能性和必要性。然后,通过区块链技术加强5G数据的存储与管理,并从架构上优化5G网络,以此来增强5G生态系统的安全性。最后,探讨如何进行5G及区块链技术的二次重构,形成与电力应用深度融合的系统架构,解决5G无线通信网络在电力多场景业务应用中的安全问题,支撑能源互联网建设中的电力业务数据融通及安全传输。

关键词： 5G 区块链网络安全数据安全电力应用

利用数据挖掘技术改进TCP CUBIC拥塞控制算法

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2018年第10期35卷 3044-3047页

作者：张錋毛澍李彦庆张晶晶武宏斌韩啸全球能源互联网研究院信息通信研究所北京102209 全球能源互联网研究院信息网络安全国网重点实验室北京102209

TCP CUBIC拥塞控制算法无法主动判断拥塞和预测丢包。为解决这一难题,算法首先采集网络节点数据,利用多维关联挖掘方法建立模型,引用RTT最大值和最小值变化率判定网络拥塞;然后划分拥塞等级,利用动态神经网络算法训练模型,确定拥塞窗口... 详细信息

TCP CUBIC拥塞控制算法无法主动判断拥塞和预测丢包。为解决这一难题,算法首先采集网络节点数据,利用多维关联挖掘方法建立模型,引用RTT最大值和最小值变化率判定网络拥塞;然后划分拥塞等级,利用动态神经网络算法训练模型,确定拥塞窗口的立方增长因子λ和线性增长参数S数值大小,制定不同策略主动调整拥塞窗口增长速度,利用贝叶斯学习推理策略,动态学习预测连接路径丢包概率;最后,结果表明改进算法能有效调整拥塞和预测丢包。

关键词：数据挖掘关联挖掘拥塞控制往返时延

在线全文

学校读者我要写书评

暂无评论

层次分析法在中国安全科学研究中的应用

安全与环境学报 2018年第6期18卷 2126-2130页

作者：冯长根李杰李生才北京理工大学爆炸科学与技术国家重点实验室北京100081 上海海事大学海洋科学与工程学院安全科学与工程系上海201306 上海海事大学安全科技趋势研究中心上海201306

为了全面分析层次分析法在我国安全科学领域文献中的实际应用,通过科学计量数据可视化的方法,对获取的安全领域层次分析法的2794篇论文进行了分析。结果表明,我国安全科学领域应用层次分析法活跃的机构分别为中南大学、河海大学及武汉... 详细信息

为了全面分析层次分析法在我国安全科学领域文献中的实际应用,通过科学计量数据可视化的方法,对获取的安全领域层次分析法的2794篇论文进行了分析。结果表明,我国安全科学领域应用层次分析法活跃的机构分别为中南大学、河海大学及武汉理工大学,活跃的作者有苏欣、吴超及袁梅等。安全领域层次分析法的研究热点是模糊综合评价法、安全评价、指标体系、模糊层次分析法及风险评估等方面。高被引论文组成了层次分析法在安全领域应用的经典案例和知识基础,为后续安全层次分析法的应用提供了研究基础。

关键词：安全科学技术基础学科层次分析法安全科学 CiteSpace AHP应用知识图谱