Modelagem aplicada à análise de desempenho do provedor de serviços de uma rede de automação hospitalar ieee 802.3/pm-ah de tempo real

The incorporate of industrial automation in the medical are requires mechanisms to safety and efficient establishment of communication between biomedical devices. One solution to this problem is the MP-HA (Multicycles Protocol to Hospital Automation) that down a segmented network by beds coordinated by an element called Service Provider. The goal of this work is to model this Service Provider and to do performance analysis of the activities executed by in establishment and maintenance of hospital networks

Sistema Especialista para Supressão Online de Alarmes em Processos Industriais

Operating industrial processes is becoming more complex each day, and one of the factors that contribute to this growth in complexity is the integration of new technologies and smart solutions employed in the industry, such as the decision support systems. In this regard, this dissertation aims to develop a decision support system based on an computational tool called expert system. The main goal is to turn operation more reliable and secure while maximizing the amount of relevant information to each situation by using an expert system based on rules designed for a particular area of expertise. For the modeling of such rules has been proposed a high-level environment, which allows the creation and manipulation of rules in an easier way through visual programming. Despite its wide range of possible applications, this dissertation focuses only in the context of real-time filtering of alarms during the operation, properly validated in a case study based on a real scenario occurred in an industrial plant of an oil and gas refinery

Incorporação de resíduo de perfuração em matriz cerâmica: estabilização por solidificação

One of the waste generated during the drilling of oil wells are gravel which are impregnated of drilling fluid. This residue consists of highly toxic chemicals, including toxic metals. This study suggests an alternative process to the treatment of this waste, by incorporating it the form of raw material in the ceramic matrix , and by solidification and stabilize the metals present, Aluminum (Al), Iron (Fe), Manganese (Mn) and Zinc (Zn). The raw materials were characterized by the techniques of X ray fluorescence (FRX), X ray diffraction (DRX), laser granulometry (GL), thermogravimetry (TG) and differential thermal analysis (ADT). To evaluate the percentage of gravel effect the environmental and technological properties were obtained from formulations containing 0, 10 and 20 % by weight of gravel in the ceramic matrix. After sintering at temperatures 1080, 1120 and 1160 °C, the samples were tested for water absorption, the linear shrinkage firing, voltage of rupture and solubility. The results obtained showed that the stabilization by solidification, is a viable alternative to safe disposal of waste drilling. Ceramics products can be used in the manufacture of solid bricks

Simulação do sistema de esgotamento sanitário de Ponta Negra- Natal: mitigação dos riscos ambientais e estratégia de manutenção preditiva

The simulation of SES-Natal Ponta Negra: mitigation of environmental risks and predictive maintenance strategy was developed in the context of several operational irregularities in the pumping stations and sewage systems in the system Ponta Negra. Thus, the environmental risks and complaints against the company due to overflows of sewage into the public thoroughfare became common. This neighborhood has shown in recent years an increase of resident higher than the initial expectation of growth. In this sense presumed the large population growth and generation of sewers higher than expected, associated to the use of corrective maintenance and misuse of the system may be the main causes of operational failures occurring in the SES. This study aimed at analyzing the hydraulic behavior of SES Ponta Negrathrough numerical simulation of its operation associated to future scenarios of occupation. The SES Ponta Negra has a long lengthof collection networks and 6 pumping stations interconnected, being EE 1, 2, 4 coastal way, and beach Shopping interconnected EE3 to receives all sewers pumped from the rest pumping station and pumped to the sewage treatment station of neighborhood which consists of a facultative pond followed by three maturation ponds with disposal of treated effluent into infiltration ditches. Oncethey are connected with each other, the study was conducted considering the days and times of higher inflow for all lifts. Furthermore, with the aim of measuring the gatherer network failures were conducted data survey of on the networks. Thephysical and operational survey data was conducted between January/2011 and janeiro/2012. The simulation of the SES was developed with the aim ofdemonstrating its functioning, eithercurrently and in the coming years, based in population estimates and sewage flow. The collected data represents the current framework of the pumping stations of the SES Ponta Negra and served as input to the model developed in MS Excel ® spreadsheet which allowed simulating the behavior of SES in future scenarios. The results of this study show thatBeach Shopping Pumping Station is actually undersized and presents serious functioning problemsthatmay compromise the environmental quality of surrounding area. The other pumping stations of the system will reach itsmaximum capacity between 2013 and 2015, although the EE1 and EE3 demonstrateoperation capacity, even precariously, until 2017. Moreover, it was observed that the misuse of the network system, due to the input of both garbage and stormwater, are major factors of failures that occur in the SES. Finally, it was found that the corrective maintenance appliance, rather than predictive,has proven to beinefficient because of the serious failuresin the system, causing damage to the environment and health risks to users

