动态模型驱动的模块化航空炸弹系统验证框架

doi:10.16182/j.issn1004731x.joss.25-0270

系统仿真学报 ›› 2026, Vol. 38 ›› Issue (4): 1106-1118.doi: 10.16182/j.issn1004731x.joss.25-0270

动态模型驱动的模块化航空炸弹系统验证框架

李文龙¹, 桑书涵², 刘玉生³, 何海燕⁴, 梁赞⁵, 袁文强², 牛彪², 罗伟峰⁶

^1.电子科技大学自动化工程学院，四川成都 611731
^2.杭州电子科技大学计算机学院，浙江杭州 310018
^3.浙江大学计算机辅助设计与图形学国家重点实验室，浙江杭州 310058
^4.上海卫星工程研究所，上海 201109
^5.北京宇航系统工程研究所，北京 100076
^6.湖南云箭集团有限公司，湖南长沙 410199

收稿日期:2025-04-08 修回日期:2025-06-06 出版日期:2026-04-20 发布日期:2026-04-22
通讯作者: 袁文强
第一作者简介:李文龙(1984-)，男，正高级工程师，本科，研究方向为系统工程。

Dynamic Model-driven Verification Framework for Modular Aerial Bomb Systems

Li Wenlong¹, Sang Shuhan², Liu Yusheng³, He Haiyan⁴, Liang Zan⁵, Yuan Wenqiang², Niu Biao², Luo Weifeng⁶

^1.School of Automation Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China
^2.School of Computer Science, Hangzhou Dianzi University, Hangzhou 310018, China
^3.State Key Laboratory of Computer-Aided Design and Graphics, Zhejiang University, Hangzhou 310058, China
^4.Shanghai Satellite Engineering Institute, Shanghai 201109, China
^5.Beijing Institute of Space Systems Engineering, Beijing 100076, China
^6.Hunan Yunjian Group Co. , Ltd. , Changsha 410199, China

Received:2025-04-08 Revised:2025-06-06 Online:2026-04-20 Published:2026-04-22
Contact: Yuan Wenqiang

摘要/Abstract

摘要：

针对模块化复杂装备设计阶段验证成本高、动态行为难覆盖且缺少量化闭环的问题，提出动态模型驱动的模块化系统验证框架。基于MBSE(model-based systems engineering)建模，利用接口数量、信号交互频次与依赖强度构建结构耦合量化模型；在高保真虚拟仿真中开展动态测试，采集数据，建立精度、响应与稳定性等指标的性能评分与系统综合评分，并将评分反馈用于迭代优化。模块化航空炸弹系统验证表明：100组仿真测试中系统评分均值为68.858、标准差为4.336，置信区间显示输出稳定；单因素方差分析表明不同接口复杂度分组差异显著。该框架可实现结构与行为一体化量化验证，支撑方案比选与快速迭代。

关键词: MBSE(model-based systems engineering), 模型驱动, 模块化, 动态仿真, 系统验证

Abstract:

To address the problems of high verification costs, difficulty in covering dynamic behaviors, and lack of quantitative closed loops in the design stage of modular complex equipment, a dynamic model-driven modular system verification framework was proposed. Based on model-based systems engineering (MBSE) modeling, a structural coupling quantification model was constructed using the number of interfaces, signal interaction frequency, and dependency intensity. Dynamic tests were conducted in high-fidelity virtual simulation to collect data; performance rating for indicators such as accuracy, response, and stability, as well as system's comprehensive rating, were obtained, and the rating feedback was used for iterative optimization. In the verification of the modular aerial bomb system, the mean system score in 100 sets of simulation tests is 68.858, with a standard deviation of 4.336, and the confidence interval indicates stable output. One-way analysis of variance shows that the differences between groups with different interface complexities are significant. The framework can achieve integrated quantitative verification of structure and behavior, supporting scheme comparison and selection and rapid iteration.

Key words: model-based systems engineering (MBSE), model drive, modularity, dynamic simulation, system verification

中图分类号:

TP391.9

李文龙,桑书涵,刘玉生等 . 动态模型驱动的模块化航空炸弹系统验证框架[J]. 系统仿真学报, 2026, 38(4): 1106-1118.

