一种基于CA-Net的面部口罩分割方法

1

作者 李珂然 陈胜 柯盼盼 《电子科技》 2023年第6期64-71,共8页

佩戴不同材质、型号的口罩对病毒传播的防控效果各不相同,对图像数据集中的口罩进行分割,将有助分析不同类型的口罩在防控效果上的差异。当前,面部口罩检测算法较多,但缺乏进一步的分割,为此文中提出一种基于图像处理和深度学习的面部... 佩戴不同材质、型号的口罩对病毒传播的防控效果各不相同,对图像数据集中的口罩进行分割,将有助分析不同类型的口罩在防控效果上的差异。当前,面部口罩检测算法较多,但缺乏进一步的分割,为此文中提出一种基于图像处理和深度学习的面部口罩分割方法。文中所提方法是一种改进的对比度自适应直方图均衡化预处理方法,其通过亮度自适应调整减少因部分图像过暗导致的传统预处理效果不佳的影响。以SSD(Single Shot MultiBox Detector)进行口罩预检测,对结果以CA-Net(Comprehensive Attention Convolutional Neural Networks)进行口罩分割。CA-Net以U-Net为骨干网络,增加了空间注意模块、通道注意模块和尺度注意模块以便同时实现关于特征地图的空间、通道和比例的综合注意力引导,突出空间位置、通道和尺度。使用该方法初步分割结果的Dice系数评价指标可以达到79.18%±3.44%;增加预处理和后处理操作后,Dice系数可提升至84.03%±2.81%,表明文中所提方法能够明显改善视觉分割结果。 展开更多

关键词 目标检测 HSV空间转换 亮度自适应调整 图像分割 深度学习 ca-net 闭运算 SSD

在线阅读 下载PDF 职称材料

一种基于CA-Net的脑肿瘤磁共振图像分割算法

2

作者 柯盼盼 陈胜 李珂然 《智能计算机与应用》 2022年第9期208-213,F0003,共7页

磁共振影像是脑肿瘤疾病中常用的诊断工具,临床上的量化分析需要对影像结果进行分割得到肿瘤区域,但手动分割十分耗时且高度依赖于医生的临床经验。为此,本文提出一种基于深度学习的脑磁共振图像分割算法,解决了原网络无法有效提取关键... 磁共振影像是脑肿瘤疾病中常用的诊断工具,临床上的量化分析需要对影像结果进行分割得到肿瘤区域,但手动分割十分耗时且高度依赖于医生的临床经验。为此,本文提出一种基于深度学习的脑磁共振图像分割算法,解决了原网络无法有效提取关键特征的问题。该算法使用改进的有限对比度自适应直方图均衡(Contrast Limited Adaptive Histogram Equalization, CHALE)算法,对脑肿瘤磁共振影像进行图像增强后,将结果输入CA-Net网络对数据集初步分割,并将全注意力算法和U-net骨架结构结合(包括空间、通道和尺度注意力模块),实现对不同尺度的空间和通道的特征转换连接。模型应用混合损失函数提高分割精度。初步分割的结果可通过后处理进一步提高精度,得到最终的肿瘤区域。初步分割结果中,Dice指标可以达到88.40(±0.24)%,结合图像处理提高至89.21(±0.36)%,分割精度相较于其它算法有明显提高。 展开更多

关键词 图像分割 深度学习 ca-net 注意力模块 混合损失函数 后处理

在线阅读 下载PDF 职称材料

轻量化U-net模型在钢筋直径测量中的应用研究 被引量：1

3

作者 张学辉 于站海 +2 位作者 田学昭 安军海 刘新军 《河北工业科技》 2025年第3期248-257,共10页

为了解决钢筋工程验收时传统人工检测效率低,检测过程中容易因人为因素导致的测量误差大,甚至误检漏检等问题,提出了一种基于改进轻量化U-net模型的钢筋直径测量方法。首先,采集大量钢筋图像并构建钢筋图像自制数据集,引入MobileNetV3 B... 为了解决钢筋工程验收时传统人工检测效率低,检测过程中容易因人为因素导致的测量误差大,甚至误检漏检等问题,提出了一种基于改进轻量化U-net模型的钢筋直径测量方法。首先,采集大量钢筋图像并构建钢筋图像自制数据集,引入MobileNetV3 Block模块和坐标注意力(coordinate attention,CA)机制对经典U-net模型进行改进。然后,基于自制数据集对改进U-net模型进行训练,训练完成后,将测试图像导入模型进行分割实验和直径测量实验。结果表明:改进U-net模型在钢筋图像分割任务中的交并比(IoU)达到了0.9795,模型大小仅为18.03 MB,直径测量实验的总平均误差为0.207 mm。改进模型在钢筋图像分割时表现出色,具有较高的检测精度和较低的计算成本,为钢筋图像分割提供了新的技术路径,在钢筋图像自动化处理和分析领域,具有一定的应用前景。 展开更多

