检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于路径语义表示的静态警报自动确认方法

软件学报 2024年第10期35卷 4662-4680页

作者：张俞炜邢颖李戈金芝北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京邮电大学人工智能学院北京100876

尽管静态分析工具能够在软件开发生命周期的早期阶段帮助开发人员检测软件中的潜在缺陷,但该类工具往往存在警报假阳性率高的问题.为了提高该类工具的可用性,研究人员提出许多警报确认技术来对假阳性警报进行自动分类.然而,已有方法集... 详细信息

尽管静态分析工具能够在软件开发生命周期的早期阶段帮助开发人员检测软件中的潜在缺陷,但该类工具往往存在警报假阳性率高的问题.为了提高该类工具的可用性,研究人员提出许多警报确认技术来对假阳性警报进行自动分类.然而,已有方法集中于利用手工设计的特征或语句级的抽象语法树标记序列来表示缺陷代码,难以从报告的警报中捕获语义.为了克服传统方法的局限性,利用深度神经网络强大的特征抽取和表示能力从控制流图路径中学习代码语义表征用于警报确认.控制流图是程序的执行过程抽象表示,因此控制流图路径序列能够引导模型更精确地学习与潜在缺陷相关的语义信息.通过微调预训练语言模型对路径序列进行编码并从中捕捉语义特征用于模型构建.最后在8个开源项目上与最先进的基线方法进行大量对比实验验证所提方法的有效性.

关键词：警报自动确认路径分析深度学习预训练语言模型

在线全文

学校读者我要写书评

暂无评论

嵌入式系统的需求描述综述

软件学报 2024年

作者：陈小红刘少彬金芝北京大学计算机学院上海市高可信计算重点实验室(华东师范大学) 高可信软件技术教育部重点实验室(北京大学)

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 详细信息

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.

关键词：嵌入式系统需求描述需求描述语言需求分析系统需求

六字诀训练对卒中后构音障碍患者构音器官运动和发声的疗效观察

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

六字诀训练对卒中后构音障碍患者构音器官运动和发声的疗效观察

作者：代金芝长春中医药大学

学位级别：硕士

目的:通过六字诀训练配合基础构音训练治疗卒中后构音障碍的患者,观察干预前后患者的构音器官运动、发声功能的疗效,为传统中医疗法联合西医训练能够更加广泛的应用于临床康复护理提供更多的理论支持。方法:本研究选取2022年10月—2023... 详细信息

目的:通过六字诀训练配合基础构音训练治疗卒中后构音障碍的患者,观察干预前后患者的构音器官运动、发声功能的疗效,为传统中医疗法联合西医训练能够更加广泛的应用于临床康复护理提供更多的理论支持。方法:本研究选取2022年10月—2023年10月在长春市某三级医院脑病中心住院并接受治疗的脑卒中后构音障碍患者70例为研究对象。依照随机分组法,将70例患者分为对照组和干预组,每组各35例。对照组给予基础构音训练和常规护理,干预组在其基础上施加六字诀训练。评价两组患者在干预前、出院时、院外两周的Frenchay构音障碍、最长发声时间（MPT）、平静交流的最大发声响度的得分情况。采用统计学软件SPSS25.0进行数据分析,以P0.05）。（2）Frenchay构音障碍评价:对患者在干预前、出院时和院外两周进行重复测量方差分析可得:反射功能得分具有明显的时间效应(F时间=324.438,P<0.001)、交互效应(F交互=3.707,P=0.027)和组间效应(F组间=5.237,P=0.026);呼吸功能得分具有显著的时间效应(F时间=149.882,P<0.001)、交互效应(F交互=4.887,P=0.009)和组间效应(F组间=41.414,P<0.001);唇功能得分具有明显的时间效应(F时间=135.177,P<0.001)、交互效应(F交互=7.235,P=0.002)和组间效应(F组间=13.295,P<0.001);下颌功能得分具有明显的时间效应(F时间=279.28,P<0.001)、交互效应(F交互=4.084,P=0.019)和组间效应(F组间=11.893,P=0.001);软腭功能得分具有明显的时间效应(F时间=96.535,P<0.001)和组间效应(F组间=11.156,P=0.001),而软腭运动的交互效应不显著(F交互=0.18,P=0.82);喉功能得分具有明显的时间效应(F时间=309.849,P<0.001)、交互效应(F交互=7.202,P=0.001)和组间效应(F组间=5.581,P=0.021);舌功能得分具有明显的时间效应(F时间=112.238,P<0.001)和组间效应(F组间=7.778,P=0.007),而交互效应(F交互=2.376,P=0.106)不显著;言语功能得分具有明显的时间效应(F时间=299.012,P<0.001)、交互效应(F交互=4.444,P=0.014)和组间效应(F组间=8.716,P=0.004)。（3）最长发声时间测试（MPT）:对患者在干预前、出院时和院外两周进行重复测量方差分析可得:最长发声时间得分具有明显的时间效应(F时间=109.836,P<0.001)、交互效应(F交互=4.494,P=0.013)和组间效应(F组间=4.468,P=0.039)。（4）平静交流时最大发声响度:对患者在干预前、出院时和院外两周进行重复测量方差分析可得:最大发声响度得分具有明显的时间效应(F时间=322.598,P<0.001)、交互效应(F交互=5.275,P=0.006)和组间效应(F组间=12.667,P=0.001)。结论:1.在基础构音训练的基础上结合六字诀训练对于改善患者的构音器官运动疗效更加明显。2.在基础构音训练的基础上结合六字诀训练能够延长患者的发声时长、提高发声响度,促进言语发声功能的恢复。3.六字诀训练可改善卒中后构音障碍患者的构音器官运动功能和言语发声情况。且六字诀训练疗法与基础构音训练均安全有效,二者结合疗效更佳,值得临床深入研究和探讨。

