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

A Wireless EEG Acquisition Platform based on Embedded Systems

This paper proposes a wireless EEG acquisition platform based on Open Multimedia Architecture Platform (OMAP) embedded system. A high-impedance active dry electrode was tested for improving the scalp- electrode interface. It was used the sigma-delta ADS1298 analog-to-digital converter, and developed a “kernelspace” character driver to manage the communications between the converter unit and the OMAP’s ARM core. The acquired EEG signal data is processed by a “userspace” application, which accesses the driver’s memory, saves the data to a SD-card and transmits them through a wireless TCP/IP-socket to a PC. The electrodes were tested through the alpha wave replacement phenomenon. The experimental results presented the expected alpha rhythm (8-13 Hz) reactiveness to the eyes opening task. The driver spends about 725 μs to acquire and store the data samples. The application takes about 244 μs to get the data from the driver and 1.4 ms to save it in the SD-card. A WiFi throughput of 12.8Mbps was measured which results in a transmission time of 5 ms for 512 kb of data. The embedded system consumes about 200 mAh when wireless off and 400 mAh when it is on. The system exhibits a reliable performance to record EEG signals and transmit them wirelessly. Besides the microcontroller-based architectures, the proposed platform demonstrates that powerful ARM processors running embedded operating systems can be programmed with real-time constrains at the kernel level in order to control hardware, while maintaining their parallel processing abilities in high level software applications.

Deuterium NMR Study of Orientational Order in Cellulosic Network Microfibers

Deuterium NMR was used to investigate the orientational order in a composite cellulosic formed by liquid crystalline acetoxypropylcellulose (A PC) and demented nematic 4'-penty1-4-cyanobiphenyl (5CB-4 alpha d(2)) with the per centage of 85% A PC by weight Three forms of the composite including electro spun microfibers, thin film and bulk samples were analyzed The NMR results initially suggest two distinct scenarios, one whet e the 503-alpha d(2), is confined to small droplets with dimensions smaller than the magnetic coherence length and the other where the 503-alpha d(2) molecules arc aligned with the A PC network chains Polarized optical microscopy (POW from thin film samples along with all the NMR results show the presence of 5CB-alpha d(2) droplets in the composite systems with a nematic wetting layer at the APC-5CB-alpha d(2) interface that experiences and order disorder transition driven by the polymer network N-I transition The characterization of the APC network I-N transition shows a pronounced subcritical behavior within a heterogeneity scenario.

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.

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.

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.

Wind turbines equipped with fractional-order controllers: Stress on the mechanical drive train due to a converter control malfunction

This paper is on variable-speed wind turbines with permanent magnet synchronous generator (PMSG). Three different drive train mass models and three different topologies for the power-electronic converters are considered. The three different topologies considered are respectively a matrix, a two-level and a multilevel converter. A novel control strategy, based on fractional-order controllers, is proposed for the wind turbines. Simulation results are presented to illustrate the behaviour of the wind turbines during a converter control malfunction, considering the fractional-order controllers. Finally, conclusions are duly drawn. Copyright (C) 2010 John Wiley & Sons, Ltd.

Research on using the decision tree method in order to select the best alternative for the pharmacies supply

Introduction / Aims: Adopting the important decisions represents a specific task of the manager. An efficient manager takes these decisions during a sistematic process with well-defined elements, each with a precise order. In the pharmaceutical practice and business, in the supply process of the pharmacies, there are situations when the medicine distributors offer a certain discount, but require payment in a shorter period of time. In these cases, the analysis of the offer can be made with the help of the decision tree method, which permits identifying the decision offering the best possible result in a given situation. The aims of the research have been the analysis of the product offers of many different suppliers and the establishing of the most advantageous ways of pharmacy supplying. Material / Methods: There have been studied the general product offers of the following medical stores: A&G Med, Farmanord, Farmexim, Mediplus, Montero and Relad. In the case of medicine offers including a discount, the decision tree method has been applied in order to select the most advantageous offers. The Decision Tree is a management method used in taking the right decisions and it is generally used when one needs to evaluate the decisions that involve a series of stages. The tree diagram is used in order to look for the most efficient means to attain a specific goal. The decision trees are the most probabilistic methods, useful when adopting risk taking decisions. Results: The results of the analysis on the tree diagrams have indicated the fact that purchasing medicines with discount (1%, 10%, 15%) and payment in a shorter time interval (120 days) is more profitable than purchasing without a discount and payment in a longer time interval (160 days). Discussion / Conclusion: Depending on the results of the tree diagram analysis, the pharmacies would purchase from the selected suppliers. The research has shown that the decision tree method represents a valuable work instrument in choosing the best ways for supplying pharmacies and it is very useful to the specialists from the pharmaceutical field, pharmaceutical management, to medicine suppliers, pharmacy practitioners from the community pharmacies and especially to pharmacy managers, chief – pharmacists.

Será que as empresas portuguesas seguem a pecking order na escolha das alternativas de financiamento?

Mestrado em Contabilidade e Análise Financeira

Synthesis of new Fe(II) and Ru(II) eta(5)-monocyclopentadienyl compounds showing significant second order NLO properties

A series of new ruthenium(II) complexes of the general formula [Ru(eta(5)-C5H5)(PP)(L)][PF6] (PP = DPPE or 2PPh(3), L = 4-butoxybenzonitrile or N-(3-cyanophenyl)formamide) and the binuclear iron(II) complex [Fe(eta(5)-C5H5)(PP)(mu-L)(PP)(eta(5)-C5H5)Fe][PF6](2) (L = (E)-2-(3-(4-nitrophenyl)allylidene)malononitrile, that has been also newly synthesized) have been prepared and studied to evaluate their potential in the second harmonic generation property. All the new compounds were fully characterized by NMR, IR and UV-Vis spectroscopies and their electrochemistry behaviour was studied by cyclic voltammetry. Quadratic hyperpolarizabilities (beta) of three of the complexes have been determined by hyper-Rayleigh scattering (HRS) measurements at fundamental wavelength of 1500 nm and the calculated static beta(0) values are found to fall in the range 65-212 x 10(-30) esu. Compound presenting beta(0) = 212 x 10(-30) esu has revealed to be 1.2 times more efficient than urea standard in the second harmonic generation (SHG) property, measured in the solid state by Kurtz powder technique, using a Nd:YAG laser (1064 nm). (C) 2013 Elsevier B.V. All rights reserved.

Cluster analysis using affinity aoefficient in order to identify religious beliefs profiles

International Scientific Forum, ISF 2013, ISF 2013, 12-14 December 2013, Tirana.