Neural Simplex Architecture

We present the Neural Simplex Architecture (NSA), a new approach to runtime assurance that provides safety guarantees for neural controllers (obtained e.g. using reinforcement learning) of autonomous and other complex systems without unduly sacrificing performance. NSA is inspired by the Simplex control architecture of Sha et al., but with some significant differences. In the traditional approach, the advanced controller (AC) is treated as a black box; when the decision module switches control to the baseline controller (BC), the BC remains in control forever. There is relatively little work on switching control back to the AC, and there are no techniques for correcting the AC's behavior after it generates a potentially unsafe control input that causes a failover to the BC. Our NSA addresses both of these limitations. NSA not only provides safety assurances in the presence of a possibly unsafe neural controller, but can also improve the safety of such a controller in an online setting via retraining, without overly degrading its performance. To demonstrate NSA's benefits, we have conducted several significant case studies in the continuous control domain. These include a target-seeking ground rover navigating an obstacle field, and a neural controller for an artificial pancreas system.Comment: 12th NASA Formal Methods Symposium (NFM 2020

Structural design options for the new 34 meter beam waveguide antenna

In addition to the successful network of 34 m High Efficiency antennas recently built by JPL, the Deep Space Network (DSN) is embarking on the construction of a 34 m high performance, research and development antenna with beam waveguide optics at the Venus site. The construction of this antenna presents many engineering challenges in the area of structural, mechanical, RF, and pointing system design. A set of functional and structural design requirements is outlined to guide analysts in the final configuration selection. Five design concepts are presented covering both the conventional center-fed beam optics as well as the nonconventional, by-pass beam configuration. The merits of each concept are discussed with an emphasis on obtaining a homologous design. The preliminary results of structural optimization efforts, currently in progress, are promising, indicating the feasibility of meeting, as a minimum, all X-band (8.4 GHz) requirements, with a goal towards meeting Ka-band (32 GHz) quality performance, at the present budget constraints

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

Citizen advisory groups for the creation and improvement of decision aids: experience from two Swiss centers for primary care.

Guidelines for patient decision aids (DA) recommend target population involvement throughout the development process, but developers may struggle because of limited resources. We sought to develop a feasible means of getting repeated feedback from users. Between 2017 and 2020, two Swiss centers for primary care (Lausanne and Bern) created citizen advisory groups to contribute to multiple improvement cycles for colorectal, prostate and lung cancer screening DAs. Following Community Based Participatory Research principles, we collaborated with local organizations to recruit citizens aged 50 to 75 without previous cancer diagnoses. We remunerated incidental costs and participant time. One center supplemented in-person meetings by mailed paper questionnaires, while the other supplemented meetings using small-group workshops and analyses of meeting transcripts. In Lausanne, we received input from 49 participants for three DAs between 2017 and 2020. For each topic, participants gave feedback on the initial draft and 2 subsequent versions during in-person meetings with ~ 8 participants and one round of mailed questionnaires. In Bern, 10 participants were recruited among standardized patients from the university, all of whom attended in-person meetings every three months between 2017 and 2020. At both sites, numerous changes were made to the content, appearance, language, and tone of DAs and outreach materials. Participants reported high levels of satisfaction with the participative process. Citizen advisory groups are a feasible means of repeatedly incorporating end-user feedback during the creation of multiple DAs. Methodological differences between the two centers underline the need for a flexible model adapted to local needs

Masculine femininities/feminine masculinities: power, identities and gender

This paper is basically about terminology. In it I discuss the terms 'masculinity' and 'femininity' and how they relate to being male and being female. My theme arises from an increasing difficulty that I am finding in understanding how individual identities relate to dominant constructions of masculinity and femininity. Christine Skelton and Becky Francis argue that we should not be afraid to name certain behaviours as masculine even when they are performed by girls. After a discussion of the problems of defining both 'masculinity' and 'femininity', and a consideration of the power relations between these terms, I go on to consider the concept of 'female masculinity' (Halberstam). I argue that this formulation is problematic, due to its dependence on a main term whose definition is unclear. Finally, I argue that we need to distinguish 'masculinity' and 'femininity' from 'masculinities' and 'femininities'

Ultrahigh Surface Area Three-Dimensional Porous Graphitic Carbon from Conjugated Polymeric Molecular Framework

Porous graphitic carbon is essential for many applications such as energy storage devices, catalysts, and sorbents. However, current graphitic carbons are limited by low conductivity, low surface area, and ineffective pore structure. Here we report a scalable synthesis of porous graphitic carbons using a conjugated polymeric molecular framework as precursor. The multivalent cross-linker and rigid conjugated framework help to maintain micro- and mesoporous structures, while promoting graphitization during carbonization and chemical activation. The above unique design results in a class of highly graphitic carbons at temperature as low as 800 ??C with record-high surface area (4073 m2 g-1), large pore volume (2.26 cm-3), and hierarchical pore architecture. Such carbons simultaneously exhibit electrical conductivity >3 times more than activated carbons, very high electrochemical activity at high mass loading, and high stability, as demonstrated by supercapacitors and lithium-sulfur batteries with excellent performance. Moreover, the synthesis can be readily tuned to make a broad range of graphitic carbons with desired structures and compositions for many applications.clos

Resolution and enhancement in nanoantenna-based fluorescence microscopy

Single gold nanoparticles can act as nanoantennas for enhancing the fluorescence of emitters in their near-fields. Here we present experimental and theoretical studies of scanning antenna-based fluorescence microscopy as a function of the diameter of the gold nanoparticle. We examine the interplay between fluorescence enhancement and spatial resolution and discuss the requirements for deciphering single molecules in a dense sample. Resolutions better than 20 nm and fluorescence enhancement up to 30 times are demonstrated experimentally. By accounting for the tip shaft and the sample interface in finite-difference time-domain calculations, we explain why the measured fluorescence enhancements are higher in the presence of an interface than the values predicted for a homogeneous environment.Comment: 10 pages, 3 figures. accepted for publication in Nano Letter

The influence of transition metal solutes on dislocation core structure and values of Peierls stress and barrier in tungsten

Several transition metals were examined to evaluate their potential for improving the ductility of tungsten. The dislocation core structure and Peierls stress and barrier of $1/2$ screw dislocations in binary tungsten-transition metal alloys (W$_{1-x}$TM$_{x}$) were investigated using first principles electronic structure calculations. The periodic quadrupole approach was applied to model the structure of $1/2$ dislocation. Alloying with transition metals was modeled using the virtual crystal approximation and the applicability of this approach was assessed by calculating the equilibrium lattice parameter and elastic constants of the tungsten alloys. Reasonable agreement was obtained with experimental data and with results obtained from the conventional supercell approach. Increasing the concentration of a transition metal from the VIIIA group, i.e. the elements in columns headed by Fe, Co and Ni, leads to reduction of the $C^\prime$ elastic constant and increase of elastic anisotropy A=$C_{44}/C^\prime$. Alloying W with a group VIIIA transition metal changes the structure of the dislocation core from symmetric to asymmetric, similar to results obtained for W$_{1-x}$Re$_{x}$ alloys in the earlier work of Romaner {\it et al} (Phys. Rev. Lett. 104, 195503 (2010))\comments{\cite{WRECORE}}. In addition to a change in the core symmetry, the values of the Peierls stress and barrier are reduced. The latter effect could lead to increased ductility in a tungsten-based alloy\comments{\cite{WRECORE}}. Our results demonstrate that alloying with any of the transition metals from the VIIIA group should have similar effect as alloying with Re.Comment: 12 pages, 8 figures, 3 table

Access to Infrastructure

Access to infrastructure is a perennial issue in the field of communication, which started in the era of postal services and continues to the present era of broadband networks. As infrastructures, or large-scale systems, information and communication technologies (ICTs) are central to citizens’ political, economic, and social lives. Historically and today, a variety of factors such as political and regulatory decisions impact access to infrastructure. Current concerns about equitable access include the network neutrality

Antimony-doped graphene nanoplatelets

Heteroatom doping into the graphitic frameworks have been intensively studied for the development of metal-free electrocatalysts. However, the choice of heteroatoms is limited to non-metallic elements and heteroatom-doped graphitic materials do not satisfy commercial demands in terms of cost and stability. Here we realize doping semimetal antimony (Sb) at the edges of graphene nanoplatelets (GnPs) via a simple mechanochemical reaction between pristine graphite and solid Sb. The covalent bonding of the metalloid Sb with the graphitic carbon is visualized using atomic-resolution transmission electron microscopy. The Sb-doped GnPs display zero loss of electrocatalytic activity for oxygen reduction reaction even after 100,000 cycles. Density functional theory calculations indicate that the multiple oxidation states (Sb3+ and Sb5+) of Sb are responsible for the unusual electrochemical stability. Sb-doped GnPs may provide new insights and practical methods for designing stable carbon-based electrocatalystsclose0