Duality of osculating developables of projective curves

We give a description of the dual varieties of all developables of osculating linear spaces to a projective curve in terms of the higher order dual varieties of the curve, in arbitrary characteristic. We also determine for these varieties the inseparable degrees of the projections from the conormal varieties onto their dual varieties.

Array of Bose-Einstein condensates under time-periodic Feshbach-resonance management

The investigation of the dynamics of a discrete soliton in an array of Bose-Einstein condensates under the action of a periodically time-modulated atomic scattering length [Feshbach-resonance management (FRM)] was discussed. The slow and rapid modulations, in comparison with the tunneling frequency were considered. An averaged equation, which was a generalized discrete nonlinear Schrödinger equation, including higher-order effective nonlinearities and intersite nonlinear interactions was derived in the case of the rapid modulation. It was demonstrated that the modulations of sufficient strength results in splitting of the soliton by direct simulations.

A constructive heuristic algorithm to Short Term Transmission Network Expansion Planning

In this paper a method for solving the Short Term Transmission Network Expansion Planning (STTNEP) problem is presented. The STTNEP is a very complex mixed integer nonlinear programming problem that presents a combinatorial explosion in the search space. In this work we present a constructive heuristic algorithm to find a solution of the STTNEP of excellent quality. In each step of the algorithm a sensitivity index is used to add a circuit (transmission line or transformer) to the system. This sensitivity index is obtained solving the STTNEP problem considering as a continuous variable the number of circuits to be added (relaxed problem). The relaxed problem is a large and complex nonlinear programming and was solved through an interior points method that uses a combination of the multiple predictor corrector and multiple centrality corrections methods, both belonging to the family of higher order interior points method (HOIPM). Tests were carried out using a modified Carver system and the results presented show the good performance of both the constructive heuristic algorithm to solve the STTNEP problem and the HOIPM used in each step.

Heuristic algorithm to solve the short term transmission network expansion planning

In this paper, a method for solving the short term transmission network expansion planning problem is presented. This is a very complex mixed integer nonlinear programming problem that presents a combinatorial explosion in the search space. In order to And a solution of excellent quality for this problem, a constructive heuristic algorithm is presented in this paper. In each step of the algorithm, a sensitivity index is used to add a circuit (transmission line or transformer) or a capacitor bank (fixed or variable) to the system. This sensitivity index is obtained solving the problem considering the numbers of circuits and capacitors banks to be added (relaxed problem), as continuous variables. The relaxed problem is a large and complex nonlinear programming and was solved through a higher order interior point method. The paper shows results of several tests that were performed using three well-known electric energy systems in order to show the possibility and the advantages of using the AC model. ©2007 IEEE.

Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

DN interaction from meson exchange

A model of the DN interaction is presented which is developed in close analogy to the meson-exchange KN potential of the Jülich group utilizing SU(4) symmetry constraints. The main ingredients of the interaction are provided by vector meson (ρ, ω) exchange and higher-order box diagrams involving D *N, DΔ, and D *Δ intermediate states. The coupling of DN to the π Λ c and π Σ c channels is taken into account. The interaction model generates the Λ c(2595)-resonance dynamically as a DN quasi-bound state. Results for DN total and differential cross sections are presented and compared with predictions of two interaction models that are based on the leading-order Weinberg-Tomozawa term. Some features of the Λ c(2595)-resonance are discussed and the role of the near-by π Σ c threshold is emphasized. Selected predictions of the orginal KN model are reported too. Specifically, it is pointed out that the model generates two poles in the partial wave corresponding to the Λ(1405)-resonance. © 2011 SIF, Springer-Verlag Berlin Heidelberg.

Efeitos da abordagem motora em idosos com demência

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

Lineamentos da atividade mediadora em Vygotski

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

Fundamentos teóricos da atividade de estudo como modelo didático para o ensino das disciplinas científicas

Pós-graduação em Educação para a Ciência - FC

A reorganização do espaço da sala de educação infantil: uma experiência concreta à luz da teoria histórico-cultural

Pós-graduação em Educação - FFC

Possíveis conseqüências na evolução de Triton em queda

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

Métodos numéricos para o retoque digital

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

Sistemas dinâmicos discretos: análise de estabilidade

Pós-graduação em Matemática Universitária - IGCE

A educação escolar e a relação entre o desenvolvimento do pensamento e a apropriação da cultura: a psicologia de A. N. Leontiev como referência nuclear de análise

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

O papel da professora no desenvolvimento humano da criança pré-escolar sob o enfoque da teoria histórico-cultural

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