Physical Electronics

Contains reports on four research projects

SAT-based Explicit LTL Reasoning

We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solving. As a proof-of-concept of this framework, we describe a new LTL satisfiability tool, Aalta\_v2.0, which is built on top of the MiniSAT SAT solver. We test the effectiveness of this approach by demonnstrating that Aalta\_v2.0 significantly outperforms all existing LTL satisfiability solvers. Furthermore, we show that the framework can be extended from propositional LTL to assertional LTL (where we allow theory atoms), by replacing MiniSAT with the Z3 SMT solver, and demonstrating that this can yield an exponential improvement in performance

The theory of pulsar winds and nebulae

We review current theoretical ideas on pulsar winds and their surrounding nebulae. Relativistic MHD models of the wind of the aligned rotator, and of the striped wind, together with models of magnetic dissipation are discussed. It is shown that the observational signature of this dissipation is likely to be point-like, rather than extended, and that pulsed emission may be produced. The possible pulse shapes and polarisation properties are described. Particle acceleration at the termination shock of the wind is discussed, and it is argued that two distinct mechanisms must be operating, with the first-order Fermi mechanism producing the high-energy electrons (above 1 TeV) and either magnetic annihilation or resonant absorption of ion cyclotron waves responsible for the 100 MeV to 1 TeV electrons. Finally, MHD models of the morphology of the nebula are discussed and compared with observation.Comment: 33 pages, to appear in Springer Lecture Notes on "Neutron stars and pulsars, 40 years after the discovery", ed W.Becke

Gender and sexual orientation differences in cognition across adulthood : age is kinder to women than to men regardless of sexual orientation

Despite some evidence of greater age-related deterioration of the brain in males than in females, gender differences in rates of cognitive aging have proved inconsistent. The present study employed web-based methodology to collect data from people aged 20-65 years (109,612 men; 88,509 women). As expected, men outperformed women on tests of mental rotation and line angle judgment, whereas women outperformed men on tests of category fluency and object location memory. Performance on all tests declined with age but significantly more so for men than for women. Heterosexuals of each gender generally outperformed bisexuals and homosexuals on tests where that gender was superior; however, there were no clear interactions between age and sexual orientation for either gender. At least for these particular tests from young adulthood to retirement, age is kinder to women than to men, but treats heterosexuals, bisexuals, and homosexuals just the same

Plasma Dynamics

Contains reports on three research projects.United States Atomic Energy Commission (Contract AT(30-1)-1842)United States Air Force, Air Force Cambridge Research Center, Air Research and Development Command (Contract AF19(604)-5992)National Science Foundation (Grant G-9330)Flight Accessories Laboratory, Wright-Patterson Air Force Base (WADD Contract AF33(616)-3984

Military deployment, masculinity and trauma : reviewing the connections

This article reviews the literature on deployment trauma and examines the limitations of conventional understandings of trauma as they relate to veterans’ experiences. It suggests that the failure to take into account social influences and social relationships limits the usefulness of conventional approaches to trauma. The article considers the role that masculinity plays in male veterans’ experience of and sense making about trauma. It is suggested that while formal recognition of posttraumatic stress disorder in the DSM has provided a helpful language for veterans, it is an incomplete response. A new model of masculinity that better enables the male veteran to speak about trauma and to reconnect with others has implications for counselling practice with veterans

Magnetic Reconnection in Extreme Astrophysical Environments

Magnetic reconnection is a basic plasma process of dramatic rearrangement of magnetic topology, often leading to a violent release of magnetic energy. It is important in magnetic fusion and in space and solar physics --- areas that have so far provided the context for most of reconnection research. Importantly, these environments consist just of electrons and ions and the dissipated energy always stays with the plasma. In contrast, in this paper I introduce a new direction of research, motivated by several important problems in high-energy astrophysics --- reconnection in high energy density (HED) radiative plasmas, where radiation pressure and radiative cooling become dominant factors in the pressure and energy balance. I identify the key processes distinguishing HED reconnection: special-relativistic effects; radiative effects (radiative cooling, radiation pressure, and Compton resistivity); and, at the most extreme end, QED effects, including pair creation. I then discuss the main astrophysical applications --- situations with magnetar-strength fields (exceeding the quantum critical field of about 4 x 10^13 G): giant SGR flares and magnetically-powered central engines and jets of GRBs. Here, magnetic energy density is so high that its dissipation heats the plasma to MeV temperatures. Electron-positron pairs are then copiously produced, making the reconnection layer highly collisional and dressing it in a thick pair coat that traps radiation. The pressure is dominated by radiation and pairs. Yet, radiation diffusion across the layer may be faster than the global Alfv\'en transit time; then, radiative cooling governs the thermodynamics and reconnection becomes a radiative transfer problem, greatly affected by the ultra-strong magnetic field. This overall picture is very different from our traditional picture of reconnection and thus represents a new frontier in reconnection research.Comment: Accepted to Space Science Reviews (special issue on magnetic reconnection). Article is based on an invited review talk at the Yosemite-2010 Workshop on Magnetic Reconnection (Yosemite NP, CA, USA; February 8-12, 2010). 30 pages, no figure

DISTRIBUTION AND PROPERTIES OF CDP-DIGLYCERIDE:INOSITOL TRANSFERASE FROM BRAIN 1

CDP-diglyceride is converted to phosphatidyl inositol by several particulate subcellular fractions of guinea pig brain, with highest specific activity in the microsomal fraction. Optimal conditions with respect to pH, metal ion concentration, and substrate concentrations have been determined. The reaction was stimulated by the addition of bovine serum albumin and by Tween 80. Of several dl-CDP-diglycerides synthesized and used as substrates in a spectrophoto-metric assay for the enzyme, dl-CDP-didecanoin was the most active. The enzyme showed a high selectivity for myo-inositol. Of a number of compounds tested, only scyllo -inosose and epi -inosose served as substrates. Three inositol isomers and three myo -inositol monophosphates inhibited the reaction slightly. The most potent inhibitor found was galactinol, a myo -inositol galactoside.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66197/1/j.1471-4159.1969.tb06850.x.pd

A survey of free software for the design, analysis, modelling, and simulation of an unmanned aerial vehicle

The objective of this paper is to analyze free software for the design, analysis, modelling, and simulation of an unmanned aerial vehicle (UAV). Free software is the best choice when the reduction of production costs is necessary; nevertheless, the quality of free software may vary. This paper probably does not include all of the free software, but tries to describe or mention at least the most interesting programs. The first part of this paper summarizes the essential knowledge about UAVs, including the fundamentals of flight mechanics and aerodynamics, and the structure of a UAV system. The second section generally explains the modelling and simulation of a UAV. In the main section, more than 50 free programs for the design, analysis, modelling, and simulation of a UAV are described. Although the selection of the free software has been focused on small subsonic UAVs, the software can also be used for other categories of aircraft in some cases; e.g. for MAVs and large gliders. The applications with an historical importance are also included. Finally, the results of the analysis are evaluated and discussed—a block diagram of the free software is presented, possible connections between the programs are outlined, and future improvements of the free software are suggested. © 2015, CIMNE, Barcelona, Spain.Internal Grant Agency of Tomas Bata University in Zlin [IGA/FAI/2015/001, IGA/FAI/2014/006