关键词 土木建筑工程测量 钢筋直径测量 图像分割 改进U-net模型 CA注意力机制

在线阅读 下载PDF 职称材料

基于改进YOLOv8n的隧道内异物检测算法 被引量：3

4

作者 桂佳扬 王顺吉 +1 位作者 周正康 唐加山 《计算机应用》 北大核心 2025年第2期655-661,共7页

针对当前隧道内异物检测存在人工巡检成本高、效率低等问题,提出一种基于改进YOLOv8n的隧道内异物检测算法。首先,提出融入坐标注意力(CA)机制的C2f_CA模块,通过将位置信息嵌入通道注意力,增强网络对图像在空间上的特征分布的关注,从而... 针对当前隧道内异物检测存在人工巡检成本高、效率低等问题,提出一种基于改进YOLOv8n的隧道内异物检测算法。首先,提出融入坐标注意力(CA)机制的C2f_CA模块,通过将位置信息嵌入通道注意力,增强网络对图像在空间上的特征分布的关注,从而增强网络的特征提取能力;其次,借鉴高分辨率网络的思想,提出新的特征融合模块HRNet_Fusion(High Resolution Net)将提取的不同分辨率特征图作为4个并行分支输入网络,并经过多次上、下采样和融合操作得到全面且准确的特征信息,从而显著提升在小目标检测和特征信息融合方面的性能;最后,引入WIoU(Wise-IoU)损失函数降低低质量样本对网络的不良梯度影响,进一步提高模型的检测精度。实验结果表明,在隧道异物数据集上,改进算法的平均精度均值(mAP@0.5)为79.9%,模型大小为6.0 MB,与YOLOv8n算法相比,mAP@0.5提升了6个百分点,模型大小减少了0.2 MB,模型参数量减少了0.379×10~6。 展开更多

关键词 目标检测 异物检测 YOLOv8n 坐标注意力机制 高分辨率网络 WIoU损失函数

在线阅读 下载PDF 职称材料

基于深度学习的暗光场景下图像优化研究

5

作者 刘亮龙 罗梦贞 《激光杂志》 北大核心 2025年第8期123-127,共5页

为了增强识别准确性和可靠性,提出基于深度学习的暗光场景下图像优化方法。利用深度曲线估计网络自动调整暗光场景下图像的亮度,利用编码器-解码器架构和跳跃连接方式提取暗光图像中的特征;并在特征提取过程中引入坐标注意力机制,使网... 为了增强识别准确性和可靠性,提出基于深度学习的暗光场景下图像优化方法。利用深度曲线估计网络自动调整暗光场景下图像的亮度,利用编码器-解码器架构和跳跃连接方式提取暗光图像中的特征;并在特征提取过程中引入坐标注意力机制,使网络能够关注暗光图像中方向和位置上的关键信息;引入核选择模块和上采样操作去除噪声并恢复图像细节。实验结果表明,该方法不仅改善了暗光图像的视觉效果,还保留了图像的原始颜色信息和细节,暗光图像优化后的置信度均在93%以上。 展开更多

关键词 深度学习 暗光场景 Zero-DCE模型 U-Net结构 CA 图像优化

原文传递

苏南水网乡村绿色基础设施时空演变及多情景模拟预测

6

作者 李露 丁金华 《中国城市林业》 2025年第2期123-131,共9页

