On Katětov Spaces

1989 ◽  
Vol 32 (4) ◽  
pp. 425-433 ◽  
Author(s):  
Jack Porter ◽  
Mohan Tikoo

AbstractRecent work by Krystock, Porter, and Vermeer has emphasized the importance of the concepts of Katětov spaces and H-sets in the theory of H-closed spaces. These properties are closely related to being the θ-closure of some set and being the adherence of an open filter. This relationship is developed by establishing, among other facts, that an H-closed space in which every closed set is the θ-closure of some set is compact and the θ-closure of a subset of an H-closed space is Katětov and characterizing the open filter adhérences of a space as precisely those sets which are the image of a closed set of the absolute of the space. Also, examples are given of a countable, scattered space which is not Katětov and an H-closed space with an H-closed subspace which is not the θ-closure of any subset of the given space.

2012 ◽  
Vol 12 (2) ◽  
pp. 215-220
Author(s):  
T. Szymczak

The Structure of the Silumin Coat on Alloy Cast Steels The work presents the analysis results of the structure of the coat obtained by dipping in silumin AlSi5 of two grades of alloy cast steel: GX6CrNiTi18-10 (LH18N9T) and GX39Cr13 (LH14). The temperature of the silumin bath was 750±5°C, and the hold-up time of the cast steel element τ = 180 s. The absolute thickness of the coat obtained in the given conditions was g = 104 μm on cast steel GX6CrNiTi18-10 and g = 132 μm on GX39Cr13. The obtained coat consisted of three layers of different phase structure. The first layer from the base "g1" was constructed of the phase AlFe including Si and alloy additives of the tested cast steel grades: Cr and Ni (GX6CrNiTi18-10) and Cr (GX39Cr13). The second layer "g1" of intermetallic phases AlFe which also contains Si and Cr crystallizes on it. The last, external layer "g2" of the coat consists of the silumin containing the intermetallic phases AlFeSi which additionally can contain alloy additives of the cast steel. It was shown that there were no carbides on the coat of the tested cast steels which are the component of their microstructure, as it took place in the case of the coat on the high speed steels.


2013 ◽  
Vol 14 (3) ◽  
pp. 339-361 ◽  
Author(s):  
MARIO ALVIANO ◽  
WOLFGANG FABER ◽  
STEFAN WOLTRAN

AbstractAdapting techniques from database theory in order to optimize Answer Set Programming (ASP) systems, and in particular the grounding components of ASP systems, is an important topic in ASP. In recent years, the Magic Set method has received some interest in this setting, and a variant of it, called Dynamic Magic Set, has been proposed for ASP. However, this technique has a caveat, because it is not correct (in the sense of being query-equivalent) for all ASP programs. In a recent work, a large fragment of ASP programs, referred to assuper-coherent programs, has been identified, for which Dynamic Magic Set is correct. The fragment contains all programs which possess at least one answer set, no matter which set of facts is added to them. Two open question remained: How complex is it to determine whether a given program is super-coherent? Does the restriction to super-coherent programs limit the problems that can be solved? Especially the first question turned out to be quite difficult to answer precisely. In this paper, we formally prove that deciding whether a propositional program is super-coherent is Π3P-complete in the disjunctive case, while it is Π2P-complete for normal programs. The hardness proofs are the difficult part in this endeavor: We proceed by characterizing the reductions by the models and reduct models which the ASP programs should have, and then provide instantiations that meet the given specifications. Concerning the second question, we show that all relevant ASP reasoning tasks can be transformed into tasks over super-coherent programs, although this transformation is more of theoretical than practical interest.


1975 ◽  
Vol 21 (3) ◽  
pp. 370-375 ◽  
Author(s):  
Donald L Horrocks

Abstract I describe the technique for determining the absolute decay rate of any 125I source. The problems of varying counting efficiency, varying sample geometry, and extended sources are discussed. By using the calibrated 125I source, the counting efficiency of the given counting system was obtained.


