| Modeling and Simulation(M&S) technologies have been playing an important role in weaponry development, military training, operation command and many other defense-related activities. Furthermore, Service-Oriented Distributed Simulation Applications(SODSA) have become the hot and forward-looking research issues in distributed M&S, which exhibit some new features such as large-scale, service-oriented, dynamic, complex, geographically dispersed, pervasive, and so on. Time-Space Consistency(TSC) is the foundation and prerequisite for SODSA, but previous researches are inclined to consider the concepts of special time and space, or just separately consider a part of inconsistency factors, or lack the analysis of various inconsistency phenomena and their dynamic mechanism in the entire system life cycle. Note that achieving narrow TSC(e.g., clock synchronization, time advance consistency and space calibration) is only the necessary condition of ensuring the consistency or correctness of simulation processes and results; moreover, some generalized TSC issues, which involve consistency maintenances of simulation models, simulation services, users and experts’ cognition and so on, also have played a vital role in TSC degree of the whole simulation processes. Hence, aiming at emerging new traits of distributed simulation applications and their connotation of generalized TSC, some new frameworks, theories and methods are urgently required to improve the TSC degree of SODSA.To resolve the mentioned-above problems, firstly, we present a global problem-solving framework for generalized TSC issues in the whole SODSA system and elaborate the requirements and contents of generalized TSC and their relationships among various time-space domains, and then focus on the establishment of dynamic TSC evolution models for each time-space domain and quantitatively analyze various influencing factors that lead to generalized inconsistencies. On this basis, then we make an in-depth study of novel clock synchronization algorithm and its performance for resource domain’s TSC control, and also propose a multi-level quantitative evaluation model of generalized TSC control for the whole time-space domain. Finally, combining with the proposed theory and control methods of TSC, taking a typical simulation scenario development of Unmanned Aerial Vehicles(UAV) fight as background, we implement generalized TSC control methods in practical engineering, and the actual system’s running results demonstrate that the proposed theory and methods are effective and correct. The detailed research items of the thesis are as follows:(1) We propose the hierarchical consistency requirements framework and its concept models for generalized time-space domain in SODSA. First, the concept of narrow and generalized simulation time-space are defined; on this basis, by analyzing requirements of generalized TSC and its influencing factors that lead to inconsistency, the global axis of TSC, which refers to bottom resources, simulation models, simulation services and users’ perception, is expatiated; then, the hierarchical consistency requirements framework and models are presented, including Consistency- Hierarchical Requirement Framework(C-HRF), Consistency- Resource-Model-Service-Perceive model(C-RMSP), and Consistency- Time-space Maturity(C-TSM), which comprehensively and systematically expound the generalized hierarchical TSC’s meanings, features and different time-space domains’ consistency relationships in SODSA. The mentioned-above studies make a foundation for the following researches such as modeling and analysis of dynamic evolution mechanism of TSC and its applications.(2) We emphatically construct the three-level consistency evolution models of generalized TSC influence mechanism in SODSA and quantitatively analyze the impact power of various influencing factors that lead to inconsistency phenomena in each time-space domain’s evolution model. Three-level evolution models include clock consistency evolution based on finite state automata(FSA) in resource domain, model consistency evolution based on a connected hyper-digraph in model domain and service consistency evolution based on extended hierarchical FSA in service domain. For the studies of TSC evolution mechanism in different time-space domains, firstly, we make an in-depth analysis of TSC evolution mechanism and primary factors that lead to inconsistency; secondly, according to each time-space domain’s dynamic evolution characteristics of TSC, we establish the dynamic evolution models of TSC for each simualtion domain above, using FSA theory, extended graph theory, extended FSA theory respectively; thirdly, we propose the quantitative evaluation algorithms for each time-space domain’s dynamic analysis of influence factors; finally, we implement a quantitative simulation analysis of various factors in each time-space domain by running the mentioned-above evaluation algorithms, to verify the effectiveness of our proposed models and algorithms, which make a foundation for future related application researches.(3) We introduce a novel synchronization algorithm of parametric difference(SAPD) that can control the consistency states in resource domain’s clocks and also make an in-depth performance analysis of SAPD. On the basis of quantitative analysis results of clock consistency evolution in resource domain, we design a new clock synchronization algorithm SAPD and mainly focus on its performance testing. Firstly, the application background and related concepts of SAPD are described; secondly, the principles and characteristics of the logic clock model which is based on parametric difference ideas are expatiated; then, based on this logic clock model, two synchronization schemes(in single-hop network and multi-hop one) are proposed and also the limitations of our schemes are analyzed; finally, the convergence, synchronization time, synchronization accuracy and stability of SAPD are deeply measured and analyzed in simulation experiments to verify feasibility and effectiveness of the algorithm.(4) We construct a multi-level quantitative assessment model of generalized TSC control in SODSA. The model consists of three parts: weight assignment model, multi-level index system of TSC evaluation and quantitative evaluation criteria of TSC. Firstly, the basic concepts and assumptions are introduced; secondly, the formal definitions and standards of TSC’s quantitative assessment are presented, which include the definitions of consistency states, the definitions of consistency indexes, evaluation standards, et al; then, referring to the previously proposed C-HRF, we design a multi-level evaluation index system; finally, we establish a multi-level quantitative evaluation model and give its simple application case.(5) We give a typical TSC control example in complicated and distributed UAV simulation system by using our proposed theories and methods. Aiming at the generalized TSC control problems in each time-space domain, a series of pertinent technical approaches, management strategies and development standards are presented, combined with the proposed C-HRF, theoretic methods and related application researches. The integration and implementation of all subsystems demonstrate the proposed theories and methods’ correctness and effectiveness.This thesis make a systematic investigation of generalized hierarchical consistency requirements theories in SODSA, detailedly analyze the dynamic disturbance mechanism of various influence factors that lead to inconsistency, and partially conduct some special application researches based on TSC evolution mechanism in partial time-space domains to solve generalized inconsistency problems. These research achievements in the thesis can bring a certain theoretical and practical significance to maintain the correctness of logical time sequence relations, the consistency of simulation processes evolution, and the correctness of simulation results and posture displays, which can guide follow-up related TSC studies in SODSA and can improve the generalized TSC degree of the overall SODSA system.
|
PDF Full Text Request