Search results for "approximations"

showing 10 items of 28 documents

Guaranteed Error Bounds for Conforming Approximations of a Maxwell Type Problem

2009

This paper is concerned with computable error estimates for approximations to a boundary-value problem $$\mathrm{curl}\ {\mu }^{-1}\mathrm{curl}\ u + {\kappa }^{2}u = j\quad \textrm{ in }\Omega ,$$ where μ > 0 and κ are bounded functions. We derive a posteriori error estimates valid for any conforming approximations of the considered problems. For this purpose, we apply a new approach that is based on certain transformations of the basic integral identity. The consistency of the derived a posteriori error estimates is proved and the corresponding computational strategies are discussed.

Curl (mathematics)Discrete mathematicsApproximations of πBounded functionMathematical analysisA priori and a posterioriOmegaMathematics
researchProduct

Extensions and intentions in the rough set theory

1998

Abstract The approach to rough set theory proposed in this paper is based on the mutual correspondence of the concepts of extension and intension. It is different from the well-known approaches in the literature in that the upper approximations and the lower approximations of ‘unknown’ sets are considered as certain families of ‘known’ sets. This approach makes it possible to formulate necessary and sufficient conditions for the existence of operations on rough sets, which are analogous to classical operations on sets. The basic results presented in this paper, based on certain ideas of the second author, were formulated by the first author in his doctoral dissertation prepared under the su…

Discrete mathematicsInformation Systems and ManagementApproximations of πDominance-based rough set approachIntensionExtension (predicate logic)Computer Science ApplicationsTheoretical Computer ScienceAlgebraArtificial IntelligenceControl and Systems EngineeringApproximation operatorsRough setDoctoral dissertationSoftwareUpper approximationMathematicsInformation Sciences
researchProduct

On the Structure of Bispecial Sturmian Words

2013

A balanced word is one in which any two factors of the same length contain the same number of each letter of the alphabet up to one. Finite binary balanced words are called Sturmian words. A Sturmian word is bispecial if it can be extended to the left and to the right with both letters remaining a Sturmian word. There is a deep relation between bispecial Sturmian words and Christoffel words, that are the digital approximations of Euclidean segments in the plane. In 1997, J. Berstel and A. de Luca proved that \emph{palindromic} bispecial Sturmian words are precisely the maximal internal factors of \emph{primitive} Christoffel words. We extend this result by showing that bispecial Sturmian wo…

FOS: Computer and information sciencesGeneral Computer ScienceSpecial factorDiscrete Mathematics (cs.DM)Computer Networks and CommunicationsApproximations of πFormal Languages and Automata Theory (cs.FL)Computer Science - Formal Languages and Automata TheoryEnumerative formula68R15Characterization (mathematics)Minimal forbidden wordTheoretical Computer ScienceCombinatoricsComputer Science::Discrete MathematicsEuclidean geometryPhysics::Atomic PhysicsMathematicsChristoffel symbolsApplied MathematicsPalindromeSturmian wordSturmian wordComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Combinatorics on wordsComputational Theory and MathematicsWord (group theory)Computer Science::Formal Languages and Automata TheoryChristoffel wordComputer Science - Discrete Mathematics
researchProduct

Route to chaos in the weakly stratified Kolmogorov flow

2019

We consider a two-dimensional fluid exposed to Kolmogorov’s forcing cos(ny) and heated from above. The stabilizing effects of temperature are taken into account using the Boussinesq approximation. The fluid with no temperature stratification has been widely studied and, although relying on strong simplifications, it is considered an important tool for the theoretical and experimental study of transition to turbulence. In this paper, we are interested in the set of transitions leading the temperature stratified fluid from the laminar solution [U∝cos(ny),0, T ∝ y] to more complex states until the onset of chaotic states. We will consider Reynolds numbers 0 < Re ≤ 30, while the Richardson numb…

Fluid Flow and Transfer ProcessesPhysicsRichardson numberTurbulenceMechanical EngineeringMathematical analysisComputational MechanicsReynolds numberLaminar flowCondensed Matter Physics01 natural sciences010305 fluids & plasmasPhysics::Fluid Dynamicssymbols.namesakeTemperature gradientMechanics of Materials0103 physical sciencessymbolsBifurcation Computational complexity Reynolds number Boussinesq approximations Chaotic solutions Richardson number Stabilizing effects Stratified fluid Temperature stratification Transition to turbulence Weak stratificationStratified flowBoussinesq approximation (water waves)010306 general physicsSettore MAT/07 - Fisica MatematicaBifurcation
researchProduct

On approximate system dynamic

1996

