Cell fate specification during Caenorhabditis elegans male tail development

The cells of the specialized mating structures of the nematode Caenorhabditis elegans adult male tail develop from sex-specific divisions of postembryonic blast cells. One male-specific blast cell, B, is the precursor to all the cells of the copulatory spicules. Both cell interactions and autonomous fate specification mechanisms are utilized in the B lineage to specify fate.

During development the anterior daughter of B, B.a, generates four distinct pairs of cells. Cell ablation experiments indicate that the cells of each pair respond to positional cues provided by other male-specific blast cells. F and U promote anterior fates, Y.p promotes some posterior fates, and the B.a progeny promote posterior fates. The cells within each pair may also interact.

The lin-3/let-23 signalling pathway, identified for its function in C. elegans hermaphrodite vulval induction, mediates the signal from F and U. Reduction-of-function mutations in lin-3 (EGF-like signal), let-23 (receptor), sem-5 (adaptor), let-60 (ras), or lin-45 (raf) disrupt the fates of the anterior cells, and mimic F and U ablation. In addition, ectopically expressed lin-3 disrupts the fates of the posterior cells, and can promote anterior fates even in the absence of F and U.

A genetic screen of over 9000 mutagenized gametes recovered 22 mutations in 20 loci that disrupt fate specification in male tail lineages. Seven of these mutations may represent new genes that play a role in male tail development.

The first division of the B cell is asymmetric. The gene vab-3 is required for specification of B.a fates, and it may represent a factor whose activity is localized to the B.a cell via the gene lin-17. lin-17 acts both at the first division of the B cell and at specific other cell divisions in the lineage.

Parylene-C as a new piezoelectric material

The goal of this thesis is to develop a proper microelectromechanical systems (MEMS) process to manufacture piezoelectric Parylene-C (PA-C), which is famous for its chemical inertness, mechanical and thermal properties and electrical insulation. Furthermore, piezoelectric PA-C is used to build miniature, inexpensive, non-biased piezoelectric microphones.

These piezoelectric PA-C MEMS microphones are to be used in any application where a conventional piezoelectric and electret microphone can be used, such as in cell phones and hearing aids. However, they have the advantage of a simplified fabrication process compared with existing technology. In addition, as a piezoelectric polymer, PA-C has varieties of applications due to its low dielectric constant, low elastic stiffness, low density, high voltage sensitivity, high temperature stability and low acoustic and mechanical impedance. Furthermore, PA-C is an FDA approved biocompatible material and is able to maintain operate at a high temperature.

To accomplish piezoelectric PA-C, a MEMS-compatible poling technology has been developed. The PA-C film is poled by applying electrical field during heating. The piezoelectric coefficient, -3.75pC/N, is obtained without film stretching.

The millimeter-scale piezoelectric PA-C microphone is fabricated with an in-plane spiral arrangement of two electrodes. The dynamic range is from less than 30 dB to above 110 dB SPL (referenced 20 µPa) and the open-circuit sensitivities are from 0.001 – 0.11 mV/Pa over a frequency range of 1 - 10 kHz. The total harmonic distortion of the device is less than 20% at 110 dB SPL and 1 kHz.

Design, specification, and synthesis of aircraft electric power systems control logic

Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, ac- tuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based spec- ifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considera- tions for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area.

This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller.

The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is ex- plored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system.

Extracting material response from simple mechanical tests on hardening-softening-hardening viscoplastic solids

Compliant foams are usually characterized by a wide range of desirable mechanical properties. These properties include viscoelasticity at different temperatures, energy absorption, recoverability under cyclic loading, impact resistance, and thermal, electrical, acoustic and radiation-resistance. Some foams contain nano-sized features and are used in small-scale devices. This implies that the characteristic dimensions of foams span multiple length scales, rendering modeling their mechanical properties difficult. Continuum mechanics-based models capture some salient experimental features like the linear elastic regime, followed by non-linear plateau stress regime. However, they lack mesostructural physical details. This makes them incapable of accurately predicting local peaks in stress and strain distributions, which significantly affect the deformation paths. Atomistic methods are capable of capturing the physical origins of deformation at smaller scales, but suffer from impractical computational intensity. Capturing deformation at the so-called meso-scale, which is capable of describing the phenomenon at a continuum level, but with some physical insights, requires developing new theoretical approaches.

A fundamental question that motivates the modeling of foams is ‘how to extract the intrinsic material response from simple mechanical test data, such as stress vs. strain response?’ A 3D model was developed to simulate the mechanical response of foam-type materials. The novelty of this model includes unique features such as the hardening-softening-hardening material response, strain rate-dependence, and plastically compressible solids with plastic non-normality. Suggestive links from atomistic simulations of foams were borrowed to formulate a physically informed hardening material input function. Motivated by a model that qualitatively captured the response of foam-type vertically aligned carbon nanotube (VACNT) pillars under uniaxial compression [2011,“Analysis of Uniaxial Compression of Vertically Aligned Carbon Nanotubes,” J. Mech.Phys. Solids, 59, pp. 2227–2237, Erratum 60, 1753–1756 (2012)], the property space exploration was advanced to three types of simple mechanical tests: 1) uniaxial compression, 2) uniaxial tension, and 3) nanoindentation with a conical and a flat-punch tip. The simulations attempt to explain some of the salient features in experimental data, like
1) The initial linear elastic response.
2) One or more nonlinear instabilities, yielding, and hardening.

The model-inherent relationships between the material properties and the overall stress-strain behavior were validated against the available experimental data. The material properties include the gradient in stiffness along the height, plastic and elastic compressibility, and hardening. Each of these tests was evaluated in terms of their efficiency in extracting material properties. The uniaxial simulation results proved to be a combination of structural and material influences. Out of all deformation paths, flat-punch indentation proved to be superior since it is the most sensitive in capturing the material properties.

Large plane deformations of thin elastic sheets of neo-hookean material

Large plane deformations of thin elastic sheets of neo-Hookean material are considered and a method of successive substitutions is developed to solve problems within the two-dimensional theory of finite plane stress. The first approximation is determined by linear boundary value problems on two harmonic functions, and it is approached asymptotically at very large extensions in the plane of the sheet. The second and higher approximations are obtained by solving Poisson equations. The method requires modification when the membrane has a traction-free edge.

Several problems are treated involving infinite sheets under uniform biaxial stretching at infinity. First approximations are obtained when a circular or elliptic inclusion is present and when the sheet has a circular or elliptic hole, including the limiting cases of a line inclusion and a straight crack or slit. Good agreement with exact solutions is found for circularly symmetric deformations. Other examples discuss the stretching of a short wide strip, the deformation near a boundary corner which is traction-free, and the application of a concentrated load to a boundary point.