A Design-Task-Oriented Model Assignment Method in Model-Based System Engineering

In model-based system engineering (MBSE), reuse of existing models in the development of a new system can be advantageous. Automatic assignment of existing models to each design task within a design task set has been proven to be feasible. However, while several studies have discussed the significance of models in MBSE and methodologies for models reuse, solving the model reusability problem through a model assignment method has not been discussed. Additionally, a significant challenge in model assignment is to address the conflict between the maximization of the model value summations, which are yielded by assigning the models to a design task set, and the minimization of the execution cycle of the task set. .is study (a) proposes a design-taskoriented model assignment method that establishes a multiobjective model, based on a model assignment integration framework, and (b) designs a differential-evolution-combined adaptive nondominated sorting genetic algorithm-II to provide an optimal tradeoff between maximizing the total model values and minimizing the execution cycle of the task set. By comparing the performance of the algorithm in resolving the assignment of models to a design task set with those of two conventional algorithms in a phased-array radar development project, the algorithm’s performance and promotion of system development are verified to be superior..e newmethod can be applied for developingmodel scheduling software forMBSE-compliant product development projects to improve using effects of the models and development cycle.


Introduction
Considering the increasingly sophisticated customer demands and the growing requirements for increased product development capabilities-given that products are more integrated and intelligent in various industries, including aviation and space-the traditional product development mode is no longer satisfactory [1]. Model-based system engineering (MBSE) accomplishes the development of complex products with a new mode and is capable of forecasting product behaviors, thereby improving the productivity of the product development process. Arguably, the developments of aviation and space systems, which are regarded as the most complex cyber-physical systems (CPSs) in the industry [2], have adopted the MBSE approach to facilitate the implementation of all the phases of the product lifecycle [3][4][5][6][7][8]. e widespread use of MBSE has tended to shift emphasis from data management to model management throughout the entire product's lifecycle [9].
MBSE is the formalized application of modeling used to support system requirements, design, analysis, and verification and validation activities, beginning with the conceptual design phase and continuing throughout the development and later lifecycle phases [10]. e output of the MBSE activities is a coherent model of the system (i.e., system model), whereby the emphasis is placed on the evolution and the refinement of the model using modelbased methods and tools [11]. erefore, the model plays the most important role in each stage of the product's lifecycle.
In the concept and design phases, a shared system model is needed to support the exchange of information across various aspects. Accordingly, this system model serves as the core model of the system to provide information and maintain consistency with domain-specific models. For example, the Space Systems Working Group of International Council on Systems Engineering developed the CubeSat reference model for mission-specific CubeSat teams [6]. e German Aerospace Center presented the conceptual data model as an abstraction of domain-specific models [5]. In the development of mechatronic systems, Barbieri et al. used the conceptual model as the information source for domainspecific models of every functional module [12]. Researchers from nine leading Chinese academic and industrial institutions have gathered to discuss the definition and application of MBSE-compliant product meta-models [9].
MBSE has also found application in the early tender phases of complex CPS development, wherein the complex CPS customer can use the MBSE approach to generate a model-based request for tenders and pass it on to the supplier who can use the model to perform system development. Australia's Defense Science and Technology Organization pioneered the adoption of a whole-of-system analytical framework for information transfer across the contractual interface [8]. e integrated design methodology proposed in [12] also demonstrated that the MBSE approach can be used to fulfill stakeholder requirements by adopting them in the system requirements. In addition to the above stages, MBSE can also be used as an effective method for product manufacturing system planning in the manufacturing phase [13,14].
At a higher level, a model-based system analysis framework is needed to provide the capability to access, integrate, and transform disparate data into actionable information for the design and analysis of complex systems.
e United States (U.S.) Air Force (AF) established the digital thread initiative [3,15] that generates an engineering analytical framework based on an authoritative digital surrogate representation throughout the entire product's lifecycle. e most commonly used modeling language in MBSE is the system modeling language (SysML), a general-purpose graphical modeling language that supports analysis, specification, design, verification, and validation of complex systems [11,16], and has been adopted by many MBSE projects [1,9,12,13,17]. Despite the fact that it is accepted by the Object Management Organization as a standard modeling language, SysML is not easy to adapt for system engineers who have not been exposed to object-oriented concepts because, like the unified modeling language (UML), it emphasizes familiarity with these concepts. For ease of use, organizations have developed some modeling languages, including the modeling and analysis of real-time embedded (MARTE) systems [18], architecture analysis and design language (AADL) [2], domain-specific modeling language (DSML) [19], and others. Based on these languages, some powerful MBSE platforms and tools have been developed. For example, ales' ARCADIA ™ and Capella ™ workbench [20,21] support requirement analyses and system design in the areas of transportation, aviation, space, and radars, while Tucson Embedded Systems' AWESUM ™ tool suite supports the U.S. Army's joint common architecture project [2]. In addition, the U.S. Department of Defense's high-performance computing modernization program has developed a computational research engineering acquisition tools environment for air vehicles [3] and realized the digital thread of the U.S. AF.
With the increasing application of the MBSE approach in the industry, numerous models built using various modeling languages have been stored by various organizations adopting MBSE. However, the models are often not reused effectively. When faced with a new development project, the development teams often create new models, rather than reusing the existing models available within each discipline. is repetition of work amounts to an unnecessary expenditure of cost and time for the project. To reuse existing models, appropriate models should be identified and assigned to each of the design tasks in the development project. While literature on model reuse has described approaches for applying development environments [22], ontologies [23], and model repositories [24,25], no previous studies have discussed model assignments. erefore, this study focuses on the establishment of a design-task-oriented model assignment method to support model reuse in MBSE. e study includes the following main components.
(i) An integration framework capable of assigning the models in the repository to the design task set is established. In existing MBSE approaches, simply integrating the tools into the product lifecycle development environment [2,3] does not enable model reuse because it does not consider how the stored models are assigned to the design tasks of the project. e framework proposes an optimization scheme for matching the models and the design tasks to support the needs of the MBSE platform and tools for models reuse. (ii) e value of each model for a design task is quantified. is captures the suitability of the model for the task. e literature regarding model management in MBSE and software engineering has focused on model management platform [26], model repository building methods [27], and so on, but has not provided a method for the evaluation of model value for the task. is study applies an advantage-number-based analytical technique to evaluate the models to be assigned from the perspective of value and, accordingly, preferentially filters the models to establish a design-task-oriented preferred model set.
(iii) A mathematics model for design-task-oriented model assignment and an optimization algorithm are proposed. is study suggests a multiobjective model of design-task-oriented model assignments to minimize the task set execution cycle and maximize the actual value summation of the models. Additionally, to solve the proposed multiobjective model, the study has designed a differential-evolution-combined adaptive nondominated sorting genetic algorithm-II (DA-NSGA-II).

