Logic programming and fuzzy Monte Carlo for distribution network reconfiguration

This paper present a methodology to choose the distribution networks reconfiguration that presents the lower power losses. The proposed methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modeling for system component outage parameters. The proposed hybrid method using fuzzy sets and Monte Carlo simulation based on the fuzzyprobabilistic models allows catching both randomness and fuzziness of component outage parameters. A logic programming algorithm is applied, once obtained the system states by Monte Carlo Simulation, to get all possible reconfigurations for each system state. To evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation an AC load flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology, the paper includes a case study that considers a 115 buses distribution network.

Accounting logic and new professional in healthcare: a case study

The central place hospitals occupy in health systems transforms them into prime target of healthcare reforms. This study aims to identify current trends in organizational structure change in public hospitals and explore the role of accounting in attempts to develop controls over professionals within public hospitals. The analytical framework we proposed crosses the concept of “new professionalism” (Evetts, 2010), with the concept of “accounting logic” for controlling professionals (Broadbent and Laughlin, 1995). Looking for a more holistic overview, we developed a qualitative and exploratory study. The data were collected trough semi-structured interviews with doctors of a clinical hospital unit. Content analysis suggests that, although we cannot say that there is a complete and generalized integration of accounting information in the clinical decisions, important improvement has been made in that area. Despite the extensive literature developed on this topic, there is any empirical studies of authors are aware that allow us to realize how real doctors in reals day-to-day work integrated these trends of change in theirs clinical decisions.

Optoelectronic Logic Functions Based on Reconfigurable SiC Multilayer Devices

WDM multilayered SiC/Si devices based on a-Si:H and a-SiC:H filter design are approached from a reconfigurable point of view. Results show that the devices, under appropriated optical bias, act as reconfigurable active filters that allow optical switching and optoelectronic logic functions development. Under front violet irradiation the magnitude of the red and green channels are amplified and the blue and violet reduced. Violet back irradiation cuts the red channel, slightly influences the magnitude of the green and blue ones and strongly amplifies de violet channel. This nonlinearity provides the possibility for selective removal of useless wavelengths. Particular attention is given to the amplification coefficient weights, which allow taking into account the wavelength background effects when a band needs to be filtered from a wider range of mixed signals, or when optical active filter gates are used to select and filter input signals to specific output ports in WDM communication systems. A truth table of an encoder that performs 8-to-1 multiplexer (MUX) function is presented.

Os (in)sofismáveis caminhos do storytelling : Woody Allen e o documentário ficcionado

ABSTRACT: Between pure documentary and pure fiction there are, more and more, a reasonable number of cinematic alternatives that convey a dimension of non-reality. Between the pointedly factual discourse and the irrational belief in an entirely narrative world, there intervenes an informed conviction in a truthful but nonexistent universe, in which the formal enunciation sells an image of objectivity. In a path that leads us from the forms and contents of reflexive and performative documentaries, according to Bill Nichols, and ends up in fake documentary itself, we will have the opportunity to stress the filmic construction and its inherent narrative purpose, be it a fictional story or the creator himself as character (others would say subject) of the cinematic construct. In a boomerang kind of logic, the more the objects direct us to a referent, the more they restore us a creative/authorial reference and, along with it, the narrative idea that instills it. In Woody Allen’s case, this storytelling manifests itself in the fake documentary genre, which works as if it is the reality, only to better manifest the sole reality that interests the director: that of the metacinema, or the cinema as self-referencial reality. The practical examples will be derived from the following films: Take the Money and Run (1969) e Husbands and Wives (1992).

Development of electrochemical methods for determination of tramadol - analytical application to pharmaceutical dosage forms

A square-wave voltammetric (SWV) method and a flow injection analysis system with amperometric detection were developed for the determination of tramadol hydrochloride. The SWV method enables the determination of tramadol over the concentration range of 15-75 µM with a detection limit of 2.2 µM. Tramadol could be determined in concentrations between 9 and 50 µM at a sampling rate of 90 h-1, with a detection limit of 1.7 µM using the flow injection system. The electrochemical methods developed were successfully applied to the determination of tramadol in pharmaceutical dosage forms, without any pre-treatment of the samples. Recovery trials were performed to assess the accuracy of the results; the values were between 97 and 102% for both methods.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Indoor location using fingerprinting and fuzzy logic

