Análise crítica do processo de auditoria de sistema de gestão da qualidade no setor aeroespacial

A auditoria de sistema de gestão da qualidade é utilizada pelas organizações para melhorar o seu desempenho por meio de avaliações sistemáticas dos processos. Ao mesmo tempo, a atividade de auditoria vem sendo questionada quanto à sua capacidade de promover essa melhoria. Diante deste cenário, este artigo objetiva analisar fatores que afetam o processo de auditoria de certificação do sistema de gestão da qualidade, de modo a indicar oportunidades de melhoria das auditorias. A pesquisa é delimitada a auditorias no setor aeroespacial, que são orientadas pela NBR 15100. Foi realizada uma survey com auditores experientes nos anos de 2009 e 2010. São identificados fatores como comunicação, seleção da equipe, conhecimento do setor e os resultados mostram a existência de discrepâncias consideráveis entre o nível de importância e de aplicação desses fatores nas organizações auditadas.

Tradução e adaptação da escala de dependência de substâncias do Millon Clinical Multiaxial III para o Brasil

Millon describes the normal personality by means of adaptation styles that are effective in normal environments and personality disorders such as unadapted operating styles. To operacionalize his theoretical model, Millon has built several instruments, including the Millon Clinical Multiaxial Inventory III (MCMI-III), wich consists of a self report inventory composed by 175 true or false response items, containing four verification scales, and others scales wich evaluates 14 personality patterns and 10 clinical syndromes. The Substance Dependence scale (T) is placed along with Clinical Syndromes scales. This research is justified by the lack of a Brazilian instrument to assess personality psychopathological aspects, and aims to translate and semantically adapt the MCMI-III to the Brazilian context, checking validity elements of the Substance Dependence scale, and developing a computer application for assisting the evaluation of assessment results. To this intent, 2.588 individuals data was collected, male and female, aged between 18 and 85 years, characterized as belonging to a clinical or non-clinical group, who took part in the survey via the internet or in person. Respondents completed the MCMI-III, a socio-demographic questionnaire and a subgroup also answered to the Goldberg General Health Questionnaire (GHQ). Besides descriptive statistics, we performed the analysis using the Student t test, principal components analysis and internal consistency. Despite difficulties related to translating very specific English terms, the assessment by judges, experts on Millon´s theory, and the back translation, attested the adequacy of the Brazilian version. Factorial analysis indicated the grouping of translated T scale items into three factors (social activities prejudice, lack of impulse control, and oppositional behavior), by presenting a single item on a fourth factor (apparently related to seeking pleasurable stimuli). The Cronbach alpha for this set of items was 0,82, indicating an acceptable scale reliability. The data analysis resulted in distinction of scores between clinical and non-clinical groups and between men and women; the relationship between high scores on the scale T and the other scales; scores of drug users according to the declared used substance; and the relationship between high scores on T and the verification of disorder or risk on GHQ mental health factor, indicating the instrument´s adequate sensistivity in identifying psychopathologies and the relationship between the different disorders or psychopathological personality patterns. Although further studies are necessary to develop the scores transformation factors, the computerized correction tool was adequate.

Mídia e gênero: análise crítica da violência contra a mulher no telejornalismo

This thesis is consisted of a theoretical and empirical study about the treatment given by media, particularly on telejournalism, to violence against women. It aims to analyze and reflect about the role of media, particularly television, on the process of reproduction of patriarchy system of gender on the context of Brazilian society, from content and narrative news about crimes committed against Andreia Rodrigues and Eliza Samudio. In light of the critical perspective, we seek to apprehend the particularities of patriarchy as a system of domination and subjugation of women, and also reveal the involvement of traditional means of media on reproduction and maintenance of inequality between men and women. To apprehend that reality, we had as guidance a critical social theory, grounded in historical-dialectical materialism which enabled us to apprehend the phenomenon under investigation actually enrolled in a dynamic and contradictory reality. The research had qualitative approach. We appeal to the specialized literature of the area from classical and contemporary authors. We conducted a content analysis of categorized matters, and interviews with individuals involved in issues of gender and / or communication. The critical examination of the matters indicated that television journalism is permeated by the contradictions inherent in social life, means that states and restates the ideology of ruling classes, their values and worldviews, but also express conflicts and social demands. The study revealed that prevails on television playing stereotypes and gender inequalities. We could also see that violence against women gets a sensationalist overblown approach and with no insights on the social relations that determine and base it.