Mathematical Problems in Engineering
Finally, based on a case study, the new algorithm is proven to have better performance and promotion of system development than the traditional nondominated sorting genetic algorithm-II (NSGA-II) and particle swarm optimization (PSO). e rest of this paper is organized as follows. e second section describes a design-task-oriented model assignment integration framework. In the third section, a multiobjective model of model assignment is established according to the quantification of model value. e fourth section proposes an improved NSGA-II to solve the multiobjective model. A case study based on a phased-array radar development project is discussed in the fifth section. Finally, the sixth section focuses on the study's conclusion and the potential avenues for future work.

Design-Task-Oriented Model Assignment Integration Framework
In the field of MBSE, model reuse is able to improve the efficiency and reduce the cost of system development. It is a feasible method to assign the existing models to the tasks within a design task set under the condition of discipline matching between the models and the tasks. Using the method, a suitable model is selected for each task according to the model value for a design task and the execution cycle of the task set following the assignment of the models to the task.
Owing to the different properties of the model for different tasks, such as integrality and reliability, the same model would yield different values when applied to various tasks. A model is considered to yield a high value if it can improve the execution effect of a task that it is assigned to. By contrast, the same model is considered to yield low value if it would worsen the execution effect of another task that it is assigned to. In general, model assignment attempts to achieve the highest possible summation of the models' actual values once the models are assigned to the tasks.
In addition, the execution cycle of a single task is different when different models are applied. For a given task set restricted by the temporal relation of the tasks, the applied model assignment strategy determines the execution cycle of the task set. us, to complete the task set as soon as possible, another objective of the model assignment is the minimization of the task set execution cycle. For a simple system, the existing models can be manually assigned to each task in the design task set with ease. However, when the developed system is relatively complex, the model values for a task cannot be directly measured due to the complex model properties and wide task ranges. us, it is difficult to directly compare the values of a set of models for a particular task. Moreover, in the development of a complex system, a single model assignment scheme cannot simultaneously satisfy the requirements of maximizing the total model value and minimizing the task set execution cycle. e model assignment solutions must be optimized to determine the optimum scheme.
However, the optimization cannot be performed by a human due to the large number of models and tasks in a complex system.
Consequently, a framework for model assignment integration must be established in the field of MBSE in order to quantitatively evaluate the model values and perform an optimal tradeoff between the maximization of the total model values and the minimization of the execution cycle. By doing so, an optimum solution is obtained allowing the assignment of models to the design task set. e current study establishes a design-taskoriented model assignment integration framework, as presented in Figure 1. e key features of the framework are as follows.
(i) A model repository needs to be defined, and the existing models of previous projects should be saved in the repository. (ii) e design task set is derived from task planning. (iii) e values of the models from the model repository, with respect to the design tasks, are evaluated quantitatively. Next, a preferred model set is generated after an optimal selection of models based on the quantitative values of the models. (iv) According to the preferred model set value and cycle matrices concerning the design task set, a multiobjective model that relates the maximization of the models' actual value summation and the minimization of the task set execution cycle is established.
(v) e model assignment scheme is obtained by a multiobjective optimization algorithm.

