Devido à alta complexidade dos Sistemas Produtivos, o projeto de sistemas de controle adequados às exigências normativas vinculadas aos processos industriais que são executados, e seu impacto no ser humano e no ambiente demandam a necessidade do desenvolvimento de soluções de controle que sejam seguras e estáveis no sentido de não causar interrupções no processo produtivo e danos ao ser humano e ao meio. Uma abordagem para o desenvolvimento de sistemas que contemplem estes requisitos baseia-se no conceito de Sistemas Instrumentados de Segurança e na aplicação das normas IEC 61508 e IEC 61511. Entretanto, assim como o desenvolvimento de qualquer software, os programas de controle de SIS também estão sujeitos a erros de especificação e projeto, mesmo quando o desenvolvimento é feito conforme os critérios normatizados. Além dos erros de projeto, também deve ser levado em consideração que as camadas de prevenção e mitigação especificadas nas normas podem ser desenvolvidas separadamente e dessa forma podem ocorrer comportamentos não previstos ou indesejáveis quando da operação conjunta delas. Uma das formas para uma melhoria na confiabilidade desses programas e que também é um requerimento pertinente ao ciclo de desenvolvimento de um SIS - de acordo com as normas de segurança IEC 61508 e IEC 61511 - é a aplicação de técnicas de verificação formal dos modelos desses programas de controle bem como o uso de um ambiente unificado para modelagem desses sistemas de controle, onde suas interações possam ser mais bem compreendidas. Atualmente, umas das técnicas mais proeminentes para a verificação de sistemas é o Model Checking, que realiza uma busca exaustiva no espaço de estados de um sistema dirigido por eventos, verificando as propriedades especificadas a partir de proposições estabelecidas em lógica temporal. Para esse trabalho é utilizada a lógica TCTL devido a sua capacidade de expressar propriedades em domínio temporal denso. Como ferramenta computacional será usado o ambiente GHENeSys, que propicia um ambiente unificado para modelagem, simulação e verificação dos sistemas por conjugar os benefícios de rede de Petri para modelagem e as técnicas de Model Checking para verificação de modelos. / Due to the high complexity of the actual Productive Systems, the design of suitable control systems according to the applicable industrial standards, and the possible negative impacts on the human being, on the environment and on equipment, the development of control solutions that are be both secure and stable as some systems have to operate nonstop is much demanded. One approach for the development systems with such requirements is the use of Safety Instrumented Systems complying with the standards IEC 61508 and IEC 61511. However, as on the development of any kind of software, SIS control programs are also prone to specification and design errors, even when the control programs are developed according to the applicable standards. Besides design errors, must be taken into consideration the fact that the SIS prevention and mitigation layers, as prescribed on the standards, can be developed individually and thus presenting unanticipated or undesirable behaviors when operating together. One way to improve the reliability of these control programs, which is also required by the safety standards IEC 61508 and IEC 61511 as part of the SIS development cycle, is the application of formal verification techniques on the control software models. Another way is to use a unified approach for modeling these control systems, and thus having the opportunity to understand their interactions better. Currently, one of the most prominent techniques for the verification of systems is the Model Checking. Such technique performs an exhaustive search in the space state of an event driven system, verifying the properties specified as established propositions in temporal logic. On this work, the TCTL logic is used due its ability to express properties in the dense time domain. As computational tool will be used GHENeSys environment, as it provides a unified environment for modeling, simulating and the verification of systems, which enjoys the benefits of modelling through Petri Nets and Model Checking techniques for formal verification.

