Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Representações sociais de formação continuada: com a palavra as professoras do ensino fundamental da rede pública de Natal RN

Metaphorically, research is presented as a journey by sea, having as object of study the social representations of Continuing Education for teachers of elementary school and as aim, to analyze them in comparison of participants from state and municipal systems, located in Natal-RN, Brazil .They have contributed to the achievement of this objective the voices of 158 teachers, the vast literature on training in professional development and the theoretical formulations proposed by Moscovici and colleagues, with relevance to the Central Nucleus Theory advocated by Abric. The corpus resulting from evocations about continuing education, as well as teachers' justifications were submitted to different computer methods/techniques, through the EVOC ALCESTE Programs, respectively, providing the opportunity to highlight a network of interconnections between the likely core and the production of discourse. Although the educational ideologies that underlie social perception of the state teachers are anchored in New School and technicist concepts and the teachers in the city tend to an ideology of social interaction, the choice of working with the symbolic field identified the political-social commitment of groups with the impacts of training on learning of their students

Propagação de danos no modelo de ising em redes de bravais e em fractais

In this work we have studied, by Monte Carlo computer simulation, several properties that characterize the damage spreading in the Ising model, defined in Bravais lattices (the square and the triangular lattices) and in the Sierpinski Gasket. First, we investigated the antiferromagnetic model in the triangular lattice with uniform magnetic field, by Glauber dynamics; The chaotic-frozen critical frontier that we obtained coincides , within error bars, with the paramegnetic-ferromagnetic frontier of the static transition. Using heat-bath dynamics, we have studied the ferromagnetic model in the Sierpinski Gasket: We have shown that there are two times that characterize the relaxation of the damage: One of them satisfy the generalized scaling theory proposed by Henley (critical exponent z~A/T for low temperatures). On the other hand, the other time does not obey any of the known scaling theories. Finally, we have used methods of time series analysis to study in Glauber dynamics, the damage in the ferromagnetic Ising model on a square lattice. We have obtained a Hurst exponent with value 0.5 in high temperatures and that grows to 1, close to the temperature TD, that separates the chaotic and the frozen phases

Design and Analysis of Optical Interconnection Networks for a Dataflow Parallel Computer

This work shows the design, simulation, and analysis of two optical interconnection networks for a Dataflow parallel computer architecture. To verify the optical interconnection network performance on the Dataflow architecture, we have analyzed the load balancing among the processors during the parallel programs executions. The load balancing is a very important parameter because it is directly associated to the dataflow parallelism degree. This article proves that optical interconnection networks designed with simple optical devices can provide efficiently the dataflow requirements of a high performance communication system.

The Quasi-lattice of Indiscernible Elements

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

Continuous-time and discrete-time sliding mode control accomplished using a computer

A computer-based sliding mode control (SMC) is analysed. The control law is accomplished using a computer and A/D and D/A converters. Two SMC designs are presented. The first one is a continuous-time conventional SMC design, with a variable structure law, which does not take into consideration the sampling period. The second one is a discrete-time SMC design, with a smooth sliding law, which does not have a structure variable and takes into consideration the sampling period. Both techniques are applied to control an inverted pendulum system. The performance of both the continuous-time and discrete-time controllers are compared. Simulations and experimental results are shown and the effectiveness of the proposed techniques is analysed.

Comparative study of 2 software programs for predicting profile changes in Class III patients having double-jaw orthognathic surgery

Introduction: Computer software can be used to predict orthognathic surgery outcomes. The aim of this study was to subjectively compare the soft-tissue surgical simulations of 2 software programs. Methods: Standard profile pictures were taken of 10 patients with a Class III malocclusion and a concave facial profile who were scheduled for double-jaw orthognathic surgery. The patients had horizontal maxillary deficiency or horizontal mandibular excess. Two software programs (Dentofacial Planner Plus [Dentofacial Software, Toronto, Ontario, Canada] and Dolphin Imaging [version 9.0, Dolphin Imaging Software, Canoga Park, Calif]) were used to predict the postsurgical profiles. The predictive images were compared with the actual final photographs. One hundred one orthodontists, oral-maxillofacial surgeons, and general dentists evaluated the images and were asked whether they would use either software program to plan treatment for, or to educate, their patients. Results: Statistical analyses showed differences between the groups when each point was judged. Dolphin Imaging software had better prediction of nasal tip, chin, and submandibular area. Dentofacial Planner Plus software was better in predicting nasolabial angle, and upper and lower lips. The total profile comparison showed no statistical difference between the softwares. Conclusions: The 2 types of software are similar for obtaining 2-dimensional predictive profile images of patients with Class III malocclusion treated with orthognathic surgery. (Am J Orthod Dentofacial Orthop 2010; 137: 452.e1-452.e5)

