A smoothing technique for discrete delta functions with application to immersed boundary method in moving boundary simulations.

The effects of complex boundary conditions on flows are represented by a volume force in the immersed boundary methods. The problem with this representation is that the volume force exhibits non-physical oscillations in moving boundary simulations. A smoothing technique for discrete delta functions has been developed in this paper to suppress the non-physical oscillations in the volume forces. We have found that the non-physical oscillations are mainly due to the fact that the derivatives of the regular discrete delta functions do not satisfy certain moment conditions. It has been shown that the smoothed discrete delta functions constructed in this paper have one-order higher derivative than the regular ones. Moreover, not only the smoothed discrete delta functions satisfy the first two discrete moment conditions, but also their derivatives satisfy one-order higher moment condition than the regular ones. The smoothed discrete delta functions are tested by three test cases: a one-dimensional heat equation with a moving singular force, a two-dimensional flow past an oscillating cylinder, and the vortex-induced vibration of a cylinder. The numerical examples in these cases demonstrate that the smoothed discrete delta functions can effectively suppress the non-physical oscillations in the volume forces and improve the accuracy of the immersed boundary method with direct forcing in moving boundary simulations.

Valuing a Natura 2000 network site to inform land use options using a discrete choice experiment: An illustration from the Basque Country

One of the main problems that public institutions face in the management of protected areas, such as the European Natura 2000 network, is determining how to design and implement sustainable management plans that account for the wide range of marketed and non-marketed benefits they provide to society. This paper presents an application of a stated preference valuation approach aimed at evaluating the social preferences of the population of the Basque Country, Spain, for the key attributes of a regional Natura 2000 network site. According to our results, individuals’ willingness-to-pay (WTP) is higher for attributes associated with non-use values (native tree species and biodiversity conservation) than for attributes associated with use values (agricultural development and commercial forestry). The paper concludes that management policies related to Natura 2000 network sites should account for both for the importance of non-use values and the heterogeneity of the population's preferences in order to minimize potential land use conflicts.

Dynamics of discrete bubble in nucleate pool boiling on thin wires in microgravity

A space experiment on bubble behavior and heat transfer in subcooled pool boiling phenomenon has been performed utilizing the temperature-controlled pool boiling (TCPB) device both in normal gravity in the laboratory and in microgravity aboard the 22(nd) Chinese recoverable satellite. The fluid is degassed R113 at 0.1 MPa and subcooled by 26 degrees C nominally. A thin platinum wire of 60 mu m in diameter and 30 mm in length is simultaneously used as heater and thermometer. Only the dynamics of the vapor bubbles, particularly the lateral motion and the departure of discrete vapor bubbles in nucleate pool boiling are reported and analyzed in the present paper. It's found that these distinct behaviors can be explained by the Marangoni convection in the liquid surrounding vapor bubbles. The origin of the Marangoni effect is also discussed.

Laser Guiding in the Randomicity of Discrete Surface Strengthening by Arc Discharge

Several discharge areas by laser-guided discharge (LGD) were compared with those by common arc discharge. The randomicity of discharge areas by common arc discharge was controlled by laser guiding on two scales: large scale (the spacing of the discharge areas) and small scale (the inside of the discharge area). The position of the discharge area overlapped completely with a laser focus; therefore, the distribution and surface shape of the discharge areas were controlled. The stochastic movement of anode spot in the discharge area was controlled by laser guiding. As such, the repetitive melting and solidifying of microstructures in the discharge area was constrained. The tempered microstruc- tures in the discharge area were voided, the utilization efficiency of input energy was improved, and the strengthened depth of the discharge areas was increased. The regularity of cross-sectional shape of the discharge area was also improved. The hardness of microstructures in both discharge areas is greater than that of the base material. The highest level of hardness of microstructures in both discharge areas measures above 1000 HV. In summary, the hardness ofmicrostructures in the discharge area by LGD is larger and more discrete than that by common arc discharge.

Nonlinear oscillations in discrete and continuous systems

