Search results for "Model theory"

showing 10 items of 681 documents

Identification of a specific type of PD from acoustic emission frequency spectra

2001

The paper presents an attempt to apply spectral analysis tools in processing acoustic emission (AE) pulses generated by partial discharge (FD). The experimental part of the paper describes spark gaps generating four types of PD and specifies parameters of measured acoustic signals and recalls the system used for measurement and analysis of the frequency spectra. Also, a spectral analysis procedure is presented, and frequency-domain descriptors characterizing AE pulses are defined. The results of the analysis are given both as time plots and amplitude and energy density spectra, related to values of the associated descriptors. The spectral analysis results cover AE pulses generated in system…

AmplitudeBasis (linear algebra)Acoustic emissionChemistryFrequency domainAcousticsPartial dischargeSpark gapElectrical and Electronic EngineeringType (model theory)Spectral lineIEEE Transactions on Dielectrics and Electrical Insulation
researchProduct

Lipschitz-type conditions on homogeneous Banach spaces of analytic functions

2017

Abstract In this paper we deal with Banach spaces of analytic functions X defined on the unit disk satisfying that R t f ∈ X for any t > 0 and f ∈ X , where R t f ( z ) = f ( e i t z ) . We study the space of functions in X such that ‖ P r ( D f ) ‖ X = O ( ω ( 1 − r ) 1 − r ) , r → 1 − where D f ( z ) = ∑ n = 0 ∞ ( n + 1 ) a n z n and ω is a continuous and non-decreasing weight satisfying certain mild assumptions. The space under consideration is shown to coincide with the subspace of functions in X satisfying any of the following conditions: (a) ‖ R t f − f ‖ X = O ( ω ( t ) ) , (b) ‖ P r f − f ‖ X = O ( ω ( 1 − r ) ) , (c) ‖ Δ n f ‖ X = O ( ω ( 2 − n ) ) , or (d) ‖ f − s n f ‖ X = O ( ω …

Applied Mathematics010102 general mathematicsBanach spaceType (model theory)Space (mathematics)Lipschitz continuity01 natural sciencesUnit disk010101 applied mathematicsCombinatoricsHomogeneous0101 mathematicsAnalysisAnalytic functionMathematicsJournal of Mathematical Analysis and Applications
researchProduct

Local regularity for quasi-linear parabolic equations in non-divergence form

2018

Abstract We consider viscosity solutions to non-homogeneous degenerate and singular parabolic equations of the p -Laplacian type and in non-divergence form. We provide local Holder and Lipschitz estimates for the solutions. In the degenerate case, we prove the Holder regularity of the gradient. Our study is based on a combination of the method of alternatives and the improvement of flatness estimates.

Applied Mathematics010102 general mathematicsMathematical analysisDegenerate energy levelsMathematics::Analysis of PDEsType (model theory)Lipschitz continuity01 natural sciencesParabolic partial differential equation010101 applied mathematicsViscosityMathematics - Analysis of PDEs35B65 35K65 35D40 35K92 35K6FOS: Mathematics0101 mathematicsDivergence (statistics)Laplace operatorAnalysisAnalysis of PDEs (math.AP)Flatness (mathematics)MathematicsNonlinear Analysis
researchProduct

Stress concentration for closely located inclusions in nonlinear perfect conductivity problems

2019

We study the stress concentration, which is the gradient of the solution, when two smooth inclusions are closely located in a possibly anisotropic medium. The governing equation may be degenerate of $p-$Laplace type, with $1<p \leq N$. We prove optimal $L^\infty$ estimates for the blow-up of the gradient of the solution as the distance between the inclusions tends to zero.

Applied Mathematics010102 general mathematicsMathematical analysisDegenerate energy levelsZero (complex analysis)Perfect conductorAnalysiGradient blow-upType (model theory)Conductivity01 natural sciences010101 applied mathematicsNonlinear systemMathematics - Analysis of PDEsFOS: MathematicsFinsler p-Laplacian0101 mathematicsPerfect conductorAnisotropy35J25 35B44 35B50 (Primary) 35J62 78A48 58J60 (Secondary)AnalysisAnalysis of PDEs (math.AP)MathematicsStress concentration
researchProduct

Bifurcations of links of periodic orbits in non-singular Morse - Smale systems on

1997

The set of periodic orbits of a non-singular Morse - Smale (NMS) flow on defines a link; a characterization of all possible links of NMS flows on has been developed by Wada. In the frame of codimension-one bifurcations, this characterization allows us to study the restrictions a link requires for suffering a given bifurcation. We also derive the topological description of the new link and the possibility of relating links by a chain of this type of bifurcation.

Applied MathematicsMathematical analysisFrame (networking)General Physics and AstronomyStatistical and Nonlinear PhysicsCharacterization (mathematics)Type (model theory)Morse codelaw.inventionFlow (mathematics)lawPeriodic orbitsLink (knot theory)Mathematical PhysicsBifurcationMathematicsNonlinearity
researchProduct

A geometrical criterion for nonexistence of constant-sign solutions for some third-order two-point boundary value problems

2020

We give a simple geometrical criterion for the nonexistence of constant-sign solutions for a certain type of third-order two-point boundary value problem in terms of the behavior of nonlinearity in the equation. We also provide examples to illustrate the applicability of our results.

Applied MathematicsMathematical analysislcsh:QA299.6-433lcsh:AnalysisType (model theory)nonexistence of solutionsthird-order two-point boundary value problemsNonlinear systemThird orderSimple (abstract algebra)comparison methods for the first zero functionsBoundary value problemConstant (mathematics)Value (mathematics)AnalysisMathematicsSign (mathematics)Nonlinear Analysis
researchProduct

On the Measure of Many-Level Fuzzy Rough Approximation for L-Fuzzy Sets

2019

We introduce a many-level version of L-fuzzy rough approximation operators and define measures of approximation obtained by such operators. In a certain sense, theses measures characterize the quality of the resulting approximation. We study properties of such measures and give a topological interpretation of the obtained results.

Approximation operatorsFuzzy setApplied mathematicsFuzzy logicMeasure (mathematics)MathematicsInterpretation (model theory)
researchProduct

Comparative Study of the a Posteriori Error Estimators for the Stokes Problem

2007

The research presented is focused on a comparative study of a posteriori error estimation methods to various approximations of the Stokes problem. Mainly, we are interested in the performance of functional type a posterior error estimates and their comparison with other methods. We show that functional type a posteriori error estimators are applicable to various types of approximations (including non-Galerkin ones) and robust with respect to the mesh structure, type of the finite element and computational procedure used. This allows the construction of effective mesh adaptation procedures in all cases considered. Numerical tests justify the approach suggested.

Approximations of πFunctional typeStokes problemEconometricsStructure (category theory)Applied mathematicsEstimatorA priori and a posterioriType (model theory)Finite element methodMathematics::Numerical AnalysisMathematics
researchProduct

A Sokoban-type game and arc deletion within irregular digraphs of all sizes

2007

Arc (geometry)CombinatoricsApplied MathematicsDiscrete Mathematics and CombinatoricsType (model theory)MathematicsDiscussiones Mathematicae Graph Theory
researchProduct

An intermediate γ beta-beam neutrino experiment with long baseline

2008

In order to address some fundamental questions in neutrino physics a wide, future programme of neutrino oscillation experiments is currently under discussion. Among those, long baseline experiments will play a crucial role in providing information on the value of theta13, the type of neutrino mass ordering and on the value of the CP-violating phase delta, which enters in 3-neutrino oscillations. Here, we consider a beta-beam setup with an intermediate Lorentz factor gamma=450 and a baseline of 1050 km. This could be achieved in Europe with a beta-beam sourced at CERN to a detector located at the Boulby mine in the United Kingdom. We analyse the physics potential of this setup in detail and …

AstrofísicaPhysicsNuclear and High Energy PhysicsParticle physicsLarge Hadron Collider010308 nuclear & particles physicsPhase (waves)FOS: Physical sciencesOrder (ring theory)hep-phType (model theory)7. Clean energy01 natural sciencesHigh Energy Physics - PhenomenologyLorentz factorsymbols.namesakeHigh Energy Physics - Phenomenology (hep-ph)0103 physical sciencessymbolsSensitivity (control systems)Neutrino010306 general physicsNeutrino oscillationJournal of High Energy Physics
researchProduct