研究领域

• 智能航空计算系统及其安全性、智能航空大数据技术、形式化方法及其航空计算系统验证技术、系统软件

论文成果

More>>

• .A multi-clustering method based on evolutionary multiobjective optimization with grid decomposition.[J]:Swarm and Evolutionary Computation
• .An Energy-balanced Path Planning Algorithm for Multiple Ferrying UAVs Based on GA.[J]:International Journal of Aerospace Engineering
• 王立松,王立松,朱霏霏.A Message Transmission Method Based on Area Layer Division in UAV Networks:International Journal of Aerospace Engineering,2019
• 王立松,王立松,Hu, Zhenhai,刘亮.Privacy-Preserving and Dynamic Spatial Range Aggregation Query Processing in Wireless Sensor Networks:Lect. Notes Comput. Sci.,2019
• 王立松,王立松,Chen, Miaofang,朱.Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE:INTERNATIONAL JOURNAL OF AEROSPACE ENGINEERING,2018
• 王立松,王立松,Wang, Yuanyuan,朱,周瑛.Modeling and Analysis of IMA Inter-partition Communication Safety Requirement Based on STPA:PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017),2017
• 王立松,王立松,Li, Sijie,魏欧,Huang, Mingyu,朱.An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking:IEEE ACCESS,2018
• 王立松,王立松,张小亮,刘亮.延迟容忍网络中紧急状态驱动的多摆渡机飞行控制算法:小型微型计算机系统,2019
• 王立松,王立松,Feng, Tao,朱,Chen, Miaofang.A safety analysis method for FGS based on STPA:Adv. Intell. Sys. Comput.,2019
• 王立松,王立松,Chen, Miaofang,朱,Feng, Tao.An extraction method of STPA variable based on four-variable model:Adv. Intell. Sys. Comput.,2019

专利

暂无内容

著作成果

• 王立松,MOOC+SPOCs+翻转课堂——大学教育教学改革新模式[专著],高等教育出版社,2019

科研项目

暂无内容