Dynamic Considerations for Control of Closed Life Support Systems

Reliability of closed life support systems depend on their ability to continue supplying the crew's needs during perturbations and equipment failures. The dynamic considerations interact with the basic static design through the sizing of storages, the specification of excess capacities in processors, and the choice of system initial state. A very simple system flow model was used to examine the possibilities for system failures even when there is sufficient storage to buffer the immediate effects of the perturbation. Two control schemes are shown which have different dynamic consequences in response to component failures

Redefining the performing arts archive

This paper investigates representations of performance and the role of the archive. Notions of record and archive are critically investigated, raising questions about applying traditional archival definitions to the performing arts. Defining the nature of performances is at the root of all difficulties regarding their representation. Performances are live events, so for many people the idea of recording them for posterity is inappropriate. The challenge of creating and curating representations of an ephemeral art form are explored and performance-specific concepts of record and archive are posited. An open model of archives, encouraging multiple representations and allowing for creative reuse and reinterpretation to keep the spirit of the performance alive, is envisaged as the future of the performing arts archive

Control and modeling of a CELSS (Controlled Ecological Life Support System)

Research topics that arise from the conceptualization of control for closed life support systems which are life support systems in which all or most of the mass is recycled are discussed. Modeling and control of uncertain and poorly defined systems, resource allocation in closed life support systems, and control structures or systems with delay and closure are emphasized

Mutation in triangulated categories and rigid Cohen-Macaulay modules

We introduce the notion of mutation of $n$-cluster tilting subcategories in a triangulated category with Auslander-Reiten-Serre duality. Using this idea, we are able to obtain the complete classifications of rigid Cohen-Macaulay modules over certain Veronese subrings.Comment: 52 pages. To appear in Invent. Mat

Azumaya Objects in Triangulated Bicategories

We introduce the notion of Azumaya object in general homotopy-theoretic settings. We give a self-contained account of Azumaya objects and Brauer groups in bicategorical contexts, generalizing the Brauer group of a commutative ring. We go on to describe triangulated bicategories and prove a characterization theorem for Azumaya objects therein. This theory applies to give a homotopical Brauer group for derived categories of rings and ring spectra. We show that the homotopical Brauer group of an Eilenberg-Mac Lane spectrum is isomorphic to the homotopical Brauer group of its underlying commutative ring. We also discuss tilting theory as an application of invertibility in triangulated bicategories.Comment: 23 pages; final version; to appear in Journal of Homotopy and Related Structure

About multiplicities and applications to Bezout numbers

Let $(A,\mathfrak{m},\Bbbk)$ denote a local Noetherian ring and $\mathfrak{q}$ an ideal such that $\ell_A(M/\mathfrak{q}M) < \infty$ for a finitely generated $A$-module $M$. Let \au = a_1,\ldots,a_d denote a system of parameters of $M$ such that $a_i \in \mathfrak{q}^{c_i} \setminus \mathfrak{q}^{c_i+1}$ for $i=1,\ldots,d$. It follows that \chi := e_0(\au;M) - c \cdot e_0(\mathfrak{q};M) \geq 0, where $c = c_1\cdot \ldots \cdot c_d$. The main results of the report are a discussion when $\chi = 0$ resp. to describe the value of $\chi$ in some particular cases. Applications concern results on the multiplicity e_0(\au;M) and applications to Bezout numbers.Comment: 11 pages, to appear Springer INdAM-Series, Vol. 20 (2017

Optimal Leapfrogging

No abstract provided in this article

Automorphism groups of polycyclic-by-finite groups and arithmetic groups

We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homotopy self-equivalences of K(\Gamma, 1)-spaces and obtain an extension of arithmeticity results of Sullivan in rational homotopy theory

Asymptotic Behavior of Ext functors for modules of finite complete intersection dimension

Let $R$ be a local ring, and let $M$ and $N$ be finitely generated $R$-modules such that $M$ has finite complete intersection dimension. In this paper we define and study, under certain conditions, a pairing using the modules \Ext_R^i(M,N) which generalizes Buchweitz's notion of the Herbrand diference. We exploit this pairing to examine the number of consecutive vanishing of \Ext_R^i(M,N) needed to ensure that \Ext_R^i(M,N)=0 for all $i\gg 0$. Our results recover and improve on most of the known bounds in the literature, especially when $R$ has dimension at most two

Applications of BGP-reflection functors: isomorphisms of cluster algebras

Given a symmetrizable generalized Cartan matrix $A$, for any index $k$, one can define an automorphism associated with $A,$ of the field $\mathbf{Q}(u_1, >..., u_n)$ of rational functions of $n$ independent indeterminates $u_1,..., u_n.$ It is an isomorphism between two cluster algebras associated to the matrix $A$ (see section 4 for precise meaning). When $A$ is of finite type, these isomorphisms behave nicely, they are compatible with the BGP-reflection functors of cluster categories defined in [Z1, Z2] if we identify the indecomposable objects in the categories with cluster variables of the corresponding cluster algebras, and they are also compatible with the "truncated simple reflections" defined in [FZ2, FZ3]. Using the construction of preprojective or preinjective modules of hereditary algebras by Dlab-Ringel [DR] and the Coxeter automorphisms (i.e., a product of these isomorphisms), we construct infinitely many cluster variables for cluster algebras of infinite type and all cluster variables for finite types.Comment: revised versio