Cargos comissionados da administração pública direta do Rio Grande do Norte: análise comparativa entre o perfil profissional dos cargos comissionados com vínculo funcional e sem vínculo funcional

The professional profile of public administrators in Brazil is changing very rapidly in recent years, seeking to meet the principle of efficiency by public agencies at all levels. The admission of the permanent government employee under the Public Administration is by competition, however, commissioned positions are free appointment of managers, which allows effective participation of external experts according to their respective standards and norms. In this context, this dissertation seeks to understand the main characteristics of the profile of the occupants of commissioned positions in Direct Public Administration of the State of Rio Grande do Norte, noting the differences between those with functional link with the have nots. For this study, by data collection and content analysis, a mapping of the administrative structure of the Government of the State of Rio Grande do Norte was done, i.e., the organization of the Executive Branch, which is regulated by the Complementary Law no. 163/1999 and its amendments, which consists of 53 (fifty three) entities, these 29 (twenty nine) are agencies of the direct administration and the remaining 24 (twenty four) comprises the indirect administration. With the collected data, analysis on the number of commissioned positions of each organ of the State of Rio Grande do Norte and information on education, age, length of service, gender and functional link with the direct administration was carried out. Data were available from SEARH in June/2013, when they totaled 58,733 (fifty-eight thousand seven hundred thirty-three) servers, these 2.15% (two point fifteen percent) occupy commissioned positions, corresponding to 1,262 commissioned positions under the Direct Administration, below the national average of 4% (four percent). Of total commissioned positions 64.7% (sixty-four point seven percent) have no functional link with the direct administration, while only 35.3% (thirty -five point three percent) have functional link. It was noticed that there are no clear and specific criteria for the appointments of commissioned positions in the State. They occur freely, as provided in the State Constitution. Another conclusion is the importance of Public Administration define and improve their capacity, competence and efficiency in the delivery of public services. For that it is necessary to invest in their workforce composed of permanent employees and commissioned positions to define the appropriate professional profile

Métodos numéricos para resolução de equações diferenciais ordinárias lineares baseados em interpolação por spline

In this work we have elaborated a spline-based method of solution of inicial value problems involving ordinary differential equations, with emphasis on linear equations. The method can be seen as an alternative for the traditional solvers such as Runge-Kutta, and avoids root calculations in the linear time invariant case. The method is then applied on a central problem of control theory, namely, the step response problem for linear EDOs with possibly varying coefficients, where root calculations do not apply. We have implemented an efficient algorithm which uses exclusively matrix-vector operations. The working interval (till the settling time) was determined through a calculation of the least stable mode using a modified power method. Several variants of the method have been compared by simulation. For general linear problems with fine grid, the proposed method compares favorably with the Euler method. In the time invariant case, where the alternative is root calculation, we have indications that the proposed method is competitive for equations of sifficiently high order.

Effect of helium implantation on the properties of plasma polymer films

Polymer films, deposited from acetylene and argon plasma mixtures, were bombarded with 150 keV He+ ions, varying the fluence, Phi, from 10(18) to 10(21) ions/m(2). Molecular structure and optical gap of the samples were investigated by infrared and ultraviolet-visible spectroscopies, respectively. Two-point probe was employed to determine the electrical resistivity while hardness was measured by nanoindentation technique. It was verified modification of the molecular structure and composition of the films. There was loss of H and increment in the concentration of unsaturated carbon bonds with Phi. Optical gap and electrical resistivity decreased while hardness increased with Phi. Interpretation of these results is proposed in terms of chain crosslinking and unsaturation. (C) 2002 Elsevier B.V. B.V. All rights reserved.

Optical and electrical properties of polymerizing plasmas and their correlation with DLC film properties

Diamond-like carbon (DLC) films were grown from radiofrequency plasmas of acetylene-argon mixtures, at different excitation powers, P. The effects of this parameter on the plasma potential, electron density, electron temperature, and plasma activity were investigated using a Langmuir probe. The mean electron temperature increased from about 0.5 to about 7.0 eV while the mean electron density decreased from about 1.2x10(9) to about 0.2x10(9) cm(-3) as P was increased from 25 to 150 W. Both the plasma potential and the plasma activity were found to increase with increasing P. Through actinometric optical emission spectrometry, the relative concentrations of CH, [CH], and H, [H], in the discharge were mapped as a function of the applied power. A rise in [H] and a fall in [CH] with increasing P were observed and are discussed in relation to the plasma characteristics and the subimplantation model. The optical properties of the films were calculated from ultraviolet-visible spectroscopic data; the surface resistivity was measured by the two-point probe method. The optical gap, E(G), and the surface resistivity, rho(s), fall with increasing P. E(G) and rho(s) are in the ranges of about 2.0-1.3 eV and 10(14)-10(16) Omega/square, respectively. The plasma power also influences the film self-bias, V(b), via a linear dependence, and the effect of V(b) on ion bombardment during growth is addressed together with variation in the relative densities of sp(2) and sp(3) bonds in the films as determined by Raman spectroscopy.

ALGORITHM FOR PROBABILISTIC ANALYSIS of DISTRIBUTION SYSTEMS WITH DISTRIBUTED GENERATION

