Interstellar helium in interplanetary space

The velocity distribution function of He(+) in the solar wind at 1 AU is calculated with the assumption that the source is photoionization of a cold (T = 100 K), neutral interstellar wind. If the spiral magnetic field is noise free, the velocity distribution is diffuse and would not produce a peak at 4(E over Q) sub H in an E over Q particle spectrum. If the velocity of the interstellar wind with respect to the sun lies in the ecliptic, a large variation of the He(+) number density with respect to ecliptic longitude is expected

Using particle shape to induce tilted and bistable liquid crystal anchoring

We use Monte Carlo simulations of hard Gaussian overlap (HGO) particles symmetrically confined in slab geometry to investigate the role of particle-substrate interactions on liquid crystalline anchoring. Despite the restriction here to purely steric interactions and smooth substrates, a range of behaviours are captured, including tilted anchoring and homeotropic-planar bistability. These macroscopic behaviours are all achieved through appropriate tuning of the microscopics of the HGO-substrate interaction, based upon non-additive descriptions for the HGO-substrate shape parameter.</p

The swiss army knife of job submission tools: grid-control

Grid-control is a lightweight and highly portable open source submission tool that supports virtually all workflows in high energy physics (HEP). Since 2007 it has been used by a sizeable number of HEP analyses to process tasks that sometimes consist of up 100k jobs. grid-control is built around a powerful plugin and configuration system, that allows users to easily specify all aspects of the desired workflow. Job submission to a wide range of local or remote batch systems or grid middleware is supported. Tasks can be conveniently specified through the parameter space that will be processed, which can consist of any number of variables and data sources with complex dependencies on each other. Dataset information is processed through a configurable pipeline of dataset filters, partition plugins and partition filters. The partition plugins can take the number of files, size of the work units, metadata or combinations thereof into account. All changes to the input datasets or variables are propagated through the processing pipeline and can transparently trigger adjustments to the parameter space and the job submission. While the core functionality is completely experiment independent, integration with the CMS computing environment is provided by a small set of plugins.Comment: 8 pages, 7 figures, Proceedings for the 22nd International Conference on Computing in High Energy and Nuclear Physic

Prevalence of Exocrine Pancreatic Insufficiency in Women with Obesity Syndrome: Assessment by Pancreatic Fecal Elastase 1

Background. Previous research on the combined association of 25-hydroxyvitamin D [25(OH)D] and exocrine pancreas insufficiency may have been limited by restricted age variability and a lack of representation of both body weight and body mass index. There are still too few conclusive reports about conspicuous vitamin D metabolism according to pancreatic fecal elastase 1 (FE1) in obese patients. Methods. Between May 2004 and July 2008, we investigated in 125 female patients with obesity syndrome at an average age of approximately 52.9 years as well as in age-matched 80 healthy female controls the prevalence of pancreas insufficiency. Serum levels of PTH, total calcium, and D3 vitamins calcitriol and calcifediol, as well as the concentration of fecal elastase 1 (FE1) were determined in patients and controls. Results. In 75 female nondiabetic patients with obesity syndrome (BMI 35 ≤ 40 kg/m2), calcifediol was markedly decreased (25.0 ± 4.9 ng/mL) compared to controls (50.2 ± 14.7 nmol/L; P < 0.01). FE1 level was significantly decreased in obese subjects compared to controls ( P < 0.01). Calcifediol was significantly lower in patients with morbid obesity (for calcifediol,  P < 0.05). Conclusion. In obese females, pancreatic FE1 in feces confirms the extent of vitamin D supply, and thus shows a vitamin D3 deficiency, depending on the loss of stool content. There seems to be a connection between the loss of exocrine function and the increasing body mass index. Pancreas insufficiency, as detected by low FE1 concentrations, is frequent in obese patients. However, the BMI is an additional factor for lowered fecal excretion of FE1

Algorithmic Verification of Asynchronous Programs

Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the operation and posts a callback task to a task buffer that is executed later when the time-consuming operation completes. A co-operative scheduler mediates the interaction by picking and executing callback tasks from the task buffer to completion (and these callbacks can post further callbacks to be executed later). Writing correct asynchronous programs is hard because the use of callbacks, while efficient, obscures program control flow. We provide a formal model underlying asynchronous programs and study verification problems for this model. We show that the safety verification problem for finite-data asynchronous programs is expspace-complete. We show that liveness verification for finite-data asynchronous programs is decidable and polynomial-time equivalent to Petri Net reachability. Decidability is not obvious, since even if the data is finite-state, asynchronous programs constitute infinite-state transition systems: both the program stack and the task buffer of pending asynchronous calls can be potentially unbounded. Our main technical construction is a polynomial-time semantics-preserving reduction from asynchronous programs to Petri Nets and conversely. The reduction allows the use of algorithmic techniques on Petri Nets to the verification of asynchronous programs. We also study several extensions to the basic models of asynchronous programs that are inspired by additional capabilities provided by implementations of asynchronous libraries, and classify the decidability and undecidability of verification questions on these extensions.Comment: 46 pages, 9 figure