O presente estudo objetivou compreender as representações sociais dos membros do Poder Judiciário acerca da prevenção da violência sexual intrafamiliar contra crianças e adolescentes. Foi realizado um estudo qualitativo, no qual recorreu-se a uma aproximação com o marco teórico das representações sociais numa perspectiva cultural, para identificar o processo de trabalho desenvolvido pelo Poder Judiciário, referente ao tema. O campo de estudo foi a cidade de Recife, especificamente 1ª e 2ª Varas dos Crimes contra a Criança e o Adolescente da capital. Os sujeitos da pesquisa foram 17 membros das referidas Varas: juiz, assessor, componentes da equipe interprofissional e das equipes de secretaria. A coleta de dados se deu por meio de observação participante, entrevistas semiestruturadas, oficinas e grupo focal. A análise foi realizada por meio da hermenêutica-dialética. As seguintes categorias emergiram dos discursos: o Judiciário é o último patamar, tendo como subcategorias: as políticas públicas para prevenção da violência e a atuação em rede como perspectiva almejada e a estrutura e a dinâmica das Varas. A segunda categoria foi: a cultura penal e suas subcategorias: a prevenção do crime e a prevenção do dano. O Poder Judiciário como último patamar na trajetória das crianças e adolescentes constitui-se em serviço público estatal e caracteriza-se em instituição delimitada pelo poder e pela hierarquia, limitação para um processo de trabalho delineado pelos princípios contidos no Estatuto da Criança e do Adolescente. A configuração da rede, elaborada a partir das Varas, mostra-se quanto ao tamanho como mediana, com boa densidade, apresentando variação do número de instituições em cada quadrante e heterogênea. O conceito de prevenção da violência sexual intrafamiliar contra crianças e adolescentes precisa ser ampliado para além da prevenção meramente do crime. A abordagem do problema, no nível da prevenção, requer a incorporação de um novo paradigma para o Poder Judiciário e da criação de uma cultura penal na qual caibam os princípios da proteção integral e da prioridade absoluta para as crianças e os adolescentes. A construção de um processo de trabalho conjunto voltado para a proteção às crianças e aos adolescentes demanda primeiramente a integração e a articulação interna dos membros das VCCAs, seguida da articulação com outras instituições da rede de atendimento. / The present study aimed at understanding the social representations of the Judiciary members concerning the prevention of sexual violence against children and adolescents in a family environment. A qualitative study has been performed recurrently to approach theoretical points from the social representations in a cultural perspective in order to identify the working process developed by the Judiciary. The study has been held in Recife, specifically in the 1st and 2nd Court for Crimes against children and adolescents from the capital. The subjects of study were 17 members of the referred courts: judge, assessor, some inter-professional staff members and some secretarial staff members. Data collection has been performed under participant observation, semi-structured interviews, workshops and focus group. The analysis has been performed through the hermeneutic-dialectic method. The following categories emerged from the discourses: the Judiciary is the last baseline, and the sub-categories were the public politics to violence prevention and the net performance as the aimed perspective and the Courts structure and dynamic. The second category was as follows: penal culture and its sub-categories: crime prevention and harm prevention. The Judiciary as the last baseline in the path of children and adolescents is represented as a state-owned service and it is characterized as an institution marked out by power and hierarchy, becoming a limitation to a process of work outlined by the principles enclosed in the Statute of Child and Adolescent. The net setup, elaborated from the Courts, is shown regarding the size as the median, with good density, presenting variation in the number of institutions in each quadrant and heterogeneous. The concept of sexual violence prevention against children and adolescents in a family environment needs to be extended beyond the crime prevention merely. The problem approach, in the prevention extent, requires the incorporation of a new paradigm for the Judiciary and also the generation of a penal culture in which the principles of integral protection and absolute priority to children and adolescents fit in. The construction of a group work process focusing on the protection of children and adolescents demands primarily the integration and internal articulation among the members of the VACAs, followed by the articulation among other institutions within the net services.

