检索结果-南通市图书馆

Trie+结构函数式建模、机械化验证及其应用

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4242-4264页

作者：左正康柯雨含黄箐王玥坤曾志城王昌晶江西师范大学计算机信息工程学院

Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合. Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基... 详细信息

Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合. Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基于索引即键值的思想提出了Trie+结构,相较于传统的索引与键值分开存储的结构能减少50%的存储空间,大大提高了空间利用率.并且,对Trie+结构的查找、插入、删除等操作给出了函数式建模及其严格的机械化验证,保证操作的正确性和可靠性.进一步,提出一种匹配算法的通用验证规约,旨在解决一系列的匹配算法正确性验证问题.最后,基于Trie+结构与匹配算法通用验证规约,建模和验证了函数式中英文混合多模式匹配算法,发现并解决了现有研究中的基于完全哈希Trie的多模式匹配算法的模式串前缀终止的Bug.该Trie+结构以及验证规约在提高Trie结构空间利用率和验证匹配算法中,有一定的理论和应用价值.

关键词： Trie+ 函数式建模机械化验证多模式匹配算法

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

跨国企业的数字化转型、研发投入与创新绩效

科学学研究 2024年

作者：周伟黄涵江宏飞黄冈师范学院商学院武汉大学经济与管理学院

数字化转型是跨国企业突破创新的新引擎。从资源基础理论和交易成本理论的视角，基于2012-2021年间中国A股上市的1588家跨国企业的面板数据，运用面板固定效应回归、二阶段最小二乘法等实证方法，探讨了跨国企业数字化转型对其创新绩效... 详细信息

数字化转型是跨国企业突破创新的新引擎。从资源基础理论和交易成本理论的视角，基于2012-2021年间中国A股上市的1588家跨国企业的面板数据，运用面板固定效应回归、二阶段最小二乘法等实证方法，探讨了跨国企业数字化转型对其创新绩效的直接影响，以及跨国企业数字化转型对其研发投入与创新绩效关系的调节作用。结果表明，中国跨国企业的数字化转型对其创新绩效具有显著的正向促进作用；且数字化转型强化了其研发投入对创新绩效的正向影响。异质性检验发现，高新技术行业的跨国企业、大型跨国企业的数字化转型对创新绩效的正面影响更强；国有跨国企业数字化转型的创新效应高于非国有跨国企业。

关键词：跨国企业数字化转型研发投入创新绩效

我国中等收入群体的体育消费特征、困境与路径

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

体育文化导刊 2024年第7期 89-95页

作者：刘昌黎蒋津君漆昌柱徐金陆天津体育学院体育教育学院天津301617 黄冈师范学院校长办公室湖北黄冈438000 黄冈师范学院体育学院湖北黄冈438000

运用文献资料、问卷调查等方法,探究我国中等收入群体的体育消费特征、困境,并提出路径。特征:实物型消费规模最大,但仍需夯实;参与型消费增长势头迅猛,但仍需挖掘;观赏型消费欲望强烈,但需着重开发。困境:女性消费市场开发不充分,技术... 详细信息

运用文献资料、问卷调查等方法,探究我国中等收入群体的体育消费特征、困境,并提出路径。特征:实物型消费规模最大,但仍需夯实;参与型消费增长势头迅猛,但仍需挖掘;观赏型消费欲望强烈,但需着重开发。困境:女性消费市场开发不充分,技术型和技能型职业参与消费程度低,体育竞赛表演产业尚未形成完整产业链,差异化的公共体育服务供给缺失。路径:注重开发女性消费市场,满足多样化消费需求;加强政策引导,激发中小企业消费活力;构建完整体育竞赛表演产业链和赛事价值认同输出机制;以体育赛事为引领,借助数字技术赋能公共体育服务均衡化和差异化供给。

关键词：体育经济体育消费中等收入群体

在线全文

学校读者我要写书评

暂无评论

面向序列诊断的强化计算机自适应测验方法

模式识别与人工智能 2024年第1期37卷 13-26页

作者：刘子瑞吴金泽姚方舟刘淇陈恩红沙晶王士进苏喻中国科学技术大学计算机科学与技术学院合肥230027 科大讯飞股份有限公司合肥230088 合肥师范学院计算机与人工智能学院合肥230061

