Verificação das condições higio-sanitárias e técnico-funcionais de alguns estabelecimentos comerciais de géneros alimentícios do município de Vila do Porto, ilha de Santa Maria, Açores

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar

Elaboração de listas de verificação e avaliação do cumprimento de pré-requisitos na empresa Refrige, S.A

Dissertação para obtenção do grau de mestre em Tecnologia e Segurança Alimentar

Segurança do paciente em cirurgia oncológica: experiência do Instituto do Câncer do Estado de São Paulo

A preocupação com a segurança do paciente em centro cirúrgico (CC) tem sido crescente, devido à elevada frequência de erros e eventos adversos, que muitas vezes poderiam ser prevenidos. A Joint Commission on Accreditation of Healthcare Organizations (JCAHO) propôs o Protocolo Universal (PU) para a prevenção do lado, procedimento e paciente errado. No Brasil foram poucas as instituições que o implantaram, sendo necessária a divulgação e avaliação da sua efetividade. O objetivo foi relatar a experiência do Instituto do Câncer do Estado de São Paulo (ICESP) na implantação do PU-JCAHO. O protocolo inclui três etapas: verificação pré-operatória, marcação do sitio cirúrgico (lateralidade) e TIME OUT. O CC do ICESP está em funcionamento desde novembro de 2008. O PU-JCAHO é aplicado integralmente a todas as cirurgias. Até junho de 2009 foram realizadas 1019 cirurgias, sem registro de erro ou evento adverso. A implantação do PU-JCAHO é simples, sendo ferramenta útil para prevenir erros e eventos adversos em CC.

Desenvolvimento do coeficiente parcial de ergonomia e segurança em tratores agrícolas

O presente trabalho teve como objetivo criar e aplicar o coeficiente parcial de ergonomia e segurança em tratores agrícolas (COPES). O COPES corresponde a um valor numérico variável de 0 a 100, que expressa a qualidade em termos de ergonomia e segurança dos tratores agrícolas. O referido coeficiente foi desenvolvido e avaliado por meio da verificação da presença e estado de conservação de itens relacionados à ergonomia e segurança, em 175 tratores agrícolas usados, presentes em 114 propriedades amostradas junto às microrregiões gaúchas de Santa Maria, Restinga Seca e Cachoeira do Sul. Os resultados mostraram que o COPES apresentou grande variação entre os tratores amostrados (7,64 a 84,80), sendo a média geral inferior a 35. Isso demonstra que os tratores agrícolas, atualmente em uso na região abrangida por esta pesquisa, se caracterizam por más condições relacionadas à ergonomia e segurança. Além disso, o valor do COPES mostrou que diminui em escala logarítmica conforme aumenta o tempo de uso dos tratores (r² = 0,8018). Assim, pode-se concluir que o COPES é uma importante ferramenta para a avaliação quantitativa das condições de ergonomia e segurança em tratores agrícolas, demonstrando sensibilidade às variações apresentadas no que se refere a essas características.

Verificação intralaboratorial da performance obtida em método de determinação de ocratoxina A por purificação em coluna de imunoafinidade e cromatografia líquida de alta eficiência usando café

A ocratoxina A é um contaminante que pode estar presente em vários alimentos e ser prejudicial tanto para a saúde quanto para a economia, então deve ser medida. Mas, para bem quantificar um analito, mesmo com o uso de métodos oficiais, é necessário verificar o sistema de medição; nisto se empregam requisitos de validação. Assim, procedeu-se a uma verificação intralaboratorial de método por purificação em coluna de imunoafinidade e cromatografia líquida de alta eficiência em amostras de café verde artificialmente contaminadas e medidas. Foi obtido o comportamento de medição esperado ao longo do analito, a faixa de trabalho teve o limite inferior entre 0,489 e 1,59 e o superior entre 220 e 300 μg.kg-1. A linearidade não foi rejeitada nesta faixa e não houve interferência externa significativa no modelo. O intercepto não diferiu significativamente da origem e o coeficiente linear não diferiu significativamente de 1,00. Os níveis de desvios padrão dependeram das concentrações estudadas, como ocorrido em diversas publicações, e os desvios padrão relativos não demonstraram inconformidade nos estudos colaborativos localizados. Concluiu-se pela competência do laboratório no método pesquisado, especialmente para café verde.

Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

O processo de formulação de uma política de segurança de informações segundo a percepção dos gestores: um estudo em instituições hospitalares