The first thesis topic is a perturbation method for resonantly coupled nonlinear oscillators. By successive near-identity transformations of the original equations, one obtains new equations with simple structure that describe the long time evolution of the motion. This technique is related to two-timing in that secular terms are suppressed in the transformation equations. The method has some important advantages. Appropriate time scalings are generated naturally by the method, and don't need to be guessed as in two-timing. Furthermore, by continuing the procedure to higher order, one extends (formally) the time scale of valid approximation. Examples illustrate these claims. Using this method, we investigate resonance in conservative, non-conservative and time dependent problems. Each example is chosen to highlight a certain aspect of the method.

The second thesis topic concerns the coupling of nonlinear chemical oscillators. The first problem is the propagation of chemical waves of an oscillating reaction in a diffusive medium. Using two-timing, we derive a nonlinear equation that determines how spatial variations in the phase of the oscillations evolves in time. This result is the key to understanding the propagation of chemical waves. In particular, we use it to account for certain experimental observations on the Belusov-Zhabotinskii reaction.

Next, we analyse the interaction between a pair of coupled chemical oscillators. This time, we derive an equation for the phase shift, which measures how much the oscillators are out of phase. This result is the key to understanding M. Marek's and I. Stuchl's results on coupled reactor systems. In particular, our model accounts for synchronization and its bifurcation into rhythm splitting.

Finally, we analyse large systems of coupled chemical oscillators. Using a continuum approximation, we demonstrate mechanisms that cause auto-synchronization in such systems.

Social Organisation of the Short-finned Pilot Whale, Globicephala macrorhynchus, with Special Reference to the Comparative Social Ecology of Delphinids

As a contribution to the understanding of comparative social trends within the cetacean family Delphinidae, a 22-month study was conducted on the shortfinned pilot whale, Globicephala macrorhynchus, which has been suggested to have a unique social system in which males and females in the same group are related and mating occurs outside of the group. The individual identification of 495 pilot whales, analysed in daily group association patterns, allowed identification of 46 pods. They were classified as productive or non-productive based on the presence or absence of immature animals. Productive pods were a significantly larger, although 12% of them lacked adult males. Two classes of whales (residents and visitors) were defined by patterns of occurrence,suggesting differential patterns of habitat use. Resident pods occasionally travelled together (41% of all groups) and associations between age and sex classes showed that in mixed-pod groups, the highest ranked associations of the reproductive females were with males from other pods, while within pods, adult males and females associated less. During summer, the proposed peak conception period, pilot whale groups were significantly larger and contained individuals from a significantly greater number of pods. These findings support the hypothesis that males and females mate when associating with individuals from other pods. A comparative analysis of sexual dimorphism, brain size, and testes size, habitat, prey and group size within the 17 delphinid genera identified a correlation between sexual dimorphism and body size, but relative measures of brain size and testes size did not correlate with broad ecological or social classifications. However, a comparison of three delphinid societies identified two distinct male mating systems: males of the small, mono-morphic Tursiops truncatus live in age/sex segregated groups and mate with a number of discrete female communities. Males in the large sexually dimorphic Glob icephala spp. and Orcinus orca mate with associated female pods and yet remain with their female kin. This corresponds to the avunculate social system described in some human societies. It could evolve from a promiscuous mating system where there is little guarantee of paternity and where males that live with their kin increase their inclusive fitness.

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.

Ion acceleration with mixed solid targets interacting with circularly polarized lasers

The interaction of a circularly polarized laser pulse with a mixed solid target containing two species of ions is studied by particle in cell simulations and analytical model. After the interaction tends to be stable, it is demonstrated that the acceleration is more efficient for the heavier ions than that in plasmas containing a single kind of heavy ion and the acceleration efficiency is higher when its proportion is lower. To obtain monoenergetic heavy-ion beams, a sandwich target with a thin mixed ion layer between two light ion layers and a microstructured target are proposed. The influences of parameters of the laser pulse and target on ion acceleration are discussed in detail. It is found that, when the target is thick enough, a cold target is more appropriate for heavy-ion acceleration than a warm target, and the velocity of the reflected heavy ions is proportional to the laser amplitude.

Control of dynamical systems with temporal logic specifications

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.

