王以松

作品数:37被引量:61H指数:5
导出分析报告
供职机构:贵州大学更多>>
发文主题:逻辑程序卷积神经网络英文人工智能斗地主更多>>
发文领域:自动化与计算机技术理学文化科学自然科学总论更多>>
发文期刊:《黑龙江高教研究》《智能计算机与应用》《计算机科学与探索》《计量与测试技术》更多>>
所获基金:国家自然科学基金贵州省教育厅自然科学研究项目贵州省自然科学基金贵州省优秀科技教育人才省长资金项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种基于强化学习的三国杀多智能体博弈方法
《计算机仿真》2024年第7期484-490,共7页骆芙蓉 王以松 秦进 于小民 
国家自科学基金项目(U1836205)。
深度强化学习在处理序列决策与策略探索问题上取得了很大的成功,大多从游戏中展开研究获得启发,其应用领域从单智能体场景扩展到多智能体场景中。基于纸牌的多人对战策略游戏是一种多智能体系统,但现有研究较少,且大多都来自于斗地主、...
关键词:深度强化学习 多智能体 三国杀游戏环境 合作对抗 
基于ECC的物联网三因素双向认证协议
《智能计算机与应用》2024年第6期27-34,共8页何耀 王以松 张辉 
国家自然科学基金(U1836205,61976065);2022年度贵州财经大学引进人才科研启动项目(2022YJ007);贵州省科技计划项目(黔科合支撑[2023]一般372);贵州省教育厅2023年度贵州省高校科学研究项目(黔教技[2023]063号)。
为解决物联网中用户和服务器双方认证过程中存在的隐私泄露、非法攻击等安全问题,提出一种基于ECC的物联网三因素双向认证协议。首先,使用ECC算法和Hash函数将用户密码、生物特征和智能卡三者结合生成三因素认证码,以提高系统安全性并...
关键词:ECC算法 生物特征 智能卡 三因素双向认证 
云资源调度的回答集程序描述性求解
《广西师范大学学报(自然科学版)》2024年第2期94-104,共11页王卫舵 王以松 杨磊 
国家自然科学基金(61976065)。
针对求解难度为NP完全的基础设施即服务(IaaS)模式云资源调度问题,本文提出一种基于回答集程序(ASP)的描述性优化求解方法,并对其正确性进行分析。首先,把满足虚拟机CPU使用的情况下关闭尽可能多的主机做为减少云平台能耗的方法,将云资...
关键词:回答集程序 云资源调度 多目标优化 约束满足问题 能耗 
命题知识库演化中的新知识特征
《贵州大学学报(自然科学版)》2024年第1期1-19,共19页王以松 刘蕻 张颖 张明义 李丹宁 杨佳佳 
国家自然科学基金资助项目(62376066,61976065,61370161)
逻辑差概念在表征基于逻辑的知识库中起到重要作用,这些知识库持续受到动态变化的影响,它们之间存在实质性差异。这一概念与遗忘密切相关,它在各种逻辑中得到了广泛探讨。针对命题理论的相关符号,提出了3种差概念——逻辑差异、子句差...
关键词:逻辑差 子句差 素子句差 计算复杂性 相变 知识管理 
基于多尺度阶梯时频Conformer GAN的语音增强算法被引量:4
《计算机应用》2023年第11期3607-3615,共9页金玉堂 王以松 王丽会 赵鹏利 
国家自然科学基金资助项目(U1836205)。
针对频率域语音增强算法中因相位混乱产生人工伪影,导致去噪性能受限、语音质量不高的问题,提出一种基于多尺度阶梯型时频Conformer生成对抗网络(MSLTF-CMGAN)的语音增强算法。将语音语谱图的实部、虚部和振幅谱作为输入,生成器首先在...
关键词:语音增强 多尺度 CONFORMER 生成对抗网络 指标判别器 深度学习 
汽车油罐车容积表计算软件的实现
《计量与测试技术》2023年第8期62-65,69,共5页杨卓群 王以松 何兵 闵世俊 
本文依据JJG133-2016《汽车油罐车容量检定规程》,介绍了设计方案及主要模块的功能及运行效果,采用C#语言,实现汽车油罐车容积表计算软件;利用数学软件MathCAD验证,对加注高度范围内任意高度的容积进行数值计算并比较;将软件的绘图模块...
关键词:汽车油罐车 三次均匀B样条插值 容积表 C# MATHCAD 
HOG特征值的笔迹鉴定算法
《智能计算机与应用》2023年第2期161-164,共4页杨东 王以松 
机器学习作为人工智能的一个分支,在工程实践中已经产生了较大的经济价值和科技价值。机器学习创建基于样本的数学模型,通过训练预测或者作出决策解决人工智能中的问题。支持向量机是按监督学习方式对数据进行二元分类的广义线性分类器...
关键词:机器学习 支持向量机 笔迹鉴定 HOG特征 
析取回答集程序设计结构化测试方法被引量:1
《计算机应用》2023年第1期215-220,共6页杨东 王以松 
国家自然科学基金资助项目(61976065)。
针对析取回答集程序的结构化测试基础理论匮乏的问题,系统化地提出析取回答集程序结构化测试覆盖的概念。首先,定义针对析取回答集程序的测试用例,确立析取回答集程序的主要测试实体为程序中的逻辑规则;其次,通过对规则的头、规则的体...
关键词:回答集程序设计 测试理论 析取回答集程序 结构化测试方法 覆盖 
基于BERT和联合学习的裁判文书命名实体识别被引量:7
《计算机应用》2022年第10期3011-3017,共7页曾兰兰 王以松 陈攀峰 
国家自然科学基金资助项目(U1836205)。
正确识别裁判文书中的实体是构建法律知识图谱和实现智慧法院的重要基础。然而常用的命名实体识别(NER)模型并不能很好地解决裁判文书中的多义词表示和实体边界识别错误的问题。为了有效提升裁判文书中各类实体的识别效果,提出了一种基...
关键词:裁判文书 双向长短期记忆网络 BERT 联合学习 命名实体识别 
优化计算slater投票获胜者的Picat方法
《计算机应用研究》2022年第8期2268-2272,共5页敖欢 王以松 冯仁艳 邓周灰 仝天乐 
国家自然科学基金资助项目(61976065,U1836205)。
slater投票规则是基于锦标赛的投票规则,主要是通过构造无环锦标赛,找到与原锦标赛差异最小的一个,从中选出获胜者。针对求解难度为NP难的slater投票算法,提出了一种基于相似候选项集的优化求解slater问题的Picat方法。相比于非优化求解...
关键词:slater投票问题 NP难问题 约束满足问题 Picat程序设计 锦标赛 线性序列 
检索报告 对象比较 聚类工具 使用帮助 返回顶部