关键词：脑卒中构音障碍六字诀训练言语训练构音器官运动

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于图卷积与规则匹配的单兵动作识别方法

基于图卷积与规则匹配的单兵动作识别方法

作者：冯金芝北方工业大学

学位级别：硕士

近年来,随着海量视频的涌现与深度学习技术的发展,视频动作识别已成为计算机视觉领域中的重要研究之一,并得到了迅速发展。视频通常包含各种各样的应用场景,而对于特定应用场景下的视频动作识别具有更重要的实际意义。本文基于士兵作战... 详细信息

近年来,随着海量视频的涌现与深度学习技术的发展,视频动作识别已成为计算机视觉领域中的重要研究之一,并得到了迅速发展。视频通常包含各种各样的应用场景,而对于特定应用场景下的视频动作识别具有更重要的实际意义。本文基于士兵作战场景下的视频片段展开对单兵动作识别的研究,以更好地辅助进行战术规划。论文的主要创新如下:(1)针对图卷积动作识别中由于骨架数据缺乏语义信息的支持导致的动作识别精度不高的问题,提出了一种基于语义分析与图卷积网络的单兵动作识别方法。首先在视频序列预处理时将士兵动作数据分为骨骼数据和RGB图像数据两部分。其次将骨骼数据送入到图卷积网络中进行关节点和骨骼边动态特征提取,同时,将RGB图像数据送入到YOLOv8网络中进行士兵手持物体的特征提取。此外,将通道注意力机制引入到网络中,在增加少量参数的情况下更加有效地利用特征图之间的相关性,增强模型的表征能力。最后将各部分特征信息进行融合,完成单兵动作识别。为了证明该单兵动作识别方法的有效性,创建了一个士兵作战场景基本士兵行为视频数据集。在该数据集上设计对比试验,通过与其它图卷积网络动作识别方法进行比较,实验结果表明,本文方法能够增加对单兵动作的理解且能够提高算法的准确率。(2)针对骨骼数据提取不全出现动作识别准确率不高问题,提出了一种基于规则匹配的单兵动作识别方法。首先,将视频数据按照间隔解码,通过Open Pose姿态估计算法获取25个骨骼关键点位置;然后,与根据动作特征构建的关节点空间位置关系规则进行匹配,确定动作所属分类。此外,考虑到一些视频由于距离、角度、像素、光照等因素,很难通过Open Pose提取到视频中士兵的骨骼数据或骨骼数据只能提取到少部分,采用动态调整输入数据的策略,将输入数据调整为RGB图像,通过YOLOv8提取图像中单兵动作特征。为了验证本文方法的有效性,将本文方法与其他动作识别方法进行对比。实验结果表明,本文的动作识别方法相比其他方法有较好的识别效果,提高了识别准确率。

关键词：骨骼数据语义分析 YOLOv8 规则匹配动作识别

维持性血液透析患者骨质疏松的相关危险因素分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

维持性血液透析患者骨质疏松的相关危险因素分析