Calculation of Model's Actual Value for
Task. Based on the model assignment integration framework, models are selected from the model repository. is process involves the calculation of the actual values of different models for each of the specified tasks. e given development project applies the mode of MBSE assuming that the task set T � T 1 , T 2 , · · · , T n has n models. Additionally, the model repository related to the task set has l models, with M � M 1 , M 2 , · · · , M l as the model set and S � s 1 , s 2 , · · · , s k as set of the models' attributes.
where g � 1, 2, · · · , k, i � 1, 2, · · · , l, j � 1, 2, · · · , n, w g is the weight of the model's attribute, and c i j (s g ), which is expressed by the five-demarcation method as 1, 3, 5, 7, 9 { }, is the value of the attribute s g of model Mi after it is assigned to task Tj.

Mathematical Problems in Engineering
Here, the model's attribute weight w g is determined using a method based on the significance of the Pawlak attribute in the decision table according to rough set theory [28]. To list the model values of the decision table, select the original assessment data of l′ models from the model repository as the universe of discourse U, condition attribute set S as the set of model attributes s 1 , s 2 , · · · , s k , formulate the decision attribute set D as the set of model values v { }, and assign the field value according to {high, middle, low}. e decision table is thus obtained.   Table 1 varies with decision attribute v. In order to determine the significance, we investigate how the decision table classification varies with the removal of the model attribute from the decision table. Generally, if model attribute s g is deleted from condition attribute set S, then the impact of deleting s g on the classification ability of S relative to decision attribute v increases with the value of namely, s g becomes more significant for S relative to decision attribute v.

Definition 2.
e significance of the model attribute s g for the condition attribute set S relative to the decision attribute v is formulated as where is the approximation quality of v by S − s g , pos (S) (v) is the S-positive region of v, and pos (S−s g ) (v) is the (S − s g )-positive region of v. erefore, the weight of the model attribute s g is obtained as follows:

