Search results for "Computational Mathematic"

showing 10 items of 987 documents

Well-Balanced Adaptive Mesh Refinement for shallow water flows

2014

Well-balanced shock capturing (WBSC) schemes constitute nowadays the state of the art in the numerical simulation of shallow water flows. They allow to accurately represent discontinuous behavior, known to occur due to the non-linear hyperbolic nature of the shallow water system, and, at the same time, numerically maintain stationary solutions. In situations of practical interest, these schemes often need to be combined with some kind of adaptivity, in order to speed up computing times. In this paper we discuss what ingredients need to be modified in a block-structured AMR technique in order to ensure that, when combined with a WBSC scheme, the so-called 'water at rest' stationary solutions…

Rest (physics)Numerical AnalysisMathematical optimizationSpeedupPhysics and Astronomy (miscellaneous)Shock (fluid dynamics)Computer simulationAdaptive mesh refinementApplied MathematicsComputer Science ApplicationsComputational MathematicsWaves and shallow waterModeling and SimulationApplied mathematicsState (computer science)Shallow water equationsMathematicsJournal of Computational Physics
researchProduct

Frequency-Sliding Generalized Cross-Correlation: A Sub-Band Time Delay Estimation Approach

2020

The generalized cross correlation (GCC) is regarded as the most popular approach for estimating the time difference of arrival (TDOA) between the signals received at two sensors. Time delay estimates are obtained by maximizing the GCC output, where the direct-path delay is usually observed as a prominent peak. Moreover, GCCs play also an important role in steered response power (SRP) localization algorithms, where the SRP functional can be written as an accumulation of the GCCs computed from multiple sensor pairs. Unfortunately, the accuracy of TDOA estimates is affected by multiple factors, including noise, reverberation and signal bandwidth. In this paper, a sub-band approach for time del…

Reverberationweighted SVDAcoustics and UltrasonicsCross-correlationComputer scienceNoise (signal processing)SRP-PHATMatrix representationTime delay estimationMultilaterationComputational Mathematicssub-band processingAudio and Speech Processing (eess.AS)Temporal resolutionSingular value decompositionComputer Science (miscellaneous)FOS: Electrical engineering electronic engineering information engineeringGCCElectrical and Electronic EngineeringRepresentation (mathematics)SVDAlgorithmElectrical Engineering and Systems Science - Audio and Speech Processing
researchProduct

Left-star order structure of Rickart *-rings

2015

Janowitz proved in 1983 that the initial segments of a Rickart *-ring with the star order are orthomodular posets. In this paper, the same result is proved for the left-star order , which was introduced by Marovtet al., by finding an orthogonality which corresponds to in a certain way and then applying a result proved by Cīrulis which states that the initial segments of any quasi-orthomodular set are orthomodular.

Ring (mathematics)Algebra and Number TheoryOrder (ring theory)010103 numerical & computational mathematics0102 computer and information sciencesStar (graph theory)01 natural sciencesCombinatoricsSet (abstract data type)Mathematics::LogicOrthogonality010201 computation theory & mathematicsComputer Science::Logic in Computer ScienceMathematics::Category TheoryOrder structure0101 mathematicsMathematicsLinear and Multilinear Algebra
researchProduct

Characterizing cavity-like spaces in active-site models of zeolites

2003

A method for the calculation of fractal surfaces of crystals is presented. The fractal dimension of fragments of zeolites is computed. Results compare well with reference calculations performed with program GEPOL. The active site of Bronsted acid zeolites is modelled by sets of Al–OH–Si units. These units form 2–12-membered rings. Topological indices for the different active-site models are computed. The comparison of calculations performed with programs GEPOL and SURMO2 allows computing the model indices. The cavity-like globularity and rugosity show sharp discontinuities for the ring with 6 units. Most cavity-like spaces show no fractal character. However, the 6–8-ring cavity-like spaces …

RugosityRing (mathematics)General Computer ScienceChemistryGeneral Physics and AstronomyGeometryGeneral ChemistryClassification of discontinuitiesSpace (mathematics)Fractal dimensionComputational MathematicsFractalCharacter (mathematics)Mechanics of MaterialsRange (statistics)General Materials ScienceComputational Materials Science
researchProduct

CVBEM for solving De Saint-Venant solid under shear forces

2013

Abstract Evaluation of shear stresses distribution due to external shear forces applied to De Saint-Venant beams has been solved through Complex Variable Boundary Element Method properly extended, to benefit from advantages of this method, so far widely used for twisted solids. Extending the above method, further simplifications have been introduced such as those of performing line integrals only, instead of domain integrals. Numerical applications confirm accuracy and efficiency of the proposed extended version of the method, since the good agreement with results proposed in literature.

Saint venantApplied MathematicsShear forceMathematical analysisGeneral EngineeringLine integralCVBEMGeometryComputational MathematicsDomain integralsShear (geology)Boundary element methodAnalysisMathematicsEngineering Analysis with Boundary Elements
researchProduct