作者：李金芝南昌大学

学位级别：硕士

ChatModeler:基于大语言模型的人机协作迭代式需求获取和建模方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第2期61卷 338-350页

作者：靳东明金芝陈小红王春晖北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 上海高可信计算重点实验室(华东师范大学) 上海200050 内蒙古师范大学计算机科学与技术学院内蒙古010011

需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建... 详细信息

需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建模的效率有着重要意义.现有工作中有的使用知识库来提供更多知识,以辅助获取或者建模,有的利用自然语言处理等技术对获取或者建模过程进行自动化,但是它们并没有减轻需求提供者的负担.利用大语言模型(large language models,LLMs)的生成能力,提供了一种人机协作的迭代式需求获取和建模框架ChatModeler.具体来说,根据真实世界中需求团队的分工及协作关系,将部分需求提供者、需求分析师等角色的工作由大语言模型承担,而需求提供者只需要进行确认.为大语言模型扮演的各种角色进行了提示词设计,该提示词会随需求的元模型而变化.ChatModeler在7个需求案例上与3种需求模型的自动建模方法进行了14组对比实验,证明了ChatModeler在降低需求提供者的负担和生成高质量需求模型2个方面上的优越性.

关键词：需求工程需求诱导大语言模型人机协作提示工程

在线全文

学校读者我要写书评

暂无评论

复杂嵌入式系统需求一致性的组合验证方法

软件学报 2024年

作者：杨晓王小齐陈小红金芝华东师范大学上海高可信计算重点实验室高可信软件技术教育部重点实验室(北京大学) 北京大学计算机学院

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,本文提出了一种... 详细信息

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,本文提出了一种复杂嵌入式系统需求一致性的组合验证方法.它基于需求分解,识别需求间的依赖关系,通过这些依赖关系组装验证子系统,从而实现对复杂嵌入式系统需求的组合验证,并能初步定位到不一致的需求.具体而言,我们采用问题框架方法对需求进行建模和分解,并预设领域设备知识库对设备的物理特性进行建模.在验证子系统的组装过程中,我们生成预期软件的行为模型,并结合物理设备的模型进行动态组装.最后,我们采用航空领域机载侦查系统进行了实例研究,验证了本文方法的可行性和有效性,并通过5个案例评估证实了验证状态空间的显著减小.本文方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.

关键词：复杂嵌入式系统需求一致性组合验证

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于投影的嵌入式系统需求分析方法

软件学报 2024年

作者：王小齐陈小红金芝顾斌綦艳霞高可信软件技术教育部重点实验室(北京大学) 上海高可信计算重点实验室(华东师范大学) 北京控制工程研究所北京大学计算机学院

嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发... 详细信息

嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发,针对嵌入式软件系统的特征,提出一种基于投影的从系统需求到软件需求的分析方法,帮助需求工程师对需求进行有效解耦.首先总结嵌入式软件系统的系统需求与软件需求描述,基于交互环境特性定义嵌入式软件系统的需求解耦策略,并设计从系统需求到软件需求的规约过程.在航天器太阳搜索系统进行实际案例研究,并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估,展示所提方法的有效性.

关键词：嵌入式系统需求分析需求解耦问题投影软件需求

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

抗菌脂肽在断奶仔猪养殖中的应用

中国畜牧业 2024年第1期 48-49页

作者：纪金芝山东省昌邑市柳疃镇畜牧兽医服务站

抗生素在畜牧业中广泛使用,可用于预防和治疗动物疾病,促进生长。但过度使用抗生素会提高微生物耐药性,这使得一些疾病难以治愈。其次,兽药中的抗生素会进入畜产品(如肉、蛋、奶),如果人类食用这些含有抗生素的畜产品也可能对人体健康... 详细信息

抗生素在畜牧业中广泛使用,可用于预防和治疗动物疾病,促进生长。但过度使用抗生素会提高微生物耐药性,这使得一些疾病难以治愈。其次,兽药中的抗生素会进入畜产品(如肉、蛋、奶),如果人类食用这些含有抗生素的畜产品也可能对人体健康造成影响。饲用抗生素替代品的研究一直是畜禽养殖领域的热点问题之一,目前主要的饲用抗生素替代品包括益生菌、益生元、酸化剂、中草药饲料添加剂、酶制剂和抗菌脂肽等。

关键词：饲用抗生素动物疾病畜产品酸化剂人体健康微生物耐药性畜禽养殖替代品