Natureza morta...edifício com vida: uma arquitetura sustentável para o Serviço de Verificação de Óbitos

Sustainability in buildings, while reducing the impact on the environment, contributes to the promotion of social welfare, to increase the health and productivity of occupants. The search for a way of build that meets the aspirations and development of humanity without, however, represent degradation of the environment, has become the great challenge of contemporary architecture. It is considered that the incorporation of principles that provide a sustainable building with careful choices of design solutions contribute to a better economic and thermal performance of the building, as well as functional and psychological comfort to its users. Based on this general understanding, this paper presents an architecture project aimed to health care whose the solutions adopted follow carefully the relevant legislation and sets his sights on the theme of sustainability. The methodology began with studies on the themes of verification service of deaths, sustainability and those application in construction developed through research in academic studies and analysis of architectural projects, using them like reference for the solutions adopted. Within the project analysis was performed a visit to the verification service of deaths in the city of Palmas in Tocantins, subsidizing information that, plus the relevant legislation, led to functional programming and pre-dimensional of the building to be designed. The result of this programming environments were individual records with information from environmental restrictions, space required for the development of activities, desirable flow and sustainability strategies, that can be considered as the first product of relevance of the professional master's degree. Finally we have outlined the basic design architecture of a Verification Service of Death SVO/RN (in portuguese), whose process of projecting defined as a guiding line of work four points: the use of bioclimatic architecture as the main feature projectual, the use of resources would provide minimal harm to the environment, the use of modulation and structure to the building as a form of rationalization and finally the search for solutions that ensure environmental and psychological comfort to users. Importantly to highlight that, besides owning a rare theme in literature that refers to architectural projects, the whole project was drawn up with foundations in projective criteria that contribute to environmental sustainability, with emphasis on thermal performance, energy efficiency and reuse of rainwater

O poder legislativo na verificação da legitimidade constitucional do processo de construção das leis

It is known that, in the Democratic State of Law paradigm, one of the most instigating themes is the legitimity of the Law. It justifies the interest in reflecting about the Legislative Process instituted by the Brasilian 1988 Constitution, more specifically field of the constitutionality control as away to guaranty of the legitimity of the Law. The research that is developed here, intents to bring to reflection the basis and the ways the Legislative Power has to proceed to Constitutionality Control of the laws and of the Legislative Process. As the focus taken here is about the Legislative Power, it starts from the presupposed that only by the adoption of legislative process which has to be connected to a rational speech, that will evidence the Democratic and Procedimental Law dimensions, guarantee the possibility of the public and private spheres of life act in complementarity that is such needed to the stabilization of the social expectatives and the concretization of the Brazilian Constitution

Algoritmos inteligentes para auto-correção, auto-verificação e auto-validação de medidas em sensores

This work presents a set of intelligent algorithms with the purpose of correcting calibration errors in sensors and reducting the periodicity of their calibrations. Such algorithms were designed using Artificial Neural Networks due to its great capacity of learning, adaptation and function approximation. Two approaches willbe shown, the firstone uses Multilayer Perceptron Networks to approximate the many shapes of the calibration curve of a sensor which discalibrates in different time points. This approach requires the knowledge of the sensor s functioning time, but this information is not always available. To overcome this need, another approach using Recurrent Neural Networks was proposed. The Recurrent Neural Networks have a great capacity of learning the dynamics of a system to which it was trained, so they can learn the dynamics of a sensor s discalibration. Knowingthe sensor s functioning time or its discalibration dynamics, it is possible to determine how much a sensor is discalibrated and correct its measured value, providing then, a more exact measurement. The algorithms proposed in this work can be implemented in a Foundation Fieldbus industrial network environment, which has a good capacity of device programming through its function blocks, making it possible to have them applied to the measurement process

Metodologia de Verificação Funcional para Circuitos Analógicos

This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

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

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Natureza morta...edifício com vida: uma arquitetura sustentável para o Serviço de Verificação de Óbitos

Sustainability in buildings, while reducing the impact on the environment, contributes to the promotion of social welfare, to increase the health and productivity of occupants. The search for a way of build that meets the aspirations and development of humanity without, however, represent degradation of the environment, has become the great challenge of contemporary architecture. It is considered that the incorporation of principles that provide a sustainable building with careful choices of design solutions contribute to a better economic and thermal performance of the building, as well as functional and psychological comfort to its users. Based on this general understanding, this paper presents an architecture project aimed to health care whose the solutions adopted follow carefully the relevant legislation and sets his sights on the theme of sustainability. The methodology began with studies on the themes of verification service of deaths, sustainability and those application in construction developed through research in academic studies and analysis of architectural projects, using them like reference for the solutions adopted. Within the project analysis was performed a visit to the verification service of deaths in the city of Palmas in Tocantins, subsidizing information that, plus the relevant legislation, led to functional programming and pre-dimensional of the building to be designed. The result of this programming environments were individual records with information from environmental restrictions, space required for the development of activities, desirable flow and sustainability strategies, that can be considered as the first product of relevance of the professional master's degree. Finally we have outlined the basic design architecture of a Verification Service of Death SVO/RN (in portuguese), whose process of projecting defined as a guiding line of work four points: the use of bioclimatic architecture as the main feature projectual, the use of resources would provide minimal harm to the environment, the use of modulation and structure to the building as a form of rationalization and finally the search for solutions that ensure environmental and psychological comfort to users. Importantly to highlight that, besides owning a rare theme in literature that refers to architectural projects, the whole project was drawn up with foundations in projective criteria that contribute to environmental sustainability, with emphasis on thermal performance, energy efficiency and reuse of rainwater

