Transition delay and drag reduction using biomimetically inspired surface waves

This paper explores the use of Two-Dimensional sinusoidal surface features to delay transition and/or reduce drag. The authors, in this paper demonstrated that the presence of low amplitude sinusoidal surface features might damp the disturbances in the laminar boundary layer, reduce wall shear stress and maintain laminar flow for longer than a conventional flat plate. The hypothesis of the paper is inspired by the simplification of the dermal denticle on the surface of the shark-skin. Simulations are carried out using the Transition SST model in FLUENT based on the evidences of the transition model being suitable for a wider variety of high curvature scenarios. The surface waves are simulated for different amplitudes and wavelengths and their impact on transition onset and drag reduction are quantified at different velocities. Results presented in this paper indicate that a transition delay of 10.8% and a drag reduction of 5.2% are achievable. Furthermore, this paper adds credence to the notion that biomimicry is a very promising avenue for future drag reducing methods

Sustainable positive psychology interventions enhance primary teachers’ wellbeing and beyond – a qualitative case study in England

Positive psychology interventions (PPIs) have become an influential approach to foster teacher wellbeing; however, little research addresses the critiques and sustainability of PPIs. This study investigated teacher experiences of PPIs and the impact on their wellbeing in professional and personal contexts. Qualitative data were collected using multi-methods in a primary school in two settings: staff-meetings with 21 teachers and a self-interest group with 9 teachers. Results showed practising PPIs enhanced teachers' wellbeing multidimensionally and produced positive impacts on others. The challenges experienced and plans for sustainable actions were identified. Insights into sustainable teacher wellbeing programmes and professional development are offered

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be logically characterized in terms of second-order monadic monoidal quantifiers

The role of attributions in abstinence, lapse, and relapse following substance abuse treatment

This study examined the role of attributions in the lapse and relapse process following substance abuse treatment. According to Marlatt and Gordon's theoretical framework, attributions made after a lapse (e.g., the Abstinence Violation Effect [AVE]) determine whether it progresses to a relapse. Also examined were the attributions of recovering drug users who were tempted but remained abstinent (never lapsed). Ninety-seven participants were recruited from an inpatient treatment center for substance abuse and completed an interview 6 months after leaving treatment. Findings partially confirmed predictions made by the AVE. Predictions made by the AVE were not supported in that lapsers and relapsers were similar regarding their internal/external attributions following a return to drug use; predictions were supported as relapsers made more stable and global attributions as compared to lapsers. Also as predicted, abstainers made more internal, stable, and global attributions regarding their abstinence (as compared to lapsers following their slip). Abstainers' attributions for their success in remaining abstinent tended to be similar to the attributions made by relapsers for their failure to remain abstinent (i.e., for their relapse). Combined, these findings highlight the complexity of the attributional process in early recovery from substance abuse. Clinical and research implications of the findings are discussed in relation to substance abuse relapse prevention.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/31616/1/0000547.pd

Investigation of initiation of gigantic jets connecting thunderclouds to the ionosphere

The initiation of giant electrical discharges called as "gigantic jets" connecting thunderclouds to the ionosphere is investigated by numerical simulation method in this paper. Using similarity relations, the triggering conditions of streamer formation in laboratory situations are extended to form a criterion of initiation of gigantic jets. The energy source causing a gigantic jet is considered due to the quasi-electrostatic field generated by thunderclouds. The electron dynamics from ionization threshold to streamer initiation are simulated by the Monte Carlo technique. It is found that gigantic jets are initiated at a height of ~18-24 km. This is in agreement with the observations. The method presented in this paper could be also applied to the analysis of the initiation of other discharges such as blue jets and red sprites.Comment: 12th International Congress on Plasma Physics, 25-29 October 2004, Nice (France

Randomisation and Derandomisation in Descriptive Complexity Theory

We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP, bounded error probabilistic polynomial time, is defined from PTIME. Our main focus lies on questions of derandomisation, and we prove that there is a query which is definable in BPFO, the probabilistic version of first-order logic, but not in Cinf, finite variable infinitary logic with counting. This implies that many of the standard logics of finite model theory, like transitive closure logic and fixed-point logic, both with and without counting, cannot be derandomised. Similarly, we present a query on ordered structures which is definable in BPFO but not in monadic second-order logic, and a query on additive structures which is definable in BPFO but not in FO. The latter of these queries shows that certain uniform variants of AC0 (bounded-depth polynomial sized circuits) cannot be derandomised. These results are in contrast to the general belief that most standard complexity classes can be derandomised. Finally, we note that BPIFP+C, the probabilistic version of fixed-point logic with counting, captures the complexity class BPP, even on unordered structures

Adaptive Water Resource Management for Taste and Odor Control for the Anderson Regional Joint Water System

2016 South Carolina Water Resources Conference South Carolina Water Resources at a Crossroads: Response, Readiness and Recover

Exome Sequencing Identifies a Novel TRPV4 Mutation in a CMT2C Family

Molecular and Cellular Biolog