In this paper an efficient algorithm for probabilistic analysis of unbalanced three-phase weakly-meshed distribution systems is presented. This algorithm uses the technique of Two-Point Estimate Method for calculating the probabilistic behavior of the system random variables. Additionally, the deterministic analysis of the state variables is performed by means of a Compensation-Based Radial Load Flow (CBRLF). Such load flow efficiently exploits the topological characteristics of the network. To deal with distributed generation, a strategy to incorporate a simplified model of a generator in the CBRLF is proposed. Thus, depending on the type of control and generator operation conditions, the node with distributed generation can be modeled either as a PV or PQ node. To validate the efficiency of the proposed algorithm, the IEEE 37 bus test system is used. The probabilistic results are compared with those obtained using the Monte Carlo method.

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

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

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

Spatio-temporal dynamics and transition from asymptotic equilibrium to bounded oscillations in Chrysomya albiceps (Diptera, Calliphoridae)

The sensitivity of parameters that govern the stability of population size in Chrysomya albiceps and describe its spatial dynamics was evaluated in this study. The dynamics was modeled using a density-dependent model of population growth. Our simulations show that variation in fecundity and mainly in survival has marked effect on the dynamics and indicates the possibility of transitions from one-point equilibrium to bounded oscillations. C. albiceps exhibits a two-point limit cycle, but the introduction of diffusive dispersal induces an evident qualitative shift from two-point limit cycle to a one fixed-point dynamics. Population dynamics of C. albiceps is here compared to dynamics of Cochliomyia macellaria, C. megacephala and C. putoria.

Dynamics of experimental populations of native and introduced blowflies (Diptera: Calliphoridae): mathematical modelling and the transition from asymptotic equilibrium to bounded oscillations

The equilibrium dynamics of native and introduced blowflies is modelled using a density-dependent model of population growth that takes into account important features of the life-history in these flies. A theoretical analysis indicates that the product of maximum fecundity and survival is the primary determinant of the dynamics. Cochliomyia macellaria, a blowfly native to the Americas and the introduced Chrysomya megacephala and Chrysomya putoria, differ in their dynamics in that the first species shows a damping oscillatory behavior leading to a one-point equilibrium, whereas in the last two species population numbers show a two-point limit cycle. Simulations showed that variation in fecundity has a marked effect on the dynamics and indicates the possibility of transitions from one-point equilibrium to bounded oscillations and aperiodic behavior. Variation in survival has much less influence on the dynamics.

Population dynamics of Chrysomya megacephala (Diptera : Calliphoridae) at different temperatures

In this study we analysed the theoretical population dynamics of C. megacephala, an exotic blowfly, kept at 25 and 30degreesC, using a density-dependent mathematical model, with parametric estimates of survival and fecundity in the laboratory. No change in terms of oscillation patterns was found for the two temperatures. The populations exhibited a two-point limit cycle, i.e. oscillations between two fixed points, at 25 and 30degreesC. However a quantitative change was observed, indicating that at 25degreesC the number of immatures in equilibrium is 1176 and at 30degreesC, 1944. The implications of this difference in terms of equilibrium for population dynamics of C. megacephala are discussed.

Stochastic quantization of real-time thermal field theory

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Scalar quantum field theory in disordered media

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

Numerical simulation of a radial diffuser turbulent airflow

In the present work are presented results from numerical simulations performed with the ANSYS-CFX (R) code. We have studied a radial diffuser flow case, which is the main academic problem used to study the flow behavior on flat plate valves. The radial flow inside the diffuser has important behavior such as the turbulence decay downstream and recirculation regions inside the valve flow channel due to boundary layer detachment. These flow structures are present in compressor reed valve configurations, influencing to a greater extent the compressor efficiency. The main target of the present paper was finding the simulation set-up (computational domain, boundary conditions and turbulence model) that better fits with experimental data published by Tabatabai and Pollard. The local flow turbulence and velocity profiles were investigated using four different turbulence models, two different boundary conditions set-up, two different computational domains and three different flow conditions (Re-in - Reynolds number at the diffuser inlet). We used the Reynolds stress (BSL); the k-epsilon; the RNG k-epsilon; and the shear stress transport (SST) k-omega turbulence models. The performed analysis and comparison of the computational results with experimental data show that the choice of the turbulence model, as well as the choice of the other computational conditions, plays an important role in the results physical quality and accuracy. (c) 2007 Elsevier B.V. All rights reserved.

Path dependence of the quark nonlocal condensate within the instanton model

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

Effects of nitrogen ion irradiation on plasma polymerized films produced from titanium tetraiso pro poxide-oxygen-helium mixtures

In this work films were produced by the plasma enhanced chemical vapor deposition (PECVD) of titanium tetraisopropoxide-oxygen-helium mixtures and irradiated with 150 keV singly-charged nitrogen ions (N(+)) at fluences, phi, between 10(14) and 10(16) cm(-2). Irradiation resulted in compaction, which reached about 40% (measured via the film thickness) at the highest fluence. Infrared reflection-absorption spectroscopy (IRRAS) revealed the presence of Ti-O bonds in all films. Both O-H and C-H groups were present in the as-deposited films, but the density of each of these decreased with increasing phi and was absent at high phi, indicating a loss of hydrogen. X-ray photoelectron spectroscopy (XPS) analyses revealed an increase in the C to Ti atomic ratio as phi increased, while the O to Ti ratio hardly altered, remaining at around 2.8. The optical gap of the films, derived from data obtained by ultraviolet-visible spectroscopy (UVS), remained at about 3.6 eV for all fluences except the highest, for which an abrupt fall to around 1.0 eV was observed. For the irradiated films, the electrical conductivity, measured using the two-point method, showed a systematic increase with increasing phi. (c) 2008 Elsevier B.V. All rights reserved.