Indoor location systems cannot rely on technologies such as GPS (Global Positioning System) to determine the position of a mobile terminal, because its signals are blocked by obstacles such as walls, ceilings, roofs, etc. In such environments. The use of alternative techniques, such as the use of wireless networks, should be considered. The location estimation is made by measuring and analysing one of the parameters of the wireless signal, usually the received power. One of the techniques used to estimate the locations using wireless networks is fingerprinting. This technique comprises two phases: in the first phase data is collected from the scenario and stored in a database; the second phase consists in determining the location of the mobile node by comparing the data collected from the wireless transceiver with the data previously stored in the database. In this paper an approach for localisation using fingerprinting based on Fuzzy Logic and pattern searching is presented. The performance of the proposed approach is compared with the performance of classic methods, and it presents an improvement between 10.24% and 49.43%, depending on the mobile node and the Fuzzy Logic parameters.ł

Logic functions based on optical bias controlled SIC Tandem devices

The purpose of this paper is the design of an optoelectronic circuit based on a-SiC technology, able to act simultaneously as a 4-bit binary encoder or a binary decoder in a 4-to-16 line configurations and show multiplexer-based logical functions. The device consists of a p-i'(a-SiC:H)-n/p-i(a-Si:H)-n multilayered structure produced by PECVD. To analyze it under information-modulated wave (color channels) and uniform irradiation (background) four monochromatic pulsed lights (input channels): red, green, blue and violet shine on the device. Steady state optical bias was superimposed separately from the front and the back sides, and the generated photocurrent was measured. Results show that the devices, under appropriate optical bias, act as reconfigurable active filters that allow optical switching and optoelectronic logic functions development providing the possibility for selective removal of useless wavelengths. The logic functions needed to construct any other complex logic functions are the NOT, and both or either an AND or an OR. Any other complex logic function that might be found can also be used as building blocks to achieve the functions needed for the retrieval of channels within the WDM communication link. (C) 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Crossing genetic and swarm intelligence algorithms to generate logic circuits

Genetic Algorithms (GAs) are adaptive heuristic search algorithm based on the evolutionary ideas of natural selection and genetic. The basic concept of GAs is designed to simulate processes in natural system necessary for evolution, specifically those that follow the principles first laid down by Charles Darwin of survival of the fittest. On the other hand, Particle swarm optimization (PSO) is a population based stochastic optimization technique inspired by social behavior of bird flocking or fish schooling. PSO shares many similarities with evolutionary computation techniques such as GAs. The system is initialized with a population of random solutions and searches for optima by updating generations. However, unlike GA, PSO has no evolution operators such as crossover and mutation. In PSO, the potential solutions, called particles, fly through the problem space by following the current optimum particles. PSO is attractive because there are few parameters to adjust. This paper presents hybridization between a GA algorithm and a PSO algorithm (crossing the two algorithms). The resulting algorithm is applied to the synthesis of combinational logic circuits. With this combination is possible to take advantage of the best features of each particular algorithm.

Lytic antibodies elicited by Trypanosoma cruzi infection recognize epitopes present on both bloodstream trypomastigote and epimastigote forms of parasite

Sera of Chaga's disease patients containing anti-T. cruzi lytic antibodies were submitted to affinity chromatography using Sepharose 4B conjugated with antigen extracted from epimasiigote or trypomasiigote forms of the parasite. Epimastigotes were obtained from culture at the exponential growth phase and the trypomastigotes from blood of infected and immunosuppressed mice. Antigen of both parasite forms was obtained by sonication of the parasites followed by centrifugation. Both antigens were then conjugated to activated Sepharose 4B. Affinity chromatography was performed by passing sera from chagasic patients through an immunoadsorbent column containing either epimasiigote or trypomasiigote antigens. Antibodies bound to the column were eluted with cold 0,2 M glycine buffer pH 2,8. The eluted antibodies were analysed regarding their isotype and lytic activity. The results showed that anti-T. cruzi lytic antibodies present in sera from chagasic patients are mainly located in the IgG isotype and recognize epitopes present in both trypomasiigote and epimastigote forms. A brief report of this work has already been published12.

Chagas' disease: IgA, IgM and IgG antibodies to T. cruzi amastigote, trypomastigote and epimastigote antigens in acute and in different chronic forms of the disease