INTRODUÇÃO: A utilização da ultra-sonografia (USG) como método de diagnóstico por imagem na avaliação das afecções abdominais, em particular para o acompanhamento de pacientes portadores de hepatite C crônica, vem sendo rotineiramente empregada. Neste trabalho, avaliamos a contribuição da USG na avaliação das alterações histopatológicas encontradas neste grupo de doentes, com ênfase para a esteatose hepática (EH), afecção bastante freqüente na hepatite causada pelo vírus C. MÉTODO: Comparamos os achados ultra-sonográficos de 192 pacientes consecutivos, portadores de hepatite crônica pelo vírus C, submetidos à biópsia hepática, com os achados histopatológicos dos fragmentos hepáticos obtidos. Todos os pacientes foram biopsiados sob orientação USG, sendo a ultra-sonografia assim como a biópsia hepática realizadas cada qual por um médico especialista e sempre o mesmo. Todos os exames ultra-sonográficos obedeceram a um mesmo protocolo, sendo analisados os seguintes parâmetros ultra-sonográficos: 1) com relação às características ecográficas do parênquima: ecogenicidade, ecotextura e atenuação; 2) com relação à utilização da USG para o diagnóstico da EH: biometria da parede abdominal, dimensões e contornos hepáticos. Posteriormente os pacientes estudados foram agrupados em: A) grupo com alterações ultra-sonográficas e B) sem alterações ultra-sonográficas, e comparados com as alterações histopatológicas presentes. Foram realizados também cálculos de regressão logística com os parâmetros USG avaliados para a avaliação da acurácia deste método de imagem para o diagnóstico da EH. RESULTADOS: Entre as alterações histopatológicas presentes, a alteração arquitetural e a EH apresentaram diferença estatística significante entre os grupos A (com alterações USG) e B (sem alterações USG). Observou-se também diferença estatística significante entre: a) espessura da parede abdominal e as dimensões hepáticas com relação à presença de EH, b) contornos hepáticos irregulares e a presença de EH. E dentre os componentes ultra-sonográficos avaliados, a atenuação foi o que apresentou melhor correlação com a EH. A utilização das variáveis idade, sexo, atenuação, espessura da parede abdominal e dimensões hepáticas, foram as que apresentaram melhores resultados nos cálculos de regressão logística, com sensibilidade de 60,5% e especificidade de 83,9% em diagnosticar EH. CONCLUSÕES: Neste trabalho, o estudo ultra-sonográfico do fígado de pacientes com hepatite C crônica apresentou correlação com as alterações arquiteturais e com a EH encontradas na histopatologia. A utilização da USG para o diagnóstico da EH apresentou relação estatística com a espessura da parede abdominal, dimensões e contornos hepáticos, e a atenuação foi o melhor componente ultra-sonográfico para o diagnóstico da EH. / INTRODUCTION: Ultrasonography is consistently utilized as the method of diagnostic imaging while evaluating abdominal infections particularly in patients with chronic hepatitis C. We studied the contribution of the ultrasonography in the evaluation of histopathologic alterations in this group of patients with emphasis in hepatic steatosis (HS), sufficiently frequent in hepatitis caused by the C virus. METHODS: We compared the findings from the ultrasounds of 192 carrying patients of chronic hepatitis C virus, who had undergone hepatic biopsy, with the histopathogical findings of the hepatic fragments obtained. All patients who have undergone liver biopsy guided by ultrasonography were always evaluated by the same medical specialist for both sonogram or hepatic biopsy. All ultrasound examinations followed the same protocol, analyzing the following parameters: 1) regarding to the echographic characteristics of parenchyma: echogenicity, echotexture and attenuation; 2) regarding to the use of the sonography for the diagnosis of the HS: biometry of the abdominal wall, hepatic dimensions and contours. Post results, patients had been grouped in: A) altered ultrasound group and B) ultrasound group without ultrasound alterations, both compared with present histopathological alterations. Calculations of logistic regression with ultrasonography parameters had also been performed to determine the accuracy of this method for the HS diagnosis. RESULTS: Of the histopathological alterations present, the architectural alteration and the HS had presented significant statistical difference between the groups (altered ultrasound group) and the B (without ultrasound alterations). We also noted significant statistical difference between: a) thickness of the abdominal wall and the hepatic dimensions with regard to presence of HS, b) irregular hepatic contours and the presence of HS. Amongst the evaluated ultrasound components, attenuation presented better correlation with the HS. The variables age, sex, attenuation, thickness of the abdominal wall and hepatic dimensions of the right lobe, presented better results in the calculations of logistic regression, with 60,5% sensitivity and specificity of 83,9% in diagnosing HS. CONCLUSIONS: In this research, the hepatic ultrasonography of patients with chronic hepatitis C presented correlation with the architectural alterations and the HS found at the histopathology. The utilization of the ultrasonography for the diagnosis of the HS presented statistical relationship with the thickness of the abdominal wall, hepatic dimensions and contours, and the sonographic attenuation was the best component for the diagnosis of ES.

