期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
基于多语义空间的机器译文质量估计
1
作者 陈康 刘尧舜 +2 位作者 李茂西 王倩 吴水秀 《中文信息学报》 北大核心 2025年第5期72-81,共10页
在不需要人工参考译文对照的情况下,仅利用源语言句子对机器译文的质量进行评估是机器译文质量估计任务的目标。当前的机器译文质量估计方法仅在单个语义空间内比较源语言句子和机器译文,难以全面捕捉不同语言的语义特征,导致译文质量... 在不需要人工参考译文对照的情况下,仅利用源语言句子对机器译文的质量进行评估是机器译文质量估计任务的目标。当前的机器译文质量估计方法仅在单个语义空间内比较源语言句子和机器译文,难以全面捕捉不同语言的语义特征,导致译文质量估计的准确性和可靠性不足。针对这个问题,该文提出基于多语义空间的机器译文质量估计方法,通过融合源语言、目标语言和跨语言语义空间质量特征,更准确地评估机器译文的质量。该文方法借助大语言模型和相应提示对源语言句子进行翻译生成伪参考译文,对机器译文进行翻译生成回译;利用跨语言预训练模型X-MOD表征源语言句子和回译提取在源语言语义空间的机器译文质量特征、利用X-MOD表征源语言句子和机器译文提取在跨语言语义空间的机器译文质量特征、利用X-MOD表征机器译文和伪参考译文提取在目标语言语义空间的机器译文质量特征;通过多头自注意力机制和前馈神经网络融合多语义空间特征构建端到端的机器译文质量估计神经网络模型。在WMT′23句子级别机器译文质量估计任务基准数据集上的实验结果表明,该文方法性能超过了当前先进的机器译文质量估计方法TransQuest和UniTE,并超过了参与评测的最优系统。 展开更多
关键词 机器译文质量估计 跨语言预训练模型 多语义空间特征 伪参考译文 回译
在线阅读 下载PDF
引入源端信息的IPC和CLC类目自动映射研究
2
作者 钟易佳 李茂西 +2 位作者 王倩 黄琪 何彦青 《中文信息学报》 北大核心 2025年第3期159-168,共10页
国际专利分类法(International Patent Classification,IPC)是专利文献分类和检索的国际标准;中国图书馆分类法(Chinese library classification,CLC)是我国图书期刊的大型综合性分类法。自动准确地建立IPC类目和CLC类目之间的映射对实... 国际专利分类法(International Patent Classification,IPC)是专利文献分类和检索的国际标准;中国图书馆分类法(Chinese library classification,CLC)是我国图书期刊的大型综合性分类法。自动准确地建立IPC类目和CLC类目之间的映射对实现专利文献和图书期刊文献的跨库检索和交叉浏览有着重要的意义。针对当前研究中仅使用IPC中文译本类目描述文本来建立其与CLC类目之间的映射,完全忽略IPC原版英语类目描述文本信息的不足,该文提出了一种基于神经网络的IPC和CLC类目自动映射方法,通过引入源端信息(英语端信息)实现自动映射。首先分别通过预训练语言模型BERT和XLM-R生成IPC类目描述文本和CLC类目描述文本的词表征;然后利用多头注意力机制融合IPC类目的BERT模型词表征和XLM-R模型词表征,以及CLC类目的BERT模型词表征和XLM-R模型词表征,最后使用两个前馈神经网络层建立IPC类目和CLC类目之间的映射。在公开数据集上的实验结果表明,该文提出的方法显著优于当前最优方法,且其性能更稳定、泛化性更强。 展开更多
关键词 国际专利分类法 中国图书馆分类法 BERT XLM-R 多头注意力机制
在线阅读 下载PDF
基于多层的模态渐进交互融合的图文情感分析
3
作者 程艳 房成兴 +3 位作者 姚宇肖 詹勇鑫 俞恭成 陈彦滢 《中文信息学报》 北大核心 2025年第5期120-128,共9页
相较于单模态数据,多模态数据提供了更丰富的信息,使得模型能够从不同维度来分析数据的情感。以往的研究没有充分探索和利用文本与图像数据之间的信息关联。针对上述问题,该文提出一种基于多层的模态渐进交互融合(Multi-Layer Modal Pro... 相较于单模态数据,多模态数据提供了更丰富的信息,使得模型能够从不同维度来分析数据的情感。以往的研究没有充分探索和利用文本与图像数据之间的信息关联。针对上述问题,该文提出一种基于多层的模态渐进交互融合(Multi-Layer Modal Progressive Interaction Fusion,MLMPIF)的图文情感分析模型,以充分探索文本和图像数据之间的信息。该模型从文本和图像中提取到的文本特征、形容词名词对特征和图像特征进行多层渐进交互融合,即先从图像中提取的形容词名词对,增强图像语义理解,并通过门控多模态融合组件实现文本和图像模态的融合,最后,模型引入组合注意力互补组件,促进单模态与融合特征的深入交互,生成更全面的多模态情感特征信息。在MVSA-Single和MVSA-Multiple数据集上进行的实验表明,与主流方法相比,该文的方法对于多模态情感检测是有效的。 展开更多
关键词 图文情感分析 形容词名词对 门控多模态融合
在线阅读 下载PDF
基于空间权重和层间相关性的可解释浅层类激活映射算法研究
4
作者 程艳 何慧娟 +2 位作者 陈彦滢 姚楠楠 林国波 《计算机科学》 北大核心 2025年第S1期498-504,共7页
卷积神经网络在计算机视觉领域具有重要作用,然而其黑盒特性使人们理解其决策理由变得困难,严重阻碍了其在某些安全领域的应用。传统的类激活映射(Class Activation Mapping,CAM)算法通常受限于深层神经元的可解释性,对浅层神经元的解... 卷积神经网络在计算机视觉领域具有重要作用,然而其黑盒特性使人们理解其决策理由变得困难,严重阻碍了其在某些安全领域的应用。传统的类激活映射(Class Activation Mapping,CAM)算法通常受限于深层神经元的可解释性,对浅层神经元的解释能力较弱且存在较多噪声。为了应对这一挑战,提出一种可解释浅层的类激活映射算法,并生成细粒度的解释。该算法基于相关性传播理论,考虑相邻层之间的相关性,得到层间相关性权重,并将应用了空间权重的特征图作为掩码,与层间相关性权重相乘,从而实现浅层解释。实验结果表明,所提算法与解释浅层最优的LayerCAM相比,卷积神经网络每层生成的类激活图的删除插入测试综合评分在ILSVRC2012 val数据集上最高提高了2.73,最低提高了0.24,在CUB-200-2011数据集上最高提高了1.31,最低提高了0.38。 展开更多
关键词 类激活映射算法 卷积神经网络 浅层神经元 空间权重 层间相关性
在线阅读 下载PDF
LLRB算法的函数式建模及其机械化验证 被引量:2
5
作者 左正康 黄志鹏 +4 位作者 黄箐 孙欢 曾志城 胡颖 王昌晶 《软件学报》 EI CSCD 北大核心 2024年第11期5016-5039,共24页
基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时... 基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时无法使用常规的证明策略,需要更多的人工干预和努力,其正确性验证是一个公认的难题.为此,基于二叉搜索树类算法Isabelle验证框架,对其附加性质部分进行细化,并给出具体化的验证方案.在Isabelle中对LLRB插入和删除操作进行函数式建模,对其不变量进行模块化处理,并验证函数的正确性.这是首次在Isabelle中对函数式LLRB插入和删除算法进行机械化验证,相较于目前LLRB算法的Dafny验证,定理数由158减少至84,且无需构造中间断言,减轻了验证的负担;同时,为复杂树结构算法的函数式建模及验证提供了一定的参考价值. 展开更多
关键词 LLRB 函数式建模 机械化验证 Isabelle定理证明器 二叉搜索树
在线阅读 下载PDF
命令式动态规划类算法程序推导及机械化验证
6
作者 左正康 孙欢 +3 位作者 王昌晶 游珍 黄箐 王唱唱 《软件学报》 EI CSCD 北大核心 2024年第9期4218-4241,共24页
动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Is... 动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值. 展开更多
关键词 Isabelle/HOL 机械化验证 动态规划 命令式 VCG
在线阅读 下载PDF
抢占式调度问题的PPTA模型与验证方法
7
作者 左正康 赵帅 +2 位作者 王昌晶 谢武平 黄箐 《软件学报》 EI CSCD 北大核心 2024年第10期4533-4554,共22页
优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统... 优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统带来抢占式调度问题.现有研究,缺乏一种可以直观表示任务的优先级以及任务之间的依赖关系的建模及自动验证方法.为此,提出抢占式优先级时间自动机(PPTA)并引入抢占式优先级时间自动机网络(PPTAN).首先,通过在时间自动机上添加变迁的优先级来表示任务的优先级,再利用变迁将具有依赖关系的任务相关联,从而可以利用PPTA建模带有优先级的实时任务.在时间自动机上添加阻塞位置,进而利用PPTAN建模优先级抢占式调度问题.其次,提出基于模型的转换方法,将抢占式优先级时间自动机映射到自动验证工具UPPAAL中.最后,通过建模多核多任务实时系统实例并与其他模型进行对比,说明所提模型不仅适用于建模优先级抢占式调度问题并可对其进行准确验证分析. 展开更多
关键词 优先级抢占式调度 抢占式优先级时间自动机 多核多任务实时系统 UPPAAL
在线阅读 下载PDF
图广度优先遍历算法的形式化推导与机械验证方法 被引量:2
8
作者 余楚凌 曹中雄 +1 位作者 王唱唱 王昌晶 《江西师范大学学报(自然科学版)》 北大核心 2024年第5期472-478,共7页
针对图广度优先遍历问题,该文提出了一种形式化推导与机械验证方法.首先,描述求解问题的形式化规约,使用分划递推得到统一的循环不变式并开发相应的Apla抽象程序;然后,在Isabelle中描述算法相关的数据类型、定义与基本函数,根据算法程... 针对图广度优先遍历问题,该文提出了一种形式化推导与机械验证方法.首先,描述求解问题的形式化规约,使用分划递推得到统一的循环不变式并开发相应的Apla抽象程序;然后,在Isabelle中描述算法相关的数据类型、定义与基本函数,根据算法程序正确性证明的验证条件证明了抽象算法正确性;最后,通过Apla→C++自动生成器生成可执行代码,验证了该方法的有效性. 展开更多
关键词 图广度优先遍历 形式化推导 定理证明 循环不变式
在线阅读 下载PDF
基于预训练模型自适应匹配的视觉故事生成算法
9
作者 宁铭 江爱文 +2 位作者 崔朝阳 刘长红 王明文 《中文信息学报》 CSCD 北大核心 2024年第5期155-166,共12页
视觉故事生成任务是为一组图像序列生成具有表现力和连贯性的、能准确描述所涉及视觉内容的语句段落,是当前计算机视觉和自然语言处理交叉领域中一个有趣而又快速发展的多模态研究方向。随着预训练模型在各种下游任务的成功,基于预训练... 视觉故事生成任务是为一组图像序列生成具有表现力和连贯性的、能准确描述所涉及视觉内容的语句段落,是当前计算机视觉和自然语言处理交叉领域中一个有趣而又快速发展的多模态研究方向。随着预训练模型在各种下游任务的成功,基于预训练模型的视觉故事生成算法也被广泛研究。但因为数据模态的差异和语义鸿沟的存在,预训练模型在微调学习过程中会产生灾难性遗忘问题。如何协调视觉和语言两种模态数据的预训练模型,是当前多模态预训练模型研究的主要目标之一。该文提出基于预训练模型自适应匹配的视觉故事生成算法,一方面综合挖掘图像流的视觉、关系、序列等多样化互补信息,弥补语义差异;同时,另一方面用适应性损失对图文两种模态数据进行特征对齐,以及对图像流数据进行连续信息对齐,取得了较好的效果。算法在目前已公开的视觉故事生成数据集(VIST)上与近年的先进算法进行实验比较。评测结果表明,该文算法在生成故事的图文相关性、文本多样性、内容逻辑连贯性等指标上取得了具有竞争力的结果。 展开更多
关键词 视觉故事 适应匹配损失 预训练模型 多模态特征 图像序列
在线阅读 下载PDF
基于最大半环的DP问题函数式建模与验证
10
作者 王唱唱 游珍 +1 位作者 孙欢 王昌晶 《江西师范大学学报(自然科学版)》 CAS 北大核心 2024年第3期294-300,310,共8页
针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的... 针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的基于最大半环的函数式建模算法与Wimmer定义的递归函数结果进行等价性验证,从而保证了函数式建模算法的正确性;最后通过对lcs问题案例分析,验证了该方法的可行性和有效性. 展开更多
关键词 DP问题 最大半环 函数式建模 验证
在线阅读 下载PDF
结合全局对应矩阵和相对位置信息的古汉语实体关系联合抽取
11
作者 胡益裕 左家莉 +3 位作者 涂传龙 曾雪强 万中英 王明文 《中文信息学报》 CSCD 北大核心 2024年第11期35-45,共11页
目前,基于全局对应矩阵的联合抽取模型在英文领域和现代汉语领域的实体关系抽取任务上取得了SOTA(state-of-the-art)结果,然而在古汉语实体关系抽取任务上表现相对较差。这首先由于当前的古汉语实体关系数据集具有数据规模小、数据标注... 目前,基于全局对应矩阵的联合抽取模型在英文领域和现代汉语领域的实体关系抽取任务上取得了SOTA(state-of-the-art)结果,然而在古汉语实体关系抽取任务上表现相对较差。这首先由于当前的古汉语实体关系数据集具有数据规模小、数据标注稀疏的特点,模型无法从数据中学习到足量的信息;其次是因为该模型训练时缺少实体的跨度信息,使得模型容易生成长度异常的实体。针对上述问题,该文在研究了开源的《资治通鉴》语料后,人工构建了一个古汉语实体关系数据集,并设计了一种结合全局对应矩阵和相对位置信息的实体关系联合抽取方法。该方法在古汉语实体关系数据集上的精确率和F1值分别达到了81.0%和67.0%,相较于基线模型提升了6.8%和1.4%。同时,该文通过实验验证了上述融合相对位置信息的方法对于解决“容易生成长度异常实体”问题的有效性。 展开更多
关键词 古汉语数据集构建 实体关系联合抽取 全局对应矩阵 相对位置信息
在线阅读 下载PDF
基于信息量的试题非等权重神经认知诊断
12
作者 李梦超 罗芬 熊建华 《江西师范大学学报(自然科学版)》 CAS 北大核心 2024年第3期286-293,共8页
该文提出了基于信息量的试题非等权重神经认知诊断(WNCD)方法,即利用学生能力水平与试题难度之间的相近程度来调整试题在学生认知状态估计时的权重,并通过神经网络拟合试题和学生之间复杂的非线性交互关系.与已有方法在ASSIST和PISA201... 该文提出了基于信息量的试题非等权重神经认知诊断(WNCD)方法,即利用学生能力水平与试题难度之间的相近程度来调整试题在学生认知状态估计时的权重,并通过神经网络拟合试题和学生之间复杂的非线性交互关系.与已有方法在ASSIST和PISA2012数据集上进行对比实验的结果表明:WNCD不仅保持了良好的解释性,而且提升了诊断精度. 展开更多
关键词 认知诊断 神经网络 试题权重 信息函数
在线阅读 下载PDF
基于依存结构的关系三元组抽取方法
13
作者 陈筱 黄琪 +2 位作者 罗文兵 罗凯威 王明文 《江西师范大学学报(自然科学版)》 CAS 北大核心 2024年第4期351-358,共8页
信息抽取是自然语言处理领域的关键任务,关系三元组抽取是信息抽取的核心子任务.在关系三元组抽取任务中,利用句子的依存结构信息可以加强对句子的全局理解,从而提升模型的抽取效果.该文提出了一种基于依存结构分析和图神经网络的抽取方... 信息抽取是自然语言处理领域的关键任务,关系三元组抽取是信息抽取的核心子任务.在关系三元组抽取任务中,利用句子的依存结构信息可以加强对句子的全局理解,从而提升模型的抽取效果.该文提出了一种基于依存结构分析和图神经网络的抽取方法.首先利用预训练模型得到文本向量语义表示;其次获取文本的依存结构信息并构建成图;接着利用图神经网络编码图的结构信息获取全局理解;最后通过特定的解码方式抽取出文本蕴含的关系三元组.实验结果表明:该抽取方法在NYT29、NYT24和WebNLG数据集上的精确率比已有的联合抽取模型精确率提升0.1%~0.6%,召回率提升0.2%~0.5%,F_(1)值提升0.1%~0.3%. 展开更多
关键词 信息抽取 关系三元组 依存结构分析 图神经网络
在线阅读 下载PDF
融合学科知识的数学习题知识点自动标注模型
14
作者 罗文兵 罗凯威 +1 位作者 黄琪 王明文 《中文信息学报》 CSCD 北大核心 2024年第4期143-155,共13页
习题知识点标注是构建结构化题库和实现个性化学习的关键任务。对于数学习题,由于其存在公式化、表达精炼化等特殊性,现有的标注模型无法很好地捕获关键信息,进而难以深入理解文本中蕴含的深层语义。此外,结合领域知识的知识点标注模型... 习题知识点标注是构建结构化题库和实现个性化学习的关键任务。对于数学习题,由于其存在公式化、表达精炼化等特殊性,现有的标注模型无法很好地捕获关键信息,进而难以深入理解文本中蕴含的深层语义。此外,结合领域知识的知识点标注模型普遍存在引入的知识不够关键、融合的方式过于直接的问题,缺乏对信息的有效筛选,从而导致在特征融合时产生大量噪声,干扰模型最终的标注结果。为此,该文提出了一种融合学科知识的数学习题知识点自动标注模型MKA Gated。该模型首先利用预训练模型对原始习题和两种细化的学科知识文本进行初步的语义编码表示,然后利用注意力机制实现习题与两种学科知识的信息交互以获取两种学科知识的深层语义表征,最后通过门控机制连续地、隐式地融合两种深层语义表征的平均池化表示以保留原始习题表示中有利于最终分类的语义特征。模型在自建的初中数学习题知识点标注数据集上测试的三种指标micro-F_(1)、macro-F_(1)、weighted-F_(1)相较于基准模型分别提升了1.99%、2.99%、2.12%,实验结果表明,该文所提方法能有效提升数学习题知识点的标注。 展开更多
关键词 知识点标注 学科知识 注意力机制 门控机制
在线阅读 下载PDF
基于语义引导的人像自动抠图模型
15
作者 程艳 严志航 +2 位作者 赖建明 王桂喜 钟林辉 《图学学报》 CSCD 北大核心 2024年第4期683-695,共13页
为解决现有人像抠图方法中存在的语义判别错误和抠图细节模糊问题,提出一种基于语义引导的人像自动抠图模型。首先引入CNN-Transformer混合架构EMO进行特征编码。接着,在语义分割解码分支利用多尺度混合注意力模块处理最高层编码特征,... 为解决现有人像抠图方法中存在的语义判别错误和抠图细节模糊问题,提出一种基于语义引导的人像自动抠图模型。首先引入CNN-Transformer混合架构EMO进行特征编码。接着,在语义分割解码分支利用多尺度混合注意力模块处理最高层编码特征,以增强多尺度表征和像素级判别能力。然后,使用特征增强模块融合高层次特征,促使高层语义信息在浅层网络的流动。同时,细节抠取解码分支中的聚合以引导来自模块不同分支的特征聚合,利用聚合特征更好地引导网络提取浅层特征,提高了边缘细节抠取精度。在3个数据集上的实验表明,该方法与所比较方法相比性能达到了最优,并显著降低了参数量和计算复杂度,具有较高的竞争力。 展开更多
关键词 人像抠图 语义引导 多尺度 特征增强 聚合引导
在线阅读 下载PDF
基于距离注意力的双特征融合的图书分类方法
16
作者 王豹 周勇 +3 位作者 褚庆福 罗淇丰 吴佳隆 许婕 《江西师范大学学报(自然科学版)》 北大核心 2024年第6期652-660,共9页
针对传统分类模型缺乏对图书数据的多维度语义学习和无法充分学习图书名称、作者和简介等语义信息及其之间联系的问题,提出了一种基于距离注意力的双特征融合的图书分类模型:BTCBLA(BERT-TextCNN-BiLSTM-Attention).该模型采用双通道的... 针对传统分类模型缺乏对图书数据的多维度语义学习和无法充分学习图书名称、作者和简介等语义信息及其之间联系的问题,提出了一种基于距离注意力的双特征融合的图书分类模型:BTCBLA(BERT-TextCNN-BiLSTM-Attention).该模型采用双通道的方法进行特征提取.针对图书数据包含位置信息的特殊性,在Self-Attention的基础上提出了Distance-Attention,通过加入多尺度相对位置编码解决了在自注意力无法充分理解序列中动态依赖关系的问题;设计了独特的语义融合模块Global-Local-Attention,能够生成权重提取关键信息与语义联系,从而融合局部与全局信息;经过全连接层和Softmax层进行分类,获取多个维度的语义特征,从而具备更丰富的文本语义信息.实验结果表明该模型的准确度达到了91.75%,具有良好的分类性能. 展开更多
关键词 BERT TextCNN BiLSTM 注意力 图书分类
在线阅读 下载PDF
基于用户同意的隐私保护协议形式化描述与验证 被引量:3
17
作者 马丽 姜火文 彭云 《电子学报》 EI CAS CSCD 北大核心 2023年第7期1842-1849,共8页
将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控... 将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控制协议,将用户同意转化为一种同意权限,形成一种同意加授权的双重访问控制机制.本文给出协议的语法、语义及安全性定义和分析,并采用模型检测的方法对协议应满足的性质进行验证,最终证明本文的设计可以从访问控制的角度满足个人信息保护法规的要求. 展开更多
关键词 个人数据保护 隐私保护模型 隐私保护协议 访问控制 隐私授权 TLA+(Temporal Logic of Actions plus)
在线阅读 下载PDF
一种基于PSO-BPNN的CSI指纹定位方法 被引量:3
18
作者 黄先龙 黄良璜 +1 位作者 谢佳俊 余敏 《江西师范大学学报(自然科学版)》 CAS 北大核心 2023年第4期393-399,共7页
针对传统定位方法定位精度低,BP神经网络易陷入局部最优的问题,该文提出了基于信道状态信息(channel state information,CSI)和粒子群算法优化BP神经网络(particle swarm optimization BP neural network,PSO-BPNN)的主动定位方法.该方... 针对传统定位方法定位精度低,BP神经网络易陷入局部最优的问题,该文提出了基于信道状态信息(channel state information,CSI)和粒子群算法优化BP神经网络(particle swarm optimization BP neural network,PSO-BPNN)的主动定位方法.该方法需要目标人员携带设备,利用CSI的幅值和相位共同作为指纹特征,采用3倍标准差法处理数据,达到去除异常值的效果,并利用粒子群优化算法初始化BP神经网络的权值和阈值,解决BP神经网络收敛速度差和容易陷入局部最小值的问题.实验结果表明:该文提出的PSO-BPNN定位方法平均定位误差为1.19 m,相比采用快速正交搜索算法和BP神经网络(FOS-BPNN)方法得到的定位误差降低了39.3%,相比采用CSI相位差矫正和BP神经网络(PD-BPNN)方法得到的定位误差降低了16.2%. 展开更多
关键词 信道状态信息 主动定位 BP神经网络 粒子群优化
在线阅读 下载PDF
一种增强代码理解的代码可视化工具JavaCity
19
作者 肖英剑 揭安全 +2 位作者 李宏伟 钟崇文 罗荣 《江西师范大学学报(自然科学版)》 CAS 北大核心 2023年第6期652-660,共9页
该文提出了一种基于城市隐喻的沉浸式代码可视化工具JavaCity,实现了方法级别的细粒度可视化;通过抽取软件项目各项度量值构建可视化可交互的虚拟城市,进一步增强代码可视化和代码理解的能力.在JavaCity和IDEA上进行的对比实验研究表明:... 该文提出了一种基于城市隐喻的沉浸式代码可视化工具JavaCity,实现了方法级别的细粒度可视化;通过抽取软件项目各项度量值构建可视化可交互的虚拟城市,进一步增强代码可视化和代码理解的能力.在JavaCity和IDEA上进行的对比实验研究表明:JavaCity在理解软件项目相关的任务上时间效率节省200 s以上,在有用性评价上接近100%正确,近90%的参与者在脑力劳动、努力程度和挫折程度方面认为认知负荷更低. 展开更多
关键词 代码可视化 城市隐喻 代码理解 虚拟现实
在线阅读 下载PDF
基于依存结构学习的中学数学术语鲁棒抽取
20
作者 罗凯威 罗文兵 +1 位作者 黄琪 王明文 《中文信息学报》 CSCD 北大核心 2023年第8期75-85,共11页
中学数学术语抽取方法未考虑句子的依存结构信息,导致对句子的语义理解能力有限。此外,由于依赖依存结构信息的术语抽取方法存在分词或依存结构错误,导致术语抽取准确性和完整性不佳。为解决上述问题,该文提出一种基于依存结构学习的中... 中学数学术语抽取方法未考虑句子的依存结构信息,导致对句子的语义理解能力有限。此外,由于依赖依存结构信息的术语抽取方法存在分词或依存结构错误,导致术语抽取准确性和完整性不佳。为解决上述问题,该文提出一种基于依存结构学习的中学数学术语鲁棒抽取模型。模型利用预训练模型得到文本向量语义表示,并借助带有去噪注意力机制层的图神经网络和双向循环神经网络分别捕获文本的依存结构信息和上下文信息,进一步采用注意力机制融合文本结构信息和上下文信息以实现在融入依存结构信息的同时缓解错误分词或依存结构的影响。模型在自建的中学数学术语数据集上抽取精度P和F1值分别达到了83.82%、82.51%,相较于基准模型分别提升了2.21%、1.22%,表明该文所提方法能够鲁棒融合依存结构信息,从而提升中学数学术语抽取的精确性和完整性。 展开更多
关键词 术语抽取 依存结构 图神经网络
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部