Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailIsogeometric locking-free plate element: a simple first order shear deformation theory for functionally graded plates
Shuohui, Yin; Hale, Jack UL; Yu, Tiantang et al

in Composite Structures (2014), 118

An effective, simple, robust and locking-free plate formulation is proposed to analyze the static bending, buckling, and free vibration of homogeneous and functionally graded plates. The simple first ... [more ▼]

An effective, simple, robust and locking-free plate formulation is proposed to analyze the static bending, buckling, and free vibration of homogeneous and functionally graded plates. The simple first-order shear deformation theory (S-FSDT), which was recently presented in Thai and Choi (2013) [11], is naturally free from shear-locking and captures the physics of the shear-deformation effect present in the original FSDT, whilst also being less computationally expensive due to having fewer unknowns. The S-FSDT requires C1-continuity that is simple to satisfy with the inherent high-order continuity of the non-uniform rational B-spline (NURBS) basis functions, which we use in the framework of isogeometric analysis (IGA). Numerical examples are solved and the results are compared with reference solutions to confirm the accuracy of the proposed method. Furthermore, the effects of boundary conditions, gradient index, and geometric shape on the mechanical response of functionally graded plates are investigated. [less ▲]

Detailed reference viewed: 448 (27 UL)
Full Text
Peer Reviewed
See detailIsotropic–isotropic phase separation and spinodal decomposition in liquid crystal–solvent mixtures
Reyes, Catherine UL; Baller, Jörg UL; Araki, Takeaki et al

in Soft Matter (2019), 15

Phase separation in mixtures forming liquid crystal (LC) phases is an important yet under- appreciated phenomenon that can drastically influence the behaviour of a multi-component LC. Here we demonstrate ... [more ▼]

Phase separation in mixtures forming liquid crystal (LC) phases is an important yet under- appreciated phenomenon that can drastically influence the behaviour of a multi-component LC. Here we demonstrate, using polarising microscopy with active cooling as well as differential scanning calorimetry, that the phase diagram for mixtures of the LC-forming compound 4’-n- pentylbiphenyl-4-carbonitrile (5CB) with ethanol is surprisingly complex. Binary mixtures reveal a broad miscibility gap that leads to phase separation between two distinct isotropic phases via spinodal decomposition or nucleation and growth. On further cooling the nematic phase enters on the 5CB-rich side, adding to the complexity. Significantly, water contamination dramatically raises the temperature range of the miscibility gap, bringing up the critical temperature for spinodal de- composition from ∼ 2◦C for the anhydrous case to > 50◦C if just 3 vol.% water is added to the ethanol. We support the experiments with a theoretical treatment that qualitatively reproduces the phase diagrams as well as the transition dynamics, with and without water. Our study highlights the impact of phase separation in LC-forming mixtures, spanning from equilibrium coexistence of multiple liquid phases to non-equilibrium effects due to persistent spatial concentration gradients. [less ▲]

Detailed reference viewed: 110 (26 UL)
Full Text
Peer Reviewed
See detailAn iterative learning approach for anticipatory traffic signal control on urban networks
Huang, Wei; Viti, Francesco UL; Tampere, Chris

in Transportmetrica B: Transport Dynamics (2017), 5(4), 407-430

Detailed reference viewed: 88 (2 UL)
Full Text
Peer Reviewed
See detailAn iterative learning approach for anticipatory traffic signal control on urban networks
Huang, Wei; Viti, Francesco UL; Tampere, Chris

in Transportmetrica B: Transport Dynamics (2016)

Detailed reference viewed: 124 (6 UL)
Full Text
Peer Reviewed
See detailAn Iterative Learning Approach for Signal Control in Urban Traffic Networks
Huang, Wei; Viti, Francesco UL; Tampere, Chris M.J.

in Proceedings of IEEE-ITS Conference (2013)

Traffic signal control influences route choice in traffic networks, and may even determine whether a traffic system settles in equilibrium or destabilizes into oscillatory patterns. Ideally, a stable ... [more ▼]

Traffic signal control influences route choice in traffic networks, and may even determine whether a traffic system settles in equilibrium or destabilizes into oscillatory patterns. Ideally, a stable equilibrium flow pattern should result from the interaction between control and route choice on a long-term horizon. This paper proposes an iterative learning approach for designing signal controls able to attract the system to equilibrium in an acceptable convergence speed. The traffic assignment model and combined traffic assignment and control problem are first introduced. An iterative learning control (ILC) based signal control is formulated and a basic model inversion method is analyzed. To deal with the nonlinearity of traffic system, a Newton based ILC algorithm is applied. Test in an example network verifies the effectiveness of the ILC method in achieving stable equilibrium in the traffic system. [less ▲]