O presente estudo objetivou compreender as representações sociais dos membros do Poder Judiciário acerca da prevenção da violência sexual intrafamiliar contra crianças e adolescentes. Foi realizado um estudo qualitativo, no qual recorreu-se a uma aproximação com o marco teórico das representações sociais numa perspectiva cultural, para identificar o processo de trabalho desenvolvido pelo Poder Judiciário, referente ao tema. O campo de estudo foi a cidade de Recife, especificamente 1ª e 2ª Varas dos Crimes contra a Criança e o Adolescente da capital. Os sujeitos da pesquisa foram 17 membros das referidas Varas: juiz, assessor, componentes da equipe interprofissional e das equipes de secretaria. A coleta de dados se deu por meio de observação participante, entrevistas semiestruturadas, oficinas e grupo focal. A análise foi realizada por meio da hermenêutica-dialética. As seguintes categorias emergiram dos discursos: o Judiciário é o último patamar, tendo como subcategorias: as políticas públicas para prevenção da violência e a atuação em rede como perspectiva almejada e a estrutura e a dinâmica das Varas. A segunda categoria foi: a cultura penal e suas subcategorias: a prevenção do crime e a prevenção do dano. O Poder Judiciário como último patamar na trajetória das crianças e adolescentes constitui-se em serviço público estatal e caracteriza-se em instituição delimitada pelo poder e pela hierarquia, limitação para um processo de trabalho delineado pelos princípios contidos no Estatuto da Criança e do Adolescente. A configuração da rede, elaborada a partir das Varas, mostra-se quanto ao tamanho como mediana, com boa densidade, apresentando variação do número de instituições em cada quadrante e heterogênea. O conceito de prevenção da violência sexual intrafamiliar contra crianças e adolescentes precisa ser ampliado para além da prevenção meramente do crime. A abordagem do problema, no nível da prevenção, requer a incorporação de um novo paradigma para o Poder Judiciário e da criação de uma cultura penal na qual caibam os princípios da proteção integral e da prioridade absoluta para as crianças e os adolescentes. A construção de um processo de trabalho conjunto voltado para a proteção às crianças e aos adolescentes demanda primeiramente a integração e a articulação interna dos membros das VCCAs, seguida da articulação com outras instituições da rede de atendimento. / The present study aimed at understanding the social representations of the Judiciary members concerning the prevention of sexual violence against children and adolescents in a family environment. A qualitative study has been performed recurrently to approach theoretical points from the social representations in a cultural perspective in order to identify the working process developed by the Judiciary. The study has been held in Recife, specifically in the 1st and 2nd Court for Crimes against children and adolescents from the capital. The subjects of study were 17 members of the referred courts: judge, assessor, some inter-professional staff members and some secretarial staff members. Data collection has been performed under participant observation, semi-structured interviews, workshops and focus group. The analysis has been performed through the hermeneutic-dialectic method. The following categories emerged from the discourses: the Judiciary is the last baseline, and the sub-categories were the public politics to violence prevention and the net performance as the aimed perspective and the Courts structure and dynamic. The second category was as follows: penal culture and its sub-categories: crime prevention and harm prevention. The Judiciary as the last baseline in the path of children and adolescents is represented as a state-owned service and it is characterized as an institution marked out by power and hierarchy, becoming a limitation to a process of work outlined by the principles enclosed in the Statute of Child and Adolescent. The net setup, elaborated from the Courts, is shown regarding the size as the median, with good density, presenting variation in the number of institutions in each quadrant and heterogeneous. The concept of sexual violence prevention against children and adolescents in a family environment needs to be extended beyond the crime prevention merely. The problem approach, in the prevention extent, requires the incorporation of a new paradigm for the Judiciary and also the generation of a penal culture in which the principles of integral protection and absolute priority to children and adolescents fit in. The construction of a group work process focusing on the protection of children and adolescents demands primarily the integration and internal articulation among the members of the VACAs, followed by the articulation among other institutions within the net services.