【目的】探究不同时期水网地区绿色基础设施空间演变特征,模拟预测其未来变化趋势,为保障区域生态系统稳定和推动可持续发展提供参考依据。【方法】以苏州市吴江区为例,基于2000、2010、2020年3期土地利用数据,运用MSPA与景观连通性评价... 【目的】探究不同时期水网地区绿色基础设施空间演变特征,模拟预测其未来变化趋势,为保障区域生态系统稳定和推动可持续发展提供参考依据。【方法】以苏州市吴江区为例,基于2000、2010、2020年3期土地利用数据,运用MSPA与景观连通性评价,从景观要素空间形态与结构连通性综合分析绿色基础设施演变特征,并运用CA-Markov模型模拟自然发展、生态保护和城镇发展优先3种情景,预测不同情景下2030年绿色基础设施变化趋势,动态分析吴江区绿色基础设施时空分异特征。【结果】2000—2020年吴江区绿色基础设施呈现总面积减少、生境逐步破碎化且景观连通性下降的演变特征。在多情景模拟预测下,自然发展和城镇发展优先情景下核心区等绿色基础设施要素减少明显,且斑块多呈破碎化发展趋势,景观连通性持续下降,其中城镇发展优先情景下斑块破碎化程度加剧,连通性下降显著;而生态保护情景中核心区、桥接区等要素小幅增长,生态系统完整性与稳定性得到提升。【结论】快速城镇化背景下,吴江区绿色基础设施总面积显著减少,破碎化程度加剧,景观连通性有所下降,整体格局趋于分散。多情景模拟预测结果显示,生态保护情景可较好维持绿色基础设施空间稳定性以及连通性,有利于格局可持续发展。建议加强GI空间保护,保障生态系统规模化;优化各类GI要素空间形态,维护生态系统完整性;增强GI斑块景观连通性,提升生态系统稳定性。 展开更多

关键词 绿色基础设施 水网乡村 MSPA 景观连通性评价 CA-Markov

在线阅读 下载PDF 职称材料

不同来源小球藻对岩溶水Ca^2＋、HCO3^-利用的初步研究 被引量：18

7

作者 王培 曹建华 +2 位作者 李亮 杨慧 李光超 《水生生物学报》 CAS CSCD 北大核心 2013年第4期626-631,共6页

以外源小球藻和岩溶区筛选出的土著小球藻为研究对象,在封闭体系中比较研究了两种不同来源小球藻对典型岩溶水中Ca2+、HCO3-的利用、藻细胞数量与其对Ca2+、HCO3-的利用率的关系和体系pH的变化。结果表明,土著小球藻利用Ca2+、HCO3-的... 以外源小球藻和岩溶区筛选出的土著小球藻为研究对象,在封闭体系中比较研究了两种不同来源小球藻对典型岩溶水中Ca2+、HCO3-的利用、藻细胞数量与其对Ca2+、HCO3-的利用率的关系和体系pH的变化。结果表明,土著小球藻利用Ca2+、HCO3-的能力强于外源小球藻,但外源小球藻对Ca2+的利用量高于土著小球藻,而二者对HCO3-的利用量相同,并且外源小球藻能够以胞外CaCO3-形式产生沉淀,而土著藻则不能形成沉淀。其次两体系中pH的变化显示,两种小球藻光合作用都是先以水体中CO2为光合作用碳源,然后利用HCO3-。外源小球藻能将岩溶水中29.648%的HCO3-吸收,而土著藻能将40.625%的HCO3-通过其在食物链中的初级生产地位将岩溶碳汇转化进入到生态系统,表现为净碳汇效应。 展开更多

关键词 小球藻 CA2+ HCO3- 岩溶生态系统 净碳汇效应

在线阅读 下载PDF 职称材料

CAN总线的CSMA/CA通信过程的DSPN建模与性能分析 被引量：7

8

作者 周悦 于海斌 +1 位作者 王天然 吴成东 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第9期990-995,共6页

针对采用CSMA/CA协议的CAN总线通信过程进行建模及性能分析,应用确定与随机Petri网DSPN,对每个节点进行确切的描述,构成一个单网段复合模型,并在此基础上构建一个简化的紧缩模型。仿真实验验证了紧缩模型能够很好地逼近复合模型,且求解... 针对采用CSMA/CA协议的CAN总线通信过程进行建模及性能分析,应用确定与随机Petri网DSPN,对每个节点进行确切的描述,构成一个单网段复合模型,并在此基础上构建一个简化的紧缩模型。仿真实验验证了紧缩模型能够很好地逼近复合模型,且求解时间短,可以通过紧缩模型进行CAN总线系统吞吐量、平均信息时延、通信冲突率和网络利用率的定量和定性分析。 展开更多

关键词 CSMA/CA 确定与随机Petri网DSPN 网络性能

在线阅读 下载PDF 职称材料

EPICS控制系统中的Oracle数据库采集 被引量：1

9

作者 谢东 何多慧 +1 位作者 李为民 宣科 《核技术》 EI CAS CSCD 北大核心 2005年第5期329-332,共4页

