scholarly journals Multi-aircraft Rerouting Method Under Dangerous Weather

2018 ◽  
Vol 198 ◽  
pp. 05003
Author(s):  
Yukun Zheng ◽  
Ying Wang ◽  
Yun Sun ◽  
Yao Qi ◽  
Ning Wang
Keyword(s):  
Performance Indicators ◽  
Simulation Analysis ◽  
Civil Aviation ◽  
Network Characteristics ◽  
Model Based ◽  
Route Network ◽  
Network Failures ◽  
Flight Route

In view of the problems that single-aircraft rerouting method existing in civil aviation considered little about the associated effects of multi-aircraft and route network characteristics. A multi-aircraft rerouting method under dangerous weather was proposed. Based on the characteristics of network failures during the occurrence of dangerous weather, the performance indicators and related constraints of temporary routes are analyzed to establish a singleaircraft rerouting model. Then, a multi-aircraft rerouting model based on layout of diversion points was proposed in combination with the performance indicators of the rerouted route network, and solved by NSGA-III algorithm. Finally, a simulation analysis was conducted using the regional flight route network in part of the Beijing Flight Information District as an example and the results show that multi-aircraft rerouting method can effectively avoid flight conflicts and improve the comprehensive characteristics of the network.

scholarly journals New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process

Processes ◽  
2020 ◽  
Vol 8 (5) ◽  
pp. 574
Author(s):  
Zeyong Jiang ◽  
Tingdi Zhao ◽  
Shihai Wang ◽  
Hongyan Ju
Keyword(s):  
Petri Net ◽  
Simulation Analysis ◽  
Dynamic Reconfiguration ◽  
Multiple Constraints ◽  
Model Based ◽  
Integrated Modular Avionics ◽  
Configuration Changes ◽  
Model Based Analysis ◽  
Architecture Analysis

With the development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration, but also acts as a valid means for resource failure management. It is vital to ensure the correction of the IMA dynamic reconfiguration process. The analysis of the dynamic reconfiguration process is a significant task. The Architecture Analysis & Design Language (AADL) is widely used in complicated real-time embedded systems. The language can describe the system configuration and the execution behaviors, such as configuration changes. Petri net is a widely used tool to conduct simulation analysis in many aspects. In this study, a model-based analyzing method with multiple constraints for the IMA dynamic reconfiguration process was proposed. First, several design constraints on the process were investigated. Second, the dynamic reconfiguration process was modeled based on the AADL. Then, a set of rules for the transition of the model from AADL to Petri net was generated, and the multi-constraints proposed were incorporated into Petri net for analysis. Finally, a simulation multi-constraint analysis with Petri net for the process of IMA dynamic reconfiguration was conducted. Finally, a case study was employed to demonstrate this method. This method is advantageous to the validity of IMA dynamic reconfiguration at the beginning of the system design.

Model-Based Development

2011 ◽  
pp. 289-312 ◽  
Author(s):  
Juan D. Lara ◽  
Esther Guerra ◽  
Hans Vangheluwe
Keyword(s):  
Programming Languages ◽  
Graphical Models ◽  
Code Generation ◽  
Simulation Analysis ◽  
Model Simulation ◽  
General Purpose ◽  
Test Case ◽  
Model Driven ◽  
Model Based ◽  
Design Activities

Since the beginning of computer science more than 50 years ago, software engineers have sought techniques resulting in higher levels of quality and productivity. Some of these efforts have concentrated in increasing the level of abstraction in programming languages (from assembler to structured languages to object-oriented languages). In the last few years, we have witnessed an increasing focus on development based on high-level, graphical models. They are used not only as a means to documentthe analysis and design activities, but also as the actual “implementation” of the application, as well as for automatic analysis, code, and test case generation. The notations used to describe the models can be standard and general purpose (for example, UML) or tightly customized for the application domain. Code generation for the full application is only accomplished for specific, well-understood application domains. A key initiative in this direction is OMG’s Model-Driven Architecture (MDA), where models are progressively transformed until executable code is obtained. In this chapter, we give an overview of these technologies and propose ideas following this line (concerning metamodeling and the use of visual languages for the specification of model transformation, model simulation, analysis and code generation), and examine the impact of model-based techniques in the development process.

scholarly journals Application of computer simulation analysis to assess the effects of relocating a hospital phlebotomy department

2002 ◽  
Vol 39 (3) ◽  
pp. 261-272 ◽  
Author(s):  
Siebren Groothuis ◽  
Henk MJ Goldschmidt ◽  
Esther J Drupsteen ◽  
Jules CM de Vries ◽  
Arie Hasman ◽  
...  
Keyword(s):  
Computer Simulation ◽  
Performance Indicators ◽  
Systematic Approach ◽  
Simulation Analysis ◽  
Hospital Department ◽  
Average Patient ◽  
Turn Around Time

Background This study describes a systematic approach to assess the effects of relocating a hospital department. Methods Using the phlebotomy service as an example, computer simulation was applied to predict changes in performance indicators, such as patient turn-around time (TAT), when planning a procedural and/or architectural redesign. Results Average patient TAT fell from 12 to 8 min, enabling the department to cope with any increase in numbers of patients. Conclusion This type of study can provide useful information in assessing the consequences of future changes in the location of a hospital department.

The Extended Variable Structure Filter

2005 ◽  
Vol 128 (2) ◽  
pp. 341-351 ◽  
Author(s):  
Saeid Habibi
Keyword(s):  
Nonlinear Systems ◽  
State Estimation ◽  
Linear Systems ◽  
Dynamic Model ◽  
Performance Indicators ◽  
Variable Structure ◽  
New Method ◽  
Trade Off ◽  
Model Based

In this paper, a new method for state estimation, referred to as the variable structure filter (VSF), is briefly reviewed. The VSF method is model based and has been formulated for its application to linear systems. It provides a means of explicitly defining the level of uncertainty in the dynamic model used by the filter, thus allowing for tradeoff between the performance indicators of the filter. This trade-off feature is not generally explicitly available in some of the more established concepts used for state estimation. In this paper, an extension to the VSF method for its application to nonlinear systems is proposed and referred to as the extended variable structure filter (EVSF). The derivation of EVSF and its application to a nonlinear robotic example is provided.

Sign in / Sign up

Export Citation Format

Share Document