To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure email@example.com
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.
The structural changes recent-onset posttraumatic stress disorder (PTSD) subjects were rarely investigated. This study was to compare temporal and causal relationships of structural changes in recent-onset PTSD with trauma-exposed control (TEC) subjects and non-TEC subjects.
T1-weighted magnetic resonance images of 27 PTSD, 33 TEC and 30 age- and sex-matched healthy control (HC) subjects were studied. The causal network of structural covariance was used to evaluate the causal relationships of structural changes in PTSD patients.
Volumes of bilateral hippocampal and left lingual gyrus were significantly smaller in PTSD patients and TEC subjects than HC subjects. As symptom scores increase, reduction in gray matter volume began in the hippocampus and progressed to the frontal lobe, then to the temporal and occipital cortices (p < 0.05, false discovery rate corrected). The hippocampus might be the primary hub of the directional network and demonstrated positive causal effects on the frontal, temporal and occipital regions (p < 0.05, false discovery rate corrected). The frontal regions, which were identified to be transitional points, projected causal effects to the occipital lobe and temporal regions and received causal effects from the hippocampus (p < 0.05, false discovery rate corrected).
The results offer evidence of localized abnormalities in the bilateral hippocampus and remote abnormalities in multiple temporal and frontal regions in typhoon-exposed PTSD patients.
Recently, the asymptotic mean value of the height for a birth-and-death process is given in Videla [Videla, L.A. (2020)]. We consider the asymptotic variance of the height in the case when the number of states tends to infinity. Further, we prove that the heights exhibit a cutoff phenomenon and that the normalized height converges to a degenerate distribution.
The European Society for Clinical Nutrition and Metabolism (ESPEN) guidelines recommend the Royal Free Hospital-Nutritional Prioritizing Tool (RFH-NPT) to identify malnutrition risk in patients with liver disease. However, little is known about the application of the RFH-NPT to screen for the risk of malnutrition in China, where patients primarily suffer from hepatitis virus-related cirrhosis. A total of 155 cirrhosis patients without liver cancer or uncontrolled co-morbid illness were enrolled in this prospective study. We administered the Nutritional Risk Screening 2002 (NRS-2002), RFH-NPT, Malnutrition Universal Screening Tool (MUST) and Liver Disease Undernutrition Screening Tool (LDUST) to the patients within 24 h after admission and performed follow-up observations for 1·5 years. The RFH-NPT and NRS-2002 had higher sensitivities (64·8 and 52·4 %) and specificities (60 and 70 %) than the other tools with regard to screening for malnutrition risk in cirrhotic patients. The prevalence of nutritional risk was higher under the use of the RFH-NPT against the NRS-2002 (63 v. 51 %). The RFH-NPT tended more easily to detect malnutrition risk in patients with advanced Child–Pugh classes (B and C) and lower Model for End-stage Liver Disease scores (<15) compared with NRS-2002. RFH-NPT score was an independent predictive factor for mortality. Patients identified as being at high malnutrition risk with the RFH-NPT had a higher mortality rate than those at low risk; the same result was not obtained with the NRS-2002. Therefore, we suggest that using the RFH-NPT improves the ability of clinicians to predict malnutrition risk in patients with cirrhosis primarily caused by hepatitis virus infection at an earlier stage.
Isolated congenital tricuspid regurgitation other than Ebstein’s anomaly was rare especially for children. The objective of this study was to investigate the clinical characteristics and to assess the results of tricuspid valvuloplasty for children with isolated tricuspid regurgitation.
From January 2010 to June 2019, 10 consecutive patients with isolated tricuspid regurgitation who were unresponsive to drug therapy underwent tricuspid valvuloplasty in our hospital. Patients’ clinical data were analysed retrospectively.
Mean age at operation was 48.5 ± 31.0 (range: 9–106) months and mean weight at operation was 16.1 ± 6.9 (range: 8.6–33.0) kg. All patients presented severe isolated tricuspid regurgitation. According to pathological lesions, the main causes accounted for chordae tendinea rupture (3/10), leaflet cleft (2/10), mal-connected chordal tendinea to leaflets (2/10), elongated chordae (1/10) and chordae absent (1/10), and severe anterior leaflet dysplasia (1/10). Individualised tricuspid valvuloplasty was adapted to all of them successfully. Post-operative echocardiography showed no tricuspid regurgitation in two patients and mild regurgitation in eight patients. The cardiothoracic ratios on their chest roentgenograms decreased from 0.59 ± 0.05 to 0.54 ± 0.05. At the latest follow-up (50.4 ± 47.2 months), echocardiography showed that mild to moderate tricuspid regurgitation in seven patients, moderate tricuspid regurgitation in three patients, and no patient with severe tricuspid regurgitation. All patients were in NYHA functional class I.
For patients with isolated tricuspid regurgitation who were not well responsive to drug therapy, individualised tricuspid valve repair can achieve an excellent result.
Bile acids (BA) have emerged as signalling molecules regulating intestinal physiology. The importance of intestinal microbiota in production of secondary BA, for example, lithocholic acid (LCA) which impairs enterocyte proliferation and permeability, triggered us to determine the effects of oral probiotics on intestinal BA metabolism. Piglets were weaned at 28 d of age and allocated into control (CON, n 14) or probiotic (PRO, n 14) group fed 50 mg of Lactobacillus plantarum daily, and gut microbiota and BA profile were determined. To test the potential interaction of LCA with bacteria endotoxins in inducing damage of enterocytes, IPEC-J2 cells were treated with LCA, lipopolysaccharide (LPS) and LCA + LPS and expressions of genes related to inflammation, antioxidant capacity and nutrient transport were determined. Compared with the CON group, the PRO group showed lower total LCA level in the ileum and higher relative abundance of the Lactobacillus genus in faeces. In contrast, the relative abundances of Bacteroides, Clostridium_sensu_stricto_1, Parabacteroides and Ruminococcus_1, important bacteria genera in BA biotransformation, were all lower in the PRO than in the CON group. Moreover, PRO piglets had lower postprandial glucagon-like peptide-1 level, while higher glucose level than CON piglets. Co-administration of LPS and LCA led to down-regulated expression of glucose and peptide transporter genes in IPEC-J2 cells. Altogether, oral L. plantarum altered BA profile probably by modulating relative abundances of gut microbial genera that play key roles in BA metabolism and might consequently impact glucose homoeostasis. The detrimental effect of LCA on nutrient transport in enterocytes might be aggravated under LPS challenge.
Varicella is an acute respiratory infectious diseases, with high transmissibility and quick dissemination. In this study, an SEIR (susceptible-exposed-infected-recovered) dynamic model was established to explore the optimal prevention and control measures according to the epidemiological characteristics about varicella outbreak in a school in a central city of China. Berkeley Madonna 8.3.18 and Microsoft Office Excel 2010 software were employed for the model simulation and data management, respectively. The result showed that the simulated result of SEIR model agreed well with the reported data when β (infected rate) equal to 0.067. Models showed that the cumulative number of cases was only 13 when isolation adopted when the infected individuals were identified (assuming isolation rate was up to 100%); the cumulative number of cases was only two and the TAR (total attack rate) was 0.56% when the vaccination coefficient reached 50%. The cumulative number of cases did not change significantly with the change of efficiency of ventilation and disinfection, but the peak time was delayed; when δ (vaccination coefficient) = 0.1, m (ventilation efficiency) = 0.7 or δ = 0.2, m = 0.5 or δ = 0.3, m = 0.1 or δ = 0.4 and above, the cumulative number of cases would reduce to one case and TAR would reduce to 0.28% with combined interventions. Varicella outbreak in school could be controlled through strict isolation or vaccination singly; combined interventions have been adopted when the vaccination coefficient was low.
This study aimed to examine the efficacy of combining paroxetine and mirtazapine v. switching to mirtazapine, for patients with major depressive disorder (MDD) who have had an insufficient response to SSRI monotherapy (paroxetine) after the first 2 weeks of treatment.
This double-blind, randomized, placebo-controlled, three-arm study recruited participants from five hospitals in China. Eligible participants were aged 18–60 years with MDD of at least moderate severity. Participants received paroxetine during a 2-week open-label phase and patients who had not achieved early improvement were randomized to paroxetine, mirtazapine or paroxetine combined with mirtazapine for 6 weeks. The primary outcome was improvement on the Hamilton Rating Scale for Depression 17-item (HAMD-17) scores 6 weeks after randomization.
A total of 204 patients who showed early non-response to paroxetine monotherapy were randomly assigned to receive either mirtazapine and placebo (n = 68), paroxetine and placebo (n = 68) or mirtazapine and paroxetine (n = 68), with 164 patients completing the outcome assessment. At week 8, the least squares (LS) mean change of HAMD-17 scores did not significantly differ among the three groups, (12.98 points) in the mirtazapine group, (12.50 points) in the paroxetine group and (13.27 points) in the mirtazapine plus paroxetine combination group. Participants in the paroxetine monotherapy group were least likely to experience adverse effects.
After 8 weeks follow-up, paroxetine monotherapy, mirtazapine monotherapy and paroxetine/mirtazapine combination therapy were equally effective in non-improvers at 2 weeks. The results of this trial do not support a recommendation to routinely offer additional treatment or a switch in treatment strategies for MDD patients who do not show early improvement after 2 weeks of antidepressant treatment.
The microbiota–gut–brain axis, especially the microbial tryptophan (Trp) biosynthesis and metabolism pathway (MiTBamp), may play a critical role in the pathogenesis of major depressive disorder (MDD). However, studies on the MiTBamp in MDD are lacking. The aim of the present study was to analyze the gut microbiota composition and the MiTBamp in MDD patients.
We performed shotgun metagenomic sequencing of stool samples from 26 MDD patients and 29 healthy controls (HCs). In addition to the microbiota community and the MiTBamp analyses, we also built a classification based on the Random Forests (RF) and Boruta algorithm to identify the gut microbiota as biomarkers for MDD.
The Bacteroidetes abundance was strongly reduced whereas that of Actinobacteria was significantly increased in the MDD patients compared with the abundance in the HCs. Most noteworthy, the MDD patients had increased levels of Bifidobacterium, which is commonly used as a probiotic. Four Kyoto Encyclopedia of Genes and Genomes (KEGG) orthologies (KOs) (K01817, K11358, K01626, K01667) abundances in the MiTBamp were significantly lower in the MDD group. Furthermore, we found a negative correlation between the K01626 abundance and the HAMD scores in the MDD group. Finally, RF classification at the genus level can achieve an area under the receiver operating characteristic curve of 0.890.
The present findings enabled a better understanding of the changes in gut microbiota and the related Trp pathway in MDD. Alterations of the gut microbiota may have the potential as biomarkers for distinguishing MDD patients form HCs.
The flow over a square cylinder controlled by a slot synthetic jet positioned at the front surface is investigated experimentally at different excitation frequencies. The Reynolds number based on the free-stream velocity and the side length of the square cylinder is 1000. The flow visualization was conducted using the laser-induced fluorescence technique. The velocity fields upstream and downstream of the square cylinder were measured synchronously with the two-dimensional time-resolved particle image velocimetry technique. Both the evolution of vortex structures and the characteristic frequencies of upstream and downstream flow fields are presented. The flow dynamics vary significantly with the excitation frequency at a fixed stroke length. During one excitation cycle, the synthetic jet vortex pair deflects to one side and later swings to the other side at a quite small excitation frequency of
, while it only deflects toward one side and does not turn to the other side at
. Compared with the natural case, the wake characteristics for the above two cases are not changed much by the synthetic jet adopted. At a moderate excitation frequency of
, the synthetic jet deflects upwards and downwards alternatively. The upstream flow field has a dominant frequency identical to half of the excitation frequency. Under the perturbations of the synthetic jet, two wake vortex pairs are formed per shedding cycle with a shedding frequency equal to that of the square cylinder without control. At a higher excitation frequency of
, the synthetic jet keeps deflecting to one side, and the upstream flow field is governed by the excitation frequency. The flow separation on the deflected side is suppressed effectively, and no periodic vortex shedding can be observed in the wake. Statistically, the velocity profiles also change with control. The recirculation bubble length in the wake is shortened, and the time-averaged velocity fluctuation is weakened remarkably. The control effects of the synthetic jet and the continuous jet are compared in this paper when placed at the front surface of a square cylinder.
Direct numerical simulation of the Navier–Stokes equations is carried out to investigate the interaction of a conical shock wave with a turbulent boundary layer developing over a flat plate at free-stream Mach number
and Reynolds number
, based on the upstream boundary layer momentum thickness. The shock is generated by a circular cone with half opening angle
. As found in experiments, the wall pressure exhibits a distinctive N-wave signature, with a sharp peak right past the precursor shock generated at the cone apex, followed by an extended zone with favourable pressure gradient, and terminated by the trailing shock associated with recompression in the wake of the cone. The boundary layer behaviour is strongly affected by the imposed pressure gradient. Streaks are suppressed in adverse pressure gradient (APG) zones, but re-form rapidly in downstream favourable pressure gradient (FPG) zones. Three-dimensional mean flow separation is only observed in the first APG region associated with the formation of a horseshoe vortex, whereas the second APG region features an incipient detachment state, with scattered spots of instantaneous reversed flow. As found in canonical geometrically two-dimensional wedge-generated shock–boundary layer interactions, different amplification of the turbulent stress components is observed through the interacting shock system, with approach to an isotropic state in APG regions, and to a two-component anisotropic state in FPG. The general adequacy of the Boussinesq hypothesis is found to predict the spatial organization of the turbulent shear stresses, although different eddy viscosities should be used for each component, as in tensor eddy-viscosity models, or in full Reynolds stress closures.
Repetitive motion planning and control (RMPC) is a significant issue in the research of redundant robot manipulators. Moreover, noise from rounding error, truncation error, and robot uncertainty is an important factor that greatly affects RMPC schemes. In this study, the RMPC of redundant robot manipulators in a noisy environment is investigated. By incorporating the proportional and integral information of the desired path, a new RMPC scheme with pseudoinverse-type (P-type) formulation is proposed. Such a P-type RMPC scheme possesses the suppression of constant and bounded time-varying noises. Comparative simulation results based on a five-link robot manipulator and a PUMA560 robot manipulator are presented to further validate the effectiveness and superiority of the proposed P-type RMPC scheme over the previous one.
The interaction between galaxies is believed to be the main origin of the peculiarities of galaxies. It can disturb not only the morphology but also the kinematics of galaxies. These disturbed and asymmetric features are the indicators of galaxy interaction. We study the velocity field of ionized gas in galaxy pairs based on MaNGA survey. Using the kinemetry package, we fit the velocity field and quantify the degree of kinematic asymmetry. We find that the fraction of high kinematic asymmetry is much higher for galaxy pairs with dp⩽30h−1kpc. Moreover, compared to a control sample of single galaxies, we find that the star formation rate is enhanced in paired galaxies with high kinematic asymmetry. For paired galaxies with low kinematic asymmetry, no significant SFR enhancement has been found. The galaxy pairs with high kinematic asymmetry are more likely to be real interacting galaxies rather than projected pairs.
Swelling deformation tests of Kunigel bentonite and its sand mixtures were performed in distilled water and NaCl solution. The salinity of NaCl solution has a significant impact on the swelling properties of bentonite, but not on its surface structure. The surface structure was characterized using the fractal dimension Ds. Based on the fractal dimension, a unique curve of the em–pe relationship (em is the void ratio of montmorillonite and pe is the effective stress) at full saturation was introduced to express the swelling deformation of bentonite–sand mixtures. In mixtures with a large bentonite content, the swelling deformation always followed the em–pe relationship. In mixtures with a small bentonite content, when the effective stress reached a threshold, the void ratio of montmorillonite em deviated from the unique em–pe curve due to the appearance of a sand skeleton. The threshold of vertical pressure for mixtures in different solutions and the maximum swelling strains were estimated using the em–pe relationship. The good agreement between estimates and experimental data suggest that the em–pe relationship might be an alternative method for predicting the swelling deformation of bentonite–sand mixtures in salt solution.
Maternal one-carbon metabolism during pregnancy is crucial for fetal development and programming by DNA methylation. However, evidence on one-carbon biomarkers other than folate is lacking. We, therefore, investigated whether maternal plasma methyl donors, that is, choline, betaine and methionine, are associated with birth outcomes. Blood samples were obtained from 115 women during gestation (median 26·3 weeks, 90 % range 22·7–33·0 weeks). Plasma choline, betaine, methionine and dimethylglycine were measured using HPLC-tandem MS. Multivariate linear and logistic regression models were used to estimate the association between plasma biomarkers and birth weight, birth length, the risk of small-for-gestational-age and large-for-gestational-age (LGA). Higher level of maternal betaine was associated with lower birth weight (–130·3 (95 % CI –244·8, –15·9) per 1 sd increment for log-transformed betaine). Higher maternal methionine was associated with lower risk of LGA, and adjusted OR, with 95 % CI for 1 sd increase in methionine concentration was 0·44 (95 % CI 0·21, 0·89). Stratified analyses according to infant sex or maternal plasma homocysteine status showed that reduction in birth weight in relation to maternal betaine was only limited to male infants or to who had higher maternal homocysteine status (≥5·1 µmol/l). Higher maternal betaine status was associated with reduced birth weight. Maternal methionine was inversely associated with LGA risk. These findings are needed to be replicated in future larger studies.
Subacute ruminal acidosis (SARA) can increase the level of inflammation and induce rumenitis in dairy cows. Berberine (BBR) is the major active component of Rhizoma Coptidis, which is a type of Chinese anti-inflammatory drug for gastrointestinal diseases. The purpose of this study was to investigate the anti-inflammatory effects of BBR on lipopolysaccharide (LPS)-stimulated rumen epithelial cells (REC) and the underlying molecular mechanisms. REC were cultured and stimulated with LPS in the presence or absence of different concentrations of BBR. The results showed that cell viability was not affected by BBR. Moreover, BBR markedly decreased the concentrations and mRNA expression of pro-inflammatory cytokines, including tumor necrosis factor-α, interleukin-1β, and interleukin-6 in the LPS-treated REC in a dose-dependent manner. Importantly, Western blotting analysis showed that BBR significantly suppressed the protein expression of toll-like receptor 4 (TLR4) and myeloid differentiation primary response protein (MyD88) and the phosphorylation of nuclear factor-κB (NF-κB), inhibitory kappa B (IκBα), p38 mitogen-activated protein kinase (MAPK), and c-Jun N-terminal kinase (JNK) in LPS-treated REC. Furthermore, the results of immunocytofluorescence showed that BBR significantly inhibited the nuclear translocation of NF-κB p65 induced by LPS treatment. In conclusion, the protective effects of BBR on LPS-induced inflammatory responses in REC may be due to its ability to suppress the TLR4-mediated NF-κB and MAPK signaling pathways. These findings suggest that BBR can be used as an anti-inflammatory drug to treat inflammation induced by SARA.
Chickenpox is a common acute and highly contagious disease in childhood; moreover, there is currently no targeted treatment. Carrying out an early warning on chickenpox plays an important role in taking targeted measures in advance as well as preventing the outbreak of the disease. In recent years, the infectious disease dynamic model has been widely used in the research of various infectious diseases. The logistic differential equation model can well demonstrate the epidemic characteristics of epidemic outbreaks, gives the point at which the early epidemic rate changes from slow to fast. Therefore, our study aims to use the logistic differential equation model to explore the epidemic characteristics and early-warning time of varicella. Meanwhile, the data of varicella cases were collected from first week of 2008 to 52nd week of 2017 in Changsha. Finally, our study found that the logistic model can be well fitted with varicella data, besides the model illustrated that there are two peaks of varicella at each year in Changsha City. One is the peak in summer–autumn corresponding to the 8th–38th week; the other is in winter–spring corresponding to the time from the 38th to the seventh week next year. The ‘epidemic acceleration week’ average value of summer–autumn and winter–spring are about the 16th week (ranging from the 15th to 17th week) and 45th week (ranging from the 44th to 47th week), respectively. What is more, taking warning measures during the acceleration week, the preventive effect will be delayed; thus, we recommend intervene during recommended warning weeks which are the 15th and 44th weeks instead.
Laser pulses of 200 ps with extremely high intensities and high energies are sufficient to satisfy the demand of shock ignition, which is an alternative path to ignition in inertial confinement fusion (ICF). This paper reports a type of Brillouin scheme to obtain high-intensity 200-ps laser pulses, where the pulse durations are a challenge for conventional pulsed laser amplification systems. In the amplification process, excited Brillouin acoustic waves fulfill the nonlinear optical effect through which the high energy of a long pump pulse is entirely transferred to a 200-ps laser pulse. This method was introduced and achieved within the SG-III prototype system in China. Compared favorably with the intensity of
in existing ICF laser drivers, a 6.96-
pulse with a width of 170 ps was obtained in our experiment. The practical scalability of the results to larger ICF laser drivers is discussed.
We study numerically the dynamics of an insoluble surfactant-laden droplet in a simple shear flow taking surface viscosity into account. The rheology of drop surface is modelled via a Boussinesq–Scriven constitutive law with both surface tension and surface viscosity depending strongly on the surface concentration of the surfactant. Our results show that the surface viscosity exhibits non-trivial effects on the surfactant transport on the deforming drop surface. Specifically, both dilatational and shear surface viscosity tend to eliminate the non-uniformity of surfactant concentration over the drop surface. However, their underlying mechanisms are entirely different; that is, the shear surface viscosity inhibits local convection due to its suppression on drop surface motion, while the dilatational surface viscosity inhibits local dilution due to its suppression on local surface dilatation. By comparing with previous studies of droplets with surface viscosity but with no surfactant transport, we find that the coupling between surface viscosity and surfactant transport induces non-negligible deviations in the dynamics of the whole droplet. More particularly, we demonstrate that the dependence of surface viscosity on local surfactant concentration has remarkable influences on the drop deformation. Besides, we analyse the full three-dimensional shape of surfactant-laden droplets in simple shear flow and observe that the drop shape can be approximated as an ellipsoid. More importantly, this ellipsoidal shape can be described by a standard ellipsoidal equation with only one unknown owing to the finding of an unexpected relationship among the drop’s three principal axes. Moreover, this relationship remains the same for both clean and surfactant-laden droplets with or without surface viscosity.
Triticum monococcum ssp. monococcum has useful traits for bread wheat improvement. The synthesis of Triticum turgidum–T. monococcum amphiploids is an essential step for transferring genes from T. monococcum into bread wheat. In this study, 264 wide hybridization combinations were done by crossing 60 T. turgidum lines belonging to five subspecies with 83 T. monococcum accessions. Without embryo rescue and hormone treatment, from the 10,810 florets pollinated, 1983 seeds were obtained, with a mean crossability of 18.34% (range 0–89.29%). Many hybrid seeds (90.73%, 923/1017) could germinate and produce plants. A total of 56 new amphiploids (AABBAmAm) were produced by colchicine treatment of T. turgidum × T. monococcum F1 hybrids. The chromosome constitution of amphiploids was characterized by fluorescence in situ hybridization using oligonucleotides probes with different chromosome and sub-chromosome specificities. Sodium dodecyl sulphate polyacrylamide gel electrophoresis analysis indicated that the Glu-A1m-b, Glu-A1m-c, Glu-A1m-d and Glu-A1m-h proteins of T. monococcum were expressed in some amphiploids. Despite resistance reduction in several cases, 45 out of 56 amphiploids exhibited resistance to the current predominant Chinese stripe rust races at both the seedling and adult plant stage. These novel amphiploids provide new germplasm for the potential improvement of bread wheat quality and stripe rust resistance.