Advances in organic catalysis: the design of a novel asymmetric, organocatalytic intramolecular Diels Alder reaction

No abstract.

Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

Optimal design of building structures using genetic algorithms

A general framework for multi-criteria optimal design is presented which is well-suited for automated design of structural systems. A systematic computer-aided optimal design decision process is developed which allows the designer to rapidly evaluate and improve a proposed design by taking into account the major factors of interest related to different aspects such as design, construction, and operation.

The proposed optimal design process requires the selection of the most promising choice of design parameters taken from a large design space, based on an evaluation using specified criteria. The design parameters specify a particular design, and so they relate to member sizes, structural configuration, etc. The evaluation of the design uses performance parameters which may include structural response parameters, risks due to uncertain loads and modeling errors, construction and operating costs, etc. Preference functions are used to implement the design criteria in a "soft" form. These preference functions give a measure of the degree of satisfaction of each design criterion. The overall evaluation measure for a design is built up from the individual measures for each criterion through a preference combination rule. The goal of the optimal design process is to obtain a design that has the highest overall evaluation measure - an optimization problem.

Genetic algorithms are stochastic optimization methods that are based on evolutionary theory. They provide the exploration power necessary to explore high-dimensional search spaces to seek these optimal solutions. Two special genetic algorithms, hGA and vGA, are presented here for continuous and discrete optimization problems, respectively.

The methodology is demonstrated with several examples involving the design of truss and frame systems. These examples are solved by using the proposed hGA and vGA.

Computational design of self-assembling proteins and protein-DNA nanowires

Computational protein design (CPD) is a burgeoning field that uses a physical-chemical or knowledge-based scoring function to create protein variants with new or improved properties. This exciting approach has recently been used to generate proteins with entirely new functions, ones that are not observed in naturally occurring proteins. For example, several enzymes were designed to catalyze reactions that are not in the repertoire of any known natural enzyme. In these designs, novel catalytic activity was built de novo (from scratch) into a previously inert protein scaffold. In addition to de novo enzyme design, the computational design of protein-protein interactions can also be used to create novel functionality, such as neutralization of influenza. Our goal here was to design a protein that can self-assemble with DNA into nanowires. We used computational tools to homodimerize a transcription factor that binds a specific sequence of double-stranded DNA. We arranged the protein-protein and protein-DNA binding sites so that the self-assembly could occur in a linear fashion to generate nanowires. Upon mixing our designed protein homodimer with the double-stranded DNA, the molecules immediately self-assembled into nanowires. This nanowire topology was confirmed using atomic force microscopy. Co-crystal structure showed that the nanowire is assembled via the desired interactions. To the best of our knowledge, this is the first example of a protein-DNA self-assembly that does not rely on covalent interactions. We anticipate that this new material will stimulate further interest in the development of advanced biomaterials.

Rational design of zinc phosphide heterojunction photovoltaics

The prospect of terawatt-scale electricity generation using a photovoltaic (PV) device places strict requirements on the active semiconductor optoelectronic properties and elemental abundance. After reviewing the constraints placed on an "earth-abundant" solar absorber, we find zinc phosphide (α-Zn₃P₂) to be an ideal candidate. In addition to its near-optimal direct band gap of 1.5 eV, high visible-light absorption coefficient (>10⁴ cm^-1), and long minority-carrier diffusion length (>5 μm), Zn₃P₂ is composed of abundant Zn and P elements and has excellent physical properties for scalable thin-film deposition. However, to date, a Zn₃P₂ device of sufficient efficiency for commercial applications has not been demonstrated. Record efficiencies of 6.0% for multicrystalline and 4.3% for thin-film cells have been reported, respectively. Performance has been limited by the intrinsic p-type conductivity of Zn₃P₂ which restricts us to Schottky and heterojunction device designs. Due to our poor understanding of Zn₃P₂ interfaces, an ideal heterojunction partner has not yet been found.

