Formal languages, part theory, and change

A general definition of interpreted formal language is presented. The notion “is a part of" is formally developed and models of the resulting part theory are used as universes of discourse of the formal languages. It is shown that certain Boolean algebras are models of part theory.

With this development, the structure imposed upon the universe of discourse by a formal language is characterized by a group of automorphisms of the model of part theory. If the model of part theory is thought of as a static world, the automorphisms become the changes which take place in the world. Using this formalism, we discuss a notion of abstraction and the concept of definability. A Galois connection between the groups characterizing formal languages and a language-like closure over the groups is determined.

It is shown that a set theory can be developed within models of part theory such that certain strong formal languages can be said to determine their own set theory. This development is such that for a given formal language whose universe of discourse is a model of part theory, a set theory can be imbedded as a submodel of part theory so that the formal language has parts which are sets as its discursive entities.

Why brush up your Shakespeare and your theory?: an Angela Carter companion to myths

Essa dissertação visa estudar a formação do que veio a ser conhecido como o mito Shakespeariano e sua relação com a produção literária contemporânea, exemplificada pelo romance Wise Children, da romancista inglesa Angela Carter. Tal objetivo pretende ser alcançado por meio uma revisão teórica de elementos relacionados à concepção de mito desenvolvida pelo filósofo francês Roland Barthes, tais quais a concepção tradicional de mito, o Estruturalismo, o Pós-estruturalismo, a crítica ideológica marxista e os Estudos Culturais. Um estudo dos processos históricos que deram origem ao e ajudaram a propagar o mito Shakespeariano também é levado a cabo nessa dissertação: a apropriação da figura e da obra de William Shakespeare feita pelos pré-românticos e pelos românticos em geral; a associação da figura de Shakespeare com a identidade nacional do Império Britânico; o advento da industria Shakespeariana e o papel das adaptações das peças de Shakespeare na propagação do mito Shakespeariano

Plasma inverse scattering theory

The object of this report is to calculate the electron density profile of plane stratified inhomogeneous plasmas. The electron density profile is obtained through a numerical solution of the inverse scattering algorithm.

The inverse scattering algorithm connects the time dependent reflected field resulting from a δ-function field incident normally on the plasma to the inhomogeneous plasma density.

Examples show that the method produces uniquely the electron density on or behind maxima of the plasma frequency.

It is shown that the δ-function incident field used in the inverse scattering algorithm can be replaced by a thin square pulse.

Applications of plasticity theory to selected problems in soil mechanics

Two topics in plane strain perfect plasticity are studied using the method of characteristics. The first is the steady-state indentation of an infinite medium by either a rigid wedge having a triangular cross section or a smooth plate inclined to the direction of motion. Solutions are exact and results include deformation patterns and forces of resistance; the latter are also applicable for the case of incipient failure. Experiments on sharp wedges in clay, where forces and deformations are recorded, showed a good agreement with the mechanism of cutting assumed by the theory; on the other hand the indentation process for blunt wedges transforms into that of compression with a rigid part of clay moving with the wedge. Finite element solutions, for a bilinear material model, were obtained to establish a correspondence between the response of the plane strain wedge and its axi-symmetric counterpart, the cone. Results of the study afford a better understanding of the process of indentation of soils by penetrometers and piles as well as the mechanism of failure of deep foundations (piles and anchor plates).

The second topic concerns the plane strain steady-state free rolling of a rigid roller on clays. The problem is solved approximately for small loads by getting the exact solution of two problems that encompass the one of interest; the first is a steady-state with a geometry that approximates the one of the roller and the second is an instantaneous solution of the rolling process but is not a steady-state. Deformations and rolling resistance are derived. When compared with existing empirical formulae the latter was found to agree closely.

1. Ultrasonic studies of binary liquid structure in the critical region. Theory and experiment for the 2,6-lutidine/water system. 2. Hartree-Fock calculations of electric polarizabilities of some simple atoms and molecules, and their practicality. 3. Calculation of vibrational transition probabilities in collinear atom-diatom and diatom-diatom collisions with Lennard-Jones interaction

