Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Scaling of the elastic contribution to the surface free energy of a nematic liquid crystal on a sawtoothed substrate

We characterize the elastic contribution to the surface free energy of a nematic liquid crystal in the presence of a sawtooth substrate. Our findings are based on numerical minimization of the Landau-de Gennes model and analytical calculations on the Frank-Oseen theory. The nucleation of disclination lines (characterized by non-half-integer winding numbers) in the wedges and apexes of the substrate induces a leading order proportional to q ln q to the elastic contribution to the surface free-energy density, with q being the wave number associated with the substrate periodicity.

Solutions of second-order and fourth-order ODEs on the half-line

We start by studying the existence of positive solutions for the differential equation u '' = a(x)u - g(u), with u ''(0) = u(+infinity) = 0, where a is a positive function, and g is a power or a bounded function. In other words, we are concerned with even positive homoclinics of the differential equation. The main motivation is to check that some well-known results concerning the existence of homoclinics for the autonomous case (where a is constant) are also true for the non-autonomous equation. This also motivates us to study the analogous fourth-order boundary value problem {u((4)) - cu '' + a(x)u = vertical bar u vertical bar(p-1)u u'(0) = u'''(0) = 0, u(+infinity) = u'(+infinity) = 0 for which we also find nontrivial (and, in some instances, positive) solutions.

A Pitch Control Malfunction Analysis for Wind Turbines with Permanent Magnet Synchronous Generator and Full-power Converters: Proportional Integral Versus Fractional-order Controllers

A transient analysis for two full-power converter wind turbines equipped with a permanent magnet synchronous generator is studied in this article, taking into consideration, as a new contribution to earlier studies, a pitch control malfunction. The two full-power converters considered are, respectively, a two-level and a multi-level converter. Moreover, a novel control strategy based on fractional-order controllers for wind turbines is studied. Simulation results are presented; conclusions are in favor of the novel control strategy, improving the quality of the energy injected into the electric grid.

Base molecular da hemocromatose hereditária não-clássica em Portugal

A Hemocromatose Hereditária (HH) é uma doença autossómica recessiva caracterizada pela absorção excessiva de ferro a nível intestinal e sua acumulação em órgãos vitais, podendo originar cardiomiopatia, cirrose e carcinoma hepatocelular. O correspondente diagnóstico molecular é obtido pela associação com genótipos específicos no gene HFE (homozigotia para p.Cys282Tyr ou heterozigotia composta p.Cys282Tyr/p.His63Asp). Contudo, nos países do sul da Europa, cerca de um terço dos doentes com diagnóstico clínico de HH não apresenta os referidos genótipos. Para identificar a base molecular da HH não-clássica em Portugal usaram-se metodologias de pesquisa geral de variantes genéticas (SSCP e dHPLC), Next-Generation Sequencing (NGS) e sequenciação de Sanger, cobrindo seis genes relacionados com o metabolismo do ferro em 303 doentes. Identificaram-se 69 variantes diferentes e de vários tipos, por ex. missense, nonsense, de splicing, que perturbam a transcrição do gene ou a regulação da tradução do mRNA. Seguidamente, realizaram-se estudos in silico e in vitro para esclarecer o significado etiológico de algumas das novas variantes. Concluiu-se que a base molecular desta patologia é bastante heterogénea e que a NGS é uma ferramenta adequada para efetuar a análise simultânea dos vários genes num grande número de amostras. Contudo, o estabelecimento da relevância clínica de algumas variantes requer a realização de estudos funcionais.

Estudo de dislipidemias familiares monogénicas raras

A dislipidemia é um distúrbio do perfil lipídico, seja por elevação ou diminuição de partículas lipídicas. O objetivo deste trabalho é fazer uma revisão dos casos com dislipidemia rara em estudo no Instituto Nacional de Saúde Doutor Ricardo Jorge, apresentando os dados clínicos e moleculares mais relevantes. O perfil lipídico foi determinado para cada caso índex e familiares e o estudo molecular dos genes envolvidos foi realizado por amplificação por PCR e sequenciação de Sanger. Foram estudados, ou está em curso o estudo, de 14 casos índex com os seguintes diagnósticos clínicos: Deficiência familiar em lipoproteína lípase (3), Lipodistrofia familiar parcial de Dunningan Tipo 2 (1), Deficiência em lípase ácida lisossomal (3), Abeta/hipobetalipoproteinemia (2), Deficiência em HDL (1), Hipertrigliceridemia autossómica recessiva (3), Sitosterolemia (1). O fenótipo clínico de cada caso índex é variável dependendo de cada condição. Foi encontrada a causa genética da doença em 8/14 doentes, estando os restantes ainda em estudo. Doentes com as várias dislipidemias raras apresentadas têm um risco acrescido de ter outras doenças graves como pancreatite, doença cardiovascular ou complicações neurológicas e devem, por esta razão, ser identificados o mais precocemente possível, de forma a minimizar ou prevenir os efeitos nefastos destas condições.

Fractional-order control and simulation of wind energy systems with PMSG/full-power converter topology

This paper presents a new integrated model for the simulation of wind energy systems. The proposed model is more realistic and accurate, considering a variable-speed wind turbine, two-mass rotor, permanent magnet synchronous generator (PMSG), different power converter topologies, and filters. Additionally, a new control strategy is proposed for the variable-speed operation of wind turbines with PMSG/full-power converter topology, based on fractional-order controllers. Comprehensive simulation studies are carried out with matrix and multilevel power converter topologies, in order to adequately assert the system performance in what regards the quality of the energy injected into the electric grid. Finally, conclusions are duly drawn.

Ferromagnetic order in aged Co-doped TiO2 anatase nanopowders

Oxide based diluted magnetic semiconductor (DMS) materials have been a subject of increasing interest due to reports of room temperature ferromagnetism in several systems and their potential use in the development of spintronic devices. However, concerns on the stability of the magnetic properties of different DMS systems have been raised. Their magnetic moment is often unstable, vanishing with a characteristic decay time of weeks or months, which precludes the development of real applications. This paper reports on the ferromagnetic properties of two-year-aged Ti1-xCoxO2-δ reduced anatase nanopowders with different Co contents (0.03≤x≤0.10). Aged samples retain rather high values of magnetization, remanence and coercivity which provide strong evidence for a quite preserved long-range ferromagnetic order. In what concern Co segregation, some degree of metastability of the diluted Co doped anatase structure could be inferred in the case of the sample with the higher Co content.

Nematic wetting and filling of crenellated surfaces

We investigate nematic wetting and filling transitions of crenellated surfaces (rectangular gratings) by numerical minimization of the Landau-de Gennes free energy as a function of the anchoring strength, for a wide range of the surface geometrical parameters: depth, width, and separation of the crenels. We have found a rich phase behavior that depends in detail on the combination of the surface parameters. By comparison to simple fluids, which undergo a continuous filling or unbending transition, where the surface changes from a dry to a filled state, followed by a wetting or unbinding transition, where the thickness of the adsorbed fluid becomes macroscopic and the interface unbinds from the surface, nematics at crenellated surfaces reveal an intriguingly rich behavior: in shallow crenels only wetting is observed, while in deep crenels, only filling transitions occur; for intermediate surface geometrical parameters, a new class of filled states is found, characterized by bent isotropic-nematic interfaces, which persist for surfaces structured on large scales, compared to the nematic correlation length. The global phase diagram displays two wet and four filled states, all separated by first-order transitions. For crenels in the intermediate regime re-entrant filling transitions driven by the anchoring strength are observed.

Complex fluids at complex surfaces simply complicated

We study wetting and filling of patterned surfaces by a nematic liquid crystal. We focus on three important classes of periodic surfaces: triangular, sinusoidal and rectangular. The results highlight the similarities and differences of nematic wetting of these surfaces and wetting by simple fluids. The interplay of geometry, surface and elastic energies can lead to the suppression of either filling or wetting. The periodic rectangular surface displays re-entrant transitions, with a sequence dry-filled-wet-filled, in the relevant region of parameter space.

Filling and wetting transitions of nematic liquid crystals on sinusoidal substrates

Close to sinusoidal substrates, simple fluids may undergo a filling transition, in which the fluid passes from a dry to a filled state, where the interface remains unbent but bound to the substrate. Increasing the surface field, the interface unbinds and a wetting transition occurs. We show that this double-transition sequence may be strongly modified in the case of ordered fluids, such as nematic liquid crystals. Depending on the preferred orientation of the nematic molecules at the structured substrate and at the isotropic-nematic interface, the filling transition may not exist, and the fluid passes directly from a dry to a complete-wet state, with the interface far from the substrate. More interestingly, in other situations, the complete wetting transition may be prevented, and the fluid passes from a dry to a filled state, and remains in this configuration, with the interface always attached to the substrate, even for very large surface fields. Both transitions are observed only for a same substrate in a narrow range of amplitudes.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

On the monoids of transformations that preserve the order and a uniform partition

In this article we consider the monoid O(mxn) of all order-preserving full transformations on a chain with mn elements that preserve a uniformm-partition and its submonoids O(mxn)(+) and O(mxn)(-) of all extensive transformations and of all co-extensive transformations, respectively. We determine their ranks and construct a bilateral semidirect product decomposition of O(mxn) in terms of O(mxn)(-) and O(mxn)(+).

Positive solutions of fourth order problems with clamped beam boundary conditions

n this paper we make an exhaustive study of the fourth order linear operator u((4)) + M u coupled with the clamped beam conditions u(0) = u(1) = u'(0) = u'(1) = 0. We obtain the exact values on the real parameter M for which this operator satisfies an anti-maximum principle. Such a property is equivalent to the fact that the related Green's function is nonnegative in [0, 1] x [0, 1]. When M < 0 we obtain the best estimate by means of the spectral theory and for M > 0 we attain the optimal value by studying the oscillation properties of the solutions of the homogeneous equation u((4)) + M u = 0. By using the method of lower and upper solutions we deduce the existence of solutions for nonlinear problems coupled with this boundary conditions. (C) 2011 Elsevier Ltd. All rights reserved.