介绍EPICS(Experimental physics and industrial control system)控制系统中针对Oracle的数据库采集。深入剖析了EPICS通讯协议、Oracle联网协议,详细介绍了采集软件的体系结构和实现方法,最后对EPICS 稳定性做了测试。本文给出了采集... 介绍EPICS(Experimental physics and industrial control system)控制系统中针对Oracle的数据库采集。深入剖析了EPICS通讯协议、Oracle联网协议,详细介绍了采集软件的体系结构和实现方法,最后对EPICS 稳定性做了测试。本文给出了采集程序对控制系统影响的测试结果和采集程序运行情况。 展开更多

关键词 EPICS(Experimental PHYSICS and INDUSTRIAL control system) Oracle CA(Channel agcess) Net 8

在线阅读 下载PDF 职称材料

低阶CA-广群及其分类

10

作者 毛小燕 特木尔朝鲁 《宁波大学学报（理工版）》 CAS 2020年第3期63-68,共6页

群是描述基于结合律的对称性的基本代数结构.为了表达更一般的对称性(或变异对称性),群的概念被以各种方式推广.循环结合广群(CA-广群)是以非结合环、左弱Novikov代数和CAAG-广群为背景,基于循环结合律的代数结构,对于探讨低阶CA-广群... 群是描述基于结合律的对称性的基本代数结构.为了表达更一般的对称性(或变异对称性),群的概念被以各种方式推广.循环结合广群(CA-广群)是以非结合环、左弱Novikov代数和CAAG-广群为背景,基于循环结合律的代数结构,对于探讨低阶CA-广群及其分类进而深入研究CA-广群具有重要意义.本文介绍了CA-广群、中智扩展三元组群(NET-群)等基本概念及其基本性质,并借助Matlab软件设计计算程序得到了全部3阶和4阶不同构的CA-广群,也给出其完全分类. 展开更多

关键词 循环结合广群(CA-广群) 中智扩展三元组群(NET-群) ca-net-广群 分类

在线阅读 下载PDF 职称材料

念珠藻对岩溶水中Ca^(2+)、HCO^(-)_(3)利用效率实验研究 被引量：7

11

作者 王培 胡清菁 +1 位作者 曹建华 李亮 《广西植物》 CAS CSCD 北大核心 2014年第6期799-805,共7页

岩溶碳汇过程中石灰石溶解将大气/土壤中CO_(2)转移到水体形成HCO^(-)_(3)促进水生藻类的生长。该文为了研究水生藻类光合作用将岩溶水中无机碳转化为有机碳的效率,采用从岩溶水生生态系统中筛选出的念珠藻作为研究对象,探讨在封闭体系... 岩溶碳汇过程中石灰石溶解将大气/土壤中CO_(2)转移到水体形成HCO^(-)_(3)促进水生藻类的生长。该文为了研究水生藻类光合作用将岩溶水中无机碳转化为有机碳的效率,采用从岩溶水生生态系统中筛选出的念珠藻作为研究对象,探讨在封闭体系中藻细胞光合作用时对典型岩溶水中Ca^(2+)、HCO^(-)_(3)利用、藻细胞生物量的变化与Ca^(2+)、HCO^(-)_(3)的利用关系以及体系pH、DO的变化。结果表明:念珠藻通过光合作用能吸收利用岩溶水中27.38%的Ca^(2+),同时将29.54%的Ca^(2+)通过物理化学作用以"藻体-CaCO_(3)"复合体形式沉淀而返回到无机环境。pH漂移实验表明念珠藻光合作用过程中先利用水体中游离CO_(2),然后以岩溶水中HCO^(-)_(3)为碳源。由于水体中岩溶作用产生的HCO^(-)_(3)不断被光合作用利用而引起体系pH和DO的升高。念珠藻光合作用将岩溶水中65%的HCO^(-)_(3)转化为稳定化合物,其中18.46%以胞外CaCO_(3)形式被沉淀,81.54%被藻类转化为有机物,表现为净碳汇效应。 展开更多

关键词 念珠藻 光合作用 CA^(2+) CaCO_(3)沉积 HCO^(-)_(3) 净碳汇效应

在线阅读 下载PDF 职称材料

在.NET中使用XML的安全性研究 被引量：3

12

作者 骆开华 李绍强 《科技信息》 2010年第17期43-43,419,共2页