Li Wenlong,Sang Shuhan,Liu Yusheng,et al . Dynamic Model-driven Verification Framework for Modular Aerial Bomb Systems[J]. Journal of System Simulation, 2026, 38(4): 1106-1118.

图/表 13

图1

图2

图3

图4

图5

表1

部分参数表

参数	取值	参数	取值	参数	取值
$α$	0.2	$k 2$	1.1	$ω 3$	0.3
$β$	0.3	$k 3$	1.0	$ρ$	0.3
$γ$	0.5	$ω 1$	0.4	$μ$	0.4
$k 1$	1.2	$ω 2$	0.3	$σ$	0.3

表1

图6

图7

图8

图9

图10

图11

表2

参考文献 36

[1]	Wang Wenyue, Hou Junjie, Mao Yinxuan, et al. Application and Development of MBSE in Aerospace[J]. Journal of Physics: Conference Series, 2022, 2235(1): 012021.
[2]	Madariaga C, Bashir A, Swickline C. Applying MBSE in Space Based Systems Development[J]. INCOSE International Symposium, 2023, 33(1): 584-600.
[3]	Tsui R K, Borky J M, Bradley T H. Applying Model-based Systems Architecture Processes (MBSAP) Methodology for Diversified MBSE Projects with Efficient Systems of Systems Accomplishments[J]. INCOSE International Symposium, 2020, 30(1): 1568-1580.
[4]	Bemmami K E, David P. State-of-practice Survey in Industry on the Deployment of Simulation in Systems Engineering[J]. IFAC-PapersOnLine, 2021, 54(1): 1132-1137.
[5]	Bemmami K E, David P. Managing the Use of Simulation in Systems Engineering: An Industrial State of Practice and a Prioritization Method[J]. Computers in Industry, 2021, 131: 103486.
[6]	Marmsoler D, Petrovska Ana. Runtime Verification for Dynamic Architectures[J]. Journal of Logical and Algebraic Methods in Programming, 2021, 118: 100618.
[7]	Liu Guanghui, Hong Jun, Wu Wenwu, et al. Investigation on the Influence of Interference Fit on the Static and Dynamic Characteristics of Spindle System[J]. The International Journal of Advanced Manufacturing Technology, 2018, 99(5): 1953-1966.
[8]	Heo Seok-Jae, Zhang Chunwei, Yu Eunjong. Response Simulation, Data Cleansing and Restoration of Dynamic and Static Measurements Based on Deep Learning Algorithms[J]. International Journal of Concrete Structures and Materials, 2018, 12(1): 82.
[9]	Cimatti Alessandro, Tian Chun, Tonetta Stefano. Assumption-based Runtime Verification[J]. Formal Methods in System Design, 2022, 60(2): 277-324.
[10]	Alwhishi Ghalya, Bentahar Jamal, Elwhishi Ahmed, et al. MV-checker: A Software Tool for Multi-valued Model Checking Intelligent Applications with Trust and Commitment[J]. Expert Systems with Applications, 2024, 245: 123113.
[11]	Drawel Nagat, Laarej Amine, Bentahar Jamal, et al. Transformation-based Model Checking Temporal Trust in Multi-agent Systems[J]. Journal of Systems and Software, 2022, 192: 111383.
[12]	Bouwman Mark, Djurre van der Wal, Luttik Bas, et al. A Case in Point: Verification and Testing of a EULYNX Interface[J]. Formal Aspects of Computing, 2023, 35(1): 2.
[13]	Mohseni S, Wang Haotao, Xiao Chaowei, et al. Taxonomy of Machine Learning Safety: A Survey and Primer[J]. ACM Computing Surveys, 2022, 55(8): 157.
[14]	Laing C, David P, Blanco E, et al. Questioning Integration of Verification in Model-based Systems Engineering: An Industrial Perspective[J]. Computers in Industry, 2020, 114: 103163.
[15]	Cao Yue, Liu Yusheng, Qin Xujia. A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics[J]. Advanced Engineering Informatics, 2023, 58: 102201.
[16]	Cederbladh Johan, Cicchetti Antonio, Suryadevara Jagadish. Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review[J]. ACM Transactions on Software Engineering and Methodology, 2024, 33(3): 81.
[17]	Chen Ruirui, Chen Chun-Hsien, Liu Yusheng, et al. Ontology-based Requirement Verification for Complex Systems[J]. Advanced Engineering Informatics, 2020, 46: 101148.
[18]	Yang Jun, Cai Baoping, Kong Xiangdi, et al. A Digital Twin-assisted Intelligent Fault Diagnosis Method for Hydraulic Systems[J]. Journal of Industrial Information Integration, 2024, 42: 100725.
[19]	Muhammad Waseem Anwar, Rashid Muhammad, Azam Farooque, et al. A Model-driven Framework for Design and Verification of Embedded Systems Through SystemVerilog[J]. Design Automation for Embedded Systems, 2019, 23(3): 179-223.
[20]	Bottero Mattia, Gualeni Paola. Systems Engineering for Naval Ship Design Evolution[J]. Journal of Marine Science and Engineering, 2024, 12(2): 210.
[21]	Li Wei, Ribeiro P, Miyazawa A, et al. Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool[J]. Autonomous Robots, 2024, 48(6): 14.
[22]	He Zhiyu, Bolognani S, Muehlebach M, et al. Gray-box Nonlinear Feedback Optimization[EB/OL]. (2024-04-05) [2025-03-10]. .
[23]	Dominguez-Pumar M, Olm J M, Kowalski L, et al. Open Loop Testing for Optimizing the Closed Loop Operation of Chemical Systems[J]. Computers & Chemical Engineering, 2020, 135: 106737.
[24]	Han Honggui, Zhang Jiacheng, Hou Ying, et al. Double-closed-loop Robust Optimal Control for Uncertain Nonlinear Systems[J]. IEEE Transactions on Cybernetics, 2024, 54(4): 2332-2344.
[25]	Persson N, Zhao Feiran, Kaheni M, et al. An Adaptive Data-enabled Policy Optimization Approach for Autonomous Bicycle Control[EB/OL]. (2025-02-19) [2025-03-10]. .
[26]	Nikolakis N, Siaterlis G, Bampoula X, et al. A Digital Twin-enabled Cyber-physical System Approach for Mixed Packaging[M]//Advances in Transdisciplinary Engineering. Amsterdam: IOS Press, 2022: 485-496.
[27]	Zhang Junjiang, Yang Yang, Zhou Yi, et al. Parameter Closed-loop Optimization for Pure Electric Vehicles: Unified Design of Power System and Control Parameters[J]. Journal of the Brazilian Society of Mechanical Sciences and Engineering, 2020, 42(5): 229.
[28]	Liu Lin, Guo Youguang, Yin Wenliang, et al. Design and Optimization Technologies of Permanent Magnet Machines and Drive Systems Based on Digital Twin Model[J]. Energies, 2022, 15(17): 6186.
[29]	Nobar Mahdi, Keller Jürg, Rupenyan Alisa, et al. Guided Bayesian Optimization: Data-efficient Controller Tuning with Digital Twin[J]. IEEE Transactions on Automation Science and Engineering, 2025, 22: 11304-11317.
[30]	Sinha A K, Loparo K A. A Computational Model for Complex Systems Analysis: Causality Estimation[J]. Physica D: Nonlinear Phenomena, 2021, 423: 132915.
[31]	Shaoqiu Lü, Wang Muzhi, Zhang Sunrui, et al. Design of a UE5-based Digital Twin Platform[EB/OL]. (2024-07-03) [2025-03-15]. .
[32]	Prabawa Adi, Mahmudul Faisal Al Ameen, Lee Benedict, et al. A Logical System for Modular Information Flow Verification[C]//Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2018: 430-451.
[33]	Bodenmüller Stefan, Schellhorn Gerhard, Bitterlich Martin, et al. Flashix: Modular Verification of a Concurrent and Crash-safe Flash File System[M]//Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Cham: Springer International Publishing, 2021: 239-265.
[34]	Leino K R M, Müller Peter. Modular Verification of Static Class Invariants[C]//FM 2005: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005: 26-42.
[35]	Li Xin, Feng Min, Ran Youhua, et al. Big Data in Earth System Science and Progress Towards a Digital Twin[J]. Nature Reviews Earth & Environment, 2023, 4(5): 319-332.
[36]	Zellner M L, Massey D, Laboy M, et al. Enhancing Digital Twin Technology with Community-led, Science-driven Participatory Modeling: A Case in Green Infrastructure Planning[J/OL]. Environment and Planning B: Urban Analytics and City Science. [2025-03-15]. .

