Realizing live sequence charts in SystemVerilog.

The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety performance. In early stages, system requirements are often specified as scenarios of behavior using sequence charts for different use cases. This specification must be precise, intuitive and expressive enough to capture different aspects of embedded control systems. As a rather rich and useful extension to the classical message sequence charts, live sequence charts (LSC), which provide a rich collection of constructs for specifying both possible and mandatory behaviors, are very suitable for designing an embedded control system. However, it is not a trivial task to realize a high-level design model in executable program codes effectively and correctly. This paper tackles the challenging task by providing a mapping algorithm to automatically synthesize SystemVerilog programs from given LSC specifications

The average magnetic field draping and consistent plasma properties of the Venus magnetotail

A new technique has been developed to determine the average structure of the Venus magnetotail (in the range from −8 Rv to −12 Rv) from the Pioneer Venus magnetometer observations. The spacecraft position with respect to the cross-tail current sheet is determined from an observed relationship between the field-draping angle and the magnitude of the field referenced to its value in the nearby magnetosheath. This allows us statistically to remove the effects of tail flapping and variability of draping for the first time and thus to map the average field configuration in the Venus tail. From this average configuration we calculate the cross-tail current density distribution and J × B forces. Continuity of the tangential electric field is utilized to determine the average variations of the X-directed velocity which is shown to vary from −250 km/s at −8 Rv to −470 km/s at −12 Rv. From the calculated J × B forces, plasma velocity, and MHD momentum equation the approximate plasma acceleration, density, and temperature in the Venus tail are determined. The derived ion density is approximately ∼0.07 p+/cm³ (0.005 O+/cm³) in the lobes and ∼0.9 p+/cm³ (0.06 O+/cm³) in the current sheet, while the derived approximate average plasma temperature for the tail is ∼6×106 K for a hydrogen plasma or ∼9×107 K for an oxygen plasma

Hardware for digitally controlled scanned probe microscopes

The design and implementation of a flexible and modular digital control and data acquisition system for scanned probe microscopes (SPMs) is presented. The measured performance of the system shows it to be capable of 14-bit data acquisition at a 100-kHz rate and a full 18-bit output resolution resulting in less than 0.02-Å rms position noise while maintaining a scan range in excess of 1 µm in both the X and Y dimensions. This level of performance achieves the goal of making the noise of the microscope control system an insignificant factor for most experiments. The adaptation of the system to various types of SPM experiments is discussed. Advances in audio electronics and digital signal processors have made the construction of such high performance systems possible at low cost

Charge exchange contribution to the decay of the ring current, measured by energetic neutral atoms (ENAs)

In this paper we calculate the contribution of charge exchange to the decay of the ring current. Past works have suggested that charge exchange of ring current protons is primarily responsible for the decay of the ring current during the late recovery phase, but there is still much debate about the fast decay of the early recovery phase. We use energetic neutral atom (ENA) measurements from Polar to calculate the total ENA energy escape. To get the total ENA escape we apply a forward modeling technique, and to estimate the total ring current energy escape we use the Dessler-Parker-Sckopke relationship. We find that during the late recovery phase of the March 10, 1998 storm ENAs with energies greater than 17.5 keV can account for 75% of the estimated energy loss from the ring current. During the fast recovery the measured ENAs can only account for a small portion of the total energy loss. We also find that the lifetime of the trapped ions is significantly shorter during the fast recovery phase than during the late recovery phase, suggesting that different processes are operating during the two phases

Impacts of the COVID-19 pandemic on reporting of rape, serious sexual offences, and domestic abuse in one English police force

