MXenes are a novel family of two-dimensional(2D)materials that are fast gaining popularity due to their versatile characteristics.The surfaces of these materials are often functionalized by negatively charged terminal...MXenes are a novel family of two-dimensional(2D)materials that are fast gaining popularity due to their versatile characteristics.The surfaces of these materials are often functionalized by negatively charged terminal groups,such as=O,OH,and F during their synthesis,and it has been hypothesized that regulating the surface terminators enables to control the material characteristics.However,there is still a large gap between computational and experimental investigations regarding comprehending the surface functional groups.Surfaces with mixed terminations are consistently synthesized in experiments,although pure terminated surfaces are predicted by computational research.Here we summarized the nature of chemical bonding in transition metal carbide materials(MXenes)by1H and19F nuclear magnetic resonance(NMR),Raman,X-ray absorption near edge structure(XANES),extended X-ray absorption fine structure(EXAFS),ultraviolet photoelectron spectroscopy(UPS),X-ray photoelectron spectroscopy(XPS)/scanning transmission electron microscopy(STEM),and thermogravimetric analysis-mass spectrometry(TGA-MS)characterizations.Previous literature reveals that=O,–OH,–F,and–Cl are typical MXene surface terminators.However,recent comparative investigations on the valence band intensity distribution in MXenes reveal that the–OH cannot be considered an intrinsic termination species in MXenes.The surface terminals(=O,–OH,–F,and–Cl)of several MXenes,particularly V2CTxand Ti3C2Tx,will be identified and quantified here.We have also discussed different etching approaches for the synthesis of MXene,the dependence of MXene conductivity on MXene terminating groups,and the emission of various gaseous products that evolved during its chemical transformations.This paper provides significance,especially in the field of energy conversion and storage materials,where the intercalation process is crucial.展开更多
Two 2-aryl imidazo [2,1-a] isoquinolines were synthesized and tested for pregnancy terminating activities. Both of them are new compounds and their structures were confirmed by IR, (HNMR)-H-1, MS and elemental analysi...Two 2-aryl imidazo [2,1-a] isoquinolines were synthesized and tested for pregnancy terminating activities. Both of them are new compounds and their structures were confirmed by IR, (HNMR)-H-1, MS and elemental analysis. They both showed high activities in NIH mice.展开更多
Peripheral nerve injuries result in the rapid degeneration of distal nerve segments and immediate loss of motor and sensory functions;behavioral recovery is typically poor.We used a plasmalemmal fusogen,polyethylene g...Peripheral nerve injuries result in the rapid degeneration of distal nerve segments and immediate loss of motor and sensory functions;behavioral recovery is typically poor.We used a plasmalemmal fusogen,polyethylene glycol(PEG),to immediately fuse closely apposed open ends of severed proximal and distal axons in rat sciatic nerves.We have previously reported that sciatic nerve axons repaired by PEG-fusion do not undergo Wallerian degeneration,and PEG-fused animals exhibit rapid(within 2–6 weeks)and extensive locomotor recovery.Furthermore,our previous report showed that PEG-fusion of severed sciatic motor axons was non-specific,i.e.,spinal motoneurons in PEG-fused animals were found to project to appropriate as well as inappropriate target muscles.In this study,we examined the consequences of PEG-fusion for sensory axons of the sciatic nerve.Young adult male and female rats(Sprague–Dawley)received either a unilateral single cut or ablation injury to the sciatic nerve and subsequent repair with or without(Negative Control)the application of PEG.Compound action potentials recorded immediately after PEG-fusion repair confirmed conduction across the injury site.The success of PEG-fusion was confirmed through Sciatic Functional Index testing with PEG-fused animals showing improvement in locomotor function beginning at 35 days postoperatively.At 2–42 days postoperatively,we anterogradely labeled sensory afferents from the dorsal aspect of the hindpaw following bilateral intradermal injection of wheat germ agglutinin conjugated horseradish peroxidase.PEG-fusion repair reestablished axonal continuity.Compared to unoperated animals,labeled sensory afferents ipsilateral to the injury in PEG-fused animals were found in the appropriate area of the dorsal horn,as well as inappropriate mediolateral and rostrocaudal areas.Unexpectedly,despite having intact peripheral nerves,similar reorganizations of labeled sensory afferents were also observed contralateral to the injury and repair.This central reorganization may contribute to the improved behavioral recovery seen after PEG-fusion repair,supporting the use of this novel repair methodology over currently available treatments.展开更多
In order to clarify the structural requirement of pregnancy-terminating drugs, the quantitative structure-activity relationship (QSAR) of 2-aryl imidazo[2,1-a]isoquinolines was studied on the basis of quantum mechanic...In order to clarify the structural requirement of pregnancy-terminating drugs, the quantitative structure-activity relationship (QSAR) of 2-aryl imidazo[2,1-a]isoquinolines was studied on the basis of quantum mechanical calculation and multiple regression analysis. A Good correlation equation was obtained (r2=0.925, q2=0.871). Some new compounds were designed according to the equation. Two of them, compounds 21 and 22, were synthesized and evaluated in NIH mice. The results showed that the difference of activity between 21 (median effective dose ED50=0.943 mg/kg/day) and 22 (ED50=1.099 mg/kg/day) was small and both of them were potent. It is also agreed with the computational results. Compared with L14105 which is the most potent pregnancy-terminating agent, these two compounds possess high activity. The evaluation of the anti-implanting activity showed that they were 100% effective at tested dosage 50.0, 25.0, 12.5 mg/kg/day×3 days in oral administration, which proved the both of them had anti-implanting activity and low first-pass effects.展开更多
Mongolia is a landlocked country with limited infrastructure and high dependence on the Xingang Tianjin port in China for imports. This research examines the potential impacts of establishing a dry port in Zamyn-Uud, ...Mongolia is a landlocked country with limited infrastructure and high dependence on the Xingang Tianjin port in China for imports. This research examines the potential impacts of establishing a dry port in Zamyn-Uud, Mongolia, utilizing a system dynamics modeling approach via Vensim software. The study evaluates transportation time, costs, inflation, and logistics performance index improvements, revealing that the establishment of the dry port can reduce transportation costs and delays significantly while enhancing economic growth. The findings offer actionable insights for policymakers and stakeholders in addressing logistical inefficiencies and fostering sustainable development in landlocked regions.展开更多
This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the author...This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.展开更多
We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivations.Head confluence is weaker than confluence,but suffi- cient to guarantee the...We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivations.Head confluence is weaker than confluence,but suffi- cient to guarantee the correctness of lazy implementations of equational logic programming languages. Then we prove several results.First,if a left-linear system is locally confluent and head-bounded,then it is head-confluent.Second,head-confluent and head-bounded systems have the head Church-Rosser proper- ty.Last,if an orthogonal system is head-terminating,then it is bead-bounded.These results can be ap- plied to generalize equational logic programming languages.展开更多
Machine learning(ML) is well suited for the prediction of high-complexity,high-dimensional problems such as those encountered in terminal ballistics.We evaluate the performance of four popular ML-based regression mode...Machine learning(ML) is well suited for the prediction of high-complexity,high-dimensional problems such as those encountered in terminal ballistics.We evaluate the performance of four popular ML-based regression models,extreme gradient boosting(XGBoost),artificial neural network(ANN),support vector regression(SVR),and Gaussian process regression(GP),on two common terminal ballistics’ problems:(a)predicting the V50ballistic limit of monolithic metallic armour impacted by small and medium calibre projectiles and fragments,and(b) predicting the depth to which a projectile will penetrate a target of semi-infinite thickness.To achieve this we utilise two datasets,each consisting of approximately 1000samples,collated from public release sources.We demonstrate that all four model types provide similarly excellent agreement when interpolating within the training data and diverge when extrapolating outside this range.Although extrapolation is not advisable for ML-based regression models,for applications such as lethality/survivability analysis,such capability is required.To circumvent this,we implement expert knowledge and physics-based models via enforced monotonicity,as a Gaussian prior mean,and through a modified loss function.The physics-informed models demonstrate improved performance over both classical physics-based models and the basic ML regression models,providing an ability to accurately fit experimental data when it is available and then revert to the physics-based model when not.The resulting models demonstrate high levels of predictive accuracy over a very wide range of projectile types,target materials and thicknesses,and impact conditions significantly more diverse than that achievable from any existing analytical approach.Compared with numerical analysis tools such as finite element solvers the ML models run orders of magnitude faster.We provide some general guidelines throughout for the development,application,and reporting of ML models in terminal ballistics problems.展开更多
Background:Acute suppurative terminal cholangitis(ASTC)is rarer than acute obstructive cholangitis and is not well studied.To explore this subtype of acute cholangitis,we described our clinical experience with ASTC.Me...Background:Acute suppurative terminal cholangitis(ASTC)is rarer than acute obstructive cholangitis and is not well studied.To explore this subtype of acute cholangitis,we described our clinical experience with ASTC.Methods:We performed a retrospective review of patients with ASTC admitted to our center from September 2014 to August 2020.We analyzed their clinical characteristics,including etiology,clinical manifestations,imaging features,treatment and prognosis.Results:A total of 32 ASTC patients were included in the analysis.The majority of the patients had a history of biliary operations,and clinical manifestations were occult and atypical.The positive rate of bacterial culture was 46.9%.All the patients had typical imaging features on computed tomography and magnetic resonance imaging.Treatment with effective antibiotics was provided as soon as diagnosis was established.After treatment,most patients had a good outcome.Elevated levels of total bilirubin,aspartate aminotransferase,procalcitonin and gamma-glutamyltransferase were the characteristics of critically ill patients and were associated with relatively poor prognosis.Conclusions:Our results demonstrated that ASTC should be recognized as a new subtype of acute cholangitis,and that earlier diagnosis and more personalized treatments are needed.展开更多
We evaluate an adaptive optimisation methodology,Bayesian optimisation(BO),for designing a minimum weight explosive reactive armour(ERA)for protection against a surrogate medium calibre kinetic energy(KE)long rod proj...We evaluate an adaptive optimisation methodology,Bayesian optimisation(BO),for designing a minimum weight explosive reactive armour(ERA)for protection against a surrogate medium calibre kinetic energy(KE)long rod projectile and surrogate shaped charge(SC)warhead.We perform the optimisation using a conventional BO methodology and compare it with a conventional trial-and-error approach from a human expert.A third approach,utilising a novel human-machine teaming framework for BO is also evaluated.Data for the optimisation is generated using numerical simulations that are demonstrated to provide reasonable qualitative agreement with reference experiments.The human-machine teaming methodology is shown to identify the optimum ERA design in the fewest number of evaluations,outperforming both the stand-alone human and stand-alone BO methodologies.From a design space of almost 1800 configurations the human-machine teaming approach identifies the minimum weight ERA design in 10 samples.展开更多
1.Objective The Emeishan basalts is located in southwest China and northern Vietnam,covering an area of 2.5×10^(5) km^(2)(Zhong YT et al.,2014),which is the first widely recognized large igneous province(LIP)in C...1.Objective The Emeishan basalts is located in southwest China and northern Vietnam,covering an area of 2.5×10^(5) km^(2)(Zhong YT et al.,2014),which is the first widely recognized large igneous province(LIP)in China(Zhang ZS,2009).The Emeishan LIP has attracted a numbers of scholars for the reason that the LIP may play a significant role in the evolution of environment and climate.Yang JH et al.,(2018)pointed out that the weathering of the Emeishan basalts consumed carbon dioxide and caused a decrease in the climate of the early Wuchiapingian.However,the duration and termination of the Emeishan basalts eruption remain in doubt.This paper reports a new discovery of tuffaceous in the middle part of the Upper Permian Wujiaping Formation from the northern margin of the Sichuan Basin,applying of LA-ICP-MS to obtain zircon U-Pb ages of tuffaceous and to constrain the lasted eruption timing of Emeishan LIP.展开更多
Aqueous zinc-ion batteries(AZIBs)show great potential for applications in grid-scale energy storage,given their intrinsic safety,cost effectiveness,environmental friendliness,and impressive electrochemical performance...Aqueous zinc-ion batteries(AZIBs)show great potential for applications in grid-scale energy storage,given their intrinsic safety,cost effectiveness,environmental friendliness,and impressive electrochemical performance.However,strong electrostatic interactions exist between zinc ions and host materials,and they hinder the development of advanced cathode materials for efficient,rapid,and stable Zn-ion storage.MXenes and their derivatives possess a large interlayer spacing,excellent hydrophilicity,outstanding electronic conductivity,and high redox activity.These materials are considered“rising star”cathode candidates for AZIBs.This comprehensive review discusses recent advances in MXenes as AZIB cathodes from the perspectives of crystal structure,Zn-storage mechanism,surface modification,interlayer engineering,and conductive network design to elucidate the correlations among their composition,structure,and electrochemical performance.This work also outlines the remaining challenges faced by MXenes for aqueous Zn-ion storage,such as the urgent need for improved toxic preparation methods,exploration of potential novel MXene cathodes,and suppression of layered MXene restacking upon cycling,and introduces the prospects of MXene-based cathode materials for high-performance AZIBs.展开更多
Improving the cooperative scheduling efficiency of equipment is the key for automated container terminals to copewith the development trend of large-scale ships. In order to improve the solution efficiency of the exis...Improving the cooperative scheduling efficiency of equipment is the key for automated container terminals to copewith the development trend of large-scale ships. In order to improve the solution efficiency of the existing spacetimenetwork (STN) model for the cooperative scheduling problem of yard cranes (YCs) and automated guidedvehicles (AGVs) and extend its application scenarios, two improved STN models are proposed. The flow balanceconstraints in the original model are decomposed, and the trajectory constraints of YCs and AGVs are added toacquire the model STN_A. The coupling constraint in STN_A is updated, and buffer constraints are added toSTN_A so that themodel STN_B is built.As the size of the problem increases, the solution speed of CPLEX becomesthe bottleneck. So a heuristic method containing three groups of heuristic rules is designed to obtain a near-optimalsolution quickly. Experimental results showthat the computation time of STN_A is shortened by 49.47% on averageand the gap is reduced by 1.69% on average compared with the original model. The gap between the solution ofthe heuristic rules and the solution of CPLEX is less than 3.50%, and the solution time of the heuristic rules is onaverage 99.85% less than the solution time of CPLEX. Compared with STN_A, the computation time for solvingSTN_B increases by 58.93% on average.展开更多
The low efficiency and high cost of fresh agricultural product terminal distribution directly restrict the operation of the entire supply network.To reduce costs and optimize the distribution network,we construct a mi...The low efficiency and high cost of fresh agricultural product terminal distribution directly restrict the operation of the entire supply network.To reduce costs and optimize the distribution network,we construct a mixed integer programmingmodel that comprehensively considers tominimize fixed,transportation,fresh-keeping,time,carbon emissions,and performance incentive costs.We analyzed the performance of traditional rider distribution and robot distribution modes in detail.In addition,the uncertainty of the actual market demand poses a huge threat to the stability of the terminal distribution network.In order to resist uncertain interference,we further extend the model to a robust counterpart form.The results of the simulation show that the instability of random parameters will lead to an increase in the cost.Compared with the traditional rider distribution mode,the robot distribution mode can save 12.7%on logistics costs,and the distribution efficiency is higher.Our research can provide support for the design of planning schemes for transportation enterprise managers.展开更多
We investigate the behavior of edge modes in the presence of different edge terminations and long-range(LR)hopping.Here,we mainly focus on such model crystals with two different types of structures(type I:“…-P-Q-P-Q...We investigate the behavior of edge modes in the presence of different edge terminations and long-range(LR)hopping.Here,we mainly focus on such model crystals with two different types of structures(type I:“…-P-Q-P-Q-…”and type II:“…=P-Q=P-Q=…”),where P and Q represent crystal lines(CLs),while the symbols“-”and“=”denote the distance between the nearest neighbor(NN)CLs.Based on the lattice model Hamiltonian with LR hopping,the existence of edge modes is determined analytically by using the transfer matrix method(TMM)when different edge terminals are taken into consideration.Our findings are consistent with the numerical results obtained by the exact diagonalization method.We also notice that edge modes can exhibit different behaviors under different edge terminals.Our result is helpful in solving novel edge modes in honeycomb crystalline graphene and transition metal dichalcogenides with different edge terminals.展开更多
Considering the uncertainty of the speed of horizontal transportation equipment,a cooperative scheduling model of multiple equipment resources in the automated container terminal was constructed to minimize the comple...Considering the uncertainty of the speed of horizontal transportation equipment,a cooperative scheduling model of multiple equipment resources in the automated container terminal was constructed to minimize the completion time,thus improving the loading and unloading efficiencies of automated container terminals.The proposed model integrated the two loading and unloading processes of“double-trolley quay crane+AGV+ARMG”and“single-trolley quay crane+container truck+ARMG”and then designed the simulated annealing particle swarm algorithm to solve the model.By comparing the results of the particle swarm algorithm and genetic algorithm,the algorithm designed in this paper could effectively improve the global and local space search capability of finding the optimal solution.Furthermore,the results showed that the proposed method of collaborative scheduling of multiple equipment resources in automated terminals considering hybrid processes effectively improved the loading and unloading efficiencies of automated container terminals.The findings of this study provide a reference for the improvement of loading and unloading processes as well as coordinated scheduling in automated terminals.展开更多
Lithium metal batteries(LMBs)and anode-free LMBs(AFLMBs)present a solution to the need for batteries with a significantly superior theoretical energy density.However,their adoption is hindered by low Coulombic efficie...Lithium metal batteries(LMBs)and anode-free LMBs(AFLMBs)present a solution to the need for batteries with a significantly superior theoretical energy density.However,their adoption is hindered by low Coulombic efficiency(CE)and rapid capacity fading,primarily due to the formation of unstable solid electrolyte interphase(SEI)layer and Li dendrite growth as a result of uneven Li plating.Here,we report on the use of a stoichiometric Ti_(3)C_(2)T_(x)(S-Ti_(3)C_(2)T_(x))MXene coating on the copper current collector to enhance the cyclic stability of an anode-free lithium metal battery.The S-Ti_(3)C_(2)T_(x)coating provides abundant nucleation sites,thereby lowering the overpotential for Li nucleation,and promoting uniform Li plating.Additionally,the fluorine(-F)termination of S-Ti_(3)C_(2)T_(x)participates in the SEI formation,producing a LiF-rich SEI layer,vital for stabilizing the SEI and improving cycle life.Batteries equipped with S-Ti_(3)C_(2)T_(x)@Cu current collectors displayed reduced Li consumption during stable SEI formation,resulting in a significant decrease in capacity loss.AFLMBs with S-Ti_(3)C_(2)T_(x)@Cu current collectors achieved a high initial capacity density of 4.2 mAh cm^(-2),70.9%capacity retention after 50 cycles,and an average CE of 98.19%in 100 cycles.This innovative application of MXenes in the energy field offers a promising strategy to enhance the performance of AFLMBs and could potentially accelerate their commercial adoption.展开更多
基金supported by the National Natural Science Foundation of China(21703147 and U1401248)the support of China Scholarship Council(2018SLJ022487)。
文摘MXenes are a novel family of two-dimensional(2D)materials that are fast gaining popularity due to their versatile characteristics.The surfaces of these materials are often functionalized by negatively charged terminal groups,such as=O,OH,and F during their synthesis,and it has been hypothesized that regulating the surface terminators enables to control the material characteristics.However,there is still a large gap between computational and experimental investigations regarding comprehending the surface functional groups.Surfaces with mixed terminations are consistently synthesized in experiments,although pure terminated surfaces are predicted by computational research.Here we summarized the nature of chemical bonding in transition metal carbide materials(MXenes)by1H and19F nuclear magnetic resonance(NMR),Raman,X-ray absorption near edge structure(XANES),extended X-ray absorption fine structure(EXAFS),ultraviolet photoelectron spectroscopy(UPS),X-ray photoelectron spectroscopy(XPS)/scanning transmission electron microscopy(STEM),and thermogravimetric analysis-mass spectrometry(TGA-MS)characterizations.Previous literature reveals that=O,–OH,–F,and–Cl are typical MXene surface terminators.However,recent comparative investigations on the valence band intensity distribution in MXenes reveal that the–OH cannot be considered an intrinsic termination species in MXenes.The surface terminals(=O,–OH,–F,and–Cl)of several MXenes,particularly V2CTxand Ti3C2Tx,will be identified and quantified here.We have also discussed different etching approaches for the synthesis of MXene,the dependence of MXene conductivity on MXene terminating groups,and the emission of various gaseous products that evolved during its chemical transformations.This paper provides significance,especially in the field of energy conversion and storage materials,where the intercalation process is crucial.
文摘Two 2-aryl imidazo [2,1-a] isoquinolines were synthesized and tested for pregnancy terminating activities. Both of them are new compounds and their structures were confirmed by IR, (HNMR)-H-1, MS and elemental analysis. They both showed high activities in NIH mice.
基金supported by the Department of Defense AFIRMⅢW81XWH-20-2-0029 grant subcontractLone Star Paralysis gift,UT POC19-1774-13 grant+1 种基金Neuraptive Therapeutics Inc.26-7724-56 grantNational Institutes of Health R01-NS128086(all to GDB)。
文摘Peripheral nerve injuries result in the rapid degeneration of distal nerve segments and immediate loss of motor and sensory functions;behavioral recovery is typically poor.We used a plasmalemmal fusogen,polyethylene glycol(PEG),to immediately fuse closely apposed open ends of severed proximal and distal axons in rat sciatic nerves.We have previously reported that sciatic nerve axons repaired by PEG-fusion do not undergo Wallerian degeneration,and PEG-fused animals exhibit rapid(within 2–6 weeks)and extensive locomotor recovery.Furthermore,our previous report showed that PEG-fusion of severed sciatic motor axons was non-specific,i.e.,spinal motoneurons in PEG-fused animals were found to project to appropriate as well as inappropriate target muscles.In this study,we examined the consequences of PEG-fusion for sensory axons of the sciatic nerve.Young adult male and female rats(Sprague–Dawley)received either a unilateral single cut or ablation injury to the sciatic nerve and subsequent repair with or without(Negative Control)the application of PEG.Compound action potentials recorded immediately after PEG-fusion repair confirmed conduction across the injury site.The success of PEG-fusion was confirmed through Sciatic Functional Index testing with PEG-fused animals showing improvement in locomotor function beginning at 35 days postoperatively.At 2–42 days postoperatively,we anterogradely labeled sensory afferents from the dorsal aspect of the hindpaw following bilateral intradermal injection of wheat germ agglutinin conjugated horseradish peroxidase.PEG-fusion repair reestablished axonal continuity.Compared to unoperated animals,labeled sensory afferents ipsilateral to the injury in PEG-fused animals were found in the appropriate area of the dorsal horn,as well as inappropriate mediolateral and rostrocaudal areas.Unexpectedly,despite having intact peripheral nerves,similar reorganizations of labeled sensory afferents were also observed contralateral to the injury and repair.This central reorganization may contribute to the improved behavioral recovery seen after PEG-fusion repair,supporting the use of this novel repair methodology over currently available treatments.
文摘In order to clarify the structural requirement of pregnancy-terminating drugs, the quantitative structure-activity relationship (QSAR) of 2-aryl imidazo[2,1-a]isoquinolines was studied on the basis of quantum mechanical calculation and multiple regression analysis. A Good correlation equation was obtained (r2=0.925, q2=0.871). Some new compounds were designed according to the equation. Two of them, compounds 21 and 22, were synthesized and evaluated in NIH mice. The results showed that the difference of activity between 21 (median effective dose ED50=0.943 mg/kg/day) and 22 (ED50=1.099 mg/kg/day) was small and both of them were potent. It is also agreed with the computational results. Compared with L14105 which is the most potent pregnancy-terminating agent, these two compounds possess high activity. The evaluation of the anti-implanting activity showed that they were 100% effective at tested dosage 50.0, 25.0, 12.5 mg/kg/day×3 days in oral administration, which proved the both of them had anti-implanting activity and low first-pass effects.
文摘Mongolia is a landlocked country with limited infrastructure and high dependence on the Xingang Tianjin port in China for imports. This research examines the potential impacts of establishing a dry port in Zamyn-Uud, Mongolia, utilizing a system dynamics modeling approach via Vensim software. The study evaluates transportation time, costs, inflation, and logistics performance index improvements, revealing that the establishment of the dry port can reduce transportation costs and delays significantly while enhancing economic growth. The findings offer actionable insights for policymakers and stakeholders in addressing logistical inefficiencies and fostering sustainable development in landlocked regions.
基金supported by the National Basic Research Program of China under Grant No.2014CB340700the National Science and Technology Major Project of China under Grant No.2012ZX01039-004+3 种基金the National Natural Science Foundation of China under Grant Nos.91118007,11071273,61202131,11401218,cstc2012ggB40004,cstc2013jjys40001SRFDP under Grant No.20130076120010the Open Project of Shanghai Key Laboratory of Trustworthy Computing under Grant No.07dz22304201307West Light Foundation of Chinese Academy of Sciences
文摘This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.
基金The project is supported by the National Natural Science Foundation of China.
文摘We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivations.Head confluence is weaker than confluence,but suffi- cient to guarantee the correctness of lazy implementations of equational logic programming languages. Then we prove several results.First,if a left-linear system is locally confluent and head-bounded,then it is head-confluent.Second,head-confluent and head-bounded systems have the head Church-Rosser proper- ty.Last,if an orthogonal system is head-terminating,then it is bead-bounded.These results can be ap- plied to generalize equational logic programming languages.
文摘Machine learning(ML) is well suited for the prediction of high-complexity,high-dimensional problems such as those encountered in terminal ballistics.We evaluate the performance of four popular ML-based regression models,extreme gradient boosting(XGBoost),artificial neural network(ANN),support vector regression(SVR),and Gaussian process regression(GP),on two common terminal ballistics’ problems:(a)predicting the V50ballistic limit of monolithic metallic armour impacted by small and medium calibre projectiles and fragments,and(b) predicting the depth to which a projectile will penetrate a target of semi-infinite thickness.To achieve this we utilise two datasets,each consisting of approximately 1000samples,collated from public release sources.We demonstrate that all four model types provide similarly excellent agreement when interpolating within the training data and diverge when extrapolating outside this range.Although extrapolation is not advisable for ML-based regression models,for applications such as lethality/survivability analysis,such capability is required.To circumvent this,we implement expert knowledge and physics-based models via enforced monotonicity,as a Gaussian prior mean,and through a modified loss function.The physics-informed models demonstrate improved performance over both classical physics-based models and the basic ML regression models,providing an ability to accurately fit experimental data when it is available and then revert to the physics-based model when not.The resulting models demonstrate high levels of predictive accuracy over a very wide range of projectile types,target materials and thicknesses,and impact conditions significantly more diverse than that achievable from any existing analytical approach.Compared with numerical analysis tools such as finite element solvers the ML models run orders of magnitude faster.We provide some general guidelines throughout for the development,application,and reporting of ML models in terminal ballistics problems.
基金This study was supported by a grant from the National Natural Science Foundation of China(81870457).
文摘Background:Acute suppurative terminal cholangitis(ASTC)is rarer than acute obstructive cholangitis and is not well studied.To explore this subtype of acute cholangitis,we described our clinical experience with ASTC.Methods:We performed a retrospective review of patients with ASTC admitted to our center from September 2014 to August 2020.We analyzed their clinical characteristics,including etiology,clinical manifestations,imaging features,treatment and prognosis.Results:A total of 32 ASTC patients were included in the analysis.The majority of the patients had a history of biliary operations,and clinical manifestations were occult and atypical.The positive rate of bacterial culture was 46.9%.All the patients had typical imaging features on computed tomography and magnetic resonance imaging.Treatment with effective antibiotics was provided as soon as diagnosis was established.After treatment,most patients had a good outcome.Elevated levels of total bilirubin,aspartate aminotransferase,procalcitonin and gamma-glutamyltransferase were the characteristics of critically ill patients and were associated with relatively poor prognosis.Conclusions:Our results demonstrated that ASTC should be recognized as a new subtype of acute cholangitis,and that earlier diagnosis and more personalized treatments are needed.
文摘We evaluate an adaptive optimisation methodology,Bayesian optimisation(BO),for designing a minimum weight explosive reactive armour(ERA)for protection against a surrogate medium calibre kinetic energy(KE)long rod projectile and surrogate shaped charge(SC)warhead.We perform the optimisation using a conventional BO methodology and compare it with a conventional trial-and-error approach from a human expert.A third approach,utilising a novel human-machine teaming framework for BO is also evaluated.Data for the optimisation is generated using numerical simulations that are demonstrated to provide reasonable qualitative agreement with reference experiments.The human-machine teaming methodology is shown to identify the optimum ERA design in the fewest number of evaluations,outperforming both the stand-alone human and stand-alone BO methodologies.From a design space of almost 1800 configurations the human-machine teaming approach identifies the minimum weight ERA design in 10 samples.
基金jointly supported by the Open Fund of State Key Laboratory of Shale Oil and Gas Enrichment Mechanisms and Effective Developmentthe Natural Science Foundation of Sichuan Province(Grant No.24NSFSC4125)。
文摘1.Objective The Emeishan basalts is located in southwest China and northern Vietnam,covering an area of 2.5×10^(5) km^(2)(Zhong YT et al.,2014),which is the first widely recognized large igneous province(LIP)in China(Zhang ZS,2009).The Emeishan LIP has attracted a numbers of scholars for the reason that the LIP may play a significant role in the evolution of environment and climate.Yang JH et al.,(2018)pointed out that the weathering of the Emeishan basalts consumed carbon dioxide and caused a decrease in the climate of the early Wuchiapingian.However,the duration and termination of the Emeishan basalts eruption remain in doubt.This paper reports a new discovery of tuffaceous in the middle part of the Upper Permian Wujiaping Formation from the northern margin of the Sichuan Basin,applying of LA-ICP-MS to obtain zircon U-Pb ages of tuffaceous and to constrain the lasted eruption timing of Emeishan LIP.
基金the National Natural Science Foundation of China(Nos.52372171,22075016,and 52201201)the National Program for Support of Top-notch Young Professionals,China+3 种基金the Interdisciplinary Research Project for Young Teachers of University of Science and Technology Beijing,China(No.FRF-IDRY-21-011)the State Key Laboratory for Advanced Metals and Materials,China(No.2022Z-17)the Ministry of Education Social Science Project,China(No.18YJC790087)the“Xiaomi Young Scholar”Funding Project,China,and the 111 Project,China(No.B170003)。
文摘Aqueous zinc-ion batteries(AZIBs)show great potential for applications in grid-scale energy storage,given their intrinsic safety,cost effectiveness,environmental friendliness,and impressive electrochemical performance.However,strong electrostatic interactions exist between zinc ions and host materials,and they hinder the development of advanced cathode materials for efficient,rapid,and stable Zn-ion storage.MXenes and their derivatives possess a large interlayer spacing,excellent hydrophilicity,outstanding electronic conductivity,and high redox activity.These materials are considered“rising star”cathode candidates for AZIBs.This comprehensive review discusses recent advances in MXenes as AZIB cathodes from the perspectives of crystal structure,Zn-storage mechanism,surface modification,interlayer engineering,and conductive network design to elucidate the correlations among their composition,structure,and electrochemical performance.This work also outlines the remaining challenges faced by MXenes for aqueous Zn-ion storage,such as the urgent need for improved toxic preparation methods,exploration of potential novel MXene cathodes,and suppression of layered MXene restacking upon cycling,and introduces the prospects of MXene-based cathode materials for high-performance AZIBs.
基金National Natural Science Foundation of China(62073212).
文摘Improving the cooperative scheduling efficiency of equipment is the key for automated container terminals to copewith the development trend of large-scale ships. In order to improve the solution efficiency of the existing spacetimenetwork (STN) model for the cooperative scheduling problem of yard cranes (YCs) and automated guidedvehicles (AGVs) and extend its application scenarios, two improved STN models are proposed. The flow balanceconstraints in the original model are decomposed, and the trajectory constraints of YCs and AGVs are added toacquire the model STN_A. The coupling constraint in STN_A is updated, and buffer constraints are added toSTN_A so that themodel STN_B is built.As the size of the problem increases, the solution speed of CPLEX becomesthe bottleneck. So a heuristic method containing three groups of heuristic rules is designed to obtain a near-optimalsolution quickly. Experimental results showthat the computation time of STN_A is shortened by 49.47% on averageand the gap is reduced by 1.69% on average compared with the original model. The gap between the solution ofthe heuristic rules and the solution of CPLEX is less than 3.50%, and the solution time of the heuristic rules is onaverage 99.85% less than the solution time of CPLEX. Compared with STN_A, the computation time for solvingSTN_B increases by 58.93% on average.
文摘The low efficiency and high cost of fresh agricultural product terminal distribution directly restrict the operation of the entire supply network.To reduce costs and optimize the distribution network,we construct a mixed integer programmingmodel that comprehensively considers tominimize fixed,transportation,fresh-keeping,time,carbon emissions,and performance incentive costs.We analyzed the performance of traditional rider distribution and robot distribution modes in detail.In addition,the uncertainty of the actual market demand poses a huge threat to the stability of the terminal distribution network.In order to resist uncertain interference,we further extend the model to a robust counterpart form.The results of the simulation show that the instability of random parameters will lead to an increase in the cost.Compared with the traditional rider distribution mode,the robot distribution mode can save 12.7%on logistics costs,and the distribution efficiency is higher.Our research can provide support for the design of planning schemes for transportation enterprise managers.
基金supported by the National Natural Science Foundation of China(Grant No.11847061)Domestic Visiting Program for Young and Middle-aged Teachers in Shanghai Universities.
文摘We investigate the behavior of edge modes in the presence of different edge terminations and long-range(LR)hopping.Here,we mainly focus on such model crystals with two different types of structures(type I:“…-P-Q-P-Q-…”and type II:“…=P-Q=P-Q=…”),where P and Q represent crystal lines(CLs),while the symbols“-”and“=”denote the distance between the nearest neighbor(NN)CLs.Based on the lattice model Hamiltonian with LR hopping,the existence of edge modes is determined analytically by using the transfer matrix method(TMM)when different edge terminals are taken into consideration.Our findings are consistent with the numerical results obtained by the exact diagonalization method.We also notice that edge modes can exhibit different behaviors under different edge terminals.Our result is helpful in solving novel edge modes in honeycomb crystalline graphene and transition metal dichalcogenides with different edge terminals.
基金supported by the National Key R&D Program of China(Grant No.2017YFC0805309)Natural Science Foundation of Fujian Province(Grant No.2021J01820)Department of Education of Fujian Province Project(Grant Nos.JAT190294 and JAT210230).
文摘Considering the uncertainty of the speed of horizontal transportation equipment,a cooperative scheduling model of multiple equipment resources in the automated container terminal was constructed to minimize the completion time,thus improving the loading and unloading efficiencies of automated container terminals.The proposed model integrated the two loading and unloading processes of“double-trolley quay crane+AGV+ARMG”and“single-trolley quay crane+container truck+ARMG”and then designed the simulated annealing particle swarm algorithm to solve the model.By comparing the results of the particle swarm algorithm and genetic algorithm,the algorithm designed in this paper could effectively improve the global and local space search capability of finding the optimal solution.Furthermore,the results showed that the proposed method of collaborative scheduling of multiple equipment resources in automated terminals considering hybrid processes effectively improved the loading and unloading efficiencies of automated container terminals.The findings of this study provide a reference for the improvement of loading and unloading processes as well as coordinated scheduling in automated terminals.
基金supported by the Creative Research Initiative Program(2015R1A3A2028975)funded by the National Research Foundation of Korea(NRF)+2 种基金supported by LG energy solution-KAIST Frontier Research Laboratory(2022)the National Research Foundation of Korea(NRF)grants(MSIT,NRF-2021M3H4A1A03047333)supported(funded)by the Semiconductor-Secondary Battery Interfacing Platform Technology Development Project of NNFC
文摘Lithium metal batteries(LMBs)and anode-free LMBs(AFLMBs)present a solution to the need for batteries with a significantly superior theoretical energy density.However,their adoption is hindered by low Coulombic efficiency(CE)and rapid capacity fading,primarily due to the formation of unstable solid electrolyte interphase(SEI)layer and Li dendrite growth as a result of uneven Li plating.Here,we report on the use of a stoichiometric Ti_(3)C_(2)T_(x)(S-Ti_(3)C_(2)T_(x))MXene coating on the copper current collector to enhance the cyclic stability of an anode-free lithium metal battery.The S-Ti_(3)C_(2)T_(x)coating provides abundant nucleation sites,thereby lowering the overpotential for Li nucleation,and promoting uniform Li plating.Additionally,the fluorine(-F)termination of S-Ti_(3)C_(2)T_(x)participates in the SEI formation,producing a LiF-rich SEI layer,vital for stabilizing the SEI and improving cycle life.Batteries equipped with S-Ti_(3)C_(2)T_(x)@Cu current collectors displayed reduced Li consumption during stable SEI formation,resulting in a significant decrease in capacity loss.AFLMBs with S-Ti_(3)C_(2)T_(x)@Cu current collectors achieved a high initial capacity density of 4.2 mAh cm^(-2),70.9%capacity retention after 50 cycles,and an average CE of 98.19%in 100 cycles.This innovative application of MXenes in the energy field offers a promising strategy to enhance the performance of AFLMBs and could potentially accelerate their commercial adoption.