Checkpointing Workflows for Fail-Stop Errors

2017

International audience; We consider the problem of orchestrating the exe- cution of workflow applications structured as Directed Acyclic Graphs (DAGs) on parallel computing platforms that are subject to fail-stop failures. The objective is to minimize expected overall execution time, or makespan. A solution to this problem consists of a schedule of the workflow tasks on the available processors and of a decision of which application data to checkpoint to stable storage, so as to mitigate the impact of processor failures. For general DAGs this problem is hopelessly intractable. In fact, given a solution, computing its expected makespan is still a difficult problem. To address this challenge,…

ScheduleComputer scienceworkflowDistributed computing[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]010103 numerical & computational mathematics02 engineering and technologyParallel computing[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]01 natural sciencesTheoretical Computer Science[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]checkpointfail-stop error0202 electrical engineering electronic engineering information engineeringOverhead (computing)[INFO]Computer Science [cs]0101 mathematicsresilienceClass (computer programming)020203 distributed computingJob shop schedulingProbabilistic logic020206 networking & telecommunications[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationDynamic programmingTask (computing)[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]WorkflowComputational Theory and MathematicsHardware and Architecture[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]Task analysis[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Software
researchProduct

The PCHIP subdivision scheme

2016

In this paper we propose and analyze a nonlinear subdivision scheme based on the monotononicity-preserving third order Hermite-type interpolatory technique implemented in the PCHIP package in Matlab. We prove the convergence and the stability of the PCHIP nonlinear subdivision process by employing a novel technique based on the study of the generalized Jacobian of the first difference scheme. MTM2011-22741

Scheme (programming language)Generalized JacobianStability (learning theory)MathematicsofComputing_NUMERICALANALYSIS010103 numerical & computational mathematics01 natural sciencesConvergence (routing)ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION0101 mathematicsMATLABMathematicscomputer.programming_languageSubdivisionNonlinear subdivision schemesbusiness.industryApplied MathematicsProcess (computing)Approximation order010101 applied mathematicsComputational MathematicsThird orderbusinessConvergencecomputerAlgorithmStability
researchProduct

Algorithmic differentiation for cloud schemes (IFS Cy43r3) using CoDiPack (v1.8.1)

2019

Abstract. Numerical models in atmospheric sciences not only need to approximate the flow equations on a suitable computational grid, they also need to include subgrid effects of many non-resolved physical processes. Among others, the formation and evolution of cloud particles is an example of such subgrid processes. Moreover, to date there is no universal mathematical description of a cloud, hence many cloud schemes have been proposed and these schemes typically contain several uncertain parameters. In this study, we propose the use of algorithmic differentiation (AD) as a method to identify parameters within the cloud scheme, to which the output of the cloud scheme is most sensitive. We il…

Scheme (programming language)Mathematical optimization010504 meteorology & atmospheric sciencesComputer scienceAutomatic differentiationbusiness.industrylcsh:QE1-996.5Cloud computing010103 numerical & computational mathematicsGeneral MedicineLimitingNumerical modelsGrid01 natural scienceslcsh:GeologyFlow (mathematics)0101 mathematicsUncertainty quantificationbusinesscomputer0105 earth and related environmental sciencescomputer.programming_languageGeoscientific Model Development
researchProduct

Generalized wavelets design using Kernel methods. Application to signal processing

2013

Abstract Multiresolution representations of data are powerful tools in signal processing. In Harten’s framework, multiresolution transforms are defined by predicting finer resolution levels of information from coarser ones using an operator, called the prediction operator, and defining details (or wavelet coefficients) that are the difference between the exact values and the predicted values. In this paper we present a multiresolution scheme using local polynomial regression theory in order to design a more accurate prediction operator. The stability of the scheme is proved and the order of the method is calculated. Finally, some results are presented comparing our method with the classical…

Scheme (programming language)Polynomial regressionMathematical optimizationSignal processingApplied MathematicsStability (learning theory)Computational MathematicsWaveletKernel methodOperator (computer programming)AlgorithmcomputerMathematicsResolution (algebra)computer.programming_languageJournal of Computational and Applied Mathematics
researchProduct

A class of quasi-Newton generalized Steffensen methods on Banach spaces

2002

AbstractWe consider a class of generalized Steffensen iterations procedure for solving nonlinear equations on Banach spaces without any derivative. We establish the convergence under the Kantarovich–Ostrowski's conditions. The majorizing sequence will be a Newton's type sequence, thus the convergence can have better properties. Finally, a numerical comparation with the classical methods is presented.

SequenceClass (set theory)Applied MathematicsMathematical analysisBanach spaceKantarovich conditionsType (model theory)Nonlinear equationsGeneralized Steffensen methodsSteffensen's methodNonlinear systemComputational MathematicsConvergence (routing)Applied mathematicsQuasi-Newton methodMathematicsJournal of Computational and Applied Mathematics
researchProduct