An Exploratory Framework for Combining CFD Analysis and Evolutionary Optimization Into a Single Integrated Computational Environment

Author(s):  
Douglas S. McCorkle ◽  
Kenneth M. Bryden

Several recent reports and workshops have identified integrated computational engineering as an emerging technology with the potential to transform engineering design. The goal is to integrate geometric models, analyses, simulations, optimization and decision-making tools, and all other aspects of the engineering process into a shared, interactive computer-generated environment that facilitates multidisciplinary and collaborative engineering. While integrated computational engineering environments can be constructed from scratch with high-level programming languages, the complexity of these proposed environments makes this type of approach prohibitively slow and expensive. Rather, a high-level software framework is needed to provide the user with the capability to construct an application in an intuitive manner using existing models and engineering tools with minimal programming. In this paper, we present an exploratory open source software framework that can be used to integrate the geometric models, computational fluid dynamics (CFD), and optimization tools needed for shape optimization of complex systems. This framework is demonstrated using the multiphase flow analysis of a complete coal transport system for an 800 MW pulverized coal power station. The framework uses engineering objects and three-dimensional visualization to enable the user to interactively design and optimize the performance of the coal transport system.

Author(s):  
Brian Dotson ◽  
Kent Eshenberg ◽  
Chris Guenther ◽  
Thomas O’Brien

The design of high-efficiency lower-emission coal-fed power plants is facilitated by the extensive use of computational fluid dynamics (CFD) simulations. This paper describes work conducted at the National Energy Technology Laboratory (NETL) and Pittsburgh Supercomputing Center (PSC) to provide an environment for the immersive three-dimensional visualization of CFD simulation results. A low-cost high-resolution projection system has been developed in the visualization lab at NETL. This multi-wall system consists of four projection screens, three of which are tiled into four quadrants. The graphics for the multi-wall system are rendered using a cluster of eight personal computers. A high-level visualization interface named Mavis has also been developed to combine the powerful 3D modules of OpenDX with methods developed at NETL for studying multiphase CFD data. With Python, a completely new OpenDX user interface was built that extends and simplifies the features of a basic graphics library.


2013 ◽  
Vol 13 (Supplement-1) ◽  
pp. 7-14
Author(s):  
S. Gavliakova ◽  
J. Plevkova ◽  
J. Jakus ◽  
I. Poliacek

Abstract Methods that had been applied to study central neuronal circuits regulating cough and respiratory reflexes so far rely on recording performed in vivo, ex vivo, micro injecting and lesion methods. Based on the available data it is clear that this network is complicated, multilevel, holarchical, undergoing reconfiguration under afferent inputs. For many students and researchers it is complicated to get a virtual spatial image of these cooperating neuronal populations. The project was aimed to create graphical three-dimensional computer model of the brainstem using environment MATLAB and the matrix algebra to visualize neuron localization within the brainstem. Relevant data for the model had been taken from recent and also former research papers published in particular areas. This model may help scientists to visualize groups of neurons, help them to find targets for microinjecting or lesion studies together with stereotaxic positioning. The model is upgradeable and highly flexible for future use, research and teaching applications in MATLAB environment. MATLAB is a high-level language and interactive environment that enables you to perform computationally intensive tasks faster than with traditional programming languages


Author(s):  
Michelle Carvalho de Sales ◽  
Rafael Maluza Flores ◽  
Julianny da Silva Guimaraes ◽  
Gustavo Vargas da Silva Salomao ◽  
Tamara Kerber Tedesco ◽  
...  

