922 resultados para logic formula
Resumo:
O principal objetivo deste livro ?? constituir uma fonte de pesquisa para o estudo do processo de produ????o e implementa????o de pol??ticas p??blicas. Por meio de textos selecionados, analisa-se o pr??prio conceito de pol??ticas p??blicas, discute-se as defini????es utilizadas para distinguir suas diversas fases e apresenta-se algumas das principais correntes te??ricas de an??lise sobre o processo de pol??ticas p??blicas.
Resumo:
A proposta de acolhimento teve por objetivo garantir o acesso ??s Unidades de Aten????o Prim??ria do Sistema ??nico de Sa??de (SUS) em Belo Horizonte, Minas Gerais. Este trabalho analisa e tenta compreender a not??vel dist??ncia entre a proposi????o e a execu????o da proposta neste munic??pio. Usando contribui????es te??ricas do campo tem??tico das pol??ticas p??blicas na an??lise do contexto pol??tico-administrativo em que se desenvolveu a proposta, e utilizando as informa????es obtidas na pesquisa de campo com os principais idealizadores da proposta e alguns trabalhadores e usu??rios, foram identificadas, na sua formula????o e implanta????o, informa????es que ajudam a entender a dist??ncia observada.
Resumo:
Este artigo tem como finalidade analisar a formula????o de estrat??gia no or??amento p??blico sob a perspectiva do planejamento emancipat??rio e desenvolvimentista. Al??m disso, busca-se descrever a reforma gerencial da administra????o p??blica federal e identificar quais as respectivas contribui????es para o aprimoramento da gest??o estrat??gica do or??amento p??blico. Apresenta-se como referencial a teoria do planejamento, abordando temas relacionados com administra????o p??blica, formula????o estrat??gica, planejamento emancipat??rio, or??amento p??blico e desenvolvimentismo. A an??lise da teoria foca as rela????es entre os elementos do planejamento: or??amento e estrat??gia, com base emancipat??ria. Descreve-se a reforma gerencial da administra????o p??blica e suas consequ??ncias para a gest??o estrat??gica or??ament??ria. Emite-se considera????es sob a perspectiva emancipat??ria do or??amento p??blico, com rela????o ?? formula????o estrat??gica e ?? vis??o desenvolvimentista.
Resumo:
The present study aimed at developing an Aloe vera-based formula for topical use on horse hoof and evaluating whether the treatment affects hooves growth and balance. Six healthy male horses between the ages of 3 and 17 years (12±5.25) were used, all semi-confined animals for breeding purposes. Before beginning A. vera treatment, animals underwent two trimming procedures with a 45 days-interval. After the second trimming, one of the forelimbs and one of the hindlimbs of 4 horses was weekly treated by topical application of the glycolic extract of A. vera at 20%. The contralateral limb, randomly chosen, received the extract at 50%. The hooves of the other animals were treated with propylene glycol. Treatment was done for 225 days and, during this time, animals underwent periodic trimming. Variables related to growth and balance of the hooves were measured before and after trimming. Data were analyzed using chi-square test and regression analysis at 5% significance. Growth rate of the hooves was not related to treatment. On the other hand, the 50% extract was related to the majority of the hooves in balance (p<0.05). Results suggest that a weekly topical treatment with A. vera glycolic extract does not improve the growth rate of the hooves; however, when applied at a high concentration, it improves their balance.
Resumo:
This work describes a methodology to extract symbolic rules from trained neural networks. In our approach, patterns on the network are codified using formulas on a Lukasiewicz logic. For this we take advantage of the fact that every connective in this multi-valued logic can be evaluated by a neuron in an artificial network having, by activation function the identity truncated to zero and one. This fact simplifies symbolic rule extraction and allows the easy injection of formulas into a network architecture. We trained this type of neural network using a back-propagation algorithm based on Levenderg-Marquardt algorithm, where in each learning iteration, we restricted the knowledge dissemination in the network structure. This makes the descriptive power of produced neural networks similar to the descriptive power of Lukasiewicz logic language, minimizing the information loss on the translation between connectionist and symbolic structures. To avoid redundance on the generated network, the method simplifies them in a pruning phase, using the "Optimal Brain Surgeon" algorithm. We tested this method on the task of finding the formula used on the generation of a given truth table. For real data tests, we selected the Mushrooms data set, available on the UCI Machine Learning Repository.
Resumo:
One of the most difficult problems that face researchers experimenting with complex systems in real world applications is the Facility Layout Design Problem. It relies with the design and location of production lines, machinery and equipment, inventory storage and shipping facilities. In this work it is intended to address this problem through the use of Constraint Logic Programming (CLP) technology. The use of Genetic Algorithms (GA) as optimisation technique in CLP environment is also an issue addressed. The approach aims the implementation of genetic algorithm operators following the CLP paradigm.
Resumo:
This paper presents a methodology for distribution networks reconfiguration in outage presence in order to choose the reconfiguration that presents the lower power losses. The methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modelling for system component outage parameters. Fuzzy membership functions of system component outage parameters are obtained by statistical records. A hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. Once obtained the system states by Monte Carlo simulation, a logical programming algorithm is applied to get all possible reconfigurations for every system state. In order to evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation a distribution power flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology to a practical case, the paper includes a case study that considers a real distribution network.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica
Resumo:
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.
Resumo:
Dissertação apresentada na Faculdade de Ciência e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Mecânica.