期刊文献+
共找到176篇文章
< 1 2 9 >
每页显示 20 50 100
基于卷积神经网络和多标签分类的复杂结构损伤诊断 被引量:1
1
作者 李书进 杨繁繁 张远进 《建筑科学与工程学报》 北大核心 2025年第1期101-111,共11页
为研究复杂空间框架节点损伤识别问题,利用多标签分类的优势,构建了多标签单输出和多标签多输出两种卷积神经网络模型,用于框架结构节点损伤位置的判断和损伤程度诊断。针对复杂结构损伤位置判断时工况多、识别准确率不高等问题,提出了... 为研究复杂空间框架节点损伤识别问题,利用多标签分类的优势,构建了多标签单输出和多标签多输出两种卷积神经网络模型,用于框架结构节点损伤位置的判断和损伤程度诊断。针对复杂结构损伤位置判断时工况多、识别准确率不高等问题,提出了一种能对结构进行分层(或分区)处理并同时完成损伤诊断的多标签多输出卷积神经网络模型。分别构建了适用于多标签分类的浅层、深层和深层残差多输出卷积神经网络模型,并对其泛化性能进行了研究。结果表明:提出的模型具有较高的损伤诊断准确率和一定的抗噪能力,特别是经过分层(分区)处理后的多标签多输出网络模型更具高效性,有更快的收敛速度和更高的诊断准确率;利用多标签多输出残差卷积神经网络模型可以从训练工况中提取到足够多的损伤信息,在面对未经过学习的工况时也能较准确判断各节点的损伤等级。 展开更多
关键词 损伤诊断 卷积神经网络 标签分类 框架结构 深度学习
在线阅读 下载PDF
不确定型模糊Kripke结构的计算树逻辑模型检测 被引量:11
2
作者 范艳焕 李永明 潘海玉 《电子学报》 EI CAS CSCD 北大核心 2018年第1期152-159,共8页
本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词?和任意量词在不确定型模糊Kri... 本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词?和任意量词在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词■_(sup),■_(inf)和■_(sup),■_(inf),分别用于替换存在量词?和任意量词.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式■_(sup)pUq,■_(sup)pUq,■_(inf)pUq和■_(inf)pUq分别给出时间复杂度为对数多项式时间的改进算法. 展开更多
关键词 模型检测 计算树逻辑 模糊逻辑 kripke结构 时态逻辑
在线阅读 下载PDF
基于模糊逻辑的几类Kripke结构之间的关系 被引量:3
3
作者 潘海玉 张敏 陈仪香 《计算机科学》 CSCD 北大核心 2013年第5期42-44,共3页
根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理... 根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法。 展开更多
关键词 kripke结构 形式化验证 模糊逻辑 计算树逻辑
在线阅读 下载PDF
基于改进粒子群算法的标签天线结构参数多目标优化设计 被引量:1
4
作者 洪涛 李梦迪 +1 位作者 王翠 黄炎光 《微波学报》 CSCD 北大核心 2024年第4期57-62,共6页
为了解决天线设计人员应用电磁仿真软件优化天线结构时存在的优化方向不明确和优化速度慢的问题,文中以干式水表的嵌入式射频识别标签天线设计为例,提出了基于改进粒子群算法的标签天线结构参数多目标寻优方法。首先,根据干式水表产品... 为了解决天线设计人员应用电磁仿真软件优化天线结构时存在的优化方向不明确和优化速度慢的问题,文中以干式水表的嵌入式射频识别标签天线设计为例,提出了基于改进粒子群算法的标签天线结构参数多目标寻优方法。首先,根据干式水表产品追溯需求,提出了中心频点尽可能接近理想中心频点、回波损耗尽可能低、带宽尽可能宽、面积尽可能小的四个目标函数。其次,为避免粒子群算法陷入局部最优,采用多维均匀拉丁超立方初始化、Logistic混沌映射非线性变化惯性权重、网格划分变化学习因子、高斯扰动策略等方法对算法进行改进,并应用于标签天线结构参数多目标优化中。最后,进行了实例验证。验证结果表明:利用改进后的粒子群算法得到的标签天线结构参数优化结果可更大程度满足优化目标需求,优化耗时仅为电磁仿真软件的40.1%。 展开更多
关键词 射频识别 标签天线结构参数 改进粒子群算法 多目标寻优
在线阅读 下载PDF
基于多标签卷积神经网络的结构损伤识别 被引量:1
5
作者 秦世强 苏晟 杨睿 《建筑科学与工程学报》 CAS 北大核心 2024年第3期108-119,共12页
准确识别结构多位置损伤一直是结构损伤识别的难题。为提升结构多位置损伤识别的准确率,提出一种基于卷积神经网络(CNN)的多标签分类(MLC)方法(CNN-MLC)进行结构损伤识别。该方法将结构多个位置损伤识别转换为多标签分类问题,每个损伤... 准确识别结构多位置损伤一直是结构损伤识别的难题。为提升结构多位置损伤识别的准确率,提出一种基于卷积神经网络(CNN)的多标签分类(MLC)方法(CNN-MLC)进行结构损伤识别。该方法将结构多个位置损伤识别转换为多标签分类问题,每个损伤位置均用一个对应的标签表示;利用CNN强大的特征提取能力,深入挖掘不同损伤工况之间公共损伤位置的相关性,实现结构多位置损伤识别。通过四层框架结构和一座铁路连续梁桥多位置损伤识别验证了CNN-MLC方法的识别准确率,并将其识别结果与基于CNN的多类别分类(MCC)方法(CNN-MCC)和基于示例差异化算法(InsDif)的多标签分类方法(InsDif-MLC)进行了对比。结果表明:框架结构在两位置和三位置损伤工况下,CNN-MLC方法比CNN-MCC方法的识别准确率分别提升2.50%和9.64%,比InsDif-MLC方法识别准确率提升17.50%和29.28%;对于铁路连续梁桥的两位置损伤和三位置损伤,CNN-MLC方法比CNN-MCC方法识别准确率提升1.63%和6.85%,比InsDif-MLC方法识别准确率提升4.18%和18.49%;随着损伤位置数量的增加,CNN-MLC方法的识别准确率显著提升。 展开更多
关键词 结构损伤识别 卷积神经网络 多位置损伤 多类别分类 标签分类
在线阅读 下载PDF
基于不完全Kripke结构三值逻辑的模型检验 被引量:5
6
作者 郭建 韩俊刚 《计算机科学》 CSCD 北大核心 2006年第3期263-266,278,共5页
模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公... 模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公式的真值除了真、假外,还出现了第三种情况:未知,即在这个状态模型下无法确定其真值,需要更多的状态信息才能确定。本文还讨论了二值逻辑的模型检验技术,在此基础上给出了基于不完全状态空间的三值逻辑的模型检验算法,此算法与二值逻辑模型检验算法相比,没有带来时间复杂度的增加,最后给出了三值逻辑模型检验算法的应用。 展开更多
关键词 三值逻辑 模型检验 不完全kripke结构
在线阅读 下载PDF
基于Kripke结构的程序正确性证明 被引量:1
7
作者 林杰 余建坤 《计算机应用》 CSCD 北大核心 2011年第5期1425-1427,共3页
为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确... 为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确性证明方法。证明方法为:首先,把程序流程图转换为状态图;然后,根据状态之间的转移关系列出每个状态下的状态谓词;最后,证明每个状态谓词为真。根据状态谓词进行证明,能够反映出程序执行的状态。用该方法对一个实例进行了完整的证明。 展开更多
关键词 kripke结构 程序正确性证明 状态图 谓词
在线阅读 下载PDF
基于余归纳的最小Kripke结构的求解 被引量:1
8
作者 高建华 蒋颖 《软件学报》 EI CSCD 北大核心 2014年第1期16-26,共11页
状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1)对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为K0)的存在唯一性.K0描述了K中所有Kripke... 状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1)对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为K0)的存在唯一性.K0描述了K中所有Kripke结构的行为而且没有冗余的状态;(2)对于任意的M∈K(M可能包含无穷多个状态),在互模拟等价意义下的相对于(M且基于K0)的最小Kripke结构(记为KM)的存在唯一性.由此提出一种求解KM的算法,并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的KM代替M进行模型检测.该方法可自然地推广到基于其他类型函子的余代数结构. 展开更多
关键词 模型检测 互模拟 函子 终余代数 最小kripke结构
在线阅读 下载PDF
一种基于扩展不完全Kripke结构的三值逻辑模型检测方法
9
作者 刘姣 雷丽晖 《计算机工程与科学》 CSCD 北大核心 2015年第10期1884-1889,共6页
多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展... 多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。 展开更多
关键词 三值逻辑 模型检测 扩展的不完全kripke结构
在线阅读 下载PDF
PET瓶瓶身结构对瓶子质量与标签完好性的影响
10
作者 陈伟 崔君芳 彭慧锈 《中国油脂》 CAS CSCD 北大核心 2024年第1期145-148,共4页
为保证包装产品的质量,通过对普通瓶型和加强筋瓶型PET瓶进行壁厚测定、抗压试验和跌落试验来比较瓶身结构对瓶子的抗压性能及标签完好性的影响。结果表明,加强筋瓶型的瓶子更厚,垂直抗压能力更好,对标签的保护程度优于普通瓶型的,且瓶... 为保证包装产品的质量,通过对普通瓶型和加强筋瓶型PET瓶进行壁厚测定、抗压试验和跌落试验来比较瓶身结构对瓶子的抗压性能及标签完好性的影响。结果表明,加强筋瓶型的瓶子更厚,垂直抗压能力更好,对标签的保护程度优于普通瓶型的,且瓶子质量的改变不影响其性能。综上,选择加强筋瓶型的PET瓶更有利于保证包装产品的质量。 展开更多
关键词 PET瓶 瓶身结构 加强筋 抗压试验 标签完好性 跌落试验
在线阅读 下载PDF
基于Hilbert分形结构的RFID标签天线 被引量:13
11
作者 赖晓铮 张小燕 +1 位作者 赖声礼 谢泽民 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2006年第6期25-28,共4页
提出了一种基于H ilbert分形结构的射频识别(RFID)标签天线的尺寸缩减设计.通过矩量法仿真,给出了H ilbert标签天线的谐振频率、方向图以及天线效率,并制作了一维H ilbert标签天线实物进行测试.仿真和实测结果表明,H ilbert分形结构天... 提出了一种基于H ilbert分形结构的射频识别(RFID)标签天线的尺寸缩减设计.通过矩量法仿真,给出了H ilbert标签天线的谐振频率、方向图以及天线效率,并制作了一维H ilbert标签天线实物进行测试.仿真和实测结果表明,H ilbert分形结构天线的空间填充特性可有效转化为标签天线的尺寸缩减特性,而且一维H ilbert标签天线具有更高的天线效率. 展开更多
关键词 Hilbert分形结构 分形天线 射频识别 标签
在线阅读 下载PDF
基于轨迹标签的无结构P2P副本一致性维护算法 被引量:23
12
作者 谢鲲 张大方 +1 位作者 谢高岗 文吉刚 《软件学报》 EI CSCD 北大核心 2007年第1期105-116,共12页
副本的存在是一种提高P2P系统的可扩展性、容错性、可用性和减少查询响应时间的有效手段.随着P2P应用逐渐由只读静态文件共享转换为需要实时更新的读写动态文件交互,副本一致性维护成为确保新业务正确运行的关键.从直接更改消息报文角... 副本的存在是一种提高P2P系统的可扩展性、容错性、可用性和减少查询响应时间的有效手段.随着P2P应用逐渐由只读静态文件共享转换为需要实时更新的读写动态文件交互,副本一致性维护成为确保新业务正确运行的关键.从直接更改消息报文角度出发,提出一种基于节点轨迹标签的无结构P2P副本一致性维护算法,通过在传输消息的报文中添加已接收更新消息的节点轨迹地址链表标签,可以在消息传输源节点进行冗余判断,以减少冗余消息数目.同时,针对直接存储节点地址轨迹标签算法的消息长度随着消息传输轮数和网络度数增加而不断加大的问题,提出一种用Bloomfilter替代地址链表轨迹标签的算法.通过Bloomfilter这种简洁的结构表示地址链表,可以减少添加到报文中的轨迹长度,利用Bloomfilter的“或”运算可以简化传输节点的冗余判断.实验结果表明:节点轨迹标签算法可以极大地降低冗余消息数目,提高P2P系统的可扩展性.副本节点网络连通性越强,消息数目和传输带宽的减少就越明显.该研究可以用到传感器网络等其他自组织网络的一致性维护中. 展开更多
关键词 一致性维护 结构P2P网络 节点轨迹标签 布鲁姆过滤器
在线阅读 下载PDF
基于语义标签生成和偏序结构的图像层级分类 被引量:8
13
作者 顾广华 曹宇尧 +1 位作者 李刚 赵耀 《软件学报》 EI CSCD 北大核心 2020年第2期531-543,共13页
智能电子设备和互联网的普及,使得图像数据爆炸性膨胀.为了有效管理复杂图像资源,提出一种基于加权语义邻近集和形式概念偏序结构的图像层级分类方法.首先,根据图像语义相关分数,对不同程度语义设定自适应权系数,从训练图库中构建加权... 智能电子设备和互联网的普及,使得图像数据爆炸性膨胀.为了有效管理复杂图像资源,提出一种基于加权语义邻近集和形式概念偏序结构的图像层级分类方法.首先,根据图像语义相关分数,对不同程度语义设定自适应权系数,从训练图库中构建加权语义邻近集,通过对语义邻近集中图像的词频分布进行判决,自动生成图像的多个语义标签;然后,以每幅图像为对象,以每幅图像自动生成的语义标签为属性,构建形式背景,通过偏序结构算法对复杂图像集进行有效的层级分类.该方法可以得到图像库中图像之间明确的结构关系和图像类别之间的从属关系,为复杂图像大数据进行层级分类管理提供了有效的思路.对Corel5k、Esp Game和Iaprtc12这3个数据库进行了图像标注实验,证明了标注的语义完整性和主要语义的准确性;并对Corel5k数据库进行了图像的层级分类实验,结果表明,层级分类效果显著. 展开更多
关键词 加权语义邻近集 词频分布 语义标签 偏序结构 层级分类
在线阅读 下载PDF
基于SLAF标签测序分析广东省栽培稻种质资源的遗传结构及演化关系 被引量:3
14
作者 孙炳蕊 潘大建 +7 位作者 李晨 江立群 张静 吕树伟 刘清 毛兴学 陈文丰 范芝兰 《作物学报》 CAS CSCD 北大核心 2022年第10期2483-2493,共11页
自水稻矮化育种成功以来,广东的水稻品种在国内的水稻育种中发挥了重要作用。国家“十四五”规划明确提出了我国种业自主创新将以提升核心种源竞争力为目标,着力加强种质资源保护利用。本研究利用开发的10,610个多态性SLAF标签,对98份... 自水稻矮化育种成功以来,广东的水稻品种在国内的水稻育种中发挥了重要作用。国家“十四五”规划明确提出了我国种业自主创新将以提升核心种源竞争力为目标,着力加强种质资源保护利用。本研究利用开发的10,610个多态性SLAF标签,对98份广东省不同时期育成的代表性品种和地方稻种,开展遗传演化、群体遗传结构及主成分分析,发现43份老品种和5份地方稻种的遗传基础较宽,而50份近期育成的新品种的遗传基础较窄;遗传演化和系谱分析发现,老品种大多数含有广场13、南特号、矮仔占、塘埔矮和竹印2号的血缘,而新品种大多含有IR系列品种、粳籼677、广场矮、中籼3588的血缘。这表明自20世纪90年代以来重视了外引材料的利用,但忽视了对本地优良种质资源的利用。这可能与20世纪70年代三系杂交稻的兴起有关。因此,为了确立核心种源的竞争地位,应重点加强本地优良种质资源的鉴评和利用。 展开更多
关键词 广东省 栽培稻种 遗传结构 遗传演化 SLAF标签
在线阅读 下载PDF
一种基于自适应结构概要的有向标签图子图匹配查询算法 被引量:10
15
作者 张海威 解晓芳 +3 位作者 段媛媛 温延龙 张莹 袁晓洁 《计算机学报》 EI CSCD 北大核心 2017年第1期52-71,共20页
有向标签图作为重要的数据表示模型,广泛应用于社交网络、语义网分析等信息技术相关的研究领域,子图匹配查询是图数据管理的重要研究问题,引起了研究者的广泛关注.有向标签图的子图同构和子图模拟匹配查询由于代价极高,不适用于大规模... 有向标签图作为重要的数据表示模型,广泛应用于社交网络、语义网分析等信息技术相关的研究领域,子图匹配查询是图数据管理的重要研究问题,引起了研究者的广泛关注.有向标签图的子图同构和子图模拟匹配查询由于代价极高,不适用于大规模图数据的查询处理.本文针对有向标签图,研究基于自适应结构概要的子图匹配查询算法.首先基于图压缩的思想,提出一种满足顶点"局部双拟"关系且具有自适应更新特性的有向标签图结构概要模型,在缩小数据图规模的基础上,适应查询图的结构;然后采用图模拟方式,提出基于自适应结构概要模型的子图匹配查询算法,根据查询图顶点的标签,对与其匹配的结构概要顶点按照其中包含数据图顶点的数量由小到大排序,根据查询图顶点之间的rank差值在结构概要模型中实现顶点匹配;最后在真实数据集和模拟数据集上进行实验,结果表明:(1)自适应结构概要模型可根据查询图结构,实现对数据图的最大压缩;(2)可在O(|E|log|V|)的总体时间复杂度内实现结构概要的自适应更新以及基于图模拟方式的子图匹配查询. 展开更多
关键词 有向标签 局部双拟 结构概要 自适应更新 子图匹配查询
在线阅读 下载PDF
基于标签路径的Web结构化数据自动抽取 被引量:3
16
作者 李贵 陈成 +3 位作者 李征宇 韩子扬 孙平 孙焕良 《计算机科学》 CSCD 北大核心 2013年第06A期141-144,165,共5页
提出了一种基于标签路径的Web结构化数据自动抽取方法。该方法通过对网页DOM树的解析获取完整标签路径集合,并依据路径相似度测量方法来聚类标签路径,实现目标数据区域的定位,然后通过标签节点坐标位置的特性来分离各个数据项,过滤冗余... 提出了一种基于标签路径的Web结构化数据自动抽取方法。该方法通过对网页DOM树的解析获取完整标签路径集合,并依据路径相似度测量方法来聚类标签路径,实现目标数据区域的定位,然后通过标签节点坐标位置的特性来分离各个数据项,过滤冗余数据,最终完成数据抽取。实验结果表明,与MDR方法相比,该方法在处理拥有结构化数据的网页时,有更高的查全率和查准率。 展开更多
关键词 标签路径 结构化数据抽取 聚类
在线阅读 下载PDF
社会化构建标签等级的评价研究——以知乎话题结构为例 被引量:3
17
作者 张鹏翼 苏杰 张久珍 《图书与情报》 CSSCI 北大核心 2016年第4期89-95,137,共8页
文章以知乎话题结构为例,对采用社会化方式构建的标签等级进行评价,探讨了受控语言和大众分类法的结合机制。抽取知乎的四个学科话题等级结构(哲学、物理学、社会学、文学)与《中图法》及《国会法》进行对比,综合使用定量(重合度)、定性... 文章以知乎话题结构为例,对采用社会化方式构建的标签等级进行评价,探讨了受控语言和大众分类法的结合机制。抽取知乎的四个学科话题等级结构(哲学、物理学、社会学、文学)与《中图法》及《国会法》进行对比,综合使用定量(重合度)、定性(划分标准、引用次序、横向关系揭示处理、等级关系、同位排列、类目命名等)指标进行评价。发现知乎话题结构等级与传统学科分类法重合度不高,呈现出类目数量大、局部有逻辑、全局无规律的特点,存在划分及排序标准不一致,话题名称较随意等问题。认为社会化构建的知乎话题等级,并非严格的分类体系,而是话题分类与主题标签结合的一种形态,不具备系统性、逻辑性,但交由用户构建、体现用户主导原则,对于用户生成知识资源的组织有借鉴意义。 展开更多
关键词 标签等级 大众分类法 社会化标注 话题结构 知乎
在线阅读 下载PDF
基于结构化标签的控制流错误检测算法 被引量:2
18
作者 张鹏 朱利 +2 位作者 杜小智 贺朝会 陈皓 《计算机工程》 CAS CSCD 北大核心 2016年第6期37-42,共6页
在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2... 在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测。实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3%,时间开销降低17%~45.3%,故障覆盖率提高6.2%~8.6%。 展开更多
关键词 瞬态故障 控制流错误检测 基本块 结构标签 故障注入 软件容错
在线阅读 下载PDF
融合多跳关系标签与依存句法结构信息的事件检测模型 被引量:1
19
作者 欧阳纯萍 邹康 +1 位作者 刘永彬 万亚平 《计算机应用研究》 CSCD 北大核心 2022年第1期43-47,53,共6页
大部分基于依存句法分析的事件检测方法仅聚焦于依存句法结构上的单跳联系,忽视了词与词之间的多跳联系,造成事件触发词与部分相关实体间的语义缺失,从而影响了事件检测效率。因此,为了充分利用词语间的语义相关性提升事件触发词的识别... 大部分基于依存句法分析的事件检测方法仅聚焦于依存句法结构上的单跳联系,忽视了词与词之间的多跳联系,造成事件触发词与部分相关实体间的语义缺失,从而影响了事件检测效率。因此,为了充分利用词语间的语义相关性提升事件触发词的识别能力,提出了融合多跳关系标签和依存句法结构信息的事件检测模型。构建了一种新型的依存句法多跳树以及多跳关系标签搜索算法,增强了核心词汇的事件表征能力,并结合图注意力网络聚合了词的多阶表示,提升了事件检测性能。在ACE2005数据集上的实验结果显示,提出的增加了多跳关系标签信息的事件检测方法比基准模型性能提升了近2%。 展开更多
关键词 事件检测 依存句法 多跳关系标签 句法结构
在线阅读 下载PDF
新浪微博用户领域分类标签的结构和互动研究 被引量:5
20
作者 杨尊琦 赵瑾珺 《情报杂志》 CSSCI 北大核心 2014年第4期122-127,共6页
使用社会网络分析方法,以新浪微博用户互惠关系为研究基础,通过实证分析新浪微博用户领域分类标签的密度,研究微博用户领域分类标签结构;打破原来用户所处微博用户领域分类标签格局,依据用户互惠关系对其进行重新分组,探讨在微博空间中... 使用社会网络分析方法,以新浪微博用户互惠关系为研究基础,通过实证分析新浪微博用户领域分类标签的密度,研究微博用户领域分类标签结构;打破原来用户所处微博用户领域分类标签格局,依据用户互惠关系对其进行重新分组,探讨在微博空间中各领域标签的互动情况。密度分析结果表明新浪微博对娱乐、传媒、健康、军事、房产分类标签影响较大,对汽车和公益分类标签影响相对较小;通过凝聚子群分析发现5组高密度凝聚子群,每组凝聚子群包含的分类标签互动程度高,影响程度大,从而能为舆论的监控和引导以及预测领域信息对其他领域影响关系提供理论依据。 展开更多
关键词 互惠关系 社会网络分析 网络密度 凝聚子群 分类标签结构 分类标签互动
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部