计算机自适应测验旨在根据学生历史表现为学生选择合适的题目,快速有效地测量学生的真实能力.然而在智能教育场景下,现有自适应测验策略仍存在目标复杂和知识稀疏等问题.为此,文中构建用于智能场景的可精准测评学生知识能力的面向序列... 详细信息

计算机自适应测验旨在根据学生历史表现为学生选择合适的题目,快速有效地测量学生的真实能力.然而在智能教育场景下,现有自适应测验策略仍存在目标复杂和知识稀疏等问题.为此,文中构建用于智能场景的可精准测评学生知识能力的面向序列诊断的强化计算机自适应测验方法,包括基于序列诊断的学生模拟器和学生画像模型,并针对真实场景中自适应测验的目标复杂性,设计薄弱点准确率、预测表现耦合、自适应测验时长、测验异常率和测验的难度结构这5个评价指标.进一步地,提出基于强化学习的计算机自适应测验选题策略,利用双通道自注意力学习及矛盾学习模块缓解知识稀疏的问题.真实数据上的实验表明,文中选题策略不仅可高效测量学生真实能力,还可优化学生的作答体验,同时选择的题目也具有一定的可解释性,从而为智能教育场景下的计算机自适应测验提供一个可行方案.

关键词：智能教育个性化教育计算机自适应测验强化学习 Q 学习

在线全文

学校读者我要写书评

暂无评论

基于关系图卷积网络的代码搜索方法

软件学报 2024年第6期35卷 2863-2879页

作者：周光有谢琦余啸华中师范大学计算机学院湖北武汉430079 武汉理工大学计算机与人工智能学院湖北武汉430070

代码搜索是当下自然语言处理和软件工程交叉领域的一个重要分支.开发高效的代码搜索算法能够显著提高代码重用的能力,从而有效提高软件开发人员的工作效率.代码搜索任务是以描述代码片段功能的自然语言作为输入,在海量代码库中搜索得到... 详细信息

代码搜索是当下自然语言处理和软件工程交叉领域的一个重要分支.开发高效的代码搜索算法能够显著提高代码重用的能力,从而有效提高软件开发人员的工作效率.代码搜索任务是以描述代码片段功能的自然语言作为输入,在海量代码库中搜索得到相关代码片段的过程.基于序列模型的代码搜索方法DeepCS虽然取得了很好的效果,但这种方法不能捕捉代码的深层语义.基于图嵌入的代码搜索方法GraphSearchNet能缓解这个问题,但没有对代码与文本进行细粒度匹配,也忽视了代码图和文本图的全局关系.为了解决以上局限性,提出基于关系图卷积网络的代码搜索方法,对构建的文本图和代码图编码,从节点层面对文本查询和代码片段进行细粒度匹配,并应用神经张量网络捕捉它们的全局关系.在两个公开数据集上的实验结果表明,所提方法比先进的基线模型DeepCS和GraphSearchNet搜索精度更高.

关键词：代码搜索关系图卷积网络细粒度匹配

基于近红外光谱与协同表示方法的贻贝毒素快速检测

在线全文

学校读者我要写书评

暂无评论

食品与发酵工业 2024年第12期50卷 292-298页

作者：乔付刘忠艳刘瑶岭南师范学院计算机与智能教育学院广东湛江524048 岭南师范学院电子与电气工程学院广东湛江524048

该文应用近红外光谱和类别相关残差约束的非负表示分类(class-specific residual constraint non-negative representation base classification,CRNRC)方法快速识别被毒素污染的贻贝。受腹泻贝类毒素(diarrheal shellfish toxins,DST)污染的贻贝,其组织变化可通过近红外光谱曲线反映出来,可利用CRNRC模型对健康贻贝和受DST污染的贻贝进行分类。在CRNRC模型中引入类相关残差项和协同表示,将编码与分类联系起来。研究了CRNRC的编码向量,通过实验确定CRNRC模型的最优参数。实验结果表明,CRNRC模型在平均准确率、F-measure、1-specificity等评价指标上均优于协同表示和非负表示分类模型;近红外光谱与CRNRC相结合,能有效地鉴别被DST污染的贻贝,该检测方法具有智能、无损、准确、不需要化学试剂等优点。可将CRNRC模型的近红外光谱检测方法扩展到其他海鲜产品的检测(如检测海鲜产品核污染程度),以确保人类摄入健康的海鲜产品。

