Attitude stabilization of a rigid spacecraft in the geomagnetic field

An analytical method is proposed to study the attitude stability of a triaxial spacecraft moving in a circular Keplerian orbit in the geomagnetic field. The method is developed based on the electrodynamics effect of the influence of the Lorentz force acting on the charged spacecraft's surface. We assume that the rigid spacecraft is equipped with an electrostatic charged protective shield, having an intrinsic magnetic moment. The main elements of this shield are an electrostatic charged cylindrical screen surrounding the protected volume of the spacecraft. The rotational motion of the spacecraft about its centre of mass due to torques from gravitational force, as well Lorentz and magnetic forces is investigated. The equilibrium positions of the spacecraft in the orbital coordinate system are obtained. The necessary and sufficient conditions for the stability of the spacecraft's equilibrium positions are constructed using Lyapunov's direct method. The numerical results have shown that the Lorentz force has a significant influence on the stability of the equilibrium positions, which can affect the attitude stabilization of the spacecraft. (C) 2007 COSPAR. Published by Elsevier Ltd. All rights reserved.

Software to productive and reproductive control of goats: PROCAPRI

PROCAPRI is a software to productive and reproductive control of goats developed with the aim of assisting the goat producers in their decisions, to make a representative data set of Brazilian goats production and providing research information. It has five modules: Administration, Association, UNESP, Maintenance, and Utilities. It has been available since October 1994, and it has been amply used, with 157 copies distributed until April 1998 in Brazil and other countries.

TRICUT: a program to clip triangle meshes using the rapid and triangle libraries and the visualization toolkit

An efficient technique to cut polygonal meshes as a step in the geometric modeling of topographic and geological data has been developed. In boundary represented models of outcropping strata and faulted horizons polygonal meshes often intersect each other. TRICUT determines the line of intersection and re-triangulates the area of contact. Along this line the mesh is split in two or more parts which can be selected for removal. The user interaction takes place in the 3D-model space. The intersection, selection and removal are under graphic control. The visualization of outcropping geological structures in digital terrain models is improved by determining intersections against a slightly shifted terrain model. Thus, the outcrop line becomes a surface which overlaps the terrain in its initial position. The area of this overlapping surface changes with respect to the strike and dip of the structure, the morphology and the offset. Some applications of TRICUT on different real datasets are shown. TRICUT is implemented in C+ + using the Visualization Toolkit in conjunction with the RAPID and TRIANGLE libraries. The program runs under LINUX and UNIX using the MESA OpenGL library. This work gives an example of solving a complex 3D geometric problem by integrating available robust public domain software. (C) 2002 Elsevier B.V. Ltd. All rights reserved.

PhotoLin: a program to identify and analyze linear structures in aerial photographs, satellite images and maps

A computer program, PhotoLin, written for an IBM-PC-compatible microcomputer is described which detects linear features in aerial photographs, satellite images and topographic maps. The program accepts images saved to PCX files as input and applies noise correction and smoothing filters and thinning routines. The output consists of a skeleton containing the median lines of linear features which can be represented on a map. The branches of the skeleton can be broken into sections of constant length for which the mean orientations are obtained for the preparation of rose diagrams. (C) 2001 Elsevier B.V. Ltd. All rights reserved.

Application of the modified Cam-Clay model to a residual soil

The modified Cam - Clay model was used to model experimental results of a saturated residual sandy soil from Sao Carlos - SP. Triaxial compression tests were performed using Bishop - Wesley cell with internal transducers to measure axial and radial strains. It was observed that the model fairly fitted experimental results, specially the principal stress difference at critical state. In general it was observed a good qualitative agreement between experimental and predicted strain values, considering compression or expansion of the samples. However, in all the stress path used, but 100 degrees and 140 degrees, the model yielded strains larger than that measured in the tests.

A W-matrix methodology for solving sparse network equations on multiprocessor computers

This paper describes a methodology for solving efficiently the sparse network equations on multiprocessor computers. The methodology is based on the matrix inverse factors (W-matrix) approach to the direct solution phase of A(x) = b systems. A partitioning scheme of W-matrix , based on the leaf-nodes of the factorization path tree, is proposed. The methodology allows the performance of all the updating operations on vector b in parallel, within each partition, using a row-oriented processing. The approach takes advantage of the processing power of the individual processors. Performance results are presented and discussed.

A column generation approach to capacitated p-median problems

The Capacitated p-median problem (CPMP) seeks to solve the optimal location of p facilities, considering distances and capacities for the service to be given by each median. In this paper we present a column generation approach to CPMP. The identified restricted master problem optimizes the covering of 1-median clusters satisfying the capacity constraints, and new columns are generated considering knapsack subproblems. The Lagrangean/surrogate relaxation has been used recently to accelerate subgradient like methods. In this work the Lagrangean/surrogate relaxation is directly identified from the master problem dual and provides new bounds and new productive columns through a modified knapsack subproblem. The overall column generation process is accelerated, even when multiple pricing is observed. Computational tests are presented using instances taken from real data from Sao Jose dos Campos' city.

Analytical attitude propagation with non-singular variables and gravity gradient torque for spin stabilized satellite

