Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Simulation (131)
- Virtual reality (41)
- Genetic algorithm (40)
- Numerical simulation (40)
- Path planning (36)
-
- Modeling and simulation (34)
- Particle swarm optimization (34)
- Deep learning (33)
- Modeling (33)
- Multi-objective optimization (28)
- Fault diagnosis (27)
- Digital twin (25)
- Simulation model (23)
- Reinforcement learning (22)
- System simulation (22)
- Neural network (21)
- Visualization (21)
- Optimization (19)
- System dynamics (19)
- Virtual simulation (18)
- Complex network (17)
- Traffic simulation (17)
- Permanent magnet synchronous motor (16)
- UAV (16)
- Unity3D (16)
- Energy consumption (15)
- Support vector machine (15)
- Collision detection (14)
- Deep reinforcement learning (14)
- Parameter identification (14)
- Publication Year
Articles 691 - 720 of 3363
Full-Text Articles in Physical Sciences and Mathematics
Modeling And Simulation Of Car Following In Fog Based On Cellular Automata, Zhanhong Liu, Xiujian Yang, Xiangji Wu, Huang Zhen
Modeling And Simulation Of Car Following In Fog Based On Cellular Automata, Zhanhong Liu, Xiujian Yang, Xiangji Wu, Huang Zhen
Journal of System Simulation
Abstract: In order to ensure the safety of driving in foggy weather, a microscopic model of car following and lane changing traffic flow is established based on cellular automata. In view of the instability of car following state in foggy weather, dynamic random acceleration is introduced to segment modeling. The simulation accuracy is improved by refining cell size and cell step size and adding position update allowance. The relationship curves of speed and vehicle dispersion with time and the speed density diagram are obtained. The results show that: the vehicle speed fluctuates greatly in medium fog; the dispersion …
Virus Propagation And System Simulation Based On Cellular Automata Model, Lijuan Zhang, Fuchang Wang, Zhengang Li
Virus Propagation And System Simulation Based On Cellular Automata Model, Lijuan Zhang, Fuchang Wang, Zhengang Li
Journal of System Simulation
Abstract: A susceptible-latent-infected-cured-immune virus spreading model is established according to the characteristics of epidemic transmission and the actual urban spatial map model. Individuals in the environment are regarded as agents, and the spreading mechanism is established according to the principle of cellular. The effects of different strategies and different characteristics of virus spreading on epidemic have been studied. The role and effect of important factors on epidemic prevention and control method are discussed, and the model is validated taking Shijiazhuang epidemic as an example . The results show that the number of initial latent, the infectivity of disease, vaccination proportion …
Virtual And Real Fusion Experiment Simulation Technology Based On Gesture Interaction, Xuyan Zou, Hanwu He, Yueming Wu, Jingwei Deng
Virtual And Real Fusion Experiment Simulation Technology Based On Gesture Interaction, Xuyan Zou, Hanwu He, Yueming Wu, Jingwei Deng
Journal of System Simulation
Abstract: In experimental teaching, some traditional experiments cannot be carried out due to limitations of experimental environment, experimental equipment, and faculty. In order to solve the above problems, the method of constructing virtual and real fusion simulation experiment using depth cameras is explored.. The Aruco labeling algorithm is used to achieve one-to-one registration of the virtual scene and the real scene, and the experimental environment of virtual and real fusion is constructed combining the colour images and depth images collected by the depth camera in real time. In order to achieve the purpose of operating virtual equipment, a gesture interaction …
Mechanism Design For Entities' Passive Dimensional Sensing Interaction In Discrete Event Simulations, Yan Fei, Bin Gan, Zhaodi Chen, Wenjuan Ma, Luyao Li, Zhang Ke
Mechanism Design For Entities' Passive Dimensional Sensing Interaction In Discrete Event Simulations, Yan Fei, Bin Gan, Zhaodi Chen, Wenjuan Ma, Luyao Li, Zhang Ke
Journal of System Simulation
Abstract: Dimensional sensing interaction mechanism is a method of computing the entities' visibility on the basis of the position and visible range, and informing when and where the entities can perceive each other. Entities' active computing on the relative position needs a lot of computation and is low efficiency, and slow down the simulation execution at last. The mechanism and framework of the passive dimensional sensing interaction, including the spatial grid models, discrete movement models, and passive sense models are researched. Dimensional sensing interaction manager is designed to realize the computation of entities' dimensional sensing interaction in discrete event-based battle …
Hurricane Trajectory Outlier Detection Method Based On Variational Auto-Encode, Wanting Qin, Songyang Lao, Tang Jun, Lu Cong
Hurricane Trajectory Outlier Detection Method Based On Variational Auto-Encode, Wanting Qin, Songyang Lao, Tang Jun, Lu Cong
Journal of System Simulation
Abstract: Hurricanes often cause incalculable human and economic losses, and the trajectory outlier detection can provide the auxiliary information or abnormal warning of the disaster. On deep learning, a method of hurricane trajectory outlier detection based on variable auto encoder (VAEOD) is proposed in this paper. The trajectory is divided into equal sequence sub trajectories based on the sliding window as the input of VAE. The trajectory reconstruction model is trained by the VAE. The parallel, vertical and angle distance of reconstructed trajectory and the input trajectory are compared to find out the outlier trajectory segments. The simulation experiment on …
Visual Analysis Method Of Tobacco Quality Data Based On Dimension Reduction, Tian Dong, Guihua Shan, Xuebin Chi, Yanling Zhang, Weihua Feng, Jianwei Wang, Aiguo Wang, Wang Rui
Visual Analysis Method Of Tobacco Quality Data Based On Dimension Reduction, Tian Dong, Guihua Shan, Xuebin Chi, Yanling Zhang, Weihua Feng, Jianwei Wang, Aiguo Wang, Wang Rui
Journal of System Simulation
Abstract: In order to meet the requirements of tobacco leaf matching across regions in tobacco material selection, a visual analysis method of tobacco leaf quality data that incorporating dimension reduction and correlation analysis methods is developed. Through the dimension reduction algorithm, the comparison algorithm and the visual interaction method based on the classification of aroma area for tobacco leaf quality data, a visual analysis method for exploring space division and correlation analysis of tobacco leaf quality data is provided. National tobacco leaf quality data analysis cases and expert demonstrations show that the method can carry out the tobacco leaf quality …
Classification Of Flight Delay Based On Nonlinear Weighted Xgboost, Tang Hong, Wang Dong, Song Bo, Wenkui Chu, Linyuan He
Classification Of Flight Delay Based On Nonlinear Weighted Xgboost, Tang Hong, Wang Dong, Song Bo, Wenkui Chu, Linyuan He
Journal of System Simulation
Abstract: Aiming at the classification of flight delay under imbalance data, a novel method based on nonlinear weighted XGBoost (extreme gradient boosting) is proposed. The imbalance of flight delay data and the influence for classification performance caused by the data imbalance are analyzed. A heuristic nonlinear weighting method based on sample proportion is proposed, and the negative log likelihood loss function is optimized. The real flight delay dataset is used to validate the performance of the classification algorithm. The experiment results show that the proposed nonlinear weighted XGBoost algorithm can improve the classification accuracy of flight delay, while ensuing a …
Research On The Issues Of Next Generation Wargame System Model Engine, Yubo Tang, Bilong Shen, Shi Lei, Yi Xing
Research On The Issues Of Next Generation Wargame System Model Engine, Yubo Tang, Bilong Shen, Shi Lei, Yi Xing
Journal of System Simulation
Abstract: Aiming at the more and more complex war systems, widely used artificial intelligence technology is needed to make up the human deficiencies in future wargame deduction, which is necessary for the next generation wargame system model engine. To address these challenges, a framework prototype of the next generation wargame model engine based on the experience of the long-term development and application is proposed. The decoupling method for the complexity of structure and computation is researched. The human-computer integration architecture on digital twinning technology is studied. Some new modeling techniques which the threshold of model development is reduced and the …
Intelligent Wargaming System: Change Needed By Next Generation Need To Be Changed, Xiaofeng Hu, Dawei Qi
Intelligent Wargaming System: Change Needed By Next Generation Need To Be Changed, Xiaofeng Hu, Dawei Qi
Journal of System Simulation
Abstract: The future direction of wargaming system is intelligent, and the most significant feature of intelligence is the modeling of cognition. The main problems of wargaming system are summarized, the main difficulties of modeling brought by cognition and the overall framework of intelligent wargaming system design are discussed, the technical ways of transformation and upgrading based on the existing wargaming system are given from four aspects of model construction, system design, wargaming ecology and test inspection. It provides direction and reference to the development and construction of the next generation intelligent wargaming system.
Modeling Research Of Cognition Behavior For Intelligent Wargaming, Xiaoyuan He, Shengming Guo, Wu Lin, Li Dong, Xu Xiao, Li Li
Modeling Research Of Cognition Behavior For Intelligent Wargaming, Xiaoyuan He, Shengming Guo, Wu Lin, Li Dong, Xu Xiao, Li Li
Journal of System Simulation
Abstract: Aiming at the problem of cognitive behavior modeling in the construction and application of intelligent wargaming system, one modeling framework based on Actor-Operations-Scene (AOS) was proposed for C2 agent in wargaming. Then the realization of cognitive behavior modeling method for C2 agent was explored, including the modeling for the scenario oriented knowledge graph, intelligent situation awareness, operational planning, integrated operational control. It provides a feasible scheme for the construction and application of intelligent wargaming system.
Fault Diagnosis Of Industrial Process Based On Lle And K-Means Clustering Algorithm, Li Yuan, Zewei Geng
Fault Diagnosis Of Industrial Process Based On Lle And K-Means Clustering Algorithm, Li Yuan, Zewei Geng
Journal of System Simulation
Abstract: Because of the similarity of various types of data in the industrial process. The fault diagnosis using the K-means algorithm has a large error rate. A K-means clustering algorithm based on Locally Linear Embedding (LLE) is proposed. the normal data is reduced by the LLE algorithm and the projection matrix is obtained. The projection matrix is used to map the original fault data to the low-dimensional space and the K-means algorithm clusters is used to carry out the data to establish a detection and diagnosis model. The method is applied to the fault detection and diagnosis in the TE …
Learning Ant Colony Algorithm For Green Multi-Depot Vehicle Routing Problem, Hu Rong, Wenbo Chen, Bin Qian, Guo Ning, Fenghong Xiang
Learning Ant Colony Algorithm For Green Multi-Depot Vehicle Routing Problem, Hu Rong, Wenbo Chen, Bin Qian, Guo Ning, Fenghong Xiang
Journal of System Simulation
Abstract: Considering the congested roads situation of urban central areas in China, a speed calculation method based on vehicle driving sections is designed, and a model for the Green Multi-Depot Vehicle Routing Problem with Total Fuel-Consumption cost Criterion (TFC-GMDVRP) is established, considering simultaneously the vehicle travel distance, load, and speed factors. A learning ant colony optimization algorithm (LACO), combining a knowledge model and an ant colony optimization algorithm (ACO), is proposed for solving the TFC-GMDVRP. In order to improve the performance and robustness of the algorithm's global search, the parameter knowledge that contains the different …
Application Of Two-Population Fish Swarm Algorithm In Distributed Portfolio, Fuyu Wang, Tang Tao
Application Of Two-Population Fish Swarm Algorithm In Distributed Portfolio, Fuyu Wang, Tang Tao
Journal of System Simulation
Abstract: Aiming at the disadvantages of artificial fish swarm algorithm, such as low precision and easily falling into local optimum, combining the idea of gravity algorithm and teaching optimization, a two-population fish swarm search algorithm is proposed. Cross-thinking is adopted to optimize the results obtained by the two populations and avoid the local optimization. Metropoils criterion of simulated annealing is added to the standard function verifies the algorithm, and the results show that the two-population fish swarm algorithm is better than the traditional artificial fish swarm algorithm and the known literature algorithm. Based on the known literature, a distributed …
Whole Ship Simulation Training Platform Based On Virtual Reality, Jiawen Sun, Hongxiang Ren, Fangbing Xiao, Xiaobin Jiang
Whole Ship Simulation Training Platform Based On Virtual Reality, Jiawen Sun, Hongxiang Ren, Fangbing Xiao, Xiaobin Jiang
Journal of System Simulation
Abstract: Under the current navigation education mode, it is common that trainees lack the overall navigation knowledge and the operation practice on onboard equipment and instruments. It is necessary to develop a whole ship simulation training platform that is not limited by time and sites. The six-degree freedom mathematical model of ship motion is established by using the separation modeling theory of ship maneuverability. The flexible object simulation technology, the modeling and rendering of ocean wave technology, and the reverse dynamics technology are adopted to realize the ship scene roaming and equipment interaction. The simulation results show that …
Evolutionary Simulation Of Medical Products Export Safety Supervision Considering Regulation Of Importing Country, Xiaoli Li, Cejun Cao, Fanshun Zhang
Evolutionary Simulation Of Medical Products Export Safety Supervision Considering Regulation Of Importing Country, Xiaoli Li, Cejun Cao, Fanshun Zhang
Journal of System Simulation
Abstract: In order to investigate the impacts of the regulation of importing country on export safety supervision regarding medical products in the COVID-19 epidemic situation, an evolutionary game model considering the relation between export enterprise and supervision of government is constructed. Based on MATLAB simulation, the influences of different factors including regulation level of importing country, punishment mechanism on export safety supervision of medical products are analyzed. Results show that the illegal behaviors of the export enterprises of medical products can be restrained when the regulation level of importing country reaches a certain threshold. But that would fuel the passively …
Challenges And Reflection On Next-Generation Large-Scale Computer Wargame System, Guangya Si, Yanzheng Wang
Challenges And Reflection On Next-Generation Large-Scale Computer Wargame System, Guangya Si, Yanzheng Wang
Journal of System Simulation
Abstract: In view of the systematic, networked and intelligent characteristics of the future war, the major challenges of the new generation of large computer warfare system are proposed, and the next-generation large-scale computer wargame system is constructed. The key technologies of building a new generation of large computer warfare systems, such as intelligent war modeling, architecture integration, resource service management and human-computer interaction are researched.
Study On Next-Generation Strategic Wargame System, Wu Xi, Xianglin Meng, Jingyu Yang
Study On Next-Generation Strategic Wargame System, Wu Xi, Xianglin Meng, Jingyu Yang
Journal of System Simulation
Abstract: Strategic wargame is an important support to the strategic decision. The research status and challenges of the strategic wargame are analyzed, and the influence of big data and artificial intelligence technology on the strategic wargame system is studied. The prospects and key technologies of the next-generation strategic wargame system are studied, including the construction of event association graph for strategic topics, generation of strategic decision sparse samples based on generative adversarial nets, gaming strategy learning of human-in-loop hybrid enhancement, and public opinion dissemination modeling technology based on social network. The development trend of the strategic wargame is proposed.
Multi-Uav Trajectory Planning Simulation Based On Adaptive Extended Potential Field, Wang Ning, Jiyang Dai, Ying Jin, Yeding Li, Liangliang Lu
Multi-Uav Trajectory Planning Simulation Based On Adaptive Extended Potential Field, Wang Ning, Jiyang Dai, Ying Jin, Yeding Li, Liangliang Lu
Journal of System Simulation
Abstract: To address the defects of the traditional artificial potential field method, such as unreachable targets, easy to fall into local minimums, inability to avoid obstacles, and lack of trajectory optimization strategies, and to solve the problem of slow planning rate due to more layers in the layered potential field algorithm, the model of the UAV is established, in which the influence factor of the attractive and repulsive force is introduced into the layered potential field function to solve the problem of unreachable targets, and the " auxiliary force" is introduced to solve the problem of easily falling into local …
Simulation On Aviation Maintenance Support System Based On Goal-Driven, Jiping Cong, Lijie Cui, Ding Gang, Ren Bo
Simulation On Aviation Maintenance Support System Based On Goal-Driven, Jiping Cong, Lijie Cui, Ding Gang, Ren Bo
Journal of System Simulation
Abstract: Aiming at the large investment and long time for optimization in aviation maintenance support model practice, for the first time, based on Netlogo platform, the multi-agent aviation maintenance support simulation system is constructed, which provides a reference to adapt the current support tasks and improve the evaluation efficiency. Selecting the annual mission flight time, echelon status, aircraft intact rate, and mission completion rate as the goal drivers, the simulation on different aviation maintenance support process is carried out, which displays the changes in flight arrangements, aircraft status, personnel, support equipment, etc. The simulation experiment shows that the multi-agent …
Research On Simulation Object Interfaces Oriented To Plug-In-Play Pattern, Zhongwei Lin, Xiuhe Li, Yiping Yao, Shen Yang, Shaoqi Dai, Qianqian Shi
Research On Simulation Object Interfaces Oriented To Plug-In-Play Pattern, Zhongwei Lin, Xiuhe Li, Yiping Yao, Shen Yang, Shaoqi Dai, Qianqian Shi
Journal of System Simulation
Abstract: Models and simulation engines provide services mainly in the format of executable files in cloud environment, thus plug-in-play pattern becomes the first choice of simulation, which needs necessitating interfaces to connect the model processing logics and the simulation engine control logics. A set of simulation object interfaces that covers the simulation full life cycle of initialization, event scheduling, processing and cancel, publish and processing of subscription, roll-back and termination is proposed, and then defined in C++ language. Two examples show the process of the interfaces and the effectiveness of constructing the simulation objects. With the instantiation and disposal …
Research And Implementation Of A High Performance Distributed Object-Oriented Simulation Engine, Xiaodong Huang, Kongshu Xie
Research And Implementation Of A High Performance Distributed Object-Oriented Simulation Engine, Xiaodong Huang, Kongshu Xie
Journal of System Simulation
Abstract: Simulation engine is the core of simulation platform and the operating system of simulation field. On the basis of the reflection-based object-oriented simulation modeling framework and programing specification, aiming at the developing integration and operation requirements for the large-scale multi-granularity computation intensive simulation system, a High-performance Distributed Object-oriented Simulation Engine (HDOSE) is developed. Combined with the brief review of HDOSE development, on the basis of expounding the HDOSE function services and architecture, the key technology, large-scale multi-granularity parallel computation, programming model and interface, parameterized componentized modeling and so on are mainly introduced. The HDOSE typical application cases …
Research And Application On Space-Launching Mission Simulated Rehearsal Technology, Xiuluo Liu, Wang Jia, Wu Feng, Liu Yang, Ailiang Zhang, Wang Min
Research And Application On Space-Launching Mission Simulated Rehearsal Technology, Xiuluo Liu, Wang Jia, Wu Feng, Liu Yang, Ailiang Zhang, Wang Min
Journal of System Simulation
Abstract: High-density space launching tasks need the new requirements for space-launching mission rehearsal. The new concept of space-launching mission simulated rehearsal is proposed, the definition and content are presented in detail,and the technology research objective and key works are analyzed. The technology implementation architecture is established on five dimensions of the domain resources, developing tools, simulation modeling, fundamental function design and domain application. On the basis of simulation, the working process is given, the simulation software architecture is designed, and the simulation application tool is developed. The simulation results are also given, which validate the method and technology.
Optimization Algorithm Of Mine Ventilation Based On Sa-Ipso, Liangshan Shao, Wang Zhen, Changming Li
Optimization Algorithm Of Mine Ventilation Based On Sa-Ipso, Liangshan Shao, Wang Zhen, Changming Li
Journal of System Simulation
Abstract: A non-linear optimization mathematical model aiming at the minimum total power of the mine ventilation network is established, in which SA-IPSO algorithm is applied for the optimization. The mutation operation is introduced in the PSO algorithm, in which a new inertia weight is proposed and a new particle selection method is constructed to control the number of particles violating the constraints, and the ability of the PSO algorithm to find boundaries is improved. The constraint conditions of the mine ventilation law are transformed into the penalty term of the objective function. IPSO optimizes the objective function and uses SA …
Modeling And Simulation On Optimum Maneuver Control Surface Configuration Of Aircraft In Low Altitude Penetration Mode, Huzi Wu, Wang Jin, Wantao Qi, Kaibao Jin
Modeling And Simulation On Optimum Maneuver Control Surface Configuration Of Aircraft In Low Altitude Penetration Mode, Huzi Wu, Wang Jin, Wantao Qi, Kaibao Jin
Journal of System Simulation
Abstract: Optimum maneuver control surface can ensure the safety flight cability of aircraft in low altitude penetration mode, and it is of great siginifcance to establish the valid and effective numerical simulation model. The numerical differential equations with muti-constraints is adopted for the first time, to construct the simulaton model for the aircraft with small wing load and mutifunctional and combined CS in low altitude manuever, the schemes of different maneuver CS considering the obstacle, the limit of angle of bank, the graident of climb are built. The simulation results show that the model is effective for solving the …
Wargaming Eco-System For Intelligence Growing, Wu Lin, Xiaofeng Hu, Jiuyang Tao, Xiaoyuan He
Wargaming Eco-System For Intelligence Growing, Wu Lin, Xiaofeng Hu, Jiuyang Tao, Xiaoyuan He
Journal of System Simulation
Abstract: The construction of the next generation intelligent wargaming system can not be accomplished at one move, but through building an ecosystem to gradually grow intelligence. The basic concepts of the intelligent wargame ecosystem, and are defined the idea of dynamic openness, diversified levels and co-evolution are proposed. Drawing lessons from the human intelligence growing process and learning-evolution mechanism, the double helix model of the next generation of wargame cognitive intelligent evolution and growth is constructed. On the basis of the OLTA cycle, the wargame deduction ecosystem system framework is given. The application of the technologies, such as …
Chaotic Gravitational Search Iterative Identification For Wiener Systems, Shanling Xu, Junhong Li, Mengru Liu, Hua Liang
Chaotic Gravitational Search Iterative Identification For Wiener Systems, Shanling Xu, Junhong Li, Mengru Liu, Hua Liang
Journal of System Simulation
Abstract: The Wiener nonlinear system is composed of a dynamic linear subsystem and a series of nonlinear static subsystems, which is widely used in the fields of automatic control, chemical engineering, electrical and other fields. Considering the identification of the Wiener Output Error Autoregressive (Wiener OEAR) system, a chaotic gravitational search iterative identification algorithm is proposed, in which the chaotic optimization mechanism is introduced into the gravitational search algorithm to estimate the unknown parameters of the Wiener OEAR system and the convergence is proved. In order to show the effectiveness of the proposed identification algorithm, the gravitational search algorithm and …
Order Sorting Optimization For Four-Way Shuttle System Based On Improved Genetic Algorithm, Xinjie He, Shaowu Zhou, Hongqiang Zhang, Lianghong Wu, Zhou You
Order Sorting Optimization For Four-Way Shuttle System Based On Improved Genetic Algorithm, Xinjie He, Shaowu Zhou, Hongqiang Zhang, Lianghong Wu, Zhou You
Journal of System Simulation
Abstract: During the batch outbound operations of the four-way shuttle system, the different execution order of the system's outbound leads to the different interaction time between the four-way shuttle and the hoist will be different, which will affect the system's outbound operation time. According to the operation process of batch outbound, with the order of batch order outflow as the variable and the system outflow time as the objective function, a system order sort optimization model i established. Based to the characteristics of the model, with the improved genetic algorithm, the optimal order of the system is obtained. By changing …
Abroad Wargaming Deduction And System Research, Zhanguang Cao, Tao Shuai, Xiaofeng Hu, Lülong He
Abroad Wargaming Deduction And System Research, Zhanguang Cao, Tao Shuai, Xiaofeng Hu, Lülong He
Journal of System Simulation
Abstract: Wargaming is an important auxiliary means of war deduction, scheme evaluation and operational analysis. Wargaming deduction system can support the research of operational problems, innovation of tactics and development of operational concepts. The development status of foreign computer wargaming system from the deduction method and system research is reviewed, and the online deduction the multi-level joint deduction, as well as the research status of multi-level wargaming fusion design, the multi system combination and auxiliary tool development are mainly introduced, which can providereference to the development and application of computer wargame system.
An Improved Srgan Infrared Image Super-Resolution Reconstruction Algorithm, Hu Lei, Zugen Wang, Chen Tian, Yongmei Zhang
An Improved Srgan Infrared Image Super-Resolution Reconstruction Algorithm, Hu Lei, Zugen Wang, Chen Tian, Yongmei Zhang
Journal of System Simulation
Abstract: Aiming at the low resolution of infrared images, an improved SRGAN super-resolution reconstruction algorithm is designed. In the generative network, the method of applying the residual dense network to obtain the image features extracted from each network layer so as to retain more high-frequency information of the image, and adopting a progressive upsampling method to improve the super-resolution reconstruction effect under a large scaling factor. In terms of the loss function, the perceptual loss that is more in line with human senses is adopted to make the generated image being closer to the real high-resolution image of senses and …
Exploring Formal Model Transformation Techniques Within Model Driven Engineering, Zhu Zhi, Lei Sen, Yonglin Lei
Exploring Formal Model Transformation Techniques Within Model Driven Engineering, Zhu Zhi, Lei Sen, Yonglin Lei
Journal of System Simulation
Abstract: With the increasing complexity of simulation system and the wide use of simulation models, the higher requirements of the efficiency and quality for simulation models are needed. Currently, model-driven engineering is mostly applied in many simulation software tools, which cannot really carry out the formal analysis at the model level. Based on model driven engineering, the domain specific language with metamodeling and engineering model continuity is designed. Taking a group fire control channel system as the example, the domain specific language is designed and the conceptual models are transformed into other precise semantics to carry out the final executable …