Flight Testing of the Gulfstream Quiet Spike(TradeMark) on a NASA F-15B

Gulfstream Aerospace has long been interested in the development of an economically viable supersonic business jet (SBJ). A design requirement for such an aircraft is the ability for unrestricted supersonic flight over land. Although independent studies continue to substantiate that a market for a SBJ exists, regulatory and public acceptance challenges still remain for supersonic operation over land. The largest technical barrier to achieving this goal is sonic boom attenuation. Gulfstream's attention has been focused on fundamental research into sonic boom suppression for several years. This research was conducted in partnership with the NASA Aeronautics Research Mission Directorate (ARMD) supersonic airframe cruise efficiency technical challenge. The Quiet Spike, a multi-stage telescopic nose boom and a Gulfstream-patented design (references 1 and 2), was developed to address the sonic boom attenuation challenge and validate the technical feasibility of a morphing fuselage. The Quiet Spike Flight Test Program represents a major step into supersonic technology development for sonic boom suppression. The Gulfstream Aerospace Quiet Spike was designed to reduce the sonic boom signature of the forward fuselage for an aircraft flying at supersonic speeds. In 2004, the Quiet Spike Flight Test Program was conceived by Gulfstream and NASA to demonstrate the feasibility of sonic boom mitigation and centered on the structural and mechanical viability of the translating test article design. Research testing of the Quiet Spike consisted of numerous ground and flight operations. Each step in the process had unique objectives, and involved numerous test team members from the NASA Dryden Flight Research Center (DFRC) and Gulfstream Aerospace. Flight testing of the Quiet Spike was conducted at the NASA Dryden Flight Research Center on an F-15B aircraft from August, 2006, to February, 2007. During this period, the Quiet Spike was flown at supersonic speeds up to Mach 1.8 at the maximum design dynamic pressure of 685 pounds per square foot. Extension and retraction tests were conducted at speeds up to Mach 1.4. The design of the Quiet Spike to shape the forward shock wave environment of the aircraft was confirmed during near-field shock wave probing at Mach 1.4. Thirty-two flights were performed without incident and all project objectives were achieved. The success of the Quiet Spike Flight Test Program represents an important step towards developing commercial aircraft capable of supersonic flight over land within the continental United States and in international airspace

Can a connectionist model explain the processing of regularly and irregularly inflected words in German as L1 and L2?

The connectionist model is a prevailing model of the structure and functioning of the cognitive system of the processing of morphology. According to this model, the morphology of regularly and irregularly inflected words (e.g., verb participles and noun plurals) is processed in the same cognitive network. A validation of the connectionist model of the processing of morphology in German as L2 has yet to be achieved. To investigate L2-specific aspects, we compared a group of L1 speakers of German with speakers of German as L2. L2 and L1 speakers of German were assigned to their respective group by their reaction times in picture naming prior to the central task. The reaction times in the lexical decision task of verb participles and noun plurals were largely consistent with the assumption of the connectionist model. Interestingly, speakers of German as L2 showed a specific advantage for irregular compared with regular verb participles

Flight Demonstration Of Low Overpressure N-Wave Sonic Booms And Evanescent Waves

The recent flight demonstration of shaped sonic booms shows the potential for quiet overland supersonic flight, which could revolutionize air transport. To successfully design quiet supersonic aircraft, the upper limit of an acceptable noise level must be determined through quantitative recording and subjective human response measurements. Past efforts have concentrated on the use of sonic boom simulators to assess human response, but simulators often cannot reproduce a realistic sonic boom sound. Until now, molecular relaxation effects on low overpressure rise time had never been compared with flight data. Supersonic flight slower than the cutoff Mach number, which generates evanescent waves, also prevents loud sonic booms from impacting the ground. The loudness of these evanescent waves can be computed, but flight measurement validation is needed. A novel flight demonstration technique that generates low overpressure N-waves using conventional military aircraft is outlined, in addition to initial quantitative flight data. As part of this demonstration, evanescent waves also will be recorded

Novel Concept of Micro Patterned Micro Titer Plates Fabricated via UV-NIL for Automated Neuronal Cell Assay Read-Out

The UV-nanoimprint lithography(UV-NIL) fabrication of a novel network of micron-sized channels, forming an open channel microfluidic system is described. Details about the complete manufacturing process, from mastering to fabrication in small batches and in high throughput with up to 1200 micro titer plates per hour is presented. Deep insight into the evaluation of a suitable UV-curable material, mr-UVCur26SF is given, presenting cytotoxic evaluation, cell compatibility tests and finally a neuronal assay. The results indicate how the given pattern, in combination with the resist, paves the way to faster, cheaper, and more reliable drug screening.This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement NO. 646260. The research was also partially supported by NextGenMicrofluidics project under HORIZON2020 with grant agreement no 862092

Analytic Tableaux for Simple Type Theory and its First-Order Fragment

We study simple type theory with primitive equality (STT) and its first-order fragment EFO, which restricts equality and quantification to base types but retains lambda abstraction and higher-order variables. As deductive system we employ a cut-free tableau calculus. We consider completeness, compactness, and existence of countable models. We prove these properties for STT with respect to Henkin models and for EFO with respect to standard models. We also show that the tableau system yields a decision procedure for three EFO fragments

