Adaptive nonlinear polynomial neural networks for control of boundary layer/structural interaction

The acoustic pressures developed in a boundary layer can interact with an aircraft panel to induce significant vibration in the panel. Such vibration is undesirable due to the aerodynamic drag and structure-borne cabin noises that result. The overall objective of this work is to develop effective and practical feedback control strategies for actively reducing this flow-induced structural vibration. This report describes the results of initial evaluations using polynomial, neural network-based, feedback control to reduce flow induced vibration in aircraft panels due to turbulent boundary layer/structural interaction. Computer simulations are used to develop and analyze feedback control strategies to reduce vibration in a beam as a first step. The key differences between this work and that going on elsewhere are as follows: that turbulent and transitional boundary layers represent broadband excitation and thus present a more complex stochastic control scenario than that of narrow band (e.g., laminar boundary layer) excitation; and secondly, that the proposed controller structures are adaptive nonlinear infinite impulse response (IIR) polynomial neural network, as opposed to the traditional adaptive linear finite impulse response (FIR) filters used in most studies to date. The controllers implemented in this study achieved vibration attenuation of 27 to 60 dB depending on the type of boundary layer established by laminar, turbulent, and intermittent laminar-to-turbulent transitional flows. Application of multi-input, multi-output, adaptive, nonlinear feedback control of vibration in aircraft panels based on polynomial neural networks appears to be feasible today. Plans are outlined for Phase 2 of this study, which will include extending the theoretical investigation conducted in Phase 2 and verifying the results in a series of laboratory experiments involving both bum and plate models

How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio

Encephalitis with refractory seizures, status epilepticus, and antibodies to the GABA(A) receptor: a case series, characterisation of the antigen, and analysis of the effects of antibodies

Background Increasing evidence suggests that seizures and status epilepticus can be immune-mediated. We aimed to describe the clinical features of a new epileptic disorder, and to establish the target antigen and the effects of patients' antibodies on neuronal cultures. Methods In this observational study, we selected serum and CSF samples for antigen characterisation from 140 patients with encephalitis, seizures or status epilepticus, and antibodies to unknown neuropil antigens. The samples were obtained from worldwide referrals of patients with disorders suspected to be autoimmune between April 28, 2006, and April 25, 2013. We used samples from 75 healthy individuals and 416 patients with a range of neurological diseases as controls. We assessed the samples using immunoprecipitation, mass spectrometry, cell-based assay, and analysis of antibody effects in cultured rat hippocampal neurons with confocal microscopy. Findings Neuronal cell-membrane immunoprecipitation with serum of two index patients revealed GABA(A) receptor sequences. Cell-based assay with HEK293 expressing alpha 1/beta 3 subunits of the GABA(A) receptor showed high litre serum antibodies (>1:160) and CSF antibodies in six patients. All six patients (age 3-63 years, median 22 years; five male patients) developed refractory status epilepticus or epilepsia partialis continua along with extensive cortical-subcorfical MRI abnormalities; four patients needed pharmacologically induced coma. 12 of 416 control patients with other diseases, but none of the healthy controls, had low-titre GABA(A) receptor antibodies detectable in only serum samples, five of them also had GAD-65 antibodies. These 12 patients (age 2-74 years, median 26.5 years; seven male patients) developed a broader spectrum of symptoms probably indicative of coexisting autoimmune disorders: six had encephalitis with seizures (one with status epilepticus needing pharmacologically induced coma; one with epilepsia partialis continua), four had stiff-person syndrome (one with seizures and limbic involvement), and two had opsoclonusmyoclonus. Overall, 12 of 15 patients for whom treatment and outcome were assessable had full (three patients) or partial (nine patients) response to immunotherapy or symptomatic treatment, and three died. Patients' antibodies caused a selective reduction of GABA(A) receptor dusters at synapses, but not along dendrites, without altering NMDA receptors and gephyrin (a protein that anchors the GABA(A) receptor). Interpretation High titres of serum and CSF GABA(A) receptor antibodies are associated with a severe form of encephalitis with seizures, refractory status epilepticus, or both. The antibodies cause a selective reduction of synaptic GABA(A) receptors. The disorder often occurs with GABAergic and other coexisting autoimmune disorders and is potentially treatable

Encephalitis with refractory seizures, status epilepticus, and antibodies to the GABAA receptor: A case series, characterisation of the antigen, and analysis of the effects of antibodies

Background: Increasing evidence suggests that seizures and status epilepticus can be immune-mediated. We aimed to describe the clinical features of a new epileptic disorder, and to establish the target antigen and the effects of patients' antibodies on neuronal cultures. Methods: In this observational stud