Diploma thesis deals with detection of torsional stiffness with using photogrammetric equipment TRITOP device and subsequent comparison with created computational model in FEM software. Measurement and calculations were accomplished according to tutorials, which are the most effective and giving the most accurate results. Next the optional method of measurement of torsional stiffness in practice is formed for future formula series called Dragon. The reasons of different results and suggestion of optimalization are sum up in the end of the thesis.

This theses deals with mechatronic approach to a vehicle dynamics. It is divided into two main parts. There are prepared vibration analysis, measurement and analysis of functions of truck powertrain in the first part. The second part describes the creation of computational models allowing to simulate driving conditions, vibrations of the vehicle and its extension for the development of mechatronic systems. There are shown different driving modes to control created algorithm of mechatronic system. The main tool for the development of mechatronic systems is the created simulator of vehicle enabling testing of computational models in real time.

High Speed Lines (HSL) in rail passenger services are regarded as one of the most significant projects in many countries comparing to other projects in the transportation area. According to the EU (European Council Directive 96/48/EC,2004) , high-speed lines are either new-built lines for speeds of 250km/h or greater, or in some cases upgraded traditional lines. At the beginning of 2008, there were 10,000 km of new HSL lines in operation, and by taking into account the upgraded conventional lines, in total, there were 20,000 km line in the world. The network is growing fast because of the demand for short travelling time and comfort isincreasing rapidly. Since HSL projects require a lot of capital, it is getting more important for governments and companies to estimate and to calculate the total costs and benefits of building, maintaining, and operating of HSL so that they can decide better and more reliable in choosing between projects. There are many parameters which affect the total costs and benefits of an HSL. The most important parameter is dimensional speed which has a great influence on other parameters. For example, tunnels need larger cross section for higher speed which increases construction costs. More important, higher speed also influences the number of passengers attracted from other modes of transport. Due to a large number of speed-dependant parameters, it is not a simple task to estimate an optimal dimensional speed by calculating the costs and benefits of an HSL manually. It is also difficult to do analysis for different speeds, as speed changes many other relevant parameters. As a matter of fact, there is a need for a computational model to calculate the cost-benefit for different speeds. Based on the computational model, it is possible to define different scenarios and compare them to each other to see what the potentially optimal speed would be for a new HSL project. Besides the optimal speed, it is also possible to analyze and find effects of two other important parameters, fare and frequency, by cost-benefit analysis (CBA). The probability model used in the calculation is based on an elasticity model, and input parameters are subject to flexibility to calibrate the model appropriately. Optimal high-speed line (OHSL) tool is developed to make the model accessible for the users.

We introduce a novel dynamic model of stem cell and tissue organisation in murine intestinal crypts. Integrating the molecular, cellular and tissue level of description, this model links a broad spectrum of experimental observations encompassing spatially confined cell proliferation, directed cell migration, multiple cell lineage decisions and clonal competition. Using computational simulations we demonstrate that the model is capable of quantitatively describing and predicting the dynamic behaviour of the intestinal tissue during steady state as well as after cell damage and following selective gain or loss of gene function manipulations affecting Wnt- and Notch-signalling. Our simulation results suggest that reversibility and flexibility of cellular decisions are key elements of robust tissue organisation of the intestine. We predict that the tissue should be able to fully recover after complete elimination of cellular subpopulations including subpopulations deemed to be functional stem cells. This challenges current views of tissue stem cell organisation.

Indiana University-Purdue University Indianapolis (IUPUI) / Endothelial cells form the lining of the walls of blood vessels and are continuously subjected to mechanical stimuli from the blood flow. Microtubule-organizing center (MTOC), also known as centrosome is a structure found in eukaryotic cells close to the nucleus. MTOC relocates relative to the nucleus when endothelial cells are exposed to shear stress which determines their polarization, thus it plays a critical role in cell migration and wound healing. The nuclear lamina, a mesh-like network that lies underneath the nuclear membrane, is composed of lamins, type V intermediate filament proteins. Mutations in LMNA gene that encodes A-type lamins cause the production of a mutant form of lamin A called progerin and leads to a rare premature aging disease known as Hutchinson-Gilford Progeria Syndrome (HGPS). The goal of this study is to investigate how fluid flow affects the cytoskeleton of endothelial cells. This thesis consists of two main sections; computational mechanical modeling and laboratory experimental work. The mechanical model was implemented using Ansys Workbench software as a tensegrity-based cellular model in order to simulate the state of an endothelial cell under the effects of induced shear stress from the blood fluid flow. This tensegrity-based cellular model - composed of a plasma membrane, cytoplasm, nucleus, microtubules, and actin filaments - aims to understand the effects of the fluid flow on the mechanics of the cytoskeleton. In addition, the laboratory experiments conducted in this study examined the MTOC-nuclear orientation of endothelial cells under shear stress with the presence of wound healing. Wild-type lamin A and progerin-expressing BAECs were studied under static and sheared conditions. Moreover, a custom MATLAB code was utilized to measure the MTOC-nuclear orientation angle and classification. Results demonstrate that shear stress leads to different responses of the MTOC orientation between the wild-type and progerin-expressing cells around the vertical wound edge. Future directions for this study involve additional experimental work together with the improved simulation results to confirm the MTOC orientation relative to the nucleus under shear stress.

No description available.

No description available.

付記する学位プログラム名: デザイン学大学院連携プログラム / 京都大学 / 新制・課程博士 / 博士(情報学) / 甲第24031号 / 情博第787号 / 新制||情||134(附属図書館) / 京都大学大学院情報学研究科知能情報学専攻 / (主査)教授 阿久津 達也, 教授 山本 章博, 教授 鹿島 久嗣 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