Model Selection Based on Advantage Number Analysis.
To improve the development efficiency, an optimal selection must be conducted before the model assignment to filter out parts of the preferred models for specific tasks, given that not all the models would be applied in all the tasks. In this case, the model selection uses an approach based on advantage number analysis. According to Definition 1, the values of the l models M 1 , M 2 , · · ·, M l , for task Tj provide the value vector V j � (v 1j , v 2j , · · · , v lj ) T . Set the highest value component of V j as the ordinal number one, the second-highest value component as the ordinal number two, and so on. Further, V j can be converted in the ordinal number vector R j � (r 1j , r 2j , · · · , r lj ) T of the values of l models for task Tj, whereby r ij (i � 1, 2, · · ·, l) denotes the order of model Mi in the model value list for task Tj.
Correspondingly, in the task set, n tasks produce n ordinal number vectors, and all the ordinal number vectors would constitute a model value ordinal number matrix with l × n dimensions.
R � r 11 r 12 · · · r 1n r 21 r 22 · · · r 2n · · · · · · · · · · · · r l1 r l2 · · · r ln Based on the advantage number analysis method, the respective advantage number of each element in matrix R would be e ordinal number r ij can be converted to an advantage number a ij . Apparently, a lower ordinal number generates a higher model value on the specific task and a bigger advantage number. erefore, the model value ordinal number matrix can be converted to a model value advantage number matrix.
A � a 11 a 12 · · · a 1n a 21 a 22 · · · a 2n · · · · · · · · · · · · a l1 a l2 · · · a ln By summing up all the advantage numbers on each line in A, the advantage number summation of the specific model corresponding to the line is obtained.
Upon selection of a proper threshold λ, all the A i ≥ λ models are the assignable models selected from the model repository. Assuming that the number of the selected models is m, the value matrix of m selected models for n tasks of the task set can form an m × n dimensional matrix.

Establishment of a Multiobjective Model of Model
Assignment. Without considering possible constraints on resources, the problem associated with the design-taskoriented model assignment in MBSE involves n tasks within a development project that applies an MBSE Middle Low · · · High Low 2 Middle High · · · Middle Middle · · · · · · · · · · · · · · · · · · l′ Low High · · · High High Mathematical Problems in Engineering 5 mode. Precedence relations exist between some of the tasks that prohibit the onset of the task Tj (j � 2, 3, · · ·, n) before all of its precedence tasks T h (h ∈ P j ) are completed. Secondly, the model repository involves m selected models for all the specified tasks. Task Tj (j � 1, 2, · · ·, n) has to choose one of the selected models to be performed, and the model cannot be ceased or changed to another model form during the task once the model is assigned selectively. e actual value of model Mi is different after it has been assigned to different tasks. Meanwhile, for task Tj, the cycle varies depending on the application of different models. us, the cycle matrix of m selected models for n tasks in the task set can be expressed as e model assignment must meet the two objectives, namely, the minimization of the task set execution cycle and the maximization of the models' actual value summation.
A decision variable can be introduced as x ijt � 1, model M i is assigned to task T j and task T j is accomplished at phase t, 0, others.
Equations (11) and (12) are objective functions that, respectively, denote the minimization of the task set execution cycle and the maximization of the models' actual value summation (after the models are assigned to the tasks). Equation (13) indicates that each task requires only a single model and can be executed only once. Equation (14) indicates that task Tj can only be started if all the precedence tasks T h are accomplished. Equation (15) defines the range of values of the variable. Correspondingly, a solution of the multiobjective model is achieved after the determination of each model's assignment manner and each task's completion time Fj.