2014 ◽  
Vol 60 ◽  
pp. 38-49
Author(s):  
Robert Pitt

Archaeological data from the city of Athens entered into Archaeology in Greece Online this year are derived from recent work announced in the press or unpublished field reports and from the latest Archaiologikon Deltion, covering work in 2005. The difficulty of bridging this gap of almost a decade is eased greatly by the publication of a series of lectures held at the Museum of Cycladic Art in Athens by members of the Ephoreias of Athens and Attica, covering in a much more detailed way than ADelt allows many important excavations and research projects. The support of the Goulandris and Latsis Foundations, both in organizing the lectures and in publishing them in timely fashion and at very low cost (€10 per volume), is to be applauded (M. Dogka-Toli and S. Oikonomidou (eds), Αρχαιολογικές συμβολές. A: Αττική – ΚΣΤ’ και Β’Εφορείες Προïστορικών & Κλασικών Αρχαιοτήτων and Β: Αττική – Α’ και Γ’ Εφορείες Προïστορικών & Κλασικών Αρχαιοτήτων, Athens 2013). Further information, images and bibliography for the following summary can be found by searching the given ID numbers at AGOnline:www.chronique.efa.gr.


Author(s):  
S. Nagarajan ◽  
S. D. Goodwin ◽  
A. Sattar

Many extensions to existing binary constraint satisfaction algorithms have been proposed that directly deal with nonbinary constraints. Another choice is to perform a structural transformation of the representation of the problem, so that the resulting problem is a binary CSP except that now the original constraints which were nonbinary are replaced by binary compatibility constraints between relations. A lot of recent work has focussed on comparing different levels of local consistency enforceable in the nonbinary representation with the dual representation. In this paper we present extensions to the standard dual encoding that can compactly represent the given CSP using an equivalent dual encoding that contains all the original solutions to the CSP, using constraint coverings. We show how enforcing arc consistency in these constraint covering based encodings, strictly dominates enforcement of generalized arc consistency (GAC) on the primal nonbinary encoding.


2011 ◽  
Vol 3 (2) ◽  
pp. 56-63
Author(s):  
Rimantas Belevičius ◽  
Darius Mačiūnas ◽  
Dmitrij Šešok

The aim of the article is to report a technology for the optimization of grillage-type foundations seeking for the least possible reactive forces in the piles for a given number of piles and in the absolute value of the bending moments when connecting beams of the grillage. Mathematically, this seems to be the global optimization problem possessing a large number of local minima points. Both goals can be achieved choosing appropriate pile positions under connecting beams; however, these two problems contradict to each other and lead to diff erent schemes for pile placement. Therefore, we suggest using a compromise objective function (to be minimized) that consists of the largest reactive force arising in all piles and that occurring in the absolute value of the bending moment when connecting beams, both with the given weights. Bending moments are calculated at three points of each beam. The design parameters of the problem are positions of the piles. The feasible space of design parameters is determined by two constraints. First, during the optimization process, piles can move only along connecting beams. Therefore, the two-dimensional grillage is “unfolded” to the one-dimensional construct, and supports are allowed to range through this space freely. Second, the minimum allowable distance between two adjacent piles is introduced due to the specific capacities of a pile driver. Also, due to some considerations into the scheme of pile placement, the designer sometimes may introduce immovable supports (usually at the corners of the grillage) that do not participate in the optimization process and always retain their positions. However, such supports hinder to achieve a global solution to a problem and are not treated in this paper. The initial data for the problem are as follows: a geometrical scheme of the grillage, the given number of piles, a cross-section and material data on connecting beams, the minimum possible distance between adjacent supports and loading data given in the form of concentrated loads or trapezoidal distributed loadings. The results of the solution are the required positions of piles. This solution can serve as a pilot project for more detailed design. The entire optimization problem is solved in two steps. First, the grillage is transformed into the one-dimensional construct and the optimizer decides about a routine solution (i.e. the positions of piles in this construct). Second, backward transformation returns pile positions into the two-dimensional grillage and the “black-box” finite element program returns the corresponding objective function value. On the basis of this value, the optimizer predicts new positions of piles etc. The finite element program idealizes connecting beams as beam elements and piles – as mesh nodes of the finite element with a given boundary conditions in the form of vertical and rotational stiff ness. Since the problem may have several tens of design parameters, the only choice for optimization algorithms is using stochastic optimization algorithms. In our case, we use the original elitist real-number genetic algorithm and launch the program sufficient number of times in order to exclude large scattering of results. Three numerical examples are presented for the optimization of 10-pile grillage: when optimizing purely the largest reactive force, purely the largest in the absolute value of the bending moment and both parameters with equal weights.


