We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the behavior of an ADS in the specified traffic scenario. The safety properties proved in the resulting surrogate model apply to the original ADS with a probabilistic guarantee. Given the complexity of a traffic scenario in autonomous driving, our approach further partitions the parameter space of a traffic scenario for the ADS into safe sub-spaces with varying levels of guarantees and unsafe sub-spaces with confirmed counter-examples. Innovatively, the partitioning is based on a branching algorithm that features explainable AI methods. We demonstrate the utility of the proposed approach by evaluating safety properties on the state-of-the-art ADS Interfuser, with a variety of simulated traffic scenarios, and we show that our approach and existing ADS testing work complement each other. We certify five safe scenarios from the verification results and find out three sneaky behavior discrepancies in Interfuser which can hardly be detected by safety testing approaches.

Two-dimensional oblique detonation wave (ODW) propagations in partially prevaporized n-heptane sprays are numerically simulated with a skeletal chemical mechanism. The influences of the droplet diameter and total equivalence on oblique detonation are considered. The initiation length is found to increase first and then decrease with increasing initial droplet diameter, and the effect of droplet size is maximized when the initial droplet diameter is approximately $10\ \mathrm {\mu } {\rm m}$. As the initial droplet diameter varies, unsteady and steady ODWs are observed. In the cases of unsteady ODWs, temperature gradients and non-uniform distributions of the reactant mixture due to droplet evaporation lead to formation of unsteady detonation propagation, therefore leading to fluctuations in the initiation length. The fluctuations in initiation length decrease as the pre-evaporation gas equivalence ratio increases for the unsteady cases. The results further suggest that the relationship between the evaporation layer thickness along the streamline and the corresponding theoretical initiation length can be used to identify an unsteady or steady ODW in cases with large droplets that evaporate behind an oblique shock wave or ODW under the effects of different initial droplet diameters.

The X-ray emissions in the interaction of 3–6 MeV Xe23+ ions into thick solid In target are measured. The projectile-to-target and target Lα/Lβ X-ray production intensity ratios are observed to strongly depend on the projectile energy. The dependence deviates from Coulomb ionization predictions, which implies the important roles of coupling between subshells and the activation of 4fσ rotational couplings for projectile energy larger than 5 MeV.

Few studies have investigated the association between maternal dietary patterns (DP) during pregnancy, derived from reduced-rank regression (RRR), and fetal growth. This study aims to identify DP during pregnancy associated with macro- and micronutrient intakes, using the RRR method, and to examine their relationship with birth weight (BW). We used data of 7194 women from a large-scale cross-sectional survey in Northwest China. Dietary protein, carbohydrate, haem Fe density and the ratio of PUFA and MUFA:SFA were used as the intermediate variables in the RRR model to extract DP. Generalised estimating equation models were applied to evaluate the associations between DP and BW and related outcomes (including BW z-score, low birth weight (LBW) and small for gestational age (SGA)). Four DP during pregnancy were identified. Socio-demographically disadvantaged pregnant women were more likely to have lower BW and lower adherence to DP1 (high legumes, soyabean products, vegetables and animal-source foods, with relative low wheat and oils). Women with medium and high adherence to DP1 had significantly increased BW (medium 28·6 (95 % CI 7·1, 50·1); high 25·2 (95 % CI 2·7, 47·6)) and BW z-score and had significantly reduced risks of LBW and SGA. The associations were stronger among women with babies <3100 g. There is no association between other DP and outcomes. Higher adherence to the DP that was high in legumes, soyabean products, vegetables and animal-source foods was associated with improved BW in the Chinese pregnant women, particularly among those with disadvantageous socio-demographic conditions.

Findings from observational studies on the associations between vitamin E intake and stroke risk remain controversial, and the dose–response relationship between vitamin E intake and risk of stroke remains to be determined. We conducted a meta-analysis of prospective studies aiming to clarify the relationships between vitamin E intake and risk of stroke. Relevant studies were identified by searching online databases through to June 2018. We computed summary relative risks (RR) with corresponding 95 % CI. Among 3156 articles retrieved from online databases and relevant bibliographies, nine studies involving 3284 events and 220 371 participants were included in the final analyses. High dietary vitamin E intake was inversely associated with the risk of overall stroke (RR=0·83, 95 % CI 0·73, 0·94), and with the risk of stroke for individuals who were followed-up for <10 (RR=0·84, 95 % CI 0·72, 0·91). There was a non-linear association between dietary vitamin E intake and stroke risk (P=0·0249). Omission of any single study did not alter the summary result. In conclusion, this meta-analysis suggests that there is a significant inverse relationship between dietary vitamin E intake and stroke risk. This meta-analysis provides evidence that a higher dietary vitamin E intake is associated with a lower stroke risk.

In this study, three types of graphene films—hydrothermal reduced graphene oxide (GO) film, thermal reduced GO film, and GO film—on silicon substrate by using 3-aminopropyl triethoxysilane (APTES) as the interface adhesive layer were prepared for investigation. The chemical compositions of the samples were characterized by x-ray photoelectron spectroscopy (XPS). Surface morphologies, adhesive forces, and nano friction forces in air and aqueous solutions with different pH values were investigated by atomic force microscopy (AFM). Results showed that capillary force dominated the adhesive force in air condition, and adhesive force was much smaller in aqueous solution than in air due to the disappearance of the capillary force. Adhesive force and friction coefficient of the three samples slightly decreased with the increase of pH values. Hydrothermal reduced GO film exhibits the best lubricity both in air and in liquids among those three films.