Algorithm for the Solution of the Multiobjective Model Assignment
e design-task-oriented model assignment problem is a multiobjective optimization problem. Many optimization algorithms have been developed to solve the optimization problem [29,30], such as NSGA-II presented by Deb et al. [31,32] and PSO developed by Kennedy and Eberhart [33]. e algorithm was proved to be superior to other evolutionary algorithms regarding the overall fitness [34]. In MBSE projects, the algorithm was applied to aviation [15], space [7,35], software [36], and manufacturing [37]. In these applications, the researchers of NSGA-II achieved improvements.
is study introduces the DA-NSGA-II algorithm to solve the proposed design-task-oriented model assignment.
e algorithm framework is shown in Figure 2 and the operating procedures are described below: Procedure 1: establishment of the initial population. e codes of the chromosomes are generated based on the different task assignment manners of each selected model. e code length equals the task quantity n, and the code bits denote the corresponding tasks. e value range of each code bit ranges from 1 to m, while the actual value is decided by the model code that is being assigned to the specific task represented by code bits. According to the coding rule, the initial population is obtained to utilize the individuals that are randomly generated according to the population size to meet the constraints. Procedure 2: the first fast nondominated sorting. Upon the calculation of each individual's execution cycle of the task set and the actual value summation of the models, the fitness values of the individuals are obtained. Each individual's ordinal number and crowding distance are then obtained by fast sorting the individuals in a nondomination manner based on the fitness value. Procedure 3: crossover and mutation. Consider some of the individuals selected via tournament selection as parents. First, the children with an equal number of the parents are achieved with precedence operation crossover (POX) and neighborhood mutation. To increase the diversity of the children, a differential evolution (DE) algorithm is used on the parents to generate the second batch of children with an equal number of the parents. Procedure 4: the second fast nondominated sorting. e two batches of children obtained based on crossover, mutation, and DE are introduced in the population, and each individual's ordinal number and crowding distance can then be obtained by executing the second fast nondominated sorting on the new population. Procedure 5: we introduce an adaptive algorithm in the elite-reserve solution and reserve the elitist individuals from the lowest ordinal number to the highest one as the next generation until the number of individuals reaches the defined population size. In the cases of individuals with the same ordinal numbers, those with larger crowding distances are preferred to be reserved. e reservation rate is where t indicates the number of iterations. Procedure 6: we output the results once the stop criterion is satisfied, which, in our case, is the maximum number of generations. Alternatively, the execution jumps to Procedure 3.

Assignment Solution of Models to the Design Task Set in a
Phased-Array Radar Development Project. e MBSE method was applied in a phased-array radar development project. e project's task set involved 14 tasks: T 1 for logical architecture decomposition, T 2 for the simulations of the main lobe and the side-lobe characteristics of the radar antenna, T 3 for interference suppression simulations, T 4 for clutter suppression simulations, T 5 for the assignment of component functions, T 6 for component interface definitions, T 7 for amplitude-phase consistency design, T 8 for radio frequency (RF) modeling, T 9 for RF simulations, T 10 for scan matching simulations, T 11 for small-scale modeling, T 12 for small-scale simulations, T 13 for radar cross section simulations, and T 14 for virtual system integration analysis. e temporal relations among tasks are precedence restrictions (i.e., start-end relations) (see Figure 3 for the temporal relations).
ere are 15 models whose disciplines match the task set. Each model involves five attributes, that is, model integrity (s 1 ), simulation operating efficiency (s 2 ), simulation confidence (s 3 ), model compatibility (s 4 ), and model interoperability (s 5 ). See Table 2 for the execution cycles of each task when separate models are applied. e objective of the case is to find the optimal solution that assigns the models to the design tasks in the task set based on the proposed method. We first perform an optimal selection of the models. To calculate the model values, the weights of the model attributes have to be determined as a prerequisite. Selecting 12 Create initial population by randomly generating the individuals that meet the constraints Initialize parameters: population scale, max generations g max , crossover probability P c , mutation probability P m , differential zoom factor F, differential evolution (DE) crossover probability CR Precedence operation crossover  Table 3.
According to (2) and (3), the weights of the model attributes s 1 , s 2 , s 3 , s 4 , and s 5 would be  (5,4,8,3,13,9,1,14,10,6,12,11,2,15,7) T . According to (4), the ordinal number matrix R composed of the ordinal number vectors of all the tasks from the task set can be formulated. According to (5), the advantage number matrix A can be realized based on the conversion from the ordinal number matrix. Finally, based on (7), the advantage number summations of each model can be achieved, as listed in Table 5.
According to the experience, choosing the threshold λ � 106, the assignable selected model set in the model re-  Table 6. We attempted to solve the assignment of each selected model to the task set by utilizing DA-NSGA-II according to the objective functions of (11) and (12), based on the assumption of the following parameters: 200 for the initial Figure 3: Temporal relations between model-based design tasks of a phased-array radar. Table 2: Execution cycles of each task when separate models are applied (unit: day).
Model    Table 6: Value matrix of the selected models for all tasks.
Model  population size, 200 for maximum generations, probability of crossover Pc � 0.9, probability of mutation Pm � 0.1, differential zoom factor F � 0.5, and probability of DE crossover CR � 0.7. A set of Pareto optimal solutions were obtained, and the objective values are presented in Table 7.
In the phased-array radar development project, we can select one of the solutions from the Pareto optimal solution set by considering the practical constraint of the execution cycle and the expectation of the of the model value summation to determine the eventual model assignment scheme. For example, the assignment scheme demonstrated by solution 10 is listed in Table 8.

