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 5 safe scenarios from the verification results and find out 3 sneaky behavior discrepancies in Interfuser which can hardly be detected by safety testing approaches.

In this work, the shape of a bluff body is optimized to mitigate velocity fluctuations of turbulent wake flows based on large-eddy simulations (LES). The Reynolds-averaged Navier–Stokes method fails to capture velocity fluctuations, while direct numerical simulations are computationally prohibitive. This necessitates using the LES method for shape optimization given its scale-resolving capability and relatively affordable computational cost. However, using LES for optimization faces challenges in sensitivity estimation as the chaotic nature of turbulent flows can lead to the blowup of the conventional adjoint-based gradient. Here, we propose using the regularized ensemble Kalman method for the LES-based optimization. The method is a statistical optimization approach that uses the sample covariance between geometric parameters and LES predictions to estimate the model gradient, circumventing the blowup issue of the adjoint method for chaotic systems. Moreover, the method allows for the imposition of smoothness constraints with one additional regularization step. The ensemble-based gradient is first evaluated for the Lorenz system, demonstrating its accuracy in the gradient calculation of the chaotic problem. Further, with the proposed method, the cylinder is optimized to be an asymmetric oval, which significantly reduces turbulent kinetic energy and meander amplitudes in the wake flows. The spectral analysis methods are used to characterize the flow field around the optimized shape, identifying large-scale flow structures responsible for the reduction in velocity fluctuations. Furthermore, it is found that the velocity difference in the shear layer is decreased with the shape change, which alleviates the Kelvin–Helmholtz instability and the wake meandering.

Rheumatoid arthritis (RA) is a prevalent autoimmune disease, and there is growing evidence suggesting a potential correlation between dietary factors and the pathogenesis of this condition. In order to investigate the causal relationship between diet and RA, we conducted a two-sample Mendelian randomization (MR) analysis to examine the causal associations between 22 dietary factors and RA. Summary data from genome-wide association studies (GWAS) of RA were obtained from large GWAS meta-analyses. GWAS summary data for 22 dietary factors were obtained from UK Biobank (UKB). Random-effects inverse variance weighted (IVW) was used as the primary method for assessing causality, and analyses of heterogeneity and horizontal pleiotropy were performed to ensure the accuracy of the results. Research indicates a negative genetic causal relationship between cereal intake (OR = 0.64, 95% CI: 0.41 - 0.99, P = 0.048) and oily fish intake (OR = 0.70, 95% CI: 0.52 - 0.95, P = 0.020) with the risk of RA. Other dietary factors were not causally related to RA. Sensitivity analysis shows that our results are reliable. This study provides genetic evidence suggesting that cereal intake and oily fish intake are protective factors for RA, indicating that RA patients and individuals at high risk should make appropriate dietary adjustments.

We demonstrated a method to improve the output performance of a Ti:sapphire laser in the long-wavelength low-gain region with an efficient stimulated Raman scattering process. By shifting the wavelength of the high-gain-band Ti:sapphire laser to the long-wavelength low-gain region, high-performance Stokes operation was achieved in the original long-wavelength low-gain region of the Ti:sapphire laser. With the fundamental wavelength tuning from 870 to 930 nm, first-order Stokes output exceeding 2.5 W was obtained at 930–1000 nm, which was significantly higher than that directly generated by the Ti:sapphire laser, accompanied by better beam quality, shorter pulse duration and narrower linewidth. Under the pump power of 42.1 W, a maximum first-order Stokes power of 3.24 W was obtained at 960 nm, with a conversion efficiency of 7.7%. Furthermore, self-mode-locked modulations of first- and second-order Stokes generation were observed in Ti:sapphire intracavity solid Raman lasers for the first time.

In this study, we examine how local government debt responds to environmental policies in China. We show that when an environmental policy impacts the economy, local governments are likely to increase debt issuance, with this effect becoming stronger when local officials have greater career incentives within the Chinese bureaucratic system. Over-accumulation of local government debt, which leads to social welfare losses, is closely tied to the urgency local officials feel to secure promotions. Our analysis offers valuable insights for better coordination between fiscal and environmental policies.

Investigations are conducted on the effect of wall proximity on the flow around a cylinder under an axial magnetic field, using the electrical potential probe technology to measure the velocity of liquid metal flow. The study focused on the impact of the inlet velocity of the fluid, the magnetic field and wall proximity on the characteristics of velocity fields, particularly on the vortex-shedding mode. Based on different magnitudes of the magnetic field and the distance from the cylinder to the duct wall, three types of vortex-shedding modes are identified, (I) shear layer oscillation state, (II) quasi-two-dimensional vortex-shedding states and (III) transition of the magnetohydrodynamic to hydrodynamic Kármán street. The transitions between these modes are analysed in detail. The experimental results show that the weak wall-proximity effect leads to the formation of the Kármán vortex street, while a reverse Kármán vortex street and secondary vortices emerge under a strong wall-proximity effect. It is noticed that the Kelvin–Helmholtz instability drives vortex shedding under regime I, leading to an increase in the Strouhal number (St) with stronger magnetic fields. Additionally, under a strong axial magnetic field, the wall-proximity effect (‘Shercliff layer effect’) promotes the instability of shear layers on both sides of the cylinder. These unique coupling effects are validated by variations in modal coefficients and energy proportions under different vortex-shedding regimes using the proper orthogonal decomposition method.

During the investigation of parasitic pathogens of Mytilus coruscus, infection of a Perkinsus-like protozoan parasite was detected by alternative Ray's Fluid Thioglycolate Medium (ARFTM). The diameter of hypnospores or prezoosporangia was 8–27 (15.6 ± 4.0, n = 111) μm. The prevalence of the Perkinsus-like species in M. coruscus was 25 and 12.5% using ARFTM and PCR, respectively. The ITS1-5.8S-ITS2 fragments amplified by PCR assay had 100% homology to that of P. beihaiensis, suggesting that the protozoan parasite was P. beihaisensis and M. coruscus was its new host in East China Sea (ECS). Histological analysis showed the presence of trophozoites of P. beihaiensis in gill, mantle and visceral mass, and the schizonts only found in visceral mass. Perkinsus beihaiensis infection led to inflammatory reaction of hemocyte and the destruction of digestive tubules in visceral mass, which had negative effect on health of the farmed M. coruscus and it deserves more attention.