Detailed reference viewed: 115 (0 UL)
Full Text
Peer Reviewed
See detailAn iterative Mixed Integer Linear Programming Approach to pursuit evasion problems in polygonal environments
Thunberg, Johan UL; Ögren, P.

in Proceedings of the 2010 IEEE International Conference on Robotics and Automation (ICRA) (2010)

In this paper, we address the multi pursuer version of the pursuit evasion problem in polygonal environments. It is well known that this problem is NP-hard, and therefore we seek efficient, but not ... [more ▼]

In this paper, we address the multi pursuer version of the pursuit evasion problem in polygonal environments. It is well known that this problem is NP-hard, and therefore we seek efficient, but not optimal, solutions by relaxing the problem and applying the tools of Mixed Integer Linear Programming (MILP) and Receding Horizon Control (RHC). Approaches using MILP and RHC are known to produce efficient algorithms in other path planning domains, such as obstacle avoidance. Here we show how the MILP formalism can be used in a pursuit evasion setting to capture the motion of the pursuers as well as the partitioning of the pursuit search region into a cleared and a contaminated part. RHC is furthermore a well known way of balancing performance and computation requirements by iteratively solving path planning problems over a receding planning horizon, and adapt the length of that horizon to the computational resources available. The proposed approach is implemented in Matlab/Cplex and illustrated by a number of solved examples. [less ▲]

Detailed reference viewed: 96 (0 UL)
Full Text
Peer Reviewed
See detailIterative optimization for adaptive anticipatory control in urban traffic networks
Huang, Wei; Viti, Francesco UL; Tampere, Chris M.J.

Scientific Conference (2015, July)

Detailed reference viewed: 61 (1 UL)
Full Text
Peer Reviewed
See detailA Joint Day-to-Day Mode and Within-Day Departure Time Choice Model for the Analysis of Dynamic Ridesharing
Viti, Francesco UL; Corman, Francesco

Scientific Conference (2014, June 19)

Sharing travels is an effective way to increase car occupancy rates and to reduce the total number of cars for the same distances travelled. A potentially attractive service based on the sharing concept ... [more ▼]

Sharing travels is an effective way to increase car occupancy rates and to reduce the total number of cars for the same distances travelled. A potentially attractive service based on the sharing concept is dynamic ridesharing (DRS), where a service provider matches up driver and passenger with similar itineraries and time schedules with an automated program. To analyse how modal shift from single passenger use of the car to high occupancy one can be realized and what are the demand management solutions that can effectively be recommended, we deal with a theoretically interesting basic model structure of a single-link case, in which we study the complex interaction of multiple factors involved in the dynamic ridesharing problem, and the joint sensitivity to the most relevant parameters involved in this behavioural process. The main contribution of this study is therefore a unified framework that is able to model the dynamics of the departure time, characterized as a within-day process, while keeping the mode choice as a day-to-day process, and characterizing explicitly the matching process of DRS. [less ▲]

Detailed reference viewed: 215 (5 UL)
Full Text
See detailKE Tableaux for Public Announcement Logic
de Boer, Mathijs UL

Scientific Conference (2007, September 06)

Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no ... [more ▼]

Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no more expressive than epistemic logic (EL) without updates, but exhibits compact representation of a number of complex epistemic situations. A labeled tableau proof system to reason with these updates directly is presented here. This system can analyse and present well-known epistemic puzzles like `muddy children' and `three wise men'. Using the KE tableau system as a basis, the modal and propositional characteristics of epistemic updates can be separated. [less ▲]

Detailed reference viewed: 64 (1 UL)
See detailKnowledge Based Systems
Blessing, Lucienne UL

in CAD/CAM Handbook (1990)

Detailed reference viewed: 11 (0 UL)
Full Text
Peer Reviewed
See detailL2-gain of double integrators with saturation nonlinearity
Goncalves, Jorge UL

in Proceedings of the 15th IFAC World Congress (2002)

This paper uses quadratic surface Lyapunov functions to efficiently check if a double integrator in feedback with a saturation nonlinearity has L2-gain less than gamma > 0. We show that for many of such ... [more ▼]

