Application of fractional calculus in engineering

Fractional Calculus (FC) goes back to the beginning of the theory of differential calculus. Nevertheless, the application of FC just emerged in the last two decades. It has been recognized the advantageous use of this mathematical tool in the modelling and control of many dynamical systems. Having these ideas in mind, this paper discusses a FC perspective in the study of the dynamics and control of several systems. The paper investigates the use of FC in the fields of controller tuning, legged robots, electrical systems and digital circuit synthesis.

Tuning and application of integer and fractional order PID controllers

Fractional calculus (FC) is widely used in most areas of science and engineering, being recognized its ability to yield a superior modeling and control in many dynamical systems. In this perspective, this article illustrates two applications of FC in the area of control systems. Firstly, is presented a methodology of tuning PID controllers that gives closed-loop systems robust to gain variations. After, a fractional-order PID controller is proposed for the control of an hexapod robot with three dof legs. In both cases, it is demonstrated the system's superior performance by using the FC concepts.

Assessment of eutrophication status of two Northern Irish Loughs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, perfil Engenharia Sanitária

NoC contention analysis using a branch-and-prune algorithm

“Many-core” systems based on a Network-on-Chip (NoC) architecture offer various opportunities in terms of performance and computing capabilities, but at the same time they pose many challenges for the deployment of real-time systems, which must fulfill specific timing requirements at runtime. It is therefore essential to identify, at design time, the parameters that have an impact on the execution time of the tasks deployed on these systems and the upper bounds on the other key parameters. The focus of this work is to determine an upper bound on the traversal time of a packet when it is transmitted over the NoC infrastructure. Towards this aim, we first identify and explore some limitations in the existing recursive-calculus-based approaches to compute the Worst-Case Traversal Time (WCTT) of a packet. Then, we extend the existing model by integrating the characteristics of the tasks that generate the packets. For this extended model, we propose an algorithm called “Branch and Prune” (BP). Our proposed method provides tighter and safe estimates than the existing recursive-calculus-based approaches. Finally, we introduce a more general approach, namely “Branch, Prune and Collapse” (BPC) which offers a configurable parameter that provides a flexible trade-off between the computational complexity and the tightness of the computed estimate. The recursive-calculus methods and BP present two special cases of BPC when a trade-off parameter is 1 or ∞, respectively. Through simulations, we analyze this trade-off, reason about the implications of certain choices, and also provide some case studies to observe the impact of task parameters on the WCTT estimates.

Implementação ESB numa unidade hospitalar. Uso normalizado de mensagens HL7

Atualmente, os sistemas de informação hospitalares têm de possibilitar uma utilização diferenciada pelos diferentes intervenientes, num cenário de constante adaptação e evolução. Para tal, é essencial a interoperabilidade entre os sistemas de informação do hospital e os diversos fornecedores de serviços, assim como dispositivos hospitalares. Apesar da necessidade de suportar uma heterogeneidade entre sistemas ser fundamental, o acesso/troca de informação deve ser feito de uma forma protocolada, segura e transparente. A infraestrutura de informação médica moderna consiste em muitos sistemas heterogéneos, com diversos mecanismos para controlar os dados subjacentes. Informações relativas a um único paciente podem estar dispersas por vários sistemas (ex: transferência de pacientes, readmissão, múltiplos tratamentos, etc.). Torna-se evidente a necessidade aceder a dados do paciente de forma consolidada a partir de diferentes locais. Desta forma, é fundamental utilizar uma arquitetura que promova a interoperabilidade entre sistemas. Para conseguir esta interoperabilidade, podem-se implementar camadas de “middleware” que façam a adaptação das trocas de informação entre os sistemas. Todavia, não resolvemos o problema subjacente, ou seja, a necessidade de utilização de um standard para garantir uma interacção fiável entre cliente/fornecedor. Para tal, é proposto uma solução que passa por um ESB dedicado para a área da saúde, denominada por HSB (Healthcare Service Bus). Entre as normas mais usuais nesta área devem-se salientar o HL7 e DICOM, esta última mais especificamente para dispositivos de imagem hospitalar, sendo a primeira utilizada para gestão e trocas de informação médica entre sistemas. O caso de estudo que serviu de base a esta dissertação é o de um hospital de média dimensão cujo sistema de informação começou por ser uma solução monolítica, de um só fornecedor. Com o passar dos anos, o fornecedor único desagregou-se em vários, independentes e concorrentes, dando lugar a um cenário extremamente preocupante em termos de manutenção e evolução futura do sistema de informação existente. Como resultado do trabalho efetuado, foi proposta uma arquitetura que permite a evolução do sistema atual de forma progressiva para um HSB puro.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Data queries over heterogeneous sources

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Microsatellite genotyping from faeces of Lontra longicaudis from southern Brazil

