Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

Ohne Zusammenfassung Zusatz bei der Korrektur: Ein vollständiger und korrekter Beweis für die Entscheidbarkeit der eingangs angeführten Aanderaaschen Klasse ((0, ), (, , ...)) erscheint demnächst im JSL (S.O. Aanderaa/H.R.Lewis: Prefix classes of Krom formulas). Ebendort wird auch die Reduktionstypeneigenschaft für ((0, ), (0, 0, )) und ((0, )), (0, 0, )) nachgewiesen, während ((0, ), (, )) sich als entscheidbar herausgestellt hat (s. E. Börger: Eine entscheidbare Klasse von Kromformeln. ZMLG 19 (1973), 117–120.) Der Kromsche Reduktionstyp konnte mittlerweile einerseits zu ((0, ), (0, 4)) verschärft werden (s. D. Rödding, E. Börger: The undecidability of (0, 4)-formulae with binary disjunctions, vorgetragen auf dem Logic Coll. Bristol 1973, ein abstract erscheint im JSL), andererseits kündigt H.R.Lewis die Reduktionstypeneigenschaft für ((0, ), (0, 1)) an (s. H.R.Lewis: Krom formulas with one dyadic predicate letter. Notices AMS 20, 5 (1973) A-500, abstr. no. 73T-E78.)Dieser Aufsatz geht aus der Dissertation [2] hervor, die dem Fachbereich Mathematik der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Münster im Sommersemester 1971 vorgelegt worden ist. Die Ergebnisse stammen aus dem Wintersemester 1970/71. Eine Ankündigung der hauptsächlichen Resultate ist in den Notices of the American Mathematical Society 19, 2 (1972) A-333 unter der abstract no. * 72T-E24 erschienen.     

Applying a fuzzy relation to describe influence of flux behaviour in a printed coil

Summary Being a subject of expectedly fuzzy character, an attempt is made to apply fuzzy functions, more precisely fuzzy relations to investigate the problem of flux distortion in a printed coil.

---

Zusammenfassung Da die Vorgänge in einer gedruckten Spule sich aus einer Vielzahl schwerer erfaßbarer Einzeleinflüsse zusammensetzen, die insbesondere den Magnetfluß verzerren, lag es nahe, den Versuch zu machen, die Fuzzy Functions (die logische Algebra, gemäß [1]) darauf anzuwenden. Die Fuzzy Functions sind gedacht für das Beschreiben von Vorgängen, oder Ereignissen, die im Ansatz ein breit gefächertes (fuzzy) Verhalten, ohne scharfe Grenzen aufweisen; siehe Fig. 4.Dieser gefächerten logischen Funktion entspricht eine reguläre mathematische Kurvenschar, die meßtechnisch nachgewiesen werden muß.Im vorliegenden Falle ergab sich eine Korrekturfunktion (5), die es gestattet, die Induktivität gedruckter Spulen, in einem weiten Bereich von Abmessungen und Windungen, mit einer Genauigkeit von –2% bis +5% zu bestimmen.

     

Energy stability of channel flows

Zusammenfassung Die Energiemethode wird zur Untersuchung der Stabilität einer beliebigen Kanalströmung angewandt. Es wird eine auf Eigenwertabschätzungen basierte qualitative Beschreibung der Fläche (, ) gegeben, welche die Schranke für den Instabilitätsbereich in Abhängigkeit von Längs- bzw. Querwellenzahl der Störungen darstellt. Eine allgemeine untere Grenze für die minimalisierende Querwellenzahl und den zugehörigen Eigenwert (0, ) wird angegeben. Das Problem der Energiestabilität wird dann für eine Klasse von Geschwindigkeitsprofilen mit Wendepunkt gelöst. Die durch numerische Integration erhaltenen Ergebnisse werden mit den Ergebnissen der linearen Stabilitätstheorie verglichen.     

Growth conditions and regularity,a counterexample

It is shown that the so-called growth conditions are necessary for the local regularity of minimizers.This paper has been written while the author was visiting the Mathematisches Institut der Universität Bonn under the support of the Sonderforschungsberich 256.     

Reguläre Graphen beliebigen Grades mit vorgegebenen Eigenschaften