Dental surgeons need in-depth knowledge of the bone tissue status and gingival morphology of atrophic maxillae. The aim of this study is to describe preoperative virtual planning of placement of five implants and to compare the plan with the actual surgical results. Three-dimensional planning of rehabilitation using software programs enables surgical guides to be specially designed for the implant site and manufactured using 3D printing. A patient with five teeth missing was selected for this study. The patient’s maxillary region was scanned with CBCT and a cast model was produced. After virtual planning using ImplantViewer, five implants were placed using a printed surgical guide. Two weeks after the surgical procedure, the patient underwent another CBCT scan of the maxilla. Statistically significant differences were detected between the virtually planned positions and the actual positions of the implants, with a mean deviation of 0.36 mm in the cervical region and 0.7 mm in the apical region. The surgical technique used enables more accurate procedures when compared to the conventional technique. Implants can be better positioned, with a high level of predictability, reducing both operating time and patient discomfort.


IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 72528-72537 ◽  
Author(s):  
Hatim Derrouz ◽  
Abderrahim Elbouziady ◽  
Hamd Ait Abdelali ◽  
Rachid Oulad Haj Thami ◽  
Sanaa El Fkihi ◽  
...  

2021 ◽  
pp. 0308518X2199781
Author(s):  
Xinyue Luo ◽  
Mingxing Chen

The nodes and links in urban networks are usually presented in a two-dimensional(2D) view. The co-occurrence of nodes and links can also be realized from a three-dimensional(3D) perspective to make the characteristics of urban network more intuitively revealed. Our result shows that the external connections of high-level cities are mainly affected by the level of cities(nodes) and less affected by geographical distance, while medium-level cities are affected by the interaction of the level of cities(nodes) and geographical distance. The external connections of low-level cities are greatly restricted by geographical distance.


2021 ◽  
Vol 43 (1) ◽  
pp. 1-46
Author(s):  
David Sanan ◽  
Yongwang Zhao ◽  
Shang-Wei Lin ◽  
Liu Yang

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.


2019 ◽  
Vol 214 ◽  
pp. 05010 ◽  
Author(s):  
Giulio Eulisse ◽  
Piotr Konopka ◽  
Mikolaj Krzewicki ◽  
Matthias Richter ◽  
David Rohr ◽  
...  

ALICE is one of the four major LHC experiments at CERN. When the accelerator enters the Run 3 data-taking period, starting in 2021, ALICE expects almost 100 times more Pb-Pb central collisions than now, resulting in a large increase of data throughput. In order to cope with this new challenge, the collaboration had to extensively rethink the whole data processing chain, with a tighter integration between Online and Offline computing worlds. Such a system, code-named ALICE O2, is being developed in collaboration with the FAIR experiments at GSI. It is based on the ALFA framework which provides a generalized implementation of the ALICE High Level Trigger approach, designed around distributed software entities coordinating and communicating via message passing. We will highlight our efforts to integrate ALFA within the ALICE O2 environment. We analyze the challenges arising from the different running environments for production and development, and conclude on requirements for a flexible and modular software framework. In particular we will present the ALICE O2 Data Processing Layer which deals with ALICE specific requirements in terms of Data Model. The main goal is to reduce the complexity of development of algorithms and managing a distributed system, and by that leading to a significant simplification for the large majority of the ALICE users.


Author(s):  
W. T. Tiow ◽  
M. Zangeneh

The development and application of a three-dimensional inverse methodology is presented for the design of turbomachinery blades. The method is based on the mass-averaged swirl, rV~θ distribution and computes the necessary blade changes directly from the discrepancies between the target and initial distributions. The flow solution and blade modification converge simultaneously giving the final blade geometry and the corresponding steady state flow solution. The flow analysis is performed using a cell-vertex finite volume time-marching algorithm employing the multistage Runge-Kutta integrator in conjunction with accelerating techniques (local time stepping and grid sequencing). To account for viscous effects, dissipative forces are included in the Euler solver using the log-law and mixing length models. The design method can be used with any existing solver solving the same flow equations without any modifications to the blade surface wall boundary condition. Validation of the method has been carried out using a transonic annular turbine nozzle and NASA rotor 67. Finally, the method is demonstrated on the re-design of the blades.


Sign in / Sign up

Export Citation Format

Share Document