O objetivo desta pesquisa foi compreender a participação dos gestores no processo de formulação de estratégias de uma política de segurança de informação identificando os elementos norteadores para a elaboração de uma estrutura de análise em organizações hospitalares. O objeto desta pesquisa foi constituído por cinco organizações hospitalares escolhidas segundo os critérios: em função da tipicidade, do seu tempo de existência e posição no mercado, e pela facilidade de acesso aos dados. Esta pesquisa utilizou um desenho de estudo de multicasos e corte longitudinal (as entrevistas foram realizadas em dois momentos distintos caracterizando duas fases de exploração dos dados), de caráter contextual e processual de cunho exploratório e descritivo com a intenção de gerar uma classificação categórica para desenvolver uma teoria fundamentada em dados. A lógica interpretativa para o tratamento de dados utilizou a abordagem qualitativa, porque a pesquisa teve como pressuposto a obtenção de dados a partir de entrevistas individuais e em grupo visando compreender os fenômenos segundo as perspectivas dos sujeitos que foram representados por uma amostra de quatorze gestores envolvidos diretamente com planos estratégicos organizacionais e com a área de tecnologia de informação. O método utilizado nesta pesquisa foi a Grounded Theory que possibilitou analisar os aspectos subjetivos como as percepções e opiniões que os gestores têm quanto ao contexto organizacional específico nas organizações hospitalares. A pesquisa conduziu o desenvolvimento de uma estrutura de análise que foi batizada com o nome de “Ciclo contínuo de acompanhamento para o desenvolvimento de uma Política de Segurança de Informações em Organizações Hospitalares”. Com esta estrutura foi possível identificar as responsabilidades em relação à segurança da informação nos diferentes níveis organizacionais, delineando responsabilidades em relação à implementação, verificação da conformidade, auditoria e avaliação, estabelecendo orientações necessárias em relação a todas as medidas de proteção que serão implementadas. Como resultado, verificou-se que as organizações hospitalares deste estudo, em suas distintas naturezas, possuíram claras deficiências para formular uma política de segurança de informação devido à necessidade de definições claras nos papéis dos diversos grupos organizacionais, e de elementos norteadores para a percepção na tomada de decisão por parte dos gestores.

Processos digitais na prefeitura de Santos: a certificação digital e a segurança da informação

O presente trabalho tem como principal objetivo a descrição da sistemática de certificação digital a ser implementada na Prefeitura de Santos, como parte de um processo maior, a implementação dos Processos Digitais naquele município através da verificação e o acompanhamento dos principais desafios que a Prefeitura Municipal de Santos, por intermédio de sua Secretaria de Gestão, encontrou para a contratação e implantação da fé pública exigida para o correto enquadramento legal do programa de digitalização dos processos administrativos da Municipalidade. Para tanto, tem-se como base a pesquisa de material legal, especialmente do Decreto do Prefeito de Santos e da Portaria Municipal da Secretaria de Gestão que criou efetivamente a obrigação para que todos os servidores do Município elaborem determinados processos administrativos de maneira unicamente digital. Ainda, a MP 2001-02/2001 que trata da certificação digital é retratada. Angariar informações, desde as básicas, como quais são os equipamentos necessários, até o modelo de licitação (pregão eletrônico) para que outros entes públicos busquem a digitalização de seus processos e a consequente licitação para a certificação digital são os desafios deste artigo.

Projeto café do trabalhador como promotor de segurança alimentar e nutricional: avaliação da eficácia da unidade Natal-RN

The evaluation of public policies that promote Food Security and Nutrition (FSN) it s a multidisciplinary activity extremely relevant to the effectiveness of actions to legitimize the Human Right to Adequate Food (HRAF). This study aimed at assessing the effectiveness of the unit project Natal-RN Café do Trabalhador in promoting SAN to its users. The theoretical framework is based on the public and political and on the dimensions of the concept of FSN (quantity and quality-regularity). Through a qualitative approach, methodologically this was the work of an evaluation of efficiency of the unit Natal-RN of Café do Trabalhador project in light of the assumptions of the concept of SAN. Data collection was conducted through retrospective archival research in official documents of the project, semi-structured interviews with managers involved in its implementation (representative of the Secretary of State for Employment, Housing and Care of RN SETHAS and third party), socioeconomic questionnaire applied to the users of the unit, check the amount, regularity and quality of meals offered for 15 days (menu routine) using the descriptive form menu and form filling type checklist for verification of compliance with good practices . Methods of analysis, we used content analysis, descriptive statistics and compared to previously established parameters for the project. As categories of analysis were defined organizational arrangement, access, user, food quantity-regularity and food quality. The results show that, it was found in the category arrangement that will implement the project dismissed technical criteria for choosing the districts and the quantitative distribution of meals for each location. It was found that the valuation of the shares of the company outsources technical SETHA has not been performed. We observed in the access category, the unit has a strategic location, but lack of space in the refectory. The main obstacle to economic access for users is the lack of a register for the beneficiaries. In the category of users, it was identified that the clientele of the project it is predominantly men, with more than 51 years, low education, earning wages less 1 obtained through informal employment, which they move up through the unit transport collective, go to all days of operation due primarily to price. About the meals category quantity-regularity of food showed that the menu serves 95% of the desired needs, and that holidays and weekends are periods of disrupting the regularity of supply of meals. Regarding the category of food quality, it was found that the nutritional aspect on the menu are food sources rich in sodium, nitrates and low in fiber. In the aspect of hygiene and sanitation are the main limitations related to waste management, lack of exposure controls of food prepared and inadequacies of the physical structure. The results showed that in general and the institutional arrangement of the organs attached to the project should establish a systematic evaluation project is to establish as a promoter of and FSN overcome these obstacles

