Intelligent simulation resource scheduling method and system

Abstract

The present invention discloses a method and system for intelligent simulation resource scheduling. The method comprises: constructing a hybrid time Petri net, wherein the activity library and transition configuration have time stamps; weighting the activity library and resource library in the hybrid time Petri net in a coloring manner to obtain a colored hybrid time Petri net; responding to a first resource scheduling trigger instruction, implementing the time-series scheduling of intelligent simulation resources based on the colored hybrid time Petri net; responding to a second resource scheduling trigger instruction, scheduling the intelligent simulation resources based on the colored hybrid time Petri net to resolve conflicts between various intelligent simulation resource requests. The system comprises various functional modules corresponding to the above steps. According to the present invention, the problems of poor flexibility in resource scheduling and conflict resolution, low scheduling efficiency, poor matching, single timing logic and poor multi-thread processing capability of the existing military simulation deduction system platform can be solved.

Description

Technical Field

[0001] The present invention belongs to the technical field of military simulation and war game simulation, and more specifically, relates to an intelligent simulation resource scheduling method and system based on colored mixed time Petri net. Background Art

[0002] Modern warfare has transformed from a single-soldier competition to a confrontation between systems. The coordination and unified dispatch of multi-dimensional combat forces such as land, sea, air, space, electricity, and the Internet have become key factors in determining the completion of combat missions. The requirements for actual combat, systematization, and coordination in the daily training of troops are getting higher and higher, and the cost and effect of actual combat training have reached the ceiling. Against the above background, intelligent system simulation based on computer simulation technology has become an inevitable solution. However, the existing military simulation and deduction system platform has problems such as poor flexibility in resource scheduling and conflict resolution, low scheduling efficiency, poor matching, single timing logic, and poor multi-threaded processing capabilities. Summary of the invention

[0003] The purpose of the present invention is to solve the problems of poor resource scheduling and conflict resolution flexibility, low scheduling efficiency, poor matching, single timing logic and poor multi-thread processing capability of the existing military simulation and deduction system platform.

[0004] In order to achieve the above object, the present invention provides an intelligent simulation resource scheduling method and system based on colored mixed time Petri net.

[0005] According to a first aspect of the present invention, there is provided an intelligent simulation resource scheduling method based on a colored hybrid time Petri net, the method being applied to military simulation deduction, comprising the following steps:

[0006] Constructing a hybrid time Petri net, wherein the activity places and transitions in the hybrid time Petri net are configured with time stamps;

[0007] The weights of the activity places and the resource places in the hybrid time Petri net are configured by coloring to obtain a colored hybrid time Petri net;

[0008] In response to a predetermined first resource scheduling trigger instruction, implementing time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net;

[0009] In response to a predetermined second resource scheduling trigger instruction, the intelligent simulation resources are scheduled based on the colored mixed time Petri net to resolve conflicts between the intelligent simulation resource requests.

[0010] Preferably, the constructing of the hybrid time Petri net comprises:

[0011] Obtaining basic elements for constructing the hybrid time Petri net;

[0012] Representing the basic elements by means of graphical components to obtain an initial Petri net;

[0013] A timestamp configured for the activity library in the initial Petri net;

[0014] Configuring timestamps for transitions in the initial Petri net;

[0015] Configuring the number of resource tokens and resource consumption and transfer rules for the initial Petri net to obtain a hybrid time Petri net to be verified;

[0016] A predetermined first verification program is run to verify the sequential logic of the hybrid time Petri net to be verified. If the verification passes, the construction of the hybrid time Petri net is completed.

[0017] Preferably, the weight configuration of the activity places and resource places in the hybrid time Petri net in a colored manner to obtain a colored hybrid time Petri net includes:

[0018] Creating a resource place in the hybrid time Petri net and allocating resources to the activity place and the transition;

[0019] Creating a coloring set for the active place to implement weight configuration of the active place;

[0020] Creating a coloring set for the resource repository to implement weight configuration of the resource repository;

[0021] Create a mapping function between the colored set of the activity library and the colored set of the resource library, and then obtain the colored mixed time Petri net to be verified;

[0022] A predetermined second verification program is run to verify the temporal logic of the colored mixed time Petri net to be verified. If the verification passes, the construction of the colored mixed time Petri net is completed.

[0023] Preferably, in response to a predetermined first resource scheduling trigger instruction, implementing the time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net includes:

[0024] Step S11, start the transition synchronization trigger, and request time advancement according to its own state;

[0025] Step S12: perform global clock synchronization according to the timestamp to determine whether there is a timing conflict in the concurrent branch. If yes, execute step S13; if no, skip;

[0026] Step S13: The global clock notifies the conflicting transition or place, blocks the execution or status update of the conflicting transition or place, prevents the subsequent triggering, and realizes parallel aggregation waiting;

[0027] Step S14: The parallel timing is advanced, resources flow in sequence, the simulation process defined by the colored mixed time Petri net is completed, and the simulation results are calculated.

[0028] Preferably, in response to a predetermined second resource scheduling trigger instruction, scheduling the intelligent simulation resources based on the colored mixed time Petri net to resolve conflicts between intelligent simulation resource requests includes:

[0029] Step S21, update the real-time status of the system, re-trigger the transition and set the timestamp and priority;

