检索结果-南通市图书馆

合作-竞争混合型多智能体系统的虚拟遗憾优势自博弈方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第2期35卷 739-757页

作者：张明悦金芝刘坤西南大学计算机信息科学学院&软件学院重庆400715 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

合作-竞争混合型多智能体系统由受控的目标智能体和不受控的外部智能体组成.目标智能体之间互相合作,同外部智能体展开竞争,应对环境和外部智能体的动态变化,最终完成指定的任务.针对如何训练目标智能体使他们获得完成任务的最优策略的... 详细信息

合作-竞争混合型多智能体系统由受控的目标智能体和不受控的外部智能体组成.目标智能体之间互相合作,同外部智能体展开竞争,应对环境和外部智能体的动态变化,最终完成指定的任务.针对如何训练目标智能体使他们获得完成任务的最优策略的问题,现有工作从两个方面展开:(1)仅关注目标智能体间的合作,将外部智能体视为环境的一部分,利用多智能体强化学习来训练目标智能体.这种方法难以应对外部智能体策略未知或者动态改变的情况;(2)仅关注目标智能体和外部智能体间的竞争,将竞争建模为双人博弈,采用自博弈的方法训练目标智能体.这种方法主要针对单个目标智能体和单个外部智能体的情况,难以扩展到由多个目标智能体和多个外部智能体组成的系统中.结合这两类研究,提出一种基于虚拟遗憾优势的自博弈方法.具体地,首先以虚拟遗憾最小化和虚拟多智能体策略梯度为基础,设计虚拟遗憾优势策略梯度方法,使目标智能体能更准确地更新策略;然后,引入模仿学习,以外部智能体的历史决策轨迹作为示教数据,模仿外部智能体的策略,显式地建模外部智能体的行为,来应对自博弈过程中外部智能体策略的动态变化;最后,以虚拟遗憾优势策略梯度和外部智能体行为建模为基础,设计一种自博弈训练方法,该方法能够在外部智能体策略未知或者动态变化的情况下,为多个目标智能体训练出最优的联合策略.以协同电磁对抗为研究案例,设计具有合作-竞争混合特征的3个典型任务.实验结果表明,同其他方法相比,所提方法在自博弈效果方面有至少78%的提升.

关键词：多智能体强化学习虚拟遗憾最小化自博弈动态决策

在线全文

学校读者我要写书评

暂无评论

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

软件学报 2024年

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

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

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

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

精神障碍患者冲动行为触发点及特点的质性研究分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

心理月刊 2022年第1期 14-15+124页

作者：杜蕊寸金芝王月宾杨林顺熊凌凯大理州精神病医院大理白族自治州第二人民医院

目的研究精神障碍患者冲动行为触发点及特点。方法通过专家访谈、资料分析等方法对精神障碍患者冲动行为的特点、触发点等进行了质性研究。结果精神障碍患者冲动行为是医务人员普遍关注的问题,本研究通过对三级甲等精神专科医院专家进... 详细信息

目的研究精神障碍患者冲动行为触发点及特点。方法通过专家访谈、资料分析等方法对精神障碍患者冲动行为的特点、触发点等进行了质性研究。结果精神障碍患者冲动行为是医务人员普遍关注的问题,本研究通过对三级甲等精神专科医院专家进行访谈,发现其干预应从多个阶段进行。结论精神障碍患者受到刺激和影响时,因为认知异常和自我控制能力降低,更容易产生偏激及冲动的行为。此时,患者的攻击性和破坏性增加,容易对自身和他人构成威胁或带来伤害,甚至对周边环境的安全带来影响。应重视精神障碍患者冲动行为发生前管理,有效控制冲动行为,做好冲动行为后期干预。

关键词：精神障碍冲动行为触发点质性研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

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

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

学位级别：硕士

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

近年来,随着海量视频的涌现与深度学习技术的发展,视频动作识别已成为计算机视觉领域中的重要研究之一,并得到了迅速发展。视频通常包含各种各样的应用场景,而对于特定应用场景下的视频动作识别具有更重要的实际意义。本文基于士兵作战场景下的视频片段展开对单兵动作识别的研究,以更好地辅助进行战术规划。论文的主要创新如下:(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个案例评估证实了验证状态空间的显著减小.本文方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

微电强化赖氏菌去除铀的机理研究

南华大学学报（自然科学版） 2023年第4期37卷 41-50页

作者：彭雷谭文发寸金芝彭科吴寒庞超南华大学资源环境与安全工程学院湖南衡阳421001

采用直流电强化赖氏菌的方式去除水溶液中的铀。通过对比实验组与对照组前后溶液中铀的含量,结合现代检测技术深入探究直流电场对赖氏菌吸附铀的机理。实验结果表明,赖氏菌最佳吸附pH为6,去除率可达99.8%,最大吸附量为49.9 mg/g,较对照... 详细信息

采用直流电强化赖氏菌的方式去除水溶液中的铀。通过对比实验组与对照组前后溶液中铀的含量,结合现代检测技术深入探究直流电场对赖氏菌吸附铀的机理。实验结果表明,赖氏菌最佳吸附pH为6,去除率可达99.8%,最大吸附量为49.9 mg/g,较对照组去除率提高18.49%。准二级动力学更适用于拟合赖氏菌吸附铀的过程,以化学吸附为主。通过现代检测方式进行表征,数据分析结果表明,菌体细胞壁上的C=O、C—O—C、O—C/H、—COOH、—NH_(2)等官能基团是其吸附的主要官能团。

关键词：微电赖氏菌铀酰离子

在线全文

学校读者我要写书评

暂无评论

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

软件学报 2024年

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

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

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

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

含磷化合物生物矿化铀的形态转化与机理

南华大学学报（自然科学版） 2023年第5期37卷 9-14页

作者：寸金芝彭雷庞超吴寒刘迎云谭文发南华大学资源环境与安全工程学院湖南衡阳421001 南华大学土壤污染控制与修复重点实验室湖南衡阳421001

磷元素作为微生物生存生长的必要元素,能有效与铀结合矿化成稳定的U-P沉淀或相应矿物。采用混合细菌介导法,添加含磷化合物处理铀污染地下水-沉积物,探究磷和土著菌相互作用下铀的形态变化及产物稳定性。结果表明:含磷化合物的添加使得... 详细信息

磷元素作为微生物生存生长的必要元素,能有效与铀结合矿化成稳定的U-P沉淀或相应矿物。采用混合细菌介导法,添加含磷化合物处理铀污染地下水-沉积物,探究磷和土著菌相互作用下铀的形态变化及产物稳定性。结果表明:含磷化合物的添加使得溶液中铀去除率高达99.84%;改进连续提取实验得知,沉积物中磷作用后的铀稳定态比例约75%。根据X射线光电子能谱分析和改进连续提取实验结果,细菌可以有效地介导U-P沉淀,含磷化合物可以与六价铀络合形成稳定的沉淀物,结合X射线衍射表明在细菌作用下,磷与铀发生生物矿化可生成Ca-U-P沉淀,实现铀从可转移相到稳定相的转化与固定。

关键词：含磷化合物铀形态土著细菌生物修复