The research presented in this paper presents a framework with an algorithm intended for the development of complex technical systems during their operation in uncertain situations. It is based on the prediction of de...
详细信息
Updating people about the actions of others—social communication—is a powerful means by which humans learn about the world and maintain stable societies. However, how the mind/brain achieves this ability computation...
详细信息
Many common chronic diseases operate at the intersection of metabolic and cardiovascular dysfunction. In order to model the effects of these diseases and investigate underlying causes we are developing a cardiomyocyte...
详细信息
ISBN:
(纸本)9798350324471
Many common chronic diseases operate at the intersection of metabolic and cardiovascular dysfunction. In order to model the effects of these diseases and investigate underlying causes we are developing a cardiomyocyte model which incorporates both the mechanics and metabolic factors that underlie work done by the heart. In this paper we present the first experimental results from our study measuring mechanical properties in human cardiac trabeculae, including the effect of inorganic phosphate (Pi) on the complex modulus at 37 degrees C. Extending our previous mathematical model, we have developed a computationally efficient model of cardiac crossbridge mechanics which is sensitive to changes in cellular Pi. This extended model was parameterised with human cardiac complex modulus data. It captured the changes to cardiac mechanics following an increase in Pi concentration that we measured experimentally, including a reduced elastic modulus and a right-shift in frequency. The human cardiac trabecula we studied had a low sensitivity to Pi compared to what has been previously reported in mammalian cardiac tissue, which suggests that the muscle may have cellular compensatory mechanisms to cope with elevated Pi levels. This study demonstrates the feasibility of our experimental-modelling pipeline for future investigation of mechanical and metabolic effects in the diseased human heart.
In this study a computational fluid dynamic (CFD) model is used to study the problem associated with the formation of thrombus by the analysis of flow dynamics in human vein and its venous vaLves. Many fundamental iss...
详细信息
The in vitro culture of hydrogel-based constructs above a critical size is accompanied by problems of unequal cell distribution when diffusion is the primary mode of oxygen transfer. In this study, an experimentally-i...
详细信息
The in vitro culture of hydrogel-based constructs above a critical size is accompanied by problems of unequal cell distribution when diffusion is the primary mode of oxygen transfer. In this study, an experimentally-informed mathematical model was developed to relate cell proliferation and death inside fibrin hydrogels to the local oxygen tension in a quantitative manner. The predictive capacity of the resulting model was tested by comparing its outcomes to the density, distribution and viability of human periosteum derived cells (hPDCs) that were cultured inside fibrin hydrogels in vitro. The model was able to reproduce important experimental findings, such as the formation of a multilayered cell sheet at the hydrogel periphery and the occurrence of a cell density gradient throughout the hydrogel. In addition, the model demonstrated that cell culture in fibrin hydrogels can lead to complete anoxia in the centre of the hydrogel for realistic values of oxygen diffusion and consumption. A sensitivity analysis also identified these two parameters, together with the proliferation parameters of the encapsulated cells, as the governing parameters for the occurrence of anoxia. In conclusion, this study indicates that mathematical models can help to better understand oxygen transport limitations and its influence on cell behaviour during the in vitro culture of cell-seeded hydrogels. (C) 2010 Elsevier Ltd. All rights reserved.
This present paper deals with mathematicalmodelling of the crane's mechanical, hydraulic, and control systems as well as the numerical simulation of offshore cranes performing sealift operations. The simulations ...
详细信息
This present paper deals with mathematicalmodelling of the crane's mechanical, hydraulic, and control systems as well as the numerical simulation of offshore cranes performing sealift operations. The simulations are performed by FEDEM - a general non-linear dynamic analysis program for flexible multibody systems. The pedestal, the revolving crane superstructure called crane king, and the boom are flexible links modelled by shell finite elements and connected together by different joints. A mathematical model of the hydraulic system and a control system is implemented in the mechanism model, making it possible to realistically control the operation of the crane. The results from the dynamic simulations verify that the virtual crane gives a very good picture of the dynamic behaviour of the real crane in offshore environment. This study shows how dynamic amplification can be reduced by proper operation and design of the hydraulic and control system. Simulation examples are shown for sealift from supply vessel when both the supply vessel and the FPSO (Floating Production, Storage and Offloading vessel) are subjected to wave induced forces.
human-swarm interaction (HSI) involves a number of human factors impacting humanbehaviour throughout the interaction. As the technologies used within HSI advance, it is more tempting to increase the level of swarm au...
详细信息
Authorization infrastructures are an integral part of any network where resources need to be protected. As organisations start to federate access to their resources, authorization infrastructures become increasingly d...
详细信息
ISBN:
(纸本)9781467310673
Authorization infrastructures are an integral part of any network where resources need to be protected. As organisations start to federate access to their resources, authorization infrastructures become increasingly difficult to manage, to a point where relying only on human resources becomes unfeasible. In our work, we propose a Self-Adaptive Authorization Framework (SAAF) that is capable of monitoring the usage of resources, and controlling access to resources through the manipulation of authorization assets (e.g., authorization policies, access rights and sessions), due to the identification of abnormal usage. As part of this work, we explore the use of models for facilitating the autonomic management of federated authorization infrastructures by 1) classifying access behaviour exhibited by users, 2) modelling authorization assets, including usage, for identifying abnormal behaviour, and 3) managing authorization through the adaptation and reflection of modelled authorization assets. SAAF will be evaluated by integrating it into an existing authorization infrastructure that would allow the simulation of abnormal usage scenarios.
With the aging population, researchers around the world are investigating technological solutions to help seniors stay at home as long as possible. One of them is the concept of smart home, which is an intelligent hou...
详细信息
ISBN:
(纸本)9781450363907
With the aging population, researchers around the world are investigating technological solutions to help seniors stay at home as long as possible. One of them is the concept of smart home, which is an intelligent house equipped with sensors and actuators. Aging people often suffers from physical and cognitive impairments, which limit their abilities to perform their Activities of Daily Living (ADL). Therefore, the smart home needs to be able to assist its resident in carrying out their ADL, when it is required. Recognising the ongoing ADL constitutes then a key challenge of the assistive services. Being able to simulate users' behaviour is also an important issue, as well as being able to find an assistive step-by-step solution when something goes wrong. However, all theses challenges need to rely on a knowledge base of activities' models. In the past, many researchers tried to make use of some logical encoding of the activities by exploiting, for instance, first order logic. These approaches work fine for the inferential process but they are very rigid, complex and time consuming. More recently, scientists in the field tried to represent the activities using stochastic models, such as Bayesian Networks or Markov Model. These probabilistic methods do not represent activities very naturally and are very static state-transition models. In this paper, we propose the use of behaviour Trees (BT) as a means to represent the user's ADL in a smart home. BTs are mainly used in the video game industry as a powerful tool to model the behaviour of non-player characters. BTs allow the modelling of activities with a flexible, well-defined approach. We will present a first exploitation of the behaviour trees in a smart home simulator.
Virtual environments have been used to develop fire evacuation training systems which benefit from high levels of graphical realism and various interaction methods. However, virtual environment-based fire evacuation t...
详细信息
暂无评论