The elliptic sine-Gordon equation: a nonlinear elliptic integrable PDE

In this paper, we summarise this recent progress to underline the features specific to this nonlinear elliptic case, and we give a new classification of boundary conditions on the semistrip that satisfy a necessary condition for yielding a boundary value problem can be effectively linearised. This classification is based on formulation the equation in terms of an alternative Lax pair.

O paradigma frankfurteano: uma alternativa para a psicologia organizacional

O objetivo do presente trabalho e o de propor um modelo teórico de atuação para a Psicologia Organizacional calcado nos seguintes fundamentos: a visão dialética da interação indivíduo/organização proporcionada pela reavaliação do conceito de inclusão parcial nos papéis de Floyd Allport; a recuperação da memória dos acontecimentos passados que influenciam a dinâmica a teoria da competência comunicativa de Juergen Habermas e o método dos grupos operativos de Pichon Riviere. A trajetória percorrida para a concretização deste propósito partiu dos pressupostos de Kuhn, através da formulação de uma hipótese inicial de que os problemas enfrentados pela Psicologia Organizacional decorrem de crenças que orientam a produção de conhecimentos na área. Com a finalidade de comprovar-se a afirmação anterior estabeleceu-se uma análise das diversas correntes responsáveis pelas principais contribuições teóricas no campo categorizando-as nos seguintes paradigmas: burocrático, sistema aberto, relações humanas, humanista e da contingência e indicando-se, simultaneamente, os obstáculos epistemológicos apresentados pelos respectivos paradigmas. A seguir buscou-se, nas contribuições dos teóricos ligados ao movimento filosófico - denominado Escola de Frankfurt - aquelas julgadas as mais significativas à compreensão dos fenômenos, objeto da Psicologia Organizacional. Estas contribuições constituiram-se, assim, em sustentação para o modelo proposto. Como consequência da adoção do paradigma frankfurteano obteve-se uma reorientação no campo e no objeto da Psicologia Organizacional, permitindo-se, também, vislumbrar com maior clareza uma articulação com os campos de atuação da Psicologia do Trabalho e da Psicologia Institucional.

Reaction of Bipolaris euphorbiae to environmental factors and its tolerance to solar and ultraviolet radiation

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

Análise espectral de reflectarrays com substratos de duas camadas dielétricas anisotrópicas uniaxiais

Recently, an amazing development has been observed in telecommunication systems. Two good examples of this development are observed in mobile communication and aerospace systems. This impressive development is related to the increasing need for receiving and transmitting communication signals. Particularly, this development has required the study of new antennas and filters. This work presents a fullwave analysis of reflectarrays. The considered structures are composed by arrays of rectangular conducting patches printed on multilayer dieletric substrates, that are mounted on a ground plane. The analysis is developed in the spectral domain, using an equivalent transmission line method in combination with Galerkin method. Results for the reflection coefficient of these structures are presented and compared to those available in the literature. A good agreement was observed. Particularly, the developed analysis uses the transmission lines theory in combination with the incident potentials and the field continuity equations, at the structures interfaces, for obtaining the scattered field components expressions as function of the patch surface currents and of the incident field. Galerkin method is used to determine the unknown coefficients in the boundary value problem. Curves for the reflection coefficient of several reflectarray geometries are presented as function of frequency and of the structural parameters

Desenvolvimento de antenas de microfita com aberturas nos patches condutores através do método da segmentação

Microstrip antennas are widely used in modern telecommunication systems. This is particularly due to the great variety of geometries and because they are easily built and integrated to other high frequency devices and circuits. This work presents a study of the properties of the microstrip antenna with an aperture impressed in the conducting patch. Besides, the analysis is performed for isotropic and anisotropic dielectric substrates. The Multiport Network Model MNM is used in combination with the Segmentation Method and the Greens function technique in the analysis of the considered microstrip antenna geometries. The numerical analysis is performed by using the boundary value problem solution, by considering separately the impedance matrix of the structure segments. The analysis for the complete structure is implemented by choosing properly the number and location of the neighboor element ports. The numerial analysis is performed for the following antenna geometries: resonant cavity, microstrip rectangular patch antenna, and microstrip rectangular patch antenna with aperture. The analysis is firstly developed for microstrip antennas on isotropic substrates, and then extended to the case of microstrip antennas on anisotropic substrates by using a Mapping Method. The experimental work is described and related to the development of several prototypes of rectangular microstrip patch antennas wtih and without rectangular apertures. A good agreement was observed between the simulated and measured results. Thereafter, a good agreement was also observed between the results of this work and those shown in literature for microstrip antennas on isotropic substrates. Furthermore, results are proposed for rectangular microstrip patch antennas wtih rectangular apertures in the conducting patch

Análise espectral de reflectarrays com substrato de duas camadas dielétricas anisotrópicas uniaxiais

Recently, an amazing development has been observed in telecommunication systems. Two good examples of this development are observed in mobile communication and aerospace systems. This impressive development is related to the increasing need for receiving and transmitting communication signals. Particularly, this development has required the study of new antennas and filters. This work presents a fullwave analysis of reflectarrays. The considered structures are composed by arrays of rectangular conducting patches printed on multilayer dieletric substrates, that are mounted on a ground plane. The analysis is developed in the spectral domain, using an equivalent transmission line method in combination with Galerkin method. Results for the reflection coefficient of these structures are presented and compared to those available in the literature. A good agreement was observed. Particularly, the developed analysis uses the transmission lines theory in combination with the incident potentials and the field continuity equations, at the structures interfaces, for obtaining the scattered field components expressions as function of the patch surface currents and of the incident field. Galerkin method is used to determine the unknown coefficients in the boundary value problem. Curves for the reflection coefficient of several reflectarray geometries are presented as function of frequency and of the structural parameters

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.

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

