115 resultados para Symbolic computation and algebraic computation


Relevância:

40.00% 40.00%

Publicador:

Resumo:

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

Relevância:

40.00% 40.00%

Publicador:

Resumo:

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

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The T-2 and the generalized variance vertical bar S vertical bar charts are used for monitoring the mean vector and the covariance matrix of multivariate processes. In this article, we propose for bivariate processes the use of the T-2 and the VMAX charts. The points plotted on the VMAX chart correspond to the maximum of the sample variances of the two quality characteristics. The reason to consider the VMAX statistic instead of the generalized variance vertical bar S vertical bar is the user's familiarity with the computation of simple sample variances; we can't say the same with regard to the computation of the generalized variance vertical bar S vertical bar.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The purpose of this paper is to show certain links between univariate interpolation by algebraic polynomials and the representation of polyharmonic functions. This allows us to construct cubature formulae for multivariate functions having highest order of precision with respect to the class of polyharmonic functions. We obtain a Gauss type cubature formula that uses ℳ values of linear functional (integrals over hyperspheres) and is exact for all 2ℳ-harmonic functions, and consequently, for all algebraic polynomials of n variables of degree 4ℳ - 1.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

A ten-dimensional super-Poincaré covariant formalism for the superstring was recently developed which involves a BRST operator constructed from superspace matter variables and a pure spinor ghost variable. A super-Poincaré covariant prescription was defined for computing tree amplitudes and was shown to coincide with the standard RNS prescription. In this paper, picture-changing operators are used to define functional integration over the pure spinor ghosts and and to construct a suitable b ghost. A super-Poincaré covariant prescription is then given for the computation of N-point multiloop amplitudes. One can easily prove that massless N-point multiloop amplitudes vanish for N < 4, confirming the perturbative finiteness of superstring theory. One can also prove the Type IIB S-duality conjecture that R4 terms in the effective action receive no perturbative contributions above one loop. © SISSA/ISAS 2004.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The glued-laminated lumber (glulam) technique is an efficient process for making rational use of wood. Fiber-Reinforced Polymers (FRPs) associated with glulam beams provide significant gains in terms of strength and stiffness, and also alter the mode of rupture of these structural elements. In this context, this paper presents a theoretical model for designing reinforced glulam beams. The model allows for the calculation of the bending moment, the hypothetical distribution of linear strains along the height of the beam, and considers the wood has a linear elastic fragile behavior in tension parallel to the fibers and bilinear in compression parallel to the fibers, initially elastic and subsequently inelastic, with a negative decline in the stress-strain diagram. The stiffness was calculated by the transformed section method. Twelve non-reinforced and fiberglass reinforced glulam beams were evaluated experimentally to validate the proposed theoretical model. The results obtained indicate good congruence between the experimental and theoretical values.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This paper proposes a tabu search approach to solve the Synchronized and Integrated Two-Level Lot Sizing and Scheduling Problem (SITLSP). It is a real-world problem, often found in soft drink companies, where the production process has two integrated levels with decisions concerning raw material storage and soft drink bottling. Lot sizing and scheduling of raw materials in tanks and products in bottling lines must be simultaneously determined. Real data provided by a soft drink company is used to make comparisons with a previous genetic algorithm. Computational results have demonstrated that tabu search outperformed genetic algorithm in all instances. Copyright 2011 ACM.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

We study polynomials which satisfy the same recurrence relation as the Szego{double acute} polynomials, however, with the restriction that the (reflection) coefficients in the recurrence are larger than one in modulus. Para-orthogonal polynomials that follow from these Szego{double acute} polynomials are also considered. With positive values for the reflection coefficients, zeros of the Szego{double acute} polynomials, para-orthogonal polynomials and associated quadrature rules are also studied. Finally, again with positive values for the reflection coefficients, interlacing properties of the Szego{double acute} polynomials and polynomials arising from canonical spectral transformations are obtained. © 2012 American Mathematical Society.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

A rescale of the phase space for a family of two-dimensional, nonlinear Hamiltonian mappings was made by using the location of the first invariant Kolmogorov-Arnold-Moser (KAM) curve. Average properties of the phase space are shown to be scaling invariant and with different scaling times. Specific values of the control parameters are used to recover the Kepler map and the mapping that describes a particle in a wave packet for the relativistic motion. The phase space observed shows a large chaotic sea surrounding periodic islands and limited by a set of invariant KAM curves whose position of the first of them depends on the control parameters. The transition from local to global chaos is used to estimate the position of the first invariant KAM curve, leading us to confirm that the chaotic sea is scaling invariant. The different scaling times are shown to be dependent on the initial conditions. The universality classes for the Kepler map and mappings with diverging angles in the limit of vanishing action are defined. © 2013 Published by Elsevier Inc. All rights reserved.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The MRMAX chart is a single chart based on the standardized sample means and sample ranges for monitoring the mean vector and the covariance matrix of multivariate processes. User's familiarity with the computation of these statistics is a point in favor of the MRMAX chart. As a single chart, the recently proposed MRMAX chart is very appropriate for supplementary runs rules. In this article, we compare the supplemented MRMAX chart and the synthetic MRMAX chart with the standard MRMAX chart. The supplementary and the synthetic runs rules enhance the performance of the MRMAX chart. © 2013 Elsevier Ltd.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The present paper solves the multi-level capacitated lot sizing problem with backlogging (MLCLSPB) combining a genetic algorithm with the solution of mixed-integer programming models and the improvement heuristic fix and optimize. This approach is evaluated over sets of benchmark instances and compared to methods from literature. Computational results indicate competitive results applying the proposed method when compared with other literature approaches. © 2013 IEEE.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

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

Relevância:

40.00% 40.00%

Publicador:

Resumo:

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

Relevância:

40.00% 40.00%

Publicador:

Resumo:

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