验证方法	验证效率	动态支持	优化反馈	工程成本	量化能力	扩展性
传统MBSE	中	弱	弱	低	无	中
物理样机	低	强	弱	高	强	弱
离线仿真	中	中	弱	中	中	中
本文方法	高	强	强	中	强	强

动态模型驱动的模块化航空炸弹系统验证框架

Dynamic Model-driven Verification Framework for Modular Aerial Bomb Systems

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 13

参考文献 36

相关文章 15

编辑推荐

Metrics

本文评价

[1]	孙波, 任羿, 王偲霖, 刘奇, 李志栋. 基于模型的系统验证：理论框架、关键技术及未来展望[J]. 系统仿真学报, 2026, 38(4): 829-854.
[2]	李鹏飞, 徐伟, 朴永杰, 方应红, 石敦攀. 天基空间小目标复杂场景数字成像仿真[J]. 系统仿真学报, 2025, 37(9): 2315-2334.
[3]	曹晞, 刘波, 苏炳志, 聂涛. 基于MBSE和VAPS的民用直升机显控系统设计与验证[J]. 系统仿真学报, 2025, 37(3): 704-717.
[4]	余冰, 安宝冉, 赵士操. 面向复杂业务场景下的SysML模型建模与集成方法[J]. 系统仿真学报, 2024, 36(12): 2797-2812.
[5]	王渝红, 陈文晟, 高仕林, 廖建权, 程杨帆. 模块化多电平换流器谐波阻抗建模与振荡分析[J]. 系统仿真学报, 2024, 36(12): 2755-2770.
[6]	王晓锋, 谌泰乾, 刘渊. 面向卫星互联网的动态仿真技术研究[J]. 系统仿真学报, 2023, 35(7): 1472-1486.
[7]	李成兵, 李云飞, 吴鹏. 基于多智能体的城市群客运网络脆弱性动态仿真[J]. 系统仿真学报, 2023, 35(6): 1183-1190.
[8]	朱智, 雷森, 雷永林. 基于模型驱动工程的形式化模型转换技术[J]. 系统仿真学报, 2021, 33(9): 2119-2127.
[9]	林海波, 郑利平, 王建伟, 张姝洁. 一种通用的层次化人群疏散仿真框架[J]. 系统仿真学报, 2020, 32(8): 1524-1530.
[10]	胡春生, 许承东, 张鹏飞. 一种高度可配置的模块化仿真系统设计模式[J]. 系统仿真学报, 2020, 32(4): 627-637.
[11]	赵明波, 潘龙, 蒋龙威, 王纲, 赵广兴. 一种综合航电仿真系统的模块化设计方法[J]. 系统仿真学报, 2019, 31(2): 339-345.
[12]	罗永亮, 张智慧, 张珺, 秦远辉. 模型驱动的航空指挥和保障系统仿真优化设计方法[J]. 系统仿真学报, 2018, 30(8): 2817-2825.
[13]	王旭, 刘士新, 张瑞友, 王佳. 求解集装箱码头岸桥调度问题的化学反应算法[J]. 系统仿真学报, 2017, 29(12): 3001-3009.
[14]	张谦, 张颖姝. 某型飞机滑行转弯过程动态仿真分析[J]. 系统仿真学报, 2017, 29(10): 2518-2527.
[15]	马杰, 余巍, 周志伟, 杨文秀, 吴学刚. 双光楔扫描激光成像系统三维动态仿真[J]. 系统仿真学报, 2016, 28(5): 1218-1224.