Optimization of cyclodextrin glucanotransferase production from Bacillus clausii E16 in submerged fermentation using response surface methodology

Cyclodextrin glucanotransferase production from Bacillus clausii E16, a new bacteria isolated from Brazilian soil samples was optimized in shake-flask cultures. A 2 4 full-factorial central composite design was performed to optimize the culture conditions, using a response surface methodology the combined effect among the soluble starch concentration, the peptone concentration, the yeast extract concentration, and the initial pH value of the culture medium was investigated. The optimum concentrations of the components, determined by a 2(4) full-factorial central composite design, were 13.4 g/L soluble starch, 4.9 g/L peptone, 5.9 g/L yeast extract, and initial pH 10.1. Under these optimized conditions, the maximum cyclodextrin glucanotransferase activity was 5.9 U/mL after a 48-h fermentation. This yield was 68% higher than that obtained when the microorganism was cultivated in basal culture medium.

The canonical structure of Podolsky's generalized electrodynamics on the null-plane

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

Evaluation of a larval development assay for the detection of anthelmintic resistance in Ostertagia circumcincta

Two experiments were carried out to evaluate a larval development assay for the detection of anthelmintic resistance in O. circumcincta. In Experiment I, the dose responses to levamisole (LEV), thiabendazole (TBZ) and ivermectin (IVM) of 8 isolates of O. circumcincta were measured 34 days after infection (DAI). Four of these isolates were shown to be resistant to 1 or more anthelmintics. With 2 exceptions, all isolates considered to be resistant had higher LD50 values than the susceptible isolates for that anthelmintic. One exception was isolate RM8, which was considered to be resistant to all 3 anthelmintics based on faecal egg count reduction tests in goats, but the LD50 value for LEV did not differ from that for the susceptible isolates. The other exception was an isolate considered to be susceptible to TBZ which had a relatively high LD50 value. In an unrelated trial that was prompted by this finding, this isolate was confirmed to be benzimidazole-resistant. Isolate RM8 and an isolate susceptible to all 3 anthelmintics (SK2) were used in the second experiment, which was conducted to monitor changes in the LD50 values of LEV, TBZ and IVM over time following a single infection of 35 000 infective larvae in young sheep. Faecal samples were collected weekly from 24 to 115 DAI. With all 3 anthelmintics, the LD50 values increased with time to a peak around 50-60 DAI, and then declined to levels similar to those observed soon after patency. This trend was consistent for both isolates. The highest mean LD50 values for isolates SK2 for IVM and TBZ and RM8 for IVM and RM8, respectively, were 1.7 and 1.8 times, and 2.2 and 2.9 times higher than the initial mean LD50 values. There was a clear distinction in LD50 values between isolates at each sampling day for both IVM and TBZ. However, as a consequence of the changes in LD50 values with time, the peak LD50 values of IVM for isolate SK2 were higher than the minimum LD50 values of isolate RM8. As there was no apparent difference in LEV efficacy between these 2 isolates, the data were pooled. The highest mean LD50 value was 2.3 times higher than the initial LD50 value. (C) 1997 Australian Society for Parasitology.

Improved numerical approach for the time-independent Gross-Pitaevskii nonlinear Schrödinger equation

In the present work, we improve a numerical method, developed to solve the Gross-Pitaevkii nonlinear Schrödinger equation. A particular scaling is used in the equation, which permits us to evaluate the wave-function normalization after the numerical solution. We have a two-point boundary value problem, where the second point is taken at infinity. The differential equation is solved using the shooting method and Runge-Kutta integration method, requiring that the asymptotic constants, for the function and its derivative, be equal for large distances. In order to obtain fast convergence, the secant method is used. © 1999 The American Physical Society.

Produção de etanol e levana por células de Zymomonas mobilis imobilizadas em alginato

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

Análise experimental sobre velocidade de captura em sistemas de transporte pneumático

A velocidade de transporte é um dos mais importantes parâmetros no transporte pneumático de sólidos. O êxito no transporte de materiais particulados depende da predição ou da determinação da velocidade mínima de transporte. Uma velocidade acima daquela necessária ao transporte estável das partículas sólidas conduz a um grande consumo de energia devido ao aumento na perda de pressão do sistema, degradação dos sólidos e abrasão dos sólidos e da tubulação. Já uma velocidade abaixo desse valor limite certamente resultará na deposição das partículas sólidas para o fundo da tubulação e conseqüentemente o entupimento desta. Neste trabalho, uma técnica para medir a velocidade mínima de captura de partículas sólidas em uma tubulação na direção horizontal em um sistema de Transporte Pneumático é desenvolvida. Ela baseia-se em observações visuais do comportamento das partículas ao ocorrer a captura, em medidas da velocidade de operação do gás e da massa das partículas capturadas. É realizada ainda a análise qualitativa de alguns parâmetros que influenciam na velocidade de captura das partículas, permitindo uma maior compreensão dos fenômenos envolvidos.