Nonlinear Lattice Within Supersymmetric Quantum Mechanics Formalism

In the last decades, the study of nonlinear one dimensional lattices has attracted much attention of the scientific community. One of these lattices is related to a simplified model for the DNA molecule, allowing to recover experimental results, such as the denaturation of DNA double helix. Inspired by this model we construct a Hamiltonian for a reflectionless potential through the Supersymmetric Quantum Mechanics formalism, SQM. Thermodynamical properties of such one dimensional lattice are evaluated aming possible biological applications.

Positivity violation for the lattice Landau gluon propagator

We present explicit numerical evidence of reflection-positivity violation for the lattice Landau gluon propagator in three-dimensional pure SU(2) gauge theory. We use data obtained at very large lattice volumes (V = 80(3), 140(3)) and for three different lattice couplings in the scaling region (beta = 4.2, 5.0, 6.0). In particular, we observe a clear oscillatory pattern in the real-space propagator C(t). We also verify that the (real-space) data show good scaling in the range t is an element of[0, 3]fm and can be fitted using a Gribov-like form. The violation of positivity is in contradiction with a stable-particle interpretation of the associated field theory and may be viewed as a manifestation of confinement.

Fortran programs for the time-dependent Gross-Pitaevskii equation in a fully anisotropic trap

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

C programs for solving the time-dependent Gross-Pitaevskii equation in a fully anisotropic trap

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

Langevin simulation of scalar fields: Additive and multiplicative noises and lattice renormalization

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

Triangular-lattice anisotropic dimerized Heisenberg antiferromagnet: Stability and excitations of the quantum paramagnetic phase

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

Vortex lattice of a long superconducting wire with a columnar defect

In the present work we study a long superconducting wire with a columnar defect in the presence of an applied magnetic field. The cross section of the cylinder is assumed to be circular. The field is taken uniform and parallel to the cylinder axis. We use the London theory to investigate the vortex lattice inside the wire. Although this theory is valid in the limit of low vortex density, that is, when the nearest neighbor vortex distance is much larger than the coherence length, we can obtain a reasonable qualitative description of lattice properties. We calculate: (1) the vortex lattice structure using the simulated annealing technique; (2) the magnetization curve as a function of the applied field.

Tensor3D: A computer graphics program to simulate 3D real-time deformation and visualization of geometric bodies

Tensor3D is a geometric modeling program with the capacity to simulate and visualize in real-time the deformation, specified through a tensor matrix and applied to triangulated models representing geological bodies. 3D visualization allows the study of deformational processes that are traditionally conducted in 2D, such as simple and pure shears. Besides geometric objects that are immediately available in the program window, the program can read other models from disk, thus being able to import objects created with different open-source or proprietary programs. A strain ellipsoid and a bounding box are simultaneously shown and instantly deformed with the main object. The principal axes of strain are visualized as well to provide graphical information about the orientation of the tensor's normal components. The deformed models can also be saved, retrieved later and deformed again, in order to study different steps of progressive strain, or to make this data available to other programs. The shape of stress ellipsoids and the corresponding Mohr circles defined by any stress tensor can also be represented. The application was written using the Visualization ToolKit, a powerful scientific visualization library in the public domain. This development choice, allied to the use of the Tcl/Tk programming language, which is independent on the host computational platform, makes the program a useful tool for the study of geometric deformations directly in three dimensions in teaching as well as research activities. (C) 2007 Elsevier Ltd. All rights reserved.