Tí estin Anámnesis? uma análise da anámnesis no mênon de Platão

Cette thèse a pour objectif principal examiner comment les Mênon, Platon listes l'anámnesis avec les autres théories qui sont abordés dans ce dialogue et, par conséquent, essayer de comprendre ce que c'est. Cette recherche vise dans un premier temps situées dans d'autres dialogues de Platon la survenance du terme anamnésis à veifique les points qui relient ces oeuvres à clarifier la compréhension d'un plus approprié dans le Mênon. Jetez-y aussi, quels sont les éléments de la platonicienne théorie de la connaissance sera reliant le dialogue afin de prouver que le Mênon, qui est la question centrale areté, garde un conflit dans la sophistique et la philosophie. Ce choc entre ce qui se passe papapep indirectement par l'intermédiaire de son Mênon enseigné, et Socrates qui conteste la thèse de l'éthique et le relativisme épistémologique. Nous voyons aussi, de quelle manière le dialogue est donnée de prendre une voie d'accès au savoir qui est configuré comme sûrs, à savoir anámnésis. L'interrogatoire de Mênon depuis le début dans les appels d'enquêter éristique cet intérêt, que lorsqu'ils sont confrontés à des intérêts les amènerait à l'état aporétique initial et qui est progressivement remplacé par l'aporie fondamental de connaissance, ce n'est point pour aporie la compréhension de anámnesis. En prenant la dialectique comme méthode d'enquête dans le dialogue, il est nécessaire de la part de Socrates et Mênon, de quitter le didaskein et en profiter pour mathésis que la construction des connaissances. Il ouvre de manière un des principaux enjeux dans ce travail examine si le anámnesis permettre l'accès aux moyens et si elle a un statut similaire à mnéme. À un moment où Socrate explique dans le dialogue qui est le anámnesis par monstration monstration fait avec esclave de Mênon il est l'utilisation d'éléments mythiques que, selon notre analyse, permettre à comprendre le sens de dialogue les connaissances qui montre l'opportunité d'apprendre, qui est la anámnesis

A humanização no parto e no nascimento: os saberes e as práticas no contexto de uma maternidade pública brasileira

The practice of medicine related to the gestational processes tend to be organized according to the context and the place of work, being thus dependent of the conditions both social and economical, and of the physical structure and the functionality of the services. The high mortality rate in this process has diminished, since 1986, the study made by the World Health Organization (WHO) as to the technical aspects and the social inequalities that influence this situation in different geographical contexts. This culminated recommendations that proposed the reorientation of the dynamical practice of medicine, with a focus on the safety of maternities. Brazil adopted, in the year 2000, the suggestions of the OMS, emphasizing the humanization as the main reason for these actions. However, this discussion tends to not consider the problems caused by the social inequalities and the epidemiological and social conditionings that define the actions of the Unified Health System (Sistema Único de Saúde SUS). In this area, this research seeks to analyze the practices, cares taken, and the universal symbol that promotes and rewards the assistance to the birth of children by the SUS. Besides the analysis of the public documents that deal with this subject, an ethnographic study was developed in a maternity in Natal/RN, considered a model of humanization after receiving the Galba de Araújo prize in 2002. In this stage, the methodological strategies were observed, and the focus of the individual interviews with workers and users of this service. In the analysis of the data, it became evident that the different professional workers and women who gave birth, tend to show concern of the standards the delimit production and reproduction of the practice of medicine, as they favor the absence of a critical posture of the actions destined to the population. Besides this, if became evident that the institutional difficulties associated to the economical, cultural, and political problems also difficult the involvement and the reflection of the workers in favor of assisting changes of the process. There is also a utilization of a perspective prescriptive of humanization in the everyday life of the social workers, without reflection of its meaning. Some workers present, in their statements, a preoccupation with the social and economical aspects that affect the practice of medicine, and with the limitations of the humanization discourse that disarticulates the necessities of those involved in the process of formation, and soon tend to return to the discussion of humanization while a kind practice characterized by the minimization of the interventionist actions. Now the users of the system show themselves before the dynamic of the services, submitting themselves to what is offered while assistance, without questioning and/or reflecting about their usual shortages. Therefore, to think of changes in the know and do of the practice of medicine destined to the birth of children implies reflection on the quotidian production of these practices and of the social contexts that influence the process of assistance in the practice of medicine. Herein it would be possible to predict the appropriation, by different workers concerning their exasperations and necessities, making them active in the pursuit of their rights as citizens

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks