Echinococcosis poses a significant threat to public health. The Chinese government has implemented prevention and control measures to mitigate the impact of the disease. By analyzing data from the Chinese Center for Disease Control and Prevention and the State Council of the People’s Republic of China, we found that implementation of these measures has reduced the infection rate by nearly 50% between 2004 to 2022 (from 0.3975 to 0.1944 per 100,000 person-years). Nonetheless, some regions still bear a significant disease burden, and lack of detailed information limites further evaluation of the effects on both alveolar and cystic echinococcosis. Our analysis supports the continuing implementation of these measures and suggests that enhanced wildlife management, case-based strategies, and surveillance systems will facilitate disease control.

We present the Kripke-style modal type theory, Mint, which combines dependent types and the necessity modality. It extends the Kripke-style modal lambda-calculus by Pfenning and Davies to the full Martin-Löf type theory. As such it encompasses dependently typed variants of system K, T, K4, and S4. Further, Mint seamlessly supports a full universe hierarchy, usual inductive types, and large eliminations. In this paper, we give a modular sound and complete normalization-by-evaluation (NbE) proof for Mint based on an untyped domain model, which applies to all four aforementioned modal systems without modification. This NbE proof yields a normalization algorithm for Mint, which can be directly implemented. To further strengthen our results, our models and the NbE proof are fully mechanized in Agda and we extract a Haskell implementation of our NbE algorithm from it.

The control of a wing-in-ground craft (WIG) usually allows for many needs, like cruising, speed, survival and stealth. Various degrees of emphasis on these requirements result in different trajectories, but there has not been a way of integrating and quantifying them yet. Moreover, most previous studies on other vehicles’ multi-objective trajectory is planned globally, lacking for local planning. For the multi-objective trajectory planning of WIGs, this paper proposes a multi-objective function in a polynomial form, in which each item represents an independent requirement and is adjusted by a linear or exponential weight. It uses the magnitude of weights to demonstrate how much attention is paid relatively to the corresponding demand. Trajectories of a virtual WIG model above the wave trough terrain are planned using reward shaping based on the introduced multi-objective function and deep reinforcement learning (DRL). Two conditions are considered globally and locally: a single scheme of weights is assigned to the whole environment, and two different schemes of weights are assigned to the two parts of the environment. Effectiveness of the multi-object reward function is analysed from the local and global perspectives. The reward function provides WIGs with a universal framework for adjusting the magnitude of weights, to meet different degrees of requirements on cruising, speed, stealth and survival, and helps WIGs guide an expected trajectory in engineering.

Transverse stimulated Raman scattering (TSRS) in potassium dihydrogen phosphate (KDP) and deuterated potassium dihydrogen phosphate (DKDP) plates for large-aperture, inertial confinement fusion (ICF)-class laser systems is a well-recognized limitation giving rise to parasitic energy conversion and laser-induced damage. The onset of TSRS is manifested in plates exposed to the ultraviolet section of the beam. TSRS amplification is a coherent process that grows exponentially and is distributed nonuniformly in the crystal and at the crystal surfaces. To understand the growth and spatial distribution of TSRS energy in various configurations, a modeling approach has been developed to simulate the operational conditions relevant to ICF-class laser systems. Specific aspects explored in this work include (i) the behavior of TSRS in large-aperture crystal plates suitable for third-harmonic generation and use as wave plates for polarization control in current-generation ICF-class laser system configurations; (ii) methods, and their limitations, of TSRS suppression and (iii) optimal geometries to guide future designs.

In the present study, we investigated the influence of different mid-stage N compensation timings on agronomic and physiological traits associated with grain yield and quality in field experiments. Two japonica rice cultivars with a good tasting quality (Nangeng 9108 and Nangeng 5055) were examined under eight N compensation timings (N1–N6: one-time N compensation at 7-2 weeks before heading; N7: split N compensation at 5 and 3 weeks before heading; N8: split N compensation at 4 and 2 weeks before heading) and a control with no N compensation. The highest yield was obtained with N7, followed by N3. The yield advantage is mainly attributable to the improved population structure (higher productive tiller rate with a stable number of effective panicles), higher total number of spikelets per unit area (large panicles with more grains per panicle), larger leaf area index in the late period and higher photosynthetic production capacity (more dry matter accumulation and transportation in the middle and late periods). Delaying N compensation timing improved the processing and nutritional quality of rice, but decreased the quality of appearance and cooking/eating traits. Our results suggest that, from the perspective of achieving relative coordination between high yield and high quality of japonica rice, the optimal N compensation should be divided equally at 5 and 3 weeks before heading. However, if simplifying the number of operations and the pursuit of eating quality were considered, one-time N compensation should be conducted at 5 weeks before heading.

For connoisseurs of antiques and antiquities, cleaning old objects can reduce their value. In five experiments (total N = 1,019), we show that lay people also often judge that old objects are worth less when cleaned, and we test two explanations for why cleaning can reduce object value. In Experiment 1, participants judged that cleaning an old object would reduce its value, but judged that cleaning would not reduce the value of an object made from a rare material. In Experiments 2 and 3 we described the nature, age and origin of the traces that cleaning would remove. Now participants judged that cleaning old historical traces would reduce the object’s value, but cleaning recently acquired traces would not. In Experiment 4, participants judged that the current value of an old object is reduced even when it was cleaned in ancient times. However, participants in Experiment 5 valued objects cleaned in ancient times as much as uncleaned ones, while judging that objects cleaned recently are worth less. Together, our findings suggest that cleaning objects may reduce value by removing valued historical traces, and by changing objects from their historic state. We also outline potential implications for previous studies showing that cleaning reduces the value of objects used by admired celebrities.

Planting patterns have significant effects on rice growth. Nonetheless, little is known about differences in annual crop yield and resource utilization among mechanized rice planting patterns in a rice–wheat cropping system. Field experiments were conducted from 2014 to 2017 using three treatments: pot seedling transplanting for rice and row sowing for wheat (PST-RS), carpet seedling transplanting for rice and row sowing for wheat (CST-RS) and row sowing for both crops (RS-RS). The results showed that, compared with RS-RS, PST-RS and CST-RS prolonged annual crop growth duration by 25–26 and 13–15 days, increased effective accumulated temperature by 399 and 212°C days and increased cumulative solar radiation by 454 and 228 MJ/m2 because of the earlier sowing of rice by 28 and 16 days in PST-RS and CST-RS, respectively. Compared with RS-RS, the annual crop yield of PST-RS and CST-RS increased by 3.1–3.8 and 2.0–2.6 t/ha, respectively, because of the increase in the number of spikelets/kernels per hectare, aboveground biomass, mean leaf area index and grain–leaf ratio. In addition, temperature production efficiency, solar radiation production efficiency and solar radiation use efficiency were higher in PST-RS, followed by CST-RS and RS-RS. These results suggest that mechanized rice planting patterns such as PST-RS increase annual crop production in rice–wheat cropping systems by increasing yield and solar energy utilization.

Severe fever with thrombocytopenia syndrome (SFTS) is a disease with a high case-fatality rate that is caused by infection with the SFTS virus (SFTSV). Five electronic databases were systematically searched to identify relevant articles published from 1 January 2011 to 1 December 2019. The pooled rates with 95% confidence interval (CI) were calculated by a fixed-effect or random-effect model analysis. The results showed that 92 articles were included in this meta-analysis. For the confirmed SFTS cases, the case-fatality rate was 0.15 (95% CI 0.11, 0.18). Two hundred and ninety-six of 1384 SFTS patients indicated that they had been bitten by ticks and the biting rate was 0.21 (95% CI 0.16, 0.26). The overall pooled seroprevalence of SFTSV antibodies among the healthy population was 0.04 (95% CI 0.03, 0.05). For the overall seroprevalence of SFTSV in animals, the seroprevalence of SFTSV was 0.25 (95% CI 0.20, 0.29). The infection rate of SFTSV in ticks was 0.08 (95% CI 0.05, 0.11). In conclusion, ticks can serve as transmitting vectors of SFTSVs and reservoir hosts. Animals can be infected by tick bites, and as a reservoir host, SFTSV circulates continuously between animals and ticks in nature. Humans are infected by tick bites and direct contact with patient secretions.

Klebsiella pneumoniae is a common pathogen associated with nosocomial infections and is characterised serologically by capsular polysaccharide (K) and lipopolysaccharide O antigens. We surveyed a total of 348 non-duplicate K. pneumoniae clinical isolates collected over a 1-year period in a tertiary care hospital, and determined their O and K serotypes by sequencing of the wbb Y and wzi gene loci, respectively. Isolates were also screened for antimicrobial resistance and hypervirulent phenotypes; 94 (27.0%) were identified as carbapenem-resistant (CRKP) and 110 (31.6%) as hypervirulent (hvKP). isolates fell into 58 K, and six O types, with 92.0% and 94.2% typeability, respectively. The predominant K types were K14K64 (16.38%), K1 (14.66%), K2 (8.05%) and K57 (5.46%), while O1 (46%), O2a (27.9%) and O3 (11.8%) were the most common. CRKP and hvKP strains had different serotype distributions with O2a:K14K64 (41.0%) being the most frequent among CRKP, and O1:K1 (26.4%) and O1:K2 (17.3%) among hvKP strains. Serotyping by gene sequencing proved to be a useful tool to inform the clinical epidemiology of K. pneumoniae infections and provides valuable data relevant to vaccine design.