基于.NET的XML开发技术越来越受到开发人员的青睐。该文从代码访问安全性、基于角色的安全性以及XML的加密和签名等方面对在.NET中使用XML的安全性进行了研究。

关键词 .NET XML 安全性 代码访问安全性

在线阅读 下载PDF 职称材料

室间隔缺损并心力衰竭时红细胞钙离子代谢变化

13

作者 张玉娥 张力 +2 位作者 杨淑蓉 陈树宝 周爱卿 《实用儿科临床杂志》 CAS CSCD 1997年第5期296-298,共3页

目的探讨室间隔缺损（VSD）合并心力衰竭（心衰）患儿红细胞钙离子的代谢变化。方法正常对照组12人．VSD无心衰组10人，VSD合并心衰组21人。测定其红细胞内Ca2＋浓度（[Ca2＋]）、45Ca跨膜流动及膜ATPase活性。结果VSD合并心衰时红细胞... 目的探讨室间隔缺损（VSD）合并心力衰竭（心衰）患儿红细胞钙离子的代谢变化。方法正常对照组12人．VSD无心衰组10人，VSD合并心衰组21人。测定其红细胞内Ca2＋浓度（[Ca2＋]）、45Ca跨膜流动及膜ATPase活性。结果VSD合并心衰时红细胞内[Ca2＋]及45Ca净摄取较对照组显著增加，45Ca单向性内流无变化，而膜Ca2＋－Mg2＋ATPase和Na＋－K＋ATPase活性则明显下降。结论心衰时细胞内[Ca2＋]增高不是细胞膜对Ca2＋的通透性改变所致，而与细胞排Ca2＋能力下降有关；VSD并心衰患儿细胞内Ca2＋代谢变化是由于VSD导致血液动力学改变后，引起机体代谢变化，而随之发生变化的。 展开更多

关键词 室间隔缺损 心力衰竭 红细胞 钙离子代谢

暂未订购

CA系统在网络银行中的应用

14

作者 张凯 荆继武 《中国科学院研究生院学报》 CAS CSCD 2001年第2期173-176,共4页

讨论了在网络银行等实际电子商务应用中 ,实施构建一个高安全级别的CA系统的意义、方法和具体要求 。

关键词 PKI 网络银行 电子商务 网络安全 CA系统 公钥理论 非对称密码体制

在线阅读 下载PDF 职称材料

矿工反生产行为演化机理仿真分析 被引量：10

15

作者 李乃文 崔宏 黄敏 《中国安全科学学报》 CAS CSCD 北大核心 2015年第5期25-30,共6页

为解决由矿工反生产行为(CWB)引发的不安全行为问题,基于复杂适应系统(CAS)理论和多主体建模与仿真(ABMS)方法,构建矿工反生产行为演化模型。通过调节组织公平程度、组织承诺、管理监督水平、群体压力水平、工作满意度、受教育程度等因... 为解决由矿工反生产行为(CWB)引发的不安全行为问题,基于复杂适应系统(CAS)理论和多主体建模与仿真(ABMS)方法,构建矿工反生产行为演化模型。通过调节组织公平程度、组织承诺、管理监督水平、群体压力水平、工作满意度、受教育程度等因素,运用Net Logo仿真平台分析有效领导水平、群体行为倾向、情绪波动水平对矿工反生产行为倾向的影响。研究表明:矿工反生产行为演化过程是一种典型的CAS,矿工反生产行为演化是4大主体属性间交互的结果,且这些交互作用产生的影响程度不同。因此,煤炭企业应结合多种因素,通过提高或改善各主体的行为来降低矿工反生产行为发生水平。 展开更多

关键词 反生产行为(CWB) 演化机理 复杂适应系统(CAS) 多主体建模与仿真(ABMS) Net Logo仿真

原文传递

城市供水量预测的数学模型 被引量：2

16

作者 曾正 陶佳燕 林志敏 《供水技术》 2008年第2期11-15,共5页

考虑到时间、温度、水价对供水量的影响,建立了城市供水量预测的差分阻滞模型和神经网络模型,并对其预测结果进行了比较。结果表明:各模型都是可行的,且预测精度很高。考虑到用水负荷的从众心理和水价对个体用水量的影响,利用元胞自动... 考虑到时间、温度、水价对供水量的影响,建立了城市供水量预测的差分阻滞模型和神经网络模型,并对其预测结果进行了比较。结果表明:各模型都是可行的,且预测精度很高。考虑到用水负荷的从众心理和水价对个体用水量的影响,利用元胞自动机模型对水价与城市供水量之间的关系进行了模拟,模拟结果表明当社会从众心理一定时,水价的调整对供水量的影响有一个最有效的范围。 展开更多

