An Optimum-Path Forest framework for intrusion detection in computer networks

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

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.

Spacecraft's attitude prediction: solar radiation torque and the Earth's shadow

A semi-analytical approach is proposed to study the rotational motion of an artificial satellite, under the influence of torque due to the solar radiation pressure, and taking into account the influence of Earth's shadow. Using Andoyer variables the equations for the rotational motion are presented in extended Hamiltonian form. In order to get a solution for the state variables close to an actual motion, the considered model for the shadow function takes into account physical and geometric factors and three specific regions: shadow, penumbra and full light. A mapping for the shadow function is proposed and a semi-analytical process is applied. When the satellite is totally illuminated or it is inside the penumbra, a known analytical solution is used to compute the satellite's attitude. A numerical simulation shows, when the penumbra region is included, the attenuation of the rotational motion during the transition from the shadow to the illuminate region and vice versa. (c) 2005 Published by Elsevier Ltd on behalf of COSPAR.

Analytical attitude prediction of spin stabilized spacecrafts perturbed by magnetic residual torque

An analytical approach for spin-stabilized spacecraft attitude prediction is presented for the influence of the residual magnetic torques. Assuming an inclined dipole model for the Earth's magnetic field, an analytical averaging method is applied to obtain the mean residual torque every orbital period. The orbit mean anomaly is utilized to compute the average components of residual torque in the spacecraft body frame reference system. The theory is developed for time variations in the orbital elements, and non-circular orbits, giving rise to many curvature integrals. It is observed that the residual magnetic torque does not have component along the spin axis. The inclusion of this torque on the rotational motion differential equations of a spin stabilized spacecraft yields conditions to derive an analytical solution. The solution shows that residual torque does not affect the spin velocity magnitude, contributing only for the precession and the drift of the spin axis of the spacecraft. (c) 2005 COSPAR. Published by Elsevier Ltd. All rights reserved.

Optimal attitude corrections for cylindrical spacecraft

A first order analytical model for optimal small amplitude attitude maneuvers of spacecraft with cylindrical symmetry in an elliptical orbits is presented. The optimization problem is formulated as a Mayer problem with the control torques provided by a power limited propulsion system. The state is defined by Seffet-Andoyer's variables and the control by the components of the propulsive torques. The Pontryagin Maximum Principle is applied to the problem and the optimal torques are given explicitly in Serret-Andoyer's variables and their adjoints. For small amplitude attitude maneuvers, the optimal Hamiltonian function is linearized around a reference attitude. A complete first order analytical solution is obtained by simple quadrature and is expressed through a linear algebraic system involving the initial values of the adjoint variables. A numerical solution is obtained by taking the Euler angles formulation of the problem, solving the two-point boundary problem through the shooting method, and, then, determining the Serret-Andoyer variables through Serret-Andoyer transformation. Numerical results show that the first order solution provides a good approximation to the optimal control law and also that is possible to establish an optimal control law for the artificial satellite's attitude. (C) 2003 COSPAR. Published by Elsevier B.V. Ltd. All rights reserved.

Attitude propagation using non-singular canonical variables

Three sets of non-singular canonical variables for the rotational motion are analyzed. These sets are useful when the angle between z-axis of a coordinate system fixed in artificial satellite ( here defined by the directions of principal moments of inertia of the satellite) and the rotational angular momentum vector is zero or when the angle between Z-inertial axis and rotational angular momentum vector is zero. The goal of this paper is to compare all these sets and to determine the benefits of their uses. With this objective, the dynamical equations of each set were derived, when mean hamiltonian associate with the gravity gradient torque is included. For the torque-free rotational motion, analytical solutions are computed for symmetrical satellite for each set of variables. When the gravity gradient torque is included, an analytical solution is shown for one of the sets and a numerical solution is obtained for one of the other sets. By this analysis we can conclude that: the dynamical equation for the first set is simple but it has neither clear geometrical nor physical meaning; the other sets have geometrical and physical meaning but their dynamical equations are more complex.

Attitude stability of artificial satellites subject to gravity gradient torque

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

Spin-Stabilized Spacecrafts: Analytical Attitude Propagation Using Magnetic Torques

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

Unscented Kalman Filter Applied to the Spacecraft Attitude Estimation with Euler Angles