Research suggests that during the COVID-19 pandemic reports of rapes and serious sexual offences to the authorities have declined while calls to domestic violence helplines have soared. This article focuses on the impacts of the COVID-19 outbreak on reporting to the police in cases of rape, serious sexual offences and domestic abuse in one police force in England. Data from the force’s crime reporting system was provided from 2018 to 2021, including over 10,000 reports of rapes and serious sexual offences and over 5,000 reports of domestic abuse. An Interrupted Time Series analysis was used to evaluate the impact of lockdown on reporting rates, with segmented regression to measure the changes in reporting before and after the start of the pandemic in March 2020. This article is the first of its kind to explore the impact of COVID-19 on sexual and domestic violence at more than an aggregate level, demonstrating how COVID-19 has had a variable impact on different groups of victims, and how stay at home orders specifically have impacted on reporting rates. These data provide novel and valuable insights into the effects of the COVID-19 pandemic on the reporting of sexual violence and domestic abuse

Observation of magnetocoriolis waves in a liquid metal Taylor-Couette experiment

The first observation of fast and slow magnetocoriolis (MC) waves in a laboratory experiment is reported. Rotating nonaxisymmetric modes arising from a magnetized turbulent Taylor-Couette flow of liquid metal are identified as the fast and slow MC waves by the dependence of the rotation frequency on the applied field strength. The observed slow MC wave is damped but the observation provides a means for predicting the onset of the Magnetorotational Instability

Airflow in a Domestic Kitchen Oven measured by Particle Image Velocimetry

Particle Image Velocimetry (PIV) was used to map the internal airflow of a domestic kitchen oven. Oven cooking performance is dependant on the airflow within the cavity. Previous flow measurement techniques such as hot wire anemometry and pitot probes are very time consuming and prone to error in the hot recirculating flow in an oven. The oven cavity, a commercially available mid-range oven, was modified for optical access. The PIV system consisted of a CCD camera, light sheet illumination from a pulsed Nd:YAG laser, and propanediol droplets and hollow glass spheres with a Stokes number of less than 0.055. Experiments were conducted in an empty oven at room temperature and at 180oC, and at 180oC with a single cooking tray installed. Velocity fields were measured in seven adjacent, coplanar object planes each on four different planes in the oven. The velocity data was averaged to yield mean flow fields, and the seven coplanar data fields were subsequently collaged to produce a full cross-sectional velocity map for each oven plane. In the cold and hot empty cavity a single vortex centred on the fan axis was seen, with strong radial flow. The maximum measured velocity in the cold oven was 1.8ms-1, which compared well with earlier hot-wire measurements. When a tray was introduced, the single vortex was replaced by three circulatory features. Shear flow was seen on both upper and lower sides of the tray, with a lower velocity and a stagnation point on the upper side

Dynamic vibrotactile signals for forward collision avoidance warning systems

OBJECTIVE: Four experiments were conducted in order to assess the effectiveness of dynamic vibrotactile collision-warning signals in potentially enhancing safe driving. BACKGROUND: Auditory neuroscience research has demonstrated that auditory signals that move toward a person are more salient than those that move away. If this looming effect were found to extend to the tactile modality, then it could be utilized in the context of in-car warning signal design. METHOD: The effectiveness of various vibrotactile warning signals was assessed using a simulated car-following task. The vibrotactile warning signals consisted of dynamic toward-/away-from-torso cues (Experiment 1), dynamic versus static vibrotactile cues (Experiment 2), looming-intensity- and constant-intensity-toward-torso cues (Experiment 3), and static cues presented on the hands or on the waist, having either a low or high vibration intensity (Experiment 4). RESULTS: Braking reaction times (BRTs) were significantly faster for toward-torso as compared to away-from-torso cues (Experiments 1 and 2) and static cues (Experiment 2). This difference could not have been attributed to differential responses to signals delivered to different body parts (i.e., the waist vs. hands; Experiment 4). Embedding a looming-intensity signal into the toward-torso signal did not result in any additional BRT benefits (Experiment 3). CONCLUSION: Dynamic vibrotactile cues that feel as though they are approaching the torso can be used to communicate information concerning external events, resulting in a significantly faster reaction time to potential collisions. APPLICATION: Dynamic vibrotactile warning signals that move toward the body offer great potential for the design of future in-car collision-warning system