王立松

作品数：79被引量：267H指数：7
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：软件产品计算机网络工科操作系统形式化方法更多>>
发文领域：自动化与计算机技术文化科学经济管理航空宇航科学技术更多>>
发文期刊：《软件学报》《连云港师范高等专科学校学报》《计算机工程》《计算机仿真》更多>>
所获基金：国家重点基础研究发展计划国家自然科学基金中国航空科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机载软件层次化需求的形式化建模与分析
《南京航空航天大学学报(自然科学版)》2025年第1期195-204,共10页王康星 胡军 王立松 丁鼎 董亚炯 戴嘉磊 
国家自然科学基金(U2241216)。
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica...
关键词：计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统 
一种SysML到SLIM模型的自动构造方法
《小型微型计算机系统》2024年第9期2235-2243,共9页郭沣慧 胡军 王立松 肖曦 谷青范 
国家自然科学基金的“叶企孙”联合基金重点项目(U2241216)资助.
近年来,基于模型的安全性分析(MBSA)是复杂系统建模与分析领域备受关注的分析方法.由于系统架构建模语言SysML缺少形式化的语义语法,不支持MBSA方法,而SLIM语言具备形式化语义和语法,支持安全性分析,所以本文提出了一种基于ATL(ATLAS Tr...
关键词：SYSML SLIM 模型转换 ATL 
基于深度强化学习的四旋翼无人机自主控制方法被引量：5
《计算机科学》2023年第S02期1-7,共7页梁吉 王立松 黄昱洲 秦小麟 
国家自然科学基金(61972198)。
随着无人机的广泛应用,无人机控制器的设计成为近年来广泛研究的热点。当前无人机中广泛使用的PID,MPC等控制算法受到参数难调节、模型构建复杂、计算量大等一系列因素的制约。针对上述问题,提出了一种基于深度强化学习的无人机自主控...
关键词：强化学习 四旋翼无人机 自主控制 专家策略 
自动飞行模式转换逻辑的形式化建模与验证被引量：1
《南京航空航天大学学报》2023年第5期768-779,共12页李俊安 胡军 王立松 黄志球 蔡鑫 
国家自然科学基金(U2241216)。
自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模...
关键词：计算机软件与理论 飞行制导控制系统 基于模型的安全性分析 模型检测 安全关键系统 
一种结构关系一致的对比聚类方法被引量：1
《计算机科学》2023年第9期123-129,共7页许洁 王立松 
基础加强计划重点项目(2019JCJQZD33800)。
作为一项基本的无监督学习任务,聚类旨在将无标签的、混杂的图像数据划分成语义相似的类。最近的一些方法通过引入数据增强,利用对比学习方法学习特征表示和聚类分配,关注模型区分不同语义类的能力,可能导致来自同一语义类样本的特征嵌...
关键词：无监督学习 聚类 对比学习 数据增强 过度聚类 
一种文本-图像增强的多模态知识图谱嵌入方法被引量：3
《计算机科学》2023年第8期163-169,共7页肖桂阳 王立松 江国华 
基础加强计划重点项目(2019JCJQZD33800)。
大多传统的知识表示学习方法只关注三元组中的结构化信息,无法很好地利用实体图像、关系路径、文本描述等附加信息来学习知识表示或只融合一种附加信息。因此,提出同时融合实体描述和图像的多模态知识图谱嵌入方法,通过文本、图像相互增...
关键词：知识表示学习 实体描述 实体图像 Text-CNN 联合训练 
面向多机器人系统的元组空间协同模型
《计算机与现代化》2023年第8期98-106,共9页申诗凡 王立松 王鑫梦 秦小麟 
国家自然科学基金资助项目(61728204)。
在多机器人协同领域,传统的协同模型虽然解决了协同实体间的信息交互、共享和通信问题,但复杂多变的协同环境所需要的决策机制并没有在模型层得到支持,只能通过应用程序来实现,导致协同系统开发困难并影响协同决策过程的执行效率。针对...
关键词：多机器人系统 协同模型 元组空间 事件 
基于多核CPU的无锁并行Semi-naive算法被引量：1
《计算机科学》2023年第6期29-35,共7页喻婷 王立松 秦小麟 
国家自然科学基金(61802182)。
Datalog系统被广泛应用于很多领域,如图数据库、网络和静态程序分析等。在处理海量数据时,基于串行的Datalog求解策略无法充分发挥现有多核处理器的计算性能。针对上述问题,提出一种基于多核CPU的无锁并行Semi-naive算法(Parallel Semi-...
关键词：DATALOG Semi-naive算法 并行 递归规则 负载均衡 
一种基于深度强化学习的无人小车双层路径规划方法被引量：4
《计算机科学》2023年第1期194-204,共11页黄昱洲 王立松 秦小麟 
国家自然科学基金(61728204)。
随着智能无人小车的广泛应用,智能化导航、路径规划和避障技术成为了重要的研究内容。文中提出了基于无模型的DDPG和SAC深度强化学习算法,利用环境信息循迹至目标点,躲避静态与动态的障碍物并且使其普适于不同环境。通过全局规划和局部...
关键词：无人小车 避障 路径规划 深度强化学习 
一个机载软件需求形式化建模与分析实例研究被引量：3
《软件学报》2022年第5期1652-1673,共22页胡军 吕佳润 王立松 康介祥 王辉 高忠杰 
工信部民机专项项目(DAB1900501)。
现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分...
关键词：机载软件形式化建模 变量关系模型 自然语言需求建模 形式化方法 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部