Part 1. Many interesting visual and mechanical phenomena occur in the critical region of fluids, both for the gas-liquid and liquid-liquid transitions. The precise thermodynamic and transport behavior here has some broad consequences for the molecular theory of liquids. Previous studies in this laboratory on a liquid-liquid critical mixture via ultrasonics supported a basically classical analysis of fluid behavior by M. Fixman (e. g., the free energy is assumed analytic in intensive variables in the thermodynamics)--at least when the fluid is not too close to critical. A breakdown in classical concepts is evidenced close to critical, in some well-defined ways. We have studied herein a liquid-liquid critical system of complementary nature (possessing a lower critical mixing or consolute temperature) to all previous mixtures, to look for new qualitative critical behavior. We did not find such new behavior in the ultrasonic absorption ascribable to the critical fluctuations, but we did find extra absorption due to chemical processes (yet these are related to the mixing behavior generating the lower consolute point). We rederived, corrected, and extended Fixman's analysis to interpret our experimental results in these more complex circumstances. The entire account of theory and experiment is prefaced by an extensive introduction recounting the general status of liquid state theory. The introduction provides a context for our present work, and also points out problems deserving attention. Interest in these problems was stimulated by this work but also by work in Part 3.

Part 2. Among variational theories of electronic structure, the Hartree-Fock theory has proved particularly valuable for a practical understanding of such properties as chemical binding, electric multipole moments, and X-ray scattering intensity. It also provides the most tractable method of calculating first-order properties under external or internal one-electron perturbations, either developed explicitly in orders of perturbation theory or in the fully self-consistent method. The accuracy and consistency of first-order properties are poorer than those of zero-order properties, but this is most often due to the use of explicit approximations in solving the perturbed equations, or to inadequacy of the variational basis in size or composition. We have calculated the electric polarizabilities of H₂, He, Li, Be, LiH, and N₂ by Hartree-Fock theory, using exact perturbation theory or the fully self-consistent method, as dictated by convenience. By careful studies on total basis set composition, we obtained good approximations to limiting Hartree-Fock values of polarizabilities with bases of reasonable size. The values for all species, and for each direction in the molecular cases, are within 8% of experiment, or of best theoretical values in the absence of the former. Our results support the use of unadorned Hartree-Pock theory for static polarizabilities needed in interpreting electron-molecule scattering data, collision-induced light scattering experiments, and other phenomena involving experimentally inaccessible polarizabilities.

Part 3. Numerical integration of the close-coupled scattering equations has been carried out to obtain vibrational transition probabilities for some models of the electronically adiabatic H₂-H₂ collision. All the models use a Lennard-Jones interaction potential between nearest atoms in the collision partners. We have analyzed the results for some insight into the vibrational excitation process in its dependence on the energy of collision, the nature of the vibrational binding potential, and other factors. We conclude also that replacement of earlier, simpler models of the interaction potential by the Lennard-Jones form adds very little realism for all the complication it introduces. A brief introduction precedes the presentation of our work and places it in the context of attempts to understand the collisional activation process in chemical reactions as well as some other chemical dynamics.

From organism to population: the role of life-history theory

The role of life-history theory in population and evolutionary analyses is outlined. In both cases general life histories can be analysed, but simpler life histories need fewer parameters for their description. The simplest case, of semelparous (breed-once-then-die) organisms, needs only three parameters: somatic growth rate, mortality rate and fecundity. This case is analysed in detail. If fecundity is fixed, population growth rate can be calculated direct from mortality rate and somatic growth rate, and isoclines on which population growth rate is constant can be drawn in a ”state space” with axes for mortality rate and somatic growth rate. In this space density-dependence is likely to result in a population trajectory from low density, when mortality rate is low and somatic growth rate is high and the population increases (positive population growth rate) to high density, after which the process reverses to return to low density. Possible effects of pollution on this system are discussed. The state-space approach allows direct population analysis of the twin effects of pollution and density on population growth rate. Evolutionary analysis uses related methods to identify likely evolutionary outcomes when an organism's genetic options are subject to trade-offs. The trade-off considered here is between somatic growth rate and mortality rate. Such a trade-off could arise because of an energy allocation trade-off if resources spent on personal defence (reducing mortality rate) are not available for somatic growth rate. The evolutionary implications of pollution acting on such a trade-off are outlined.

DIFFERENTIAL GEOMETRICAL METHODS IN THE STUDY OF OPTICAL-TRANSMISSION (SCALAR THEORY) .1. STATIC TRANSMISSION CASE

