Mission engineering method for naval combat system-of-systems simulation based on temporal logic and dynamic rule reconstruction

With the profound transformation of systems engineering towards Digital Mission Engineering (DME) paradigm, maritime combat system simulation faces systematic challenges in transitioning from equipment-driven to mission-driven. Addressing issues such as shallow logical constraints, lack of dynamic criteria, and fragmented engineering processes in existing methods for DME micro-implementation, a maritime combat system simulation mission engineering method based on temporal logic and dynamic criteria reconstruction is proposed. Firstly, a three-layer closed-loop mission engineering framework that spans "semantic normalization - formalization dimensionality reduction - situational awareness evaluation" is constructed, achieving full-chain systematic collaboration. Secondly, Allen interval algebra is systematically introduced to establish temporal constraint mapping, and a simulation front-end logical filter is constructed by combining constraint satisfaction solving, fundamentally breaking through the combinatorial explosion and tactical infeasibility dilemmas faced by traditional optimization algorithms. Finally, an innovative definition of belief-utility-decision-criterion multi-dimensional mutual mapping function is proposed, and a dynamic evaluation reconstruction mechanism driven by both data and models is introduced, enabling deep integration of effectiveness evaluation with the OODA loop. Simulation deduction of typical maritime combat scenarios shows that this method effectively addresses the combinatorial explosion and criterion rigidity issues faced by traditional methods, improves the design efficiency of system simulation schemes and the practical credibility of evaluation conclusions, and provides a complete digital mission engineering implementation paradigm for the intelligent simulation and experimental evaluation of complex maritime lethality networks.