Performances Comparison.
e traditional NSGA-II and PSO have also been used to solve the model assignment model to verify the performance of the proposed algorithm. e same parameters are preset in both NSGA-II and DA-NSGA-II. e initial population size and maximum generations of PSO are equal to those of DA-NSGA-II, with the remaining PSO parameters set as follows: acceleration constants c 1 � 0.8 and c 2 � 0.8; inertia weight ω max � 1.2 and ω min � 0.1. e comparison diagram of the Pareto fronts generated by the three algorithms is shown in Figure 4.
From Figure 4, we can always find superior solutions in the Pareto front of DA-NSGA-II by comparing to the Pareto front of the traditional NSGA-II and PSO. is proves that the convergence of DA-NSGA-II is superior to that of NSGA-II and PSO.
To conduct a quantitative evaluation on the performance of DA-NSGA-II, the study applied the S-and M-measures as the evaluating indicators. Based on the solutions of the model assignment with DA-NSGA-II, NSGA-II, and PSO, Table 9 presents a comparison of S-and M-measures of the three Pareto optimal solutions achieved by executing separately the three algorithms 10 different times. Table 9 demonstrates that the mean value of the S-measure in the DA-NSGA-II case is lower than those associated with NSGA-II and PSO, and the mean value of the M-measure in the DA-NSGA-II case is higher than those obtained from the execution of NSGA-II and PSO. It also shows that the standard deviations of the S-and M-measures in the DA-NSGA-II case are lower than those in the NSGA-II and PSO cases. ese results indicate that the distribution uniformity and the range of the solution outcomes generated by the DA-NSGA-II algorithm are superior to those of the NSGA-II and PSO algorithms-based solutions, and the outputs of DA-NSGA-II are more stable than those of NSGA-II and PSO. Figure 5 compares the execution cycles and model value summations outputted by DA-NSGA-II, NSGA-II, and PSO from generations 1 to 200. e value of each execution cycle is the minimum execution cycle in the Pareto solution set outputted by the algorithms at each generation ( Figure 5(a)). Each model value summation is the maximum summation of the model values in the Pareto solution set outputted by the algorithms at each generation ( Figure 5(b)). e execution cycle and model value summations achieved by DA-NSGA-II begin to converge before generation 20, while those of DA-NSGA-II begin to converge at generations 21 and 37, respectively. PSO is not able to attain the optimal values until generations 101 and 135, respectively. ese results indicate the faster convergence rate of DA-NSGA-II compared to those of NSGA-II and PSO.