Violência e luta por direitos no capitalismo contemporâneo: crítica à configuração do atendimento às mulheres no Rio Grande do Norte

This research analyzes the Rio Grande do Norte care services to women who face violence in the context of contemporary capitalism. To do so, we situate the patriarchy in the set of current social relations and its relationship with the corporate determinations in everyday life. The new functions of the Patriarchy in the capital sociability permeates the lives of individuals and particularizes the relationships of violence which affects women, requiring, in the immediate level, policy-making to face them. The research found an arsenal of contradictory possibilities and limitations in dealing with violence. In this process, forms of struggle and resistance predominate, which appear as possibilities and limits were identified relate to the socio-historical context of regression of the rights, historical moment in which increase the objective difficulties in everyday life to ensure the legal achievements. It is worth to emphasize the achievements and contradictions that characterize the struggle process for rights, linking services to women to the social policies and to the limits they face in opposition to the aims of the State to meet the mandatory requirements of capital, reducing its role as the main guarantor of policies and rights. In this sense, the trajectory of the achievements that have referred to the proclamation of a specific law to deal with combat violence against women, the Maria da Penha Law - 11.340/06, which provides an integrated set of measures that, if implemented, would allow the women protection from relations of violence they experience. We identified in Rio Grande do Norte precarious services that are essential to achieve the Maria da Penha Law. This situation requires a feminist organization to claim the rights that enable women to see themselves as people with rights in the process of collective struggle. This is the historical need for continuity of struggles that accumulate policies for the existence of a new model of social relations of gender. One of the possibilities that are presented in the current context is the impact on the public budget in order to ensure compliance with the budget for public policies for women - woman budget. In this perspective, feminist segments in national and state level have been organized to understand the functioning and monitoring of social policies. This is a condition and prerequisite for ensuring policies to ensure basic rights and the violence combat , which still requires an integrated set of services. The survey results allow us to consider that the struggle for rights is necessary at this historical moment, however it is not sufficient in human emancipation, which requires new forms of social relations that determine substantive equality between men and women. Thus, the feminist movement faces the challenge to organize and strengthen itself in daily life, in order to execute a project that changes the meaning of women's rights, articulated to a corporate project which wants other command in the set of social relations . This study emphasizes the need for a more and more organic connection between feminism and social struggles, to ensure the inclusion of women in anti-capitalist struggle

Garantia literária: elementos para uma revisão crítica após um século

This study contributes to a critical synthesis of the principle of literary warrant, initially formulated by Hulme in 1911. Hulme proposed that the terms of a classification system should be derived from the literature to be classified, rather than based on purely theoretical considerations. Founding literary warrant on literature which is actually documented rather than on scientific or philosophical classifications or on the supposed authority of the first classificationists implied a clear departure from the conceptions of Harris and Dewey, who had used the classifications of Bacon and Leibniz as models. The validity of this principle over the past century is studied by means of diverse documental data (entries in dictionaries, retrieval by Google, etc.), as it is recognized as a main methodological element for classification standards and systems. This study also discusses the situation with respect to the top-down or bottom-up methodologies of system design. Three traditional applications of literary warrant are described as well as three new applications are suggested, in light of its methodological potential. It is possible to conclude that this principle will find increasing applications in other contexts, within and beyond Information Science.

A educação do leitor em Machado de Assis: da crítica literária às Memórias Póstumas de Brás Cubas

Les textes de critique littéraire de Machado de Assis montrent la préoccupation de l'auteur avec le lecteur; mais c'est dans l'oeuvre Memorias Postumas de Brás Cubas que le lecteur aura une participation décisive dans la structure du roman.

Diferenças entre as deduções nas duas edições da crítica da razão pura

Comparação entre as duas versões da dedução kantiana dos conceitos puros do entendimento, a da 1ª edição de 1781 e a de 1787. Focam-se aqui principalmente as discrepâncias referentes à dedução objetiva, isto é, aquela encarregada de demonstrar que as categorias são as condições de possibilidade dos objetos de experiência

Notas sobre o esquematismo na Crítica da Razão Pura de Kant

