The aim of this work is to design and create an application that will allow monitoring of wireless sensor networks. The basis of the project is to design a database that is capable of storing data acquired from wireless sensor networks. The main requirement for the design is versatility, which flows from the requirement to use the database for broad range of applications implementing wireless sensor networks. The application itself is designed to be the most versatile and modular, which means that modules provide specific monitoring services. The application is able to monitor the real wireless sensor network through designed and implemented connector. For implementation J2EE (server side) and Adobe Flex/Air (client side) technologies are used.

Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a value) and various inscriptions can be inserted into the net. CPN excel with great readibility and expresivity. At the same time, they carry a well-defined formal basis, which eases its computer simulation and allows limited verification of certain attributes to be performed. Motivation for doing this project is the simple fact that currently only one public software tool is available for CPN creation and simulation - CPNTools developed on the Aarhus university. The program, however, is quite complicated and hard to handle for an unexperienced user. The goal is to research capabilities and properties of both CPNs and CPNTools and on this basis design and implement a didactic application with swift and intuitive interface that helps users without deeper theoretical insight to get a grasp of the problematics.

Analyse und Entwicklung eines webbasierten Buchungsmoduls für das Busreiseverwaltungssystem "MikrobusONLINE" auf Basis der Flex-Technologie und der Skriptsprache Perl

Orientador: José Luiz Rybarczyk Filho / Resumo: O cavalo (Equus caballus) sofreu mudanças evolutivas do Eohypus com adaptações na locomoção para andamentos em diferentes velocidades. Em semelhança a outros ungulados a porção distal dos equinos é protegido pelo casco. O casco é estrutura córnea complexa que tem relação direta à saúde destes animais, é a parte protetora estrutural e funcional do sistema locomotor do equino, e tem ação direta sobre o retorno sanguíneo dos membros ao coração. Ao apoiar o casco sobre o solo, o animal pressiona as estruturas podais que promovem a expansão medial e lateral do casco. Considerando tais alterações no formato do casco nos momentos de apoio e elevação durante a locomoção, apresenta-se um sistema físico de precisão que analisa objetivamente a deformação dos cascos durante a locomoção, estabelecendo-se uma avaliação física e matemática das mudanças do formato do casco à locomoção. Foi desenvolvida uma placa de circuito impresso para se encaixar na plataforma embarcada Arduino (shield), esse dispositivo faz o processamento dos sinais adquiridos pelos sensores fixados nos cascos, e os enviam a um computador com uma taxa de amostragem a 200 Hz. Um software escrito na linguagem de programação Python recebe os dados, exibe-os em tempo real e os armazenam em arquivos para análises. Para realizar o teste in vitro foi criado um protótipo de um casco em PVC. Os testes in vivo foram feitos em quatro animais, o quais foram conduzidos em dois tipos diferentes de solo (asfalto e grama). O resultado ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The horse (Equus caballus) underwent evolutionary changes of Eohypus with adaptati- ons in locomotion for different speeds. In similarity to other angulated distal equine is protected by the hoof. The hoof is a complex cornea structure that is directly related to the health of these animals, it is the structural and functional protective part of the equine locomotor system, and has direct action on the blood return of the limbs to the heart. By supporting the hoof on the ground, the animal presses the foot structures that promote the medial and lateral expansion of the hoof. Considering such changes in the shape of the hoof during moments of support and elevation during locomotion, a physical precision system is presented that objectively analyzes the deformation of the hooves during the locomotion, establishing a physical and mathematical evaluation of the changes of the shape of the hoof to locomotion. A printed circuit board was developed to fit the Arduino embedded platform (shield), this device processes the signals acquired by the sensors attached to the hooves and sends them to a computer with a sampling rate of 200 Hz. Software written in the Python programming language receives the data, displays it in real time, and stores it in files for analysis. For the in vitro test a prototype of a PVC hoof was created. In vivo tests were performed on four animals, which were conducted on two different types of soil (asphalt and grass). The result demonstrated and proved the op... (Complete abstract click electronic access below) / Mestre

