The Generalised Star-Height Problem is an open question in the field of formal language theory that concerns a measure of complexity on the class of regular languages; specifically, it asks whether or not there exists an algorithm to determine the generalised star-height of a given regular language. Rather surprisingly, it is not yet known whether there exists a regular language of generalised star-height greater than one. Motivated by a theorem of Thérien, we first take a combinatorial approach to the problem and consider the languages in which every word features a fixed contiguous subword an exact number of times. We show that these languages are all of generalised star-height zero. Similarly, we consider the languages in which every word features a fixed contiguous subword a prescribed number of times modulo a fixed number and show that these languages are all of generalised star-height at most one. Using these combinatorial results, we initiate work on identifying the generalised star-height of the languages that are recognised by finite semigroups. To do this, we establish the generalised star-height of languages recognised by Rees zero-matrix semigroups over nilpotent groups of classes zero and one before considering Rees zero-matrix semigroups over monogenic semigroups. Finally, we explore the generalised star-height of languages recognised by finite groups of a given order. We do this through the use of finite state automata and 'count arrows' to examine semidirect products of the form A x Zr where A is an abelian group and Zr is the cyclic group of order r.

O propósito deste trabalho é estudar a existência de solução periódica para problemas de oscilação não linear de barras submetidas a forças periódicas. Estudaremos concretamente dois problemas, que serão interpretados como equações diferenciais abstratas de segunda ordem cuja classe foi considerada em Ceron e Lopes [1]. Para garantir a existência de solução periódica dos problemas considerados, mostraremos que a aplicação de Poincaré S é limitada dissipativa e alfa-contração. Isso garante a existência de um atrator invariante compacto e a existência de um ponto fixo de S, o que é equivalente a existência da solução periódica. / Our aim in this work is to study the existence of periodic solution to oscillation in nonlinear problems of beams submitted to periodic forcing. We will study concretely two problems, which can be interpreted as an abstract second order diferential equation studied by Ceron and Lopes [1]. Our intention is to prove the existence of periodic solution to these problems. To this end, we will show that the Poincaré map S is uniform ultimately bounded and alpha-contraction. Thus we have the existence of invariant compact attractor, therefore S have a fixed point, which is equivalent the existence of a periodic solution.

The introduction of fuzzy sets by Zadeh has created new research directions in many fields of mathematics. Fuzzy set theory was originally restricted to the lattice , but the thrust of more recent research has pertained to general lattices. The present work is primarily focused on the theory of lattice-valued convergence spaces; the category of lattice-valued convergence spaces has been shown to possess the following desirable categorical properties: topological, cartesian-closed, and extensional. Properties of quotient maps between objects in this category are investigated in this work; in particular, one of our principal results shows that quotient maps are productive under arbitrary products. A category of lattice-valued interior operators is defined and studied as well. Axioms are given in order for this category to be isomorphic to the category whose objects consist of all the stratified, lattice-valued, pretopological convergence spaces. Adding a lattice-valued convergence structure to a group leads to the creation of a new category whose objects are called lattice-valued convergence groups, and whose morphisms are all the continuous homomorphisms between objects. The latter category is studied and results related to separation properties are obtained. For the special lattice , continuous actions of a convergence semigroup on convergence spaces are investigated; in particular, invariance properties of actions as well as properties of a generalized quotient space are presented.

A topological group G is known as a B(𝑎) group if every continuous and almost open homomorphism from G onto a Hausdorff group is open. The permanence properties of the category of B(𝑎) groups are investigated and an internal characterization of such groups is established. Extensions of the closed graph and open mapping theorem are proved, employing this and related categories of groups. A similar concept is defined for topological semigroups, and further extensions of the open mapping and closed graph theorem are proved for them. / Thesis / Doctor of Philosophy (PhD)

No description available.

Rigidizable/Inflatable space structures have been the focus of renewed interest in recent years due to efficient packaging for transport. In this work, we examine new mathematical systems used to model small-scale joint dynamics for inflatable space truss structures. We investigate the regularity and asymptotic behavior of systems resulting from various damping models, including Kelvin-Voigt, Boltzmann, and thermoelastic damping. Approximation schemes will also be introduced. Finally, we look at optimal control for the Kelvin-Voigt model using a linear feedback regulator. / Ph. D.

Given a convergence space X, a continuous action of a convergence semigroup S on X and a compactification Y of X, under what conditions on X and the action on X is it possible to extend the action to a continuous action on Y . Similarly, given a Cauchy space X, a Cauchy continuous action of a Cauchy semigroup S on X and a completion Y of X, under what conditions on X and the action on X is it possible to extend the action to a Cauchy continuous action on Y . We answer the first question for some particular compactifications like the one-point compactification and the star compactification as well as for the class of regular compactifications. We answer the second question for the class of regular strict completions. Using these results, we give sufficient conditions under which the pseudoquotient of a compactification/completion of a space is the compactification/completion of the pseudoquotient of the given space