The martensite and magnetic transformations in Ni-Fe-Ga ferromagnetic shape memory alloys are very sensitive to both alloy chemistry and thermal history. A series of Ni-Fe-Ga alloys near the prototype Heusler composition (X2YZ) were fabricated and homogenized at 1423 °K, and a Ni₅₃Fe₁₉Ga₂₈ alloy was subsequently annealed at various temperatures below and above the B2/L21 ordering temperature. Calorimetry and magnetometry were employed to measure the martensite transformation temperatures and Curie temperatures. Compositional variations of only a few atomic percent result in martensite start temperatures and Curie temperatures that differ by about 230 °K degrees and 35 °K degrees, respectively. Various one-hour anneals of the Ni₅₃Fe₁₉Ga₂₈ alloy shift the martensite start temperature and the Curie temperature by almost 70 °K degrees. Transmission electron microscopy investigations were conducted on the annealed Ni₅₃Fe₁₉Ga₂₈ alloy. The considerable variations in the martensite and magnetic transformations in these alloys are discussed in terms of microstructural differences resulting from alloy chemistry and heat treatments. The phase-field method has been successfully employed during the past ten years to simulate a wide variety of microstructural evolution in materials. Phase-field computational models describe the microstructure of a material by using a set of field variables whose evolution is governed by thermodynamic functionals and kinetic continuum equations. A two dimensional phase-field model that demonstrates the ferromagnetic shape memory effect in Ni2MnGa is presented. Free energy functionals are based on the phase-field microelasticity and micromagnetic theories; they account for energy contributions from martensite variant boundaries, elastic strain, applied stress, magnetocrystalline anisotropy, magnetic domain walls, magnetostatic potential, and applied magnetic fields. The time-dependent Ginzburg-Landau and Landau-Lifshitz kinetic continuum equations are employed to track the microstructural and magnetic responses in ferromagnetic shape memory alloys to applied stress and magnetic fields. The model results show expected microstructural responses to these applied fields and could be potentially utilized to generate quantitative predictions of the ferromagnetic shape memory effect in these alloys. / Ph. D.

Businesses do evolve. Their evolution necessitates the re-engineering of their existing "business processes”, with the objectives of reducing costs, delivering services on time, and enhancing their profitability in a competitive market. This is generally true and particularly in domains such as manufacturing, pharmaceuticals and education). The central objective of workflow technologies is to separate business policies (which normally are encoded in business logics) from the underlying business applications. Such a separation is desirable as it improves the evolution of business processes and, more often than not, facilitates the re-engineering at the organisation level without the need to detail knowledge or analyses of the application themselves. Workflow systems are currently used by many organisations with a wide range of interests and specialisations in many domains. These include, but not limited to, office automation, finance and banking sector, health-care, art, telecommunications, manufacturing and education. We take the view that a workflow is a set of "activities”, each performs a piece of functionality within a given "context” and may be constrained by some security requirements. These activities are coordinated to collectively achieve a required business objective. The specification of such coordination is presented as a set of "execution constraints” which include parallelisation (concurrency/distribution), serialisation, restriction, alternation, compensation and so on. Activities within workflows could be carried out by humans, various software based application programs, or processing entities according to the organisational rules, such as meeting deadlines or performance improvement. Workflow execution can involve a large number of different participants, services and devices which may cross the boundaries of various organisations and accessing variety of data. This raises the importance of _ context variations and context-awareness and _ security (e.g. access control and privacy). The specification of precise rules, which prevent unauthorised participants from executing sensitive tasks and also to prevent tasks from accessing unauthorised services or (commercially) sensitive information, are crucially important. For example, medical scenarios will require that: _ only authorised doctors are permitted to perform certain tasks, _ a patient medical records are not allowed to be accessed by anyone without the patient consent and _ that only specific machines are used to perform given tasks at a given time. If a workflow execution cannot guarantee these requirements, then the flow will be rejected. Furthermore, features/characteristics of security requirement are both temporal- and/or event-related. However, most of the existing models are of a static nature – for example, it is hard, if not impossible, to express security requirements which are: _ time-dependent (e.g. A customer is allowed to be overdrawn by 100 pounds only up-to the first week of every month. _ event-dependent (e.g. A bank account can only be manipulated by its owner unless there is a change in the law or after six months of his/her death). Currently, there is no commonly accepted model for secure and context-aware workflows or even a common agreement on which features a workflow security model should support. We have developed a novel approach to design, analyse and validate workflows. The approach has the following components: = A modelling/design language (known as CS-Flow). The language has the following features: – support concurrency; – context and context awareness are first-class citizens; – supports mobility as activities can move from one context to another; – has the ability to express timing constrains: delay, deadlines, priority and schedulability; – allows the expressibility of security policies (e.g. access control and privacy) without the need for extra linguistic complexities; and – enjoy sound formal semantics that allows us to animate designs and compare various designs. = An approach known as communication-closed layer is developed, that allows us to serialise a highly distributed workflow to produce a semantically equivalent quasi-sequential flow which is easier to understand and analyse. Such re-structuring, gives us a mechanism to design fault-tolerant workflows as layers are atomic activities and various existing forward and backward error recovery techniques can be deployed. = Provide a reduction semantics to CS-Flow that allows us to build a tool support to animate a specifications and designs. This has been evaluated on a Health care scenario, namely the Context Aware Ward (CAW) system. Health care provides huge amounts of business workflows, which will benefit from workflow adaptation and support through pervasive computing systems. The evaluation takes two complementary strands: – provide CS-Flow’s models and specifications and – formal verification of time-critical component of a workflow.