A note on optimal inspection policy for stochastically deteriorating series systems

1991 ◽  
Vol 28 (4) ◽  
pp. 934-939 ◽  
Author(s):  
Yuping Qiu

A counterexample is given to demonstrate that a previously proposed characterization of optimal inspection policy for series systems is not correct in the discounted case. A set of valid necessary conditions is provided which leads to the characterization of optimality for a special case. The limiting case of these necessary conditions is also examined.

1991 ◽  
Vol 28 (04) ◽  
pp. 934-939 ◽  
Author(s):  
Yuping Qiu

A counterexample is given to demonstrate that a previously proposed characterization of optimal inspection policy for series systems is not correct in the discounted case. A set of valid necessary conditions is provided which leads to the characterization of optimality for a special case. The limiting case of these necessary conditions is also examined.


2020 ◽  
Vol 8 (1) ◽  
pp. 114-165
Author(s):  
Tetsu Toyoda

AbstractGromov (2001) and Sturm (2003) proved that any four points in a CAT(0) space satisfy a certain family of inequalities. We call those inequalities the ⊠-inequalities, following the notation used by Gromov. In this paper, we prove that a metric space X containing at most five points admits an isometric embedding into a CAT(0) space if and only if any four points in X satisfy the ⊠-inequalities. To prove this, we introduce a new family of necessary conditions for a metric space to admit an isometric embedding into a CAT(0) space by modifying and generalizing Gromov’s cycle conditions. Furthermore, we prove that if a metric space satisfies all those necessary conditions, then it admits an isometric embedding into a CAT(0) space. This work presents a new approach to characterizing those metric spaces that admit an isometric embedding into a CAT(0) space.


Author(s):  
Yves Achdou ◽  
Jiequn Han ◽  
Jean-Michel Lasry ◽  
Pierre-Louis Lions ◽  
Benjamin Moll

Abstract We recast the Aiyagari-Bewley-Huggett model of income and wealth distribution in continuous time. This workhorse model – as well as heterogeneous agent models more generally – then boils down to a system of partial differential equations, a fact we take advantage of to make two types of contributions. First, a number of new theoretical results: (i) an analytic characterization of the consumption and saving behavior of the poor, particularly their marginal propensities to consume; (ii) a closed-form solution for the wealth distribution in a special case with two income types; (iii) a proof that there is a unique stationary equilibrium if the intertemporal elasticity of substitution is weakly greater than one. Second, we develop a simple, efficient and portable algorithm for numerically solving for equilibria in a wide class of heterogeneous agent models, including – but not limited to – the Aiyagari-Bewley-Huggett model.


2020 ◽  
Vol 70 (6) ◽  
pp. 1275-1288
Author(s):  
Abd El-Mohsen Badawy ◽  
Miroslav Haviar ◽  
Miroslav Ploščica

AbstractThe notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for K2-algebras [6], is introduced. It is proved that the congruences of the principal MS-algebras L correspond to the MS-congruence pairs on simpler substructures L°° and D(L) of L that were associated to L in [4].An analogy of a well-known Grätzer’s problem [11: Problem 57] formulated for distributive p-algebras, which asks for a characterization of the congruence lattices in terms of the congruence pairs, is presented here for the principal MS-algebras (Problem 1). Unlike a recent solution to such a problem for the principal p-algebras in [2], it is demonstrated here on the class of principal MS-algebras, that a possible solution to the problem, though not very descriptive, can be simple and elegant.As a step to a more descriptive solution of Problem 1, a special case is then considered when a principal MS-algebra L is a perfect extension of its greatest Stone subalgebra LS. It is shown that this is exactly when de Morgan subalgebra L°° of L is a perfect extension of the Boolean algebra B(L). Two examples illustrating when this special case happens and when it does not are presented.


2016 ◽  
Vol 15 (08) ◽  
pp. 1650149 ◽  
Author(s):  
Said El Baghdadi ◽  
Marco Fontana ◽  
Muhammad Zafrullah