Zusammenfassung der Sätze 2, 3, 11 und 16 das Hauptresultat dieser Arbeit formulieren:Satz 17. Wenn eine endliche Gruppe und zwei natürliche Zahlen n und so vorgegeben sind, daß 3n< und 2n ist, dann gibt es stets eine unendliche Menge endlicher und eine nicht abzählbare Menge unendlicher regulärer Graphen X vom Grade n(X)=n mit der Farbenzahl (X)= und einer AutomorphismengruppeG(X). Da die Graphen, von denen wir bei der Konstruktion ausgegangen sind, für frei von Fixpunkten und Fixkanten waren, ist im Lichte der verwendeten Substitutionstechnik leicht einzusehen, daß auch die neu erhaltenen Graphen diese Eigenschaften haben müssen. Denn zu jeder Kante eines neuen Graphen, die aus einer Kante des alten Graphen hervorgegangen ist, gibt es wegen der Fixkantenfreiheit des alten ein Element der Gruppe, das diese Kante verändert. Jene Knotenpunkte und Kanten aber, die aus den Knotenpunkten des alten Graphen hervorgehen, können nicht invariant sein, weil der alte Graph keine Fixpunkte hatte. Zum Schluß sei noch vermerkt, daß die konstruierten Graphen zusammenhängend sind und weder Einecke noch Zweiecke enthalten.     

EDP + ADP = IDP

Zusammenfassung Zunächst wird der Grundgedanke des IDP (Integrated Data Processing) als logische Weiterentwicklung der Begriffe EDP (Electronic Data Processing) und ADP (Automatic Data Processing) erläutert; einige typische dem IDP zugrundeliegende Ideen werden näher diskutiert und ein Ausblick auf die nächste Zukunft gegeben.

---

Summary In a first part, the thoughts that led up to IDP (Integrated Data Processing) are considered, as it emerged from EDP (Electronic Data Processing) and from ADP (Automatic Data Processing). Some typical aspects of IDP are discussed and a preview on possible future developments is given.

     

Die relative asymptotische Effizienz der Prognoseschätzung mit einem ökonometrischen Modell

Zusammenfassung Die relative asymptotische Effizienz der Prognoseschätzung mit Hilfe der reduzierten Form eines ökonometrischen Modells wird untersucht, wobei die zwei Fälle unrestricted- und derived reduced form betrachtet werden.

---

Summary The relative asymptotic efficiency of forecasts by means of an econometric model, based on the unrestricted- and the derived reduced form is considered.

     

A note on generating generalized two-dimensional plate and shell theories

Summary Ordinary two dimensional linear shell theory may be formulated by using six differential equations for stress resultants and couples and for middle surface force and moment load intensities, in conjunction with the principle of virtual work, for the derivation of strain displacement relations. The present paper deals with a more general formulation, involving additional two-dimensional equilibrium equations, as a consequence of three-dimensional equations for force and moment stresses, in conjunction with a stipulation of surface force and moment load intensities for two face surfaces in place of the one middle surface. The main intent of the analysis is an illumination of the concept of a mechanical Cosserat-surface theory, in comparison with ordinary two-dimensional shell theory.

---

Zusammenfassung Die übliche zweidimensionale Schalentheorie kann formuliert werden, indem man sechs Differentialgleichungen für Spannungsresultierende, Momente, Mittel flächenkraft und Momentlastintensität zusammen mit dem Prinzip der virtuellen Verschiebungen dazu benutzt, um ein System von Dehnungs-Verschiebungsgleichungen abzuleiten. Die vorliegende Arbeit beschäftigt sich mit einer verallgemeinerten Formulierung, mit zusätzlichen zweidimensionalen Gleichgewichtsbedingungen, die von einer dreidimensionalen Theorie für Kraft- und Momentenspannungen abgeleitet werden, zusammen mit einer Vorschrift über zwei Systeme von Ober flächenkräften und Momentlastintensitäten anstelle des einen Mittelfllächenlastsystems. Der Hauptzweck der Analyse ist die Beleuchtung des Begriffs der mechanischen Cosserat-Flächentheorie im Vergleich zur üblichen zweidimensionalen linearen Schalentheorie.

     

Absorption spectroscopy and excitation of YAlO3∶Er (50%) crystals

Absorption spectra have been measured in highly doped YAlO₃Er (50 %) in the wavelength range from 300 nm up to 2m. The spectra were taken with irradiation to the crystallographic b-axis with polarization a- or c-axis. From the measured spectra the Er energy levels have been determied. Based on the results of absorption spectroscopy the pumplight absorption in a Xenon-flashlamp-pumped YAlO₃Er laser slab has been calculated as a function of wavelength and depth.

---