In der Dissertation werden Werkzeuge zur Analyse von Wohlgestelltheit und Asymptotik von Integro-Differential- und Verzögerungsgleichungen entwickelt. Im ersten Teil der Arbeit (Kapitel 1 und 2) werden Methoden zur Bestimmung der Modulhalbgruppe (kleinste dominierende C0-Halbgruppe) einer C0-Halbgruppe zur Verfügung gestellt, die unter anderem auf Volterra-Halbgruppen (die aus Integro-Differentialgleichungen hervorgehen) und Evolutionshalbgruppen (Rückkopplungsgleichungen mit Zeitverzögerung, Transport in Netzwerken) angewendet werden. Im Mittelpunkt des zweiten Teils (Kapitel 3 und 4) steht ein Integro-Differentialgleichungstyp, der Schwingungsphänomene von Tragswerksflächen im Unterschallbereich beschreibt. Das besondere dieser Gleichung ist das Auftreten der Zeitableitung der gesuchten Funktion im Integralterm. Es werden eine Reihe von Wohlgestelltheitskriterien hergeleitet, welche Wohlgestelltheit der Gleichung liefern, ohne das es möglich ist, durch partielle Integration die Zeitableitung im Integralterm zu beseitigen und dadurch die Gleichung auf einen bekannten Integro-Differentialgleichungstyp zurückzuführen. Die entwickelten Methoden eignen sich auch für die Herleitung neuer Wohlgestelltheitskriterien für andere Verzögerungsgleichungen. Entsprechende Resultate werden in Kapitel 4 hergeleitet. / In the dissertation tools for the analysis of well-posedness and asymptotic behaviour of integro-differential equations and delay equations are developed. In the first part (chapter 1 and 2) methods for the determination of the modulus semigroup (smallest dominating C0-semigroup) of a C0-semigroup are provided and applied to various examples such as Volterra semigroups and evolution semigroups and transport evolution equations in networks. The main interest of the second part (chapter 3 and 4) is a type of an integro-differential equation which occurs in the modelling of the flutter of airfoils at subsonic speed. The remarkable property of the equation is the time derivative of the sought function in the integral term. A number of well-posedness criteria are proved for which integration by parts is not possible. The developed methods are also suitable for the derivation of new well-posedness results for other delay semigroups. Corresponding criteria are presented in chapter 4.

<p>Poluprsten je algebarska struktura (5, + , &bull;) sa dve binarne operacije u kojoj su&nbsp; (S,+ ) i (5, &bull;) polugrupe i druga je distributivna prema prvoj sa obe strane. U radu su uvedeni pojmovi p-polugrupe kao i p-poluprstena. Kažemo daje polugrupa ( S, + ) p-polugrupa ako (Vz G&nbsp; S)(3yG&nbsp; S)(x+py+x =&nbsp; y,py + x+py = z ). Poluprsten ( S, +.&bull;)zovemo p-poluprsten ako (Vz G&nbsp; S)(3yG&nbsp; S)(x + py + x = y,py + x + py = z,4p z2 = 4pz). Dokazano je da je svaka p-polugrupa pokrivena grupama koje su u potpunosti opisane. Takođe je pokazano da su p-poluprsteni pokriveni pretprsteni-ma. Za p = 4A; + 3&nbsp; (kG&nbsp; N0)ili p paran broj p-polugrupe, odnosno p-poluprsteni su varijeteti.</p> / <p>A semiring (5 ,+ ,-) is an algebric structure with two binary operations in which ( S, + ) and&nbsp; (S,&bull;) are semigroups, and the second operation is two-side dis&shy; tributive with respect to the first one. In the present paper notions of p-semigroup and p-semiring are introduced. We say that a semigroup (S&#39;, + ) is a p-semigroup if (Vx &pound; S)(3y &pound;&nbsp; S)(x + py + x = y,py + x + py = x).A semiring (S&#39;, + , &bull;) is called a p-semiring if (Vx &pound;&nbsp; S)(3y&pound;&nbsp; S)(x +py + x = y,py + x + py = x,4px2 = 4px). It is proved that each p-semigroup is covered by groups which are completely described. It is also proved that p-semirings are covered by prering. For&nbsp; p = 4k + 3 (k &pound; No) or for even p, the class of p-semigroups, respectively of p-semirings are varieties.</p>

In der Dissertation werden Werkzeuge zur Analyse von Wohlgestelltheit und Asymptotik von Integro-Differential- und Verzögerungsgleichungen entwickelt. Im ersten Teil der Arbeit (Kapitel 1 und 2) werden Methoden zur Bestimmung der Modulhalbgruppe (kleinste dominierende C0-Halbgruppe) einer C0-Halbgruppe zur Verfügung gestellt, die unter anderem auf Volterra-Halbgruppen (die aus Integro-Differentialgleichungen hervorgehen) und Evolutionshalbgruppen (Rückkopplungsgleichungen mit Zeitverzögerung, Transport in Netzwerken) angewendet werden. Im Mittelpunkt des zweiten Teils (Kapitel 3 und 4) steht ein Integro-Differentialgleichungstyp, der Schwingungsphänomene von Tragswerksflächen im Unterschallbereich beschreibt. Das besondere dieser Gleichung ist das Auftreten der Zeitableitung der gesuchten Funktion im Integralterm. Es werden eine Reihe von Wohlgestelltheitskriterien hergeleitet, welche Wohlgestelltheit der Gleichung liefern, ohne das es möglich ist, durch partielle Integration die Zeitableitung im Integralterm zu beseitigen und dadurch die Gleichung auf einen bekannten Integro-Differentialgleichungstyp zurückzuführen. Die entwickelten Methoden eignen sich auch für die Herleitung neuer Wohlgestelltheitskriterien für andere Verzögerungsgleichungen. Entsprechende Resultate werden in Kapitel 4 hergeleitet. / In the dissertation tools for the analysis of well-posedness and asymptotic behaviour of integro-differential equations and delay equations are developed. In the first part (chapter 1 and 2) methods for the determination of the modulus semigroup (smallest dominating C0-semigroup) of a C0-semigroup are provided and applied to various examples such as Volterra semigroups and evolution semigroups and transport evolution equations in networks. The main interest of the second part (chapter 3 and 4) is a type of an integro-differential equation which occurs in the modelling of the flutter of airfoils at subsonic speed. The remarkable property of the equation is the time derivative of the sought function in the integral term. A number of well-posedness criteria are proved for which integration by parts is not possible. The developed methods are also suitable for the derivation of new well-posedness results for other delay semigroups. Corresponding criteria are presented in chapter 4.