[0030] Step S22, determine whether there is a conflict in the concurrent activity library for resources. If so, execute step S23;

[0031] Step S23, obtaining a colored set of a resource library and a colored set of an activity library, and obtaining a resource optimization model based on a mapping function of the colored set of the resource library and the colored set of the activity library;

[0032] Step S24: Implement resource conflict scheduling based on the resource optimization model.

[0033] According to a second aspect of the present invention, there is provided an intelligent simulation resource scheduling system based on a colored hybrid time Petri net, which is applied to military simulation and deduction and includes the following functional modules:

[0034] A hybrid time Petri net construction module, used to construct a hybrid time Petri net, in which both the activity places and transitions in the hybrid time Petri net are configured with time stamps;

[0035] A colored hybrid time Petri net construction module is used to configure the weights of the activity places and resource places in the hybrid time Petri net in a colored manner to obtain a colored hybrid time Petri net;

[0036] A first resource scheduling module, configured to implement time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined first resource scheduling trigger instruction;

[0037] The second resource scheduling module is used to schedule the intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined second resource scheduling trigger instruction to resolve conflicts between various intelligent simulation resource requests.

[0038] Preferably, the constructing of the hybrid time Petri net comprises:

[0039] Obtaining basic elements for constructing the hybrid time Petri net;

[0040] Representing the basic elements by means of graphical components to obtain an initial Petri net;

[0041] A timestamp configured for the activity library in the initial Petri net;

[0042] Configuring timestamps for transitions in the initial Petri net;

[0043] Configuring the number of resource tokens and resource consumption and transfer rules for the initial Petri net to obtain a hybrid time Petri net to be verified;

[0044] A predetermined first verification program is run to verify the sequential logic of the hybrid time Petri net to be verified. If the verification passes, the construction of the hybrid time Petri net is completed.

[0045] Preferably, the weight configuration of the activity places and resource places in the hybrid time Petri net in a colored manner to obtain a colored hybrid time Petri net includes:

[0046] Creating a resource place in the hybrid time Petri net and allocating resources to the activity place and the transition;

[0047] Creating a coloring set for the active place to implement weight configuration of the active place;

[0048] Creating a coloring set for the resource repository to implement weight configuration of the resource repository;

[0049] Create a mapping function between the colored set of the activity library and the colored set of the resource library, and then obtain the colored mixed time Petri net to be verified;

[0050] A predetermined second verification program is run to verify the temporal logic of the colored mixed time Petri net to be verified. If the verification passes, the construction of the colored mixed time Petri net is completed.

[0051] Preferably, in response to a predetermined first resource scheduling trigger instruction, implementing the time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net includes:

[0052] Step S11, start the transition synchronization trigger, and request time advancement according to its own state;

[0053] Step S12: perform global clock synchronization according to the timestamp to determine whether there is a timing conflict in the concurrent branch. If yes, execute step S13; if no, skip;

[0054] Step S13: The global clock notifies the conflicting transition or place, blocks the execution or status update of the conflicting transition or place, prevents the subsequent triggering, and realizes parallel aggregation waiting;

[0055] Step S14: The parallel timing is advanced, resources flow in sequence, the simulation process defined by the colored mixed time Petri net is completed, and the simulation results are calculated.

[0056] Preferably, in response to a predetermined second resource scheduling trigger instruction, scheduling the intelligent simulation resources based on the colored mixed time Petri net to resolve conflicts between intelligent simulation resource requests includes:

[0057] Step S21, update the real-time status of the system, re-trigger the transition and set the timestamp and priority;

[0058] Step S22, determine whether there is a conflict in the concurrent activity library for resources. If so, execute step S23;

[0059] Step S23, obtaining a colored set of a resource library and a colored set of an activity library, and obtaining a resource optimization model based on a mapping function of the colored set of the resource library and the colored set of the activity library;

[0060] Step S24: Implement resource conflict scheduling based on the resource optimization model.

[0061] The beneficial effects of the present invention are:

[0062] The intelligent simulation resource scheduling method based on the colored mixed time Petri net of the present invention first constructs a mixed time Petri net, in which the activity library and the transition in the mixed time Petri net are all configured with time stamps; then the activity library and the resource library in the mixed time Petri net are weighted by coloring to obtain the colored mixed time Petri net. When a first resource scheduling trigger instruction is received, the intelligent simulation resources are scheduled in time sequence based on the colored mixed time Petri net; when a second resource scheduling trigger instruction is received, the intelligent simulation resources are scheduled based on the colored mixed time Petri net to resolve the conflict between the intelligent simulation resource requests.

[0063] The intelligent simulation resource scheduling method based on colored hybrid time Petri net of the present invention is aimed at the simulation and deduction requirements of military training and operations under the new situation of actual combat, systematization, coordination, multi-dimensionality and measurable evaluation, realizes the visualization creation of hybrid models based on time Petri net basic model and colored set mapping, simulates the military simulation and deduction timing flow and resource scheduling process, and realizes the resolution of resource request conflicts based on the standards of minimum resource cost and highest activity priority.

[0064] The intelligent simulation resource scheduling system based on colored mixed time Petri nets of the present invention and the intelligent simulation resource scheduling method based on colored mixed time Petri nets mentioned above belong to a general inventive concept, so they have the same beneficial effects as the intelligent simulation resource scheduling method based on colored mixed time Petri nets mentioned above, and will not be repeated here.