We describe system verification tests and early science results from the pulsar processor (PTUSE) developed for the newly commissioned 64-dish SARAO MeerKAT radio telescope in South Africa. MeerKAT is a high-gain ( ${\sim}2.8\,\mbox{K Jy}^{-1}$ ) low-system temperature ( ${\sim}18\,\mbox{K at }20\,\mbox{cm}$ ) radio array that currently operates at 580–1 670 MHz and can produce tied-array beams suitable for pulsar observations. This paper presents results from the MeerTime Large Survey Project and commissioning tests with PTUSE. Highlights include observations of the double pulsar $\mbox{J}0737{-}3039\mbox{A}$ , pulse profiles from 34 millisecond pulsars (MSPs) from a single 2.5-h observation of the Globular cluster Terzan 5, the rotation measure of Ter5O, a 420-sigma giant pulse from the Large Magellanic Cloud pulsar PSR $\mbox{J}0540{-}6919$ , and nulling identified in the slow pulsar PSR J0633–2015. One of the key design specifications for MeerKAT was absolute timing errors of less than 5 ns using their novel precise time system. Our timing of two bright MSPs confirm that MeerKAT delivers exceptional timing. PSR $\mbox{J}2241{-}5236$ exhibits a jitter limit of $<4\,\mbox{ns h}^{-1}$ whilst timing of PSR $\mbox{J}1909{-}3744$ over almost 11 months yields an rms residual of 66 ns with only 4 min integrations. Our results confirm that the MeerKAT is an exceptional pulsar telescope. The array can be split into four separate sub-arrays to time over 1 000 pulsars per day and the future deployment of S-band (1 750–3 500 MHz) receivers will further enhance its capabilities.

A new developed spatially targeted mollusciciding technology for snail control was utilised in a research site. This study aims to analyse whether this technology can achieve rational effectiveness compared with the routine method. Snail density was monitored every spring and autumn from 2010 to 2017 at the research site and routine mollusciciding for snail control was then performed. After snail density monitoring in spring 2018, spatially targeted mollusciciding technology was adopted. Log-linear regression and nonlinear regression models were used for snail density prediction in autumn 2018 and the predicted value was compared with the actual snail density in autumn 2018 to verify the effectiveness of the spatially targeted mollusciciding. Monitoring results showed that overall snail density in the research site decreased from 2010 to 2018. The monitored snail density in autumn 2018 was 0.014/0.1 m2. Predicted by the log-linear regression model, the snail density in autumn 2018 would be 0.028 (95% CI 0.11–0.072)/0.1 m2. Predicted by the nonlinear regression model, the snail density growth in autumn 2018 in contrast to spring 2018 would be 79.79% (95% CI 54.81%–104.77%) and the actual value was 55.56%. Therefore, the effectiveness of the first application of spatially targeted mollusciciding was acceptable. However, the validation of its sustainable effectiveness still needs a replicated study comparing areas where targeted and untargeted methods are applied simultaneously and both snail abundance and human infection are monitored.

Recently, Echinacea purpurea and its extracts have gained much interest due to their improvement on meat quality, but little information is available on the application of the purified Echinacea purpurea polysaccharide (4-O-methyl-glucuronoarabinoxylan, 4OMG). Thus, this trial aimed at assessing the effects of dietary supplementation of 4OMG on growth performance, thigh meat quality and small intestine development of broilers. A total of 240 1-day-old female broiler chicks were randomly distributed to four groups with three replicates of 20 within each group. Each group received either 0, 15, 20 or 25 g 4OMG/kg DM of diet. During the entire experiment, broilers had ad libitum access to water and feed, and the feed intake was recorded daily. All broilers were weighed before and end of the experiment. For each group, three pens with a total of 20 broilers were randomly selected to slaughter after 30 days. Increasing dietary supplementation of 4OMG linearly increased final live weight and daily body weight gain (P = 0.013) of broilers, Gain-to-Feed ratio (P < 0.001), muscle pH (P = 0.024) and redness (P = 0.001), but decreased drip loss (P = 0.033), shear force value (P = 0.004) and hardness (P = 0.022) of the thigh meat. Broilers fed diet with higher 4OMG had greater weight index, villus height and ratio of villus height to crypt depth in both duodenum and jejunum. These results indicated that increasing dietary supplementation of 4OMG was beneficial for growth performance, meat quality and development of the small intestine of broilers.

The treatment of refractory schizophrenia has been a clinical challenge for most psychiatrists. The possible mechanism of the refractory schizophrenia included diagnostic errors, medical conditions and brain dysgensis. Here, we described a patient with childhood-onset schizophrenia who had severe psychiatric symptoms such as auditory hallucination and persecutory delusion and so on. We reexamined all his possible medical conditions and found the patient had an abnormal enlarged Cavus Septum Pellucidum (CSP) combined with Cavum Vergae (CV) (maximum length>30 mm). Some reports suggested that abnormal CSP(length>6 mm) has an significant association with schizophrenia. However, abnormally large CSP or CSP/CV and related prognosis were reported rarely. This case suggested that abnormally enlarged CSP or CSP/CV may lead to schizophrenia and worse prognosis.