In order to improve the accuracy of travel demand forecast and considering the distribution of travel behaviors within time dimension, a trip chaining pattern recognition model was established based on activity purpos...In order to improve the accuracy of travel demand forecast and considering the distribution of travel behaviors within time dimension, a trip chaining pattern recognition model was established based on activity purposes by applying three methods： the support vector machine （SVM） model, the radial basis function neural network （RBFNN） model and the multinomial logit （MNL） model. The effect of explanatory factors on trip chaining behaviors and their contribution to model performace were investigated by sensitivity analysis. Results show that the SVM model has a better performance than the RBFNN model and the MNL model due to its higher overall and partial accuracy, indicating its recognition advantage under a smai sample size scenario. It is also proved that the SVM model is capable of estimating the effect of multi-category factors on trip chaining behaviors more accurately. The different contribution of explanatory, factors to trip chaining pattern recognition reflects the importance of refining trip chaining patterns ad exploring factors that are specific to each pattern. It is shown that the SVM technology in travel demand forecast modeling and analysis of explanatory variable effects is practical.展开更多
Animal husbandry is the pillar industry in some ethnic areas of China.However,the communication/networking infrastructure in these areas is often underdeveloped,thus the difficulty in centralized management,and challe...Animal husbandry is the pillar industry in some ethnic areas of China.However,the communication/networking infrastructure in these areas is often underdeveloped,thus the difficulty in centralized management,and challenges for the effective monitoring.Considering the dynamics of the field monitoring environment,as well as the diversity and mobility of monitoring targets,traditional WSN(Wireless Sensor Networks)or IoT(Internet of Things)is difficult to meet the surveillance needs.Mobile surveillance that features the collaboration of various functions(camera,sensing,image recognition,etc.)deployed on mobile devices is desirable in a volatile wireless environment.This paper proposes the service function chaining for mobile surveillance of animal husbandry,which orchestrates multi-path multifunction(MPMF)chains to help mobile devices to collaborate in complex surveillance tasks,provide backup chains in case the primary service function chain fails due to mobility,signal strength,obstacle,etc.,and make up for the defects of difficult deployment of monitoring facilities in ethnic areas.MPMF algorithmmodels both mobile devices and various functions deployed on them as abstract graph nodes,so that chains that are required to traverse various functions and hosting mobile devices can be orchestrated in a single graphbased query through modified and adapted Dijkstra-like algorithms,with their cost ordered automatically.Experiment results show that the proposed MPMF algorithm finds multiple least-costly chains that traverse demanded functions in a timely fashion on Raspberry Pi-equipped mobile devices.展开更多
Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, s...Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.展开更多
Short-chain fatty acids,metabolites produced by the fermentation of dietary fiber by gut microbiota,have garnered significant attention due to their correlation with neurodegenerative diseases,particularly Parkinson’...Short-chain fatty acids,metabolites produced by the fermentation of dietary fiber by gut microbiota,have garnered significant attention due to their correlation with neurodegenerative diseases,particularly Parkinson’s disease.In this review,we summarize the changes in short-chain fatty acid levels and the abundance of short-chain fatty acid-producing bacteria in various samples from patients with Parkinson’s disease,highlighting the critical role of gut homeostasis imbalance in the pathogenesis and progression of the disease.Focusing on the nervous system,we discuss the molecular mechanisms by which short-chain fatty acids influence the homeostasis of both the enteric nervous system and the central nervous system.We identify key processes,including the activation of G protein-coupled receptors and the inhibition of histone deacetylases by short-chain fatty acids.Importantly,structural or functional disruptions in the enteric nervous system mediated by these fatty acids may lead to abnormalα-synuclein expression and gastrointestinal dysmotility,which could serve as an initiating event in Parkinson’s disease.Furthermore,we propose that short-chain fatty acids help establish communication between the enteric nervous system and the central nervous system via the vagal nerve,immune circulation,and endocrine signaling.This communication may shed light on their potential role in the transmission ofα-synuclein from the gut to the brain.Finally,we elucidate novel treatment strategies for Parkinson’s disease that target short-chain fatty acids and examine the challenges associated with translating short-chain fatty acid-based therapies into clinical practice.In conclusion,this review emphasizes the pivotal role of short-chain fatty acids in regulating gut-brain axis integrity and their significance in the pathogenesis of Parkinson’s disease from the perspective of the nervous system.Moreover,it highlights the potential value of short-chain fatty acids in early intervention for Parkinson’s disease.Future research into the molecular mechanisms of short-chain fatty acids and their synergistic interactions with other gut metabolites is likely to advance the clinical translation of innovative short-chain fatty acid-based therapies for Parkinson’s disease.展开更多
This paper introduces some improvements on the intelligent backtrackingstrategy for forward chaining theorem proving. How to decide a minimal useful consequent atom setfor a refutation derived at a node in a proof tre...This paper introduces some improvements on the intelligent backtrackingstrategy for forward chaining theorem proving. How to decide a minimal useful consequent atom setfor a refutation derived at a node in a proof tree is discussed. In most cases, an unnecessarynon-Horn clause used for forward chaining will be split only once. The increase of the search spaceby invoking unnecessary forward chaining clauses will be nearly linear, not exponential anymore. Inthis paper, the principle of the proposed method and its correctness are introduced. Moreover, someexamples are provided to show that the proposed approach is powerful for forward chaining theoremproving.展开更多
Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of comp...Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the A operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.展开更多
Spinal cord injuries have overwhelming physical and occupational implications for patients.Moreover,the extensive and long-term medical care required for spinal cord injury significantly increases healthcare costs and...Spinal cord injuries have overwhelming physical and occupational implications for patients.Moreover,the extensive and long-term medical care required for spinal cord injury significantly increases healthcare costs and resources,adding a substantial burden to the healthcare system and patients'families.In this context,chondroitinase ABC,a bacterial enzyme isolated from Proteus vulgaris that is modified to facilitate expression and secretion in mammals,has emerged as a promising therapeutic agent.It works by degrading chondroitin sulfate proteoglycans,cleaving the glycosaminoglycanchains of chondroitin sulfate proteoglycans into soluble disaccharides or tetrasaccharides.Chondroitin sulfate proteoglycans are potent axon growth inhibitors and principal constituents of the extracellular matrix surrounding glial and neuronal cells attached to glycosaminoglycan chains.Chondroitinase ABC has been shown to play an effective role in promoting recovery from acute and chronic spinal cord injury by improving axonal regeneration and sprouting,enhancing the plasticity of perineuronal nets,inhibiting neuronal apoptosis,and modulating immune responses in various animal models.In this review,we introduce the classification and pathological mechanisms of spinal cord injury and discuss the pathophysiological role of chondroitin sulfate proteoglycans in spinal cord injury.We also highlight research advancements in spinal cord injury treatment strategies,with a focus on chondroitinase ABC,and illustrate how improvements in chondroitinase ABC stability,enzymatic activity,and delivery methods have enhanced injured spinal cord repair.Furthermore,we emphasize that combination treatment with chondroitinase ABC further enhances therapeutic efficacy.This review aimed to provide a comprehensive understanding of the current trends and future directions of chondroitinase ABC-based spinal cord injury therapies,with an emphasis on how modern technologies are accelerating the optimization of chondroitinase ABC development.展开更多
The cGAS–STING pathway plays an important role in ischemia-reperfusion injury in the heart,liver,brain,and kidney,but its role and mechanisms in cerebral ischemia-reperfusion injury have not been systematically revie...The cGAS–STING pathway plays an important role in ischemia-reperfusion injury in the heart,liver,brain,and kidney,but its role and mechanisms in cerebral ischemia-reperfusion injury have not been systematically reviewed.Here,we outline the components of the cGAS–STING pathway and then analyze its role in autophagy,ferroptosis,cellular pyroptosis,disequilibrium of calcium homeostasis,inflammatory responses,disruption of the blood–brain barrier,microglia transformation,and complement system activation following cerebral ischemia-reperfusion injury.We further analyze the value of cGAS–STING pathway inhibitors in the treatment of cerebral ischemia-reperfusion injury and conclude that the pathway can regulate cerebral ischemia-reperfusion injury through multiple mechanisms.Inhibition of the cGAS–STING pathway may be helpful in the treatment of cerebral ischemia-reperfusion injury.展开更多
Amyotrophic lateral sclerosis is a devastating neurodegenerative disease for which the current treatment approaches remain severely limited.The principal pathological alterations of the disease include the selective d...Amyotrophic lateral sclerosis is a devastating neurodegenerative disease for which the current treatment approaches remain severely limited.The principal pathological alterations of the disease include the selective degeneration of motor neurons in the brain,brainstem,and spinal cord,as well as abnormal protein deposition in the cytoplasm of neurons and glial cells.The biological markers under extensive scrutiny are predominantly located in the cerebrospinal fluid,blood,and even urine.Among these biomarke rs,neurofilament proteins and glial fibrillary acidic protein most accurately reflect the pathologic changes in the central nervous system,while creatinine and creatine kinase mainly indicate pathological alterations in the peripheral nerves and muscles.Neurofilament light chain levels serve as an indicator of neuronal axonal injury that remain stable throughout disease progression and are a promising diagnostic and prognostic biomarker with high specificity and sensitivity.However,there are challenges in using neurofilament light chain to diffe rentiate amyotrophic lateral sclerosis from other central nervous system diseases with axonal injury.Glial fibrillary acidic protein predominantly reflects the degree of neuronal demyelination and is linked to non-motor symptoms of amyotrophic lateral sclerosis such as cognitive impairment,oxygen saturation,and the glomerular filtration rate.TAR DNA-binding protein 43,a pathological protein associated with amyotrophic lateral sclerosis,is emerging as a promising biomarker,particularly with advancements in exosome-related research.Evidence is currently lacking for the value of creatinine and creatine kinase as diagnostic markers;however,they show potential in predicting disease prognosis.Despite the vigorous progress made in the identification of amyotrophic lateral sclerosis biomarkers in recent years,the quest for definitive diagnostic and prognostic biomarke rs remains a formidable challenge.This review summarizes the latest research achievements concerning blood biomarkers in amyotrophic lateral sclerosis that can provide a more direct basis for the differential diagnosis and prognostic assessment of the disease beyond a reliance on clinical manifestations and electromyography findings.展开更多
Frequent glacier-related watershed geohazard chains are causing severe damage to life and infrastructure,reported consistently from the Eastern Himalayan Syntaxis.This paper presents a systematic method for researchin...Frequent glacier-related watershed geohazard chains are causing severe damage to life and infrastructure,reported consistently from the Eastern Himalayan Syntaxis.This paper presents a systematic method for researching geohazard,from regional to individual scale.The methodology includes the establishment of geological chain inventories,discrimination of geohazard chain modes,analyses of dynamics and dam breaches,and risk assessments.The following results were obtained:(1)In the downstream of Yarlung Zangbo River,175 sites were identified as high-risk for river blockage disasters,indicating the development of watershed geohazards.Five geohazard chain modes were summarized by incorporating geomorphological characteristics,historical events,landslide zoning,and materials.The risk areas of typical hazard were identified and assessed using InSAR data.(2)Glacier-related watershed geohazard chains are significantly different from traditional landslides.A detailed inversion analysis was conducted on the massive rock-ice avalanche in the Sedongpu gully in 2021.This particular event lasted roughly 300 seconds,with a maximum flow velocity of 77.2 m/s and a maximum flow height of 93 meters.By scrutinizing the dynamic processes and mechanical characteristics,mobility stages and phase transitions can be divided into four stages.(3)Watershed geohazard chains tend to block rivers.The peak breach discharge of the Yigong Landslide reached 12.4×10^(4) m^(3)/s,which is 36 times the volume of the seasonal flood discharge in the Yigong River.Megafloods caused by landslide dam breaches have significantly shaped the geomorphology.This study offers insights into disaster patterns and the multistaged movement characteristics of glacier-related watershed geohazard chains,providing a comprehensive method for investigations and assessments in glacial regions.展开更多
The concept of Supply Chain 4.0 represents a transformative phase in supply chain management through advanced digital technologies like IoT, AI, blockchain, and cyber-physical systems. While these innovations deliver ...The concept of Supply Chain 4.0 represents a transformative phase in supply chain management through advanced digital technologies like IoT, AI, blockchain, and cyber-physical systems. While these innovations deliver operational improvements, the heightened interconnectivity introduces significant cybersecurity challenges, particularly within military logistics, where mission-critical operations and life-safety concerns are paramount. This paper examines these unique cybersecurity requirements, focusing on advanced persistent threats, supply chain poisoning, and data breaches that could compromise sensitive operations. The study proposes a hybrid cybersecurity framework tailored to military logistics, integrating resilience, redundancy, and cross-jurisdictional security measures. Real-world applicability is validated through simulations, offering strategies for securing supply chains while balancing security, efficiency, and flexibility.展开更多
Amid the escalating plastic pollution issue, the development of biodegradable and recyclable polymeric materials has become a focus within the scientific community. Chain extenders, which are an important class of com...Amid the escalating plastic pollution issue, the development of biodegradable and recyclable polymeric materials has become a focus within the scientific community. Chain extenders, which are an important class of compounds, facilitate the elongation of polymer chains through reactive functional groups, thereby enhancing the performance of the materials. Epoxy-based chain extenders, due to their cost-effectiveness, low toxicity, high reaction efficiency, and effective reactivity with hydroxyl and carboxyl groups, have emerged as a promising class of chain extenders. This manuscript comprehensively elaborates on the varieties, structural characteristics, and performance of chain extenders, the challenges they face, and the methods for their modification. Special emphasis is placed on the application of epoxy-based chain extenders in biodegradable polymers, such as polylactic acid (PLA), and their subsequent influence on the structural and performance properties of these materials.展开更多
The Regional Comprehensive Economic Partnership(RCEP)has created favorable conditions for building deeply integrated agricultural value chains(AVC)in Asia-Pacific.Based on the RCEP agreement,this study employed the gl...The Regional Comprehensive Economic Partnership(RCEP)has created favorable conditions for building deeply integrated agricultural value chains(AVC)in Asia-Pacific.Based on the RCEP agreement,this study employed the global trade analysis project(GTAP)model to evaluate the impact of RCEP on AVC of member countries in terms of time,tariff reduction,and reduction of non-tariff barriers(NTB).The results indicate that(1)the implementation of RCEP boosts the value-added to agricultural exports for most member countries,particularly in competitive industries;(2)the increase in domestic production and processing capacity,reflected in domestic value-added(DVA),is the primary factor driving the rise in the value-added of agricultural exports across various industries of member countries;(3)RCEP enhances the participation of most regional countries in AVC,with varying impacts on AVC positioning,thereby fostering regional AvC development;and(4)RCEP has a positive effect on AVC indicators both in the short and long term,with the effect becoming more pronounced over time.Additionally,reducing NTB enhances the positive effects of tariff reductions on AVC indicators.Based on the analyses,the following recommendations are proposed:(1)Leverage the development opportunities arising from RCEP implementation to enhance the agricultural DVA;(2)capitalize on cooperative opportunities created by RCEP to build cohesive regional AVC;and(3)prioritize the effective implementation of RCEP'shigh-qualityrules.展开更多
Rapid diagnosis of Salmonella is crucial for the effective control of food safety incidents, especially in regions with poor hygiene conditions. Polymerase chain reaction(PCR), as a promising tool for Salmonella detec...Rapid diagnosis of Salmonella is crucial for the effective control of food safety incidents, especially in regions with poor hygiene conditions. Polymerase chain reaction(PCR), as a promising tool for Salmonella detection, is facing a lack of simple and fast sensing methods that are compatible with field applications in resource-limited areas. In this work, we developed a sensing approach to identify PCR-amplified Salmonella genomic DNA with the naked eye in a snapshot. Based on the ratiometric fiuorescence signals from SYBR Green Ⅰ and Hydroxyl naphthol blue, positive samples stood out from negative ones with a distinct color pattern under UV exposure. The proposed sensing scheme enabled highly specific identification of Salmonella with a detection limit at the single-copy level. Also, as a supplement to the intuitive naked-eye visualization results, numerical analysis of the colored images was available with a smartphone app to extract RGB values from colored images. This work provides a simple, rapid, and user-friendly solution for PCR identification, which promises great potential in molecular diagnosis of Salmonella and other pathogens in field.展开更多
To solve the challenges of connecting and coordinating multiple platforms in the automotive industry and to enhance collaboration among different participants,this research focuses on addressing the complex supply rel...To solve the challenges of connecting and coordinating multiple platforms in the automotive industry and to enhance collaboration among different participants,this research focuses on addressing the complex supply relationships in the automotive market,improving data sharing and interactions across various platforms,and achieving more detailed integration of data and operations.We propose a trust evaluation permission delegation method based on the automotive industry chain.The proposed method combines smart contracts with trust evaluation mechanisms,dynamically calculating the trust value of users based on the historical behavior of the delegated entity,network environment,and other factors to avoid malicious node attacks during the permission delegation process.We also introduce strict control over the cross-domain permission granting and revocation mechanisms to manage the delegation path,prevent information leakage caused by malicious node interception,and effectively protect data integrity and privacy.Experimental analysis shows that this method meets the realtime requirements of collaborative interaction in the automotive industry chain and provides a feasible solution to permission delegation issues in the automotive industry chain,offering dynamic flexibility in authorization and scalability compared to most existing solutions.展开更多
By systematically reviewing the development status of global carbon dioxide capture,utilization and storage(CCUS)cluster,and comparing domestic and international CCUS industrial models and successful experiences,this ...By systematically reviewing the development status of global carbon dioxide capture,utilization and storage(CCUS)cluster,and comparing domestic and international CCUS industrial models and successful experiences,this study explores the challenges and strategies for the scaled development of the CCUS industry of China.Globally,the CCUS industry has entered a phase of scaled and clustered development.North America has established a system of key technologies in large-scale CO_(2) capture,long-distance pipeline transmission,pipeline network optimization,and large-scale CO_(2) flooding for enhanced oil recovery(CO_(2)-EOR),with relatively mature cluster development and a gradual shift in industrial model from CO_(2)-EOR to geological storage.The CCUS industry of China has developed rapidly across all segments but remains in the early stage of cluster development,facing challenges such as absent business model,insufficient policy support,and technological gaps in core areas.China needs to improve the policy support system to boost enterprises participation across the entire industrial chain,strengthen top-level design and medium-to long-term planning to accelerate demonstration projects construction for whole-process CCUS clusters,advance for a full-chain technological system,including low-cost capture,pipeline optimization and EOR/storage integration technologies,and strengthen personnel training,strengthen discipline construction and university-enterprise research cooperation.展开更多
In response to the challenges presented by the unreliable identity of the master node,high communication overhead,and limited network support size within the Practical Byzantine Fault-Tolerant(PBFT)algorithm for conso...In response to the challenges presented by the unreliable identity of the master node,high communication overhead,and limited network support size within the Practical Byzantine Fault-Tolerant(PBFT)algorithm for consortium chains,we propose an improved PBFT algorithm based on XGBoost grouping called XG-PBFT in this paper.XG-PBFT constructs a dataset by training important parameters that affect node performance,which are used as classification indexes for nodes.The XGBoost algorithm then is employed to train the dataset,and nodes joining the system will be grouped according to the trained grouping model.Among them,the nodes with higher parameter indexes will be assigned to the consensus group to participate in the consensus,and the rest of the nodes will be assigned to the general group to receive the consensus results.In order to reduce the resource waste of the system,XG-PBFT optimizes the consensus protocol for the problem of high complexity of PBFT communication.Finally,we evaluate the performance of XG-PBFT.The experimental results show that XG-PBFT can significantly improve the performance of throughput,consensus delay and communication complexity compared to the original PBFT algorithm,and the performance enhancement is significant compared to other algorithms in the case of a larger number of nodes.The results demonstrate that the XG-PBFT algorithm is more suitable for large-scale consortium chains.展开更多
基金The Fundamental Research Funds for the Central Universities,the Scientific Innovation Research of College Graduates in Jiangsu Province(No.KYLX_0177)
文摘In order to improve the accuracy of travel demand forecast and considering the distribution of travel behaviors within time dimension, a trip chaining pattern recognition model was established based on activity purposes by applying three methods： the support vector machine （SVM） model, the radial basis function neural network （RBFNN） model and the multinomial logit （MNL） model. The effect of explanatory factors on trip chaining behaviors and their contribution to model performace were investigated by sensitivity analysis. Results show that the SVM model has a better performance than the RBFNN model and the MNL model due to its higher overall and partial accuracy, indicating its recognition advantage under a smai sample size scenario. It is also proved that the SVM model is capable of estimating the effect of multi-category factors on trip chaining behaviors more accurately. The different contribution of explanatory, factors to trip chaining pattern recognition reflects the importance of refining trip chaining patterns ad exploring factors that are specific to each pattern. It is shown that the SVM technology in travel demand forecast modeling and analysis of explanatory variable effects is practical.
基金This research was partially supported by the National Key Research and Development Program of China(2018YFC1507005)China Postdoctoral Science Foundation(2018M643448)+1 种基金Sichuan Science and Technology Program(2020YFG0189)Fundamental Research Funds for the Central Universities,Southwest Minzu University(2020NQN18).
文摘Animal husbandry is the pillar industry in some ethnic areas of China.However,the communication/networking infrastructure in these areas is often underdeveloped,thus the difficulty in centralized management,and challenges for the effective monitoring.Considering the dynamics of the field monitoring environment,as well as the diversity and mobility of monitoring targets,traditional WSN(Wireless Sensor Networks)or IoT(Internet of Things)is difficult to meet the surveillance needs.Mobile surveillance that features the collaboration of various functions(camera,sensing,image recognition,etc.)deployed on mobile devices is desirable in a volatile wireless environment.This paper proposes the service function chaining for mobile surveillance of animal husbandry,which orchestrates multi-path multifunction(MPMF)chains to help mobile devices to collaborate in complex surveillance tasks,provide backup chains in case the primary service function chain fails due to mobility,signal strength,obstacle,etc.,and make up for the defects of difficult deployment of monitoring facilities in ethnic areas.MPMF algorithmmodels both mobile devices and various functions deployed on them as abstract graph nodes,so that chains that are required to traverse various functions and hosting mobile devices can be orchestrated in a single graphbased query through modified and adapted Dijkstra-like algorithms,with their cost ordered automatically.Experiment results show that the proposed MPMF algorithm finds multiple least-costly chains that traverse demanded functions in a timely fashion on Raspberry Pi-equipped mobile devices.
基金supported by the National Natural Science Foundation of China (No.61304111)National Basic Research Program of China (No. 2014CB744904)Fundamental Research Funds for the Central Universities of China (Nos. YWF-14-KKX-001 and YWF-13-JQCJ)
文摘Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.
基金supported by the National Key R&D Program of China,No.2021YFC2501200(to PC).
文摘Short-chain fatty acids,metabolites produced by the fermentation of dietary fiber by gut microbiota,have garnered significant attention due to their correlation with neurodegenerative diseases,particularly Parkinson’s disease.In this review,we summarize the changes in short-chain fatty acid levels and the abundance of short-chain fatty acid-producing bacteria in various samples from patients with Parkinson’s disease,highlighting the critical role of gut homeostasis imbalance in the pathogenesis and progression of the disease.Focusing on the nervous system,we discuss the molecular mechanisms by which short-chain fatty acids influence the homeostasis of both the enteric nervous system and the central nervous system.We identify key processes,including the activation of G protein-coupled receptors and the inhibition of histone deacetylases by short-chain fatty acids.Importantly,structural or functional disruptions in the enteric nervous system mediated by these fatty acids may lead to abnormalα-synuclein expression and gastrointestinal dysmotility,which could serve as an initiating event in Parkinson’s disease.Furthermore,we propose that short-chain fatty acids help establish communication between the enteric nervous system and the central nervous system via the vagal nerve,immune circulation,and endocrine signaling.This communication may shed light on their potential role in the transmission ofα-synuclein from the gut to the brain.Finally,we elucidate novel treatment strategies for Parkinson’s disease that target short-chain fatty acids and examine the challenges associated with translating short-chain fatty acid-based therapies into clinical practice.In conclusion,this review emphasizes the pivotal role of short-chain fatty acids in regulating gut-brain axis integrity and their significance in the pathogenesis of Parkinson’s disease from the perspective of the nervous system.Moreover,it highlights the potential value of short-chain fatty acids in early intervention for Parkinson’s disease.Future research into the molecular mechanisms of short-chain fatty acids and their synergistic interactions with other gut metabolites is likely to advance the clinical translation of innovative short-chain fatty acid-based therapies for Parkinson’s disease.
文摘This paper introduces some improvements on the intelligent backtrackingstrategy for forward chaining theorem proving. How to decide a minimal useful consequent atom setfor a refutation derived at a node in a proof tree is discussed. In most cases, an unnecessarynon-Horn clause used for forward chaining will be split only once. The increase of the search spaceby invoking unnecessary forward chaining clauses will be nearly linear, not exponential anymore. Inthis paper, the principle of the proposed method and its correctness are introduced. Moreover, someexamples are provided to show that the proposed approach is powerful for forward chaining theoremproving.
基金supported by the National Natural Science Foundation of China under Grant Nos. 60963009 and 90718009Yi-Song Wang was also partially supported by Scientific Research Fund for Talents Recruiting of Guizhou University under Grant No.(2007)042+1 种基金the Science and Technology Foundation of Guizhou Province under Grant No. [2008]2119the Natural Science Foundation of Educational Commission of Guizhou Province under Grant No. (2008)011
文摘Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the A operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.
基金supported by the National Natural Science Foundation of China,No.82002645China Postdoctoral Science Foundation,No.2022M722321Jiangsu Funding Program for Excellent Postdoctoral Talent,No.2022ZB552(all to YH)。
文摘Spinal cord injuries have overwhelming physical and occupational implications for patients.Moreover,the extensive and long-term medical care required for spinal cord injury significantly increases healthcare costs and resources,adding a substantial burden to the healthcare system and patients'families.In this context,chondroitinase ABC,a bacterial enzyme isolated from Proteus vulgaris that is modified to facilitate expression and secretion in mammals,has emerged as a promising therapeutic agent.It works by degrading chondroitin sulfate proteoglycans,cleaving the glycosaminoglycanchains of chondroitin sulfate proteoglycans into soluble disaccharides or tetrasaccharides.Chondroitin sulfate proteoglycans are potent axon growth inhibitors and principal constituents of the extracellular matrix surrounding glial and neuronal cells attached to glycosaminoglycan chains.Chondroitinase ABC has been shown to play an effective role in promoting recovery from acute and chronic spinal cord injury by improving axonal regeneration and sprouting,enhancing the plasticity of perineuronal nets,inhibiting neuronal apoptosis,and modulating immune responses in various animal models.In this review,we introduce the classification and pathological mechanisms of spinal cord injury and discuss the pathophysiological role of chondroitin sulfate proteoglycans in spinal cord injury.We also highlight research advancements in spinal cord injury treatment strategies,with a focus on chondroitinase ABC,and illustrate how improvements in chondroitinase ABC stability,enzymatic activity,and delivery methods have enhanced injured spinal cord repair.Furthermore,we emphasize that combination treatment with chondroitinase ABC further enhances therapeutic efficacy.This review aimed to provide a comprehensive understanding of the current trends and future directions of chondroitinase ABC-based spinal cord injury therapies,with an emphasis on how modern technologies are accelerating the optimization of chondroitinase ABC development.
基金supported by Yuan Du Scholars,Clinical Research Center of Affiliated Hospital of Shandong Second Medical University,No.2022WYFYLCYJ02Weifang Key Laboratory,Weifang Science and Technology Development Plan Project Medical Category,No.2022YX093.
文摘The cGAS–STING pathway plays an important role in ischemia-reperfusion injury in the heart,liver,brain,and kidney,but its role and mechanisms in cerebral ischemia-reperfusion injury have not been systematically reviewed.Here,we outline the components of the cGAS–STING pathway and then analyze its role in autophagy,ferroptosis,cellular pyroptosis,disequilibrium of calcium homeostasis,inflammatory responses,disruption of the blood–brain barrier,microglia transformation,and complement system activation following cerebral ischemia-reperfusion injury.We further analyze the value of cGAS–STING pathway inhibitors in the treatment of cerebral ischemia-reperfusion injury and conclude that the pathway can regulate cerebral ischemia-reperfusion injury through multiple mechanisms.Inhibition of the cGAS–STING pathway may be helpful in the treatment of cerebral ischemia-reperfusion injury.
文摘Amyotrophic lateral sclerosis is a devastating neurodegenerative disease for which the current treatment approaches remain severely limited.The principal pathological alterations of the disease include the selective degeneration of motor neurons in the brain,brainstem,and spinal cord,as well as abnormal protein deposition in the cytoplasm of neurons and glial cells.The biological markers under extensive scrutiny are predominantly located in the cerebrospinal fluid,blood,and even urine.Among these biomarke rs,neurofilament proteins and glial fibrillary acidic protein most accurately reflect the pathologic changes in the central nervous system,while creatinine and creatine kinase mainly indicate pathological alterations in the peripheral nerves and muscles.Neurofilament light chain levels serve as an indicator of neuronal axonal injury that remain stable throughout disease progression and are a promising diagnostic and prognostic biomarker with high specificity and sensitivity.However,there are challenges in using neurofilament light chain to diffe rentiate amyotrophic lateral sclerosis from other central nervous system diseases with axonal injury.Glial fibrillary acidic protein predominantly reflects the degree of neuronal demyelination and is linked to non-motor symptoms of amyotrophic lateral sclerosis such as cognitive impairment,oxygen saturation,and the glomerular filtration rate.TAR DNA-binding protein 43,a pathological protein associated with amyotrophic lateral sclerosis,is emerging as a promising biomarker,particularly with advancements in exosome-related research.Evidence is currently lacking for the value of creatinine and creatine kinase as diagnostic markers;however,they show potential in predicting disease prognosis.Despite the vigorous progress made in the identification of amyotrophic lateral sclerosis biomarkers in recent years,the quest for definitive diagnostic and prognostic biomarke rs remains a formidable challenge.This review summarizes the latest research achievements concerning blood biomarkers in amyotrophic lateral sclerosis that can provide a more direct basis for the differential diagnosis and prognostic assessment of the disease beyond a reliance on clinical manifestations and electromyography findings.
基金supported by the National Natural Science Foundation of China(Nos.U2244227,U2244226,42177172)the National Key R&D Program of China(No.2022YFC3004301)China Geological Survey Project(No.DD20230538)。
文摘Frequent glacier-related watershed geohazard chains are causing severe damage to life and infrastructure,reported consistently from the Eastern Himalayan Syntaxis.This paper presents a systematic method for researching geohazard,from regional to individual scale.The methodology includes the establishment of geological chain inventories,discrimination of geohazard chain modes,analyses of dynamics and dam breaches,and risk assessments.The following results were obtained:(1)In the downstream of Yarlung Zangbo River,175 sites were identified as high-risk for river blockage disasters,indicating the development of watershed geohazards.Five geohazard chain modes were summarized by incorporating geomorphological characteristics,historical events,landslide zoning,and materials.The risk areas of typical hazard were identified and assessed using InSAR data.(2)Glacier-related watershed geohazard chains are significantly different from traditional landslides.A detailed inversion analysis was conducted on the massive rock-ice avalanche in the Sedongpu gully in 2021.This particular event lasted roughly 300 seconds,with a maximum flow velocity of 77.2 m/s and a maximum flow height of 93 meters.By scrutinizing the dynamic processes and mechanical characteristics,mobility stages and phase transitions can be divided into four stages.(3)Watershed geohazard chains tend to block rivers.The peak breach discharge of the Yigong Landslide reached 12.4×10^(4) m^(3)/s,which is 36 times the volume of the seasonal flood discharge in the Yigong River.Megafloods caused by landslide dam breaches have significantly shaped the geomorphology.This study offers insights into disaster patterns and the multistaged movement characteristics of glacier-related watershed geohazard chains,providing a comprehensive method for investigations and assessments in glacial regions.
文摘The concept of Supply Chain 4.0 represents a transformative phase in supply chain management through advanced digital technologies like IoT, AI, blockchain, and cyber-physical systems. While these innovations deliver operational improvements, the heightened interconnectivity introduces significant cybersecurity challenges, particularly within military logistics, where mission-critical operations and life-safety concerns are paramount. This paper examines these unique cybersecurity requirements, focusing on advanced persistent threats, supply chain poisoning, and data breaches that could compromise sensitive operations. The study proposes a hybrid cybersecurity framework tailored to military logistics, integrating resilience, redundancy, and cross-jurisdictional security measures. Real-world applicability is validated through simulations, offering strategies for securing supply chains while balancing security, efficiency, and flexibility.
文摘Amid the escalating plastic pollution issue, the development of biodegradable and recyclable polymeric materials has become a focus within the scientific community. Chain extenders, which are an important class of compounds, facilitate the elongation of polymer chains through reactive functional groups, thereby enhancing the performance of the materials. Epoxy-based chain extenders, due to their cost-effectiveness, low toxicity, high reaction efficiency, and effective reactivity with hydroxyl and carboxyl groups, have emerged as a promising class of chain extenders. This manuscript comprehensively elaborates on the varieties, structural characteristics, and performance of chain extenders, the challenges they face, and the methods for their modification. Special emphasis is placed on the application of epoxy-based chain extenders in biodegradable polymers, such as polylactic acid (PLA), and their subsequent influence on the structural and performance properties of these materials.
基金supported by the Major Subject of the National Social Science Foundation of China(21&ZD093)the Basic Research Funds of Chinese Academy of Agricultural Sciences(16100520240017)+1 种基金the Agricultural Science and Technology Innovation Program of Chinese Academy of Agricultural Sciences(CAASCSAERD-202402,10-IAED-04-2024)the earmarked fund for China Agriculture Research System(CARS-08).
文摘The Regional Comprehensive Economic Partnership(RCEP)has created favorable conditions for building deeply integrated agricultural value chains(AVC)in Asia-Pacific.Based on the RCEP agreement,this study employed the global trade analysis project(GTAP)model to evaluate the impact of RCEP on AVC of member countries in terms of time,tariff reduction,and reduction of non-tariff barriers(NTB).The results indicate that(1)the implementation of RCEP boosts the value-added to agricultural exports for most member countries,particularly in competitive industries;(2)the increase in domestic production and processing capacity,reflected in domestic value-added(DVA),is the primary factor driving the rise in the value-added of agricultural exports across various industries of member countries;(3)RCEP enhances the participation of most regional countries in AVC,with varying impacts on AVC positioning,thereby fostering regional AvC development;and(4)RCEP has a positive effect on AVC indicators both in the short and long term,with the effect becoming more pronounced over time.Additionally,reducing NTB enhances the positive effects of tariff reductions on AVC indicators.Based on the analyses,the following recommendations are proposed:(1)Leverage the development opportunities arising from RCEP implementation to enhance the agricultural DVA;(2)capitalize on cooperative opportunities created by RCEP to build cohesive regional AVC;and(3)prioritize the effective implementation of RCEP'shigh-qualityrules.
基金supported by the Macao Science and Technology Development Fund(FDCT)(Nos.FDCT 0029/2021/A1,FDCT0002/2021/AKP,004/2023/SKL,0036/2021/APD)University of Macao(No.MYRG-GRG2023-00034-IME,SRG2024-00057IME)+2 种基金Dr.Stanley Ho Medical Development Foundation(No.SHMDF-OIRFS/2024/001)Zhuhai Huafa Group(No.HF-006-2021)Guangdong Science and Technology Department(No.2022A0505030022)。
文摘Rapid diagnosis of Salmonella is crucial for the effective control of food safety incidents, especially in regions with poor hygiene conditions. Polymerase chain reaction(PCR), as a promising tool for Salmonella detection, is facing a lack of simple and fast sensing methods that are compatible with field applications in resource-limited areas. In this work, we developed a sensing approach to identify PCR-amplified Salmonella genomic DNA with the naked eye in a snapshot. Based on the ratiometric fiuorescence signals from SYBR Green Ⅰ and Hydroxyl naphthol blue, positive samples stood out from negative ones with a distinct color pattern under UV exposure. The proposed sensing scheme enabled highly specific identification of Salmonella with a detection limit at the single-copy level. Also, as a supplement to the intuitive naked-eye visualization results, numerical analysis of the colored images was available with a smartphone app to extract RGB values from colored images. This work provides a simple, rapid, and user-friendly solution for PCR identification, which promises great potential in molecular diagnosis of Salmonella and other pathogens in field.
基金funded by the Sichuan Science and Technology Program,Grant Nos.2024NSFSC0515,2024ZHCG0182 and MZGC20230013.
文摘To solve the challenges of connecting and coordinating multiple platforms in the automotive industry and to enhance collaboration among different participants,this research focuses on addressing the complex supply relationships in the automotive market,improving data sharing and interactions across various platforms,and achieving more detailed integration of data and operations.We propose a trust evaluation permission delegation method based on the automotive industry chain.The proposed method combines smart contracts with trust evaluation mechanisms,dynamically calculating the trust value of users based on the historical behavior of the delegated entity,network environment,and other factors to avoid malicious node attacks during the permission delegation process.We also introduce strict control over the cross-domain permission granting and revocation mechanisms to manage the delegation path,prevent information leakage caused by malicious node interception,and effectively protect data integrity and privacy.Experimental analysis shows that this method meets the realtime requirements of collaborative interaction in the automotive industry chain and provides a feasible solution to permission delegation issues in the automotive industry chain,offering dynamic flexibility in authorization and scalability compared to most existing solutions.
基金Supported by the PetroChina Science and Technology Major Project(2021ZZ01-05)Hainan Merit-based Recruitment Project(ZDYF2024SHFZ147)National Natural Science Foundation of China(NNSC)Project(52474033)。
文摘By systematically reviewing the development status of global carbon dioxide capture,utilization and storage(CCUS)cluster,and comparing domestic and international CCUS industrial models and successful experiences,this study explores the challenges and strategies for the scaled development of the CCUS industry of China.Globally,the CCUS industry has entered a phase of scaled and clustered development.North America has established a system of key technologies in large-scale CO_(2) capture,long-distance pipeline transmission,pipeline network optimization,and large-scale CO_(2) flooding for enhanced oil recovery(CO_(2)-EOR),with relatively mature cluster development and a gradual shift in industrial model from CO_(2)-EOR to geological storage.The CCUS industry of China has developed rapidly across all segments but remains in the early stage of cluster development,facing challenges such as absent business model,insufficient policy support,and technological gaps in core areas.China needs to improve the policy support system to boost enterprises participation across the entire industrial chain,strengthen top-level design and medium-to long-term planning to accelerate demonstration projects construction for whole-process CCUS clusters,advance for a full-chain technological system,including low-cost capture,pipeline optimization and EOR/storage integration technologies,and strengthen personnel training,strengthen discipline construction and university-enterprise research cooperation.
文摘In response to the challenges presented by the unreliable identity of the master node,high communication overhead,and limited network support size within the Practical Byzantine Fault-Tolerant(PBFT)algorithm for consortium chains,we propose an improved PBFT algorithm based on XGBoost grouping called XG-PBFT in this paper.XG-PBFT constructs a dataset by training important parameters that affect node performance,which are used as classification indexes for nodes.The XGBoost algorithm then is employed to train the dataset,and nodes joining the system will be grouped according to the trained grouping model.Among them,the nodes with higher parameter indexes will be assigned to the consensus group to participate in the consensus,and the rest of the nodes will be assigned to the general group to receive the consensus results.In order to reduce the resource waste of the system,XG-PBFT optimizes the consensus protocol for the problem of high complexity of PBFT communication.Finally,we evaluate the performance of XG-PBFT.The experimental results show that XG-PBFT can significantly improve the performance of throughput,consensus delay and communication complexity compared to the original PBFT algorithm,and the performance enhancement is significant compared to other algorithms in the case of a larger number of nodes.The results demonstrate that the XG-PBFT algorithm is more suitable for large-scale consortium chains.