A genetic study of the neotropical river otter Lontra longicaudis (Olfers, 1818), which has an unknown conservation status, was carried out at the Taim Ecological Station and the margins of the Vargas stream, Rio Grande do Sul, southern Brazil. Faecal samples were collected, and DNA was extracted using a silica-guanidine method. Five microsatellite loci were amplified using PCR with heterologous primers previously described for Lutra lutra (Linnaeus, 1758). Sixteen faecal samples out of 29 from Taim and 11 out of 14 from Vargas stream margins contained enough DNA for genetic analysis. A total of 49 different alleles were found at both localities, from which 18 were exclusively found in individuals from Taim and 17 were exclusives from Vargas individuals. The most common allele was the same at both locations for three loci (Lut715, Lut733, and Lut818). A high level of genetic diversity was found at both sites (NeTaim=4.1, HoTaim=0.299, HeTaim=0.681; NeVargas=4.9, HoVargas=0.355, HeVargas=0.724), being higher at the Vargas stream site. A high and significant level of heterozygote deficiency was observed at most loci according to the χ2 test. The homogeneity χ2 test (P<0.001) showed that there were significant differences in the allele frequencies between the two locations. Genotyping for more than one locus was possible in 81.5% of samples, from which only 37% were possible to genotype for more than three loci. A low degree of relatedness was found among individuals from Taim (R=0.055±0.310), but an even lower value of relatedness was found at the Vargas site (R= -0.285±0.440). The significant degree of differentiation (I=0.890; F ST=0.059) found between Taim and Vargas individuals suggests that there is more than one population of otters in the southern extreme of Brazil, which probably are associated with the water body systems found in this region, the Mirim and the Caiuvá/Flores/Mangueira Lagoons. The high genetic diversity and low relatedness found at the Vargas stream, lead us to believe that the Vargas stream may be acting as a corridor between these water bodies for otter dispersion.

Notch1 and T-cell development: insights from conditional knockout mice.

Notch proteins influence cell-fate decisions in many developmental systems. Gain-of-function studies have suggested a crucial role for Notch1 signaling at several stages during lymphocyte development, including the B/T, alphabeta/gammadelta and CD4/CD8 lineage choices. Here, we critically re-evaluate these conclusions in the light of recent studies that describe inducible and tissue-specific targeting of the Notch1 gene.

Notch1 functions as a tumor suppressor in mouse skin.

Notch proteins are important in binary cell-fate decisions and inhibiting differentiation in many developmental systems, and aberrant Notch signaling is associated with tumorigenesis. The role of Notch signaling in mammalian skin is less well characterized and is mainly based on in vitro studies, which suggest that Notch signaling induces differentiation in mammalian skin. Conventional gene targeting is not applicable to establishing the role of Notch receptors or ligands in the skin because Notch1-/- embryos die during gestation. Therefore, we used a tissue-specific inducible gene-targeting approach to study the physiological role of the Notch1 receptor in the mouse epidermis and the corneal epithelium of adult mice. Unexpectedly, ablation of Notch1 results in epidermal and corneal hyperplasia followed by the development of skin tumors and facilitated chemical-induced skin carcinogenesis. Notch1 deficiency in skin and in primary keratinocytes results in increased and sustained expression of Gli2, causing the development of basal-cell carcinoma-like tumors. Furthermore, Notch1 inactivation in the epidermis results in derepressed beta-catenin signaling in cells that should normally undergo differentiation. Enhanced beta-catenin signaling can be reversed by re-introduction of a dominant active form of the Notch1 receptor. This leads to a reduction in the signaling-competent pool of beta-catenin, indicating that Notch1 can inhibit beta-catenin-mediated signaling. Our results indicate that Notch1 functions as a tumor-suppressor gene in mammalian skin.

