更多




暂无内容
[1] 2002.4-2010.6
南京航空航天大学|计算机应用技术|博士研究生毕业|工学博士学位
[2] 1992.9-1995.3
南京航空航天大学|计算机应用|硕士研究生毕业|工学硕士学位
[3] 1988.9-1992.7
安徽师范大学|计算机专业|大学本科毕业|理学学士学位

[1] 1995.4-至今
 南京航空航天大学 

暂无内容

暂无内容
暂无内容

访问量：本月访问：今日访问量：最后更新时间：--

个人简介：Personal profile
教育经历Education experience
工作经历Work experience
社会兼职Social Affiliations
研究方向Research Direction
其他联系方式Other contact information
团队成员Team Member

---

更多




中文主页 > 科学研究
论文成果
MORE+
王立松. A Message Transmission Method Based on Area Layer Division in UAV Networks
王立松. 比特币平台挖矿策略及其收益综述
王立松. 延迟容忍网络中紧急状态驱动的多摆渡机飞行控制算法
王立松. A safety analysis method for FGS based on STPA
王立松. An extraction method of STPA variable based on four-variable model

著作成果
MOOC+SPOCs+翻转课堂——大学教育教学改革新模式

科研项目
MORE+
基于自然语言的软件需求形式化建模与验证技术研究,DAB, 2019/01/01
海**电子信息系统技术,ACA, 2017/01/01
项目开发,01, 2005/06/16
基于模型的系统工程（MBSE）技术服务,01, 2016/07/10
基于AMI的智能网关及后台系统研发,04, 2014/12/01


访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 研究领域






访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 论文成果
[1]王立松,王立松,王立松等.A Message Transmission Method Based on Area Layer Division in UAV Networks
[2]王立松,王立松,王立松等.比特币平台挖矿策略及其收益综述
[3]王立松,王立松,王立松等.延迟容忍网络中紧急状态驱动的多摆渡机飞行控制算法
[4]王立松,王立松,王立松等.A safety analysis method for FGS based on STPA
[5]王立松,王立松,王立松等.An extraction method of STPA variable based on four-variable model
[6]王立松,王立松,王立松等.一种动态规划下的无人机消息传输路径优化方法
[7]王立松,王立松,王立松等.Privacy-Preserving and Dynamic Spatial Range Aggregation Query Processing in Wireless Sensor Networks
[8]王立松,王立松,王立松等.Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks
[9]王立松,王立松,王立松等.面向计算机实验教学的在线虚拟实验室建设研究
[10]王立松,王立松,王立松等.面向“新工科”建设的非计算机专业计算机基础教学课程体系构建探索

共17条1/2 首页上页下页尾页页



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 专利

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 著作成果
[1] 王立松.MOOC+SPOCs+翻转课堂——大学教育教学改革新模式.高等教育出版社.2019

共1条1/1 首页上页下页尾页



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 科研项目
[1] 基于自然语言的软件需求形式化建模与验证技术研究
[2] 海**电子信息系统技术
[3] 项目开发
[4] 基于模型的系统工程（MBSE）技术服务
[5] 基于AMI的智能网关及后台系统研发
[6] C919综合化航电系统的ICD设计和管理工具的研发
[7] MPC750CPU模块板级支持软件
[8] 面向宽体客机演示论证的显示软件研发
[9] 支持ARINC661的通用协议监视与分析工具
[10] 基于分类培养与素质教育的《操作系统》教学改革

共31条1/4 首页上页下页尾页页



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究
授课信息
计算思维导论 /2020-2021 /春学期 /24课时 /0.0学分 /**.61
操作系统 /2018-2019 /秋学期 /50课时 /0.0学分 /**


访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究 > 教学资源

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究 > 授课信息
本科生课程
课程名称： 学年： 学期： 学时： 学分： 课程号：
计算思维导论 2020-2021 春学期 24 - **.61
操作系统 2018-2019 秋学期 50 - **

访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究 > 教学成果

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 获奖信息

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--