Large parts of Earth’s natural ecosystems have been converted into simplified production system. These production systems, named the Global Production Ecosystems (GPE) are characterised by homogenised and industrial production, that delivers predictable yields of biomass and is highly connected through global trade. The anthropogenic inputs required to keep this predictability is likely to cause environmental degradation and could cause novel risks in the long term. The rise of flex crops is a phenomenon that is likely to further promote this homogenisation and industrialisation. These are crops with multiple and flexible uses that are increasingly targeted by agribusinesses to feed the demands of food, feed, fuel and other industrial products. This study examines global flex crops production ecosystem through the lens of resilience thinking, by analysing production data over time, including the social and environmental impacts of inputs, and assess the national concentration of production. I find that flex crops have expanded and intensified more so than similar crops. Since 1961 flex crops harvested area have increased in more than 150% in size, while similar crops have increased 10%. At the same time yields for flex crops have almost tripled, while similar crops have doubled their yield. I also find that in some aspects flex crops are heavily reliant on anthropogenic inputs. On a global scale the use of inputs is generally concentrated to a small number of countries, but that the average use of inputs varies greatly between countries. These findings indicate that the development of flex crops is an important to research to understand the GPE and that using resilience thinking is key to understand this phenomenon.

"You are safe. You are calm. You are in control." is a piece written out of a state of emotional and physical exhaustion. The piece uses an electronic track comprised of the sounds of distressed children recorded at a daycare and a flex string quintet that plays along with the track. This paper explores the reasoning behind the music, the connections the piece has to the past, and the relevance of the piece now and in the future.

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第18058号 / 理博第3936号 / 新制||理||1567(附属図書館) / 30916 / 京都大学大学院理学研究科物理学・宇宙物理学専攻 / (主査)准教授 池田 隆介, 教授 川上 則雄, 教授 石田 憲二 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

No description available.

Gene trapping has emerged as a valuable tool to create conditional alleles in various model organisms. Here we report the FLEx‐based gene trap vector SAGFLEx that allows the generation of conditional mutations in zebrafish by gene‐trap mutagenesis. The SAGFLEx gene‐trap cassette comprises the rabbit β‐globin splice acceptor and the coding sequence of GFP, flanked by pairs of inversely oriented heterotypic target sites for the site‐specific recombinases Cre and Flp. Insertion of the gene‐trap cassette into endogenous genes can result in conditional mutations that are stably inverted by Cre and Flp, respectively. To test the functionality of this system we performed a pilot screen and analyzed the insertion of the gene‐trap cassette into the lima1a gene locus. In this lima1a allele, GFP expression faithfully recapitulated the endogenous lima1a expression and resulted in a complete knockout of the gene in homozygosity. Application of either Cre or Flp was able to mediate the stable inversion of the gene trap cassette and showed the ability to conditionally rescue or reintroduce the gene inactivation. Combined with pharmacologically inducible site specific recombinases the SAGFLEx vector insertions will enable precise conditional knockout studies in a spatial‐ and temporal‐controlled manner.

Contact is one of the most challenging nonlinearities to solve in solid mechanics. In traditional linear finite element analysis, the contact surface is only C^0 continuous, as a result, the normal to the contact surface is not continuous. The normal contact force is directed along the normal in the direction of the contact surface, and therefore, the contact force is discontinuous. This issue is tackled in linear finite element analysis using various surface smoothing techniques, however, a better solution is to use isogeometric analysis where the solution space is spanned by smooth spline basis functions. Unfortunately, spline-based isogeometric contact analysis still has limited applicability to industrial computer aided design (CAD) representations. Building analysis suitable mesh from the industrial CAD representations has been a major bottleneck of the computer aided engineering workflow. One promising alternative field of study, intended to address this challenge, is called the immersed finite element method. In this method, the original CAD domain is immersed in a rectilinear grid called the background mesh. This cuts down the model preparation and the mesh generation time from the original CAD domain, but the method suffers from limited accuracy issues. In this dissertation, the original CAD domain is immersed in an envelope domain which can be of arbitrary topological and geometric complexity and can approximate none, some or all of the features of the original CAD domain. Therefore, the method, called the flex representation method, is much more flexible than the traditional immersed finite element method. Within the framework of the flex representation method, a robust and accurate contact search algorithm is developed, that efficiently computes the collision points between the contacting surfaces in a discrete setting. With this information at hand, a penalty based formulation is derived to enforce the contact constraint weakly for multibody and self-contact problems. In addition, the contact algorithm is used to solve various proof-of-concept academic problems and some real world industrial problems to demonstrate the validity and robustness of the algorithms.