This paper uses quadratic surface Lyapunov functions to efficiently check if a double integrator in feedback with a saturation nonlinearity has L2-gain less than gamma > 0. We show that for many of such systems, the L2-gain is non-conservative in the sense that they are approximately equal to the low erbound obtained by replacing the saturation with a constant gain of 1. These results allow the use of classical analysis tools like mu -analysis or IQCs to analyze systems with double integrators and saturations, including servo systems like some mechanical systems, satellites, hard-disks, CD players, etc. [less ▲]

Detailed reference viewed: 73 (1 UL)
Full Text
Peer Reviewed
See detailL2-gain of double integrators with saturation nonlinearity
Goncalves, Jorge UL

in IEEE Transactions on Automatic Control (2002), 47(12), 2063-2068

This note uses quadratic surface Lyapunov functions (SuLFs) to efficiently check if a double integrator in feedback with a saturation nonlinearity has L -gain less than > 0. We show that for many such ... [more ▼]

This note uses quadratic surface Lyapunov functions (SuLFs) to efficiently check if a double integrator in feedback with a saturation nonlinearity has L -gain less than > 0. We show that for many such systems, the L -gain is nonconservative in the sense that this is approximately equal to the lower bound obtained by replacing the saturation with a constant gain of 1. These results allow the use of classical analysis tools like -analysis or integral quadratic constraints to analyze systems with double integrators and saturations, including servo systems like some mechanical systems, satellites, hard disks, compact disk players, etc. [less ▲]

Detailed reference viewed: 100 (0 UL)
Full Text
Peer Reviewed
See detailLab Testing Beyond Usability: Challenges and Recommendations for Assessing User Experiences
Lallemand, Carine UL; Koenig, Vincent UL

in Journal of Usability Studies (2017), 12(3), 133-154

In the “third wave” of human-computer interaction (HCI), the advent of the conceptual approach of UX broadens and changes the HCI landscape. Methods approved before, mainly within the conceptual approach ... [more ▼]

In the “third wave” of human-computer interaction (HCI), the advent of the conceptual approach of UX broadens and changes the HCI landscape. Methods approved before, mainly within the conceptual approach of usability, are still widely used, and yet their adequacy for UX evaluation remains uncertain in many applications. Laboratory testing is undoubtedly the most prominent example of such a method. Hence, in this study, we investigated how the more comprehensive and emotional scope of UX can be assessed by laboratory testing. In this paper, we report on a use case study involving 70 participants. They first took part in user/laboratory tests and then were asked to evaluate their experience with the two systems (perceived UX) by filling out an AttrakDiff scale and a UX needs fulfillment questionnaire. We conducted post-test interviews to better understand participants’ experiences. We analyzed how the participants’ perceived UX depends on quantitative (e.g., task completion time, task sequence, level of familiarity with the system) and qualitative aspects (think aloud, debriefing interviews) within the laboratory context. Results indicate that the laboratory setting has a strong impact on the participants’ perceived UX, and support a discussion of the quality and limitations of laboratory evaluations regarding UX assessment. In this paper, we have identified concrete challenges and have provided solutions and tips useful for both practitioners and researchers who seek to account for the subjective, situated, and temporal nature of the UX in their assessments. [less ▲]

Detailed reference viewed: 220 (8 UL)
Full Text
Peer Reviewed
See detailLarge Eddy Simulations of the Influence of Piston Position on the Swirling Flow in a Model Two-Stroke Diesel Engine
Obeidat, Anas UL; Schnipper, Teis; Ingorsen, Kristian M. et al

in International Journal of Numerical Methods for Heat & Fluid Flow (2014), 24(2), 325-241

Detailed reference viewed: 81 (4 UL)
Full Text
See detailLarge scale phase field model of fracture and cutting in soft tissues
Ziael-Rad, Vahid; Hale, Jack UL; Maurini, Corrado et al

Scientific Conference (2015, July)

The phase field method has proven to be an important tool in computational mechanics in that it is able to deal naturally with crack nucleation and branching [1]. In this contribution, we demonstrate a ... [more ▼]

The phase field method has proven to be an important tool in computational mechanics in that it is able to deal naturally with crack nucleation and branching [1]. In this contribution, we demonstrate a large scale phase field model of fracture and cutting of soft tissues undergoing non-linear deformations with a material law defined by a hyperelastic energy density functional. We will also provide some initial thoughts on the how the effect of a porous medium can be incorporated into the phase field model. We implement this work using the FEniCS project and PETSc software packages [2, 3]. [less ▲]

Detailed reference viewed: 215 (9 UL)
Full Text
See detailLegal Ontology for Nexus: Water, Energy and Food in EU Regulations
Rahman, Md Mizanur UL

Doctoral thesis (2016)