Static optical transmission is restudied by postulation of the optical path as the proper element in a three-dimensional Riemannian manifold (no torsion); this postulation can be applied to describe the light-medium interactive system. On the basis of the postulation, the behaviors of light transmitting through the medium with refractive index n are investigated, the investigation covering the realms of both geometrical optics and wave optics. The wave equation of light in static transmission is studied modally, the postulation being employed to derive the exact form of the optical field equation in a medium (in which the light is viewed as a single-component field). Correspondingly, the relationships concerning the conservation of optical fluid and the dynamic properties are given, and some simple applications of the theories mentioned are presented.

DIFFERENTIAL GEOMETRICAL METHODS IN THE STUDY OF OPTICAL-TRANSMISSION (SCALAR THEORY) .2. TIME-DEPENDENT TRANSMISSION THEORY

By generalization of the methods presented in Part I of the study [J. Opt. Soc. Am. A 12, 600 (1994)] to the four-dimensional (4D) Riemannian manifold case, the time-dependent behavior of light transmitting in a medium is investigated theoretically by the geodesic equation and curvature in a 4D manifold. In addition, the field equation is restudied, and the 4D conserved current of the optical fluid and its conservation equation are derived and applied to deduce the time-dependent general refractive index. On this basis the forces acting on the fluid are dynamically analyzed and the self-consistency analysis is given.

DEVELOPMENT AND APPLICATIONS OF TIME-DEPENDENT DENSITY MATRIX FUNCTIONAL THEORY

En esta tesis estudiamos las teorías sobre la Matriz Densidad Reducida (MDR) como un marco prometedor. Nos enfocamos sobre esta teorías desde dos aspectos: Primero, usamos algunos modelos sencillos hechos con dos partículas las cuales estan armónicamente confinadas como una base para ilustrar la utilidad de la matriz densidad. Para tales sistemas, usamos la MDR de un cuerpo para calcular algunas cantidades de interés tales como densidad de momentum. Posteriormente obtenemos los orbitales naturales y su número de ocupación para algunos de los modelos, y en uno de los casos expresamos la MDR de dos cuerpos de manera exacta en términos de la MDR de un cuerpo. También usamos el teorema diferencial del virial para establecer una descripción unificada de la familia entera de estos sistemas modelo en términos de la densidad. En la seguna parte cambiamos a casos fuera del equilibrio y analizamos la así llamada jerarquía BBGKY de ecuaciones para describir la evolución temporal de un sistema de muchos cuerpos en términos de sus MDRs (a todos los órdenes). Proveemos un exhaustivo estudio de los desafíos y problemas abiertos ligados a la truncación de tales jerarquías de ecuaciones para hacerlas aplicables. Restringimos nuestro análisis a la evolución acoplada de la MDR de uno y dos cuerpos, donde los efectos de correlación de alto orden estan embebidos dentro de la aproximación usada para cerrar las ecuaciones. Probamos que dentro de esta aproximación, el número de electrones y la energía total se conservan, sin importar la aproximación usada. Luego, demostramos que aplicando los esquemas de truncación de estado base para llevar los electrones a comportamientos indeseables y no físicos, tales como la violación e incluso la divergencia en la densidad electrónica local, tanto en regímenes correlacionados débiles y fuertes.

The propagation of nerve pulses: From the Hodgkin-Huxley model to the soliton theory

The present project aims to describe and study the nature and transmission of nerve pulses. First we review a classical model by Hodgkin-Huxley which describes the nerve pulse as a pure electric signal which propagates due to the opening of some time- and voltage-dependent ion channels. Although this model was quite successful when introduced, it fails to provide a satisfactory explanation to other phenomena that occur in the transmission of nerve pulses, therefore a new theory seems to be necessary. The soliton theory is one such theory, which we explain after introducing two topics that are important for its understanding: (i) the lipid melting of membranes, which are found to display nonlinearity and dispersion during the melting transition, and (ii) the discovery and the conditions required for the existence of solitons. In the soliton theory, the pulse is presented as an electromechanical soliton which forces the membrane through the transition while propagating. The action of anesthesia is also explained in the new framework by the melting point depression caused by anesthetics. Finally, we present a comparison between the two models.

Treewidth: theory and applications to computer science

This report is an introduction to the concept of treewidth, a property of graphs that has important implications in algorithms. Some basic concepts of graph theory are presented in the first chapter for those readers that are not familiar with the notation. In Chapter 2, the definition of treewidth and some different ways of characterizing it are explained. The last two chapters focus on the algorithmic implications of treewidth, which are very relevant in Computer Science. An algorithm to compute the treewidth of a graph is presented and its result can be later applied to many other problems in graph theory, like those introduced in the last chapter.