This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the on...This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.展开更多
Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using formal methods in safety critical system leads to accuracy...Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using formal methods in safety critical system leads to accuracy, consistency and correctness in proposed system. In safety critical real time application, requirements should be unambiguous and very accurate which can be achieved by using mathematical theorems. There is utter need to focus on the requirement phase which is the most critical phase of SDLC. This paper focuses on the use of Z notation for incorporating the accuracy, consistency, and eliminates ambiguity in safety critical system: Road Traffic Management System as a case study. The syntax, semantics, type checking and domain checking are further verified by using Z/EVES: a Z notation type checker tool.展开更多
Critical systems are typically complex systems that are required to perform reliably over a wide range of scenarios, or multistate world. Seldom does a single system exist that performs best for all plausible scenario...Critical systems are typically complex systems that are required to perform reliably over a wide range of scenarios, or multistate world. Seldom does a single system exist that performs best for all plausible scenarios. A robust solution, one that performs relatively well over a wide range of scenarios, is often the preferred choice for reduced risk at an acceptable cost. The alternative with the maximum expected utility may possess vulnerabilities that could be exploited. The best strategy is likely to be a hybrid solution. The von Neumann-Morgenstern Expected Utility Theory (EUT) would never select such a solution because, given its linear functional form, the expected utility of a hybrid solution cannot be greater than that of every constituent alternative. The continuity axiom and the independence axiom are assessed to be unrealistic for the problem of interest. Several well-known decision models are analyzed and demonstrated to be potentially misleading. The linear disappointment model modifies EUT by adding a term proportional to downside risk;however, it does not provide a mathematical basis for determining preferred hybrid solutions. The paper proposes a portfolio allocation model with stochastic optimization as a flexible and transparent method for defining choice problems and determining hybrid solutions for critical systems with desirable properties such as diversification and robustness.展开更多
The advancement of Artificial Intelligence(AI)has garnered significant attention within the academic research community,reflecting the prevailing zeitgeist.However,there is a paucity of literature that has delved into...The advancement of Artificial Intelligence(AI)has garnered significant attention within the academic research community,reflecting the prevailing zeitgeist.However,there is a paucity of literature that has delved into its connection with the higher order thinking skills of human beings.The purpose of this systematic review is to investigate the relationship between AI utilization and the development of critical thinking(CT)in the field of education.A systematic literature search was performed in two databases,Web of Science and Scopus,with a focus on empirical studies related to AI and CT.The review process followed the PRISMA framework and adopted a bottom-up approach,Ultimately,the integrated review synthesized 21 eligible studies from a total of 649 articles.The systematic review identified three relationships between AI technologies and CT.The results suggest that AI technologies can help to enhance learners’CT skills(n=13).However,excessive or inappropriate utilization of AI may hinder CT development(n=7).Moreover,the cultivation of CT skills has been shown to positively influence the effectiveness of AI utilization(n=4).This article represents the first literature review to delve into the reciprocal relationship between AI implementation and CT development within the education field,striving to illuminate the ways in which learners can enhance their higher-order thinking skills through more effective utilization of AI technologies.展开更多
In this paper,we study the following Schrödinger-Poisson system{-ε^(p)Δ_(p)u+V(x)|u|^(p-2)u+ϕ|u|^(p-2)u=f(u)+|u|^(p*-2)u in R^(3),-ε^(2)Δϕ=|u|^(p)in R^(3),whereε>0 is a parameter,3/2<p<3,Δ_(p)u=div...In this paper,we study the following Schrödinger-Poisson system{-ε^(p)Δ_(p)u+V(x)|u|^(p-2)u+ϕ|u|^(p-2)u=f(u)+|u|^(p*-2)u in R^(3),-ε^(2)Δϕ=|u|^(p)in R^(3),whereε>0 is a parameter,3/2<p<3,Δ_(p)u=div(|∇u|^(p-2)∇u),p^(*)=3p/3-p,V:R^(3)→R is a potential function with a local minimum and f is subcritical growth.Based on the penalization method,Nehari manifold techniques and Ljusternik-Schnirelmann category theory,we obtain the multiplicity and concentration of positive solutions to the above system.展开更多
In this paper,we study the quasilinear Schrödinger-Poisson system with critical Sobolev exponent {-△_(p)u+|u|^(p-2)u=|u|^p^(*-2)u+ph(x)|u|^(q-2)u in R^(3),-△Φt(x)|u|^(p) in R^(3) where μ>0,3/2<p<3,p...In this paper,we study the quasilinear Schrödinger-Poisson system with critical Sobolev exponent {-△_(p)u+|u|^(p-2)u=|u|^p^(*-2)u+ph(x)|u|^(q-2)u in R^(3),-△Φt(x)|u|^(p) in R^(3) where μ>0,3/2<p<3,p≤q<p^(3)=3p/3-p and △_(p)u=div(|▽u|^(p-2)▽u)Under certain assumptions on the functions l and h, we employ the mountain pass theorem to establish the existence of positive solutions for this system.展开更多
Shen et al’s retrospective study aims to compare the utility of two separate scoring systems for predicting mortality attributable to gastrointestinal(GI)injury in critically ill patients[the GI Dysfunction Score(GID...Shen et al’s retrospective study aims to compare the utility of two separate scoring systems for predicting mortality attributable to gastrointestinal(GI)injury in critically ill patients[the GI Dysfunction Score(GIDS)and the Acute Gastroin-testinal Injury(AGI)grade].The authors note that this study is the first proposal that suggests an equivalence between the ability of both scores to predict mor-tality at 28 days from intensive care unit(ICU)admission.Shen et al retrospec-tively analysed an ICU cohort of patients utilising two physicians administering both the AGI grade and GIDS score,using electronic healthcare records and ICU flowsheets.Where these physicians disagreed about the scores,the final decision as to the scores was made by an associate chief physician,or chief physician.We note that the primary reason for the development of GIDS was to create a clear score for GI dysfunction,with minimal subjectivity or inter-operator variability.The subjectivity inherent to the older AGI grading system is what ultimately led to the development of GIDS in 2021.By ensuring consensus between physicians administering the AGI,Shen et al have controlled for one of this grading systems biggest issues.We have concerns,however,that this does not represent the real-world challenges associated with applying the AGI compared to the newer GIDS,and wonder if this arbitration process had not been instituted,would the two scoring systems remain equivalent in terms of predicted mortality?展开更多
In this paper,we study the uniqueness of positive solutions to the following semilinear equations{-Δu=λ|x|^(α)ue^(u^(2)),in B_(1),u=0,onδB_(1)ueu2;in B_(1);u=0;on@B_(1);whereλ>0,α>-2;B_(1)denotes the unit ...In this paper,we study the uniqueness of positive solutions to the following semilinear equations{-Δu=λ|x|^(α)ue^(u^(2)),in B_(1),u=0,onδB_(1)ueu2;in B_(1);u=0;on@B_(1);whereλ>0,α>-2;B_(1)denotes the unit disk in R^(2):By delicate and relatively complicated computation of radial solutions to the above equation and the asymptotic expansion of solutions near the boundary of B_(1),the uniqueness of positive solutions is obtained.The results of this paper extend the uniqueness result for the semilinear equation with critical exponential growth in CHEN et al.(2022)to the case that includes a Henon term.展开更多
The Kibble-Zurek (KZ) effect offers an overarching description of dynamical scaling behavior near a critical point.[1,2] Originally proposed in a classical setup,the KZ effect has been generalized to quantum phase tra...The Kibble-Zurek (KZ) effect offers an overarching description of dynamical scaling behavior near a critical point.[1,2] Originally proposed in a classical setup,the KZ effect has been generalized to quantum phase transitions[3-5] and is actively explored on quantum simulation platforms.[6-9] Exploring how the KZ effect fares across different criticalities has proven to be a rewarding pursuit,significantly enriching our understanding of nonequilibrium quantum dynamics.[3-5,10-23]展开更多
To ensure the safe transportation of radioactive materials,numerous countries have established specific standards.For the transfer of fissile materials,it is imperative that the material within the packaging remains i...To ensure the safe transportation of radioactive materials,numerous countries have established specific standards.For the transfer of fissile materials,it is imperative that the material within the packaging remains in a subcritical state during routine,normal,and accidental transport conditions.In the event of an accident,the rods within the storage tank may become rearranged,introducing uncertainty that must be accounted for to ensure that criticality analysis results are conservative.Historically,this uncertainty was addressed overly conservatively due to limited research on non-uniform arrangement scenarios,which proved unsuitable for criticality safety analysis of spent fuel packages.This paper introduced three distinct methods to non-uniformly rearrange fuel rods—Uniform Arrangement by Blocks,Layer-by-Layer Determination,and Birdcage Deformation—and meticulously evaluates the influences of rod rearrangement on the effective multiplication factor of neutrons,k eff,utilizing the Monte Carlo method.Ultimately,this study presents a holistic method capable of encompassing the entire spectrum of potential effects stemming from the rearrangement of fuel rods during rods mispositioning accident.By augmenting the safety margin,this approach proves to be adeptly suited for the criticality safety analysis of nuclear fuel transport containers.展开更多
The need for safety critical systems （SCS） is both important and urgent, and their evaluation and verification are test-dependent. SCS are usually complex and very large, so manual testing of SCS are infeasible in p...The need for safety critical systems （SCS） is both important and urgent, and their evaluation and verification are test-dependent. SCS are usually complex and very large, so manual testing of SCS are infeasible in practice, and develop- ing automatic test approaches for SCS has become an impor- tant trend. This paper defines a formal semantics model for automatic test of SCS, called AutTMSCS, which describes behaviors in SCS testing. The model accommodates the high order collaboration in real time and temporariness of SCS testing. Testing tasks, test equipment and products under test are abstracted and architected in three layers, and a method for automatic testing is given. Based on extended label tran- sition system （LTS）, the convergency and correctness of the model are proved to demonstrate the computability of the model, indicating that the testing process of SCS can be au- tomatic.展开更多
Critical illness polyneuropathy and critical illness myopathy are frequent complications of severe illness that involve sensorimotor axons and skeletal muscles, respectively. Clinically, they manifest as limb and resp...Critical illness polyneuropathy and critical illness myopathy are frequent complications of severe illness that involve sensorimotor axons and skeletal muscles, respectively. Clinically, they manifest as limb and respiratory muscle weakness. Critical illness polyneuropathy/myopathy in isolation or combination increases intensive care unit morbidity via the inability or difficulty in weaning these patients off mechanical ventilation. Many patients continue to suffer from decreased exercise capacity and compromised quality of life for months to years after the acute event. Substantial progress has been made lately in the understanding of the pathophysiology of critical illness polyneuropathy and myopathy. Clinical and ancillary test results should be carefully interpreted to differentiate critical illness polyneuropathy/myopathy from similar weaknesses in this patient population. The present review is aimed at providing the latest knowledge concerning the pathophysiology of critical illness polyneuropathy/myopathy along with relevant clinical, diagnostic, differentiating, and treatment information for this debilitat- ing neurological disease.展开更多
In this paper,we consider a singular elliptic system with both concave non-linearities and critical Sobolev-Hardy growth terms in bounded domains.By means of variational methods,the multiplicity of positive solutions ...In this paper,we consider a singular elliptic system with both concave non-linearities and critical Sobolev-Hardy growth terms in bounded domains.By means of variational methods,the multiplicity of positive solutions to this problem is obtained.展开更多
From a critical zone perspective, the present paper aims to present the magnitude of groundwater recharge under different agricultural land-use types, reveal the process of water and solute transport in thick vadose z...From a critical zone perspective, the present paper aims to present the magnitude of groundwater recharge under different agricultural land-use types, reveal the process of water and solute transport in thick vadose zone, evaluate the "time lag" effect of recharge, and underscore the role of thickening vadose zone in recharge. The results indicated that different agricultural land-use types need to be further considered in recharge rate estimate. Under the typical irrigation condition in the piedmont plain, the recharge rate under flood irrigated winter wheat and summer maize(W/M_F), maize(M), non-cultivation(NC), native vegetation(NV), vegetables(V), and orchards(O) is 206.4, 149.7, 194.1, 46.4, 320.0, and 48.6 mm/yr, respectively. In the central plain, the value under W/M_F, M, NC, V, and cotton(C) is 92.8, 50.8, 85.0, 255.5, and 26.5 mm/yr, respectively. Soil water residence time(several years) and groundwater level response time(several months) should be distinguished to further understand the processes of groundwater recharge, because the soil water displacement velocities range from 0.2 to 2.2 m/yr while the rate of wetting front propagation is approximately 47 m/yr in the piedmont plain. The thickening vadose zone would prolong residence time of soil water and contaminant, which could postpone the time of or alleviate groundwater pollution, but have no significant influence on the magnitude of recharge in a long time scale. Recharge coefficient based on shorter time span(e.g. 2 or 3 years) should be used with caution as a parameter for groundwater resources evaluation, because it varies with total water input and target soil depth. Uncertainties in evapotranspiration and other water balance components should be evaluated in recharge estimation and the impact of land-use types on recharge should be emphasized. The critical zone science would greatly improve the understanding of groundwater recharge processes. The results of the present study will be helpful in sustainable groundwater resources management.展开更多
The main purpose of this paper is to establish the existence of multiple solutions for singular elliptic system involving the critical Sobolev-Hardy exponents and concave-convex nonlinearities. It is shown, by means o...The main purpose of this paper is to establish the existence of multiple solutions for singular elliptic system involving the critical Sobolev-Hardy exponents and concave-convex nonlinearities. It is shown, by means of variational methods, that under certain conditions, the system has at least two positive solutions.展开更多
Phosphorus(P)is a nonrenewable resource and a critical element for plant growth that plays an important role in improving crop yield.Excessive P fertilizer application is widespread in agricultural production,which no...Phosphorus(P)is a nonrenewable resource and a critical element for plant growth that plays an important role in improving crop yield.Excessive P fertilizer application is widespread in agricultural production,which not only wastes phosphate resources but also causes P accumulation and groundwater pollution.Here,we hypothesized that the apparent P balance of a crop system could be used as an indicator for identifying the critical P input in order to obtain a high yield with high phosphorus use efficiency(PUE).A 12-year field experiment with P fertilization rates of 0,45,90,135,180,and 225 kg P_(2)O_(5)ha^(-1)was conducted to determine the crop yield,PUE,and soil Olsen-P value response to P balance,and to optimize the P input.Annual yield stagnation occurred when the P fertilizer application exceeded a certain level,and high yield and PUE levels were achieved with annual P fertilizer application rates of 90-135 kg P_(2)O_(5)ha^(-1).A critical P balance range of 2.15-4.45 kg P ha^(-1)was recommended to achieve optimum yield with minimal environmental risk.The critical P input range estimated from the P balance was 95.7-101 kg P_(2)O_(5)ha^(-1),which improved relative yield(>90%)and PUE(90.0-94.9%).In addition,the P input-output balance helps in assessing future changes in Olsen-P values,which increased by 4.07 mg kg^(-1)of P for every 100 kg of P surplus.Overall,the P balance can be used as a critical indicator for P management in agriculture,providing a robust reference for limiting P excess and developing a more productive,efficient and environmentally friendly P fertilizer management strategy.展开更多
A theoretical model was suggested which describes the generation of the misfit dislocation dipole in the system of the viscoelastic matrix containing a circular stiff nanoscale inhomogeneity.The critical condition of ...A theoretical model was suggested which describes the generation of the misfit dislocation dipole in the system of the viscoelastic matrix containing a circular stiff nanoscale inhomogeneity.The critical condition of misfit dislocation dipole and the solution of equilibrium position were given.The influence of the ratio of shear modulus,the misfit strain and viscosity on the equilibrium of the dislocation and critical parameter of inhomogeneity was investigated.The result shows that the equilibrium position de increases with the increase of the ratio of original shear modulus and the effect decreases with the increase of viscosity of matrix.Along with the increase of viscosity of matrix,de first increases and then decreases and possesses maximum value when t=0.3τ and tends to a stable value when t≥1.0τ.Along with the increase of viscosity of matrix,Rc first decreases and then increases and possesses minimum value when t=0.3τ and tends to a stable value when t≥1.0τ.展开更多
AIM: To investigate the diagnostic yield, therapeutic efficacy, and rate of adverse events related to flexible fiberoptic bronchoscopy(FFB) in critically ill children. METHODS: We searched Pub Med, SCOPUS, OVID, and E...AIM: To investigate the diagnostic yield, therapeutic efficacy, and rate of adverse events related to flexible fiberoptic bronchoscopy(FFB) in critically ill children. METHODS: We searched Pub Med, SCOPUS, OVID, and EMBASE databases through July 2014 for English language publications studying FFB performed in the intensive care unit in children < 18 years old. We identified 666 studies, of which 89 full-text studies were screened for further review. Two reviewers independently determined that 27 of these studies met inclusion criteria and extracted data. We examined the diagnostic yield of FFB among upper and lower airway evaluations, as well as the utility of bronchoalveolar lavage(BAL). RESULTS: We found that FFB led to a change in medical management in 28.9%(range 21.9%-69.2%) of critically ill children. The diagnostic yield of FFB was 82%(range 45.2%-100%). Infectious organisms were identified in 25.7%(17.6%-75%) of BALs performed, resulting in a change of antimicrobial management in 19.1%(range: 12.2%-75%). FFB successfully reexpanded atelectasis or removed mucus plugs in 60.3%(range: 23.8%-100%) of patients with atelectasis. Adverse events were reported in 12.9%(range: 0.5%-71.4%) of patients. The most common adverse effects of FFB were transient hypotension, hypoxia and/or bradycardia that resolved with minimal intervention, such as oxygen supplementation or removal of the bronchoscope. Serious adverse events were uncommon; 2.1% of adverse events required intervention such as bag-mask ventilation or intubation and atropine for hypoxia and bradycardia, normal saline boluses for hypotension, or lavage and suctioning for hemorrhage. CONCLUSION: FFB is safe and effective for diagnostic and therapeutic use in critically ill pediatric patients.展开更多
In this article, an elliptic system is investigated, which involves Hardy-type potentials, critical Sobolev-type nonlinearities, and critical Hardy-Sobolev-type nonlinearities. By a variational global-compactness argu...In this article, an elliptic system is investigated, which involves Hardy-type potentials, critical Sobolev-type nonlinearities, and critical Hardy-Sobolev-type nonlinearities. By a variational global-compactness argument, the Palais-Smale sequences of related approximation problems is analyzed and the existence of infinitely many solutions to the system is established.展开更多
In this article, we consider a class of degenerate quasilinear elliptic problems with weights and nonlinearity involving the critical Hardy-Sobolev exponent and one sign- changing function. The existence and multiplic...In this article, we consider a class of degenerate quasilinear elliptic problems with weights and nonlinearity involving the critical Hardy-Sobolev exponent and one sign- changing function. The existence and multiplicity results of positive solutions are obtained by variational methods.展开更多
文摘This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.
文摘Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using formal methods in safety critical system leads to accuracy, consistency and correctness in proposed system. In safety critical real time application, requirements should be unambiguous and very accurate which can be achieved by using mathematical theorems. There is utter need to focus on the requirement phase which is the most critical phase of SDLC. This paper focuses on the use of Z notation for incorporating the accuracy, consistency, and eliminates ambiguity in safety critical system: Road Traffic Management System as a case study. The syntax, semantics, type checking and domain checking are further verified by using Z/EVES: a Z notation type checker tool.
文摘Critical systems are typically complex systems that are required to perform reliably over a wide range of scenarios, or multistate world. Seldom does a single system exist that performs best for all plausible scenarios. A robust solution, one that performs relatively well over a wide range of scenarios, is often the preferred choice for reduced risk at an acceptable cost. The alternative with the maximum expected utility may possess vulnerabilities that could be exploited. The best strategy is likely to be a hybrid solution. The von Neumann-Morgenstern Expected Utility Theory (EUT) would never select such a solution because, given its linear functional form, the expected utility of a hybrid solution cannot be greater than that of every constituent alternative. The continuity axiom and the independence axiom are assessed to be unrealistic for the problem of interest. Several well-known decision models are analyzed and demonstrated to be potentially misleading. The linear disappointment model modifies EUT by adding a term proportional to downside risk;however, it does not provide a mathematical basis for determining preferred hybrid solutions. The paper proposes a portfolio allocation model with stochastic optimization as a flexible and transparent method for defining choice problems and determining hybrid solutions for critical systems with desirable properties such as diversification and robustness.
基金funded by Macao Polytechnic University grant number RP/FCA-08-2023.
文摘The advancement of Artificial Intelligence(AI)has garnered significant attention within the academic research community,reflecting the prevailing zeitgeist.However,there is a paucity of literature that has delved into its connection with the higher order thinking skills of human beings.The purpose of this systematic review is to investigate the relationship between AI utilization and the development of critical thinking(CT)in the field of education.A systematic literature search was performed in two databases,Web of Science and Scopus,with a focus on empirical studies related to AI and CT.The review process followed the PRISMA framework and adopted a bottom-up approach,Ultimately,the integrated review synthesized 21 eligible studies from a total of 649 articles.The systematic review identified three relationships between AI technologies and CT.The results suggest that AI technologies can help to enhance learners’CT skills(n=13).However,excessive or inappropriate utilization of AI may hinder CT development(n=7).Moreover,the cultivation of CT skills has been shown to positively influence the effectiveness of AI utilization(n=4).This article represents the first literature review to delve into the reciprocal relationship between AI implementation and CT development within the education field,striving to illuminate the ways in which learners can enhance their higher-order thinking skills through more effective utilization of AI technologies.
基金supported by the Natural Science Foundation of Gansu Province(No.24JRRP001)。
文摘In this paper,we study the following Schrödinger-Poisson system{-ε^(p)Δ_(p)u+V(x)|u|^(p-2)u+ϕ|u|^(p-2)u=f(u)+|u|^(p*-2)u in R^(3),-ε^(2)Δϕ=|u|^(p)in R^(3),whereε>0 is a parameter,3/2<p<3,Δ_(p)u=div(|∇u|^(p-2)∇u),p^(*)=3p/3-p,V:R^(3)→R is a potential function with a local minimum and f is subcritical growth.Based on the penalization method,Nehari manifold techniques and Ljusternik-Schnirelmann category theory,we obtain the multiplicity and concentration of positive solutions to the above system.
文摘In this paper,we study the quasilinear Schrödinger-Poisson system with critical Sobolev exponent {-△_(p)u+|u|^(p-2)u=|u|^p^(*-2)u+ph(x)|u|^(q-2)u in R^(3),-△Φt(x)|u|^(p) in R^(3) where μ>0,3/2<p<3,p≤q<p^(3)=3p/3-p and △_(p)u=div(|▽u|^(p-2)▽u)Under certain assumptions on the functions l and h, we employ the mountain pass theorem to establish the existence of positive solutions for this system.
文摘Shen et al’s retrospective study aims to compare the utility of two separate scoring systems for predicting mortality attributable to gastrointestinal(GI)injury in critically ill patients[the GI Dysfunction Score(GIDS)and the Acute Gastroin-testinal Injury(AGI)grade].The authors note that this study is the first proposal that suggests an equivalence between the ability of both scores to predict mor-tality at 28 days from intensive care unit(ICU)admission.Shen et al retrospec-tively analysed an ICU cohort of patients utilising two physicians administering both the AGI grade and GIDS score,using electronic healthcare records and ICU flowsheets.Where these physicians disagreed about the scores,the final decision as to the scores was made by an associate chief physician,or chief physician.We note that the primary reason for the development of GIDS was to create a clear score for GI dysfunction,with minimal subjectivity or inter-operator variability.The subjectivity inherent to the older AGI grading system is what ultimately led to the development of GIDS in 2021.By ensuring consensus between physicians administering the AGI,Shen et al have controlled for one of this grading systems biggest issues.We have concerns,however,that this does not represent the real-world challenges associated with applying the AGI compared to the newer GIDS,and wonder if this arbitration process had not been instituted,would the two scoring systems remain equivalent in terms of predicted mortality?
基金Supported by the Natural Science Foundation of China(12571122,12061010)。
文摘In this paper,we study the uniqueness of positive solutions to the following semilinear equations{-Δu=λ|x|^(α)ue^(u^(2)),in B_(1),u=0,onδB_(1)ueu2;in B_(1);u=0;on@B_(1);whereλ>0,α>-2;B_(1)denotes the unit disk in R^(2):By delicate and relatively complicated computation of radial solutions to the above equation and the asymptotic expansion of solutions near the boundary of B_(1),the uniqueness of positive solutions is obtained.The results of this paper extend the uniqueness result for the semilinear equation with critical exponential growth in CHEN et al.(2022)to the case that includes a Henon term.
文摘The Kibble-Zurek (KZ) effect offers an overarching description of dynamical scaling behavior near a critical point.[1,2] Originally proposed in a classical setup,the KZ effect has been generalized to quantum phase transitions[3-5] and is actively explored on quantum simulation platforms.[6-9] Exploring how the KZ effect fares across different criticalities has proven to be a rewarding pursuit,significantly enriching our understanding of nonequilibrium quantum dynamics.[3-5,10-23]
文摘To ensure the safe transportation of radioactive materials,numerous countries have established specific standards.For the transfer of fissile materials,it is imperative that the material within the packaging remains in a subcritical state during routine,normal,and accidental transport conditions.In the event of an accident,the rods within the storage tank may become rearranged,introducing uncertainty that must be accounted for to ensure that criticality analysis results are conservative.Historically,this uncertainty was addressed overly conservatively due to limited research on non-uniform arrangement scenarios,which proved unsuitable for criticality safety analysis of spent fuel packages.This paper introduced three distinct methods to non-uniformly rearrange fuel rods—Uniform Arrangement by Blocks,Layer-by-Layer Determination,and Birdcage Deformation—and meticulously evaluates the influences of rod rearrangement on the effective multiplication factor of neutrons,k eff,utilizing the Monte Carlo method.Ultimately,this study presents a holistic method capable of encompassing the entire spectrum of potential effects stemming from the rearrangement of fuel rods during rods mispositioning accident.By augmenting the safety margin,this approach proves to be adeptly suited for the criticality safety analysis of nuclear fuel transport containers.
文摘The need for safety critical systems （SCS） is both important and urgent, and their evaluation and verification are test-dependent. SCS are usually complex and very large, so manual testing of SCS are infeasible in practice, and develop- ing automatic test approaches for SCS has become an impor- tant trend. This paper defines a formal semantics model for automatic test of SCS, called AutTMSCS, which describes behaviors in SCS testing. The model accommodates the high order collaboration in real time and temporariness of SCS testing. Testing tasks, test equipment and products under test are abstracted and architected in three layers, and a method for automatic testing is given. Based on extended label tran- sition system （LTS）, the convergency and correctness of the model are proved to demonstrate the computability of the model, indicating that the testing process of SCS can be au- tomatic.
基金supported by grants from China Scholarship Council,No.2008102056the National Natural Science Foundation of China,No.81241147
文摘Critical illness polyneuropathy and critical illness myopathy are frequent complications of severe illness that involve sensorimotor axons and skeletal muscles, respectively. Clinically, they manifest as limb and respiratory muscle weakness. Critical illness polyneuropathy/myopathy in isolation or combination increases intensive care unit morbidity via the inability or difficulty in weaning these patients off mechanical ventilation. Many patients continue to suffer from decreased exercise capacity and compromised quality of life for months to years after the acute event. Substantial progress has been made lately in the understanding of the pathophysiology of critical illness polyneuropathy and myopathy. Clinical and ancillary test results should be carefully interpreted to differentiate critical illness polyneuropathy/myopathy from similar weaknesses in this patient population. The present review is aimed at providing the latest knowledge concerning the pathophysiology of critical illness polyneuropathy/myopathy along with relevant clinical, diagnostic, differentiating, and treatment information for this debilitat- ing neurological disease.
文摘In this paper,we consider a singular elliptic system with both concave non-linearities and critical Sobolev-Hardy growth terms in bounded domains.By means of variational methods,the multiplicity of positive solutions to this problem is obtained.
基金National Key Research and Development Plan,No.2016YFC0401403National Natural Science Foundation of China,No.41877169
文摘From a critical zone perspective, the present paper aims to present the magnitude of groundwater recharge under different agricultural land-use types, reveal the process of water and solute transport in thick vadose zone, evaluate the "time lag" effect of recharge, and underscore the role of thickening vadose zone in recharge. The results indicated that different agricultural land-use types need to be further considered in recharge rate estimate. Under the typical irrigation condition in the piedmont plain, the recharge rate under flood irrigated winter wheat and summer maize(W/M_F), maize(M), non-cultivation(NC), native vegetation(NV), vegetables(V), and orchards(O) is 206.4, 149.7, 194.1, 46.4, 320.0, and 48.6 mm/yr, respectively. In the central plain, the value under W/M_F, M, NC, V, and cotton(C) is 92.8, 50.8, 85.0, 255.5, and 26.5 mm/yr, respectively. Soil water residence time(several years) and groundwater level response time(several months) should be distinguished to further understand the processes of groundwater recharge, because the soil water displacement velocities range from 0.2 to 2.2 m/yr while the rate of wetting front propagation is approximately 47 m/yr in the piedmont plain. The thickening vadose zone would prolong residence time of soil water and contaminant, which could postpone the time of or alleviate groundwater pollution, but have no significant influence on the magnitude of recharge in a long time scale. Recharge coefficient based on shorter time span(e.g. 2 or 3 years) should be used with caution as a parameter for groundwater resources evaluation, because it varies with total water input and target soil depth. Uncertainties in evapotranspiration and other water balance components should be evaluated in recharge estimation and the impact of land-use types on recharge should be emphasized. The critical zone science would greatly improve the understanding of groundwater recharge processes. The results of the present study will be helpful in sustainable groundwater resources management.
基金supported by NSFC(10771085)Key Lab of Symbolic Computation and Knowledge Engineering of Ministry of Educationthe 985 Program of Jilin University
文摘The main purpose of this paper is to establish the existence of multiple solutions for singular elliptic system involving the critical Sobolev-Hardy exponents and concave-convex nonlinearities. It is shown, by means of variational methods, that under certain conditions, the system has at least two positive solutions.
基金This study was funded by the National Key Research and Development Program of China(2021YFD1700900).
文摘Phosphorus(P)is a nonrenewable resource and a critical element for plant growth that plays an important role in improving crop yield.Excessive P fertilizer application is widespread in agricultural production,which not only wastes phosphate resources but also causes P accumulation and groundwater pollution.Here,we hypothesized that the apparent P balance of a crop system could be used as an indicator for identifying the critical P input in order to obtain a high yield with high phosphorus use efficiency(PUE).A 12-year field experiment with P fertilization rates of 0,45,90,135,180,and 225 kg P_(2)O_(5)ha^(-1)was conducted to determine the crop yield,PUE,and soil Olsen-P value response to P balance,and to optimize the P input.Annual yield stagnation occurred when the P fertilizer application exceeded a certain level,and high yield and PUE levels were achieved with annual P fertilizer application rates of 90-135 kg P_(2)O_(5)ha^(-1).A critical P balance range of 2.15-4.45 kg P ha^(-1)was recommended to achieve optimum yield with minimal environmental risk.The critical P input range estimated from the P balance was 95.7-101 kg P_(2)O_(5)ha^(-1),which improved relative yield(>90%)and PUE(90.0-94.9%).In addition,the P input-output balance helps in assessing future changes in Olsen-P values,which increased by 4.07 mg kg^(-1)of P for every 100 kg of P surplus.Overall,the P balance can be used as a critical indicator for P management in agriculture,providing a robust reference for limiting P excess and developing a more productive,efficient and environmentally friendly P fertilizer management strategy.
基金Project(10472030) supported by the National Natural Science Foundation of China
文摘A theoretical model was suggested which describes the generation of the misfit dislocation dipole in the system of the viscoelastic matrix containing a circular stiff nanoscale inhomogeneity.The critical condition of misfit dislocation dipole and the solution of equilibrium position were given.The influence of the ratio of shear modulus,the misfit strain and viscosity on the equilibrium of the dislocation and critical parameter of inhomogeneity was investigated.The result shows that the equilibrium position de increases with the increase of the ratio of original shear modulus and the effect decreases with the increase of viscosity of matrix.Along with the increase of viscosity of matrix,de first increases and then decreases and possesses maximum value when t=0.3τ and tends to a stable value when t≥1.0τ.Along with the increase of viscosity of matrix,Rc first decreases and then increases and possesses minimum value when t=0.3τ and tends to a stable value when t≥1.0τ.
基金Supported by The National Center for Advancing Translational Sciences,National Institutes of Health,No.UL1 TR000002(to Dr.Field-Ridley)
文摘AIM: To investigate the diagnostic yield, therapeutic efficacy, and rate of adverse events related to flexible fiberoptic bronchoscopy(FFB) in critically ill children. METHODS: We searched Pub Med, SCOPUS, OVID, and EMBASE databases through July 2014 for English language publications studying FFB performed in the intensive care unit in children < 18 years old. We identified 666 studies, of which 89 full-text studies were screened for further review. Two reviewers independently determined that 27 of these studies met inclusion criteria and extracted data. We examined the diagnostic yield of FFB among upper and lower airway evaluations, as well as the utility of bronchoalveolar lavage(BAL). RESULTS: We found that FFB led to a change in medical management in 28.9%(range 21.9%-69.2%) of critically ill children. The diagnostic yield of FFB was 82%(range 45.2%-100%). Infectious organisms were identified in 25.7%(17.6%-75%) of BALs performed, resulting in a change of antimicrobial management in 19.1%(range: 12.2%-75%). FFB successfully reexpanded atelectasis or removed mucus plugs in 60.3%(range: 23.8%-100%) of patients with atelectasis. Adverse events were reported in 12.9%(range: 0.5%-71.4%) of patients. The most common adverse effects of FFB were transient hypotension, hypoxia and/or bradycardia that resolved with minimal intervention, such as oxygen supplementation or removal of the bronchoscope. Serious adverse events were uncommon; 2.1% of adverse events required intervention such as bag-mask ventilation or intubation and atropine for hypoxia and bradycardia, normal saline boluses for hypotension, or lavage and suctioning for hemorrhage. CONCLUSION: FFB is safe and effective for diagnostic and therapeutic use in critically ill pediatric patients.
基金supported by the Science Foundation of State Ethnic Affairs Commission of the People's Republic of China(12ZNZ004)
文摘In this article, an elliptic system is investigated, which involves Hardy-type potentials, critical Sobolev-type nonlinearities, and critical Hardy-Sobolev-type nonlinearities. By a variational global-compactness argument, the Palais-Smale sequences of related approximation problems is analyzed and the existence of infinitely many solutions to the system is established.
文摘In this article, we consider a class of degenerate quasilinear elliptic problems with weights and nonlinearity involving the critical Hardy-Sobolev exponent and one sign- changing function. The existence and multiplicity results of positive solutions are obtained by variational methods.