Objectives of the thesis are – (a) to identify the problems in water-energy-food nexus from ICT and Law point of view and to propose theoretically a legal knowledge framework for water-energy-food nexus ... [more ▼]

Objectives of the thesis are – (a) to identify the problems in water-energy-food nexus from ICT and Law point of view and to propose theoretically a legal knowledge framework for water-energy-food nexus in order to reduce those problems technologically, (b) to construct and implement legal ontology for nexus extracted from EU water, energy and food Regulations in OWL 2 language, which is a part of the grater work of implementing legal knowledge framework for water-energy-food nexus pro-posed through the compilation of objective (a). Considering these objectives, this thesis presents total five chapters. Chapter 1 is dedicated to fulfill the requirement of objective (a) and the rest chapters are devoted for objective (b). More particularly chapter four presents technical descriptions of the legal ontology for nexus, while chapter two and three articulate methodological aspect of it. Chapter five evaluates legal ontology for nexus. Additionally, besides the list of references, annex 1 delivers all asserted restrictions used in this ontology and annex 2 provides the links of all modules and documentations of legal ontology for nexus. [less ▲]

Detailed reference viewed: 385 (26 UL)
Full Text
Peer Reviewed
See detailLeveraging GIS Data and Topological Information to Infer Trip Chaining Behaviour at Macroscopic Level
Carrese, Filippo; Fusco, Gaetano; Cantelmo, Guido et al

Scientific Conference (2019, June)

One of the open challenges in transport modelling is to estimate within-day demand flows that reflect the complexity of individual activity-travel behaviour. While disaggregate (Activity-Based) demand ... [more ▼]

One of the open challenges in transport modelling is to estimate within-day demand flows that reflect the complexity of individual activity-travel behaviour. While disaggregate (Activity-Based) demand models can recreate realistic daily mobility patterns at an individual level, they usually require an accurate knowledge of individual user behaviour (i.e. via travel surveys), which is not always available. As a result, practitioners often turn to aggregate demand models, that have the advantage of being less demanding in terms of data but typically under represent the demand for secondary activities. In this work, we take research on within-day demand modelling one step forward by proposing a framework that combines traditional methodologies with heterogeneous data sources in order to explicitly represent trip chaining at an aggregated level. We show that the combination of web-based crowd sensed data, network data and behavioural constraints allows to capture complex spatial and temporal correlations between demand patterns. The methodology is applied on the classical Gravity model to show how to incorporate within-day dynamics. Yet, any alternative demand model can be adopted. In our case, Generation and Attraction are used to estimate the systematic demand, that is enriched of information about individual activity patterns, and then a novel definition of impedance function based on Hagestraand ellipse theory plays a central role in spatially distributing locations of trips using geographic relationships and constraints deriving from space-time behaviour. A case study for Luxembourg City has been presented to show the potential of the methodology: the choice of using data from a different spatial context to account for the temporal dimension has been validated through comparisons with official statistics. The results of simulating a workplace relocation show the advantages of this new approach in representing demand related to secondary activities. [less ▲]

Detailed reference viewed: 89 (7 UL)
Full Text
See detailLEXU II „Low Exergy Wall & Air Tempering for Building Refurbishment“
Schmidt, Christoph Wilhelm; Scholzen, Frank UL

Scientific Conference (2018, April 20)

Detailed reference viewed: 32 (1 UL)
Full Text
Peer Reviewed
See detailLifetime prediction for solder joints with the extended finite element method
Menk, Alexander; Pearce, Chris J.; Lanier, Olivier et al

in Proceedings of 12th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, EuroSimE 2011 (2011)

Predicting the lifetime of solder joints undergoing thermal cycling is crucial for the electronics industry in order to guarantee a certain performance of their products in the field. Semi-empirical ... [more ▼]

Predicting the lifetime of solder joints undergoing thermal cycling is crucial for the electronics industry in order to guarantee a certain performance of their products in the field. Semi-empirical methods are often used to predict the average lifetime of the critical joints. However, to get a reliable failure probability the standard deviation must also be addressed. The deviation of the lifetime from the mean value is a consequence of the variation in microstructure found in actual joints. We therefore propose a new methodology that calculates crack growth based on microstructural features of the joint. A series of random microstructures is generated. Crack growth calculations are performed for each of these structures. The structural problem is solved numerically with the extended finite element method which allows a complete automation of the process. The mean crack length and standard deviation are calculated from the crack growth simulations and the result is compared to experimental data. [less ▲]

Detailed reference viewed: 63 (1 UL)