检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

带有并发行为的UML状态机图的形式语义

计算机技术与发展 2024年第5期34卷 87-94页

作者：陈华豪蒋建民谢嘉成陈卓然唐国富成都信息工程大学软件工程学院四川成都610200 软件自动生成与智能服务四川省重点实验室四川成都610200

在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、C... 详细信息

在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、CHAM化学抽象机等作为状态机图的形式语义,但这些语义都是行为语义,并没有从结构上直接形成体现真并发的形式语义。该文提出一种新的模型——统一结构模型作为带有并发行为的UML状态机图的形式语义,该模型不会增加或减少状态机图的任何信息。基于统一结构模型首先定义了状态机图的格局(全局状态),用于表现状态机图的执行过程,并且给出了UML状态机图的格局的转换规则,说明格局如何在状态机图中执行,在此基础上给出了状态机图的可达性算法,然后还对状态机图的死锁等性质进行了介绍,最后开发出一个原型工具,实现了状态机图的可达性分析,并用实例说明了该方法的应用。

关键词：统一建模语言状态机图形式化模型并发行为可达性死锁

在线全文

学校读者我要写书评

暂无评论

非结构化数据表征增强的术后风险预测模型

中文信息学报 2024年第1期38卷 156-165页

作者：王亚强杨潇朱涛郝学超舒红平陈果成都信息工程大学软件工程学院四川成都610225 成都信息工程大学数据科学与工程研究所四川成都610225 成都信息工程大学软件自动生成与智能服务四川省重点实验室四川成都610225 四川大学华西医院麻醉手术中心四川成都621005

准确的术后风险预测对临床资源的规划、应急方案的准备以及患者术后风险和死亡率的降低具有积极的作用。目前,术后风险预测主要基于患者的基本信息、术前的实验室检查及术中的生命体征等结构化数据,蕴含着丰富语义信息的非结构化术前诊... 详细信息

准确的术后风险预测对临床资源的规划、应急方案的准备以及患者术后风险和死亡率的降低具有积极的作用。目前,术后风险预测主要基于患者的基本信息、术前的实验室检查及术中的生命体征等结构化数据,蕴含着丰富语义信息的非结构化术前诊断的价值尚待验证。针对上述问题,该文提出一种非结构化数据表征增强的术后风险预测模型,利用自注意力机制,将结构化数据与术前诊断进行信息加权融合。基于临床数据,该文将所提出的模型与术后风险预测常用的统计机器学习模型以及最新的深度神经网络进行对比,在肺部并发症风险预测、ICU入室风险预测和心血管不良风险预测任务上的F1值平均提升了9.533%,同时预测模型还具有良好的可解释性。

关键词：术后风险预测自注意力机制数据表征信息融合

基于批数据过采样的中医临床记录四诊描述抽取方法

在线全文

学校读者我要写书评

暂无评论

中文信息学报 2024年第2期38卷 121-131页

作者：王亚强李凯伦舒红平蒋永光成都信息工程大学软件工程学院四川成都610225 成都信息工程大学数据科学与工程研究所四川成都610225 成都信息工程大学软件自动生成与智能服务四川省重点实验室四川成都610225 成都中医药大学基础医学院四川成都610500

中医临床记录四诊描述抽取对中医临床辨证论治的提质增效具有重要的应用价值,然而该任务尚有待探索,类别分布不均衡是该任务面临的关键挑战之一。该文围绕中医临床记录四诊描述抽取任务展开研究,首先构建了中医临床四诊描述抽取语料库;... 详细信息

中医临床记录四诊描述抽取对中医临床辨证论治的提质增效具有重要的应用价值,然而该任务尚有待探索,类别分布不均衡是该任务面临的关键挑战之一。该文围绕中医临床记录四诊描述抽取任务展开研究,首先构建了中医临床四诊描述抽取语料库;然后基于无标注的中医临床记录微调通用预训练语言模型实现该模型的领域适应;最后利用小规模标注数据,采用批数据过采样算法,完成中医临床记录四诊描述抽取模型的训练。实验结果表明,该文提出的抽取方法的总体性能均优于对比方法,并且与对比方法的最优结果相比,该文方法将少见类别的抽取性能F1值平均提升了2.13%。

关键词：中医临床记录四诊描述抽取类别分布不均衡批数据过采样

基于VMD-EWT-QWLSTM-TPE深度学习模型的超短时物流需求多步预测

在线全文

学校读者我要写书评

暂无评论

控制与决策 2024年第6期39卷 1859-1868页

作者：杨新彪陈彦如秦娟冉茂亮西南交通大学经济管理学院成都610031 服务科学与创新四川省重点实验室成都610031