Capacitação tecnológica em usina do setor sucroalcooleiro

PEDRO, Edilson da Silva; ASSUMPÇAO, Maria Rita Pontes. Capacitação tecnológica em usina do setor sucroalcooleiro. In: ENCONTRO NACIONAL DE ENGENHARIA DE PRODUÇAO, 23., Ouro Preto,MG, 2003. Anais...Ouro Preto, MG: UFOP, 2003.

Responsabilidade social: visões e perspectivas de empresários do segmento industrial do Rio Grande do Norte

The theme Corporate Social Responsibility is relatively recent both in the academic field and in the business practice. Because of the lack of socialization of experiences and precision of concepts, there are gaps regarding the understanding of the subject and, also, how to conduct operations. This study just seeks to investigate such matter, focusing applications of social responsibility in business. It takes, as empirical field, winners of the PSQT - SESI Prize of Quality at Work in Rio Grande do Norte (2002-2007) in order to systematize the various approaches on the issue, aiming to reveal subjective visions and perspectives of the theme. It is characterized as a qualitative study, carried out by structured interview. The universe was composed by 15 companies. It was used analysis of content categorical as an axis for the interpretation of the information. Three approaches guided the analysis: Business Ethics, (normative); Business & Society (contractual); Social Issues Management (strategic). The findings are related in three ways: 1) reasons for the CSR practice; 2) the results obtained; 3) the means of CSR. It was found that the award participation occurs, mostly, linked to SESI invitations, so, as an articulated movement of industrial corporations in Brazil it occurs, also, because of the organizational commitment with the society and the possibility of internal and social growths and because of the importance attributed to the report as an instrument of consultancy. There are no indicators to check impacts of organizational interventions, in spite of the existence of planning for the actions. Social responsibility appears as a tool to reinforce the organizational image and to increase satisfaction of the employees. There is a tendency of large and medium firms to a contractual commitment while the small and the micros firms are on strategic or normative level. The analysis of the perspectives of social responsibility future revealed trends towards for strategic approach

Síndrome de Burnout : um estudo com guias de turismo regional em Natal-RN

Burnout is a psychological syndrome triggered in response to continuous exposure to interpersonal stressors. It is considered a multifactorial construct, which is commonly characterized by three dimensions: emotional exhaustion, dehumanization, and lack of personal accomplishment.This study aimed to verify if the three characteristics of burnout (exhaustion, lack of dehumanization and personal accomplishment) are present in people working as guides Tourism in Natal - RN. It is a descriptive and quantitative study. 109 subjects were surveyed. Data collection was done through the use of questionnaires, the instrument used was the characterization of the Burnout Scale (ECB) created and validated in Brazil by Trocoli and Tamayo (2000). In order to analyze data we used descriptive statistics, analysis of core measures, exploratory and confirmatory factor analysis, reliability analysis, cluster analysis, multiple discriminant and Spearman correlation. Factor analysis identified four factors that explain 58.3% of the total variance. Those factors were named exhaustion, deception, avoidance, and dehumanization. The reliability of the instrument, as measured by Cronbach's Alpha was 0.918, which is considered excellent reliability. The 109 subjects were grouped into three cluster, which had the deception, avoidance, and dehumanization as discriminant. It is possible to conclude that the characteristics of burnout syndrome are present in the studied population where 19 people are on the high level of burnout, moderate in 32 and 56 in the light. The correlations between socio-demographic variables studied and the dimensions of burnout, were few and weak. The variable leave for health reasons in the study appeared to be related to feelings of exhaustion and avoidance behavior appeared related to younger individuals and who work only in the activity of Receptive Tourism Guide. Verification of the incidence of burnout in individuals surveyed suggest the need to adopt intervention strategies are individual, organizational and / or combined

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

Avaliação Pós-Ocupação da iluminação natural das salas dos setores de aulas teóricas da Universidade Federal do Rio Grande do Norte

The objective of this study is to assess the natural light of the classrooms sectors, at Universidade Federal do Rio Grande do Norte. It was applied the Post-Occupation Evaluation technique, by using questionnaires and brightness levels measurements inside the classrooms. In order to check the users satisfaction degree, it was initially done a general approach on the related aspects to natural light: their characteristics, availability, sources, opening systems and evaluating tools. It was also determined the necessary brightness levels for the activities development in the classroom and the Post-Occupation Evaluation technique used in the search analyses. Then, it was made the UFRN Campus` characterization; the models` definition which formed the data collection basis; the detailing of the procedures used in the research, the processing description and the data analysis. Subsequently, the results that clarify the issues raised were shown through quantitative and / or qualitative data analyses. This research notes a high level of satisfaction by the users, despite some problems such as the reflections occurrence on the board, the lack of uniformity and, occasionally, the brightness low levels

Interface entre arquitetura bioclimática e decisões projetuais

This research has as its object study focus bioclimatic in architecture and its conection with projects decisions, on what regards to environmental comfort for single-family dwelling. From the analysis of five architectural projects inserted in Natal/RN, warm-moist weather, this research gather informations regarding architectural features guided by shape and space arrengement, which embody important elements for the project design development. Computer simulations assisted as foundation to verify the efficiency grade for these projects strategies from shading analysis. Related strategies for the demands of natural ventilation circulation and thermal mass for refrigeration were analysed as well. Results show that there is an hierarchizing of priorities for the decisions made when it comes to shape and space disposition variables, as well as the way these variables will consider the bioclimatic demands. The analysis, even, show that there is no single way to respond to specific bioclimatic demands, as it points out the value of examination of the projectual solutions throughtout the conception process, in order to achieve an efficient project performance for the envimonment comfort