[0065] Other features and advantages of the present invention will be described in detail in the following detailed description. BRIEF DESCRIPTION OF THE DRAWINGS

[0066] The above and other objects, features and advantages of the present invention will become more apparent through a more detailed description of exemplary embodiments of the present invention in conjunction with the accompanying drawings, wherein like reference numerals generally represent like components throughout the exemplary embodiments of the present invention.

[0067] Figure 1 A flowchart of an implementation method of an intelligent simulation resource scheduling method based on a colored mixed time Petri net according to an embodiment of the present invention is shown;

[0068] Figure 2 A structural block diagram of an intelligent simulation resource scheduling system based on a colored mixed time Petri net according to an embodiment of the present invention is shown;

[0069] Figure 3 A functional schematic diagram of a military simulation and deduction system according to an embodiment of the present invention is shown;

[0070] Figure 4 A schematic diagram of a modeling process of a colored mixed time Petri net according to an embodiment of the present invention is shown;

[0071] Figure 5 A schematic diagram of a process of scheduling resources in time sequence according to an embodiment of the present invention is shown;

[0072] Figure 6 A schematic diagram of a resource conflict resolution scheduling process according to an embodiment of the present invention is shown. DETAILED DESCRIPTION

[0073] The preferred embodiments of the present invention will be described in more detail below. Although the preferred embodiments of the present invention are described below, it should be understood that the present invention can be implemented in various forms and should not be limited by the embodiments set forth herein. On the contrary, these embodiments are provided to make the present invention more thorough and complete, and to fully convey the scope of the present invention to those skilled in the art.

[0074] Embodiment: Petri net is a modeling and analysis tool for distributed systems, suitable for describing the order, conflict and synchronization between processes and events in the system. The dynamic or random characteristics of the system can be analyzed by simulation, and the correctness of the scheduling strategy can be verified. Clearly describe the structural relationship of the system, and accurately describe the constraints such as processing order, connection relationship, deadlock, conflict, cache limitation and resource limitation in a graphical way. Use mathematical methods to quantitatively and qualitatively analyze the system. Parallel, asynchronous, distributed, parallel, non-deterministic and resource sharing. Use the modeling and simulation capabilities of Petri nets to evaluate existing scheduling rules and generate new rules. The characteristic of Petri nets is to describe the flow of resources, including material resources and information resources. With the goal of studying the organizational structure and dynamic behavior of the model system, focusing on the various state changes that may occur in the system and the relationship between the changes, the causal relationship and independence of the state can be accurately expressed. The advantages of graphical modeling make the modeling of complex systems visual. It can represent the composition of the system and the dynamic behavior of the system.

[0075] The time Petri net introduces a global clock or an independent token timestamp based on the number of identification tokens to characterize the time attribute of the net, which can meet the application of scheduling problems. The advanced Petri net is an advanced form of the time Petri net, which can further enhance the model's expression ability. The object-oriented idea is integrated into the modeling strategy of the advanced Petri net, so that the model has the characteristics of abstraction, encapsulation, inheritance, etc., and then the original system is divided into multiple sub-Petri nets using a modular method, which do not affect each other and have the characteristics of scalability.

[0076] The colored set is a legitimate collection of various combat forces and resources in the combat system. The colored set represents the various forces contained in the current combat system and their core attributes, quantity and other multi-dimensional information. The mapping relationship between the colored set and the Petri net element set is established, and the adaptive adjustment and optimal allocation of resources triggered by the transition are realized through the self-adjustable control variables, so as to realize the comprehensive scheduling of combat forces. The colored set mapping function can realize the optimal matching of resource libraries and activity libraries. The so-called colored Petri net is a seven-tuple Σ=(P,T,F,C,W,I,M), which adds colored sets and three groups of mapping relationships on the basis of the basic network.

[0077] The embodiment of the present invention aims at the requirements of self-scheduling and operation and maintenance of multi-resource intelligent agents in actual system combat simulation, as well as the requirements of conflict resolution for requests for public resources, and proposes an intelligent simulation resource scheduling method based on colored mixed time Petri nets, an intelligent simulation resource scheduling system based on colored mixed time Petri nets, and a military simulation deduction system for verifying the feasibility and effectiveness of the intelligent simulation resource scheduling method based on colored mixed time Petri nets. The colored Petri nets and mixed time Petri nets are innovatively organically combined to form a colored mixed time Petri net. On the basis of utilizing the advantages of Petri nets in conflict resolution and resource allocation, the colored set is configured to identify the availability of combat force resources, and the mixed time parameters of the library and transition are set to simulate the simulation sequence, so as to realize the unified structured modeling of the combat mission process and force allocation.

[0078] Figure 1 The following is a flowchart showing an implementation of an intelligent simulation resource scheduling method based on a colored mixed time Petri net according to an embodiment of the present invention. Figure 1 The intelligent simulation resource scheduling method based on the colored mixed time Petri net of the embodiment of the present invention comprises the following steps:

[0079] Constructing a hybrid time Petri net, wherein the activity places and transitions in the hybrid time Petri net are configured with time stamps;

[0080] The weights of the activity places and the resource places in the hybrid time Petri net are configured by coloring to obtain a colored hybrid time Petri net;