Other‐Sacrificing Options

I argue that you can be permitted to discount the interests of your adversaries even though doing so would be impartially suboptimal. This means that, in addition to the kinds of moral options that the literature traditionally recognises, there exist what I call other-sacrificing options. I explore the idea that you cannot discount the interests of your adversaries as much as you can favour the interests of your intimates; if this is correct, then there is an asymmetry between negative partiality toward your adversaries and positive partiality toward your intimates

Numerical optimization of integrating cavities for diffraction-limited millimeter-wave bolometer arrays

Far-infrared to millimeter-wave bolometers designed to make astronomical observations are typically encased in integrating cavities at the termination of feedhorns or Winston cones. This photometer combination maximizes absorption of radiation, enables the absorber area to be minimized, and controls the directivity of absorption, thereby reducing susceptibility to stray light. In the next decade, arrays of hundreds of silicon nitride micromesh bolometers with planar architectures will be used in ground-based, suborbital, and orbital platforms for astronomy. The optimization of integrating cavity designs is required for achieving the highest possible sensitivity for these arrays. We report numerical simulations of the electromagnetic fields in integrating cavities with an infinite plane-parallel geometry formed by a solid reflecting backshort and the back surface of a feedhorn array block. Performance of this architecture for the bolometer array camera (Bolocam) for cosmology at a frequency of 214 GHz is investigated. We explore the sensitivity of absorption efficiency to absorber impedance and backshort location and the magnitude of leakage from cavities. The simulations are compared with experimental data from a room-temperature scale model and with the performance of Bolocam at a temperature of 300 mK. The main results of the simulations for Bolocam-type cavities are that (1) monochromatic absorptions as high as 95% are achievable with <1% cross talk between neighboring cavities, (2) the optimum absorber impedances are 400 Ω/sq, but with a broad maximum from ~150 to ~700 Ω/sq, and (3) maximum absorption is achieved with absorber diameters ≥1.5λ. Good general agreement between the simulations and the experiments was found

A Look at the Generalized Heron Problem through the Lens of Majorization-Minimization

In a recent issue of this journal, Mordukhovich et al.\ pose and solve an interesting non-differentiable generalization of the Heron problem in the framework of modern convex analysis. In the generalized Heron problem one is given $k+1$ closed convex sets in \Real^d equipped with its Euclidean norm and asked to find the point in the last set such that the sum of the distances to the first $k$ sets is minimal. In later work the authors generalize the Heron problem even further, relax its convexity assumptions, study its theoretical properties, and pursue subgradient algorithms for solving the convex case. Here, we revisit the original problem solely from the numerical perspective. By exploiting the majorization-minimization (MM) principle of computational statistics and rudimentary techniques from differential calculus, we are able to construct a very fast algorithm for solving the Euclidean version of the generalized Heron problem.Comment: 21 pages, 3 figure

Feasibility study of the transonic biplane concept for transport aircraft application

Investigations were conducted to evaluate the feasibility of a transonic biplane consisting of a forward-mounted swept-back lower wing, a rear-mounted swept-forward upper wing, and a vertical fin connecting the wings at their tips. This wing arrangement results in significant reductions in induced drag relative to a monoplane designed with the same span, and it allows for a constant-section fuselage shape while closely matching an ideal area distribution curve for M = 0.95 cruise. However, no significant reductions in ramp weight were achieved for the biplane relative to a monoplane with the same mission capability. Flutter analyses of the biplane revealed both symmetric and antisymmetric instabilities that occur well below the required flutter speed. Further studies will be required to determine if acceptable flutter speeds can be achieved through the elimination of the instabilities by passive means or by active controls. Configurations designed for other missions, especially those with lower Mach numbers and lower dynamic pressures, should be examined since the geometries suitable for those design constraints might avoid the weight penalties and flutter instabilities which prevent exploitation of induced drag benefits for the configuration studied