Melhoria da segurança pública: uma proposta para alocação de unidades policiais utilizando o modelo das p-medianas e do caixeiro viajante

The decrease in crime is one of the core issues that cause concern in society today. This study aims to propose improvements to public safety from the choice of points to the location of police units, ie the points which support the car and the police. For this, three models were developed in order to assist decision making regarding the best placement of these bases. The Model of Police Units Routing has the intention to analyze the current configuration of a given region and develop optimal routes for round preventative. The Model of Allocation and Routing for New Police Units (MARNUP) used the model of facility location called p-median weighted and traveling salesman problem (TSP) combined aiming an ideal setting for regions that do not yet have support points or to assess how far the distribution is present in relation to that found in solution. The Model Redefinition and Routing Unit Police (MRRUP) seek to change the current positioning taking into account the budgetary constraints of the decision maker. To verify the applicability of these models we used data from 602 points to instances of police command that is responsible for the capital city of Natal. The city currently has 31 police units for 36 of these 19 districts and police have some assistance. This reality can lead to higher costs and higher response times for answering emergency calls. The results of the models showed that in an ideal situation it is possible to define a distance of 500 km/round, whereas in this 900 km are covered by approximately round. However, a change from three-point lead reduced to 700 km / round which represents a decrease of 22% in the route. This reduction should help improve response time to emergency care, improving the level of service provided by the increase of solved cases, reducing police shifts and routing preventive patrols

Estratégias para elaboração de um plano de segurança da água para abastecimento humano do município do Natal/RN

This research study deals with the production and distribution of drinking water with quality and safety in order to meet the needs of the Man. Points out the limitations of the methodology for assessing water quality in use today. Approaches the recommendations of the World Health Organization (WHO) for adoption, by the companies responsible for producing and distributing water, of assessment methodologies and risk management (HACCP), in order to ensure the quality and safety of water drinking. Suggests strategies for implementing the plan for water safety plan. Uses the process of water production, composed by Maxaranguape river basin, the water treatment plant and distribution system, which is part of the Plan for Expansion of the Supply System of Natal, as case study. The results, it was possible to devise strategies for implementation of the Water Safety Plan (WSP), which comprises the following steps: a) a preliminary stage. b) assessment system. c) process monitoring. d) management plan and e) validation and verification of the PSA. At each stage are included actions for its implementation. The implementation of the PSA shows a new type of water production, in which the fountain as a whole (watershed and point of capture), the Water Treatment Plant (WTP) and distribution, shall compose the production process, over which to build quality and safety of the final product (drinking water)

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

Uso de árvore de decisão para avaliação da segurança estática em tempo real de sistemas elétricos de potência