Let [Formula: see text] be an integral domain with quotient field [Formula: see text]. Call an overring [Formula: see text] of [Formula: see text] a subring of [Formula: see text] containing [Formula: see text] as a subring. A family [Formula: see text] of overrings of [Formula: see text] is called a defining family of [Formula: see text], if [Formula: see text]. Call an overring [Formula: see text] a sublocalization of [Formula: see text], if [Formula: see text] has a defining family consisting of rings of fractions of [Formula: see text]. Sublocalizations and their intersections exhibit interesting examples of semistar or star operations [D. D. Anderson, Star operations induced by overrings, Comm. Algebra 16 (1988) 2535–2553]. We show as a consequence of our work that domains that are locally finite intersections of Prüfer [Formula: see text]-multiplication (respectively, Mori) sublocalizations turn out to be Prüfer [Formula: see text]-multiplication domains (PvMDs) (respectively, Mori); in particular, for the Mori domain case, we reobtain a special case of Théorème 1 of [J. Querré, Intersections d’anneaux intègers, J. Algebra 43 (1976) 55–60] and Proposition 3.2 of [N. Dessagnes, Intersections d’anneaux de Mori — exemples, Port. Math. 44 (1987) 379–392]. We also show that, more than the finite character of the defining family, it is the finite character of the star operation induced by the defining family that causes the interesting results. As a particular case of this theory, we provide a purely algebraic approach for characterizing P vMDs as a subclass of the class of essential domains (see also Theorem 2.4 of [C. A. Finocchiaro and F. Tartarone, On a topological characterization of Prüfer [Formula: see text]-multiplication domains among essential domains, preprint (2014), arXiv:1410.4037]).


10.37236/3414 ◽  
2013 ◽  
Vol 20 (4) ◽  
Author(s):  
Sarah Behrens ◽  
Catherine Erbes ◽  
Michael Ferrara ◽  
Stephen G. Hartke ◽  
Benjamin Reiniger ◽  
...  

A sequence of nonnegative integers is $k$-graphic if it is the degree sequence of a $k$-uniform hypergraph. The only known characterization of $k$-graphic sequences is due to Dewdney in 1975. As this characterization does not yield an efficient algorithm, it is a fundamental open question to determine a more practical characterization. While several necessary conditions appear in the literature, there are few conditions that imply a sequence is $k$-graphic. In light of this, we present sharp sufficient conditions for $k$-graphicality based on a sequence's length and degree sum.Kocay and Li gave a family of edge exchanges (an extension of 2-switches) that could be used to transform one realization of a 3-graphic sequence into any other realization. We extend their result to $k$-graphic sequences for all $k \geq 3$. Finally we give several applications of edge exchanges in hypergraphs, including generalizing a result of Busch et al. on packing graphic sequences.


10.37236/1882 ◽  
2006 ◽  
Vol 11 (2) ◽  
Author(s):  
Eric Babson ◽  
Isabella Novik

Certain necessary conditions on the face numbers and Betti numbers of simplicial complexes endowed with a proper action of a prime order cyclic group are established. A notion of colored algebraic shifting is defined and its properties are studied. As an application a new simple proof of the characterization of the flag face numbers of balanced Cohen-Macaulay complexes originally due to Stanley (necessity) and Björner, Frankl, and Stanley (sufficiency) is given. The necessity portion of their result is generalized to certain conditions on the face numbers and Betti numbers of balanced Buchsbaum complexes.


Filomat ◽  
2015 ◽  
Vol 29 (1) ◽  
pp. 89-97 ◽  
Author(s):  
Martin Shoptrajanov ◽  
Nikita Shekutkovski

We give necessary conditions for a set to be topologically transitive attractor of an analytic plane flow using topological characterization of ?-limit sets and the concept of upper semi-continuity of multi valued maps.


2019 ◽  
Vol 2019 ◽  
pp. 1-12
Author(s):  
Qinglan Bao ◽  
Xiaoling Hao ◽  
Jiong Sun

This paper is concerned with the characterization of all self-adjoint domains associated with two-interval even order singular C-symmetric differential operators in terms of boundary conditions. The previously known characterizations of Lagrange symmetric differential operators are a special case of this one.


1976 ◽  
Vol 46 (4) ◽  
pp. 278-283 ◽  
Author(s):  
M. Konopasek

The helical model of the spontaneously collapsed filaments in twist-textured yarns is defined as reflecting the limiting case of a free-filament segment with infinite length (or number of coils) between two reversal points. The fundamental relationships linking fiber properties and parameters of the texturing process with geometrical and mechanical characteristics of the helices are derived directly from the differential equations of the three-dimensional elastica. Bicomponent and similar fibers are interpreted as a special case of twist-textured filaments with original (permanently set) helical angle equal to π/2; for this case an explicit functional relationship between contraction and stretching force is obtained.


Sign in / Sign up

Export Citation Format

Share Document