A checkpointing-enabled and resource-aware Java Virtual Machine for efficient and robust e-Science applications in grid environments

Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.

Study on influence of the new CoDeSys V3.0 on the existing CoDeSys discipline of the Mind8 Engineering Center

CoDeSys "Controller Development Systems" is a development environment for programming in the area of automation controllers. It is an open source solution completely in line with the international industrial standard IEC 61131-3. All five programming languages for application programming as defined in IEC 61131-3 are available in the development environment. These features give professionals greater flexibility with regard to programming and allow control engineers have the ability to program for many different applications in the languages in which they feel most comfortable. Over 200 manufacturers of devices from different industrial sectors offer intelligent automation devices with a CoDeSys programming interface. In 2006, version 3 was released with new updates and tools. One of the great innovations of the new version of CoDeSys is object oriented programming. Object oriented programming (OOP) offers great advantages to the user for example when wanting to reuse existing parts of the application or when working on one application with several developers. For this reuse can be prepared a source code with several well known parts and this is automatically generated where necessary in a project, users can improve then the time/cost/quality management. Until now in version 2 it was necessary to have hardware interface called “Eni-Server” to have access to the generated XML code. Another of the novelties of the new version is a tool called Export PLCopenXML. This tool makes it possible to export the open XML code without the need of specific hardware. This type of code has own requisites to be able to comply with the standard described above. With XML code and with the knowledge how it works it is possible to do component-oriented development of machines with modular programming in an easy way. Eplan Engineering Center (EEC) is a software tool developed by Mind8 GmbH & Co. KG that allows configuring and generating automation projects. Therefore it uses modules of PLC code. The EEC already has a library to generate code for CoDeSys version 2. For version 3 and the constant innovation of drivers by manufacturers, it is necessary to implement a new library in this software. Therefore it is important to study the XML export to be then able to design any type of machine. The purpose of this master thesis is to study the new version of the CoDeSys XML taking into account all aspects and impact on the existing CoDeSys V2 models and libraries in the company Harro Höfliger Verpackungsmaschinen GmbH. For achieve this goal a small sample named “Traffic light” in CoDeSys version 2 will be done and then, using the tools of the new version it there will be a project with version 3 and also the EEC implementation for the automatically generated code.

Monitorização via internet de processos industriais controlados com autómatos programáveis

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Brownian bridge and other path-dependent Gaussian processes vectorial simulation

The iterative simulation of the Brownian bridge is well known. In this article, we present a vectorial simulation alternative based on Gaussian processes for machine learning regression that is suitable for interpreted programming languages implementations. We extend the vectorial simulation of path-dependent trajectories to other Gaussian processes, namely, sequences of Brownian bridges, geometric Brownian motion, fractional Brownian motion, and Ornstein-Ulenbeck mean reversion process.

Desenvolvimento de simulador para orçamentação de infraestruturas elétricas

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Body composition, muscle strength, functional capacity, and physical disability risk in liver transplanted familial amyloidotic polyneuropathy patients

Abstract: Background: Familial amyloidotic polyneuropathy (FAP) is a neurodegenerative disease leading to sensory and motor polyneuropathies, and functional limitations. Liver transplantation is the only treatment for FAP, requiring medication that negatively affects bone and muscle metabolism. The aim of this study was to compare body composition, levels of specific strength, level of physical disability risk, and functional capacity of transplanted FAP patients (FAPTx) with a group of healthy individuals (CON). Methods: A group of patients with 48 FAPTx (28 men, 20 women) was compared with 24 CON individuals (14 men, 10 women). Body composition was assessed by dual-energy X-ray absorptiometry, and total skeletal muscle mass (TBSMM) and skeletal muscle index (SMI) were calculated. Handgrip strength was measured for both hands as was isometric strength of quadriceps. Muscle quality (MQ) was ascertained by the ratio of strength to muscle mass. Functional capacity was assessed by the six-minute walk test. Results: Patients with FAPTx had significantly lower functional capacity, weight, body mass index, total fat mass, TBSMM, SMI, lean mass, muscle strength, MQ, and bone mineral density. Conclusion: Patients with FAPTx appear to be at particularly high risk of functional disability, suggesting an important role for an early and appropriately designed rehabilitation program.

Strength, muscle quality and functional capacity in liver transplanted familial amyloidotic polineuropathy patients