[0081] In response to a predetermined first resource scheduling trigger instruction, implementing time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net;

[0082] In response to a predetermined second resource scheduling trigger instruction, the intelligent simulation resources are scheduled based on the colored mixed time Petri net to resolve conflicts between the intelligent simulation resource requests.

[0083] Since traditional Petri nets do not have time-stamping properties, in order to simulate actual systems, the embodiments of the present invention propose two time attribute configuration methods for Petri nets, namely, place time Petri net (PTPN) and transition time Petri net (TTPN), which respectively characterize the duration of the system state and the event trigger (generation) time, and realize the dual characterization of transition time and place time by proposing a hybrid time Petri net.

[0084] Further, in an embodiment of the present invention, constructing a hybrid time Petri net includes:

[0085] Obtaining basic elements for constructing the hybrid time Petri net;

[0086] Representing the basic elements by means of graphical components to obtain an initial Petri net;

[0087] A timestamp configured for the activity library in the initial Petri net;

[0088] Configuring timestamps for transitions in the initial Petri net;

[0089] Configuring the number of resource tokens and resource consumption and transfer rules for the initial Petri net to obtain a hybrid time Petri net to be verified;

[0090] A predetermined first verification program is run to verify the sequential logic of the hybrid time Petri net to be verified. If the verification passes, the construction of the hybrid time Petri net is completed.

[0091] In the construction of hybrid time Petri net, place nodes and transition execution sequences are configured in the form of graphical interface configuration. It assists in the formal creation of discrete event sequence lists, and realizes timestamp creation and temporal logic structure representation in the form of time tags.

[0092] Furthermore, in an embodiment of the present invention, the weight configuration of the activity places and resource places in the hybrid time Petri net in a colored manner to obtain a colored hybrid time Petri net includes:

[0093] Creating a resource place in the hybrid time Petri net and allocating resources to the activity place and the transition;

[0094] Creating a coloring set for the active place to implement weight configuration of the active place;

[0095] Creating a coloring set for the resource repository to implement weight configuration of the resource repository;

[0096] Create a mapping function between the colored set of the activity library and the colored set of the resource library, and then obtain the colored mixed time Petri net to be verified;

[0097] A predetermined second verification program is run to verify the temporal logic of the colored mixed time Petri net to be verified. If the verification passes, the construction of the colored mixed time Petri net is completed.

[0098] In the process of constructing the coloring set, a hierarchical modeling method and graphic components are used to define and configure the color coloring sets of activities and resources in the resource library.

[0099] Furthermore, in an embodiment of the present invention, in response to a predetermined first resource scheduling trigger instruction, implementing the time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net includes:

[0100] Step S11, start the transition synchronization trigger, and request time advancement according to its own state;

[0101] Step S12: perform global clock synchronization according to the timestamp to determine whether there is a timing conflict in the concurrent branch. If yes, execute step S13; if no, skip;

[0102] Step S13: The global clock notifies the conflicting transition or place, blocks the execution or status update of the conflicting transition or place, prevents the subsequent triggering, and realizes parallel aggregation waiting;

[0103] Step S14: The parallel timing is advanced, resources flow in sequence, the simulation process defined by the colored mixed time Petri net is completed, and the simulation results are calculated.

[0104] In the time-series scheduling of resources, the place timestamp and transition timestamp are combined to calculate the time delay, start the workflow, and advance the simulation sequence.

[0105] Further, in an embodiment of the present invention, in response to a predetermined second resource scheduling trigger instruction, scheduling the intelligent simulation resources based on the colored mixed time Petri net to resolve conflicts between the intelligent simulation resource requests includes:

[0106] Step S21, update the real-time status of the system, re-trigger the transition and set the timestamp and priority;

[0107] Step S22, determine whether there is a conflict in the concurrent activity library for resources. If so, execute step S23;

[0108] Step S23, obtaining a colored set of a resource library and a colored set of an activity library, and obtaining a resource optimization model based on a mapping function of the colored set of the resource library and the colored set of the activity library;

[0109] Step S24: Implement resource conflict scheduling based on the resource optimization model.

[0110] In resource conflict resolution scheduling, when a sudden change in the simulation system state occurs or an intervention instruction is received, resources are immediately replanned based on the coloring set, thereby quickly updating the system state and advancing the simulation timing.

[0111] Accordingly, based on the intelligent simulation resource scheduling method based on colored hybrid time Petri nets proposed in the embodiment of the present invention, the embodiment of the present invention also proposes an intelligent simulation resource scheduling system based on colored hybrid time Petri nets.

[0112] Figure 2 The structure diagram of the intelligent simulation resource scheduling system based on the colored mixed time Petri net according to the embodiment of the present invention is shown. Figure 2 The intelligent simulation resource scheduling system based on the colored mixed time Petri net of the embodiment of the present invention includes the following functional modules:

[0113] A hybrid time Petri net construction module, used to construct a hybrid time Petri net, in which both the activity places and transitions in the hybrid time Petri net are configured with time stamps;

[0114] A colored hybrid time Petri net construction module is used to configure the weights of the activity places and resource places in the hybrid time Petri net in a colored manner to obtain a colored hybrid time Petri net;

[0115] A first resource scheduling module, configured to implement time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined first resource scheduling trigger instruction;