An analytical approach for the spin stabilized satellite attitude propagation is presented using the non-singular canonical variables to describe the rotational motion. Two sets of variables were introduced for Fukushima in 1994 by a canonical transformation and they are useful when the angle between z-satellite axis of a coordinate system fixed in artificial satellite and the rotational angular momentum vector is zero or when the angle between Z-equatorial axis and rotation angular momentum vector is zero. Analytical solutions for rotational motion equations and torque-free motion are discussed in terms of the elliptic functions and by the application of some simplification to get an approximated solution. These solutions are compared with a numerical solution and the results show a good agreement for many rotation periods. When the mean Hamiltonian associated with the gravity gradient torque is included, an analytical solution is obtained by the application of the successive approximations' method for the satellite in an elliptical orbit. These solutions show that the magnitude of the rotation angular moment is not affected by the gravity gradient torque but this torque causes linear and periodic variations in the angular variables, long and short periodic variations in Z-equatorial component of the rotation angular moment and short periodic variations in x-satellite component of the rotation angular moment. The goal of this analysis is to emphasize the geometrical and physical meaning of the non-singular variables and to validate the approximated analytical solution for the rotational motion without elliptic functions for a non-symmetrical satellite. The analysis can be applied for spin stabilized satellite and in this case the general solution and the approximated solution are coincidence. Then the results can be used in analysis of the space mission of the Brazilian Satellites. (C) 2007 COSPAR. Published by Elsevier Ltd. All rights reserved.

Relax and fix heuristics to solve one-stage one-machine lot-scheduling models for small-scale soft drink plants

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

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.

Willingness of Brazilian dentists to treat an HIV-infected patient

A study of the willingness of 363 general dental practices in Brazil to accept a patient infected with human immunodeficiency virus for treatment of dental pain and the provision of routine dental care showed only 44% of dental practices to be willing to provide dental care. Willingness was influenced neither by financial factors nor the local prevalence of human immunodeficiency virus disease. © 1994.

The natural history of carpal tunnel syndrome: A study of 20 hands evaluated 4 to 9 years after initial diagnosis

Carpal tunnel syndrome (CTS) is the most frequent entrapment neuropathy. In the last decade several papers have been published on epidemiology, clinical aspects, diagnosis, and treatment, but little is known about its natural history. The objective of this work was to study the natural history of CTS syndrome. From 358 patients with clinical and conduction study diagnosis of CTS, 12 cases were identified that had refused surgical treatment, had not used anti-inflammatory medications, and had not undergone orthopaedic procedures, such as immobilization or anaesthetic infiltration. These 12 patients have 20 compromised hands which have been followed up for between 4 and 9 years. In all cases sensory and motor conduction studies were performed on the median nerve, at the beginning and end of follow-up period. Electrical improvement was marked in 5 hands and slight in 3; there was no significant change in 10, and deterioration in 2. As 8 hands (7 patients) showed improved clinical symptoms and conduction studies over several years, this brings the universally accepted procedure of surgical treatment into doubt.

A general technique to embed non-uniform discontinuities into standard solid finite elements

A general technique to embed non-uniform displacement discontinuities into standard solid finite elements is presented. The technique is based on the decomposition of the kinematic fields into a component related to the deformation of the solid portion of the element and one related to the rigid-body motion due to a displacement discontinuity. This decomposition simplifies the incorporation of discontinuity interfaces and provides a suitable framework to account for non-uniform discontinuity modes. The present publication addresses two families of finite element formulations: displacement-based and stress hybrid finite element. © 2005 Elsevier Ltd. All rights reserved.

Is the equivalence principle doomed forever to Dante's Inferno on account of quantum mechanics?

It is commonly assumed that the equivalence principle can coexist without conflict with quantum mechanics. We shall argue here that, contrary to popular belief, this principle does not hold in quantum mechanics. We illustrate this point by computing the second-order correction for the scattering of a massive scalar boson by a weak gravitational field, treated as an external field. The resulting cross-section turns out to be mass-dependent. A way out of this dilemma would be, perhaps, to consider gravitation without the equivalence principle. At first sight, this seems to be a too much drastic attitude toward general relativity. Fortunately, the teleparallel version of general relativity - a description of the gravitational interaction by a force similar to the Lorentz force of electromagnetism and that, of course, dispenses with the equivalence principle - is equivalent to general relativity, thus providing a consistent theory for gravitation in the absence of the aforementioned principle. © World Scientific Publishing Company.

How to drag with a worn-out mouse? Searching for social justice through collaboration

We consider what a concern for social justice in terms of social inclusion might mean for teacher education, both practising and prospective, with particular reference to the use of information and communication technology (ICT) in mathematics education taking place at a borderland school. Our discussion proceeds through the following steps: (1) We explore what a borderland position might denote to address what social inclusion might mean. (2) We consider the significance of mathematics education and the use of ICT for processes of social inclusion. (3) We briefly refer to the Interlink Network, as many of our observations emerge as reflections on this project. (4) We present different issues that will be of particular importance with respect to teacher education if we want to establish a mathematics education for social inclusion. These issues concern moving away from the comfort zone, establishing networks, identifying new approaches, moving beyond prototypical research, and getting in contact. This brings us to (5) final considerations, where we return to the notion of social justice. © Springer Science+Business Media B.V. 2009.