Devido à alta complexidade dos Sistemas Produtivos, o projeto de sistemas de controle adequados às exigências normativas vinculadas aos processos industriais que são executados, e seu impacto no ser humano e no ambiente demandam a necessidade do desenvolvimento de soluções de controle que sejam seguras e estáveis no sentido de não causar interrupções no processo produtivo e danos ao ser humano e ao meio. Uma abordagem para o desenvolvimento de sistemas que contemplem estes requisitos baseia-se no conceito de Sistemas Instrumentados de Segurança e na aplicação das normas IEC 61508 e IEC 61511. Entretanto, assim como o desenvolvimento de qualquer software, os programas de controle de SIS também estão sujeitos a erros de especificação e projeto, mesmo quando o desenvolvimento é feito conforme os critérios normatizados. Além dos erros de projeto, também deve ser levado em consideração que as camadas de prevenção e mitigação especificadas nas normas podem ser desenvolvidas separadamente e dessa forma podem ocorrer comportamentos não previstos ou indesejáveis quando da operação conjunta delas. Uma das formas para uma melhoria na confiabilidade desses programas e que também é um requerimento pertinente ao ciclo de desenvolvimento de um SIS - de acordo com as normas de segurança IEC 61508 e IEC 61511 - é a aplicação de técnicas de verificação formal dos modelos desses programas de controle bem como o uso de um ambiente unificado para modelagem desses sistemas de controle, onde suas interações possam ser mais bem compreendidas. Atualmente, umas das técnicas mais proeminentes para a verificação de sistemas é o Model Checking, que realiza uma busca exaustiva no espaço de estados de um sistema dirigido por eventos, verificando as propriedades especificadas a partir de proposições estabelecidas em lógica temporal. Para esse trabalho é utilizada a lógica TCTL devido a sua capacidade de expressar propriedades em domínio temporal denso. Como ferramenta computacional será usado o ambiente GHENeSys, que propicia um ambiente unificado para modelagem, simulação e verificação dos sistemas por conjugar os benefícios de rede de Petri para modelagem e as técnicas de Model Checking para verificação de modelos. / Due to the high complexity of the actual Productive Systems, the design of suitable control systems according to the applicable industrial standards, and the possible negative impacts on the human being, on the environment and on equipment, the development of control solutions that are be both secure and stable as some systems have to operate nonstop is much demanded. One approach for the development systems with such requirements is the use of Safety Instrumented Systems complying with the standards IEC 61508 and IEC 61511. However, as on the development of any kind of software, SIS control programs are also prone to specification and design errors, even when the control programs are developed according to the applicable standards. Besides design errors, must be taken into consideration the fact that the SIS prevention and mitigation layers, as prescribed on the standards, can be developed individually and thus presenting unanticipated or undesirable behaviors when operating together. One way to improve the reliability of these control programs, which is also required by the safety standards IEC 61508 and IEC 61511 as part of the SIS development cycle, is the application of formal verification techniques on the control software models. Another way is to use a unified approach for modeling these control systems, and thus having the opportunity to understand their interactions better. Currently, one of the most prominent techniques for the verification of systems is the Model Checking. Such technique performs an exhaustive search in the space state of an event driven system, verifying the properties specified as established propositions in temporal logic. On this work, the TCTL logic is used due its ability to express properties in the dense time domain. As computational tool will be used GHENeSys environment, as it provides a unified environment for modeling, simulating and the verification of systems, which enjoys the benefits of modelling through Petri Nets and Model Checking techniques for formal verification.