As técnicas utilizadas para avaliação da segurança estática em sistemas elétricos de potência dependem da execução de grande número de casos de fluxo de carga para diversas topologias e condições operacionais do sistema. Em ambientes de operação de tempo real, esta prática é de difícil realização, principalmente em sistemas de grande porte onde a execução de todos os casos de fluxo de carga que são necessários, exige elevado tempo e esforço computacional mesmo para os recursos atuais disponíveis. Técnicas de mineração de dados como árvore de decisão estão sendo utilizadas nos últimos anos e tem alcançado bons resultados nas aplicações de avaliação da segurança estática e dinâmica de sistemas elétricos de potência. Este trabalho apresenta uma metodologia para avaliação da segurança estática em tempo real de sistemas elétricos de potência utilizando árvore de decisão, onde a partir de simulações off-line de fluxo de carga, executadas via software Anarede (CEPEL), foi gerada uma extensa base de dados rotulada relacionada ao estado do sistema, para diversas condições operacionais. Esta base de dados foi utilizada para indução das árvores de decisão, fornecendo um modelo de predição rápida e precisa que classifica o estado do sistema (seguro ou inseguro) para aplicação em tempo real. Esta metodologia reduz o uso de computadores no ambiente on-line, uma vez que o processamento das árvores de decisão exigem apenas a verificação de algumas instruções lógicas do tipo if-then, de um número reduzido de testes numéricos nos nós binários para definição do valor do atributo que satisfaz as regras, pois estes testes são realizados em quantidade igual ao número de níveis hierárquicos da árvore de decisão, o que normalmente é reduzido. Com este processamento computacional simples, a tarefa de avaliação da segurança estática poderá ser executada em uma fração do tempo necessário para a realização pelos métodos tradicionais mais rápidos. Para validação da metodologia, foi realizado um estudo de caso baseado em um sistema elétrico real, onde para cada contingência classificada como inseguro, uma ação de controle corretivo é executada, a partir da informação da árvore de decisão sobre o atributo crítico que mais afeta a segurança. Os resultados mostraram ser a metodologia uma importante ferramenta para avaliação da segurança estática em tempo real para uso em um centro de operação do sistema.

Qualidade higiênico-sanitária de sorvetes e sobremesas, na cidade de Botucatu, SP, Brasil, e verificação da produção de enterotoxinas por Staphylococcus aureus

Food poisoning can cause infection on its consumers by the presence of pathogenic bacteria, such as Salmonella and Staphylococcus aureus. Therefore, it is important to check its quality, which can be affected by many factors. The sanitary quality of foods can be assessed by thermotolerant coliform. Since food safety is a matter of great concern, this study aimed to evaluate the hygienic sanitary conditions of samples of ice cream and desserts marketed in the city of Botucatu, by determining the most probable number (MPN) of thermotolerant coliform, identification and enumeration of coagulase positive staphylococci and verification of classical enterotoxin production by strains of S. aureus and also for detecting the presence of Salmonella sp. Among the ice cream analyzed, 56.3% were unfit for consumption and between the creamy desserts, the percentage of unfit samples was 33.3%. Coagulase positive Staphylococcus and Salmonella were not found in the samples. It is then an inadequacy in handling and / or storage conditions in a considerable number of samples, indicating need for improvement in the conditions of preparation

Proposta e avaliação de uma sistemática para a implementação da norma ISO 22000: 2005 - sistemas de gestão da segurança de alimentos e exemplo prático de sua implementação

Foi desenvolvida uma proposta de sistemática para implementação de Sistema de Gestão da Segurança de Alimentos com base na Norma ISO 22000:2005 (NBR ISO 22000:2006). Esta sistemática está composta por: A) Mapeamento da documentação; B) Formulários para o Planejamento do sistema APPCC/ HACCP com base na norma ISO 22000, bem como Instrução para seu uso, incluindo tanto as etapas preliminares como os 7 Princípios estabelecidos pelo Codex Alimentarius; C) Documentos para a verificação dos sistemas: Checklist para auditoria de verificação, tanto de adequação como de implementação, e Mapeamento da comunicação. Esta sistemática foi aplicada em uma linha de produtos em pó de empresa real, de porte médio, denominada, ficticiamente, empresa EXEMPLO. Foram dados os treinamentos necessários, adequados ao nível de conhecimento da equipe de segurança de alimentos, e realizadas reuniões de consultoria. Após implementação da sistemática proposta pela equipe da empresa EXEMPLO na linha de produtos escolhida para este fim, foi realizada uma auditoria de verificação para a avaliação da adequação do Sistema de Gestão da Segurança de Alimentos com base na Norma ISO 22000. A equipe foi composta por três auditores, sendo dois deles com formação nível auditor líder de ISO 22000. Concluiu-se que a sistemática é eficaz e adequada, atendendo plenamente às exigências da Norma ISO 22000. Foi, também, incluído no trabalho exemplo prático da documentação básica resultante da implementação na empresa EXEMPLO. A sistemática e modelos desenvolvidos, bem como a visualização de um exemplo prático, podem auxiliar as empresas a diminuir significativamente o tempo de implementação, embora ajustes devam ser feitos para adequação à sua realidade. Os ajustes necessários devem considerar os requisitos regulamentares, dependendo do tipo de produto e do órgão regulatório responsável pela sua regulamentação e fiscalização, bem como requisitos estatutários que possam impactar na sistemática desenvolvida.