超短时物流需求预测是企业物流资源智能调度的重要基础,然而,超短时物流需求数据具有强随机性、高波动性、非平稳性等特征,进行多步精确预测较为困难.基于此,构建基于串行数据分解和量子加权深度网络的超短时物流需求多步预测模型.首先... 详细信息

超短时物流需求预测是企业物流资源智能调度的重要基础,然而,超短时物流需求数据具有强随机性、高波动性、非平稳性等特征,进行多步精确预测较为困难.基于此,构建基于串行数据分解和量子加权深度网络的超短时物流需求多步预测模型.首先,通过变分模态分解(VMD)和经验小波变换(EWT)的串行分解方法对超短时物流需求数据的时序特征进行有效提取,以剥离噪声信号,降低原始数据的非平稳性和随机性;然后,构建量子加权长短期记忆神经网络(QWLSTM)深度学习模型,设计多输入多输出策略对分解后的模态分量进行多步预测,并基于树形Parzen评估器(TPE)对QWLSTM的超参数组进行优化;最后,对各模态分量的预测结果进行重构.实验结果表明,所提出模型在平均绝对值误差(MAE)、均方误差(MSE)、加权平均绝对百分比误差(WMAPE)、校正决定系数(R2)方面,均优于其他15种对比模型.

关键词：超短时物流需求多步预测串行数据分解量子加权深度学习模型 TPE参数优化

在线全文

学校读者我要写书评

暂无评论

基于移动端的方药离合实训平台设计与实现

现代电子技术 2024年第16期47卷 58-68页

作者：魏培阳费宇彤高琳章杰董广通李志斌成都信息工程大学软件工程学院四川成都610225 重庆邮电大学计算机科学与技术学院重庆400065 软件自动生成与智能服务四川省重点实验室四川成都610225 北京中医药大学中医学院北京100029

针对中医药高等院校学生在学习方剂学过程中存在的知识点众多、识记量大、兴趣度不高和日常练习困难等问题,通过调研分析,设计一种基于Unity仿真技术的移动端方剂学方药离合实训平台。该平台前端主要采用Unity框架构建功能模块,选取JWT... 详细信息

针对中医药高等院校学生在学习方剂学过程中存在的知识点众多、识记量大、兴趣度不高和日常练习困难等问题,通过调研分析,设计一种基于Unity仿真技术的移动端方剂学方药离合实训平台。该平台前端主要采用Unity框架构建功能模块,选取JWT进行轻量级身份验证,并应用RBAC思想实现权限管理;后端业务逻辑在使用SpringBoot框架的基础上,通过Java语言编写。为了保证系统响应速度及交互效果,融合MySQL、Redis、ElasticSearch三种体系架构的优点,构建了一套性能高效且便于移植的数据库机制。所设计平台实现了知识点内容学习、笔记收藏、错题集、方剂分类练习、用户在线PK、积分排行榜等功能。经过中医药相关专业学生的验证及使用,验证了该平台能够有效地利用碎片化时间,随时随地学习和测试用户对于方剂学知识的掌握情况,达到了提高自身学习效率的目的。

关键词： Unity 方药离合移动端APP 协程 UI适配数据库机制可视化界面

基于特征差异增强的工程装备知识跨项目多源域迁移学习研究

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2024年第3期44卷 1097-1113页

作者：徐进赵慧祺张泽慧刘盾西南交通大学经济管理学院成都610000 西南交通大学服务科学与创新四川省重点实验室成都610031

工程装备智能化是发展智能建造的重要基础,项目知识是工程装备智能化的知识源泉,因此,工程装备知识跨项目的有效共享与利用是实现智能建造的重要环节.为了增强工程装备知识的跨项目利用效率与效果,本文提出了一种基于特征差异增强的多... 详细信息

工程装备智能化是发展智能建造的重要基础,项目知识是工程装备智能化的知识源泉,因此,工程装备知识跨项目的有效共享与利用是实现智能建造的重要环节.为了增强工程装备知识的跨项目利用效率与效果,本文提出了一种基于特征差异增强的多源域迁移学习框架.该框架利用混合深度神经网络提取源项目的通用时空特征表示,基于项目相似度度量筛选可迁移源项目,通过所设计的特征差异增强方法挖掘多源域的域特殊特征表示并进行集成,在避免负迁移的同时实现工程装备知识的跨项目有效转移.本文使用多个隧道工程项目的数据进行了实验,在六个盾构设备姿态预测知识转移任务的两个预测目标上,该框架相较于基线模型的预测准确性平均提升度分别为86.48%、117.01%,并具有良好的稳健性和情景适应性.实验结果表明:本文所设计的新框架可以挖掘多个源域项目的特性知识并整合其共性知识,通过集成多源域迁移学习的知识来提高知识利用率,为大型工程装备知识的跨项目转移提供了有效的方法和工具,有助于提升施工项目的知识管理与智能建造水平.

关键词：工程项目项目知识转移工程装备知识多源域迁移学习深度学习

基于实时同步和全文搜索技术的方剂学多维实训平台

在线全文

学校读者我要写书评

暂无评论

现代电子技术 2024年第2期47卷 67-73页

作者：魏培阳史晓雨周杰三邢晓方梁佳豪刘洋重庆邮电大学计算机科学与技术学院重庆400065 成都信息工程大学软件工程学院四川成都610225 中国科学院重庆绿色智能技术研究院重庆400714 软件自动生成与智能服务四川省重点实验室四川成都610225 获嘉县史庄镇高庙小学河南新乡453800

针对中医方剂学存在的数据量大、类型多样、学习识记困难等问题,提出一种改进的基于实时同步和全文搜索算法的方剂学多维实训平台(MTPF)。分析MTPF系统需求并搭建基础框架,采用Canal同步数据和ElasticSearch提供全文搜索服务,以保证业... 详细信息

针对中医方剂学存在的数据量大、类型多样、学习识记困难等问题,提出一种改进的基于实时同步和全文搜索算法的方剂学多维实训平台(MTPF)。分析MTPF系统需求并搭建基础框架,采用Canal同步数据和ElasticSearch提供全文搜索服务,以保证业务应用的效率和性能;结合MTPF业务领域问题,提出针对具体业务的可配置和过滤的同步算法,构建面向搜索的自定义分词词典优化算法。通过系统应用及对比实验,验证了改进算法能够满足MTPF的需求;通过与其他框架的对比实验,证明了改进算法在同步时延、资源消耗、搜索速度等方面均取得了良好的效果,保障了业务数据信息在传输、存储、同步、搜索等环节的性能。

关键词：方剂学多维实训平台实时同步全文搜索 ElasticSearch Canal Redis MySQL

支持等式测试及密码逆向防火墙的SM9标识加密方案

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第4期61卷 1070-1084页

作者：熊虎林烨姚婷电子科技大学信息与软件工程学院成都610054 网络与数据安全四川省重点实验室(电子科技大学) 成都610054

支持等式测试的标识加密(identity-based encryption with equality test, IBEET)体制解决了传统等式测试方案中证书管理的问题,得到了广泛的关注.但现有的IBEET体制难以抵抗渗透攻击,且都是基于国外密码算法设计,不具有自主知识产权.... 详细信息

支持等式测试的标识加密(identity-based encryption with equality test, IBEET)体制解决了传统等式测试方案中证书管理的问题,得到了广泛的关注.但现有的IBEET体制难以抵抗渗透攻击,且都是基于国外密码算法设计,不具有自主知识产权.基于此,提出一种支持等式测试并具有密码逆向防火墙的SM9标识加密方案(SM9 identity-based encryption scheme with equality test and cryptographic reverse firewalls, SM9-IBEET-CRF).该方案在用户与云服务器的上行信道间部署密码逆向防火墙(cryptographic reverse firewalls,CRF),对用户发出的信息执行重随机化以达到抵抗渗透攻击的作用.该方案拓展国密算法SM9至IBEET领域中,提升其运行效率并丰富国密算法在云计算领域的研究.给出了SM9-IBEET-CRF的形式化定义和安全模型,并在随机预言机模型中考虑2种不同的敌手将此方案在选择密文攻击下的不可区分性与单向性分别形式化地规约到BDH困难假设上.同时,该方案通过考虑第3种敌手证明CRF的部署为其带来维持功能性、保留安全性以及抵抗渗透性.实验仿真和分析结果展示了该方案的有效性.

关键词： SM9 等式测试密码逆向防火墙标识加密渗透攻击

在线全文

学校读者我要写书评

暂无评论

基于记忆交互网络的方面情感分析

计算机应用与软件 2024年第2期41卷 188-194,237页

作者：胡潇涛李栋宋弘徐海燕四川轻化工大学自动化与信息工程学院四川宜宾644000 人工智能四川省重点实验室四川宜宾644000

目前大多数方面级情感分析的解决方案是基于显示方面词嵌入及其位置加权展开的,但在隐式方面词及长文本场景下这类方法不再适用。为此,提出记忆交互网络。将长文本拆分为多个短句,构造多[CLS]的输入结构,从BERT中获取方面短语向量、各... 详细信息

目前大多数方面级情感分析的解决方案是基于显示方面词嵌入及其位置加权展开的,但在隐式方面词及长文本场景下这类方法不再适用。为此,提出记忆交互网络。将长文本拆分为多个短句,构造多[CLS]的输入结构,从BERT中获取方面短语向量、各短句向量以及各短句的[CLS]向量。经过多次注意力交互,得到深层的情感分类特征。最终该模型的F1-Macro达到了70.40%,各类别的F1值均高于其他模型。

关键词：记忆交互网络方面情感分析 BERT