关键词：腹泻贝类毒素近红外光谱贻贝类别相关残差约束非负表示

同方期刊数据库

基于位置增强词向量和GRU-CNN的方面级情感分析模型研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2024年第9期60卷 212-218页

作者：陶林娟华庚兴李波华中师范大学计算机学院武汉430079

方面级情感分析旨在判断一段文本中特定方面词的情感倾向,其核心问题是方面词的上下文如何准确表征。与现有研究主要关注注意力机制的改进不同,该文从词语表征和上下文编码模型两个方面进行改进。在词语表征方面,通过BERT模型和位置度... 详细信息

方面级情感分析旨在判断一段文本中特定方面词的情感倾向,其核心问题是方面词的上下文如何准确表征。与现有研究主要关注注意力机制的改进不同,该文从词语表征和上下文编码模型两个方面进行改进。在词语表征方面,通过BERT模型和位置度量公式获得增强的词向量表示;在上下文编码模型方面,使用GRU-CNN网络提取文本语义特征。在SemEval2014 Task4数据集上的实验表明,提出的模型在Restaurant和Laptop领域中的准确率分别达到了85.54%和80.35%,证实了所提出模型的有效性。

关键词：方面级情感分析卷积神经网络预训练词向量位置函数注意力机制

面向视网膜血管精细分割的多层级图卷积特征融合神经编解码网络

在线全文

学校读者我要写书评

暂无评论

电子科技大学学报 2024年第3期53卷 404-413页

作者：崔少国张乐迁文浩重庆师范大学计算机与信息科学学院重庆401331

眼底视网膜血管分割可以帮助医生对眼科疾病以及心脑血管疾病进行辅助诊断。然而,由于血管拓扑结构复杂,边界不清晰,分割难度增大。针对这些问题,在U型结构的基础上提出了一种基于图卷积特征融合网络。该网络使用图卷积模块对编码器特... 详细信息

眼底视网膜血管分割可以帮助医生对眼科疾病以及心脑血管疾病进行辅助诊断。然而,由于血管拓扑结构复杂,边界不清晰,分割难度增大。针对这些问题,在U型结构的基础上提出了一种基于图卷积特征融合网络。该网络使用图卷积模块对编码器特征中像素之间的全局上下文信息进行建模,弥补普通卷积缺少全局建模的能力;然后使用多尺度特征融合模块对编码器特征与解码器特征进行融合,减少特征层中噪声信息对分割结果的影响;最后使用多层次特征融合模块将解码器每一层特征融合输出,减少下采样过程中空间信息的缺失以及对深层特征的复用。在公开数据集DRIVE、CHASEDB1以及STARE上进行验证,F1值和AUC值均优于其他两个模型。

关键词：医学图像分割视网膜血管 U型结构图卷积特征融合

基于知识增强对比学习的长尾用户序列推荐算法

在线全文

学校读者我要写书评

暂无评论

通信学报 2024年第6期45卷 210-222页

作者：任永功周平磊张志鹏辽宁师范大学计算机与人工智能学院辽宁大连116029

序列推荐根据目标用户的历史交互序列,预测其可能感兴趣的下一个物品。现有的序列推荐方法虽然可以有效捕获用户的历史交互序列中的长期依赖关系,但是无法为交互序列较短且用户数量庞大的长尾用户提供精确推荐。为了解决此问题,提出了... 详细信息

序列推荐根据目标用户的历史交互序列,预测其可能感兴趣的下一个物品。现有的序列推荐方法虽然可以有效捕获用户的历史交互序列中的长期依赖关系,但是无法为交互序列较短且用户数量庞大的长尾用户提供精确推荐。为了解决此问题,提出了一种基于知识增强对比学习的长尾用户序列推荐算法。首先,基于知识图谱中的丰富实体关系信息,构建一个基于语义的物品相似度度量,分别提取原始序列中物品的协同关联物品。然后,基于不同学习序列提出2种序列增强算子,通过增强自监督信号解决长尾用户序列训练数据不足的问题。最后,通过对比自监督任务和推荐主任务的网络参数共享的联合训练,为长尾用户提供更精确的序列推荐结果。在实际数据集上的实验结果表明,所提算法可以有效提高针对长尾用户的序列推荐精度。

关键词：序列推荐长尾用户知识图谱对比学习