关键词 城市供水量预测 阻滞差分模型 神经网络模型 元胞自动机模型

在线阅读 下载PDF 职称材料

基于DSPN的IEEE 802.11通信过程的建模与性能分析 被引量：1

17

作者 周悦 单丹 +1 位作者 单泷 阚凤龙 《沈阳建筑大学学报（自然科学版）》 CAS 北大核心 2009年第3期590-594,共5页

目的针对基于四向握手的RTS/CTS方式的IEEE 802.11通信协议系统进行建模与性能分析.方法应用确定与随机Petri网DSPN,对单节点进行了确切的描述,进而构成复合模型,采用伤停补时的思想有效地描述退避行为.结果仿真实验获得了IEEE 802.11... 目的针对基于四向握手的RTS/CTS方式的IEEE 802.11通信协议系统进行建模与性能分析.方法应用确定与随机Petri网DSPN,对单节点进行了确切的描述,进而构成复合模型,采用伤停补时的思想有效地描述退避行为.结果仿真实验获得了IEEE 802.11通信系统中负载与端到端信息时延和吞吐量之间的定量关系,即平均端到端信息时延随着信息到达间隔的增加而增加,端到端吞吐量随着信息到达间隔的增加而减少.结论所建模型能够有效地描述和分析IEEE 802.11通信机制,为协议的改进和实际工程应用提供指导. 展开更多

关键词 CSMA/CA 分布式协调功能DCF 确定与随机Petri网DSPN 网络性能

在线阅读 下载PDF 职称材料

CAN总线CSMA/CA机制的Petri网建模及性能分析 被引量：3

18

作者 陆洁 刘晓天 《成都大学学报（自然科学版）》 2008年第4期326-330,共5页

应用确定与随机Petri网DSPN,对采用CSMA/CA协议的CAN总线通信过程进行建模,构建一个简化的紧缩模型,通过仿真实验得出吞吐量S、平均延迟D及消息成功传输概率P等性能参数,揭示CAN总线工作的统计规律.

关键词 CAN总线 确定与随机PETRI网 性能 CSMA/CA

在线阅读 下载PDF 职称材料

MIMO雷达和组网雷达的CA2CFAR检测性能比较

19

作者 刘春生 罗仕红 田健 《现代防御技术》 北大核心 2011年第4期144-148,共5页

多输入多输出(MIMO)雷达是近几年出现的一种新雷达技术,也是近几年雷达领域研究的重点。建立MIMO雷达的信号模型,明确给出MIMO雷达进行CA2CFAR检测的检测概率和虚警概率解析表达式,对组网雷达和MIMO雷达在均匀杂波背景下CA2CFAR检测性... 多输入多输出(MIMO)雷达是近几年出现的一种新雷达技术,也是近几年雷达领域研究的重点。建立MIMO雷达的信号模型,明确给出MIMO雷达进行CA2CFAR检测的检测概率和虚警概率解析表达式,对组网雷达和MIMO雷达在均匀杂波背景下CA2CFAR检测性能进行了分析对比。仿真结果表明。MIMO雷达对类似噪声特性的复杂目标具有更好的检测性能。 展开更多

关键词 多输入多输出雷达 组网雷达 单元平均-恒虚警率 检测性能

在线阅读 下载PDF 职称材料

基于Petri网的证书生命周期管理流程分析

20

作者 杜广荣 张月琳 《微机发展》 2005年第9期60-61,64,共3页

CA证书管理是PKI网络安全体系实施的关键,它涉及到密钥和证书从创建到撤销的整个过程。文中使用Petri网理论中的库所/变迁系统模型对一个CA证书管理流程进行建模,并用状态可达图理论对其系统的完备性进行了分析与证明。通过该形式化的... CA证书管理是PKI网络安全体系实施的关键,它涉及到密钥和证书从创建到撤销的整个过程。文中使用Petri网理论中的库所/变迁系统模型对一个CA证书管理流程进行建模,并用状态可达图理论对其系统的完备性进行了分析与证明。通过该形式化的方法对该系统进行分析,其完备性证明更加直观。 展开更多

关键词 CA PKI PETRI网 P/T-系统

在线阅读 下载PDF 职称材料