Trata-se de uma abordagem introdutória à doutrina do esquematismo, segundo o contexto de seu surgimento na Crítica da Razão Pura.

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Cirurgia aórtica totalmente laparoscópica para tratamento de isquemia crítica de membros: relato do primeiro caso no Brasil

A cirurgia videolaparoscópica (CVL) vem evoluindo como alternativa cirúrgica menos invasiva para o tratamento da doença aterosclerótica oclusiva aortoilíaca. O objetivo deste relato de caso foi demonstrar os resultados da primeira cirurgia aórtica totalmente laparoscópica relatada no Brasil para o tratamento da doença oclusiva aortoilíaca em paciente com isquemia crítica. Os tempos cirúrgicos totais de dissecção e exposição da aorta antes do clampeamento, exposição retroperitoneal da aorta, clampeamento total e da anastomose proximal com técnica totalmente laparoscópica foram de 220 minutos, 15 e 27 minutos, 42 minutos, 110 minutos e 78 minutos, respectivamente. A técnica videolaparoscópica é mais uma ferramenta minimamente invasiva, viável, segura e eficaz para o tratamento da doença oclusiva aortoilíaca extensa. Ela, que nada mais é do que a cirurgia convencional realizada sob visão laparoscópica, tem bons resultados a longo prazo, que se associam à elegância técnica.

Parâmetros urbanísticos para habitação de interesse social: uma análise crítica para as Rocas em Natal/RN

Through the comparative critical analysis of the demanded urbanistic parameters in the legislation and of the urbanistic index found in the Rocas neighbourhood, having as study object the already consolidated constructions of residential use, intended to demonstrate that the neighbourhood needes specific norms and that the limits established for recognition of Special Areas of Social Interest for the urbanistic legislation of the City of Natal would have to be reviewed and to be brought up to date, once they show occupations like the ones of the reffered neighbourhood. At a first moment, bibliographical revision and elaboration of the theoretical referencial had been made, , to analyze afterwards the urbanistic legislation for the neibourhood of Rocas, that determines relative parameters for the sizes of land lots, coefficients of exploitation, minimum taxes of occupation and retreat. Through a field research in the area, a study on the occupation description was done at first, characterization of the neibourhood through the study of the social-economic aspects, of the existing infrastructure in the place, environmental aspects, morphologic and tipolgic analysis of the neibourhood as a whole. From the grouping of the found characteristics, sub-zones had been delimited, where the real object of study was detached to be analyzed. From the Sub-zoning, a statistic sampling was carried through with the intention to examine which of the urbanistic index is found in the dwellings of that already materialized place. This sampling, of one hundred and eighteen residences, was carried through by measurement of the lots and existing constructions in these places. Through this survey, for each habitacional unit, area of the lot, constructed area, retreats and coefficient of exploitation had been calculated. The comparison between the legislation parameters and the index found in the place reveal an expressive index of urbanistic irregularity and the necessity of special regulation for the Rocas neibourhood due to its specific social-space characteristic

Crítica ao fundacionismo cartesiano com base no argumento contra a linguagem privada

This assignment ains to prove the pertinency of using the wittgenstein´s argument against private language as a criticism to cartesian fundacionism. Therefore, I want to demonstrate in the first chaper the conceptual viability of facing the cartesian argument of cogito not as a simple silogism but as an exemple of a private experience (process of thinking). At the second chaper, the subordination of the argument against private language give us the idea that rules can only be followed by means of corrections givem by a linguistic community that is external to the private subject, in a way to be unviable the assumption that is possible to name an internal experience without searching external rules of the use of terms. At the chaper 3 the pertinency of the hypothesis raised by A. Kenny, about the overtaking of the argument against private language can be extended to the idea of epistemic and ontologic privacy that would lend validity to the fundacion present at the argument at the cartesian cogito. In oder to become evident the pertinency of use of Wittgenstein´s argument agaist Descartes´ fundation, it´s necessary, at the chaper 3, to demonstrate the impertinency of the objection to the A. Kenny´s hypothesis, based on the experiency of the thought of the brain at the recipient, to make clear the incompatibility existing between the cartesian idea of cogito and Wittgenstein´s notion that language is an activitie followed by rules, wich correction criterion may be external and intersubjective