INTRODUÇÃO: A utilização da ultra-sonografia (USG) como método de diagnóstico por imagem na avaliação das afecções abdominais, em particular para o acompanhamento de pacientes portadores de hepatite C crônica, vem sendo rotineiramente empregada. Neste trabalho, avaliamos a contribuição da USG na avaliação das alterações histopatológicas encontradas neste grupo de doentes, com ênfase para a esteatose hepática (EH), afecção bastante freqüente na hepatite causada pelo vírus C. MÉTODO: Comparamos os achados ultra-sonográficos de 192 pacientes consecutivos, portadores de hepatite crônica pelo vírus C, submetidos à biópsia hepática, com os achados histopatológicos dos fragmentos hepáticos obtidos. Todos os pacientes foram biopsiados sob orientação USG, sendo a ultra-sonografia assim como a biópsia hepática realizadas cada qual por um médico especialista e sempre o mesmo. Todos os exames ultra-sonográficos obedeceram a um mesmo protocolo, sendo analisados os seguintes parâmetros ultra-sonográficos: 1) com relação às características ecográficas do parênquima: ecogenicidade, ecotextura e atenuação; 2) com relação à utilização da USG para o diagnóstico da EH: biometria da parede abdominal, dimensões e contornos hepáticos. Posteriormente os pacientes estudados foram agrupados em: A) grupo com alterações ultra-sonográficas e B) sem alterações ultra-sonográficas, e comparados com as alterações histopatológicas presentes. Foram realizados também cálculos de regressão logística com os parâmetros USG avaliados para a avaliação da acurácia deste método de imagem para o diagnóstico da EH. RESULTADOS: Entre as alterações histopatológicas presentes, a alteração arquitetural e a EH apresentaram diferença estatística significante entre os grupos A (com alterações USG) e B (sem alterações USG). Observou-se também diferença estatística significante entre: a) espessura da parede abdominal e as dimensões hepáticas com relação à presença de EH, b) contornos hepáticos irregulares e a presença de EH. E dentre os componentes ultra-sonográficos avaliados, a atenuação foi o que apresentou melhor correlação com a EH. A utilização das variáveis idade, sexo, atenuação, espessura da parede abdominal e dimensões hepáticas, foram as que apresentaram melhores resultados nos cálculos de regressão logística, com sensibilidade de 60,5% e especificidade de 83,9% em diagnosticar EH. CONCLUSÕES: Neste trabalho, o estudo ultra-sonográfico do fígado de pacientes com hepatite C crônica apresentou correlação com as alterações arquiteturais e com a EH encontradas na histopatologia. A utilização da USG para o diagnóstico da EH apresentou relação estatística com a espessura da parede abdominal, dimensões e contornos hepáticos, e a atenuação foi o melhor componente ultra-sonográfico para o diagnóstico da EH. / INTRODUCTION: Ultrasonography is consistently utilized as the method of diagnostic imaging while evaluating abdominal infections particularly in patients with chronic hepatitis C. We studied the contribution of the ultrasonography in the evaluation of histopathologic alterations in this group of patients with emphasis in hepatic steatosis (HS), sufficiently frequent in hepatitis caused by the C virus. METHODS: We compared the findings from the ultrasounds of 192 carrying patients of chronic hepatitis C virus, who had undergone hepatic biopsy, with the histopathogical findings of the hepatic fragments obtained. All patients who have undergone liver biopsy guided by ultrasonography were always evaluated by the same medical specialist for both sonogram or hepatic biopsy. All ultrasound examinations followed the same protocol, analyzing the following parameters: 1) regarding to the echographic characteristics of parenchyma: echogenicity, echotexture and attenuation; 2) regarding to the use of the sonography for the diagnosis of the HS: biometry of the abdominal wall, hepatic dimensions and contours. Post results, patients had been grouped in: A) altered ultrasound group and B) ultrasound group without ultrasound alterations, both compared with present histopathological alterations. Calculations of logistic regression with ultrasonography parameters had also been performed to determine the accuracy of this method for the HS diagnosis. RESULTS: Of the histopathological alterations present, the architectural alteration and the HS had presented significant statistical difference between the groups (altered ultrasound group) and the B (without ultrasound alterations). We also noted significant statistical difference between: a) thickness of the abdominal wall and the hepatic dimensions with regard to presence of HS, b) irregular hepatic contours and the presence of HS. Amongst the evaluated ultrasound components, attenuation presented better correlation with the HS. The variables age, sex, attenuation, thickness of the abdominal wall and hepatic dimensions of the right lobe, presented better results in the calculations of logistic regression, with 60,5% sensitivity and specificity of 83,9% in diagnosing HS. CONCLUSIONS: In this research, the hepatic ultrasonography of patients with chronic hepatitis C presented correlation with the architectural alterations and the HS found at the histopathology. The utilization of the ultrasonography for the diagnosis of the HS presented statistical relationship with the thickness of the abdominal wall, hepatic dimensions and contours, and the sonographic attenuation was the best component for the diagnosis of ES.