936 resultados para finite-state methods
Resumo:
In the static field limit, the vibrational hyperpolarizability consists of two contributions due to: (1) the shift in the equilibrium geometry (known as nuclear relaxation), and (2) the change in the shape of the potential energy surface (known as curvature). Simple finite field methods have previously been developed for evaluating these static field contributions and also for determining the effect of nuclear relaxation on dynamic vibrational hyperpolarizabilities in the infinite frequency approximation. In this paper the finite field approach is extended to include, within the infinite frequency approximation, the effect of curvature on the major dynamic nonlinear optical processes
Resumo:
This paper shows the process of the virtual production development of the mechanical connection between the top leaf of a dual composite leaf spring system to a shackle using finite element methods. The commercial FEA package MSC/MARC has been used for the analysis. In the original design the joint was based on a closed eye-end. Full scale testing results showed that this configuration achieved the vertical proof load of 150 kN and 1 million cycles of fatigue load. However, a problem with delamination occurred at the interface between the fibres going around the eye and the main leaf body. To overcome this problem, a second design was tried using transverse bandages of woven glass fibre reinforced tape to wrap the section that is prone to delaminate. In this case, the maximum interlaminar shear stress was reduced by a certain amount but it was still higher than the material’s shear strength. Based on the fact that, even with delamination, the top leaf spring still sustained the maximum static and fatigue loads required, the third design was proposed with an open eye-end, eliminating altogether the interface where the maximum shear stress occurs. The maximum shear stress predicted by FEA is reduced significantly and a safety factor of around 2 has been obtained. Thus, a successful and safe design has been achieved.
Resumo:
A numerical study of fluid mechanics and heat transfer in a scraped surface heat exchanger with non-Newtonian power law fluids is undertaken. Numerical results are generated for 2D steady-state conditions using finite element methods. The effect of blade design and material properties, and especially the independent effects of shear thinning and heat thinning on the flow and heat transfer, are studied. The results show that the gaps at the root of the blades, where the blades are connected to the inner cylinder, remove the stagnation points, reduce the net force on the blades and shift the location of the central stagnation point. The shear thinning property of the fluid reduces the local viscous dissipation close to the singularity corners, i.e. near the tip of the blades, and as a result the local fluid temperature is regulated. The heat thinning effect is greatest for Newtonian fluids where the viscous dissipation and the local temperature are highest at the tip of the blades. Where comparison is possible, very good agreement is found between the numerical results and the available data. Aspects of scraped surface heat exchanger design are assessed in the light of the results. (C) 2003 Elsevier Ltd. All rights reserved.
Resumo:
In recent years nonpolynomial finite element methods have received increasing attention for the efficient solution of wave problems. As with their close cousin the method of particular solutions, high efficiency comes from using solutions to the Helmholtz equation as basis functions. We present and analyze such a method for the scattering of two-dimensional scalar waves from a polygonal domain that achieves exponential convergence purely by increasing the number of basis functions in each element. Key ingredients are the use of basis functions that capture the singularities at corners and the representation of the scattered field towards infinity by a combination of fundamental solutions. The solution is obtained by minimizing a least-squares functional, which we discretize in such a way that a matrix least-squares problem is obtained. We give computable exponential bounds on the rate of convergence of the least-squares functional that are in very good agreement with the observed numerical convergence. Challenging numerical examples, including a nonconvex polygon with several corner singularities, and a cavity domain, are solved to around 10 digits of accuracy with a few seconds of CPU time. The examples are implemented concisely with MPSpack, a MATLAB toolbox for wave computations with nonpolynomial basis functions, developed by the authors. A code example is included.
Resumo:
In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.
Stochastic stability for Markovian jump linear systems associated with a finite number of jump times
Resumo:
This paper deals with a stochastic stability concept for discrete-time Markovian jump linear systems. The random jump parameter is associated to changes between the system operation modes due to failures or repairs, which can be well described by an underlying finite-state Markov chain. In the model studied, a fixed number of failures or repairs is allowed, after which, the system is brought to a halt for maintenance or for replacement. The usual concepts of stochastic stability are related to pure infinite horizon problems, and are not appropriate in this scenario. A new stability concept is introduced, named stochastic tau-stability that is tailored to the present setting. Necessary and sufficient conditions to ensure the stochastic tau-stability are provided, and the almost sure stability concept associated with this class of processes is also addressed. The paper also develops equivalences among second order concepts that parallels the results for infinite horizon problems. (C) 2003 Elsevier B.V. All rights reserved.
Resumo:
A procedure to model optical diffused-channel waveguides is presented in this work. The dielectric waveguides present anisotropic refractive indexes which are calculated from the proton concentration. The proton concentration inside the channel is calculated by the anisotropic 2D-linear diffusion equation and converted to the refractive indexes using mathematical relations obtained from experimental data, the arbitrary refractive index profile is modeled by a. nodal expansion in the base functions. The TE and TM-like propagation properties (effective index) and the electromagnetic fields for well-annealed proton-exchanged (APE) LiNbO3 waveguides are computed by the finite element method.
Resumo:
A MATHEMATICA notebook to compute the elements of the matrices which arise in the solution of the Helmholtz equation by the finite element method (nodal approximation) for tetrahedral elements of any approximation order is presented. The results of the notebook enable a fast computational implementation of finite element codes for high order simplex 3D elements reducing the overheads due to implementation and test of the complex mathematical expressions obtained from the analytical integrations. These matrices can be used in a large number of applications related to physical phenomena described by the Poisson, Laplace and Schrodinger equations with anisotropic physical properties.
Resumo:
We employ finite elements methods for the approximation of solutions of the Ginzburg-Landau equations describing the deconfinement transition in quantum chromodynamics. These methods seem appropriate for situations where the deconfining transition occurs over a finite volume as in relativistic heavy ion collisions. where in addition expansion of the system and flow of matter are important. Simulation results employing finite elements are presented for a Ginzburg-Landau equation based on a model free energy describing the deconfining transition in pure gauge SU(2) theory. Results for finite and infinite system are compared. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
This work presents the application of a scalar finite element formulation for Ex (TE-like) modes in anisotropic planar and channel waveguides with diagonal permittivity tensor, diffused in both transversal directions. This extended formulation considers explicitly both the variations of the refractive index and their spatial derivates inside of each finite element. Dispersion curves for Ex modes in planar and channel waveguides are shown, and the results compared with solutions obtained by other formulations.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Background: The intestinal microbiome (IM) has extensively been studied in the search for a link of bacteria with the cause of Crohn`s disease (CD). The association might result from the action of a specific pathogen and/or an eventual imbalance in bacterial species composition of the gut. The innumerous virulence associated markers and strategies described for adherent and invasive Escherichia coli (AIEC) have made them putative candidate pathogens for CD. IM of CD patients shows dysbiosis, manifested by the proliferation of bacterial groups such as Enterobacteriaceae and reduction of others such as Lactobacillus and Bifidobacterium. The augmented bacterial population comprising of commensal and/or pathogenic organisms super stimulates the immune system, triggering the inflammatory reactions responsible for the clinical manifestations of the disease. Considering the role played by IM in CD and the multiple variables influencing its species composition, resulting in differences among populations, the objective of this study was to determine the bacterial biodiversity in the mucosa associated microbiome of CD patients from a population not previously subject to this analysis, living in the middle west region of Sao Paulo state. Methods: A total of 4 CD patients and 5 controls subjects attending the Botucatu Medical School of the Sao Paulo State University (UNESP) for routine colonoscopy and who signed an informed consent were included in the study. A number of 2 biopsies, one from the ileum and other from any part of the terminal colon, were taken from each subject and immediately frozen at -70[degrees]C until DNA purification. The bacterial biodiversity was assessed by next generation (ion torrent) sequencing of PCR amplicons of the ribosomal DNA 16S V6 region (16S V6 rDNA). The bacterial identification was performed at the genus level, by alignment of the generated DNA sequences with those available at the ribosomal database project (RDP) website. Results: The overall DNA sequence output was based on an average number of 526,427 reads per run, matching 50 bacterial genus 16SrDNA sequences available at the RDB website, and 22 non matching sequences. Over 95% of the sequences corresponded to taxa belonging to the major phyla: Firmicutes, Bacterioidetes, Proteobacteria and Actinobacteria. Irrespective of the intestinal site analyzed, no case-control differences could be observed in the prevalence of Actinobacteria and Firmicutes. The prevalence of Proteobacteria was higher (40%) in the biopsies of control subjects as compared to that of DC patients (16%). For Bacterioidetes, the higher prevalence was observed among DC patients (33% as opposed to 14,5% in controls). The significance for all comparisons considered a p value < 0,05 in a Chi2 test. No mucosal site specific differences could be observed in IM comparisons of CD and control subjects. Conclusions: The rise in the number of Bacterioidetes observed here among CD patients seems to be in agreement with most of studies published thus far. Yet, the reduction in the number of Proteobacteria along with an apparently unaltered population of Actinobacteria and Firmicutes, which include the so called "beneficial" organisms Bifidobacterium and Lactobacillus were rather surprising. These data suggest that the analyses on the role of IM in CD should consider the multiple variables that may influence its species composition.
Resumo:
Purpose: Our objective was to relate immunological data for healthy but sedentary elderly women to aerobic power, strength, and mood state. Methods: We measured peak aerobic power and one-repetition maximum strength along with mood (depression and fatigue), quality of life and carbohydrate intake on 42 women aged 60-77 years. Standard immunological techniques determined natural killer cell count and cytotoxic activity (NKCA), proliferative responses to phytohemaglutinin and OKT3, various lymphocyte subpopulations (CD3(+), CD3(-)CD19(+), CD56(+), CD4(+), CD8(+), CD56(dim) and CD56(bright)), and markers of activation, maturation, down-regulation and susceptibility to apoptosis (CD25(+), CD28(+), CD45RA(+), CD45RO(+), CD69(+), CD95(+), HLA-DR+). Results: Correlations of immune parameters with aerobic power and strength were very similar for absolute and relative immunological data. In the group as a whole, the only correlation with aerobic power was -0.35 (relative CD4(+)CD69(+) count), but in subjects with values <22.6 mL kg(-1) min(-1) correlations ranged from -0.57 (relative CD4(+)CD45RO(+)) to 0.92 (absolute CD56(dim)HLA-DR+). In terms of muscle strength, univariate correlation coefficients ranged from -0.34 (relative and absolute CD3(+)CD4(+)CD8(+)) to +0.48 (absolute CD3(+)HLA-DR+.) and +0.50 (absolute CD8(+)CD45RA(+)CD45RO(+)). Neither NKCA nor lymphocyte proliferation were correlated with aerobic power or muscle strength. Although mood state and quality of life can sometimes be influenced by an individual's fitness level, our multivariate analyses suggested that depression, fatigue and quality of life were more important determinants of immune profile than our fitness measures. Conclusions: Psychological changes associated with aging may have a substantial adverse effect upon the immune system, and immunological function may be enhanced more by addressing these issues than by focusing upon aerobic or resistance training. (C) 2012 Elsevier Inc. All rights reserved.
Resumo:
The main feature of partition of unity methods such as the generalized or extended finite element method is their ability of utilizing a priori knowledge about the solution of a problem in the form of enrichment functions. However, analytical derivation of enrichment functions with good approximation properties is mostly limited to two-dimensional linear problems. This paper presents a procedure to numerically generate proper enrichment functions for three-dimensional problems with confined plasticity where plastic evolution is gradual. This procedure involves the solution of boundary value problems around local regions exhibiting nonlinear behavior and the enrichment of the global solution space with the local solutions through the partition of unity method framework. This approach can produce accurate nonlinear solutions with a reduced computational cost compared to standard finite element methods since computationally intensive nonlinear iterations can be performed on coarse global meshes after the creation of enrichment functions properly describing localized nonlinear behavior. Several three-dimensional nonlinear problems based on the rate-independent J (2) plasticity theory with isotropic hardening are solved using the proposed procedure to demonstrate its robustness, accuracy and computational efficiency.
Resumo:
We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.