[0116] The second resource scheduling module is used to schedule the intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined second resource scheduling trigger instruction to resolve conflicts between various intelligent simulation resource requests.

[0117] Further, in an embodiment of the present invention, constructing a hybrid time Petri net includes:

[0118] Obtaining basic elements for constructing the hybrid time Petri net;

[0119] Representing the basic elements by means of graphical components to obtain an initial Petri net;

[0120] A timestamp configured for the activity library in the initial Petri net;

[0121] Configuring timestamps for transitions in the initial Petri net;

[0122] Configuring the number of resource tokens and resource consumption and transfer rules for the initial Petri net to obtain a hybrid time Petri net to be verified;

[0123] A predetermined first verification program is run to verify the sequential logic of the hybrid time Petri net to be verified. If the verification passes, the construction of the hybrid time Petri net is completed.

[0124] Furthermore, in an embodiment of the present invention, the weight configuration of the activity places and resource places in the hybrid time Petri net in a colored manner to obtain a colored hybrid time Petri net includes:

[0125] Creating a resource place in the hybrid time Petri net and allocating resources to the activity place and the transition;

[0126] Creating a coloring set for the active place to implement weight configuration of the active place;

[0127] Creating a coloring set for the resource repository to implement weight configuration of the resource repository;

[0128] Create a mapping function between the colored set of the activity library and the colored set of the resource library, and then obtain the colored mixed time Petri net to be verified;

[0129] A predetermined second verification program is run to verify the temporal logic of the colored mixed time Petri net to be verified. If the verification passes, the construction of the colored mixed time Petri net is completed.

[0130] Furthermore, in an embodiment of the present invention, in response to a predetermined first resource scheduling trigger instruction, implementing the time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net includes:

[0131] Step S11, start the transition synchronization trigger, and request time advancement according to its own state;

[0132] Step S12: perform global clock synchronization according to the timestamp to determine whether there is a timing conflict in the concurrent branch. If yes, execute step S13; if no, skip;

[0133] Step S13: The global clock notifies the conflicting transition or place, blocks the execution or status update of the conflicting transition or place, prevents the subsequent triggering, and realizes parallel aggregation waiting;

[0134] Step S14: The parallel timing is advanced, resources flow in sequence, the simulation process defined by the colored mixed time Petri net is completed, and the simulation results are calculated.

[0135] Further, in an embodiment of the present invention, in response to a predetermined second resource scheduling trigger instruction, scheduling the intelligent simulation resources based on the colored mixed time Petri net to resolve conflicts between the intelligent simulation resource requests includes:

[0136] Step S21, update the real-time status of the system, re-trigger the transition and set the timestamp and priority;

[0137] Step S22, determine whether there is a conflict in the concurrent activity library for resources. If so, execute step S23;

[0138] Step S23, obtaining a colored set of a resource library and a colored set of an activity library, and obtaining a resource optimization model based on a mapping function of the colored set of the resource library and the colored set of the activity library;

[0139] Step S24: Implement resource conflict scheduling based on the resource optimization model.

[0140] In order to verify the feasibility and effectiveness of the intelligent simulation resource scheduling method based on colored mixed time Petri net in the embodiment of the present invention, the embodiment of the present invention also designs and implements a military simulation and deduction system based on the method. The military simulation and deduction system adopts a distributed design mode, encapsulates the core simulation and deduction engine (i.e., the underlying public services, including the resource scheduling and conflict resolution services and other general support services involved in the present invention) as an independent EXE executable program, and separates it from the simulation resource support, structured evaluation framework and service engine, data center and other modules of the simulation entity intelligent agent and task request intelligent agent based on CGF Agent, and provides a data interaction interface and a calling service interface based on the colored mixed time Petri net framework specification.

[0141] Figure 3 A functional schematic diagram of a military simulation and deduction system according to an embodiment of the present invention is shown.

[0142] Reference Figure 3 The basic resource support for the design and application of resource scheduling and conflict resolution services of the military simulation and deduction system of the embodiment of the present invention is an intelligent agent with self-operation, self-maintenance of temporal logic and autonomous update of model status. In combination with different agent functions, it includes the following two agents, among which:

[0143] Simulation resource agent, that is, to generate intelligent agents for physical resources such as personnel, equipment, and equipment in the simulation process, design their reaction behavior models and matching interfaces, and realize self-operation and status update iteration of simulation resources;

[0144] The task request agent agent designs the parameters and logical behavior model for the activity process in the simulation. The task request agent covers the execution entities and input and output interfaces in the activity process, and cooperates with the Petri net to self-plan the data flow and resource flow.

[0145] The business resource support for the design and application of resource scheduling and conflict resolution services of the military simulation and deduction system of the embodiment of the present invention is general support services and structured analysis and evaluation services, among which:

[0146] The general support service realizes the entire simulation support function, including process analysis service, simulation control service, data management service and message distribution service, supporting the system to complete the analysis and loading of process files, the start and stop control of the simulation process, data access management and message distribution and interaction;

[0147] Structured analysis and evaluation service: This system evaluates and analyzes the deduction process and the comprehensive operation of simulation resource scheduling, thereby verifying the method. It includes services such as evaluation model creation, analysis and evaluation, and evaluation conclusion generation.

[0148] The workflow of the military simulation system of the embodiment of the present invention is as follows:

[0149] The hybrid time Petri net is constructed to configure the place nodes (including active place nodes and resource place nodes) and transition execution sequences (including instantaneous transition sequences and delayed transition sequences) in the form of graphical interface configuration. The temporal logic structure representation is realized in the form of time marking.

[0150] The specific process of constructing a hybrid time Petri net is as follows:

[0151] Step 1): Clarify modeling elements. In the process of building a hybrid time Petri net model, the start and completion conditions of the process, the activities and the transition rules between activities, the tasks that users need to complete, the applications that may be called, and the definitions of all workflow-related data.

[0152] Modeling elements specifically include output information from upstream links 1 、Reference information of this link 2 , equipment information P and personnel information W, etc.;

[0153] Step 2): Use graphic components to represent the basic elements of the hybrid time Petri net model. Use circles to represent places, directed lines to represent resource flows, short rectangles to represent transition events, and solid dots to represent tokens (i.e., resource availability).

[0154] Step 3): Create time attributes for the active place and configure the corresponding timestamp. Configure the duration of the activity process according to the place process.

[0155] The execution of an activity takes a certain amount of time. When the activity is completed, the business link will generate new information, which will be transferred to the subsequent links in the form of input to realize the delivery of business;

[0156] Step 4): Create a time attribute for the event transition and configure the corresponding timestamp. Configure the start and end time of the transition according to the transition event.

[0157] The triggering of transition requires time constraints. When the time constraints and system status are met at the same time, the transition is triggered and enters the subsequent activity library to realize the transfer of business.

[0158] Step 5): Configure the number of resource tokens and the rules for resource consumption and transfer.

[0159] Each activity place may use one or more resource tokens at the same time. Generally speaking, the weight from the input position of the transition to the transition node indicates the number of resources required by the corresponding activity at the same time, while the weight from the transition node to the output position indicates the number of results produced by the corresponding activity.

[0160] Step 6): Run the verification program to perform a preliminary verification of the sequential logic of the constructed Petri net model.

[0161] The resource library coloring set and task library coloring set are constructed. The hierarchical modeling method and graphic components are used to define the resource library and configure the coloring set of activities and resources. At the same time, the objective function is created, the function boundary conditions are specified, and the optimal algorithm is used to plan the objective function in the most optimal way.

[0162] The specific process of constructing the coloring set of the resource library and the coloring set of the task library is as follows:

[0163] Step 1): Create resource places using a hierarchical decomposition method. This includes the content of the place, the types and quantities of resources, etc. Allocate resources for active places and event transitions. This process implements the graphical configuration of resource allocation rules without request conflicts;

[0164] Step 2): Create a coloring set for the active place according to the business rules, that is, edit the priority weight set. The weight configuration uses the Delphi method and the IAHP algorithm. The activity priority weight is confirmed by comprehensive experience judgment and fuzzy matrix. The priority of the place node is used as the boundary condition of the resource allocation function when the request conflicts;

[0165] Step 3): Configure the coloring set for the resource library, using a method similar to step 2). The resource library weight represents the basic attributes such as the resource call cost. The coloring set elements of the resource library serve as the skeleton for the objective function construction;

[0166] Step 4): Create a mapping function between the coloring sets generated in step 2) and step 3) to represent the resource requirements and scheduling costs of the specified activity. This mapping function is used as the objective function for optimization planning;

[0167] Step 5): Run the verification program to check the constructed colored hybrid Petri net structure to verify whether it will cause resource conflicts under the condition of complete timing.

[0168] The specific process of constructing the above-mentioned mixed time Petri net and the specific process of constructing the colored set of the resource library and the colored set of the task library together constitute the modeling process of the colored mixed time Petri net. The modeling process of the colored mixed time Petri net is as follows: Figure 4 shown.

[0169] Resources are scheduled according to the time sequence. Combining the timestamp of the place and the timestamp of the transition, the time delay is calculated, and the workflow is started according to the established time sequence logic to advance the simulation sequence.

[0170] Figure 5 FIG. 1 is a schematic diagram showing a process flow of scheduling resources in a time sequence according to an embodiment of the present invention. Figure 5 ,The specific process of resource scheduling according to time sequence is:

[0171] Step 1): Simulation starts, all unrelated start event transitions are triggered synchronously, and the time is advanced according to their own state request;

[0172] Step 2): Perform global clock synchronization according to the timestamp to determine whether there is a timing conflict in the concurrent branch. If so, execute step 3), otherwise skip;

[0173] Step 3): The global clock notifies the conflicting transition or place, and adopts the "block-wait-release" method to achieve parallel aggregation waiting;

[0174] Step 4): The simulation process defined by the entire Petri net is completed and the simulation results are calculated.

[0175] Resource conflict resolution and scheduling. When a sudden change occurs in the simulation system state or an intervention instruction is received, resources are immediately re-planned based on the coloring set in response to resource shortage conflicts, thereby quickly updating the system state and advancing the simulation timing.

[0176] Figure 5 FIG. 1 is a schematic diagram showing a process flow of resource conflict resolution and scheduling according to an embodiment of the present invention. Figure 5 ,The specific process of resource conflict resolution scheduling is:

[0177] Step 1): Sudden changes in the state of the simulation system such as battlefield environment and combat conditions occur, or guidance and control instructions are received from the outside;