In an attempt to find a better T. cruzi antigen and possible immunological markers for the diagnosis of different clinical forms of Chagas' disease, amastigote and trypomastigote antigens obtained from immunosuppressed mice infected with T. cruzi (Y strain) were assessed in comparison with conventional epimastigote antigens. A total of 506 serum samples from patients with acute and with chronic (indeterminate, cardiac and digestive) forms, from nonchagasic infections, and from healthy individuals were assayed in immunofluorescence (IF) tests, to search for IgG, IgM and IgA antibodies. Amastigote proved to be the most convenient antigen for our purposes, providing higher relative efficiency indexes of 0.946, 0.871 and 0.914 for IgG, IgM and IgA IF tests, respectively. Anti-amastigote antibodies presented higher geometric mean titers (GMT) than anti-trypomastigote and anti-epimastigote. Anti-amastigote IgG antibodies were found in all forms of Chagas' disease, and predominantly IgA antibodies, in chronic digestive and in acute forms, as well as IgM antibodies, in latter forms. Thus, tests with amastigote antigen could be helpful for screening chagasic infections in blood banks. Practical and economical aspects in obtaining amastigotes as here described speak in favour of its use in developing countries, since those from other sources require more complex system of substruction, specialized personnel or equipment.

In vitro action of some disinfectants on Paracoccidioides brasiliensis yeast forms

The fungicidal action of sodium hypochlorite (0.3, 1, 2.5, 5 and 10%); formaldehyde (2, 5, and 10%); and ethyl alcohol (70%) on yeast forms of Paracoccidioides brasiliensis Pb 18 and a newly-isolated Goiana strain was described. Contact between the fungus and the disinfectants was maintained for 1, 2, 24, 48 and 72 hours at room temperature. Viability was evaluated by the fluorescein diacetate-ethidium bromide treatment, culture in solid and liquid media (36ºC and 26ºC); yeast to mycelial germination at room temperature; and radiometric study of metabolic activity. All concentrations of disinfectants were found to be effective in inactivating Pb 18 and Goiana strains, except for the 1-hour contact with 2% formaldehyde, in which fluorescein diacetate-ethidium bromide treatment was found to reveal 40 and 27% of viable cells, respectively. The yeast to mycelial germination method was considered to reveal faster and similar results as compared to culture in solid and liquid media.

Schistosoma mansoni circulating polysaccharide and protein antigens recognized by sheep antisera in patients with different clinical forms of schistosomiasis before and after treatment

Two sheep antisera, one of which raised against polysaccharide (Po) and other against protein (Pt) components of Schistosoma mansoni adult worms, were assessed by ELISA for their ability to detect circulating parasite antigens in patients with different clinical forms of chronic schistosomiasis mansoni. The former antiserum detected parasite antigens in liver granulomata and the latter in renal glomeruli from schistosomiasis patients and mice experimentally infected with S. mansoni. In general, the levels and/or positivity rate of circulating antigens and specific IgG antibodies were significantly higher in patients with hepatointestinal (HI) and hepatosplenic (HS) forms than in mild intestinal (I) forms. An association between Po antigens and clinical features of the disease was observed, as the level of these antigens was low (137 ng/ml) as well as the positivity rate (7.9%) in patients with I forms; values that were intermediate (593 ng/ml and 33.3%) in those with HI forms, and high (1.563 ng/ml and 50.0%) in more severe HS forms. The Pt antigens were detected in the studied clinical forms not differing statistically but, the positivity rate was significantly higher in HS forms comparatively to I forms. The antisera studied revealed distinct circulating antigen profiles, and the prognostic value of Po and Pt antigens was suggested.

TRH-TSH test in patients with schistosomiasis chronic forms

Diversas alterações na concentração sérica dos hormônios tiroidianos têm sido descritas em associação a doenças crônicas não-tiroidianas. Com relação às doenças hepáticas crônicas, a síndrome do T3 baixo foi descrita em pacientes cirróticos, enquanto a síndrome do T4 elevado foi encontrada em esquistossomóticos com a forma hepatoesplênica compensada. Com o intuito de verificar se as alterações relatadas na esquistossomose mansônica eram de origem "periférica" ou "central", realizamos a prova do TRH-TSH em 12 pacientes esquistossomóticos "puros" (6 hepatointestinais e 6 hepatoesplênicos compensados) e em 5 indivíduos controle. Os resultados obtidos demonstram que o eixo hipotálamo-hipofisário é normal nas formas crônicas da esquistossomose e que provavelmente as alterações previamente relatadas devem ser '"periféricas" e não " centrais".