Zusammenfassung In hochdotiertem YAlO₃Er (50%) wurden Absorptionsspektren im Wellenlängenbereich von 300 nm bis 2m gemessen. Die Spektren wurden mit Bestrahlung zu der kristallographischen b-Achse mit Polarisation zur a- oder c-Achse aufgenommen. Aus den gemessenen Spektren wurden die Energieniveaus bestimmt. Mit den Ergebnissen aus der Absorptionsspektroskopie wurde die Pumplichtabsorption in einer mit Xenonblitzlampen gepumpten YAlO₃Er Platte in Abhängigkeit von der Wellenlänge berechnet.

     

On Interpolation of the Fourier Maximal Operator in Orlicz Spaces

Let and be positive increasing convex functions defined on [0, ). Suppose satisfies the 2-condition, that is, (t)2 (C1t) for sufficiently large t, and has some nice properties. If -1(u)log(u+1) C2-1(u) for sufficiently large uthen we have S*(f) L CfL for all f L ([-, ])where S*(f) is the majorant function of partial sums of trigonometric Fourier series and fL is the Orlicz norm of f. This result is sharp.     

Ein Störungssatz für abgeschlossene,lineare Operatoren

Zusammenfassung In vorliegender Note wird ein Satz von Kato [7] über die Störung eines abgeschlossenen, normal auflösbaren OperatorsT mit endlichem Null-defekt (T) durch einen streng singulären Operator verallgemeinert. Zu diesem Zweck wird für jedes 0 mit Hilfe des Kuratowskischen Nichtkompaktheitsmaßes eine KlasseC von beschränkten, linearen Operatoren eingeführt, welche sowohl die streng singulären Operatoren als auch die OperatorenS mit S enthält.Das erzielte Resultat steht in engem Zusammenhang mit den Untersuchungen von Gol'denteinn, Gohberg und Markus [5] und von Gol'denteienn und Markus [6].     

Fortsetzungssätze und Moduln über Semifields

. . — . — —.

---

---

Herrn Professor Dr. Frank Terpe zum 60. Geburtstag gewidmet     

On summability of subsequences of partial sums of trigonometric Fourier series

n- (n1) fL ^p ([–, ] ⁿ ),=1 = (L C) . , , f([–, ] ⁿ ).     

On the temporal analysis of special GERT networks using a modified Markov renewal process

In this paper we show how to represent a STEOR network (GERT network with only nodes of the stochastic exclusive-or Type) by a modified Markov renewal process. The computation of the renewal kernel of this process yields the temporal analysis of the network.

---

Zusammenfassung Es wird gezeigt, wie ein STEOR-Netzplan (GERT-Netzplan, der nur Knoten vom Typ stochastisch exklusiv-oder enthält) durch einen modifizierten Markowschen Erneuerungsprozeß beschrieben werden kann. Die Bestimmung der Erneuerungsfunktionen dieses Prozesses liefert die Auswertung des STEOR-Netzplans (im Sinne der Zeitplanung).

     

A two‐level queueing network model with blocking and non‐blocking messages

We analyze a novel twolevel queueing network with blocking, consisting of N level1 parallel queues linked to M level2 parallel queues. The processing of a customer by a level1 server requires additional services that are exclusively offered by level2 servers. These level2 servers are accessed through blocking and nonblocking messages issued by level1 servers. If a blocking message is issued, the level1 server gets blocked until the message is fully processed at the level2 server. The queueing network is analyzed approximately using a decomposition method, which can be viewed as a generalization of the wellknown twonode decomposition algorithm used to analyze tandem queueing networks with blocking. Numerical tests show that the algorithm has a good accuracy.     

The Cesàro-Denjoy-Bochner scale of almost periodicity

, —— , . , f, ——, —. .     

Large transversals to small families of unit disks

Summary It is proved that if the nonempty intersection of bounded closed convex sets AnB is contained in (A + F)U(B+F) and one of the following holds true: (i) the space X is less-than-three dimensional, (ii) AUB is convex, (iii) F is a one-point set, then AnBCA+F or AnBCB+F (Theorems 2 and 3). Moreover, under some hypotheses the characterization of A and B such that AnB is a summand of AUB is given (Theorem 3).     

Central limit theorems for Walsh series with general gaps

. [1]. 3 - .     

On certain imbedding and extension theorems for a weighted class of functions

n- , S n–1 m (0m<n), () S . () , ().     

On strong summability of polynomial expansions

—.

---

---

Dedicated to Professor L. Leindler on his 50^th birthday