[0178] Step 2): The system updates the real-time status and compares the triggering conditions of the transition event accordingly. If a transition that meets the conditions appears, the system resets the timestamp and priority.

[0179] Step 3): Synchronously update the unexecuted transition timestamps on the serial link in a time sequence to determine whether there is a resource request conflict;

[0180] Step 4): Obtain the coloring set of resources in the resource library and the coloring set of the active library, take the coloring set mapping matching function and the weight function of the active coloring set as the objective function, construct an optimization model, and perform optimization planning according to the minimum resource scheduling cost under the consideration of weights;

[0181] Step 5): Complete resource conflict scheduling, implement parallel timing optimization scheduling, complete the timing advancement of concurrent processing, and gradually complete the entire simulation process.

[0182] The intelligent simulation resource scheduling method based on the colored hybrid time Petri net of the embodiment of the present invention integrates the two modes of time label Petri net and colored set mapping, realizes the scientific scheduling and autonomous planning of multiple resources such as simulation model resources and map basic resources, adapts to the high requirements of military simulation and deduction business for parallelization, randomization and systematization, and adopts parallel computing and multi-thread processing technology as the underlying support. Specifically including:

[0183] Resource task coloring set construction. By adopting the resource hierarchical modeling and decomposition method, the resource task weight allocation function in the military simulation process is realized by decomposing the resource task step by step and performing autonomous weight generation and configuration, and the coloring set construction is completed.

[0184] Resources are scheduled in time sequence. The method of hybrid time Petri net to stipulate the time sequence advancement is adopted. By parsing the library time stamp and the change time stamp, the system time is stepped forward, the function of advancing each logical process of military simulation deduction is realized, and the resources are scheduled in time sequence.

[0185] Resource conflict resolution and scheduling. The coloring set parsing method is used to parse the weight relationship of each resource requesting task in the resource task coloring set, so as to realize the priority sorting function of resource requesting tasks on resource use, and complete the resolution of resource conflicts and priority scheduling.

[0186] The intelligent simulation resource scheduling method based on colored mixed time Petri net in the embodiment of the present invention has the following beneficial effects:

[0187] 1. Ability to graphically create workflow flow models based on standard Petri nets;

[0188] 2. Compared with the single-dimensional time-stamped Petri net, it has the ability to configure dual timestamps of continuous activity duration and instantaneous transition start time, which is more flexible and more realistically reflects the temporal logic of actual military training and combat operations;

[0189] 3. Use the coloring set mapping function algorithm to edit resource allocation rules, and have the ability to edit and expand the execution of the optimal objective function. Establish a one-to-one mapping between the resource cost and the activity in the resource library, so that conflict resolution is more efficient and targeted;

[0190] 4. Capable of intelligent scheduling of activity resources and intelligent matching of conflict coordination rules;

[0191] 5. Capable of high concurrent processing of multi-threads and multi-logical processes.

[0192] The intelligent simulation resource scheduling method based on colored mixed time Petri net in the embodiment of the present invention is verified by application based on the military simulation software platform. Combining CGF Agent technology and hierarchical evaluation technology, it uses simulation resource model agent agent and task request model agent agent as basic resource support, general distributed simulation framework as framework support, clock service, cache service and other general services as service auxiliary support, evaluation model creation loading and import parsing, evaluation parameter connection call, evaluation calculation engine service, etc. as analysis and evaluation support. By providing, integrating and calling various simulation interfaces and comprehensive services, it better simulates the systematic, diverse and collaborative nature of modern military organization and task execution. The algorithm is verified with a complete military simulation process as the background platform.

[0193] The embodiments of the present invention have been described above, and the above description is exemplary, not exhaustive, and is not limited to the disclosed embodiments. Many modifications and changes will be apparent to those skilled in the art without departing from the scope and spirit of the described embodiments.

Claims

1. An intelligent simulation resource scheduling method based on colored mixed time Petri nets is applied to military simulation deduction, which is characterized by: The intelligent simulation resource scheduling method comprises: Constructing a hybrid time Petri net, wherein the activity places and transitions in the hybrid time Petri net are configured with time stamps; The weights of the activity places and the resource places in the hybrid time Petri net are configured by coloring to obtain a colored hybrid time Petri net; In response to a predetermined first resource scheduling trigger instruction, implementing time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net; In response to a predetermined second resource scheduling trigger instruction, scheduling the intelligent simulation resources based on the colored mixed time Petri net to resolve conflicts between the intelligent simulation resource requests; The method of weighting the activity places and resource places in the hybrid time Petri net by using a coloring method to obtain a colored hybrid time Petri net includes: Creating a resource place in the hybrid time Petri net and allocating resources to the activity place and the transition; Creating a coloring set for the active place to implement weight configuration of the active place; Creating a coloring set for the resource repository to implement weight configuration of the resource repository; Create a mapping function between the colored set of the activity library and the colored set of the resource library, and then obtain the colored mixed time Petri net to be verified; A predetermined second verification program is run to verify the temporal logic of the colored mixed time Petri net to be verified. If the verification passes, the construction of the colored mixed time Petri net is completed.

