899 resultados para Almost always propositional logic
Resumo:
Telehealth programmes are rather similar to humans in the way that they are planned, develop, grow and ultimately die or disappear. To achieve good life expectancy for a telehealth programme there appear to be three major needs: nurturing, which includes the provision of money, ideas, education, training and innovation; experience, which involves an integrated management process, the achievement of long and wide patterns of usage, the development of updated policies and procedures and the involvement of multiple disciplines; success, which involves evidence of outcomes, evaluation and research, and, most important, the sharing of information through scientific and popular press publications, and conferences and collaborations with internal and external groups. The future of telehealth in Australia is at a watershed. There are now a substantial number of programmes, and there has been a large amount of financial and human investment in telehealth around the nation. There is, however, no forum for national leadership, no national association and little support at federal government level.
Resumo:
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.
Resumo:
We discuss techniques for producing, manipulating, and measuring qubits encoded optically as vacuum- and single-photon states. We show that a universal set of nondeterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.
Resumo:
Examination of the lateral line canals in the Epaulette Shark reveals a much more differentiated sensory system than previously reported from any elasmobranch. Two main types of lateral line canals are found. In one type rounded patches of sensory epithelia are separated by elevations of the canal floor. The other type is a straight canal without restrictions and with an almost continuous sensory epithelium. In addition, we found epithelia (type A) with very long apical microvilli on the supporting cells. These microvilli reach beyond the stereovilli of the hair cells. Another type (B) of sensory epithelium has short microvilli on the supporting cells. In this latter type of epithelium the stereovilli of the hair cells are comparatively tall and reach out beyond the supporting cell microvilli. New hair cells are found widely in both types of sensory epithelia. These always occur as single cells, unlike those described in teleost lateral line canal sensory epithelia where new hair cells seem to form in pairs. Dying hair cells are also widespread, indicating a continuous turnover of hair cells.
Resumo:
O texto procura traçar um quadro teórico do qual pretende derivar questões para uma discussão que visa a levantar alguns aspectos para o debate sobre a forma com está colocada hoje a questão da pesquisa em psicologia e os efeitos produzidos no plano político/subjetivo, dada a indissociabilidade desses planos. Oferece um certo ponto de vista sobre o problema do conhecimento a partir de algumas referências metodológicas que problematizam a racionalidade na qual estão apoiadas as ciências humanas, pautadas numa lógica que persegue verdades inquestionáveis sobre uma realidade já dada. Propõe novas perguntas sobre a produção de conhecimento que possam reorientar as práticas de pesquisa no campo da psicologia, pois toda concepção de produção de conhecimento/pesquisa envolve sempre uma certa política, não possui apenas um sentido técnico e/ou metodológico.
Resumo:
Quais são os “modos de ser sendo junto ao outro no mundo” professores de Educação Física da Prefeitura Municipal da Serra, ES, situados no que se denomina “real” e do professor de Educação Física padre José no filme “Má Educação” de Pedro Almodóvar situado no que se denomina “ficcional”? Que contribuições reflexivas podem trazer tais dados (analisados hermeneuticamente) para a Formação Continuada de professores de Educação Física [3]? OBJETIVO: Descrever os “modos de ser sendo junto ao outro no mundo” de [1] professores de Educação Física que trabalham em escolas públicas da Prefeitura Municipal da Serra, ES & do [2] padre José, personagem ficcional, professor de Educação Física no filme espanhol de 2004 “Má Educação” fazendo-o primeiramente através de uma pesquisa clássica (descritiva e hermenêutica) e depois uma literaturalizada e artística (hermenêutica). MARCO TEÓRICO: Trata-se de uma proposta discursiva (teórica) fenomenológica existencial de tendência marxista criada por Pinel; METODOLOGIA: Tratou-se de uma pesquisa fenomenológica existencial seguindo recomendações de Forghieri (2001) e Pinel (2006; 2012) - dentre outros. Os 29 professores de Educação Física foram provocados a mostrarem os seus “modos de ser sendo junto ao outro no mundo” do ofício professor de Educação Física. Depois essa mesma provocação foi feita ao personagem do filme. RESULTADOS & DISCUSSÃO: Descreveram-se [1] os “modos de ser sendo junto ao outro no mundo” dos professores de Educação Física na dimensão do real e do ficcional (cinema), e não se objetivou comparação por mais que isso tenha ficado evidente. Esses professores, em 2011/2012, experienciando uma democracia (im)perfeita brasileira [que tem até tendências neofascistas], mais ainda assim democracia - foram compreendidos sempre tomando um norte/ rumo/ direção em subjetivação pelos Guias de Sentido (GS – Pinel) democráticos reconhecimento [demanda do grupo em ser valorizado, reconhecido], em (im) potência [impotência e potencia possível de vir a lume sempre; a força e seu outro lado, a fragilidade de ser], afetando [o que se pratica e pensa/sente afeta a si mesmo, o outro e o mundo; o afetar produz mais subjetivações], sonhando [há demanda sempre de realizar projetos de vida; o projeto de ser sempre devir, em construção sempre; é uma precisão imprecisa], saudavelmente insano [o quão perto pode estar a experienciar a sanidade e a loucura e o quanto uma loucura é sã, pois criativa, inventiva, produtiva, opositora ao estabelecido] – eles mesmos junto ao outro no mundo tornando-se sujeitos. [2] Já o professor de Educação Física padre José da película almodovariana é um professor que de imediato pode ser apreendido como sólido e fixo na sua perversão fascista, ele como parte legitimadora do Estado espanhol de Franco, na década de 60, provavelmente em 1964, que é, na ficção, o espaço-tempo de José e suas ações pedagógicas e psicológicas (e de Educação Física). Mas não é apenas o fascismo que torna o fascista um criador de um cotidiano fascista, pois afinal, paralelamente a ele, no concreto e na ficção, haviam pessoas generosas, resistentes e resilientes que atuavam contra essas pressões quase na maioria das vezes advindas do todo (Estado) – eram pessoas democráticas individualmente e em pequenos e grandes grupos; eram exemplo de resistência contra o estabelecido pela ideologia dominante de então. José numa instituição fascista não conseguiu refletir e agir diferentemente, isto é, com mais saúde mental, escolhendo (na liberdade) ser fascista, ser menor (pouco) – optou não ser-mais. Finalmente os mesmos dados são apresentados em outra estética possível e sempre aberta, inconclusa, devir... As artes e a poesia (bem como a literatura) procuram cuidadosamente desvelar os “modos de ser junto ao outro no mundo” professor de Educação Física do mundo real e do imaginário (fílmico) desvelando muitas vezes indissociados. PÓSCRITO: O autor descreve as possíveis implicações do seu estudo para educação física pautado sempre em uma proposta de criar um discursso insubmisso focando na ideia de que uma pesquisa demanda narrar a vida, e literaturalizar a ciência.
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:
Similarly to its past, Africa plays a similar role in the football world as it did during History, if we look at the creation of some of the most powerful empires in the world (the Portuguese, French or English, for example) – as an almost unlimited workforce ‘supplier’. Africa is still searching for its own place in the football world map. With a recent history filled with social conflicts, civil wars and racial discrimination, it was possibly in this continent that the sport was first seen as a means towards social evolution and as ‘peacemaker’. Although these problems also exist in African stadiums, supporters all over the continent go to matches to celebrate and socialize; in a reality constantly shrouded in conflicts and oppression, football is like a ‘light at the end of the tunnel’ to those who believe in a continent sustained by healthy political relations between countries, democratic values and a socially fair ‘use’ of a country’s potential – and always for the profit of its own people. But while see the attempt to use football with that objective, others see it as their ticket out of their country, to avoid getting involved in military conflicts and seek better life conditions for themselves and their families (both those who accompany them and those who remain in Africa). Others, still, try to make the most of others’ will to leave a less favourable social reality; Portugal, for its past as a colonizing country, also saw in the African players a way to develop the football phenomenon in its European territory. This article attempts to analyze the influence of Portuguese colonialism in the emigration of African players to Europe, since Portugal presents itself as one of the biggest ‘importers’ of these players.
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.