期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
金属抗菌肽SIF_(4)对大肠杆菌呼吸代谢与能量代谢的抑制机理 被引量:3
1
作者 李玉珍 肖怀秋 +3 位作者 刘淼 王琳 曾梦琪 赵谋明 《食品科学》 EI CAS CSCD 北大核心 2023年第17期36-42,共7页
为系统阐释金属抗菌肽SIF_(4)对大肠杆菌呼吸代谢和能量代谢的抑制机理,本实验通过分析SIF_(4)处理后大肠杆菌的代谢活力、呼吸抑制率、呼吸叠加率、细胞质膜离子通道ATP酶活力以及胞内ATP含量的变化情况,研究SIF_(4)对菌体新陈代谢活... 为系统阐释金属抗菌肽SIF_(4)对大肠杆菌呼吸代谢和能量代谢的抑制机理,本实验通过分析SIF_(4)处理后大肠杆菌的代谢活力、呼吸抑制率、呼吸叠加率、细胞质膜离子通道ATP酶活力以及胞内ATP含量的变化情况,研究SIF_(4)对菌体新陈代谢活力、呼吸代谢途径、细胞质膜离子通道ATP酶及胞内ATP生物合成的影响。代谢活力分析结果表明,随着SIF_(4)处理剂量的增加,菌体代谢活力显著降低(P<0.05),2倍最小抑菌浓度(minimum inhibitory concentration,MIC)组菌体代谢活力相比对照组降低了70.41%;呼吸抑制率分析结果表明,SIF_(4)对菌体呼吸有较好的抑制活性,MIC组和2 MIC组呼吸抑制率分别为(19.387±0.168)%和(25.222±0.326)%;呼吸叠加率分析结果表明,金属抗菌肽与碘乙酸呼吸叠加率最低((19.982±0.133)%),由此可推断,SIF_(4)主要通过抑制糖酵解途径实现高抗菌活性;SIF_(4)处理后,细胞质膜离子通道Na+K+-ATP和Ca2+Mg2+-ATP酶活力均有不同程度下降,且降幅与处理剂量和时间呈正相关关系,但降幅均弱于阳性对照组(TritonX-100组);随着SIF_(4)处理时间的延长和处理剂量的增加,胞内ATP含量显著降低,处理12 h时,与对照组相比,2 MIC组胞内ATP含量显著降低(P<0.05),但显著高于阳性对照组(P<0.05)。综上,金属抗菌肽SIF_(4)可通过影响菌体呼吸代谢、削弱细胞质膜离子通道ATP酶活性和抑制胞内ATP合成实现对大肠杆菌的高效抑制,研究结果可为金属抗菌肽SIF_(4)对食源性大肠杆菌生物防控提供理论支持。 展开更多
关键词 大肠杆菌 金属抗菌肽 呼吸代谢途径 能量代谢 抑菌机理
下载PDF
金属抗菌肽SIF4基于胞内生物大分子靶点的大肠杆菌非膜损伤抑菌机理 被引量:1
2
作者 李玉珍 肖怀秋 +3 位作者 刘淼 王琳 曾梦琪 赵谋明 《食品科学》 EI CAS CSCD 北大核心 2023年第21期62-68,共7页
为阐明金属抗菌肽SIF4对食源性大肠杆菌基于胞内核酸和蛋白质靶点的非膜损伤抑菌机理,本实验对SIF4处理下胞内核酸生物合成情况进行研究,并对SIF4与溴化乙锭(ethidium bromide,EB)竞争性结合基因组DNA荧光光谱、与基因组DNA互作紫外光... 为阐明金属抗菌肽SIF4对食源性大肠杆菌基于胞内核酸和蛋白质靶点的非膜损伤抑菌机理,本实验对SIF4处理下胞内核酸生物合成情况进行研究,并对SIF4与溴化乙锭(ethidium bromide,EB)竞争性结合基因组DNA荧光光谱、与基因组DNA互作紫外光谱以及SIF4与基因组DNA的结合方式进行分析,同时对胞内蛋白质生物合成影响进行系统研究。结果表明,SIF4可通过沟槽嵌入与大肠杆菌基因组DNA结合,对核酸生物合成抑制存在剂量效应关系;EB竞争性结合DNA荧光光谱分析结果表明,SIF4可通过嵌插结合和静电吸附竞争结合EB与基因组DNA的结合位点;与基因组DNA互作紫外光谱分析结果表明,SIF4与基因组DNA结合可改变其分子构象,但不断裂基因组DNA双链结构;圆二色光谱分析结果表明,与SIF4结合后,基因组DNA碱基堆积力被削弱,双螺旋结构变得松散,基因组DNA结构由B构型向C型转变;胞内蛋白质生物合成影响分析结果表明,SIF4可显著影响胞内蛋白质生物合成,其抑制效应与SIF4处理时间和处理剂量存在正相关关系。综上,SIF4可通过与基因组DNA进行静电吸附或嵌插结合进入到DNA沟槽,影响DNA复制、RNA转录生物量以及蛋白质翻译,从而实现大肠杆菌非膜损伤抑制。本研究结果可为阐明基于核酸与蛋白质靶点的非膜损伤抑菌机理和食源性大肠杆菌生物防控提供支持。 展开更多
关键词 金属抗菌肽 大肠杆菌 胞内生物大分子 非细胞质膜损伤 抑菌机理
下载PDF
金抗肽SIF_(4)对大肠杆菌基于细胞壁靶点的非细胞质膜损伤抑菌机理 被引量:1
3
作者 李玉珍 肖怀秋 +3 位作者 刘淼 王琳 曾梦琪 赵谋明 《食品与生物技术学报》 CAS CSCD 北大核心 2023年第6期78-83,共6页
为阐明金抗肽SIF_(4)对食源性大肠杆菌基于细胞壁靶点的非细胞质膜损伤抑菌机理,研究了SIF_(4)对细胞壁损伤的影响、与细胞壁脂多糖竞争性结合机理及对细胞壁膜组分影响机理,并运用扫描电镜分析了菌体形貌变化。研究发现,SIF_(4)对菌体... 为阐明金抗肽SIF_(4)对食源性大肠杆菌基于细胞壁靶点的非细胞质膜损伤抑菌机理,研究了SIF_(4)对细胞壁损伤的影响、与细胞壁脂多糖竞争性结合机理及对细胞壁膜组分影响机理,并运用扫描电镜分析了菌体形貌变化。研究发现,SIF_(4)对菌体细胞壁有破坏作用,在一定浓度范围内,细胞壁受损与SIF_(4)处理时间和处理剂量呈正相关,且组间差异显著(P<0.05);SIF_(4)可与细胞壁脂多糖(LPS)竞争性结合,结合量为256 mg/L或更大时,表现无抑菌活性;傅里叶变换红外光谱(FT-IR)分析发现,SIF_(4)对细胞壁多糖信息区、蛋白质与脂肪酸混合信息区影响明显,揭示细胞壁是潜在抑菌效应靶点;扫描电镜(SEM)分析发现,SIF_(4)可破坏菌体细胞壁膜结构并改变菌体形貌。研究认为,SIF_(4)可基于细胞壁损伤靶点作用于大肠杆菌并实现高效抑菌活性,研究结果可为阐明基于细胞壁靶点的非细胞质膜损伤抑菌机理和食源性大肠杆菌生物防控提供依据。 展开更多
关键词 金抗肽 细胞壁 大肠杆菌 非细胞质膜损伤 抑菌机理
下载PDF
人工智能全生命周期安全风险综合评估方法
4
作者 石凯 陈捷 +3 位作者 张锋军 曾梦岐 李庆华 许杰 《通信技术》 2023年第5期626-633,共8页
人工智能技术在不断发展的同时,其在各行业中的使用也越来越广泛。但是人工智能技术在为人们的生产生活带来便利的同时,也引入了新的安全风险。为了应对潜在的安全隐患,做到事前预防,保障人工智能的安全,提出了一种基于信息熵和马尔可... 人工智能技术在不断发展的同时,其在各行业中的使用也越来越广泛。但是人工智能技术在为人们的生产生活带来便利的同时,也引入了新的安全风险。为了应对潜在的安全隐患,做到事前预防,保障人工智能的安全,提出了一种基于信息熵和马尔可夫链的人工智能全生命周期安全风险评估方法。一方面,该方法能够在对人工智能进行整体性的安全风险等级评估的同时,保留对各类安全风险的评估;另一方面,基于马尔可夫链形成各个风险类在稳定状态下的转移矩阵和概率分布,提供了一种面向全局的人工智能安全风险的展现方法。 展开更多
关键词 人工智能 马尔可夫链 安全风险 安全评估
下载PDF
基于EPICS的SHINE束线站定时设备控制系统
5
作者 曾孟麒 尹亮 +1 位作者 尹聪聪 怀平 《核技术》 CAS CSCD 北大核心 2023年第7期23-31,共9页
上海硬X射线自由激光装置(Shanghai High Repetition rate XFEL and Extreme light facility,SHINE)整体采用基于白兔协议(White Rabbit,WR)技术的定时系统。束线站定时系统接收外部参考信号,并通过定时主节点、WR交换机和从节点等WR设... 上海硬X射线自由激光装置(Shanghai High Repetition rate XFEL and Extreme light facility,SHINE)整体采用基于白兔协议(White Rabbit,WR)技术的定时系统。束线站定时系统接收外部参考信号,并通过定时主节点、WR交换机和从节点等WR设备将定时信号分发到各光束线和实验站。定时设备控制系统基于简单网络管理协议(Simple Network Management Protocol,SNMP)与实验物理与工业控制系统(Experiment Physics and Industrial Control System,EPICS)开发,可远程监测和控制分布式定时设备。该系统获取定时设备硬件相关参数,通过EPICS IOC(Input/Output Controller)保存至内存数据库。定时系统参数可以通过PyDM(Python Display Manager)编写的用户界面查看,并可在Archiver Appliance中存档与检索。通过测试证明此控制系统能够实时监测设备参数,并能远程控制信号时延及脉宽等,满足SHINE光束线与实验站的定时需求。 展开更多
关键词 SHINE 定时系统 白兔协议 EPICS SNMP
下载PDF
SHINE束线站定时系统束团编号的数据采集
6
作者 尹亮 曾孟麒 +1 位作者 尹聪聪 怀平 《核技术》 CAS CSCD 北大核心 2023年第6期1-7,共7页
上海硬X射线自由电子激光装置(Shanghai High Repetition rate XFEL(X-ray Free Electron Laser)and Extreme light facility,SHINE)是一个高重频XFEL装置,束线站定时系统需要为设备提供基于硬件的精确的X射线束团编号和定时触发。对于S... 上海硬X射线自由电子激光装置(Shanghai High Repetition rate XFEL(X-ray Free Electron Laser)and Extreme light facility,SHINE)是一个高重频XFEL装置,束线站定时系统需要为设备提供基于硬件的精确的X射线束团编号和定时触发。对于SHINE束线站单脉冲工作模式的设备,采集数据包以及对应时刻的束团编号信息,便于后续实验数据分析。设计了一个束团编号采集的测试系统,它基于Zynq-UltraScale+型片上系统(System-On-Chip,SOC)搭建,采用了白兔协议(White Rabbit)协议的定时系统环境。该测试系统通过FPGA夹层卡(FPGA Mezzanine Card,FMC)获取嵌入型从节点的束团编号,使用LwIP(Light weight Internet Protocol)协议搭建的TCP协议栈实现束团编号的采集。采用Basler相机对该系统进行了实验测试,并使用pypylon库来采集相机的数据。实验测试结果表明:该束团采集测试系统获得的束团编号数量和图像帧数相同,可以满足SHINE束线站对于束团编号采集的需求。 展开更多
关键词 定时 上海硬X射线自由电子激光装置 白兔协议 束团编号
下载PDF
金抗肽SIF_(4)基于糖代谢途径和细胞质膜氧化损伤的大肠埃希菌抑菌机理 被引量:4
7
作者 李玉珍 肖怀秋 +4 位作者 王琳 刘淼 曾梦琪 曹丹 赵谋明 《食品与发酵工业》 CAS CSCD 北大核心 2022年第20期122-129,共8页
为揭示金抗肽SIF_(4)基于糖代谢途径和细胞质膜氧化损伤的大肠埃希菌抑菌机理,研究了SIF_(4)对糖酵解和三羧酸循环途径关键酶活性、细胞质膜氧化损伤及细胞内源活性氧自由基(reactive oxygen species,ROS)生成的影响。研究发现,SIF_(4)... 为揭示金抗肽SIF_(4)基于糖代谢途径和细胞质膜氧化损伤的大肠埃希菌抑菌机理,研究了SIF_(4)对糖酵解和三羧酸循环途径关键酶活性、细胞质膜氧化损伤及细胞内源活性氧自由基(reactive oxygen species,ROS)生成的影响。研究发现,SIF_(4)对己糖激酶、磷酸果糖激酶和丙酮酸激酶这3种糖酵解关键酶抑制率分别达66.61%、27.37%和39.61%,对丙酮酸脱氢酶系、柠檬酸合成酶、异柠檬酸脱氢酶和α-酮戊二酸脱氢酶这4种三羧酸循环关键酶抑制率分别达25.20%、22.91%、26.99%和23.44%,主要通过抑制大肠埃希菌糖酵解途径中已糖激酶活性来调控葡萄糖氧化效率而发挥抑菌活性。研究还发现,SIF_(4)可造成细胞质膜氧化损伤和诱导氧化应激产生过量ROS,破坏细胞质膜结构与功能,从而诱导菌体细胞凋亡或程序性死亡来发挥协同抑菌活性。试验结果可为系统揭示SIF_(4)对大肠埃希菌抑菌机理提供直接证据,也为其在食源性大肠埃希菌生物防控中的应用提供理论支持。 展开更多
关键词 金抗肽 大肠埃希菌 糖酵解途径 三羧酸循环 细胞质膜氧化损伤
下载PDF
金属抗菌肽SIF 4在模拟单/多组分食品体系中抑菌稳定性研究 被引量:1
8
作者 李玉珍 肖怀秋 +4 位作者 曹丹 王琳 曾梦琪 林亲录 赵谋明 《食品与发酵工业》 CAS CSCD 北大核心 2022年第12期131-137,共7页
前期研究发现,金属抗菌肽SIF_(4)对金黄色葡萄球菌具有较好的抑菌活性,食品内外部因素变化对抗菌活性影响较少且具有较好的生物相容性。该试验以金黄色葡萄球菌为指示菌,考察了SIF_(4)在以蛋白质、脂质和淀粉等为基质的模拟单/多组分食... 前期研究发现,金属抗菌肽SIF_(4)对金黄色葡萄球菌具有较好的抑菌活性,食品内外部因素变化对抗菌活性影响较少且具有较好的生物相容性。该试验以金黄色葡萄球菌为指示菌,考察了SIF_(4)在以蛋白质、脂质和淀粉等为基质的模拟单/多组分食品体系中的抑菌稳定性。研究发现,SIF_(4)在牛乳清蛋白(bovine whey protein,BWP)、大豆分离蛋白(soybean protein isolate,SPI)和花生分离蛋白(peanut protein isolate,PPI)等模拟蛋白质体系中有较好抑菌活性;菜籽油(rapeseed oil,RO)、花生油(peanut oil,PO)和大豆油(soybean oil,SO)等模拟脂质体系能协同增强抑菌活性,在模拟大米淀粉(rice starch,RS)、马铃薯淀粉(potato starch,PS)和玉米淀粉(corn starch,CS)等淀粉体系中也有较好抑菌活性;在BWP-SO体系中,试验组与对照组抑菌活性无显著差异,在BWP-PO体系中,试验组抑菌活性显著高于对照组(P<0.05),而在BWP-RO体系中,两者质量比为0.5∶1和1∶1时抑菌活性得到显著增强(P<0.05),在SPI-RO、SPI-SO和SPI-PO体系中,试验组抑菌活性显著高于对照组(P<0.05),在PPI-RO、PPI-SO和PPI-PO体系中,SIF_(4)可保持较好抑菌稳定性或被不同强度增强;在RS-BWP体系中,试验组抑菌活性与对照组无显著差异,RS-SPI和RS-PPI体系两者质量比为1∶1或1∶2时,试验组抑菌活性显著高于对照组(P<0.05),PS-BWP、PS-SPI、PS-PPI以及CS-BWP、CS-SPI、CS-PPI体系中试验组抑菌活性与对照组无显著差异,在RS-RO、RS-SO、RS-PO和PS-RO、PS-SO、PS-PO体系中,SIF_(4)具有较好抑菌稳定性或被不同程度增强,而在CS-RO、CS-SO和CS-PO体系中,试验组与对照组抑菌活性均无显著差异;SIF_(4)在模拟3组分体系中均可保持较好抑菌稳定性。结果表明,SIF_(4)在不同模拟食品体系中可保持较好抑菌稳定性,甚至被强化,可用于复杂食品体系的抗菌保鲜。 展开更多
关键词 金属抗菌肽 金黄色葡萄球菌 模拟食品体系 相对抑菌活性 抑菌稳定性
下载PDF
面向大数据环境下的数据安全治理技术 被引量:7
9
作者 许杰 张锋军 +3 位作者 陈捷 曾梦岐 李庆华 牛作元 《通信技术》 2021年第12期2659-2665,共7页
没有数据安全就没有国家安全,数据安全治理作为数据安全体系重要的组成部分引起了各行各业越来越多的关注。从大数据环境下海量数据面临的安全风险出发,结合数据在使用过程中的安全需求,给出了一种动态防御的数据安全治理架构,并对该架... 没有数据安全就没有国家安全,数据安全治理作为数据安全体系重要的组成部分引起了各行各业越来越多的关注。从大数据环境下海量数据面临的安全风险出发,结合数据在使用过程中的安全需求,给出了一种动态防御的数据安全治理架构,并对该架构下的关键技术进行了研究。该架构能够为数据安全治理提供体系化安全治理思路,其中的关键技术可以为该架构的实现提供有效支撑。 展开更多
关键词 大数据 数据安全 数据治理 安全风险 动态防御 数据安全治理架构
下载PDF
美军大数据建设及其安全研究 被引量:3
10
作者 曾梦岐 石凯 +1 位作者 陈捷 张锋军 《通信技术》 2022年第7期911-918,共8页
随着大数据技术的不断发展,以及其军事应用优势的日益显现,以大数据为关键基础,智能决策、智能行动赋能全新作战样式、指挥模式和战争形态的时代即将到来。基于此,研究了美军出台的一系列军事大数据发展战略,分析了美军大力推动大数据... 随着大数据技术的不断发展,以及其军事应用优势的日益显现,以大数据为关键基础,智能决策、智能行动赋能全新作战样式、指挥模式和战争形态的时代即将到来。基于此,研究了美军出台的一系列军事大数据发展战略,分析了美军大力推动大数据建设的主要需求,梳理了美军加速推动大数据建设的主要途径和实施方法,阐述了美军军事大数据的安全体系及关键技术,总结了美军大数据的发展趋势,最后提出了大数据发展的建议。 展开更多
关键词 美军 大数据 安全体系 数据安全
下载PDF
高斯骨架差分进化算法与回声状态网络的结合应用 被引量:1
11
作者 谢霖铨 曾孟麒 杨火根 《南昌大学学报(理科版)》 CAS 北大核心 2022年第3期363-370,378,共9页
针对回声状态网络(ESN)对于不同时间序列的学习上无法有效地确定储备池参数的问题,提出一种新型预测模型。利用改进的高斯骨架差分进化算法(DE)来优化回声状态网络。在DE算法中引入了变异策略选择因子,并将选择因子随个体共同参与进化,... 针对回声状态网络(ESN)对于不同时间序列的学习上无法有效地确定储备池参数的问题,提出一种新型预测模型。利用改进的高斯骨架差分进化算法(DE)来优化回声状态网络。在DE算法中引入了变异策略选择因子,并将选择因子随个体共同参与进化,使每个个体执行当前最适合的变异策略。改善了原始DE算法进化过程中的盲目性,同时选择因子的动态自适应特性保持了骨架算法近似无参数的优点,最后为避免算法早熟加入停滞扰动策略改善算法的寻优性能。为验证模型的有效性,对Mackey-Glass时间序列、赣州月平均气温数据集进行仿真实验。由实验结果可知,该模型可以提高时间序列的预测精度,且具有良好的泛化能力及实际应用价值。 展开更多
关键词 时间序列 高斯骨架 差分进化 回声状态网络
下载PDF
基于动态信任的内生安全架构 被引量:1
12
作者 曾梦岐 石凯 《通信技术》 2022年第8期1036-1043,共8页
通过研究零信任技术的发展历程和趋势以及该技术的七大支柱能力,剖析传统安全架构特别是在云环境下的劣势与不足。设计了动态信任架构、基于该架构的内生安全模型以及场景下的动态信任技术体系,给出了基于动态信任的内生安全架构设计。... 通过研究零信任技术的发展历程和趋势以及该技术的七大支柱能力,剖析传统安全架构特别是在云环境下的劣势与不足。设计了动态信任架构、基于该架构的内生安全模型以及场景下的动态信任技术体系,给出了基于动态信任的内生安全架构设计。结合系统内生特性,以架构安全为基础,在终端可信、身份可信、网络可信、数据可信各个环节建立多层防线。并结合应用场景进行剖析,对微隔离防护这一关键技术的应用进行了详细的描述。最后对内生安全架构的未来进行了展望。 展开更多
关键词 零信任技术 安全架构 内生安全 微隔离防护
下载PDF
云环境风险评估技术
13
作者 牛作元 张锋军 +3 位作者 陈捷 曾梦岐 李庆华 许杰 《通信技术》 2022年第6期776-781,共6页
面对日趋复杂的云安全环境和攻击威胁,传统的被动防御手段已无法从根源上解决安全问题。充分考虑攻防双方策略的相互制约,将博弈引入到云环境风险评估过程中,提出了云环境风险评估的评估架构和评估流程,并通过建立不同应用场景下的动态... 面对日趋复杂的云安全环境和攻击威胁,传统的被动防御手段已无法从根源上解决安全问题。充分考虑攻防双方策略的相互制约,将博弈引入到云环境风险评估过程中,提出了云环境风险评估的评估架构和评估流程,并通过建立不同应用场景下的动态博弈模型,预测最大攻击意图,提高系统的精准评估能力和最优防御策略选取能力,这对提升云环境安全防御的主动化、精准化水平具有重要意义。 展开更多
关键词 博弈论 云计算 风险评估 主动防御
下载PDF
无人机群网络安全问题研究
14
作者 曾梦岐 范晓霞 陈劲尧 《通信技术》 2022年第5期646-651,共6页
无人机已广泛应用于军事、工业、农业等各个领域,具备规模优势和成本优势。但无人机也面临着严重的安全威胁,如恶意节点入侵、无人机劫持、无线干扰和数据窃取等安全风险。目前的研究主要集中在单个无人机系统的安全性上,而对无人机群... 无人机已广泛应用于军事、工业、农业等各个领域,具备规模优势和成本优势。但无人机也面临着严重的安全威胁,如恶意节点入侵、无人机劫持、无线干扰和数据窃取等安全风险。目前的研究主要集中在单个无人机系统的安全性上,而对无人机群网络攻击威胁的关注较少。因此,针对无人机群的网络安全问题,总结了无人机群的通信方式和主要的安全威胁,并提出了相应的安全对策。 展开更多
关键词 无人机 网络安全 安全威胁 软件自定义网络
下载PDF
基于混合相似度的高效图像检索方案 被引量:1
15
作者 曾梦琪 马蔚吟 李力 《计算机工程》 CAS CSCD 北大核心 2019年第11期262-268,共7页
融合文本和视觉信息进行图像检索可避免图像低层视觉特征与高层语义之间的语义鸿沟,但在提高检索质量的同时难以保证检索效率。为此,针对基于文本和内容的混合图像检索,通过结合曼哈顿哈希、倒排索引和R树等技术,设计一个新型的索引结构... 融合文本和视觉信息进行图像检索可避免图像低层视觉特征与高层语义之间的语义鸿沟,但在提高检索质量的同时难以保证检索效率。为此,针对基于文本和内容的混合图像检索,通过结合曼哈顿哈希、倒排索引和R树等技术,设计一个新型的索引结构CAT树和相应的top-k检索算法,并由此提出三段式图像检索方案。在基准图像数据集上的实验结果表明,该方案可以在保持准确率的前提下,显著提升图像检索的效率。 展开更多
关键词 图像检索 语义鸿沟 索引 视觉特征 R树
下载PDF
面向计算机并发程序的形式化验证方法设计 被引量:1
16
作者 谢小赋 曾梦岐 庞飞 《信息安全与通信保密》 2022年第3期54-62,共9页
计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言、语义、推理证明三位一体方法,构建形式逻辑系统,以确保被验证... 计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言、语义、推理证明三位一体方法,构建形式逻辑系统,以确保被验证系统的安全性能。传统的形式化验证方法由于人工参与多、验证工作量大、验证效率低等不足,难以对计算机并发程序进行严谨高效的模型描述与验证。研究了一种可双向转换的并发性程序形式化验证方法,解决了人工抽象建模存在的工作量大且易出错的问题,并且保证了源码层与抽象层验证的一致性,大幅提升了形式化验证的效率。 展开更多
关键词 软件并发 形式化建模 功能正确性验证 属性验证
下载PDF
Two-dimensional Metal-Organic Frameworks as Electrocatalysts for Oxygen Evolution Reaction 被引量:3
17
作者 LEI Jia zeng mengqi FU Lei 《Chemical Research in Chinese Universities》 SCIE CAS CSCD 2020年第4期504-510,共7页
Oxygen evolution reaction(OER)plays an important role in many electrochemical systems.However,its sluggish kinetics severely limits the development of next-generation energy technologies.Recently,two-dimensional(2D)me... Oxygen evolution reaction(OER)plays an important role in many electrochemical systems.However,its sluggish kinetics severely limits the development of next-generation energy technologies.Recently,two-dimensional(2D)metal-organic frameworks(MOFs)have attracted much attention as a class of promising electrocatalysts.Their diverse components and tunable structures provide a new platform to design and explore ideal eleclrocatalysts.The ultrathin characteristics including high specific surface area,abundant exposed metal sites and fast electronic transfer further promote the electrocatalytic performance of 2D MOFs.Therefore,many attempts have been made in svntliesizing 2D MOF-based electrocatalysts in recent years.This review focuses on the strategies to fabricate 2D MOFs with high electrocatalytic performances for OER.The discussion on challenge and development of their electrocatalytic application is also presented. 展开更多
关键词 TWO-DIMENSIONAL Metal-organic framework Oxygen evolution reaction(OER) ELECTROCATALYSIS
原文传递
Synthesis of High-Entropy Alloy Arrays with Liquid Metal Nanoreactor
18
作者 LIANG Jingjing CHEN Shurun +1 位作者 zeng mengqi FU Lei 《Wuhan University Journal of Natural Sciences》 CAS 2024年第4期295-296,共2页
Metal arrays with well-defined spatial arrangement exhibit coupling properties owing to periodic geometries[1].The high-entropy design provides a high degree of freedom in the chemical composition to design the metal-... Metal arrays with well-defined spatial arrangement exhibit coupling properties owing to periodic geometries[1].The high-entropy design provides a high degree of freedom in the chemical composition to design the metal-external interactions.It endows the array structures with high chemical stability and excellent mechanical properties[2].Therefore,it is important to realize the controllable construction of high-entropy alloy(HEA)array structures,which will facilitate the development of catalysis[3],electronics[4],and plasmonics[5]. 展开更多
关键词 alloy entropy arrangement
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部