2. The intelligent simulation resource scheduling method according to claim 1, characterized in that: The construction of the hybrid time Petri net includes: Obtaining basic elements for constructing the hybrid time Petri net; Representing the basic elements by means of graphical components to obtain an initial Petri net; A timestamp configured for the activity library in the initial Petri net; Configuring timestamps for transitions in the initial Petri net; Configuring the number of resource tokens and resource consumption and transfer rules for the initial Petri net to obtain a hybrid time Petri net to be verified; A predetermined first verification program is run to verify the sequential logic of the hybrid time Petri net to be verified. If the verification passes, the construction of the hybrid time Petri net is completed.

3. The intelligent simulation resource scheduling method according to claim 2, characterized in that: The step of implementing the time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined first resource scheduling trigger instruction includes: Step S11, start the transition synchronization trigger, and request time advancement according to its own state; Step S12: perform global clock synchronization according to the timestamp to determine whether there is a timing conflict in the concurrent branch. If yes, execute step S13; if no, skip; Step S13: The global clock notifies the conflicting transition or place, blocks the execution or status update of the conflicting transition or place, prevents the subsequent triggering, and realizes parallel aggregation waiting; Step S14: The parallel timing is advanced, resources flow in sequence, the simulation process defined by the colored mixed time Petri net is completed, and the simulation results are calculated.

4. The intelligent simulation resource scheduling method according to claim 3 is characterized in that: The step of responding to a predetermined second resource scheduling trigger instruction and scheduling the intelligent simulation resources based on the colored mixed time Petri net to resolve conflicts between intelligent simulation resource requests includes: Step S21, update the real-time status of the system, re-trigger the transition and set the timestamp and priority; Step S22, determine whether there is a conflict in the concurrent activity library for resources. If so, execute step S23; Step S23, obtaining a colored set of a resource library and a colored set of an activity library, and obtaining a resource optimization model based on a mapping function of the colored set of the resource library and the colored set of the activity library; Step S24: Implement resource conflict scheduling based on the resource optimization model.

5. An intelligent simulation resource scheduling system based on a colored mixed time Petri net is applied to military simulation deduction, characterized in that the intelligent simulation resource scheduling system includes: A hybrid time Petri net construction module, used to construct a hybrid time Petri net, in which both the activity places and transitions in the hybrid time Petri net are configured with time stamps; A colored hybrid time Petri net construction module is used to configure the weights of the activity places and resource places in the hybrid time Petri net in a colored manner to obtain a colored hybrid time Petri net; A first resource scheduling module, configured to implement time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined first resource scheduling trigger instruction; A second resource scheduling module is used to schedule the intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined second resource scheduling trigger instruction to resolve conflicts between the intelligent simulation resource requests; The method of weighting the activity places and resource places in the hybrid time Petri net by using a coloring method to obtain a colored hybrid time Petri net includes: Creating a resource place in the hybrid time Petri net and allocating resources to the activity place and the transition; Creating a coloring set for the active place to implement weight configuration of the active place; Creating a coloring set for the resource repository to implement weight configuration of the resource repository; Create a mapping function between the colored set of the activity library and the colored set of the resource library, and then obtain the colored mixed time Petri net to be verified; A predetermined second verification program is run to verify the temporal logic of the colored mixed time Petri net to be verified. If the verification passes, the construction of the colored mixed time Petri net is completed.

6. The intelligent simulation resource scheduling system according to claim 5, characterized in that: The construction of the hybrid time Petri net includes: Obtaining basic elements for constructing the hybrid time Petri net; Representing the basic elements by means of graphical components to obtain an initial Petri net; A timestamp configured for the activity library in the initial Petri net; Configuring timestamps for transitions in the initial Petri net; Configuring the number of resource tokens and resource consumption and transfer rules for the initial Petri net to obtain a hybrid time Petri net to be verified; A predetermined first verification program is run to verify the sequential logic of the hybrid time Petri net to be verified. If the verification passes, the construction of the hybrid time Petri net is completed.

7. The intelligent simulation resource scheduling system according to claim 6, characterized in that: The step of implementing the time-series scheduling of intelligent simulation resources based on the colored mixed time Petri net in response to a predetermined first resource scheduling trigger instruction includes: Step S11, start the transition synchronization trigger, and request time advancement according to its own state; Step S12: perform global clock synchronization according to the timestamp to determine whether there is a timing conflict in the concurrent branch. If yes, execute step S13; if no, skip; Step S13: The global clock notifies the conflicting transition or place, blocks the execution or status update of the conflicting transition or place, prevents the subsequent triggering, and realizes parallel aggregation waiting; Step S14: The parallel timing is advanced, resources flow in sequence, the simulation process defined by the colored mixed time Petri net is completed, and the simulation results are calculated.

8. The intelligent simulation resource scheduling system according to claim 7, characterized in that: The step of responding to a predetermined second resource scheduling trigger instruction and scheduling the intelligent simulation resources based on the colored mixed time Petri net to resolve conflicts between intelligent simulation resource requests includes: Step S21, update the real-time status of the system, re-trigger the transition and set the timestamp and priority; Step S22, determine whether there is a conflict in the concurrent activity library for resources. If so, execute step S23; Step S23, obtaining a colored set of a resource library and a colored set of an activity library, and obtaining a resource optimization model based on a mapping function of the colored set of the resource library and the colored set of the activity library; Step S24: Implement resource conflict scheduling based on the resource optimization model.

Images