Motivação para o trabalho: um estudo com os profissionais de saúde das unidades básicas de saúde do município de Natal RN

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.

Adaptação e validação da escala de dependência de exercício físico em versão tradicional e informatizada

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

HOW TO EFFICIEN TLY INCORPORATE FACTS DEVICES IN OPTIMAL ACTIVE POWER FLOW MODEL

This paper presents for the first time how to easily incorporate facts devices in an optimal active power flow model such that an efficient interior-point method may be applied. The optimal active power flow model is based on a network flow approach instead of the traditional nodal formulation that allows the use of an efficiently predictor-corrector interior point method speed up by sparsity exploitation. The mathematical equivalence between the network flow and the nodal models is addressed, as well as the computational advantages of the former considering the solution by interior point methods. The adequacy of the network flow model for representing facts devices is presented and illustrated on a small 5-bus system. The model was implemented using Matlab and its performance was evaluated with the 3,397-bus and 4,075-branch Brazilian power system which show the robustness and efficiency of the formulation proposed. The numerical results also indicate an efficient tool for optimal active power flow that is suitable for incorporating facts devices.

Orientation dependence of stored energy of cold work in semi-processed electrical steels after temper rolling

Microhardness measurements were carried out in a low carbon lamination steel after 6% of temper rolling, in order to evaluate local variations of work hardening as a function of crystallographic orientation. EBSD (electron back scattered diffraction) was used to determine grain orientations with respect to individual rolling planes and rolling directions. Hardness was shown to increase with the local Taylor factor. TEM observations and a well-known dislocation hardening model were used to confirm the equivalence between hardness values and the stored energy of cold work. A definite correlation between stored energy and Taylor factors could therefore be established, being more consistent than previous data reported in the literature. The improvement was thought to be related to the rather small plastic deformation, during which Taylor factors could be considered to remain constant. (c) 2006 Elsevier B.V. All rights reserved.

Heaviside generalized functions and shock waves for a Burger kind equation

The purpose of the work is to study the existence and nonexistence of shock wave solutions for the Burger equations. The study is developed in the context of Colombeau's theory of generalized functions (GFs). This study uses the equality in the strict sense and the weak equality of GFs. The shock wave solutions are given in terms of GFs that have the Heaviside function, in x and ( x, t) variables, as macroscopic aspect. This means that solutions are sought in the form of sequences of regularizations to the Heaviside function, in R-n and R-n x R, in the distributional limit sense.

Geração de casos de teste a partir de especificações B

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

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

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

Recuperação de sinais esparsos. Investigação numérica sobre a quantidade de medidas necessárias para recuperar um sinal esparso

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

What is a Fuzzy Bi-implication?

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.

Comparison between 100-g glucose tolerance test and two other screening tests for gestational diabetes: combined fasting glucose with risk factors and 50-g glucose tolerance test

CONTEXTO E OBJETIVO: A falta de consenso sobre os protocolos de rastreamento e diagnóstico do diabetes gestacional, associada às dificuldades na realização do teste oral simplificado do diabete gestacional (o teste de tolerância a 100 g de glicose, considerado padrão-ouro) justificam a comparação com alternativas. O objetivo deste trabalho é comparar o teste padrão-ouro a dois testes de rastreamento: associação de glicemia de jejum e fatores de risco (GJ + FR) e o teste oral simplificado de tolerância a 50 g de glicose (TTG 50 g), com o teste de tolerância a 100 g de glicose (TTG 100 g). TIPO DE ESTUDO E LOCAL: Estudo de coorte longitudinal, prospectivo, realizado no Serviço de Ginecologia e Obstetrícia do Hospital Universitário da Universidade Federal de Mato Grosso do Sul. MÉTODOS: 341 gestantes foram submetidas aos três testes. Calcularam-se os índices de sensibilidade (S), especificidade (E), valores preditivos (VPP e VPN), razões de probabilidade (RPP e RPN) e resultados falsos (FP e FN), positivos e negativos da associação GJ + FR e do TTG 50 g em relação ao TTG 100 g. Compararam-se as médias das glicemias de uma hora pós-sobrecarga (1hPS) com 50 e 100 g. Na análise estatística, empregou-se o teste t de Student, com limite de significância de 5%. RESULTADOS: A associação GJ + FR encaminhou mais gestantes (53,9%) para a confirmação diagnóstica que o TTG 50 g (14,4%). Os dois testes foram equivalentes nos índices de S (86,4 e 76,9%), VPN (98,7 e 98,9%), RPN (0,3 e 0,27) e FN (15,4 e 23,1%). As médias das glicemias 1hPS foram semelhantes, 106,8 mg/dl para o TTG 50 g e 107,5 mg/dl para o TTG 100 g. CONCLUSÕES: Os resultados da eficiência diagnóstica associados à simplicidade, praticabilidade e custo referendaram a associação GJ + FR como o mais adequado para o rastreamento. A equivalência das glicemias de 1hPS permitiram a proposição de um novo protocolo de rastreamento e diagnóstico do diabete gestacional, com menores custo e desconforto.

