![]() ; Zhang, Chenyi ![]() in Theoretical Computer Science (2010), 411(47), 41234147 The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on state machine and trace-set ... [more ▼] The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on state machine and trace-set definitions; more recent work has dealt with definitions of security in two distinct process algebraic settings. Comparisons between the definitions has been carried out mainly within semantic frameworks. This paper studies the relationship between semantic frameworks, by defining mappings between a number of semantic models and studying the relationship between notions of noninterference under these mappings. [less ▲] Detailed reference viewed: 98 (0 UL)![]() ; Baroli, Davide ![]() ![]() Poster (2017) In this study, a detailed analysis of the turbulent regime within the core of the Pavia TRIGA Mark II reactor is perfomed by means of an in-depth comparison of the RAS (Reynolds-Averaged Simulation ... [more ▼] In this study, a detailed analysis of the turbulent regime within the core of the Pavia TRIGA Mark II reactor is perfomed by means of an in-depth comparison of the RAS (Reynolds-Averaged Simulation) turbulence models implemented in OpenFOAM. Aim of this analysis is to give some important information with respect to the flow regime within the core. The performance of the various models is tested against a LES (Large Eddy Simulation) of the innermost channel. [less ▲] Detailed reference viewed: 71 (2 UL)![]() ; ; et al in Journal of Nuclear Engineering and Radiation Science (2018) Aim of this work is the comparison of different turbulent models based on the Reynolds Averaged Navier-Stokes (RANS) equations in order to find out which model is the most suitable for the study of the ... [more ▼] Aim of this work is the comparison of different turbulent models based on the Reynolds Averaged Navier-Stokes (RANS) equations in order to find out which model is the most suitable for the study of the channel thermal-hydraulics of the TRIGA Mark II reactor. Only the steady state behaviour (i.e. the full power stationary operational conditions) of the reactor has been considered. To this end, the RAS (Reynolds-Averaged Simulation) models available in the open source CFD software OpenFOAM have been applied to the most internal channel of the TRIGA and assessed against a Large Eddy Simulation (LES) model. The results of the latter approach, expressed in terms of axial velocity, turbulent viscosity, turbulent kinetic energy, and temperature have been compared with the results obtained by the RAS models available in OpenFOAM (k − ε, k − ω and Reynolds Stress Transport). Heat transfer is taken into account as well by means of the turbulent energy diffusivity parameter. The simulation results demonstrate how, amongst the RAS models, the k − ω SST is the one whose results are closer to the LES simulation. This model seems to be the best one for the treatment of turbulent flow within the TRIGA subchannel, offering a good compromise between accuracy and computational requirements. Since it is much less expensive than an LES model, it can be applied even to full core calculation, in order to obtain accurate results with less computational effort. [less ▲] Detailed reference viewed: 127 (8 UL)![]() Beex, Lars ![]() Scientific Conference (2016, April) In this presentation, an X-braced spring mesomodel will be compared to a mesomodel in which the diagonal springs are replaced by rotational springs. The results are signi cantly di fferent, but some ... [more ▼] In this presentation, an X-braced spring mesomodel will be compared to a mesomodel in which the diagonal springs are replaced by rotational springs. The results are signi cantly di fferent, but some disadvantages of the use of rotational springs will also be mentioned. A substantial part of the presentation will furthermore be dedicated to the multiscale quasicontinuum method to upscale the mesomodels in order to achieve e fficient macroscale computations. macroscale computations [less ▲] Detailed reference viewed: 62 (3 UL)![]() Gericke, Kilian ![]() ![]() in Proceedings of the 18th International Conference on Engineering Design (2011) Challenges resulting from an environment characterised by complexity, competition on global markets, dynamics and ever-changing user wants and needs are increasing and affect all design processes ... [more ▼] Challenges resulting from an environment characterised by complexity, competition on global markets, dynamics and ever-changing user wants and needs are increasing and affect all design processes, irrespective of whether the product or system designed is a machine, a building, software, service, etc.. These challenges require collaboration between disciplines, but current design processes of large systems, such as aircraft, essentially show separate development strands for each discipline. Research into methods is ongoing, but the original design methodologies have not been adapted accordingly. Based on a literature study this paper consolidates findings from different comparisons of design methodologies and process models across disciplines. A consensus can be found that at least on an abstract level design process models have a generic core of common stages. On a detailed level the picture is different. The extent to which design approaches appear similar depends on the perspective of the analyses. The literature study provides an overview of shortcomings of existing design methodologies which may serve as starting points for further research and development of design methodologies. [less ▲] Detailed reference viewed: 471 (3 UL)![]() Nicolas, Edwige ![]() Doctoral thesis (2010) Currently required concrete strength imposes a lower water/cement ratio and use of superplasticizer to make easier the fresh material implementation. Polycarboxylate type products are very effective in ... [more ▼] Currently required concrete strength imposes a lower water/cement ratio and use of superplasticizer to make easier the fresh material implementation. Polycarboxylate type products are very effective in the short term but can lead to a fast loss of workability in case of binder/superplasticizer incompatibility. The object of this work is the identification of cementitous phases involved in these rheological variations. Initially, flow of various superplasticized pastes is evaluated by a rheometer fitted with a ball measuring system. Compatible combinations flow like a Bingham’s fluid. An incompatibility results in an increase of yield stress and plastic viscosity or rheological properties evolution into Herschel-Bulkley’s fluid. Then, cement/superplasticizer combinations are characterized by rheological tests. Stiffening assessment of pastes and chemical characterisation of hydrated cements show that consistency is associated with amount and microstructure of formed ettringite. These parameters depend on initially present aluminate phase and calcium sulphates. Finally, study of synthetic cementitous systems states that calcium sulphates solubility, in presence of superplasticizer, is increased probably because Ca2+ ions complexation by polycarboxylates. As for the orthorhombic variety of aluminate phase, more reactive than cubic variety, it leads to a large amount of needle-shaped ettringite. [less ▲] Detailed reference viewed: 135 (4 UL)![]() Omar, Yamila ![]() Doctoral thesis (2021) The fourth industrial revolution, and the associated digitization of the manufacturing industry, has resulted in increased data generation. Industry leaders aim to leverage this data to enhance ... [more ▼] The fourth industrial revolution, and the associated digitization of the manufacturing industry, has resulted in increased data generation. Industry leaders aim to leverage this data to enhance productivity, boost innovation and generate new manners of competition. In this work, out of the many domains within the manufacturing sector, production will be explored. To this end, the mathematical tools of network science are utilized to characterize and evaluate production networks in terms of complex networks. In a manufacturing complex network, nodes represent workstations, and directed edges abstract the material flow that occurs among pairs of workstations. These types of complex networks are known as "material flow networks" and are used to study issues associated with manufacturing systems in the domain of production at the intra-enterprise level. While some research on the subject exists, this work will demonstrate that the use of complex networks to describe and evaluate manufacturing systems constitutes a nascent research field. In fact, the limited existing literature tackles a vast number of issues raising more questions than providing answers. This work aims to answer a number of those open questions. Firstly, which complex network metrics are suitable in the context of manufacturing networks will be determined. As a consequence, unsuitable metrics will be identified as well. To accomplish this, the flow underlying assumptions of popular complex network metrics is studied and compared to those of manufacturing networks. Furthermore, other existing complex network metrics with more appropriate underlying assumptions, but not yet explored in the context of manufacturing, are proposed and evaluated. Then, the appropriate interpretation of suitable complex network metrics in terms of Operations Research is provided. Finally, shortcomings of these metrics are highlighted to caution practitioners regarding their use in industrial settings. [less ▲] Detailed reference viewed: 94 (14 UL)![]() Kalaitzidou, Chrysovalantou ![]() E-print/Working paper (2022) Detailed reference viewed: 23 (3 UL)![]() ; Mizera, Andrzej ![]() in Lecture Notes in Computer Science (2009), 5635 Detailed reference viewed: 172 (0 UL)![]() ; ; Bordas, Stéphane ![]() in Computational Mechanics (2013) We present an open-source software framework called PERMIX for multiscale modeling and simulation of fracture in solids. The framework is an object oriented open-source effort written primarily in Fortran ... [more ▼] We present an open-source software framework called PERMIX for multiscale modeling and simulation of fracture in solids. The framework is an object oriented open-source effort written primarily in Fortran 2003 standard with Fortran/C++ interfaces to a number of other libraries such as LAMMPS, ABAQUS, LS-DYNA and GMSH. Fracture on the continuum level is modeled by the extended finite element method (XFEM). Using several novel or state of the art methods, the piece software handles semi-concurrent multiscale methods as well as concurrent multiscale methods for fracture, coupling two continuum domains or atomistic domains to continuum domains, respectively. The efficiency of our open-source software is shown through several simulations including a 3D crack modeling in clay nanocomposites, a semi-concurrent FE-FE coupling, a 3D Arlequin multiscale example and an MD-XFEM coupling for dynamic crack propagation. © 2013 Springer-Verlag Berlin Heidelberg. [less ▲] Detailed reference viewed: 655 (4 UL)![]() Bordas, Stéphane ![]() Report (2015) This is the report of the Computational Mechanics Lab led by Prof. Stéphane Bordas Detailed reference viewed: 2512 (214 UL)![]() Bordas, Stéphane ![]() Presentation (2016, May 22) The course will present an overview of recent developments, which will enable students to make informed choices in terms of discretization and model selection in solving numerical problems in mechanics ... [more ▼] The course will present an overview of recent developments, which will enable students to make informed choices in terms of discretization and model selection in solving numerical problems in mechanics. We will cover discretization strategies ranging from the standard finite element method, the smoothed finite element method, the extended finite element method, polygonal and virtual element methods, meshfree methods. The applications range between fracture of heterogeneous materials and biomedical simulations. The intended learning outcomes of the course are such that the students will be: - able to critically assess discretization schemes in mechanics - able to implement simple error estimators for finite element methods - familiar with basic multi-scale methods for fracture and their limitations - able to follow basic literature in model error and model selection, in particular based on Bayesian inference Course participants will learn these topics through lectures and hands-on numerical experiments. [less ▲] Detailed reference viewed: 425 (16 UL)![]() Mizera, Andrzej ![]() in Katz, Evgeny (Ed.) Biomolecular Information Processing. From Logic Systems to Smart Sensors and Actuators (2012) Detailed reference viewed: 92 (1 UL)![]() ; ; Bourantas, Georgios ![]() in Medical Engineering and Physics (2008), 30(5), 647-660 The present study reports on computational fluid dynamics in the case of severe renal artery stenosis (RAS). An anatomically realistic model of a renal artery was reconstructed from CT scans, and used to ... [more ▼] The present study reports on computational fluid dynamics in the case of severe renal artery stenosis (RAS). An anatomically realistic model of a renal artery was reconstructed from CT scans, and used to conduct CFD simulations of blood flow across RAS. The recently developed Shear Stress Transport turbulence model was pivotally applied in the simulation of blood flow in the region of interest. Blood flow was studied in vivo under the presence of RAS and subsequently in simulated cases before the development of RAS, and after endovascular stent implantation. The pressure gradients in the RAS case were many orders of magnitude larger than in the healthy case. The presence of RAS increased flow resistance, which led to considerably lower blood flow rates. A simulated stent in place of the RAS decreased the flow resistance at levels proportional to, and even lower than, the simulated healthy case without the RAS. The wall shear stresses, differential pressure profiles, and net forces exerted on the surface of the atherosclerotic plaque at peak pulse were shown to be of relevant high distinctiveness, so as to be considered potential indicators of hemodynamically significant RAS. [less ▲] Detailed reference viewed: 145 (2 UL)![]() Bordas, Stéphane ![]() Presentation (2017, December 20) Detailed reference viewed: 287 (3 UL)![]() Bordas, Stéphane ![]() Report (2016) Born from a bottom-up initiative of Mathematics, Computer Science, Physics and Computational Engineering, Computational Sciences (CoSc) have contributed to create at UL a positive and symbiotic research ... [more ▼] Born from a bottom-up initiative of Mathematics, Computer Science, Physics and Computational Engineering, Computational Sciences (CoSc) have contributed to create at UL a positive and symbiotic research environment relying on a strong fundamental scientific research core. CoSc will continue to rationalize research efforts across a range of strategic innovation domains by centralizing research and development tools and building upon the existing strengths of the Luxembourgish research and socio-economic landscape. [less ▲] Detailed reference viewed: 112 (4 UL)![]() Baniasadi, Mehri ![]() Doctoral thesis (2022) Deep brain stimulation (DBS) is a surgical therapy to alleviate symptoms of numerous movement and psychiatric disorders by electrical stimulation of specific neural tissues via implanted electrodes ... [more ▼] Deep brain stimulation (DBS) is a surgical therapy to alleviate symptoms of numerous movement and psychiatric disorders by electrical stimulation of specific neural tissues via implanted electrodes. Precise electrode implantation is important to target the right brain area. After the surgery, DBS parameters, including stimulation amplitude, frequency, pulse width, and selection of electrode’s active contacts, are adjusted during programming sessions. Programming sessions are normally done by trial and error. Thus, they can be long and tiring. The main goal of the thesis is to make the post-operative experience, particularly the programming session, easier and faster by using visual aids to create a virtual reconstruction of the patient’s case. This enables in silico testing of different scenarios before applying them to the patient. A quick and easy-to-use deep learning-based tool for deep brain structure segmentation is developed with 89% ± 3 accuracy (DBSegment). It is much easier to implement compared to widely-used registration-based methods, as it requires less dependencies and no parameter tuning. Therefore, it is much more practical. Moreover, it segments 40 times faster than the registration-based method. This method is combined with an electrode localization method to reconstruct patients’ cases. Additionally, we developed a tool that simulates DBS-induced electric field distributions in less than a seconds (FastField). This is 1000 times faster than standard methods based on finite elements, with nearly the same performance (92%). The speed of the electric field simulation is particularly important for DBS parameter initialization, which we initialize by solving an optimization problem (OptimDBS). A grid search method confirms that our novel approach convergences to the global minimum. Finally, all the developed methods are tested on clinical data to ensure their applicability. In conclusion, this thesis develops various novel user-friendly tools, enabling efficient and accurate DBS reconstruction and parameter initialization. The methods are by far the quickest among open-source tools. They are easy to use and publicly available, FastField within the LeadDBS toolbox, and DBSegment as a Python pip package and a Docker image. We hope they can boost the DBS post-operative experience, maximize the therapy’s efficacy, and ameliorate DBS research. [less ▲] Detailed reference viewed: 87 (5 UL)![]() Neumann, Simon ![]() Doctoral thesis (2012) Detailed reference viewed: 102 (11 UL)![]() Schmitz, Sandra ![]() in Friedewald, Michael; Krenn, Stephan; Schiffner, Stefan (Eds.) et al Privacy and Identity Management. Between Data Protection and Security (2022, March 31) Detailed reference viewed: 42 (2 UL)![]() Bungard, Volker ![]() Doctoral thesis (2010) The thesis deals with the non-destructive condition assessment of civil engineering structures made of reinforced and prestressed concrete as well as bridges and concentrates on a comparison of static and ... [more ▼] The thesis deals with the non-destructive condition assessment of civil engineering structures made of reinforced and prestressed concrete as well as bridges and concentrates on a comparison of static and dynamic investigation methods. The main questions discuss the sensitivity of changes in static as well as in dynamic properties during the mechanical lifetime of those types of structures under laboratory conditions, the sensitivity of these changes when testing in-situ and the dimension of undesired environmental influences on the dynamic properties. Therefore, a gradually loaded laboratory reinforced concrete beam (cp. chapter 7) and a reinforced as well as a prestressed concrete slab (cp. chapter 8) are investigated for changes in their static and dynamic parameters until reaching their ultimate loads. Furthermore, a successively damaged and stepwise loaded laboratory reinforced concrete slab and a prestressed concrete slab (cp. also chapter 8) are under investigation and also compared in changes in their static as well as in dynamic properties during their lifetimes. By means of static and dynamic tests on a successively damaged and stepwise loaded prestressed concrete bridge (cp. chapter 9) it was possible to investigate the amount of changes in static and dynamic properties for a real in-situ object. A long-term measurement of a composite bridge (cp. chapter 10) demonstrates the environmental influences on the static and dynamic properties of a system which have to be considered when conducting comparative non-destructive condition assessment techniques on real objects. All tests are calculated respectively simulated by the method of the integration of stress (cp. chapter 6) or the finite element method by using the softwares ANSYS and SOFISTIK. Furthermore, measured eigenfrequencies and modeshapes are used to adapt finite element models with the aim to improve the model or to locate and quantify damaged areas. The work is a contribution to the application of non-destructive static and dynamic condition assessment methods on civil engineering structures made of concrete in the sector of civil engineering. [less ▲] Detailed reference viewed: 223 (14 UL) |
||