Filomat ◽  
2021 ◽  
Vol 35 (7) ◽  
pp. 2341-2347
Author(s):  
Manasi Mandal ◽  
Mandobi Banerjee

In this article we recall a remarkable result stated as "For a fixed ?, 0 < ? ? 1, the set of all bounded statistically convergent sequences of order ? is a closed linear subspace of m (m is the set of all bounded real sequences endowed with the sup norm)" by Bhunia et al. (Acta Math. Hungar. 130 (1-2) (2012), 153-161) and to develop the objective of this perception we demonstrate that the set of all bounded statistically convergent sequences of order ? may not form a closed subspace in other sequence spaces. Also we determine two different sequence spaces in which the set of all statistically convergent sequences of order ? (irrespective of boundedness) forms a closed set.


Complexity ◽  
2019 ◽  
Vol 2019 ◽  
pp. 1-7
Author(s):  
Xiaolin Chen ◽  
Huishu Lian

The matching energy ME(G) of a graph G was introduced by Gutman and Wagner, which is defined as the sum of the absolute values of the roots of the matching polynomial m(G,x). The largest matching root λ1(G) is the largest root of the matching polynomial m(G,x). Let Kn1,n2,…,nr denote the complete r-partite graph with order n=n1+n2+…+nr, where r>1. In this paper, we prove that, for the given values n and r, both the matching energy ME(G) and the largest matching root λ1(G) of complete r-partite graphs are minimal for complete split graph CS(n,r-1) and are maximal for Turán graph T(n,r).


1976 ◽  
Vol 28 (4) ◽  
pp. 875-878 ◽  
Author(s):  
Dix H. Pettey
Keyword(s):  

A regular T1 space is said to be R-closed if there is no regular T1 space in which it can be embedded as a nonclosed subspace. A regular T1 space is said to be minimal regular if no regular T1 topology on the underlying set is strictly weaker than the given topology. It is known (see [1, Theorem 4, p. 455]) that every minimal regular space is R-closed. An R-closed space, however, need not be minimal regular [3, Example 2, p. 288].


Kretschmar has recently described a series of accurate measurements of the energies of the electrons expelled by molybdenum K α 1 radiations from targets of gold, platinum, silver and copper. He deduced his electron energies from deflections in an accurately known magnetic field, and it is obviously important to compare his results with those of similar recent work in which other primary radiations (copper and chromium K-rays) were used to excite secondary electrons from the same targets. Kretschmar applies his results to the deduction of a value for the specific charge, e / m 0 , of the electron. In doing this he has to assume a value for e / h , as well as values of X-ray wave-lengths. He eliminates part (not all) of the effect of uncertainty in the absolute values of the wave-lengths by using the X-ray (inverse photoelectric effect) value for e / h . He takes, in fact, e / h = 7·2796 × 10 16 e. s. u. erg -1 sec -1 —the mean of the values given by Duane, Palmer and Yeh and by Feder. He then deduces, as the mean result of his own deflection experiments, 1·757 × 10 7 e. m. u. gm -1 as the most probable value of e / m 0 .


Sign in / Sign up

Export Citation Format

Share Document