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.展开更多
The generation of synthetic trajectories has become essential in various fields for analyzing complex movement patterns.However,the use of real-world trajectory data poses significant privacy risks,such as location re...The generation of synthetic trajectories has become essential in various fields for analyzing complex movement patterns.However,the use of real-world trajectory data poses significant privacy risks,such as location reidentification and correlation attacks.To address these challenges,privacy-preserving trajectory generation methods are critical for applications relying on sensitive location data.This paper introduces DPIL-Traj,an advanced framework designed to generate synthetic trajectories while achieving a superior balance between data utility and privacy preservation.Firstly,the framework incorporates Differential Privacy Clustering,which anonymizes trajectory data by applying differential privacy techniques that add noise,ensuring the protection of sensitive user information.Secondly,Imitation Learning is used to replicate decision-making behaviors observed in real-world trajectories.By learning from expert trajectories,this component generates synthetic data that closely mimics real-world decision-making processes while optimizing the quality of the generated trajectories.Finally,Markov-based Trajectory Generation is employed to capture and maintain the inherent temporal dynamics of movement patterns.Extensive experiments conducted on the GeoLife trajectory dataset show that DPIL-Traj improves utility performance by an average of 19.85%,and in terms of privacy performance by an average of 12.51%,compared to state-of-the-art approaches.Ablation studies further reveal that DP clustering effectively safeguards privacy,imitation learning enhances utility under noise,and the Markov module strengthens temporal coherence.展开更多
Tellurene,a chiral chain semiconductor with a narrow bandgap and exceptional strain sensitivity,emerges as a pivotal material for tailoring electronic and optoelectronic properties via strain engineering.This study el...Tellurene,a chiral chain semiconductor with a narrow bandgap and exceptional strain sensitivity,emerges as a pivotal material for tailoring electronic and optoelectronic properties via strain engineering.This study elucidates the fundamental mechanisms of ultrafast laser shock imprinting(LSI)in two-dimensional tellurium(Te),establishing a direct relationship between strain field orientation,mold topology,and anisotropic structural evolution.This is the first demonstration of ultrafast LSI on chiral chain Te unveiling orientation-sensitive dislocation networks.By applying controlled strain fields parallel or transverse to Te’s helical chains,we uncover two distinct deformation regimes.Strain aligned parallel to the chain’s direction induces gliding and rotation governed by weak interchain interactions,preserving covalent intrachain bonds and vibrational modes.In contrast,transverse strain drives shear-mediated multimodal deformations—tensile stretching,compression,and bending—resulting in significant lattice distortions and electronic property modulation.We discovered the critical role of mold topology on deformation:sharp-edged gratings generate localized shear forces surpassing those from homogeneous strain fields via smooth CD molds,triggering dislocation tangle formation,lattice reorientation,and inhomogeneous plastic deformation.Asymmetrical strain configurations enable localized structural transformations while retaining single-crystal integrity in adjacent regions—a balance essential for functional device integration.These insights position LSI as a precision tool for nanoscale strain engineering,capable of sculpting 2D material morphologies without compromising crystallinity.By bridging ultrafast mechanics with chiral chain material science,this work advances the design of strain-tunable devices for next-generation electronics and optoelectronics,while establishing a universal framework for manipulating anisotropic 2D systems under extreme strain rates.This work discovered crystallographic orientation-dependent deformation mechanisms in 2D Te,linking parallel strain to chain gliding and transverse strain to shear-driven multimodal distortion.It demonstrates mold geometry as a critical lever for strain localization and dislocation dynamics,with sharp-edged gratings enabling unprecedented control over lattice reorientation.Crucially,the identification of strain field conditions that reconcile severe plastic deformation with single-crystal retention offers a pathway to functional nanostructure fabrication,redefining LSI’s potential in ultrafast strain engineering of chiral chain materials.展开更多
Established in 2019,the Shandong Port Group(SPG)comprises four port groups(Qingdao Port,Rizhao Port,Yantai Port,and Bohaiwan Port)and 12 business segments.SPG connects 3,345 kilometers of coastline within Shandong Pro...Established in 2019,the Shandong Port Group(SPG)comprises four port groups(Qingdao Port,Rizhao Port,Yantai Port,and Bohaiwan Port)and 12 business segments.SPG connects 3,345 kilometers of coastline within Shandong Province.Its cargo throughput has consistently ranked first globally for many years,and its container volume growth ranks second globally,forming a port cluster covering the entire industrial chain.展开更多
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.展开更多
We report the results of the experiment on synthesizing ^(287,288)Mc isotopes (Z=115) using the fusionevaporation reaction ^(243)Am(^(48)Ca,4n,3n)^(287,288)Mc at the Spectrometer for Heavy Atoms and Nuclear Structure-...We report the results of the experiment on synthesizing ^(287,288)Mc isotopes (Z=115) using the fusionevaporation reaction ^(243)Am(^(48)Ca,4n,3n)^(287,288)Mc at the Spectrometer for Heavy Atoms and Nuclear Structure-2(SHANS2),a gas-filled recoil separator located at the China Accelerator Facility for Superheavy Elements(CAFE2).In total,20 decay chains are attributed to ^(288)Mc and 1 decay chain is assigned to ^(287)Mc.The measured oa-decay properties of ^(287,288)Mc as well as its descendants are consistent with the known data.No additional decay chains originating from the 2n or 5n reaction channels were detected.The excitation function of the ^(243)Am(^(48)Ca,3n)^(288)Mc reaction was measured at the cross-section level of picobarn,which indicates the promising capability for the study of heavy and superheavy nuclei at the facility.展开更多
In the complex architecture of global value-chain(GVC)trade,firms’technological content increasingly reflects external knowledge flows.This study examines how inter-regional technological complementarity shapes firms...In the complex architecture of global value-chain(GVC)trade,firms’technological content increasingly reflects external knowledge flows.This study examines how inter-regional technological complementarity shapes firms’GVC advancement,measured by the domestic value-added rate(DVAR)in exports.Using integrated Chinese microdata(2000-2014),we find this complementarity significantly boosts export DVAR,explaining about one-quarter of its observed growth.Two mechanisms drive this effect:increased use of domestic intermediates and gains in firm productivity.The benefits are especially large for firms with lower human capital and for those in accessible,innovation-peripheral regions,helping narrow productivity gaps across firms and space.Affected firms also exhibit broader export scopes,higher product quality,more diversified destinations,and greater markups-firm-level evidence of GVC upgrading.These findings highlight how external technological linkages drive upgrading and underscore the importance of fostering inter-regional synergies for balanced development.展开更多
Background:Breakpoint Cluster Region-Abelson(BCR::ABL1)fusion protein is essential in the pathogenesis of chronic myeloid leukemia(CML);however,the chronic-to-blast phase transformation remains elusive.We identified n...Background:Breakpoint Cluster Region-Abelson(BCR::ABL1)fusion protein is essential in the pathogenesis of chronic myeloid leukemia(CML);however,the chronic-to-blast phase transformation remains elusive.We identified novel kinesin light chain 2(KLC2)mutations in CML-myeloid blast phase patients.We aimed to examine the functional role of KLC2 mutations in leukemogenesis.Methods:To evaluate the biological role of KLC2 mutants(MT)in CML cells,we expressed KLC2-MT in different human CML cell lines harboring BCR::ABL1 and performed immunoblot,immunofluorescence,cell proliferation,differentiation,and apoptosis;Tyrosine kinase inhibitor(TKI)-drug activities;and clonogenic assays for in vitro functional analyses.We co-expressed KLC2-MT and BCR::ABL1 in mouse bone marrow cells(BMCs)to evaluate their clonogenic and self-renewal abilities ex vivo.Furthermore,we examined tumorigenic activity and drug efficacy in the K562 xenograft model.Results:KLC2-MT overexpression in BCR::ABL1-positive K562 and KU812 CML cells promoted cell proliferation and clonogenic potential,decreased imatinib sensitivity,and reduced apoptosis.Serial colony replating assays revealed that KLC2-MT and BCR::ABL1 co-expression enhanced the self-renewal ability of mouse BMCs with immature morphology.In the K562 xenograft model,KLC2-MT enhanced tumorigenic potential and diminished imatinib efficacy.Further studies reported that KLC2-MT augmented signal transducer and activator of transcription 3(STAT3)activation and nuclear accumulation in imatinib-treated CML cells.KLC2-WT and KLC2-MT interacted with mothers against decapentaplegic homolog 2(SMAD2);however,the latter impaired transforming growth factor-beta(TGF-β)–mediated SMAD2/3 activation while enhancing STAT3 phosphorylation.Conclusions:This study demonstrates the biological and functional importance of KLC2 mutation in CML cells,potentially enabling the development of better treatment strategies for CML patients carrying KLC2 mutations and providing enhanced understanding of the disease progression.展开更多
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.展开更多
Control Flow Graphs(CFGs)are essential for understanding the execution and data flow within software,serving as foundational structures in program analysis.Traditional CFG construction methods,such as bytecode analysi...Control Flow Graphs(CFGs)are essential for understanding the execution and data flow within software,serving as foundational structures in program analysis.Traditional CFG construction methods,such as bytecode analysis and Abstract Syntax Trees(ASTs),often face challenges due to the complex syntax of programming languages like Java and Python.This paper introduces a novel approach that leverages Large Language Models(LLMs)to generate CFGs through a methodical Chain of Thought(CoT)process.By employing CoT,the proposed approach systematically interprets code semantics directly from natural language,enhancing the adaptability across various programming languages and simplifying the CFG construction process.By implementing a modular AI chain strategy that adheres to the single responsibility principle,our approach breaks down CFG generation into distinct,manageable steps handled by separate AI and non-AI units,which can significantly improve the precision and coverage of CFG nodes and edges.The experiments with 245 Java and 281 Python code snippets from Stack Overflow demonstrate that our method achieves efficient performance on different programming languages and exhibits strong robustness.展开更多
基金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 Natural Science Foundation of Fujian Province of China(2025J01380)National Natural Science Foundation of China(No.62471139)+3 种基金the Major Health Research Project of Fujian Province(2021ZD01001)Fujian Provincial Units Special Funds for Education and Research(2022639)Fujian University of Technology Research Start-up Fund(GY-S24002)Fujian Research and Training Grants for Young and Middle-aged Leaders in Healthcare(GY-H-24179).
文摘The generation of synthetic trajectories has become essential in various fields for analyzing complex movement patterns.However,the use of real-world trajectory data poses significant privacy risks,such as location reidentification and correlation attacks.To address these challenges,privacy-preserving trajectory generation methods are critical for applications relying on sensitive location data.This paper introduces DPIL-Traj,an advanced framework designed to generate synthetic trajectories while achieving a superior balance between data utility and privacy preservation.Firstly,the framework incorporates Differential Privacy Clustering,which anonymizes trajectory data by applying differential privacy techniques that add noise,ensuring the protection of sensitive user information.Secondly,Imitation Learning is used to replicate decision-making behaviors observed in real-world trajectories.By learning from expert trajectories,this component generates synthetic data that closely mimics real-world decision-making processes while optimizing the quality of the generated trajectories.Finally,Markov-based Trajectory Generation is employed to capture and maintain the inherent temporal dynamics of movement patterns.Extensive experiments conducted on the GeoLife trajectory dataset show that DPIL-Traj improves utility performance by an average of 19.85%,and in terms of privacy performance by an average of 12.51%,compared to state-of-the-art approaches.Ablation studies further reveal that DP clustering effectively safeguards privacy,imitation learning enhances utility under noise,and the Markov module strengthens temporal coherence.
基金financial support from NSF ExpandQISE program.The synthesis of tellurene was supported by NSF under grant no.CMMI-2046936supports from Purdue Research Foundation.
文摘Tellurene,a chiral chain semiconductor with a narrow bandgap and exceptional strain sensitivity,emerges as a pivotal material for tailoring electronic and optoelectronic properties via strain engineering.This study elucidates the fundamental mechanisms of ultrafast laser shock imprinting(LSI)in two-dimensional tellurium(Te),establishing a direct relationship between strain field orientation,mold topology,and anisotropic structural evolution.This is the first demonstration of ultrafast LSI on chiral chain Te unveiling orientation-sensitive dislocation networks.By applying controlled strain fields parallel or transverse to Te’s helical chains,we uncover two distinct deformation regimes.Strain aligned parallel to the chain’s direction induces gliding and rotation governed by weak interchain interactions,preserving covalent intrachain bonds and vibrational modes.In contrast,transverse strain drives shear-mediated multimodal deformations—tensile stretching,compression,and bending—resulting in significant lattice distortions and electronic property modulation.We discovered the critical role of mold topology on deformation:sharp-edged gratings generate localized shear forces surpassing those from homogeneous strain fields via smooth CD molds,triggering dislocation tangle formation,lattice reorientation,and inhomogeneous plastic deformation.Asymmetrical strain configurations enable localized structural transformations while retaining single-crystal integrity in adjacent regions—a balance essential for functional device integration.These insights position LSI as a precision tool for nanoscale strain engineering,capable of sculpting 2D material morphologies without compromising crystallinity.By bridging ultrafast mechanics with chiral chain material science,this work advances the design of strain-tunable devices for next-generation electronics and optoelectronics,while establishing a universal framework for manipulating anisotropic 2D systems under extreme strain rates.This work discovered crystallographic orientation-dependent deformation mechanisms in 2D Te,linking parallel strain to chain gliding and transverse strain to shear-driven multimodal distortion.It demonstrates mold geometry as a critical lever for strain localization and dislocation dynamics,with sharp-edged gratings enabling unprecedented control over lattice reorientation.Crucially,the identification of strain field conditions that reconcile severe plastic deformation with single-crystal retention offers a pathway to functional nanostructure fabrication,redefining LSI’s potential in ultrafast strain engineering of chiral chain materials.
文摘Established in 2019,the Shandong Port Group(SPG)comprises four port groups(Qingdao Port,Rizhao Port,Yantai Port,and Bohaiwan Port)and 12 business segments.SPG connects 3,345 kilometers of coastline within Shandong Province.Its cargo throughput has consistently ranked first globally for many years,and its container volume growth ranks second globally,forming a port cluster covering the entire industrial chain.
基金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 in part by the National Key R&D Program of China (Contract Nos.2023YFA1606500,2024YFE0109800,and 2024YFE0110400)Strategic Priority Research Program of Chinese Academy of Sciences(Grant No.XDB34010000)+5 种基金the Gansu Key Project of Science and Technology (Grant No.23ZDGA014)the Guangdong Major Project of Basic and Applied Basic Research (Grant No.2021B0301030006)the National Natural Science Foundation of China (Grant Nos.12105328,W2412040,12475126,12422507,12035011,12375118,12435008,and W2412043)the Chinese Academy of Sciences Project for Young Scientists in Basic Research(Grant No.YSBR-002)the Youth Innovation Promotion Association of the Chinese Academy of Sciences (Grant Nos.2020409 and 2023439)the Russian Science Foundation (Grant No.25-42-00003)。
文摘We report the results of the experiment on synthesizing ^(287,288)Mc isotopes (Z=115) using the fusionevaporation reaction ^(243)Am(^(48)Ca,4n,3n)^(287,288)Mc at the Spectrometer for Heavy Atoms and Nuclear Structure-2(SHANS2),a gas-filled recoil separator located at the China Accelerator Facility for Superheavy Elements(CAFE2).In total,20 decay chains are attributed to ^(288)Mc and 1 decay chain is assigned to ^(287)Mc.The measured oa-decay properties of ^(287,288)Mc as well as its descendants are consistent with the known data.No additional decay chains originating from the 2n or 5n reaction channels were detected.The excitation function of the ^(243)Am(^(48)Ca,3n)^(288)Mc reaction was measured at the cross-section level of picobarn,which indicates the promising capability for the study of heavy and superheavy nuclei at the facility.
基金supported by the following grants:National Social Science Fund of China(NSSFC)(Major Project)“Research on the Mechanism and Breakthrough Path for Achieving Key Core Technologies through the Coupling of Innovation Chains and Industrial Chains”(Grant No.22&ZD093)Key Research Institute of Humanities and Social Sciences,Ministry of Education“Research on Innovation Development Theory Based on Chinese Practice”(Grant No.23CEDRZ03).
文摘In the complex architecture of global value-chain(GVC)trade,firms’technological content increasingly reflects external knowledge flows.This study examines how inter-regional technological complementarity shapes firms’GVC advancement,measured by the domestic value-added rate(DVAR)in exports.Using integrated Chinese microdata(2000-2014),we find this complementarity significantly boosts export DVAR,explaining about one-quarter of its observed growth.Two mechanisms drive this effect:increased use of domestic intermediates and gains in firm productivity.The benefits are especially large for firms with lower human capital and for those in accessible,innovation-peripheral regions,helping narrow productivity gaps across firms and space.Affected firms also exhibit broader export scopes,higher product quality,more diversified destinations,and greater markups-firm-level evidence of GVC upgrading.These findings highlight how external technological linkages drive upgrading and underscore the importance of fostering inter-regional synergies for balanced development.
基金supported by grants from the Ministry of Science and Technology,Taiwan(MOST108-2314-B-182-006,MOST109-2314-B-182-071:Lee-Yung Shih)the Ministry of Health and Welfare,Taiwan(MOHW110-TDU-B-212-134011:Lee-Yung Shih)+3 种基金Chang Gung Memorial Hospital(CMRPG3D1524,OMRPG3E0031:Lee-Yung Shih)the Grant-in-Aid for the Japan Society for the Promotion of Science(JSPS)KAKENHI(JP19H05656:Seishi Ogawa,22K16320:Yotaro Ochi)the Japan Agency for Medical Research and Development(AMED)(JP19cm0106501h0004,JP19ck0106250h0003:Seishi Ogawa)the Ministry of Education,Culture,Sports,Science and Technology of Japan(MEXT)(hp200138,hp210167:Seishi Ogawa)。
文摘Background:Breakpoint Cluster Region-Abelson(BCR::ABL1)fusion protein is essential in the pathogenesis of chronic myeloid leukemia(CML);however,the chronic-to-blast phase transformation remains elusive.We identified novel kinesin light chain 2(KLC2)mutations in CML-myeloid blast phase patients.We aimed to examine the functional role of KLC2 mutations in leukemogenesis.Methods:To evaluate the biological role of KLC2 mutants(MT)in CML cells,we expressed KLC2-MT in different human CML cell lines harboring BCR::ABL1 and performed immunoblot,immunofluorescence,cell proliferation,differentiation,and apoptosis;Tyrosine kinase inhibitor(TKI)-drug activities;and clonogenic assays for in vitro functional analyses.We co-expressed KLC2-MT and BCR::ABL1 in mouse bone marrow cells(BMCs)to evaluate their clonogenic and self-renewal abilities ex vivo.Furthermore,we examined tumorigenic activity and drug efficacy in the K562 xenograft model.Results:KLC2-MT overexpression in BCR::ABL1-positive K562 and KU812 CML cells promoted cell proliferation and clonogenic potential,decreased imatinib sensitivity,and reduced apoptosis.Serial colony replating assays revealed that KLC2-MT and BCR::ABL1 co-expression enhanced the self-renewal ability of mouse BMCs with immature morphology.In the K562 xenograft model,KLC2-MT enhanced tumorigenic potential and diminished imatinib efficacy.Further studies reported that KLC2-MT augmented signal transducer and activator of transcription 3(STAT3)activation and nuclear accumulation in imatinib-treated CML cells.KLC2-WT and KLC2-MT interacted with mothers against decapentaplegic homolog 2(SMAD2);however,the latter impaired transforming growth factor-beta(TGF-β)–mediated SMAD2/3 activation while enhancing STAT3 phosphorylation.Conclusions:This study demonstrates the biological and functional importance of KLC2 mutation in CML cells,potentially enabling the development of better treatment strategies for CML patients carrying KLC2 mutations and providing enhanced understanding of the disease progression.
基金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.
基金Supported by the National Natural Science Foundation of China(62462036,62262031)Jiangxi Provincial Natural Science Foundation(20242BAB26017,20232BAB202010)+1 种基金Distinguished Youth Fund Project of the Natural Science Foundation of Jiangxi Province(20242BAB23011)the Jiangxi Province Graduate Innovation Found Project(YJS2023032)。
文摘Control Flow Graphs(CFGs)are essential for understanding the execution and data flow within software,serving as foundational structures in program analysis.Traditional CFG construction methods,such as bytecode analysis and Abstract Syntax Trees(ASTs),often face challenges due to the complex syntax of programming languages like Java and Python.This paper introduces a novel approach that leverages Large Language Models(LLMs)to generate CFGs through a methodical Chain of Thought(CoT)process.By employing CoT,the proposed approach systematically interprets code semantics directly from natural language,enhancing the adaptability across various programming languages and simplifying the CFG construction process.By implementing a modular AI chain strategy that adheres to the single responsibility principle,our approach breaks down CFG generation into distinct,manageable steps handled by separate AI and non-AI units,which can significantly improve the precision and coverage of CFG nodes and edges.The experiments with 245 Java and 281 Python code snippets from Stack Overflow demonstrate that our method achieves efficient performance on different programming languages and exhibits strong robustness.