Liver transplantation is the unique treatment for several end-stage diseases. Familial Amiloidotic Polineuropathy (FAP) is a neurodegenerative disease related with systemic deposition of amyloidal fiber mainly on peripheral nervous system, clinically translated by an autonomous sensitive-motor neuropathy with severe functional limitations in some cases. The unique treatment for FAP disease is a liver transplant with a very aggressive medication to muscle metabolism and force production. To our knowledge there are no quantitative characterizations of body composition, strength or functional capacity in this population.

Knee muscle strength, balance and functional independence in persons with stroke

Purpose: to investigate the relationship between knee muscle strength, balance and functional independence within the first month after stroke. Relevance: cerebral vascular disease is one of the main causes of morbidity, disability and mortality in developed countries. Problems with movement control are frequent after stroke. Lower limb weakness and impaired balance are common problems that are related with the risk of falls and are likely to interfere with the ability to perform daily life activities. Physiotherapy intervention usually starts early after stroke and addresses impairments related to movement and posture in order to improve motor recovery and restore function.

Muscle strength, balance and functional independence in persons with stroke

Cerebral vascular disease is one of the main causes of morbidity, disability and mortality in developed countries. Problems with movement control are frequent after stroke. Lower limb weakness and impaired balance are common problems that are related with the risk of falls and are likely to interfere with the ability to perform daily life activities. Physiotherapy intervention usually starts early after stroke and addresses impairments related to movement and posture in order to improve motor recovery and restore function. Purpose: to investigate the relationship between knee muscle strength, balance and functional independence within the first month after stroke.

Foreign languages in the primary school

Of vital importance to the successful implementation of the teaching of FLs in the 1st Cycle...

MDAI: Model based Design in Automobile Industry

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

Scheduling of head-dependent cascaded hydro systems: Mixed-integer quadratic programming approach

This paper is on the problem of short-term hydro, scheduling, particularly concerning head-dependent cascaded hydro systems. We propose a novel mixed-integer quadratic programming approach, considering not only head-dependency, but also discontinuous operating regions and discharge ramping constraints. Thus, an enhanced short-term hydro scheduling is provided due to the more realistic modeling presented in this paper. Numerical results from two case studies, based on Portuguese cascaded hydro systems, illustrate the proficiency of the proposed approach.

Strength, muscle quality and functional capacity in liver transplanted familial amyloidotic polineuropathy patients

Liver transplantation is the unique treatment for several end stage diseases. Familial Amiloidotic Polineuropathy (FAP) is a neurodegenerative disease related with systemic deposition of amyloidal fibre mainly on peripheral nervous system, clinically translated by an autonomous sensitive-motor neuropathy with severe functional limitations in some cases. The unique treatment for FAP disease is a liver transplant with a very aggressive medication to muscle metabolism and force production. To our knowledge there are no quantitative characterizations of body composition, strength or functional capacity in this population. The purpose of this study was to compare levels of specific strength (isometric strength adjusted by lean mass or muscle quality) and functional capacity (meters in 6 minutes walk test) between FAP patients after a liver transplant (4.1±2 months after transplant surgery) (FAPT) and a healthy group (HG).

Study of the influence of count’s number in myocardium in the determination of reproducible functional parameters in Gated-SPECT studies simulated with GATE

Myocardial Perfusion Gated Single Photon Emission Tomography (Gated-SPET) imaging is used for the combined evaluation of myocardial perfusion and left ventricular (LV) function. But standard protocols of the Gated-SPECT studies require long acquisition times for each study. It is therefore important to reduce as much as possible the total duration of image acquisition. However, it is known that this reduction leads to decrease on counts statistics per projection and raises doubts about the validity of the functional parameters determined by Gated-SPECT. Considering that, it’s difficult to carry out this analysis in real patients. For ethical, logistical and economical matters, simulated studies could be required for this analysis. Objective: Evaluate the influence of the total number of counts acquired from myocardium, in the calculation of myocardial functional parameters (LVEF – left ventricular ejection fraction, EDV – end-diastolic volume, ESV – end-sistolic volume) using routine software procedures.

Functional validation of LexADBDGim chimeras in saccharomyces cerevisiae

GimC/Prefoldin is a hetero-oligomeric complex involved in cytoskeleton biogenesis. In order to identify by two-hybrid system targets that directly interact with Gims and support the stress phenotypes, this work aimed the functional validation of all Gims in saccharomyces cerevisiae.