The goal of this thesis is to explore the upper limit of solar conversion efficiency achievable with a Zn₃P₂ absorber through the design of an optimal heterojunction PV device. To do so, we investigate three key aspects of material growth, interface energetics, and device design. First, the growth of Zn₃P₂ on GaAs(001) is studied using compound-source molecular-beam epitaxy (MBE). We successfully demonstrate the pseudomorphic growth of Zn₃P₂ epilayers of controlled orientation and optoelectronic properties. Next, the energy-band alignments of epitaxial Zn₃P₂ and II-VI and III-V semiconductor interfaces are measured via high-resolution x-ray photoelectron spectroscopy in order to determine the most appropriate heterojunction partner. From this work, we identify ZnSe as a nearly ideal n-type emitter for a Zn₃P₂ PV device. Finally, various II-VI/Zn₃P₂ heterojunction solar cells designs are fabricated, including substrate and superstrate architectures, and evaluated based on their solar conversion efficiency.

A. An investigation of the relation between the tensile strength and (Brinell) hardness of non-ferrous alloys. B. A design of a fatigue testing machine for a college laboratory

[no abstract]

Design of antenna-coupled lumped-element titanium nitride KIDs for long-wavelength multi-band continuum imaging

Many applications in cosmology and astrophysics at millimeter wavelengths including CMB polarization, studies of galaxy clusters using the Sunyaev-Zeldovich effect (SZE), and studies of star formation at high redshift and in our local universe and our galaxy, require large-format arrays of millimeter-wave detectors. Feedhorn and phased-array antenna architectures for receiving mm-wave light present numerous advantages for control of systematics, for simultaneous coverage of both polarizations and/or multiple spectral bands, and for preserving the coherent nature of the incoming light. This enables the application of many traditional "RF" structures such as hybrids, switches, and lumped-element or microstrip band-defining filters.

Simultaneously, kinetic inductance detectors (KIDs) using high-resistivity materials like titanium nitride are an attractive sensor option for large-format arrays because they are highly multiplexable and because they can have sensitivities reaching the condition of background-limited detection. A KID is a LC resonator. Its inductance includes the geometric inductance and kinetic inductance of the inductor in the superconducting phase. A photon absorbed by the superconductor breaks a Cooper pair into normal-state electrons and perturbs its kinetic inductance, rendering it a detector of light. The responsivity of KID is given by the fractional frequency shift of the LC resonator per unit optical power.

However, coupling these types of optical reception elements to KIDs is a challenge because of the impedance mismatch between the microstrip transmission line exiting these architectures and the high resistivity of titanium nitride. Mitigating direct absorption of light through free space coupling to the inductor of KID is another challenge. We present a detailed titanium nitride KID design that addresses these challenges. The KID inductor is capacitively coupled to the microstrip in such a way as to form a lossy termination without creating an impedance mismatch. A parallel plate capacitor design mitigates direct absorption, uses hydrogenated amorphous silicon, and yields acceptable noise. We show that the optimized design can yield expected sensitivities very close to the fundamental limit for a long wavelength imager (LWCam) that covers six spectral bands from 90 to 400 GHz for SZE studies.

Excess phase (frequency) noise has been observed in KID and is very likely caused by two-level systems (TLS) in dielectric materials. The TLS hypothesis is supported by the measured dependence of the noise on resonator internal power and temperature. However, there is still a lack of a unified microscopic theory which can quantitatively model the properties of the TLS noise. In this thesis we derive the noise power spectral density due to the coupling of TLS with phonon bath based on an existing model and compare the theoretical predictions about power and temperature dependences with experimental data. We discuss the limitation of such a model and propose the direction for future study.

Biological Activity of Rhodium Metalloinsertors and the Design of Bifunctional Conjugates

The Barton laboratory has established that octahedral rhodium complexes bearing the sterically expansive 5,6-chrysene diimine ligand can target thermodynamically destabilized sites, such as base pair mismatches, in DNA with high affinity and selectivity. These complexes approach DNA from the minor groove, ejecting the mismatched base pairs from the duplex in a binding mode termed metalloinsertion. In recent years, we have shown that these metalloinsertor complexes also exhibit cytotoxicity preferentially in cancer cells that are deficient in the mismatch repair (MMR) machinery.

Here, we establish that a sensitive structure-activity relationship exists for rhodium metalloinsertors. We studied the relationship between the chemical structures of metalloinsertors and their effect on biological activity for ten complexes with similar DNA binding affinities, but wide variation in their lipophilicity. Drastic differences were observed in the selectivities of the complexes for MMR-deficient cells. Compounds with hydrophilic ligands were highly selective, exhibiting preferential cytotoxicity in MMR-deficient cells at low concentrations and short incubation periods, whereas complexes with lipophilic ligands displayed poor cell-selectivity. It was discovered that all of the complexes localized to the nucleus in concentrations sufficient for mismatch binding; however, highly lipophilic complexes also exhibited high mitochondrial uptake. Significantly, these results support the notion that mitochondrial DNA is not the desired target for our metalloinsertor complexes; instead, selectivity stems from targeting mismatches in genomic DNA.

