Search results for "Discrete Mathematics"
showing 10 items of 1728 documents
ARC A computerized system for urban garbage collection
1993
In this paper we present ARC a computerized system developed for urban garbage collection. The package is intended to help the planners in the design of efficient collection routes and to facilitate the study and evaluation of alternatives concerning issues such as the type and number of vehicles, frequency of collection and type and location of refuse containers. The final product is a “user friendly” system designed to be used by the planners without outside assistance.
Juggler's exclusion process
2012
Juggler's exclusion process describes a system of particles on the positive integers where particles drift down to zero at unit speed. After a particle hits zero, it jumps into a randomly chosen unoccupied site. We model the system as a set-valued Markov process and show that the process is ergodic if the family of jump height distributions is uniformly integrable. In a special case where the particles jump according to a set-avoiding memoryless distribution, the process reaches its equilibrium in finite nonrandom time, and the equilibrium distribution can be represented as a Gibbs measure conforming to a linear gravitational potential.
On the category Set(JCPos)
2006
Category Set(JCPos) of lattice-valued subsets of sets is introduced and studied. We prove that it is topological over SetxJCPos and show its ''natural'' coalgebraic subcategory.
Topological classification of 4-dimensional complete intersections
1996
Let X,,(d) C C P "+r denote a complete intersection, the transversal intersection of r hypersurfaces in C P ~+r defined by r homogeneous polynomials of degrees (d l , . . . ,dr) =: d, with dld2...d,. =: d the total degree. It is well-known that the diffeomorphism type of X,,(d) is determined by n and d. In [7] and [8], Libgober and Wood showed that in dimension n -~ 2, there exist k distinct multidegrees ibr any integer k 6 N such that the corresponding complete intersections are all diffeomorphic. For n = 1,3, the diffeomorphism classification of Xn(d) is well-known by surface theory and the classification of 1-connected six-manifolds [12] respectively. For 7z = 2, at least the topological…
The range of non-surjective convolution operators on Beurling spaces
1996
AbstractLet μ ≠ 0 be an ultradistribution of Beurling type with compact support in the space . We investigate the range of the convolution operator Tμ on the space of non-quasianalytic functions of Beurling type associated with a weight w, in the case the operator is not surjective. It is proved that the range of TM always contains the space of real-analytic functions, and that it contains a smaller space of Beurling type for a weight σ ≥ ω if and only if the convolution operator is surjective on the smaller class.
Some new extensions of Edelstein-Suzuki-type fixed point theorem to G-metric and G-cone metric spaces
2013
Abstract In this paper, we prove some fixed point theorems for generalized contractions in the setting of G -metric spaces. Our results extend a result of Edelstein [M. Edelstein, On fixed and periodic points under contractive mappings, J. London Math. Soc., 37 (1962), 74–79] and a result of Suzuki [T. Suzuki, A new type of fixed point theorem in metric spaces, Nonlinear Anal., 71 (2009), 5313–5317]. We prove, also, a fixed point theorem in the setting of G -cone metric spaces.
An Operator Theoretical Approach to Enveloping ϕ* - and C* - Algebras of Melrose Algebras of Totally Characteristic Pseudodifferential Operators
1998
Let X be a compact manifold with boundary. It will be shown (Theorem 3.4) that the small Melrose algebra A≔ ϕb,cl (χ,bΩ1/2) (cf. [22], [23]) of classical, totally characteristic pseudodifferential operators carries no topology such that it is a topological algebra with an open group of invertible elements, in particular, the algebra A cannot be spectrally invariant in any C* – algebra. On the other hand, the symbolic structure of A can be extended continuously to the C* – algebra B generated by A as a subalgebra of ζ(σbL2(χ, bΩ1/2)) by a generalization of a method of Gohberg and Krupnik. Furthermore, A is densely embedded in a Frechet algebra A ⊆ B which is a ϕ* – algebra in the sense of Gr…
THE GROUP OF AUTOMORPHISMS OF THE SEMIGROUP OF ENDOMORPHISMS OF FREE COMMUTATIVE AND FREE ASSOCIATIVE ALGEBRAS
2007
Let W(X) be a free commutative or a free associative algebra. The group of automorphisms of the semigroup End (W(X)) is studied.
Systems of quasilinear elliptic equations with dependence on the gradient via subsolution-supersolution method
2017
For the homogeneous Dirichlet problem involving a system of equations driven by \begin{document}$(p,q)$\end{document} -Laplacian operators and general gradient dependence we prove the existence of solutions in the ordered rectangle determined by a subsolution-supersolution. This extends the preceding results based on the method of subsolution-supersolution for systems of elliptic equations. Positive and negative solutions are obtained.
Design of temperature control system using conventional PID and Intelligent Fuzzy Logic controller
2015
In this paper, we present the design of temperature control for industrial heat treating furnace by using Intelligent Fuzzy Logic and PID controllers. Temperature control is important in heating processes as it can disqualify materials in terms of their physical properties when not well performed. Obviously PID temperature controller is the most used in industries to control non-linear processes. Consequently, it has been found that the output response from Fuzzy Logic is very accurate in terms of overshoot and steady state error when compared to that of PID. Moreover, both temperature controllers are modeled and simulated using MATLAB software.