Optimizing Effects Comparison.
In this section, we compare the optimizing effects via DA-NSGA-II, NSGA-II, and PSO. First, the execution cycles of the task set corresponding to the model assignment schemes optimized by the three algorithms are compared. e comparison is performed between solutions with equal model value summations. However, from DA-NSGA-II Pareto optimal solution set, we cannot determine a solution with model value summation exactly equal to that of the Pareto optimal solution from NSGA-II or PSO. erefore, solution sets A and B in the Pareto front generated by DA-NSGA-II are calculated via interpolation. e model value summations corresponding to the solutions in solution set A (B) are equal Table 8: Models for various tasks demonstrated by solution 10 in Table 7.    to those of the Pareto optimal solutions based on NSGA-II (PSO). We denote the execution cycle of the task set related to the Pareto optimal solution from NSGA-II, set A, PSO, and set B as EC 1 , EC 2 , EC 3 , and EC 4 , respectively. Figure 6 presents the comparison between EC 1 and EC 2 and between EC 3 and EC 4 , under the condition that the corresponding summations of the model values are equal. e bar chart in Figure 6(a) compares EC 1 and EC 2 with equal model value summations from the Pareto optimal solution sets generated by DA-NSGA-II and NSGA-II, respectively, while the line graph presents the percentage decrease of EC 2 compared to EC 1 . EC 2 is 2.8-9.2% lower than EC 1 . Similarly, the bar chart in Figure 6(b) compares EC 3 and EC 4 with equal model value summations from the Pareto optimal solution sets generated by DA-NSGA-II and PSO, respectively, while the line graph presents the percentage decrease of EC 4 compared to EC 3 . EC 4 is 6.1-18.7% lower than EC 3 . us, the design efficiency of the model assignment solution optimized by DA-NSGA-II is higher than those optimized by NSGA-II and by PSO. e efficiency improved on average by 4.2% and 11.0%, respectively. Second, the model value summations corresponding to the model assignment solutions optimized by the three algorithms are compared. We define the model value summation of the Pareto optimal solution generated by NSGA-II, PSO, and DA-NSGA-II as SV 1 , SV 2 and SV 3 , respectively. Figure 7 compares SV 1 , SV 2 , and SV 3 under the condition of equal task set execution cycles. e bar chart in Figure 7 compares SV 1 , SV 2 , and SV 3 for equal task set execution cycles from the Pareto optimal solution sets obtained by the three algorithms, while the line graph presents the percentage increase of SV 3 compared to SV 1 and that of SV 3 compared to SV 2 . SV 3 is 1.1-5.7% greater than SV 1 , with an average increase of 3.2%, while SV 3 is 4.4-11.1% greater than SV 2 , with an average increase of 6.8%. erefore, the model assignment solution optimized by DA-NSGA-II promotes the design task set to a greater extent compared with those optimized by NSGA-II and PSO.

Conclusions
e proposed design-task-oriented model assignment framework that involves model value selection, multiobjective model establishment, and the multiobjective optimization algorithm provides a solution for the problem of model assignment in the model repository to the design tasks in MBSE.
In MBSE, design-task-oriented model assignment based on model value quantification involves the use of multiobjective optimization.
is study applies an advantagenumber-based analytical technique to quantify the models' values and consequently obtains the value matrix of the models. e goals of the multiobjective model of model assignment, which is established based on the models' cycle and value matrices on the specified tasks, are the minimization of the task set execution cycle and the maximization of the models' actual value summation. e proposed DA-NSGA-II algorithm increases the diversity of the population and reserves more elite solutions based on the introduction of the DE algorithm and the adaptive elite-reserve solution. e convergence, distribution uniformity, and ranges of the solution outcomes of the algorithm are superior to those of the traditional NSGA-II and PSO. Moreover, the algorithm is more conducive to improving the design efficiency and effect than NSGA-II and PSO. e algorithm is therefore favorable for the solution of problems that involve design-task-oriented model assignments.
Further research should focus on the following two additional perspectives. (1) In the current study, the establishment of a multiobjective model assumed a precondition of unlimited resources. However, resources that  Data Availability e data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest
e authors declare that there are no conflicts of interest regarding the publication of this paper.