期刊文献+
共找到87篇文章
< 1 2 5 >
每页显示 20 50 100
光伏出力预测理论与方法综述
1
作者 梁宏涛 王莹 +2 位作者 刘国柱 杜军威 于旭 《青岛科技大学学报(自然科学版)》 CAS 2024年第2期147-158,共12页
大规模光伏发电并网给我国电力系统运行的稳定性带来了巨大挑战,因此,光伏发电出力的精确预测至关重要。论文对光伏出力预测理论与方法进行系统综述。首先,对光伏出力预测进行分类,特别是按预测形式分为点预测和不确定性预测。其次,通... 大规模光伏发电并网给我国电力系统运行的稳定性带来了巨大挑战,因此,光伏发电出力的精确预测至关重要。论文对光伏出力预测理论与方法进行系统综述。首先,对光伏出力预测进行分类,特别是按预测形式分为点预测和不确定性预测。其次,通过物理方法、统计方法、人工智能方法及组合方法进一步阐述光伏出力预测;其中从机器学习和深度学习两个方面对人工智能方法进行详细介绍。然后,梳理了点预测和不确定性预测的评价指标,归纳了人工智能预测模型的优化技术。最后,根据我国光伏出力预测的发展现状,对未来的研究趋势做出展望。 展开更多
关键词 光伏发电出力 人工智能算法 不确定性预测 评价指标 预测模型优化
下载PDF
图神经网络研究综述
2
作者 侯磊 刘金环 +1 位作者 于旭 杜军威 《计算机科学》 CSCD 北大核心 2024年第6期282-298,共17页
随着人工智能的快速发展,深度学习已经在图像、文本和语音等可在欧氏空间表示的数据中取得了巨大成功,但却一直无法很好地应用于非欧氏空间。近年来,图神经网络在非欧几里得空间中展现出了强大的表示学习能力,并广泛应用于推荐系统、自... 随着人工智能的快速发展,深度学习已经在图像、文本和语音等可在欧氏空间表示的数据中取得了巨大成功,但却一直无法很好地应用于非欧氏空间。近年来,图神经网络在非欧几里得空间中展现出了强大的表示学习能力,并广泛应用于推荐系统、自然语言处理以及机器视觉等众多领域。图神经网络模型基于信息的传播机制,具体地,图中的目标节点通过聚合邻居节点的信息来更新自身的嵌入表示。利用图神经网络,可将众多现实问题(如社交网络、知识图谱和药物化学成分等)抽象成图网络,借助图中的连接边,对不同节点之间的依赖关系进行合理建模。鉴于此,对图神经网络进行了系统综述,首先介绍了图结构数据方面的基础知识,然后对图游走算法和不同类型的图神经网络模型进行了系统梳理。进一步地,详细阐述了当前图神经网络的通用框架和应用领域,最后对图神经网络的未来进行了总结与展望。 展开更多
关键词 图结构数据 图游走算法 图卷积神经网络 图注意力网络 图残差网络 图递归网络
下载PDF
基于生成对抗网络的时尚内容和风格迁移
3
作者 丁文华 杜军威 +1 位作者 侯磊 刘金环 《计算机工程与应用》 CSCD 北大核心 2024年第9期261-271,共11页
生成对抗网络常常被用于图像着色、语义合成、风格迁移等图像转换任务,但现阶段图像生成模型的训练往往依赖于大量配对的数据集,且只能实现两个图像域之间的转换。针对以上问题,提出了一种基于生成对抗网络的时尚内容和风格迁移模型(con... 生成对抗网络常常被用于图像着色、语义合成、风格迁移等图像转换任务,但现阶段图像生成模型的训练往往依赖于大量配对的数据集,且只能实现两个图像域之间的转换。针对以上问题,提出了一种基于生成对抗网络的时尚内容和风格迁移模型(content and style transfer based on generative adversarial network,CS-GAN)。该模型利用对比学习框架最大化时尚单品与生成图像之间的互信息,可保证在时尚单品结构不变的前提下实现内容迁移;通过层一致性动态卷积方法,针对不同风格图像自适应地学习风格特征,实现时尚单品任意风格迁移,对输入的时尚单品进行内容特征(如颜色、纹理)和风格特征(如莫奈风、立体派)的融合,实现多个图像域的转换。在公开的时尚数据集上进行对比实验和结果分析,该方法与其他主流方法相比,在图像合成质量、Inception score和FID距离评价指标上均有所提升。 展开更多
关键词 生成对抗网络 内容和风格迁移 特征融合 多域转换 层一致性动态卷积
下载PDF
基于问答语义匹配的知识社区新问题专家推荐方法
4
作者 杜军威 邹树林 +3 位作者 李浩杰 江峰 于旭 胡强 《电子学报》 EI CAS CSCD 北大核心 2023年第7期1875-1888,共14页
传统的知识社区专家推荐方法采用文本相似度匹配机理,并基于问题或专家描述来构建专家特征.这些方法没有利用问题与答案的语义匹配关系,因此难以充分挖掘专家回答问题的能力特征,影响推荐性能.提出一种基于综合历史和当前问答语义匹配... 传统的知识社区专家推荐方法采用文本相似度匹配机理,并基于问题或专家描述来构建专家特征.这些方法没有利用问题与答案的语义匹配关系,因此难以充分挖掘专家回答问题的能力特征,影响推荐性能.提出一种基于综合历史和当前问答语义匹配的知识社区新问题的专家推荐方法(History-Now Semantics Expert RECommendation model,HNS-EREC).首先,采用反馈评价和负采样技术来处理数据集中的两类不平衡现象;其次,基于问答语义来提取专家回答问题能力特征;最后,提出一种基于问答语义匹配的History-Now联合专家推荐模型,该模型能够实现面向专家的历史问答和当前问答的语义联合学习.实验结果表明,相对于其他方法,本文所提出的HNS-EREC方法在新问题专家推荐方面具有显著的优势. 展开更多
关键词 专家推荐 知识社区 不平衡学习 问答语义 stack overflow
下载PDF
基于多关系知识增强的开发者推荐算法
5
作者 杜军威 王昭哲 +3 位作者 于旭 胡强 江峰 巩敦卫 《电子学报》 EI CAS CSCD 北大核心 2023年第11期3111-3119,共9页
近年来,随着众包平台的不断发展,信息过载问题日趋严重,任务难以及时找到可靠的开发者完成,为任务推荐合适的开发者变得至关重要.传统推荐方法存在两大挑战:一是任务和开发者的文本特征高度简练,传统推荐方法聚焦于表面文本信息,未发现... 近年来,随着众包平台的不断发展,信息过载问题日趋严重,任务难以及时找到可靠的开发者完成,为任务推荐合适的开发者变得至关重要.传统推荐方法存在两大挑战:一是任务和开发者的文本特征高度简练,传统推荐方法聚焦于表面文本信息,未发现其中包含的大量知识实体;二是任务具有一次性,导致显式交互数据极其稀疏.为了解决上述挑战,本文提出一种基于多关系知识增强的开发者推荐算法.对于一个任务和开发者,首先将他们包含的文本内容中的每个单词与知识图谱中的相关实体关联起来,用于丰富任务和开发者的信息表示.除直接相关联的实体外,还使用每个实体的上下文实体集合来提供更多的信息.然后,对于开发者本文使用多关系邻域聚合的方式增强其特征表示,并使用注意力模块区分开发者对任务的关注度.最终获得的用户和开发者的嵌入输入到深度神经网络中进行预测.在真实的Topcoder数据集上进行广泛的实验,结果表明,本文方法在正确率和序位倒数均值上相比于最佳对比方法平均提高11.7%和17.5%. 展开更多
关键词 开发者推荐 软件众包开发 多关系 知识图谱 图神经网络
下载PDF
深度学习应用于时序预测研究综述 被引量:10
6
作者 梁宏涛 刘硕 +2 位作者 杜军威 胡强 于旭 《计算机科学与探索》 CSCD 北大核心 2023年第6期1285-1300,共16页
时间序列一般是指对某种事物发展变化过程进行观测并按照一定频率采集得出的一组随机变量。时间序列预测的任务就是从众多数据中挖掘出其蕴含的核心规律并且依据已知的因素对未来的数据做出准确的估计。由于大量物联网数据采集设备的接... 时间序列一般是指对某种事物发展变化过程进行观测并按照一定频率采集得出的一组随机变量。时间序列预测的任务就是从众多数据中挖掘出其蕴含的核心规律并且依据已知的因素对未来的数据做出准确的估计。由于大量物联网数据采集设备的接入、多维数据的爆炸增长和对预测精度的要求愈发苛刻,经典的参数模型以及传统机器学习算法难以满足预测任务的高效率和高精度需求。近年来,以卷积神经网络、循环神经网络和Transformer模型为代表的深度学习算法在时间序列预测任务中取得了丰硕的成果。为进一步促进时间序列预测技术的发展,综述了时间序列数据的常见特性、数据集和模型的评价指标,并以时间和算法架构为研究主线,实验对比分析了各预测算法的特点、优势和局限;着重介绍对比了多个基于Transformer模型的时间序列预测方法;最后结合深度学习应用于时间序列预测任务存在的问题与挑战,对未来该方向的研究趋势进行了展望。 展开更多
关键词 时间序列数据 时间序列预测 深度学习 Transformer模型
下载PDF
采用离群点检测技术的混合型数据聚类初始化方法 被引量:2
7
作者 杨志勇 江峰 +1 位作者 于旭 杜军威 《智能系统学报》 CSCD 北大核心 2023年第1期56-65,共10页
近年来,混合型数据的聚类问题受到广泛关注。作为处理混合型数据的一种有效方法,K-prototype聚类算法在初始化聚类中心时通常采用随机选取的策略,然而这种策略在很多实际应用中难以保证聚类结果的质量。针对上述问题,采用基于离群点检... 近年来,混合型数据的聚类问题受到广泛关注。作为处理混合型数据的一种有效方法,K-prototype聚类算法在初始化聚类中心时通常采用随机选取的策略,然而这种策略在很多实际应用中难以保证聚类结果的质量。针对上述问题,采用基于离群点检测的策略来为K-prototype算法选择初始中心,并提出一种新的混合型数据聚类初始化算法(initialization of K-prototype clustering based on outlier detection and density,IKP-ODD)。给定一个候选对象,IKP-ODD通过计算其距离离群因子、加权密度以及与已有初始中心之间的加权距离来判断候选对象是否是一个初始中心。IKP-ODD通过采用距离离群因子和加权密度,防止选择离群点作为初始中心。在计算对象的加权密度以及对象之间的加权距离时,采用邻域粗糙集中的粒度邻域熵来计算每一个属性的重要性,并根据属性重要性的大小为不同属性赋予不同的权重,有效地反映不同属性之间的差异性。在多个UCI数据集上的实验表明,相对于现有的初始化方法,IKP-ODD能够更好地解决K-prototype聚类的初始化问题。 展开更多
关键词 聚类初始化 混合型数据 离群点检测 邻域粗糙集 粒度邻域熵 距离离群因子 加权密度 加权距离
下载PDF
融合双注意力机制的人群计数算法 被引量:2
8
作者 徐晓晨 葛艳 +1 位作者 杜军威 陈卓 《计算机系统应用》 2023年第1期241-248,共8页
针对背景复杂、遮挡、人群分布不均等人群计数常见问题,提出了一种结合联合损失的空间-通道双注意力机制卷积神经网络模型(joint loss-based space-channel dual attention network,JL-SCDANet).该网络前端进行图像粗粒度特征提取,中间... 针对背景复杂、遮挡、人群分布不均等人群计数常见问题,提出了一种结合联合损失的空间-通道双注意力机制卷积神经网络模型(joint loss-based space-channel dual attention network,JL-SCDANet).该网络前端进行图像粗粒度特征提取,中间加入空间注意力机制以及通道注意力机制突出图像重点区域,后端使用可加大感受野且不丢失图像分辨率的空洞卷积提取深层二维特征.此外,该模型结合联合损失函数进行训练,以增强模型的鲁棒性.为了验证模型的改进效果,在3个公共数据集(ShanghaiTech Part B、mall和UCF_CC_50)上分别进行了对比实验,在ShanghaiTech Part B数据集中平均绝对误差(MAE)和均方误差(MSE)分别达到了8.13和13.13;在mall数据集中MAE、MSE达到了1.78和2.28;在UCF_CC_50数据集中MAE、MSE分别达到了182.12和210.24,实验结果证明了该网络在提高人数统计准确率上的有效性. 展开更多
关键词 人群计数 人群密度图 卷积神经网络(CNN) 注意力机制 空洞卷积 深度学习
下载PDF
改进FCOS网络的海洋鱼类目标检测 被引量:2
9
作者 张琳 葛艳 +1 位作者 杜军威 刘玉鹏 《计算机系统应用》 2023年第3期309-315,共7页
鱼类的探索与保护是保持海洋生态环境平衡的重要一环,然而水下环境复杂,受光照、水质以及遮挡物的影响,造成水下捕捉鱼类图像成像模糊识别困难,制约水下鱼类目标的检测速度以及检测精度.针对以上问题,提出了一种基于改进FCOS的海洋鱼类... 鱼类的探索与保护是保持海洋生态环境平衡的重要一环,然而水下环境复杂,受光照、水质以及遮挡物的影响,造成水下捕捉鱼类图像成像模糊识别困难,制约水下鱼类目标的检测速度以及检测精度.针对以上问题,提出了一种基于改进FCOS的海洋鱼类识别模型.首先,该模型以一阶段算法FCOS为基本架构,使用轻量级的Mobile Netv2作为骨干网络,既保证检测准确度,还可以提高检测;其次,引入自适应空间特征融合(adaptively spatial feature fusion, ASFF)模块,避免尺度特征的不一致性,提高检测精度;最后,将center-ness分支引入到回归分支中,引入联合交并比损失(GIoU loss, generalized intersection over union)提高检测的性能.实验数据集使用公开数据集Fish4Knowledge (F4K)中的图片以及视频帧截取图片,选取训练性能最优模型进行评估.结果表明,提出的新模型在以上数据集的平均检测精度分别为99.79%、99.88%,相较于原模型以及其他检测模型本文提出模型的检测精度与识别速度更高,可为海洋鱼类识别提供参考依据. 展开更多
关键词 鱼类识别 目标检测 FCOS网络 特征融合 MobileNetv2 深度学习
下载PDF
融合功能语义与服务协作关系的Web服务聚类方法
10
作者 王琨 胡强 +2 位作者 王华东 杜军威 潘国庆 《计算机集成制造系统》 EI CSCD 北大核心 2023年第4期1336-1345,共10页
当前Web服务聚类方法主要关注服务功能描述语义信息,缺乏对服务之间协作关系的考量。为进一步提高服务聚类质量,提出一种融合功能语义与服务协作关系的服务聚类方法。首先通过融合标签向量和服务描述文本向量生成高质量功能语义表达的... 当前Web服务聚类方法主要关注服务功能描述语义信息,缺乏对服务之间协作关系的考量。为进一步提高服务聚类质量,提出一种融合功能语义与服务协作关系的服务聚类方法。首先通过融合标签向量和服务描述文本向量生成高质量功能语义表达的服务功能特征向量;然后建立服务协作网络,构建加权GraphSAGE模型,在服务协作网络上实现邻域服务结点的特征聚合,获得融入协作关系的服务表征向量;最后采用K-means++算法进行聚类。实验表明,相比其他常用模型,所提方法所生成的服务功能向量提高了聚类质量,协作特征的融入进一步提升了聚类效果。 展开更多
关键词 WEB服务 服务聚类 功能语义 服务协作
下载PDF
融合FGM和指针标注的实体关系联合抽取方法
11
作者 刘玉鹏 葛艳 +1 位作者 杜军威 陈卓 《计算机与现代化》 2023年第11期1-5,12,共6页
实体关系联合抽取是信息抽取的一项重要任务。由于传统的实体关系联合抽取方法把实体之间的关系建模为离散类型,因此不能很好地解决重叠三元组的问题。为了解决难以抽取重叠三元组的问题,本文提出一种融合FGM和指针标注的实体关系联合抽... 实体关系联合抽取是信息抽取的一项重要任务。由于传统的实体关系联合抽取方法把实体之间的关系建模为离散类型,因此不能很好地解决重叠三元组的问题。为了解决难以抽取重叠三元组的问题,本文提出一种融合FGM和指针标注的实体关系联合抽取BERT-FGM模型。该模型将实体之间的关系建模为函数,通过在BERT训练词向量的过程中融入FGM提高模型的鲁棒性。模型首先通过指针标注策略抽取头实体,然后将头实体与句子向量进行融合作为一个新向量,最终将其在预定义的关系条件下抽取头实体对应的尾实体。实验使用的是公开数据集WebNLG,实验结果表明该模型F1值达到90.7%,有效地解决了三元组重叠问题。 展开更多
关键词 实体关系联合抽取 重叠三元组 BERT FGM 指针标注
下载PDF
安全管理水平量化评估指标权重优化方法 被引量:11
12
作者 杜军威 于洋洋 +1 位作者 胡强 刘勃 《中国安全科学学报》 CAS CSCD 北大核心 2019年第1期167-172,共6页
为使石化安全管理评估指标体系更好地适用于时间、国家政策以及实际管理需求的转变,利用领域专家对已有事故案例集中的诱因指标重要度评价信息,基于二元语义分析方法,获取各样本的修正贡献度;综合样本的修正贡献度、时间、样本危害评分... 为使石化安全管理评估指标体系更好地适用于时间、国家政策以及实际管理需求的转变,利用领域专家对已有事故案例集中的诱因指标重要度评价信息,基于二元语义分析方法,获取各样本的修正贡献度;综合样本的修正贡献度、时间、样本危害评分等要素,提出基于熵权法的指标权重计算方法;在该方法的基础上,开发相应的石化安全管理评估指标体系的指标权重修正系统,采用1 874个样本分批次修正某研究院已有指标权重。结果表明:随样本数量增加,修正后的指标权重曲线与优秀实践指标均值曲线的K-L散度越来越小,修正后的指标体系权重接近优秀实践指标均值权重,验证了该方法的合理、有效性。 展开更多
关键词 安全管理 二元语义 样本贡献度 熵权法 指标权重调整
下载PDF
联锁逻辑模型的安全性分析 被引量:12
13
作者 杜军威 徐中伟 王树梅 《计算机工程与应用》 CSCD 北大核心 2007年第2期1-4,32,共5页
故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。... 故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。 展开更多
关键词 联锁逻辑 故障树分析法 时间PETRI网 安全性分析
下载PDF
Petri网模型的FTA安全性分析 被引量:10
14
作者 杜军威 徐中伟 《计算机工程》 CAS CSCD 北大核心 2007年第13期16-18,48,共4页
故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用... 故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁逻辑模型的安全性分析。 展开更多
关键词 联锁逻辑 故障树分析法 PETRI网 安全性分析
下载PDF
基于XML的异构数据库模式转换的实现 被引量:12
15
作者 杜军威 隋树林 《青岛科技大学学报(自然科学版)》 CAS 2005年第2期158-161,共4页
提出了以XML为中间载体实现数据库之间的相互转换模型,并给出相应的实现方法,有效地解决了Web数据库之间的信息共享和转换的问题。
关键词 数据转换 异构数据库 XML
下载PDF
基于动作序列的行为需求模式验证的研究 被引量:2
16
作者 杜军威 徐中伟 江峰 《通信学报》 EI CSCD 北大核心 2011年第1期94-105,共12页
提出了基于动作序列刻画安全关键系统的功能行为需求和安全性行为需求,较传统的类逻辑规范和类图式规范更准确表达交互行为间的时序关系。基于动作序列构造功能需求和安全需求两类行为模式,并给出每个模式的操作语义。为实现基于行为模... 提出了基于动作序列刻画安全关键系统的功能行为需求和安全性行为需求,较传统的类逻辑规范和类图式规范更准确表达交互行为间的时序关系。基于动作序列构造功能需求和安全需求两类行为模式,并给出每个模式的操作语义。为实现基于行为模式的需求验证,重新定义LTS安全性和活性的属性表达、组合操作,给出并证明功能需求模式和安全性需求模式满足的充要条件。该框架在高速铁路CTCS2/3的形式验证与确认得到了广泛应用,对指导构件化安全关键系统的组合形式验证具有较高的理论与实践价值。 展开更多
关键词 安全关键系统 动作序列 行为需求模式 标签变迁系统 模式验证
下载PDF
基于时序Petri网的联锁逻辑形式建模与验证 被引量:4
17
作者 杜军威 徐中伟 《计算机工程与应用》 CSCD 北大核心 2007年第13期7-10,共4页
时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最... 时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。 展开更多
关键词 联锁逻辑 时序PETRI网 形式建模 时序逻辑
下载PDF
联锁系统形式化模型的安全性评估 被引量:4
18
作者 杜军威 徐中伟 《微电子学与计算机》 CSCD 北大核心 2007年第8期14-17,21,共5页
根据联锁系统的事故危害度分类,有效地结合故障树分析法和Petri网可达图分析的各自优点,提出一种用于评估联锁系统Petri模型的安全性的方法,并通过实例验证其有效性。
关键词 安全苛求系统 故障树分析法 PETRI网 安全性评估
下载PDF
基于图形转换的构件组装研究与应用 被引量:1
19
作者 杜军威 徐中伟 喻钢 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第5期680-684,695,共6页
Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联... Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述. 展开更多
关键词 图形转换 态射 构件组装 PETRI网
下载PDF
联锁逻辑形式化模型检验的研究 被引量:1
20
作者 杜军威 徐中伟 宋波 《计算机工程》 CAS CSCD 北大核心 2007年第15期33-35,共3页
利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能。通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题。该方法的研究增强了有色Petri网的分析... 利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能。通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题。该方法的研究增强了有色Petri网的分析和验证能力,利用该方法对车站联锁逻辑的实际问题进行了性能验证。 展开更多
关键词 有色PETRI网 线性时态逻辑 带标签的广义Büchi自动机 联锁逻辑
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部