In this paper concepts and techniques from system theory are used to obtain state-space (Markovian ) models of dynamic economic processes instead of the usual VARMA models. In this respect the concept of state is reviewed as are Hankel norm approximations,and balanced realizations for stochastic models. We clarify some aspects of the balancing method for state space modelling of observed time series. This method may fail to satisfy the so-called positive real condition for stochastic processes. We us a state variance factorization algorithm which does not require us to solve the algebraic Riccati equation. We relate the Aoki-Havenner method to the Arun - Kung method.

Hankel norm approximationsUnweighted principal componentsBalanced realizationStatisticsTime series analysis[ MATH.MATH-ST ] Mathematics [math]/Statistics [math.ST][MATH.MATH-ST] Mathematics [math]/Statistics [math.ST]Positive real lemmaState space modeloperations research
researchProduct

Functional A Posteriori Error Estimates for Time-Periodic Parabolic Optimal Control Problems

2015

This article is devoted to the a posteriori error analysis of multiharmonic finite element approximations to distributed optimal control problems with time-periodic state equations of parabolic type. We derive a posteriori estimates of the functional type, which are easily computable and provide guaranteed upper bounds for the state and co-state errors as well as for the cost functional. These theoretical results are confirmed by several numerical tests that show high efficiency of the a posteriori error bounds. peerReviewed

Mathematical optimizationControl and OptimizationMathematicsofComputing_NUMERICALANALYSISFinite element approximations010103 numerical & computational mathematicsType (model theory)01 natural sciencesparabolic time-periodic optimal control problemsError analysisFOS: MathematicsApplied mathematicsMathematics - Numerical AnalysisNumerical testsfunctional a posteriori error estimates0101 mathematicsMathematics - Optimization and Control49N20 35Q61 65M60 65F08Mathematicsta113Time periodicta111Numerical Analysis (math.NA)State (functional analysis)Optimal controlComputer Science Applications010101 applied mathematicsOptimization and Control (math.OC)multiharmonic finite element methodsSignal ProcessingA priori and a posterioriAnalysisNumerical Functional Analysis and Optimization
researchProduct

Remarks on quadratic Hamiltonians in spaceflight mechanics

2006

A particular family of Hamiltonian functions is considered. Such functions are quadratic in the moment variables and arise in spaceflight mechanics when the averaged system of energy minimizing trajectories of the Kepler equation is computed. An important issue of perturbation theory and averaging is to provide integrable approximations of nonlinear systems. It turns out that such integrability properties hold here.

Physics[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Integrable systemApproximations of π010102 general mathematics[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC]MechanicsKepler's equationSpaceflight01 natural scienceslaw.invention010101 applied mathematicsNonlinear systemsymbols.namesakeQuadratic equationClassical mechanicslawsymbols[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]0101 mathematicsHamiltonian (quantum mechanics)ComputingMilieux_MISCELLANEOUS
researchProduct

Triangular Bézier Approximations to Constant Mean Curvature Surfaces

2008

We give a method to generate polynomial approximations to constant mean curvature surfaces with prescribed boundary. We address this problem by finding triangular Bezier extremals of the CMC-functional among all polynomial surfaces with a prescribed boundary. Moreover, we analyze the $\mathcal{C}^1$ problem, we give a procedure to obtain solutions once the tangent planes for the boundary curves are also given.

PolynomialMean curvaturePolynomial approximationsMathematical analysisTangent spaceBoundary (topology)TangentBézier curveMathematics::Differential GeometryConstant (mathematics)Mathematics
researchProduct

Time Dependent Case

1999

This chapter is devoted to finite element approximations of scalar time dependent hemivariational inequalities. We start with the parabolic case following closely Miettinen and Haslinger, 1998. At the end of this chapter we discuss, how the results can be extended to constrained problems. Our presentation will follow the structure used for the static case in Chapter 3. First, we introduce an abstract formulation of a class of parabolic hemivariational inequalities (see Miettinen, 1996, Miettinen and Panagiotopoulos, 1999).

Scalar (mathematics)Applied mathematicsFinite element approximationsBilinear formFinite element methodMathematics
researchProduct

Fast and universal estimation of latent variable models using extended variational approximations

2022

AbstractGeneralized linear latent variable models (GLLVMs) are a class of methods for analyzing multi-response data which has gained considerable popularity in recent years, e.g., in the analysis of multivariate abundance data in ecology. One of the main features of GLLVMs is their capacity to handle a variety of responses types, such as (overdispersed) counts, binomial and (semi-)continuous responses, and proportions data. On the other hand, the inclusion of unobserved latent variables poses a major computational challenge, as the resulting marginal likelihood function involves an intractable integral for non-normally distributed responses. This has spurred research into a number of approx…

Statistics and ProbabilityComputational Theory and Mathematicsmultivariate abundance datamuuttujatlaplace approximationmulti-response dataordinationStatistics Probability and Uncertaintyvariational approximationsgeneralized linear latent variable modelsestimointiTheoretical Computer ScienceStatistics and Computing
researchProduct