Mobile Data Collection of Cognitive-Behavioral Tasks in Substance Use Disorders: Where Are We Now?

Introduction: Over the last decades, our understanding of the cognitive, motivational, and neural processes involved in addictive behavior has increased enormously. A plethora of laboratory-based and cross-sectional studies has linked cognitive-behavioral measures to between-subject differences in drinking behavior. However, such laboratory-based studies inevitably suffer from small sample sizes and the inability to link temporal fluctuations in task measures to fluctuations in real-life substance use. To overcome these problems, several existing behavioral tasks have been transferred to smartphones to allow studying cognition in the field. Method: In this narrative review, we first summarize studies that used existing behavioral tasks in the laboratory and self-reports of substance use with ecological momentary assessment (EMA) in the field. Next, we review studies on psychometric properties of smartphone-based behavioral tasks. Finally, we review studies that used both smartphone-based tasks and self-reports with EMA in the field. Results: Overall, studies were scarce and heterogenous both in tasks and in study outcomes. Nevertheless, existing findings are promising and point toward several methodological recommendations: concerning psychometrics, studies show that – although more systematic studies are necessary – task validity and reliability can be improved, for example, by analyzing several measurement sessions at once rather than analyzing sessions separately. Studies that use tasks in the field, moreover, show that power can be improved by choosing sampling schemes that combine time-based with event-based sampling, rather than relying on time-based sampling alone. Increasing sampling frequency can further increase power. However, as this also increases the burden to participants, more research is necessary to determine the ideal sampling frequency for each task. Conclusion: Although more research is necessary to systematically study both the psychometrics of smartphone-based tasks and the frequency at which task measures fluctuate, existing studies are promising and reveal important methodological recommendations useful for researchers interested in implementing behavioral tasks in EMA studies

Mobile Data Collection of Cognitive-Behavioral Tasks in Substance Use Disorders: Where Are We Now?

INTRODUCTION: Over the last decades, our understanding of the cognitive, motivational, and neural processes involved in addictive behavior has increased enormously. A plethora of laboratory-based and cross-sectional studies has linked cognitive-behavioral measures to between-subject differences in drinking behavior. However, such laboratory-based studies inevitably suffer from small sample sizes and the inability to link temporal fluctuations in task measures to fluctuations in real-life substance use. To overcome these problems, several existing behavioral tasks have been transferred to smartphones to allow studying cognition in the field. METHOD: In this narrative review, we first summarize studies that used existing behavioral tasks in the laboratory and self-reports of substance use with ecological momentary assessment (EMA) in the field. Next, we review studies on psychometric properties of smartphone-based behavioral tasks. Finally, we review studies that used both smartphone-based tasks and self-reports with EMA in the field. RESULTS: Overall, studies were scarce and heterogenous both in tasks and in study outcomes. Nevertheless, existing findings are promising and point toward several methodological recommendations: concerning psychometrics, studies show that - although more systematic studies are necessary - task validity and reliability can be improved, for example, by analyzing several measurement sessions at once rather than analyzing sessions separately. Studies that use tasks in the field, moreover, show that power can be improved by choosing sampling schemes that combine time-based with event-based sampling, rather than relying on time-based sampling alone. Increasing sampling frequency can further increase power. However, as this also increases the burden to participants, more research is necessary to determine the ideal sampling frequency for each task. CONCLUSION: Although more research is necessary to systematically study both the psychometrics of smartphone-based tasks and the frequency at which task measures fluctuate, existing studies are promising and reveal important methodological recommendations useful for researchers interested in implementing behavioral tasks in EMA studies

Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory

We study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a full classification of FSAT depending on the first-order signature of non-logical symbols. On the one hand, our development focuses on Trakhtenbrot's theorem, stating that FSAT is undecidable as soon as the signature contains an at least binary relation symbol. Our proof proceeds by a many-one reduction chain starting from the Post correspondence problem. On the other hand, we establish the decidability of FSAT for monadic first-order logic, i.e. where the signature only contains at most unary function and relation symbols, as well as the enumerability of FSAT for arbitrary enumerable signatures. All our results are mechanised in the framework of a growing Coq library of synthetic undecidability proofs

The empirical replicability of task-based fMRI as a function of sample size

Replicating results (i.e. obtaining consistent results using a new independent dataset) is an essential part of good science. As replicability has consequences for theories derived from empirical studies, it is of utmost importance to better understand the underlying mechanisms influencing it. A popular tool for non-invasive neuroimaging studies is functional magnetic resonance imaging (fMRI). While the effect of underpowered studies is well documented, the empirical assessment of the interplay between sample size and replicability of results for task-based fMRI studies remains limited. In this work, we extend existing work on this assessment in two ways. Firstly, we use a large database of 1400 subjects performing four types of tasks from the IMAGEN project to subsample a series of independent samples of increasing size. Secondly, replicability is evaluated using a multi-dimensional framework consisting of 3 different measures: (un)conditional test-retest reliability, coherence and stability. We demonstrate not only a positive effect of sample size, but also a trade-off between spatial resolution and replicability. When replicability is assessed voxelwise or when observing small areas of activation, a larger sample size than typically used in fMRI is required to replicate results. On the other hand, when focussing on clusters of voxels, we observe a higher replicability. In addition, we observe variability in the size of clusters of activation between experimental paradigms or contrasts of parameter estimates within these