I. Spectroscopic evidence for slow vibrational relaxation in excited electronic states of diatomics in rare gas solids. II. Static crystal field effects in the electronic spectra of isotopically mixed benzene crystals

Part I

Studies of vibrational relaxation in excited electronic states of simple diatomic molecules trapped in solid rare-gas matrices at low temperatures are reported. The relaxation is investigated by monitoring the emission intensity from vibrational levels of the excited electronic state to vibrational levels of the ground electronic state. The emission was in all cases excited by bombardment of the doped rare-gas solid with X-rays.

The diatomics studied and the band systems seen are: N₂, Vegard-Kaplan and Second Positive systems; O₂, Herzberg system; OH and OD, A ²Σ⁺ - X²II_i system. The latter has been investigated only in solid Ne, where both emission and absorption spectra were recorded; observed fine structure has been partly interpreted in terms of slightly perturbed rotational motion in the solid. For N₂, OH, and OD emission occurred from v' > 0, establishing a vibrational relaxation time in the excited electronic state of the order, of longer than, the electronic radiative lifetime. The relative emission intensity and decay times for different v' progressions in the Vegard-Kaplan system are found to depend on the rare-gas host and the N₂ concentration, but are independent of temperature in the range 1.7°K to 30°K.

Part II

Static crystal field effects on the absorption, fluorescence, and phosphorescence spectra of isotopically mixed benzene crystals were investigated. Evidence is presented which demonstrate that in the crystal the ground, lowest excited singlet, and lowest triplet states of the guest deviate from hexagonal symmetry. The deviation appears largest in the lowest triplet state and may be due to an intrinsic instability of the ³B_1u state. High resolution absorption and phospho- rescence spectra are reported and analyzed in terms of site-splitting of degenerate vibrations and orientational effects. The guest phosphorescence lifetime for various benzene isotopes in C₆D₆ and sym-C₆H₃D₃ hosts is presented and discussed.

Functionalization of Si(111) surfaces and the formation of mixed monolayers for the covalent attachment of molecular catalysts in photoelectrochemical devices

The functionalization of silicon surfaces with molecular catalysts for proton reduction is an important part of the development of a solar-powered, water-splitting device for solar fuel formation. The covalent attachment of these catalysts to silicon without damaging the underlying electronic properties of silicon that make it a good photocathode has proven difficult. We report the formation of mixed monolayer-functionalized surfaces that incor- porate both methyl and vinylferrocenyl or vinylbipyridyl (vbpy) moieties. The silicon was functionalized using reaction conditions analogous to those of hydrosilylation, but instead of a H-terminated Si surface, a chlorine-terminated Si precursor surface was used to produce the linked vinyl-modified functional group. The functionalized surfaces were characterized by time-resolved photoconductivity decay, X-ray photoelectron spectroscopy (XPS), electro- chemical, and photoelectrochemical measurements. The functionalized Si surfaces were well passivated, exhibited high surface coverage and few remaining reactive Si atop sites, had a very low surface recombination velocity, and displayed little initial surface oxidation. The surfaces were stable toward atmospheric and electrochemical oxidation. The surface coverage of ferrocene or bipyridine was controllably varied from 0 up to 30% of a monolayer without loss of the underlying electronic properties of the silicon. Interfacial charge transfer to the attached ferrocene group was relatively rapid, and a photovoltage of 0.4 V was generated upon illumination of functionalized n-type silicon surfaces in CH₃CN. The immobilized bipyridine ligands bound transition metal ions, and thus enabled the assembly of metal complexes on the silicon surface. XPS studies demonstrated that [Cp∗Rh(vbpy)Cl]Cl, [Cp∗Ir(vbpy)Cl]Cl, and Ru(acac)₂vbpy were assembled on the surface. For the surface prepared with iridium, x-ray absorption spectroscopy at the Ir L_III edge showed an edge energy and post-edge features virtually identical to a powder sample of [Cp∗Ir(bipy)Cl]Cl (bipy is 2,2 ́-bipyridyl). Electrochemical studies on these surfaces confirmed that the assembled complexes were electrochemically active.