33 resultados para equivalência terminológica interlinguística
Resumo:
This thesis studied the motivation to work among health professionals of the Basic Unities (BUH) in the health network of the city of Natal (RN). It was understood that the work motivation is a process. Then, the expectation theory was applied and motivation components (results of work, expectative, valence, instrumentality, and motivational force) were used to analyses. It s understanding the motivation as multifaceted phenomenon, the psycho sociological perspective was adopted. The research was developed in two phases: one with application of Work Motivation and Meaning Inventory (WMMI), and another with interview. In the first phases, the analysis of results revealed that the major factors contributing to increase the motivational force to health professionals in the BUH´s are: in valence, Self Expression and Personal Realization (VF2), Personal and Family Survival (VF3); in expectative, Self Expression and Work Justice (EF1), Safety and Dignity (EF2) and Responsibility (EF4); in instrumentality, Involvement (IF1) and Recognition and Economic Independence (IF4). In opposition, the factors that more contribute to reduce the motivational force are Wear and Dehumanization factors in valence (VF4), in expectative (EF3), and in instrumentality (IF4), behind the Work Justice Factor (IF2). Basing in content analysis of interviews, it was possible to associate by equivalence, the senses presented by health professionals with obtained results of first phase, indicating that the results of second phase corroborated and complemented those of first one. This possibility broadened the comprehension of the studied phenomenon. In speaking of the respondents, it was visible the presence of contents showing that they perceive the Health System and BUH´s in degradation. In the first phase, the participants´ instruction also predict the results in motivation, and in the interviews can be saw that the instruction is associated with the opportunities in outside of system. As work motivation is a process, the impact of personal and occupational characteristics tend to interact with contextual aspects. It was concluded the majority of health professionals present the moderated motivational force, but it was falling because they experience and perceive a degrading context with work condition increasingly unfavorable.
Resumo:
The Commercial Sexual Exploitation of Children and Adolescents (ESCCA) is a phenomenon that has been given priority in public policy agenda of many democratic governments of Western countries and civil sectors of society, besides the object of studies in different fields of knowledge. Psychology is among these areas and is considered one of the references in the construction of knowledge and actions to confront the phenomenon. However, the epistemological foundations of psychological science are quite different, and so, several are his speeches, knowledge produced and ways of conceiving man and the world. This is evident in the publications of psychology on ESCCA. This work aims to achieve a state of the art of psychology publication in Brazil (in the post-graduation - through theses and dissertations - and journals) on the Commercial Sexual Exploitation of Children and Adolescents. More specifically try to evidence (a) what conceptions of commercial sexual exploitation of children and adolescents the authors lists, (b) what are aimed at research and publications, (c) how the research and issues are justified, and (d) that theoretical approaches the authors are affiliated and methodological possibilities are applied to range the aim proposed in their work. In order to do so, a survey was conducted in the major index sites (eg, BVS-Psi, Capes, theses and dissertations database of university libraries) of the material, covering the period 1990 to 2007. Through research on these sites, we built a database, including information relating to the work sought from specific descriptors for studies in the area of victimization of children and adolescents, with reference to a list provided by Faleiros (2000). After reading the summary of the work, the number of recovered 25 productions was reached - including theses, dissertations and articles. For analysis of the material used in the analysis of thematic content. Two axes themes were established in order to guide the analysis: conceptual elements of commercial sexual exploitation, and theoretical and methodological strategies employed. The axes have as reference for analysis a chapter built on the concept of commercial sexual exploitation, so that all analysis is anchored on it. The analysis points to the existence, still strong, conceptual and terminological confusion about ESCCA. Few studies have not demonstrated this confusion, maintaining a consistent theoretical approach. In relation to the theoretical and methodological strategies, there is a great diversity of approaches in psychology surrounding the phenomenon of ESCCA, enriching levels of understanding and action. This diversity reflects a constitutive heterogeneity of psychological science. We emphasize the perspective of socio-historical psychology, most frequently among the publications. It is hoped that this research will help advance the qualitative approach to ESCCA, especially in the field of psychology, as well as contribute to new research in the area and construction of new means of addressing this human rights violation
Resumo:
While providing physical and psychological benefits, excessive exercise could be or cause a compulsive behavior, making the individual dependent on it. In a parallel discussion, computerized psychological instruments, for a hand, reflects the development of information technology and your applicability to other areas, but also shows little advance for Psychological Assessment. In this perspective, this study aims to adapt the Exercise Dependence Scale (EDS-R) in two formats (paper-and-pencil and computerized) and evaluate evidence of factorial and convergent validity, and reliability of each version and compare them with each other. It is also proposed to observe the relationship of some bio-demographic (Sex, age, frequency, duration and intensity of practice exercise) and the exercise dependence (DEF). For this purpose, 709 regular physical activity practitioners, selected by procedures non-probabilistic sampling, responded a adapted version of EDS-R, Muscle Appearance Satisfaction Scale (MASS), Body Modification Scale (BMS) and a demographic questionnaire, analyzed through Exploratory Factor Analysis, Cronbach's Alpha and not parametric tests. Both the traditional version and the computer showed a seven factors structure, explaining 57 and 62% of the variance, respectively, and Cronbach's alphas of 0.83 and 0.89. Factors were: (1) intentionality, (2) continuity, (3) tolerance, (4) reduction of other activities, (5) lack of control, (6) abstinence and (7) time spent on exercise. Relationships were observed between the Exercise Dependence and the variables: age, diets, consumption of food supplements and medicines for weight change, desire to do plastic surgery and body satisfaction. We observed also a positive correlation between the DEF and the frequency, duration and intensity of exercise, and the factor "Dependence on exercising" from MASS, indicating convergent validity of the EDS-R. Finally, comparisons between the two formats were equivalent, with few changes: computerized version achieved higher DEF scores. Based on these results, it can be concluded that the EDS-R has factorial and convergent validity, reliability, to measure exerceise dependence on traditional e computerized formats. DEF is related to actions used to body modification and behaviors toward exercise. Finally, it was found equivalence between the formats, especially in psychometric parameters, thus suggesting feasibility of a computerized assessment. However, it was observed that the computerized data has sample recruiting strategies more limited
Resumo:
Esse trabalho objetivou promover a adaptação transcultural para o Brasil da VASS. Os passos para adaptação transcultural seguirão a proposta de operacionalização alicerçado na apreciação de diferentes tipos de equivalência: a conceitual e de itens, a semântica e a de mensuração. Para alcançar as duas primeiras etapas utilizou-se as técnicas de tradução e retrotradução associada ao procedimento intitulado Painel de Especialistas. Para o pré-teste e verificação de equivalência de mensuração, aplicou-se o questionário com uma população de 30 e 66 idosos, respectivamente. Para as análises dos resultados foi utilizada a estatística descritiva e inferencial, em especial o KR-20, teste T de student, correlação de Pearson e ANOVA univariada, bem como o método kappa de Fleiss para verificação do índice de confiabilidade. Verificou-se que o conceito utilizado para construção do instrumento, bem como seus itens se mostram adequados à investigação do fenômeno. Evidenciou-se boa equivalência semântica entre os itens das retrotraduções e do instrumento original, especialmente quanto aos resultados de T1 R1. Os juízes optaram pelo uso de 11 itens de T1 à versão-síntese. A equivalência operacional mostrou-se satisfatória. Em geral, os resultados apresentados mostraram-se aceitáveis. Quanto à etapa da equivalência de mensuração, verificou-se que a idade dos participantes variou entre 60 a 84 anos, prevalecendo respondentes idosas (n = 38), representando 57,6% da amostra estudada. O valor do KR-20 para o escore geral do instrumento foi de 0,688 (IC95%: 0,670). Os valores encontrados para as quatro dimensões propostas pelos autores do estudo inicial do instrumento foram 0,528, 0,289, 0,552 e 0,303, respectivamente. Apenas os valores de consistência interna das subescalas Vulnerabilidade e Coerção mostraram-se aproximados aos encontrados no estudo original, a saber, 0,550 e 0,390, respectivamente. Verificou-se que com a retirada dos itens nº 04, nº 06 e nº 10, houve aumento do índice de consistência interna da escala total. Já quanto aos valores da consistência interna das subescalas, percebeu-se que apenas com a retirada dos itens nº 09, referente à escala que dimensiona o Desânimo, e nº 12, item da subescala Coerção, é que houve acréscimo nesses valores. Destaca-se que esses são resultados preliminares, uma vez que após a verificação da adequabilidade e de padrões psicométricos iniciais acerca do uso do instrumento para a população idosa, ainda há de se dar continuidade à etapa concernente à verificação de propriedades psicométricas robustas do instrumento, que indiquem, por exemplo, evidências de fidedignidade em situação de teste-reteste, validade de constructo e de critério, se possível e aplicável. A principal limitação do estudo é a falta de um instrumento padrão-ouro para testar a fidedignidade, sensibilidade e especificidade do instrumento em questão. Apesar desta limitação, a adaptação transcultural e a verificação de propriedades psicométricas preliminares do instrumento de uma medida de autorrelato que afere indicativo de violência doméstica contra o idoso tem sua relevância e foi satisfatória
Resumo:
Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]
Resumo:
With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases
Resumo:
Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies
Resumo:
A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.
Resumo:
Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Resumo:
In order to make this document self-contained, we first present all the necessary theory as a background. Then we study several definitions that extended the classic bi-implication in to the domain of well stablished fuzzy logics, namely, into the [0; 1] interval. Those approaches of the fuzzy bi-implication can be summarized as follows: two axiomatized definitions, which we proved that represent the same class of functions, four defining standard (two of them proposed by us), which varied by the number of different compound operators and what restrictions they had to satisfy. We proved that those defining standard represent only two classes of functions, having one as a proper subclass of the other, yet being both a subclass of the class represented by the axiomatized definitions. Since those three clases satisfy some contraints that we judge unnecessary, we proposed a new defining standard free of those restrictions and that represents a class of functions that intersects with the class represented by the axiomatized definitions. By this dissertation we are aiming to settle the groundwork for future research on this operator.
Resumo:
The Rio do Peixe Basin is located in the border of Paraíba and Ceará states, immediately to the north of the Patos shear zone, encompassing an area of 1,315 km2. This is one of the main basins of eocretaceous age in Northeast Brazil, associated to the rifting event that shaped the present continental margin. The basin can be divided into four sub-basins, corresponding to Pombal, Sousa, Brejo das Freiras and Icozinho half-grabens. This dissertation was based on the analysis and interpretation of remote sensing products, field stratigraphic and structural data, and seismic sections and gravity data. Field work detailed the lithofacies characterization of the three formations previously recognised in the basin, Antenor Navarro, Sousa and Rio Piranhas. Unlike the classical vertical stacking, field relations and seismostratigraphic analysis highlighted the interdigitation and lateral equivalency between these units. On bio/chrono-stratigraphic and tectonic grounds, they correlate with the Rift Tectonosequence of neocomian age. The Antenor Navarro Formation rests overlies the crystalline basement in non conformity. It comprises lithofacies originated by a braided fluvial system system, dominated by immature, coarse and conglomeratic sandstones, and polymict conglomerates at the base. Its exposures occur in the different halfgrabens, along its flexural margins. Paleocurrent data indicate source areas in the basement to the north/NW, or input along strike ramps. The Sousa Formation is composed by fine-grained sandstones, siltites and reddish, locally grey-greenish to reddish laminated shales presenting wavy marks, mudcracks and, sometimes, carbonate beds. This formation shows major influence of a fluvial, floodplain system, with seismostratigraphic evidence of lacustrine facies at subsurface. Its distribution occupies the central part of the Sousa and Brejo das Freiras half-grabens, which constitute the main depocenters of the basin. Paleocurrent analysis shows that sediment transport was also from north/NW to south/SE
Resumo:
Data Visualization is widely used to facilitate the comprehension of information and find relationships between data. One of the most widely used techniques for multivariate data (4 or more variables) visualization is the 2D scatterplot. This technique associates each data item to a visual mark in the following way: two variables are mapped to Cartesian coordinates so that a visual mark can be placed on the Cartesian plane; the others variables are mapped gradually to visual properties of the mark, such as size, color, shape, among others. As the number of variables to be visualized increases, the amount of visual properties associated to the mark increases as well. As a result, the complexity of the final visualization is higher. However, increasing the complexity of the visualization does not necessarily implies a better visualization and, sometimes, it provides an inverse situation, producing a visually polluted and confusing visualization—this problem is called visual properties overload. This work aims to investigate whether it is possible to work around the overload of the visual channel and improve insight about multivariate data visualized through a modification in the 2D scatterplot technique. In this modification, we map the variables from data items to multisensoriy marks. These marks are composed not only by visual properties, but haptic properties, such as vibration, viscosity and elastic resistance, as well. We believed that this approach could ease the insight process, through the transposition of properties from the visual channel to the haptic channel. The hypothesis was verified through experiments, in which we have analyzed (a) the accuracy of the answers; (b) response time; and (c) the grade of personal satisfaction with the proposed approach. However, the hypothesis was not validated. The results suggest that there is an equivalence between the investigated visual and haptic properties in all analyzed aspects, though in strictly numeric terms the multisensory visualization achieved better results in response time and personal satisfaction.
Resumo:
Brazil is the world's second largest producer of cassava, which most of the production is used to make flour and starch, generating large amounts of waste, cassava. In general, this waste is disposed of directly into the soil and waterways, causing serious environmental impacts. In view of this, the aim of this work was to evaluate the use of cassava wastewater water (cassava) as organic fertilizer in Brachiaria brizantha pasture. Marandu. The experiment was conducted at the Campus Macaíba the Federal University of Rio Grande do Norte. The treatments were increasing rates of cassava, applied to the soil as organic fertilizer. The experimental design was a randomized block design with six treatments and four replications. The treatments consist of cassava doses (0, 15, 30, 60 and 120 m³ ha- 1 ) and a treatment with mineral fertilizer (AM) in the form of NPK (140: 30: 120 kg ha-1 ). Three cuts with an interval of 60 days were carried out. The variables evaluated were: plant height; accumulation of morphological components of fodder; Trapping Light (IL); Leaf Area Index (LAI); Total chlorophyll (CT); Feature Production Seca (PMS). The dry matter production at a dose of 120 m³ha-1 had a quantitative increase, with a total production in 2796 kg ha-1 DM in the second cut, providing an increase of 493% compared to control, and the residual effect observed in the third cut caused a 100% increase compared to 0 m³ ha-1 . Comparing the PMS obtained with the use of AM and other treatments it was observed that it was the second cut equivalent to a dose of 120 m³ ha-1 and the third equivalence has been cut at doses 60 and 120 m³ha-1. For the variables plant height, IL, IAF, CT and leaves Mass adding cassava in the soil promoted a positive linear increase for the three cuts. However, with the AM the IAF was superior to the other treatments. The thatched mass reached its highest production (838 kg ha-1 DM) in the second cut when using a dose of 120 m³ha-1 . In dead material mass in the second and third sections, there was increased linearly increased total of 322 and 452% respectively, compared to a dose of 0 m³ha-1 . The use of cassava showed herbicidal effect for the variable mass of the undesirable negative linear response resulting in decreasing the amount of residue with increasing doses. Manipueira can be used as organic fertilizer in Brachiaria brizantha cv. Marandu for improvements in the productive characteristics, as promoted significant increases in 8 most of the variables studied, especially at a dose of 120 m³ha-1 . This benefits the environment by being alternative for disposal of cassava.
Resumo:
The Nursing Homes are an important alternative care in the world, but Brazil still has no valid instrument to monitor the quality these institutions. In the United States, the Observable Indicators of Nursing Home Care Quality Instrument (OIQ) is used to assess the quality of Nursing Home care using 30 indicators of structure (2 dimensions) and process (5 dimensions) related to quality person-centered care. The present study aimed at cross-culturally adapting the OIQ in order to evaluate the quality of Nursing Home care in Brazil. Conceptual and item equivalence were determined to assess the relevance and viability of OIQ in the Brazilian context, using the Content Validity Index (CVI) and a group of specialists composed of 10 participants directly involved in the object of study. Next, operational, idiomatic and semantic equivalence were carried out concurrently. This consisted of 5 phases: (1) two translations and (2) their respective back translations; (3) formal appraisal of referential and general meaning; (4) review by a second group of specialists; (5) application of the pretest at three Nursing Homes by different social entities: health professionals, sanitary surveillance regulators and potential consumers. Measurement equivalence was evaluated by the Cronbach’s alpha test to verify the internal consistency of the instrument. To measure inter-evaluator agreement, the General Agreement Index (ICG) and Kappa coefficient were used. Timely compliance and 95% Confidence Interval of indicators, dimensions and total construct were estimated. The CVI obtained high results for both relevance (95.3%) and viability (94.3%) in the Brazilian context. With respect to referential meaning, similarity was observed, ranging between 90-100% for the first back translation and 70-100% for the second. In relation to general meaning, version 1 was better, classified as “unchanged” in 80% of the items, whereas in version 2 it was only 47%. In the pretest, the OIQ was easy to understand and apply. The following outcomes were obtained: a high Cronbach’s alpha (0.93), satisfactory ICG (75%) and substantial agreement between the pairs of evaluators (health professionals, regulators from the Superintendency of Sanitary Surveillance –SUVISA-, and potential consumers), according to the Kappa coefficient (0.65). It´s possible take the operational equivalence held since it preserved the original layout in the Brazilian version from the maintenance in application mode, response options, number of items, statements and scores. The performance of nursing homes obtained approximate average scores of 87, a variation 55-111 considering a range from 30 to 150 points. The worst outcomes were related to process indicators with a mean of 2.8 per item, while structure was 3.75 on a scale of 1 to 5. The lowest score was obtained for the care dimension (mean 2). The OIQ version was deemed to be a valid and reliable instrument in the Brazilian context. It is recommended that health professionals, regulators and potential consumers adopt it to access and monitor the quality of Nursing Home care and demonstrating opportunities for improvement.