-
Mathematical Models of Elementary Mathematics Learning and Performance. Final Report.
ERIC Educational Resources Information Center
Suppes, Patrick
This project was concerned with the development of mathematical models of elementary mathematics learning and performance. Probabilistic finite automata and register machines with a finite number of registers were developed as models and extensively tested with data arising from the elementary-mathematics strand curriculum developed by the…
-
Normal compression wave scattering by a permeable crack in a fluid-saturated poroelastic solid
NASA Astrophysics Data System (ADS)
Song, Yongjia; Hu, Hengshan; Rudnicki, John W.
2017-04-01
A mathematical formulation is presented for the dynamic stress intensity factor (mode I) of a finite permeable crack subjected to a time-harmonic propagating longitudinal wave in an infinite poroelastic solid. In particular, the effect of the wave-induced fluid flow due to the presence of a liquid-saturated crack on the dynamic stress intensity factor is analyzed. Fourier sine and cosine integral transforms in conjunction with Helmholtz potential theory are used to formulate the mixed boundary-value problem as dual integral equations in the frequency domain. The dual integral equations are reduced to a Fredholm integral equation of the second kind. It is found that the stress intensity factor monotonically decreases with increasing frequency, decreasing the fastest when the crack width and the slow wave wavelength are of the same order. The characteristic frequency at which the stress intensity factor decays the fastest shifts to higher frequency values when the crack width decreases.
-
The effect of trench width on the behavior of buried rigid pipes
NASA Astrophysics Data System (ADS)
Balkaya, Müge; Saǧlamer, Ahmet
2014-12-01
In this study, in order to determine the effect of trench width (Bd) on the behavior of buried rigid pipes, a concrete pipe having an outside diameter of 150 cm and wall thickness (t) of 15 cm was analyzed using 2D PLAXIS finite element program. In the analyses, three different trench widths (Bd = 2.20 m, 3.40 m, and 4.40 m) were modeled. The results of the analyses indicated that, as the width of the trench increases, the axial force, shear force, bending moment, effective normal stress, and the earth load acting on the pipe increased. The variations of the loads acting on the pipe due to the increasing trench widths were also evaluated using the Marston load theory. When the loads calculated by the Marston Load Theory and the finite element analysis were compared with each other, it was seen that the Marston Load Theory resulted in slightly higher load values than the finite element analysis. On the other hand, for the two methods, the loads acting on the pipe increased with increasing trench width.
-
Analytical Study of Gravity Effects on Laminar Diffusion Flames
NASA Technical Reports Server (NTRS)
Edelman, R. B.; Fortune, O.; Weilerstein, G.
1972-01-01
A mathematical model is presented for the description of axisymmetric laminar-jet diffusion flames. The analysis includes the effects of inertia, viscosity, diffusion, gravity and combustion. These mechanisms are coupled in a boundary layer type formulation and solutions are obtained by an explicit finite difference technique. A dimensional analysis shows that the maximum flame width radius, velocity and thermodynamic state characterize the flame structure. Comparisons with experimental data showed excellent agreement for normal gravity flames and fair agreement for steady state low Reynolds number zero gravity flames. Kinetics effects and radiation are shown to be the primary mechanisms responsible for this discrepancy. Additional factors are discussed including elipticity and transient effects.
-
Stability Analysis of Finite Difference Schemes for Hyperbolic Systems, and Problems in Applied and Computational Linear Algebra.
DTIC Science & Technology
FINITE DIFFERENCE THEORY, * LINEAR ALGEBRA , APPLIED MATHEMATICS, APPROXIMATION(MATHEMATICS), BOUNDARY VALUE PROBLEMS, COMPUTATIONS, HYPERBOLAS, MATHEMATICAL MODELS, NUMERICAL ANALYSIS, PARTIAL DIFFERENTIAL EQUATIONS, STABILITY.
-
Modeling of laser transmission contour welding process using FEA and DoE
NASA Astrophysics Data System (ADS)
Acherjee, Bappa; Kuar, Arunanshu S.; Mitra, Souren; Misra, Dipten
2012-07-01
In this research, a systematic investigation on laser transmission contour welding process is carried out using finite element analysis (FEA) and design of experiments (DoE) techniques. First of all, a three-dimensional thermal model is developed to simulate the laser transmission contour welding process with a moving heat source. The commercial finite element code ANSYS® multi-physics is used to obtain the numerical results by implementing a volumetric Gaussian heat source, and combined convection-radiation boundary conditions. Design of experiments together with regression analysis is then employed to plan the experiments and to develop mathematical models based on simulation results. Four key process parameters, namely power, welding speed, beam diameter, and carbon black content in absorbing polymer, are considered as independent variables, while maximum temperature at weld interface, weld width, and weld depths in transparent and absorbing polymers are considered as dependent variables. Sensitivity analysis is performed to determine how different values of an independent variable affect a particular dependent variable.
-
Ultrahigh-order Maxwell solver with extreme scalability for electromagnetic PIC simulations of plasmas
NASA Astrophysics Data System (ADS)
Vincenti, Henri; Vay, Jean-Luc
2018-07-01
The advent of massively parallel supercomputers, with their distributed-memory technology using many processing units, has favored the development of highly-scalable local low-order solvers at the expense of harder-to-scale global very high-order spectral methods. Indeed, FFT-based methods, which were very popular on shared memory computers, have been largely replaced by finite-difference (FD) methods for the solution of many problems, including plasmas simulations with electromagnetic Particle-In-Cell methods. For some problems, such as the modeling of so-called "plasma mirrors" for the generation of high-energy particles and ultra-short radiations, we have shown that the inaccuracies of standard FD-based PIC methods prevent the modeling on present supercomputers at sufficient accuracy. We demonstrate here that a new method, based on the use of local FFTs, enables ultrahigh-order accuracy with unprecedented scalability, and thus for the first time the accurate modeling of plasma mirrors in 3D.
-
The finite-dimensional Freeman thesis.
PubMed
Rudolph, Lee
2008-06-01
I suggest a modification--and mathematization--of Freeman's thesis on the relations among "perception", "the finite brain", and "the world", based on my recent proposal that the theory of finite topological spaces is both an adequate and a natural mathematical foundation for human psychology.
-
Forest fuel treatment detection using multi-temporal airborne Lidar data and high resolution aerial imagery ---- A case study at Sierra Nevada, California
NASA Astrophysics Data System (ADS)
Su, Y.; Guo, Q.; Collins, B.; Fry, D.; Kelly, M.
2014-12-01
Forest fuel treatments (FFT) are often employed in Sierra Nevada forest (located in California, US) to enhance forest health, regulate stand density, and reduce wildfire risk. However, there have been concerns that FFTs may have negative impacts on certain protected wildlife species. Due to the constraints and protection of resources (e.g., perennial streams, cultural resources, wildlife habitat, etc.), the actual FFT extents are usually different from planned extents. Identifying the actual extent of treated areas is of primary importance to understand the environmental influence of FFTs. Light detection and ranging (Lidar) is a powerful remote sensing technique that can provide accurate forest structure measurements, which provides great potential to monitor forest changes. This study used canopy height model (CHM) and canopy cover (CC) products derived from multi-temporal airborne Lidar data to detect FFTs by an approach combining a pixel-wise thresholding method and a object-of-interest segmentation method. We also investigated forest change following the implementation of landscape-scale FFT projects through the use of normalized difference vegetation index (NDVI) and standardized principle component analysis (PCA) from multi-temporal high resolution aerial imagery. The same FFT detection routine was applied on the Lidar data and aerial imagery for the purpose of comparing the capability of Lidar data and aerial imagery on FFT detection. Our results demonstrated that the FFT detection using Lidar derived CC products produced both the highest total accuracy and kappa coefficient, and was more robust at identifying areas with light FFTs. The accuracy using Lidar derived CHM products was significantly lower than that of the result using Lidar derived CC, but was still slightly higher than using aerial imagery. FFT detection results using NDVI and standardized PCA using multi-temporal aerial imagery produced almost identical total accuracy and kappa coefficient. Both methods showed relatively limited capacity to detect light FFT areas, and had higher false detection rate (recognized untreated areas as treated areas) compared to the methods using Lidar derived parameters.
-
Proceedings of the second SISAL users` conference
DOE Office of Scientific and Technical Information (OSTI.GOV)
Feo, J T; Frerking, C; Miller, P J
1992-12-01
This report contains papers on the following topics: A sisal code for computing the fourier transform on S{sub N}; five ways to fill your knapsack; simulating material dislocation motion in sisal; candis as an interface for sisal; parallelisation and performance of the burg algorithm on a shared-memory multiprocessor; use of genetic algorithm in sisal to solve the file design problem; implementing FFT`s in sisal; programming and evaluating the performance of signal processing applications in the sisal programming environment; sisal and Von Neumann-based languages: translation and intercommunication; an IF2 code generator for ADAM architecture; program partitioning for NUMA multiprocessor computer systems;more » mapping functional parallelism on distributed memory machines; implicit array copying: prevention is better than cure ; mathematical syntax for sisal; an approach for optimizing recursive functions; implementing arrays in sisal 2.0; Fol: an object oriented extension to the sisal language; twine: a portable, extensible sisal execution kernel; and investigating the memory performance of the optimizing sisal compiler.« less
-
[Finite element stress analysis of all-ceramic continuous crowns of the lower anterior teeth in differential shoulder thickness].
PubMed
Ouyang, Shao-bo; Wang, Jun; Zhang, Hong-bin; Liao, Lan; Zhu, Hong-shui
2014-04-01
To investigate the stress distributions under load in 3 types of all-ceramic continuous crowns of the lower anterior teeth with differential shoulder thickness. Cone-beam CT (CBCT) was used to scan the in vitro mandibular central incisors, and achieve three-dimensional finite element model of all-ceramic continuous crowns with different shoulder width by using Mimics, Abaqus software. Different load conditions were simulated based on this model to study the effect of shoulder width variation on finite element analysis of 3 kinds of different all-ceramic materials of incisors fixed continuous crowns of the mandibular. Using CBCT, Mimics10.01 software and Abaqus 6.11 software, three-dimensional finite element model of all-ceramic continuous crowns of the mandibular incisor, abutment, periodontal ligament and alveolar bone was established. Different ceramic materials and various shoulder width had minor no impact on the equivalent stress peak of periodontal membrane, as well as alveolar bone. With the same shoulder width and large area of vertical loading of 120 N, the tensile stress was the largest in In-Ceram Alumina, followed by In-Ceram Zirconia and the minimum was IPS.Empress II. Under large area loading of 120 N 45° labially, when the material was IPS.Empress II, with the shoulder width increased, the porcelain plate edge of the maximum tensile stress value increased, while the other 2 materials had no obvious change. Finite element model has good geometric similarity. In the setting range of this study, when the elastic modulus of ceramic materials is bigger, the tensile stress of the continuous crown is larger. Supported by Research Project of Department of Education, Jiangxi Province (GJJ09130).
-
Optimal Alignment of Structures for Finite and Periodic Systems.
PubMed
Griffiths, Matthew; Niblett, Samuel P; Wales, David J
2017-10-10
Finding the optimal alignment between two structures is important for identifying the minimum root-mean-square distance (RMSD) between them and as a starting point for calculating pathways. Most current algorithms for aligning structures are stochastic, scale exponentially with the size of structure, and the performance can be unreliable. We present two complementary methods for aligning structures corresponding to isolated clusters of atoms and to condensed matter described by a periodic cubic supercell. The first method (Go-PERMDIST), a branch and bound algorithm, locates the global minimum RMSD deterministically in polynomial time. The run time increases for larger RMSDs. The second method (FASTOVERLAP) is a heuristic algorithm that aligns structures by finding the global maximum kernel correlation between them using fast Fourier transforms (FFTs) and fast SO(3) transforms (SOFTs). For periodic systems, FASTOVERLAP scales with the square of the number of identical atoms in the system, reliably finds the best alignment between structures that are not too distant, and shows significantly better performance than existing algorithms. The expected run time for Go-PERMDIST is longer than FASTOVERLAP for periodic systems. For finite clusters, the FASTOVERLAP algorithm is competitive with existing algorithms. The expected run time for Go-PERMDIST to find the global RMSD between two structures deterministically is generally longer than for existing stochastic algorithms. However, with an earlier exit condition, Go-PERMDIST exhibits similar or better performance.
-
Elastic guided waves in a layered plate with rectangular cross section.
PubMed
Mukdadi, O M; Desai, Y M; Datta, S K; Shah, A H; Niklasson, A J
2002-11-01
Guided waves in a layered elastic plate of rectangular cross section (finite width and thickness) has been studied in this paper. A semianalytical finite element method in which the deformation of the cross section is modeled by two-dimensional finite elements and analytical representation of propagating waves along the length of the plate has been used. The method is applicable to arbitrary number of layers and general anisotropic material properties of each layer, and is similar to the stiffness method used earlier to study guided waves in a laminated composite plate of infinite width. Numerical results showing the effect of varying the width of the plate on the dispersion of guided waves are presented and are compared with those for an infinite plate. In addition, effect of thin anisotropic coating or interface layers on the guided waves is investigated.
-
Stabilization of a finite slice in miscible displacement in homogeneous porous media
NASA Astrophysics Data System (ADS)
Pramanik, Satyajit; Mishra, Manoranjan
2016-11-01
We numerically studied the miscible displacement of a finite slice of variable viscosity and density. The stability of the finite slice depends on different flow parameters, such as displacement velocity U, mobility ratio R , and the density contrast. Series of numerical simulations corresponding to different ordered pair (R, U) in the parameter space, and a given density contrast reveal six different instability regions. We have shown that independent of the width of the slice, there always exists a region of stable displacement, and below a critical value of the slice width, this stable region increases with decreasing slice width. Further we observe that the viscous fingering (buoyancy-induced instability) at the upper interface induces buoyancy-induced instability (viscous fingering) at the lower interface. Besides the fundamental fluid dynamics understanding, our results can be helpful to model CO2 sequestration and chromatographic separation.
-
On the performance of piezoelectric harvesters loaded by finite width impulses
NASA Astrophysics Data System (ADS)
Doria, A.; Medè, C.; Desideri, D.; Maschio, A.; Codecasa, L.; Moro, F.
2018-02-01
The response of cantilevered piezoelectric harvesters loaded by finite width impulses of base acceleration is studied analytically in the frequency domain in order to identify the parameters that influence the generated voltage. Experimental tests are then performed on harvesters loaded by hammer impacts. The latter are used to confirm analytical results and to validate a linear finite element (FE) model of a unimorph harvester. The FE model is, in turn, used to extend analytical results to more general harvesters (tapered, inverse tapered, triangular) and to more general impulses (heel strike in human gait). From analytical and numerical results design criteria for improving harvester performance are obtained.
-
Controlling the numerical Cerenkov instability in PIC simulations using a customized finite difference Maxwell solver and a local FFT based current correction
DOE PAGES
Li, Fei; Yu, Peicheng; Xu, Xinlu; ...
2017-01-12
In this study we present a customized finite-difference-time-domain (FDTD) Maxwell solver for the particle-in-cell (PIC) algorithm. The solver is customized to effectively eliminate the numerical Cerenkov instability (NCI) which arises when a plasma (neutral or non-neutral) relativistically drifts on a grid when using the PIC algorithm. We control the EM dispersion curve in the direction of the plasma drift of a FDTD Maxwell solver by using a customized higher order finite difference operator for the spatial derivative along the direction of the drift (1ˆ direction). We show that this eliminates the main NCI modes with moderate |k 1|, while keepsmore » additional main NCI modes well outside the range of physical interest with higher |k 1|. These main NCI modes can be easily filtered out along with first spatial aliasing NCI modes which are also at the edge of the fundamental Brillouin zone. The customized solver has the possible advantage of improved parallel scalability because it can be easily partitioned along 1ˆ which typically has many more cells than other directions for the problems of interest. We show that FFTs can be performed locally to current on each partition to filter out the main and first spatial aliasing NCI modes, and to correct the current so that it satisfies the continuity equation for the customized spatial derivative. This ensures that Gauss’ Law is satisfied. Lastly, we present simulation examples of one relativistically drifting plasma, of two colliding relativistically drifting plasmas, and of nonlinear laser wakefield acceleration (LWFA) in a Lorentz boosted frame that show no evidence of the NCI can be observed when using this customized Maxwell solver together with its NCI elimination scheme.« less
-
Controlling the numerical Cerenkov instability in PIC simulations using a customized finite difference Maxwell solver and a local FFT based current correction
NASA Astrophysics Data System (ADS)
Li, Fei; Yu, Peicheng; Xu, Xinlu; Fiuza, Frederico; Decyk, Viktor K.; Dalichaouch, Thamine; Davidson, Asher; Tableman, Adam; An, Weiming; Tsung, Frank S.; Fonseca, Ricardo A.; Lu, Wei; Mori, Warren B.
2017-05-01
In this paper we present a customized finite-difference-time-domain (FDTD) Maxwell solver for the particle-in-cell (PIC) algorithm. The solver is customized to effectively eliminate the numerical Cerenkov instability (NCI) which arises when a plasma (neutral or non-neutral) relativistically drifts on a grid when using the PIC algorithm. We control the EM dispersion curve in the direction of the plasma drift of a FDTD Maxwell solver by using a customized higher order finite difference operator for the spatial derivative along the direction of the drift (1 ˆ direction). We show that this eliminates the main NCI modes with moderate |k1 | , while keeps additional main NCI modes well outside the range of physical interest with higher |k1 | . These main NCI modes can be easily filtered out along with first spatial aliasing NCI modes which are also at the edge of the fundamental Brillouin zone. The customized solver has the possible advantage of improved parallel scalability because it can be easily partitioned along 1 ˆ which typically has many more cells than other directions for the problems of interest. We show that FFTs can be performed locally to current on each partition to filter out the main and first spatial aliasing NCI modes, and to correct the current so that it satisfies the continuity equation for the customized spatial derivative. This ensures that Gauss' Law is satisfied. We present simulation examples of one relativistically drifting plasma, of two colliding relativistically drifting plasmas, and of nonlinear laser wakefield acceleration (LWFA) in a Lorentz boosted frame that show no evidence of the NCI can be observed when using this customized Maxwell solver together with its NCI elimination scheme.
-
Controlling the numerical Cerenkov instability in PIC simulations using a customized finite difference Maxwell solver and a local FFT based current correction
DOE Office of Scientific and Technical Information (OSTI.GOV)
Li, Fei; Yu, Peicheng; Xu, Xinlu
In this study we present a customized finite-difference-time-domain (FDTD) Maxwell solver for the particle-in-cell (PIC) algorithm. The solver is customized to effectively eliminate the numerical Cerenkov instability (NCI) which arises when a plasma (neutral or non-neutral) relativistically drifts on a grid when using the PIC algorithm. We control the EM dispersion curve in the direction of the plasma drift of a FDTD Maxwell solver by using a customized higher order finite difference operator for the spatial derivative along the direction of the drift (1ˆ direction). We show that this eliminates the main NCI modes with moderate |k 1|, while keepsmore » additional main NCI modes well outside the range of physical interest with higher |k 1|. These main NCI modes can be easily filtered out along with first spatial aliasing NCI modes which are also at the edge of the fundamental Brillouin zone. The customized solver has the possible advantage of improved parallel scalability because it can be easily partitioned along 1ˆ which typically has many more cells than other directions for the problems of interest. We show that FFTs can be performed locally to current on each partition to filter out the main and first spatial aliasing NCI modes, and to correct the current so that it satisfies the continuity equation for the customized spatial derivative. This ensures that Gauss’ Law is satisfied. Lastly, we present simulation examples of one relativistically drifting plasma, of two colliding relativistically drifting plasmas, and of nonlinear laser wakefield acceleration (LWFA) in a Lorentz boosted frame that show no evidence of the NCI can be observed when using this customized Maxwell solver together with its NCI elimination scheme.« less
-
AutoCAD-To-NASTRAN Translator Program
NASA Technical Reports Server (NTRS)
Jones, A.
1989-01-01
Program facilitates creation of finite-element mathematical models from geometric entities. AutoCAD to NASTRAN translator (ACTON) computer program developed to facilitate quick generation of small finite-element mathematical models for use with NASTRAN finite-element modeling program. Reads geometric data of drawing from Data Exchange File (DXF) used in AutoCAD and other PC-based drafting programs. Written in Microsoft Quick-Basic (Version 2.0).
-
Morphodynamics structures induced by variations of the channel width
NASA Astrophysics Data System (ADS)
Duro, Gonzalo; Crosato, Alessandra; Tassi, Pablo
2014-05-01
In alluvial channels, forcing effects, such as a longitudinally varying width, can induce the formation of steady bars (Olesen, 1984). The type of bars that form, such as alternate, central or multiple, will mainly depend on the local flow width-to-depth ratio and on upstream conditions (Struiksma et al., 1985). The effects on bar formation of varying the channel width received attention only recently and investigations, based on flume experiments and mathematical modelling, are mostly restricted to small longitudinal sinusoidal variations of the channel width (e.g. Repetto et al., 2002; Wu and Yeh, 2005, Zolezzi et al., 2012; Frascati and Lanzoni, 2013). In this work, we analyze the variations in equilibrium bed topography in a longitudinal width-varying channel with characteristic scales of the Waal River (The Netherlands) using two different 2D depth-averaged morphodynamic models, one based on the Delft3D code and one on Telemac-Mascaret system. In particular, we explore the effects of changing the wavelength of sinusoidal width variations in a straight channel, focusing on the effects of the spatial lag between bar formation and forcing that is observed in numerical models and laboratory experiments (e.g. Crosato et al, 2011). We extend the investigations to finite width variations in which longitudinal changes of the width-to-depth ratio are such that they may affect the type of bars that become unstable (alternate, central or multiple bars). Numerical results are qualitatively validated with field observations and the resulting morphodynamic pattern is compared with the physics-based predictor of river bar modes by Crosato and Mosselman (2009). The numerical models are finally used to analyse the experimental conditions of Wu and Yeh (2005). The study should be seen as merely exploratory. The aim is to investigate possible approaches for future research aiming at assessing the effects of artificial river widening and narrowing to control bar formation in alluvial rivers. References Crosato A. and Mosselman E., 2009. Simple physics-based predictor for the number of river bars and the transition between meandering and braiding. Water Resources Research, 45, W03424, doi: 10.1029/2008WR007242. Crosato A., Mosselman E., Desta F.B. and Uijttewaal W.S.J., 2011. Experimental and numerical evidence for intrinsic nonmigrating bars in alluvial channels. Water Resources Research, AGU, 47(3), W03511, doi 10.1029/2010WR009714. Frascati A. and Lanzoni S., 2013. A mathematical model for meandering rivers with varying width. J. Geophys. Res.Earth Surf., 118, doi:10.1002/jgrf.20084. Olesen K.W., 1984. Alternate bars in and meandering of alluvial rivers. In: River Meandering, Proc. of the Conf. Rivers '83, 24-26 Oct. 1983, New Orleans, Louisiana, U.S.A., ed. Elliott C.M., pp. 873-884, ASCE, New York. ISBN 0-87262-393-9. Repetto R., Tubino, M. and Paola C., 2002. Planimetric instability of channels with variable width. J. Fluid Mech., 457, 79-109. Struiksma N., Olesen K.W., Flokstra C. and De Vriend H.J., 1985. Bed deformation in curved alluvial channels. J. Hydraul. Res., 23(1), 57- 79. Wu F.-C. and Yeh T.-H., 2005. Forced bars induced by variations of channel width: Implications for incipient bifurcation. J. Geophys. Res., 110, F02009, doi:10.1029/2004JF000160. Zolezzi, G., R. Luchi, and M. Tubino (2012), Modeling morphodynamic processes in meandering rivers with spatial width variations, Rev. Geophys., 50, RG4005, doi:10.1029/2012RG000392.