Hes1 regulates corneal development and the function of corneal epithelial stem/progenitor cells.

Hes1, a major target gene in Notch signaling, regulates the fate and differentiation of various cell types in many developmental systems. To gain a novel insight into the role of Hes1 in corneal tissue, we performed gain-of-function and loss-of-function studies. We show that corneal development was severely disturbed in Hes1-null mice. Hes1-null corneas manifested abnormal junctional specialization, cell differentiation, and less cell proliferation ability. Worthy of note, Hes1 is expressed mainly in the corneal epithelial stem/progenitor cells and is not detected in the differentiated corneal epithelial cells. Expression of Hes1 is closely linked with corneal epithelial stem/progenitor cell proliferation activity in vivo. Moreover, forced Hes1 expression inhibits the differentiation of corneal epithelial stem/progenitor cells and maintains these cells' undifferentiated state. Our data provide the first evidence that Hes1 regulates corneal development and the homeostatic function of corneal epithelial stem/progenitor cells.

Eddy current effects on a clinical 7T-68 cm bore scanner.

INTRODUCTION: Eddy currents induced by switching of magnetic field gradients can lead to distortions in short echo-time spectroscopy or diffusion weighted imaging. In small bore magnets, such as human head-only systems, minimization of eddy current effects is more demanding because of the proximity of the gradient coil to conducting structures. METHODS: In the present study, the eddy current behavior achievable on a recently installed 7 tesla-68 cm bore head-only magnet was characterized. RESULTS: Residual effects after compensation were shown to be on the same order of magnitude as those measured on two whole body systems (3 and 4.7 T), while using two to three fold increased gradient slewrates.

Error and attack tolerance of layered complex networks.

Many complex systems may be described by not one but a number of complex networks mapped on each other in a multi-layer structure. Because of the interactions and dependencies between these layers, the state of a single layer does not necessarily reflect well the state of the entire system. In this paper we study the robustness of five examples of two-layer complex systems: three real-life data sets in the fields of communication (the Internet), transportation (the European railway system), and biology (the human brain), and two models based on random graphs. In order to cover the whole range of features specific to these systems, we focus on two extreme policies of system's response to failures, no rerouting and full rerouting. Our main finding is that multi-layer systems are much more vulnerable to errors and intentional attacks than they appear from a single layer perspective.

Splitting rivers at their seams: bifurcations and avulsion

River bifurcations are critical but poorly understood elements of many geomorphological systems. They are integral elements of alluvial fans, braided rivers, fluvial lowland plains, and deltas and control the partitioning of water and sediment through these systems. Bifurcations are commonly unstable but their lifespan varies greatly. In braided rivers bars and channels migrate, split and merge at annual or shorter timescales, thereby creating and abandoning bifurcations. This behaviour has been studied mainly by geomorphologists and fluid dynamicists. Bifurcations also exist during avulsion, the process of a river changing course on a floodplain or in a delta, which may take 102103 years and has been studied mainly by sedimentologists. This review synthesizes our current understanding of bifurcations and brings together insights from different research communities and different environmental settings. We consider the causes and initiation of bifurcations and avulsion, the physical mechanisms controlling bifurcation and avulsion evolution, mathematical and numerical modelling of these processes, and the possibility of stable bifurcations. We end the review with some open questions. Copyright (c) 2012 John Wiley & Sons, Ltd.

Inactivation of Notch 1 in immature thymocytes does not perturb CD4 or CD8T cell development.

Notch proteins influence cell-fate decisions in many developing systems. Several gain-of-function studies have suggested a critical role for Notch 1 signaling in CD4-CD8 lineage commitment, maturation and survival in the thymus. However, we show here that tissue-specific inactivation of the gene encoding Notch 1 in immature (CD25+CD44-)T cell precursors does not affect subsequent thymocyte development. Neither steady-state numbers nor the rate of production of CD4+ and CD8+ mature thymocytes is perturbed in the absence of Notch 1. In addition, Notch 1-deficient thymocytes are normally sensitive to spontaneous or glucocorticoid-induced apoptosis. In contrast to earlier reports, these data formally exclude an essential role for Notch 1 in CD4-CD8 lineage commitment, maturation or survival.