The aim of this work is to test an algorithm to estimate, in real time, the attitude of an artificial satellite using real data supplied by attitude sensors that are on board of the CBERS-2 satellite (China Brazil Earth Resources Satellite). The real-time estimator used in this work for attitude determination is the Unscented Kalman Filter. This filter is a new alternative to the extended Kalman filter usually applied to the estimation and control problems of attitude and orbit. This algorithm is capable of carrying out estimation of the states of nonlinear systems, without the necessity of linearization of the nonlinear functions present in the model. This estimation is possible due to a transformation that generates a set of vectors that, suffering a nonlinear transformation, preserves the same mean and covariance of the random variables before the transformation. The performance will be evaluated and analyzed through the comparison between the Unscented Kalman filter and the extended Kalman filter results, by using real onboard data.

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.

Effect of refrigeration systems upon frozen bull sperm viability assessed by computer-assisted sperm analysis and fluorescent probes

Sperm cryopreservation success depends upon the maintenance of spermatozoa fertility potential. Sperm cells must preserve both integrity and functionality of several cell structures. The stabilization phase must allow the exit of water from the sperm cells via osmosis. This study aimed to compare the effect of refrigeration in the commercial refrigerator (CR) and the transport/refrigeration box (TRB) upon the viability of frozen bull sperm diluted in three different extenders (A, B and C). Ten Nellore bulls, Bos taurus indicus maintained in Artificial Insemination Center were used and the spermatozoa samples was assessed for Plasma Membrane Integrity and CASA evaluation. The stabilization phase (5 degrees C/4 hours) was performed in the CR as well as in the TRB, and then samples were exposed to nitrogen vapor during 20 minutes and then plunged into nitrogen. The statistical analysis was done using the variance analysis and the significance level was set at 5%. In the CR the post-thawing parameters for PM and ALH were higher (p < 0.05) in the extender A (glicine egg-yolk) and extender B (glicine egg-free) when compared with extender C (TRIS egg-yolk). As for BCF, STR and LIN, the parameters were higher (p < 0.05) in extender B than in C. Samples that were stabilized in the TRB presented higher post-thawing parameters (p < 0.05) for PM and LIN in extender A and extender B when compared with C. BCF and STR parameters were higher (p < 0.05) in extemder B when compared with C. Extender B samples had higher (p < 0.05) PMI when stabilized in CR. The findings in this experiment enable us to say that both CR and TRB were effective in keeping the viability of post-thawing bull semen.

Anterior Tooth Rehabilitation With Frozen Homogenous Bone Graft and Immediately Loaded Titanium Implant Using Computer-Guided Surgery

Computed tomographic scanning is a precise, noinvasive surveying technique that enables the professionals to improve the precision of implant placement by building a prototype that allows the confection of surgical guides. The authors present a clinical case of anterior tooth rehabilitation with frozen homogenous bone graft and immediately loaded titanium implant using computer-guided surgery. A multislice computed tomography was realized, and a prototype was built. All the procedures were previously realized in the prototype before started in the patient. This technique allows a better surgical planning, makes the procedures more accurate, and reduces surgery time.

Computer-Guided Surgery in Implantology: Review of Basic Concepts

The aim of the present study was to conduct a critical literature review about the technique of computer-guided surgery in implantology to highlight the indications, purposes, immediate loading of implants and complications, protocol of fabrication, and functioning of virtual planning software. This literature review was based on OLDMEDLINE and MEDLINE databases from 2002 to 2010 using the key words "computer-guided surgery" and "implant-supported prosthesis." Thirty-four studies regarding this topic were found. According to the literature review, it was concluded that the computer-assisted surgery is an excellent treatment alternative for patients with appropriate bone quantity for implant insertion in complete and partially edentulous arches. The Procera Nobel Guide software (Nobel Biocare) was the most common software used by the authors. In addition, the flapless surgery is advantageous for positioning of implants but with accurate indication. Although the computer-guided surgery may be helpful for virtual planning of cases with severe bone resorption, the conventional surgical technique is more appropriate. The surgical guide is important for insertion of the implants regardless of the surgical technique, and the success of immediate loading after computer-guided surgery depends on the accuracy of clinical and/or laboratorial steps.

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.