Abundance and ecologic distribution of the shrimp Rimapenaeus constrictus (Crustacea : Penaeidae) on the northern coast of São Paulo State, Brazil

The abundance and ecologic distribution of the shrimp R. constrictus were compared among three different embayments within the northern coast of São Paulo State (23degreesS, 45degreesW); i.e. Mar Virado (MV), Ubatuba (UBA) and Ubatumirim (UBM). Key environmental factors were monitored for a better understanding of the distributional patterns of this species, namely temperature, salinity, depth, organic matter content and texture of sediments. In each bay, six transects were delimited, four parallel to the coastline and the other two in areas adjacent to rocky shores. Monthly samples were taken over a 2-year period (1998 and 1999), using a shrimp fishing boat equipped with double-rig nets. Abundance data were treated separately according to environmental characteristics. A total of 4978 specimens was obtained; 921 at MV, 1948 at UBA and 2109 at UBM. The spatial distribution of R. constrictus differed among bays. Higher abundance values were recorded at areas where silt and clay comprised less than 70% of the sediment. A more diversified sediment at UBM and UBA apparently favours the establishment of this species in the region. Its abundance also followed a seasonal trend, higher during spring and summer when intrusions of cold South Atlantic Coastal Waters (SACW) are frequent, promoting the migration of this shrimp to more sheltered areas. These results suggest that sediment type and temperature are the most important variables affecting the spatial and seasonal distribution of this species.

EVIDENCE of A FAILED PREDATION ATTEMPT on A GUIANA DOLPHIN, Sotalia guianensis, BY A BULL SHARK, Carcharhinus leucas, IN BRAZILIAN WATERS.

Even though shark-cetacean interactions have been the subject of numerous studies worldwide, several ecological aspects such as competition, predation risk and co-evolution remain unclear. on February 16th, 2008, during a photo-identification survey to investigate population parameters of Guiana dolphins, Sotalia guianensis, in estuarine waters of Parana State (25[degree]S; 48[degree]W), Brazil, an adult dolphin was photographed without its dorsal fin. A detailed analysis of the healed area on the injured dolphin showed that the circular, crescent-shaped outlined wound was provoked by the bite of a bull shark, Carcharhinus leucas. Wound shape, prey-predator distributional patterns (sympatry) and feeding habits of the shark species here considered were indicative of the species' identity. The wound is likely to be the result of a failed predation attempt. Interactions between C. leucas and S. guianensis should be expected, since they are sympatric along almost all of their distribution range in the tropical and subtropical western South Atlantic. The presented observation adds S. guianensis to the list of cetacean species involved in interactions with large coastal predatory sharks.

Estimativa do custo energético e contribuição das diferentes vias metabólicas na canoagem de velocidade

O desempenho na canoagem de velocidade depende da capacidade de o organismo regenerar ATP em grandes quantidades e a altas taxas, a partir das diferentes vias metabólicas. Assim, o objetivo do presente estudo foi combinar dois modelos bioenergéticos, um genérico denominado de potência crítica e outro específico para a canoagem, proposto por Zamparo et al. (1999), na tentativa de produzir estimativas de aptidão aeróbia e anaeróbia para essa modalidade, bem como estabelecer estimativas não-invasivas da contribuição dos sistemas aeróbio e anaeróbio para diferentes distâncias percorridas. Para tanto, 11 atletas de canoagem (16,0 ± 1,2 anos; 174,0 ± 2,4cm; 65,2 ± 4,4kg), do sexo masculino, percorreram diferentes distâncias (500, 1.000 e 1.790m), na máxima velocidade possível, em embarcações do tipo K-1, em um lago com águas calmas. As informações obtidas foram inicialmente convertidas em quantidades geradas de trabalho (kJ) e potência interna (W). Posteriormente, os valores individuais estimados foram aplicados às três equações preditivas da potência crítica (PCrit) e capacidade de trabalho anaeróbio (CTAnaer). Por fim, os valores produzidos foram transformados em unidades de equivalentes de oxigênio para a estimativa da contribuição aeróbia (equivalente de O2 para a PCrit x tempo para a distância) e anaeróbia (equivalente de O2 para a CTAnaer x tempo para a distância), nas diferentes distâncias. A contribuição aeróbia relativa encontrada para as diferentes distâncias analisadas (500, 1.000 e 1.790m) foi de 60,6, 78,6 e 89,4%, respectivamente. Os resultados encontrados confirmaram as informações produzidas anteriormente por outras investigações, o que sugere que os procedimentos adotados neste estudo podem fornecer estimativas confiáveis sobre a participação das vias energéticas no desempenho de canoagem.

Répteis do Estado de São Paulo: conhecimento atual e perspectivas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

NONDEGENERATE UMBILICS, THE PATH FORMULATION and GRADIENT BIFURCATION PROBLEMS

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)