We have also explored the potential for metalloinsertors to be developed into more complex structures with multiple functionalities that could either enhance their overall potency or impart mismatch selectivity onto other therapeutic cargo. We have constructed a family of bifunctional metalloinsertor conjugates incorporating cis-platinum, each unique in its chemical structure, DNA binding interactions, and biological activity. The study of these complexes in MMR-deficient cells has established that the cell-selective biological activity of rhodium metalloinsertors proceeds through a critical cellular pathway leading to necrosis.

We further explored the underlying mechanisms surrounding the biological response to mismatch recognition by metalloinsertors in the genome. Immunofluorescence assays of MMR-deficient and MMR-proficient cells revealed that a critical biomarker for DNA damage, phosphorylation of histone H2AX (γH2AX) rapidly accumulates in response to metalloinsertor treatment, signifying the induction of double strand breaks in the genome. Significantly, we have discovered that our metalloinsertor complexes selectively inhibit transcription in MMR-deficient cells, which may be a crucial checkpoint in the eventual breakdown of the cell via necrosis. Additionally, preliminary in vivo studies have revealed the capability of these compounds to traverse the complex environments of multicellular organisms and accumulate in MMR-deficient tumors. Our ever-increasing understanding of metalloinsertors, as well as the development of new generations of complexes both monofunctional and bifunctional, enables their continued progress into the clinic as promising new chemotherapeutic agents.

Design of an aerial tramway

An Aerial Tramway is a device for transporting material in receptacles over wire ropes supported at various elevations above the ground by means of posts or standards. Wire rope has been known for many centuries, and there is a drawing of a ropeway appearing in a book dated 1411.

Design of an oxygen flow meter for hospital application

A general description of the need for hospital flow meters is given along with an analysis of some common flow measurement methods.

The design criteria, establishment of the basic configuration of the instrument, and the evolution of the final design are presented in detail. The ability of the magnetic crossover mechanism to extract the square root of an input is explained, and design curves are presented. The action of the flow totalizer is described in relation to the rest of the instrument. A complete set of manufacturing drawings for the instrument and its tooling is included in the thesis.

In conclusion, an evaluation of the completed instrument is made, and improvements and modifications are indicated. Mention is made of the adaptability of the magnetic crossover mechanism to other instrumentation.

Design of a timber Howe truss highway bridge

The span of the bridge was assumed as 100 feet. The type of bridge used is the timber Howe Truss. The height of truss was taken as 20 feet between center lines of top and bottom chords. The width was taken as 18 feet center to center of trusses. The truss was divided up into five panels 20 feet long.

It was designed according to the "General Specifications for Steel Highway Bridges" by Ketchum. For the live load for the floor and its supports, a load of 80 pounds per square foot of total floor surface or a 15 ton traction engine with axles 10 feet centers and 6 feet gage, two thirds of load to be carried by rear axles.

For the truss a load of 75 pounds per square foot of floor surface.

For the wind load the bottom lateral bracing is to be designed to resist a lateral wind load of 300 pounds per foot of span; 150 pounds of this to be treated as a moving load.

The top lateral bracing is to be designed to resist a lateral wind force of 150 pounds per foot of span.

The timber to be used in the bridge is to be Douglas fir.

The unit stresses used for timber are those of the American Railway Engineering Association.

A scaling technique for the design of idealized electromagnetic lenses

A technique is developed for the design of lenses for transitioning TEM waves between conical and/or cylindrical transmission lines, ideally with no reflection or distortion of the waves. These lenses utilize isotropic but inhomogeneous media and are based on a solution of Maxwell's equations instead of just geometrical optics. The technique employs the expression of the constitutive parameters, ɛ and μ, plus Maxwell's equations, in a general orthogonal curvilinear coordinate system in tensor form, giving what we term as formal quantities. Solving the problem for certain types of formal constitutive parameters, these are transformed to give ɛ and μ as functions of position. Several examples of such lenses are considered in detail.