In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description langu...In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description language）for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.展开更多
Periodic solution of m order linear neutral equations with constant coefficient and time delays was studied. Existence and uniqueness of 2 T-periodic solutions for the equation were discussed by using the method of Fo...Periodic solution of m order linear neutral equations with constant coefficient and time delays was studied. Existence and uniqueness of 2 T-periodic solutions for the equation were discussed by using the method of Fourier series. Some new necessary and sufficient conditions of existence and uniqueness of 2 T-periodic solutions for the equation are obtained. The main result is used widely. It contains results in some correlation paper for its special case, improves and extends the main results in them. Existence of periodic solution for the equation in larger number of particular case can be checked by using the result, but cannot be checked in another paper. In other words, the main result in this paper is most generalized for (1) the better result cannot be found by using the same method.展开更多
Mobile social networks, which consist of mobile users who communicate with each other using cell phones are reflections of people＇s interactions in social lives. Discovering typed communities （e.g., family communiti...Mobile social networks, which consist of mobile users who communicate with each other using cell phones are reflections of people＇s interactions in social lives. Discovering typed communities （e.g., family communities or corporate communities） in mobile social networks is a very promising problem. For example, it can help mobile operators to determine the target users for precision marketing. In this paper we propose discovering typed communities in mobile social networks by utilizing the labels of relationships between users. We use the user logs stored by mobile operators, including communication and user movement records, to collectively label all the relationships in a network, by employing an undirected probabilistic graphical model, i.e., conditional random fields. Then we use two methods to discover typed communities based on the results of relationship labeling： one is simply retaining or cutting relationships according to their labels, and the other is using sophisticated weighted community detection algorithms. The experimental results show that our proposed framework performs well in terms of the accuracy of typed community detection in mobile social networks.展开更多
Objective： To evaluate the efficacy and safety of ＂Three-Typed Syndrome Differentiation＂ （I-TSD） in treating type 2 diabetes mellitus patients. Methods： A systematic review and meta-analysis was done based on th...Objective： To evaluate the efficacy and safety of ＂Three-Typed Syndrome Differentiation＂ （I-TSD） in treating type 2 diabetes mellitus patients. Methods： A systematic review and meta-analysis was done based on the clinical diabetes treatment literature of the ＂I-I＇SD＂. Overseas databases like the PubMed/MEDLINE, EMBASE, Cochrane Library and Cochrane Central Register of Controlled Clinical Trials, and China databases like China Biology Medicine Disc （CBM）, Chinese national Knowledge Infrastructure （CNKI）, Wanfang database, and VIP database, without limitation on language, were included with the time limitation from Jan 1982 to Dec 2012 by retrieval of relative original clinical research articles. Results： Nineteen articles where contains 1,840 diabetes patients were obtained, in which no adverse reactions were reported. Of these, 14 literatures involved the effect of fasting blood glucose （FBG）, 10 involved that of postprandial 2-h blood glucose （P2hBG）, and 19 involved the overall efficacy based on the national Chinese medicine （CM） diagnosis and treatment standard of diabetes. All the meta-analysis results prefer to the ＂TTSD＂ groups （CM＋Westem medicine Based on I-I＇SD）. The results show that, beside the efficacy of Westem medicine, the concentrations of FBG and P2hBG in ＂TTSD＂ groups continue to drop with statistical significance. For ＂TTSD＂ groups, the FBG subsequently dropped 1.03 mmol/L, 95%CI [1.24,0.82] （P〈0.00001）, the P2hBG subsequently dropped 1.09 mmol/L, 95% CI [1.61, 0.57] （P〈0.0001）, and the overall efficacies benefit 3.46 times those of Western medicine alone, 95% CI [2.67,4.48] （P〈0.00001）. Conclusions： The CM by the diagnosis and treatment of type 2 diabetes based on ＂TTSD might be safe and effective, and could better improve both blood glucose and the overall status of patients, including symptoms.展开更多
The advent of Web 2.0 has led to an increase in user-generated content on the Web. This has provided an extensive collection of free-style texts with opinion expressions that could influence the decisions and actions ...The advent of Web 2.0 has led to an increase in user-generated content on the Web. This has provided an extensive collection of free-style texts with opinion expressions that could influence the decisions and actions of their readers. Providers of such content exert a certain level of influence on the receivers and this is evident from blog sites having effect on their readers＇ purchase decisions, political view points, financial planning, and others. By detecting the opinion expressed, we can identify the sentiments on the topics discussed and the influence exerted on the readers. In this paper, we introduce an automatic approach in deriving polarity pattern rules to detect sentiment polarity at the phrase level, and in addition consider the effects of the more complex relationships found between words in sentiment polarity classification. Recent sentiment analysis research has focused on the functional relations of words using typed dependency parsing, providing a refined analysis on the grammar and semantics of textual data. Heuristics are typically used to determine the typed dependency polarity patterns, which may not comprehensively identify all possible rules. We study the use of class sequential rules （CSRs） to automatically learn the typed dependency patterns, and benchmark the performance of CSR against a heuristic method. Preliminary results show CSR leads to further improvements in classification performance achieving over 80% F1 scores in the test eases. In addition, we observe more complex relationships between words that could influence phrase sentiment polarity, and further discuss on possible approaches to handle the effects of these complex relationships.展开更多
The shared links between Alzheimer’s disease and type 2 diabetes mellitus:Alzheimer’s disease(AD)and type 2 diabetes mellitus(T2DM)are two prevalent conditions that come with substantial daily struggles.Emerging evi...The shared links between Alzheimer’s disease and type 2 diabetes mellitus:Alzheimer’s disease(AD)and type 2 diabetes mellitus(T2DM)are two prevalent conditions that come with substantial daily struggles.Emerging evidence highlights that these diseases share similar pathophysiological features,including insulin resistance and chronic inflammation,which contribute to their rapid progression(Chen et al.,2022).Insulin resistance,a hallmark of T2DM,has been suggested to exacerbate neurodegeneration in AD.Similarly,chronic low-grade inflammation in T2DM parallels with neuroinflammation,which is observed in AD,suggesting overlapping pathophysiological mechanisms in T2DM and AD.展开更多
Recent increases in infectious diseases affecting the central nervous system have raised concerns about their role in neuroinflammation and neurodegeneration.Viral pathogens or their products can invade the central ne...Recent increases in infectious diseases affecting the central nervous system have raised concerns about their role in neuroinflammation and neurodegeneration.Viral pathogens or their products can invade the central nervous system and cause damage,leading to meningitis,encephalitis,meningoencephalitis,myelitis,or post-infectious demyelinating diseases.Although neuroinflammation initially has a protective function,chronic inflammation can contribute to the development of neurodegenerative diseases.Mechanisms such as protein aggregation and cellular disturbances are implicated with specific viruses such as herpes simplex virus type 1 and Epstein-Barr virus being associated with Alzheimer's disease and multiple sclerosis,respectively.Extracellular nucleotides,particularly adenosine triphosphate and its metabolites are released from activated,infected,and dying cells,acting as alarmins mediating neuroinflammation and neurodegeneration.When viruses infect central nervous system cells,adenosine triphosphate is released as an alarmin,triggering inflammatory responses.This process is mediated by purinergic receptors,divided into two families:P1,which responds to adenosine,and P2,activated by adenosine triphosphate and other nucleotides.This review highlights how specific viruses,such as human immunodeficiency virus type 1,Theiler's murine encephalomyelitis virus,herpes simplex virus type 1,Epstein-Barr virus,dengue virus,Zika virus,and severe acute respiratory syndrome coronavirus 2,can initiate inflammatory responses through the release of extracellular nucleotides,particularly adenosine triphosphate,which act as critical mediators in the progression of neuroinflammation and neurodegenerative disorders.A better understanding of purinergic signaling pathways in these diseases may suggest new potential therapeutic strategies for targeting neuroinflammation to mitigate the long-term consequences of viral infections in the central nervous system.展开更多
Stem cell proliferation is tightly regulated in developing and adult tissues through the coordinated action of cell-intrinsic and extracellular signals.Although many extracellular cues were identified,the cell-intrins...Stem cell proliferation is tightly regulated in developing and adult tissues through the coordinated action of cell-intrinsic and extracellular signals.Although many extracellular cues were identified,the cell-intrinsic mechanisms underlying the decision of a stem cell to proliferate,enter a dormant quiescent state or differentiate into a specific cell type remains incompletely understood.展开更多
Debates regarding the specific effects of general anesthesia on developing brains have persisted for over 30 years.A consensus has been reached that prolonged,repeated,high-dose exposure to anesthetics is associated w...Debates regarding the specific effects of general anesthesia on developing brains have persisted for over 30 years.A consensus has been reached that prolonged,repeated,high-dose exposure to anesthetics is associated with a higher incidence of deficits in behavior and executive function,while single exposure has a relatively minor effect on long-term neurological function.In this review,we summarize the dose-dependent neuroprotective or neurotoxic effects of gamma-aminobutyric acid type A receptor agonists,a representative group of sedatives,on developing brains or central nervous system diseases.Most preclinical research indicates that anesthetics have neurotoxic effects on the developing brain through various signal pathways.However,recent studies on low-dose anesthetics suggest that they may promote neurodevelopment during this critical period.These findings are incomprehensible for the general“dose-effect”principles of pharmacological research,which has attracted researchers'interest and led to the following questions:What is the threshold for the dual effects exerted by anesthetics such as propofol and sevoflurane on the developing brain?To what extent can their protective effects be maximized?What are the underlying mechanisms involved in these effects?Consequently,this issue has essentially become a“mathematical problem.”After summarizing the dose-dependent effects of gamma-aminobutyric acid type A receptor agonist sedatives in both the developing brain and the brains of patients with central nervous system diseases,we believe that all such anesthetics exhibit specific threshold effects unique to each drug.These effects range from neuroprotection to neurotoxicity,depending on different brain functional states.However,the exact values of the specific thresholds for different drugs in various brain states,as well as the underlying mechanisms explaining why these thresholds exist,remain unclear.Further in-depth exploration of these issues could significantly enhance the therapeutic translational value of these anesthetics.展开更多
The rise of the aging population parallels the rapidly increasing cases of neurological disorders. This puts pressure on scientists and physicians to find novel methods that can prevent and treat neurodegeneration. Th...The rise of the aging population parallels the rapidly increasing cases of neurological disorders. This puts pressure on scientists and physicians to find novel methods that can prevent and treat neurodegeneration. The brain is made up of a complex network of different cell types that work in tandem to maintain systemic homeostasis.展开更多
Type 2 diabetes mellitus has central complications:Diabetes,a metabolic disorder primarily characterized by hyperglycemia due to insufficient insulin secretion,or impaired insulin signaling,has significant central com...Type 2 diabetes mellitus has central complications:Diabetes,a metabolic disorder primarily characterized by hyperglycemia due to insufficient insulin secretion,or impaired insulin signaling,has significant central complications.Type 2 diabetes mellitus(T2DM),the most prevalent type of diabetes,affects more than 38 million individuals in the United States(approximately 1 in 10)and is defined by chronic hyperglycemia and insulin resistance,which refers to a reduced cellular response to insulin.展开更多
The development of types is an important but challenging issue in temporal logic programming. In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which i...The development of types is an important but challenging issue in temporal logic programming. In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which is an executable subset of projection temporal logic （PTL）. Specifically, we extend MSVL with a few groups of types including basic data types, pointer types and struct types. On each type, we specify the domain of values and define some standard operations in terms of logic functions and predicates. Then, it is feasible to formalize statements of type declaration of program variables and statements of struct definitions as logic formulas. As the implementation of the theory, we extend the MSV toolkit with the support of modeling, simulation and verification of typed MSVL programs. Applications to the construction of AVL tree and ordered list show the practicality of the language.展开更多
BACKGROUND Transforming growth factor-β(TGF-β)superfamily plays an important role in tumor progression and metastasis.Activin A receptor type 1C(ACVR1C)is a TGF-βtype I receptor that is involved in tumorigenesis th...BACKGROUND Transforming growth factor-β(TGF-β)superfamily plays an important role in tumor progression and metastasis.Activin A receptor type 1C(ACVR1C)is a TGF-βtype I receptor that is involved in tumorigenesis through binding to dif-ferent ligands.AIM To evaluate the correlation between single nucleotide polymorphisms(SNPs)of ACVR1C and susceptibility to esophageal squamous cell carcinoma(ESCC)in Chinese Han population.METHODS In this hospital-based cohort study,1043 ESCC patients and 1143 healthy controls were enrolled.Five SNPs(rs4664229,rs4556933,rs77886248,rs77263459,rs6734630)of ACVR1C were assessed by the ligation detection reaction method.Hardy-Weinberg equilibrium test,genetic model analysis,stratified analysis,linkage disequi-librium test,and haplotype analysis were conducted.RESULTS Participants carrying ACVR1C rs4556933 GA mutant had significantly decreased risk of ESCC,and those with rs77886248 TA mutant were related with higher risk,especially in older male smokers.In the haplotype analysis,ACVR1C Trs4664229Ars4556933Trs77886248Crs77263459Ars6734630 increased risk of ESCC,while Trs4664229Grs4556933Trs77886248Crs77263459Ars6734630 was associated with lower susceptibility to ESCC.CONCLUSION ACVR1C rs4556933 and rs77886248 SNPs were associated with the susceptibility to ESCC,which could provide a potential target for early diagnosis and treatment of ESCC in Chinese Han population.展开更多
BACKGROUND Type Ⅱ diabetes mellitus(T2DM)has been associated with increased risk of colon cancer(CC)and worse prognosis in patients with metastases.The effects of T2DM on postoperative chemoresistance rate(CRR)and lo...BACKGROUND Type Ⅱ diabetes mellitus(T2DM)has been associated with increased risk of colon cancer(CC)and worse prognosis in patients with metastases.The effects of T2DM on postoperative chemoresistance rate(CRR)and long-term disease-free survival(DFS)and overall survival(OS)in patients with stage Ⅲ CC who receive curative resection remain controversial.AIM To investigate whether T2DM or glycemic control is associated with worse postoperative survival outcomes in stage Ⅲ CC.METHODS This retrospective cohort study included 278 patients aged 40-75 years who underwent surgery for stage Ⅲ CC from 2018 to 2021.Based on preoperative T2DM history,the patients were categorized into non-DM(n=160)and DM groups(n=118).The latter was further divided into well-controlled(n=73)and poorly controlled(n=45)groups depending on the status of glycemic control.DFS,OS,and CRR were compared between the groups and Cox regression analysis was used to identify risk factors.RESULTS Patients in the DM and non-DM groups demonstrated similar DFS,OS,and CRR(DFS:72.03%vs 78.75%,P=0.178;OS:81.36%vs 83.12%,P=0.638;CRR:14.41%vs 7.5%,P=0.063).Poorly controlled DM was associated with a significantly worse prognosis and higher CRR than well-controlled DM(DFS:62.22%vs 78.07%,P=0.021;OS:71.11%vs 87.67%,P=0.011;CRR:24.40%vs 8.22%,P=0.015).High preoperative fasting plasma glucose[DFS:Hazard ratio(HR)=2.684,P<0.001;OS:HR=2.105,P=0.019;CRR:HR=2.214,P=0.005]and glycosylated hemoglobin levels(DFS:HR=2.344,P=0.006;OS:HR=2.119,P=0.021;CRR:HR=2.449,P=0.009)indicated significantly poor prognosis and high CRR,while T2DM history did not(DFS:HR=1.178,P=0.327;OS:HR=0.933,P=0.739;CRR:HR=0.997,P=0.581).CONCLUSION Increased preoperative fasting plasma glucose and glycosylated hemoglobin levels,but not T2DM history,were identified as risk factors associated with poor postoperative outcomes and high CRR in patients with stage Ⅲ CC.展开更多
In-situ formed high Mn steel coating reinforced by carbides was formed by laser surface alloying(LSA).Laser alloyed layers on 1Cr18Ni9Ti steel with Mn+W_(2)C(specimen A),Mn+NiWC(specimen B)and Mn+SiC(specimen C)powder...In-situ formed high Mn steel coating reinforced by carbides was formed by laser surface alloying(LSA).Laser alloyed layers on 1Cr18Ni9Ti steel with Mn+W_(2)C(specimen A),Mn+NiWC(specimen B)and Mn+SiC(specimen C)powders were fabricated to improve the wear and corrosion behavior of 1Cr18Ni9Ti steel blades in high speed mixers.Microstructure evolution,phases,element distribution,microhardness,wear and corrosion behavior of the laser alloyed layers were investigated.Results indicated that high Mn steel matrix composites with undissolved W_(2)C,WC and other in-situ formed carbides were formed by LSA with Mn+W_(2)C and Mn+NiWC while SiC totally dissolved into the high Mn matrix when adding Mn+SiC.Ni as the binding phase in Ni-WC powder decreased the crack sensitivity of the alloyed layer as compared with the addition of W_(2)C powder.An improvement in average microhardness was achieved in the matrix in specimen A,B and C,with the value of 615,602 and 277 HV_(0.5),while that of the substrate was 212 HV_(0.5).The increase of microhardness,wear and corrosion resistance is highly corelated to microstructure,formed phases,type and content of carbides,micro-hardness and toughness of the alloyed layers.展开更多
Nowadays,presynaptic dopaminergic positron emission tomography,which assesses deficiencies in dopamine synthesis,storage,and transport,is widely utilized for early diagnosis and differential diagnosis of parkinsonism....Nowadays,presynaptic dopaminergic positron emission tomography,which assesses deficiencies in dopamine synthesis,storage,and transport,is widely utilized for early diagnosis and differential diagnosis of parkinsonism.This review provides a comprehensive summary of the latest developments in the application of presynaptic dopaminergic positron emission tomography imaging in disorders that manifest parkinsonism.We conducted a thorough literature search using reputable databases such as PubMed and Web of Science.Selection criteria involved identifying peer-reviewed articles published within the last 5 years,with emphasis on their relevance to clinical applications.The findings from these studies highlight that presynaptic dopaminergic positron emission tomography has demonstrated potential not only in diagnosing and differentiating various Parkinsonian conditions but also in assessing disease severity and predicting prognosis.Moreover,when employed in conjunction with other imaging modalities and advanced analytical methods,presynaptic dopaminergic positron emission tomography has been validated as a reliable in vivo biomarker.This validation extends to screening and exploring potential neuropathological mechanisms associated with dopaminergic depletion.In summary,the insights gained from interpreting these studies are crucial for enhancing the effectiveness of preclinical investigations and clinical trials,ultimately advancing toward the goals of neuroregeneration in parkinsonian disorders.展开更多
BACKGROUND There is a lack of clinical evidence on the efficacy and safety of transitioning from a thrice-daily pre-mixed insulin or basal-prandial regimen to insulin degludec/aspart(IDegAsp)therapy,with insufficient ...BACKGROUND There is a lack of clinical evidence on the efficacy and safety of transitioning from a thrice-daily pre-mixed insulin or basal-prandial regimen to insulin degludec/aspart(IDegAsp)therapy,with insufficient data from the Chinese population.AIM To demonstrate the efficacy,safety,and treatment satisfaction associated with the transition to IDegAsp in type 2 diabetes mellitus(T2DM).METHODS In this 12-week open-label,non-randomized,single-center,pilot study,patients with T2DM receiving thrice-daily insulin or intensive insulin treatment were transitioned to twice-daily injections of insulin IDegAsp.Insulin doses,hemoglobin A1c(HbA1c)levels,fasting blood glucose(FBG),hypoglycemic events,a Diabetes Treatment Satisfaction Questionnaire,and other parameters were assessed at baseline and 12-weeks.RESULTS This study included 21 participants.A marked enhancement was observed in the FBG level(P=0.02),daily total insulin dose(P=0.03),and overall diabetes treatment satisfaction(P<0.01)in the participants who switched to IDegAsp.There was a decrease in HbA1c levels(7.6±1.1 vs 7.4±0.9,P=0.31)and the frequency of hypoglycemic events of those who switched to IDegAsp decreased,however,there was no statistically significant difference.CONCLUSION The present findings suggest that treatment with IDegAsp enhances clinical outcomes,particularly FBG levels,daily cumulative insulin dose,and overall satisfaction with diabetes treatment.展开更多
Lysobacter enzymogenes is less-studied, but emerging as a powerful biocontrol bacterium producing multiple antimicrobial weapons including lytic enzymes, toxins, secondary metabolites and protein secretion systems.The...Lysobacter enzymogenes is less-studied, but emerging as a powerful biocontrol bacterium producing multiple antimicrobial weapons including lytic enzymes, toxins, secondary metabolites and protein secretion systems.The loss of surface-attached flagellum, production of heat-stable antifungal factor(HSAF, also named as Ningrongmycin) as a novel antifungal antibiotic, and the use of the type Ⅳ secretion system(T4SS) rather than the common type Ⅵ secretion system(T6SS) to kill competitor bacteria make this species unique. These distinct features set L. enzymogenes apart from well-studied plant beneficial biocontrol agents, such as Bacillus and Pseudomonas. This review describes what takes L. enzymogenes to be a unique biocontrol warrior by focusing to illustrate how the lack of flagellum governs morphological and functional co-adaptability, what adapted signaling transduction pathways are adopted to coordinate the biosynthesis of HSAF, and how to ecologically adapt plant rhizosphere by cell-to-cell interacting with microbiome members via the bacterial-killing T4SS.展开更多
Objectives:To explore the efficacy and safety of virtual reality(VR)in relieving negative emotions in patients with breast cancer with different personalities.Methods:A randomized controlled trial was conducted.Betwee...Objectives:To explore the efficacy and safety of virtual reality(VR)in relieving negative emotions in patients with breast cancer with different personalities.Methods:A randomized controlled trial was conducted.Between April 2023 and October 2023,we enrolled patients with breast cancer treated in the Department of Breast Cancer and Oncology at Sun Yat-Sen Memorial Hospital,Sun Yat-Sen University,Guangdong Province.The patients were randomly divided into an intervention group(n=118)and a control group(n=119)using block randomization.The intervention group received the VR intervention 3-5 times over 5±2 weeks using natural landscapes with music or relaxation guidance,and the duration of each VR intervention was 15±3 min.The control group received routine nursing care,including disease education and psychological counseling.Patients were assessed using the Type D Scale,Positive and Negative Affect Scale,and Distress Thermometer,and adverse events during the intervention were recorded.Results:Overall,85 patients completed the study(44 in the intervention group and 41 in the control group).Patients with Type D personalities showed more negative emotions[25.0(21.5,27.5)vs.19.0(16.0,24.0),P=0.001]and distressed attitudes[4.0(2.0,5.0)vs.3.0(1.0,4.0),P=0.020]with fewer positive emotions(27.2±5.6 vs.31.0±5.9,P=0.014)than those with non-Type D personalities.Total population analysis revealed no significant differences between the groups.However,in the subgroup analysis,patients with Type D personalities in the intervention group showed greater relief from negative emotions than those in the control group[median difference,-5.0(-9.0,-2.5)vs.-2.0(-4.0,2.0),P=0.046].No significant differences were found between groups of patients with non-Type D personality traits.The proportion of adverse events was not significantly different between groups(P=0.110).Conclusions:Breast cancer patients with Type D personalities suffer more severe negative emotions and distress,and more attention should be paid to them.VR intervention significantly and safely reduced negative emotions in patients with Type D personalities.展开更多
基金The National Natural Science Foundation of China(No.60403027,60773191,70771043)the National High Technology Research and Development Program of China(863 Program)(No.2007AA01Z403)
文摘In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description language）for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.
文摘Periodic solution of m order linear neutral equations with constant coefficient and time delays was studied. Existence and uniqueness of 2 T-periodic solutions for the equation were discussed by using the method of Fourier series. Some new necessary and sufficient conditions of existence and uniqueness of 2 T-periodic solutions for the equation are obtained. The main result is used widely. It contains results in some correlation paper for its special case, improves and extends the main results in them. Existence of periodic solution for the equation in larger number of particular case can be checked by using the result, but cannot be checked in another paper. In other words, the main result in this paper is most generalized for (1) the better result cannot be found by using the same method.
基金supported by the Fundamental Research Funds for the Central Universities of Chinathe National Natural Science Foundation of China under Grant No. 60905029the Beijing Natural Science Foundation under Grant No. 4112046
文摘Mobile social networks, which consist of mobile users who communicate with each other using cell phones are reflections of people＇s interactions in social lives. Discovering typed communities （e.g., family communities or corporate communities） in mobile social networks is a very promising problem. For example, it can help mobile operators to determine the target users for precision marketing. In this paper we propose discovering typed communities in mobile social networks by utilizing the labels of relationships between users. We use the user logs stored by mobile operators, including communication and user movement records, to collectively label all the relationships in a network, by employing an undirected probabilistic graphical model, i.e., conditional random fields. Then we use two methods to discover typed communities based on the results of relationship labeling： one is simply retaining or cutting relationships according to their labels, and the other is using sophisticated weighted community detection algorithms. The experimental results show that our proposed framework performs well in terms of the accuracy of typed community detection in mobile social networks.
文摘Objective： To evaluate the efficacy and safety of ＂Three-Typed Syndrome Differentiation＂ （I-TSD） in treating type 2 diabetes mellitus patients. Methods： A systematic review and meta-analysis was done based on the clinical diabetes treatment literature of the ＂I-I＇SD＂. Overseas databases like the PubMed/MEDLINE, EMBASE, Cochrane Library and Cochrane Central Register of Controlled Clinical Trials, and China databases like China Biology Medicine Disc （CBM）, Chinese national Knowledge Infrastructure （CNKI）, Wanfang database, and VIP database, without limitation on language, were included with the time limitation from Jan 1982 to Dec 2012 by retrieval of relative original clinical research articles. Results： Nineteen articles where contains 1,840 diabetes patients were obtained, in which no adverse reactions were reported. Of these, 14 literatures involved the effect of fasting blood glucose （FBG）, 10 involved that of postprandial 2-h blood glucose （P2hBG）, and 19 involved the overall efficacy based on the national Chinese medicine （CM） diagnosis and treatment standard of diabetes. All the meta-analysis results prefer to the ＂TTSD＂ groups （CM＋Westem medicine Based on I-I＇SD）. The results show that, beside the efficacy of Westem medicine, the concentrations of FBG and P2hBG in ＂TTSD＂ groups continue to drop with statistical significance. For ＂TTSD＂ groups, the FBG subsequently dropped 1.03 mmol/L, 95%CI [1.24,0.82] （P〈0.00001）, the P2hBG subsequently dropped 1.09 mmol/L, 95% CI [1.61, 0.57] （P〈0.0001）, and the overall efficacies benefit 3.46 times those of Western medicine alone, 95% CI [2.67,4.48] （P〈0.00001）. Conclusions： The CM by the diagnosis and treatment of type 2 diabetes based on ＂TTSD might be safe and effective, and could better improve both blood glucose and the overall status of patients, including symptoms.
文摘The advent of Web 2.0 has led to an increase in user-generated content on the Web. This has provided an extensive collection of free-style texts with opinion expressions that could influence the decisions and actions of their readers. Providers of such content exert a certain level of influence on the receivers and this is evident from blog sites having effect on their readers＇ purchase decisions, political view points, financial planning, and others. By detecting the opinion expressed, we can identify the sentiments on the topics discussed and the influence exerted on the readers. In this paper, we introduce an automatic approach in deriving polarity pattern rules to detect sentiment polarity at the phrase level, and in addition consider the effects of the more complex relationships found between words in sentiment polarity classification. Recent sentiment analysis research has focused on the functional relations of words using typed dependency parsing, providing a refined analysis on the grammar and semantics of textual data. Heuristics are typically used to determine the typed dependency polarity patterns, which may not comprehensively identify all possible rules. We study the use of class sequential rules （CSRs） to automatically learn the typed dependency patterns, and benchmark the performance of CSR against a heuristic method. Preliminary results show CSR leads to further improvements in classification performance achieving over 80% F1 scores in the test eases. In addition, we observe more complex relationships between words that could influence phrase sentiment polarity, and further discuss on possible approaches to handle the effects of these complex relationships.
基金supported by grants from NIH T32(DK007260,to WC)the Steno North American Fellowship awarded by the Novo Nordisk Foundation(NNF23OC0087108,to WC).
文摘The shared links between Alzheimer’s disease and type 2 diabetes mellitus:Alzheimer’s disease(AD)and type 2 diabetes mellitus(T2DM)are two prevalent conditions that come with substantial daily struggles.Emerging evidence highlights that these diseases share similar pathophysiological features,including insulin resistance and chronic inflammation,which contribute to their rapid progression(Chen et al.,2022).Insulin resistance,a hallmark of T2DM,has been suggested to exacerbate neurodegeneration in AD.Similarly,chronic low-grade inflammation in T2DM parallels with neuroinflammation,which is observed in AD,suggesting overlapping pathophysiological mechanisms in T2DM and AD.
基金supported by funds from the Conselho Nacional de Desenvolvimento Cientifico e Tecnologico do Brasil(CNPq)(312286/2023-6,307201/2023-6,and Instituto Nacional Saude Cerebral INSC,No.406020/2022-1)Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior(CAPES)Fundacao de Amparo a Pesquisa do Estado do Rio de Janeiro-FAPERJ(E-26/010.002260/2019,E-26/010.001652/2019,E-26/010.101036/2018,E-26/202.774/2018,E-26/210.240/2020,E-26/211.138/2021,26/210.823/2021,E-26/211.325/2021,E-26/210.779/2021,E-26/201.086/2022,E-26/210.312/2022,E-26/203.262/2023,E-26/200.195/2023)(to LEBS)。
文摘Recent increases in infectious diseases affecting the central nervous system have raised concerns about their role in neuroinflammation and neurodegeneration.Viral pathogens or their products can invade the central nervous system and cause damage,leading to meningitis,encephalitis,meningoencephalitis,myelitis,or post-infectious demyelinating diseases.Although neuroinflammation initially has a protective function,chronic inflammation can contribute to the development of neurodegenerative diseases.Mechanisms such as protein aggregation and cellular disturbances are implicated with specific viruses such as herpes simplex virus type 1 and Epstein-Barr virus being associated with Alzheimer's disease and multiple sclerosis,respectively.Extracellular nucleotides,particularly adenosine triphosphate and its metabolites are released from activated,infected,and dying cells,acting as alarmins mediating neuroinflammation and neurodegeneration.When viruses infect central nervous system cells,adenosine triphosphate is released as an alarmin,triggering inflammatory responses.This process is mediated by purinergic receptors,divided into two families:P1,which responds to adenosine,and P2,activated by adenosine triphosphate and other nucleotides.This review highlights how specific viruses,such as human immunodeficiency virus type 1,Theiler's murine encephalomyelitis virus,herpes simplex virus type 1,Epstein-Barr virus,dengue virus,Zika virus,and severe acute respiratory syndrome coronavirus 2,can initiate inflammatory responses through the release of extracellular nucleotides,particularly adenosine triphosphate,which act as critical mediators in the progression of neuroinflammation and neurodegenerative disorders.A better understanding of purinergic signaling pathways in these diseases may suggest new potential therapeutic strategies for targeting neuroinflammation to mitigate the long-term consequences of viral infections in the central nervous system.
基金supported by the Argentine Agency for the Promotion of Science and Technology ANPCyT(PICT2019-1472 to GP,PICT2019-4597 to FL,PICT2020-1524 to GP,and PICT2021-00627 to FL)supported by an Independent Career Position from CONICETsupported by a postdoctoral fellowship from ANPCyT。
文摘Stem cell proliferation is tightly regulated in developing and adult tissues through the coordinated action of cell-intrinsic and extracellular signals.Although many extracellular cues were identified,the cell-intrinsic mechanisms underlying the decision of a stem cell to proliferate,enter a dormant quiescent state or differentiate into a specific cell type remains incompletely understood.
文摘Debates regarding the specific effects of general anesthesia on developing brains have persisted for over 30 years.A consensus has been reached that prolonged,repeated,high-dose exposure to anesthetics is associated with a higher incidence of deficits in behavior and executive function,while single exposure has a relatively minor effect on long-term neurological function.In this review,we summarize the dose-dependent neuroprotective or neurotoxic effects of gamma-aminobutyric acid type A receptor agonists,a representative group of sedatives,on developing brains or central nervous system diseases.Most preclinical research indicates that anesthetics have neurotoxic effects on the developing brain through various signal pathways.However,recent studies on low-dose anesthetics suggest that they may promote neurodevelopment during this critical period.These findings are incomprehensible for the general“dose-effect”principles of pharmacological research,which has attracted researchers'interest and led to the following questions:What is the threshold for the dual effects exerted by anesthetics such as propofol and sevoflurane on the developing brain?To what extent can their protective effects be maximized?What are the underlying mechanisms involved in these effects?Consequently,this issue has essentially become a“mathematical problem.”After summarizing the dose-dependent effects of gamma-aminobutyric acid type A receptor agonist sedatives in both the developing brain and the brains of patients with central nervous system diseases,we believe that all such anesthetics exhibit specific threshold effects unique to each drug.These effects range from neuroprotection to neurotoxicity,depending on different brain functional states.However,the exact values of the specific thresholds for different drugs in various brain states,as well as the underlying mechanisms explaining why these thresholds exist,remain unclear.Further in-depth exploration of these issues could significantly enhance the therapeutic translational value of these anesthetics.
文摘The rise of the aging population parallels the rapidly increasing cases of neurological disorders. This puts pressure on scientists and physicians to find novel methods that can prevent and treat neurodegeneration. The brain is made up of a complex network of different cell types that work in tandem to maintain systemic homeostasis.
基金supported by grants from NIH T32(DK007260,to WC)the Steno North American Fellowship awarded by the Novo Nordisk Foundation(NNF23OC0087108,to WC)+6 种基金STI2030-Major Projects(2021ZD0202700,to HY)the National Natural Science Foundation of China(32241004,to HY)the Natural Science Foundation of Zhejiang Province of China(LR24C090001,to HY)Key R&D Program of Zhejiang Province(2024SSYS0017,to HY)CAMS Innovation Fund for Medical Sciences(2019-12M-5-057,to HY)Fundamental Research Funds for the Central Universities(226-2022-00193,to HY)the Non-profit Central Research Institute Fund of Chinese Academy of Medical Sciences(2023-PT310-01,to HY)。
文摘Type 2 diabetes mellitus has central complications:Diabetes,a metabolic disorder primarily characterized by hyperglycemia due to insufficient insulin secretion,or impaired insulin signaling,has significant central complications.Type 2 diabetes mellitus(T2DM),the most prevalent type of diabetes,affects more than 38 million individuals in the United States(approximately 1 in 10)and is defined by chronic hyperglycemia and insulin resistance,which refers to a reduced cellular response to insulin.
文摘The development of types is an important but challenging issue in temporal logic programming. In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which is an executable subset of projection temporal logic （PTL）. Specifically, we extend MSVL with a few groups of types including basic data types, pointer types and struct types. On each type, we specify the domain of values and define some standard operations in terms of logic functions and predicates. Then, it is feasible to formalize statements of type declaration of program variables and statements of struct definitions as logic formulas. As the implementation of the theory, we extend the MSV toolkit with the support of modeling, simulation and verification of typed MSVL programs. Applications to the construction of AVL tree and ordered list show the practicality of the language.
基金Supported by The National Natural Science Foundation of China,No.82350127 and No.82241013the Shanghai Natural Science Foundation,No.20ZR1411600+2 种基金the Shanghai Shenkang Hospital Development Center,No.SHDC2020CR4039the Bethune Ethicon Excellent Surgery Foundation,No.CESS2021TC04Xuhui District Medical Research Project of Shanghai,No.SHXH201805.
文摘BACKGROUND Transforming growth factor-β(TGF-β)superfamily plays an important role in tumor progression and metastasis.Activin A receptor type 1C(ACVR1C)is a TGF-βtype I receptor that is involved in tumorigenesis through binding to dif-ferent ligands.AIM To evaluate the correlation between single nucleotide polymorphisms(SNPs)of ACVR1C and susceptibility to esophageal squamous cell carcinoma(ESCC)in Chinese Han population.METHODS In this hospital-based cohort study,1043 ESCC patients and 1143 healthy controls were enrolled.Five SNPs(rs4664229,rs4556933,rs77886248,rs77263459,rs6734630)of ACVR1C were assessed by the ligation detection reaction method.Hardy-Weinberg equilibrium test,genetic model analysis,stratified analysis,linkage disequi-librium test,and haplotype analysis were conducted.RESULTS Participants carrying ACVR1C rs4556933 GA mutant had significantly decreased risk of ESCC,and those with rs77886248 TA mutant were related with higher risk,especially in older male smokers.In the haplotype analysis,ACVR1C Trs4664229Ars4556933Trs77886248Crs77263459Ars6734630 increased risk of ESCC,while Trs4664229Grs4556933Trs77886248Crs77263459Ars6734630 was associated with lower susceptibility to ESCC.CONCLUSION ACVR1C rs4556933 and rs77886248 SNPs were associated with the susceptibility to ESCC,which could provide a potential target for early diagnosis and treatment of ESCC in Chinese Han population.
基金Supported by the Leading Innovation Specialist Support Program of Guangdong Provincethe Science and Technology Planning Project of Ganzhou,No.202101074816the National Natural Science Foundation of China,No.82260501.
文摘BACKGROUND Type Ⅱ diabetes mellitus(T2DM)has been associated with increased risk of colon cancer(CC)and worse prognosis in patients with metastases.The effects of T2DM on postoperative chemoresistance rate(CRR)and long-term disease-free survival(DFS)and overall survival(OS)in patients with stage Ⅲ CC who receive curative resection remain controversial.AIM To investigate whether T2DM or glycemic control is associated with worse postoperative survival outcomes in stage Ⅲ CC.METHODS This retrospective cohort study included 278 patients aged 40-75 years who underwent surgery for stage Ⅲ CC from 2018 to 2021.Based on preoperative T2DM history,the patients were categorized into non-DM(n=160)and DM groups(n=118).The latter was further divided into well-controlled(n=73)and poorly controlled(n=45)groups depending on the status of glycemic control.DFS,OS,and CRR were compared between the groups and Cox regression analysis was used to identify risk factors.RESULTS Patients in the DM and non-DM groups demonstrated similar DFS,OS,and CRR(DFS:72.03%vs 78.75%,P=0.178;OS:81.36%vs 83.12%,P=0.638;CRR:14.41%vs 7.5%,P=0.063).Poorly controlled DM was associated with a significantly worse prognosis and higher CRR than well-controlled DM(DFS:62.22%vs 78.07%,P=0.021;OS:71.11%vs 87.67%,P=0.011;CRR:24.40%vs 8.22%,P=0.015).High preoperative fasting plasma glucose[DFS:Hazard ratio(HR)=2.684,P<0.001;OS:HR=2.105,P=0.019;CRR:HR=2.214,P=0.005]and glycosylated hemoglobin levels(DFS:HR=2.344,P=0.006;OS:HR=2.119,P=0.021;CRR:HR=2.449,P=0.009)indicated significantly poor prognosis and high CRR,while T2DM history did not(DFS:HR=1.178,P=0.327;OS:HR=0.933,P=0.739;CRR:HR=0.997,P=0.581).CONCLUSION Increased preoperative fasting plasma glucose and glycosylated hemoglobin levels,but not T2DM history,were identified as risk factors associated with poor postoperative outcomes and high CRR in patients with stage Ⅲ CC.
文摘In-situ formed high Mn steel coating reinforced by carbides was formed by laser surface alloying(LSA).Laser alloyed layers on 1Cr18Ni9Ti steel with Mn+W_(2)C(specimen A),Mn+NiWC(specimen B)and Mn+SiC(specimen C)powders were fabricated to improve the wear and corrosion behavior of 1Cr18Ni9Ti steel blades in high speed mixers.Microstructure evolution,phases,element distribution,microhardness,wear and corrosion behavior of the laser alloyed layers were investigated.Results indicated that high Mn steel matrix composites with undissolved W_(2)C,WC and other in-situ formed carbides were formed by LSA with Mn+W_(2)C and Mn+NiWC while SiC totally dissolved into the high Mn matrix when adding Mn+SiC.Ni as the binding phase in Ni-WC powder decreased the crack sensitivity of the alloyed layer as compared with the addition of W_(2)C powder.An improvement in average microhardness was achieved in the matrix in specimen A,B and C,with the value of 615,602 and 277 HV_(0.5),while that of the substrate was 212 HV_(0.5).The increase of microhardness,wear and corrosion resistance is highly corelated to microstructure,formed phases,type and content of carbides,micro-hardness and toughness of the alloyed layers.
基金supported by the Research Project of the Shanghai Health Commission,No.2020YJZX0111(to CZ)the National Natural Science Foundation of China,Nos.82021002(to CZ),82272039(to CZ),82171252(to FL)+1 种基金a grant from the National Health Commission of People’s Republic of China(PRC),No.Pro20211231084249000238(to JW)Medical Innovation Research Project of Shanghai Science and Technology Commission,No.21Y11903300(to JG).
文摘Nowadays,presynaptic dopaminergic positron emission tomography,which assesses deficiencies in dopamine synthesis,storage,and transport,is widely utilized for early diagnosis and differential diagnosis of parkinsonism.This review provides a comprehensive summary of the latest developments in the application of presynaptic dopaminergic positron emission tomography imaging in disorders that manifest parkinsonism.We conducted a thorough literature search using reputable databases such as PubMed and Web of Science.Selection criteria involved identifying peer-reviewed articles published within the last 5 years,with emphasis on their relevance to clinical applications.The findings from these studies highlight that presynaptic dopaminergic positron emission tomography has demonstrated potential not only in diagnosing and differentiating various Parkinsonian conditions but also in assessing disease severity and predicting prognosis.Moreover,when employed in conjunction with other imaging modalities and advanced analytical methods,presynaptic dopaminergic positron emission tomography has been validated as a reliable in vivo biomarker.This validation extends to screening and exploring potential neuropathological mechanisms associated with dopaminergic depletion.In summary,the insights gained from interpreting these studies are crucial for enhancing the effectiveness of preclinical investigations and clinical trials,ultimately advancing toward the goals of neuroregeneration in parkinsonian disorders.
基金Supported by CAMS Innovation Fund for Medical Sciences,No.2023-I2M-C&T-B-043National High Level Hospital Clinical Research Funding,No.2022-PUMCH-B-015+1 种基金CAMS Innovation Fund for Medical Sciences,No.2021-1-12M-002Beijing Municipal Natural Science Foundation,No.M22014.
文摘BACKGROUND There is a lack of clinical evidence on the efficacy and safety of transitioning from a thrice-daily pre-mixed insulin or basal-prandial regimen to insulin degludec/aspart(IDegAsp)therapy,with insufficient data from the Chinese population.AIM To demonstrate the efficacy,safety,and treatment satisfaction associated with the transition to IDegAsp in type 2 diabetes mellitus(T2DM).METHODS In this 12-week open-label,non-randomized,single-center,pilot study,patients with T2DM receiving thrice-daily insulin or intensive insulin treatment were transitioned to twice-daily injections of insulin IDegAsp.Insulin doses,hemoglobin A1c(HbA1c)levels,fasting blood glucose(FBG),hypoglycemic events,a Diabetes Treatment Satisfaction Questionnaire,and other parameters were assessed at baseline and 12-weeks.RESULTS This study included 21 participants.A marked enhancement was observed in the FBG level(P=0.02),daily total insulin dose(P=0.03),and overall diabetes treatment satisfaction(P<0.01)in the participants who switched to IDegAsp.There was a decrease in HbA1c levels(7.6±1.1 vs 7.4±0.9,P=0.31)and the frequency of hypoglycemic events of those who switched to IDegAsp decreased,however,there was no statistically significant difference.CONCLUSION The present findings suggest that treatment with IDegAsp enhances clinical outcomes,particularly FBG levels,daily cumulative insulin dose,and overall satisfaction with diabetes treatment.
基金funded by the the Fundamental Research Funds for the Central Universities, China (RENCAI2024002 and KJJQ2024014)the Natural Key Research and Development Program of China (2022YFD1400200)the National Natural Science Foundation of China (U22A20486, 32072470, 32001955 and 32470112)
文摘Lysobacter enzymogenes is less-studied, but emerging as a powerful biocontrol bacterium producing multiple antimicrobial weapons including lytic enzymes, toxins, secondary metabolites and protein secretion systems.The loss of surface-attached flagellum, production of heat-stable antifungal factor(HSAF, also named as Ningrongmycin) as a novel antifungal antibiotic, and the use of the type Ⅳ secretion system(T4SS) rather than the common type Ⅵ secretion system(T6SS) to kill competitor bacteria make this species unique. These distinct features set L. enzymogenes apart from well-studied plant beneficial biocontrol agents, such as Bacillus and Pseudomonas. This review describes what takes L. enzymogenes to be a unique biocontrol warrior by focusing to illustrate how the lack of flagellum governs morphological and functional co-adaptability, what adapted signaling transduction pathways are adopted to coordinate the biosynthesis of HSAF, and how to ecologically adapt plant rhizosphere by cell-to-cell interacting with microbiome members via the bacterial-killing T4SS.
基金supported by a project of the National Natural Science Foundation of China:Research on the integration of artificial intelligence and virtual reality technology to promote psychological rehabilitation of breast cancer patients with different personalities(project approval no.82073408).
文摘Objectives:To explore the efficacy and safety of virtual reality(VR)in relieving negative emotions in patients with breast cancer with different personalities.Methods:A randomized controlled trial was conducted.Between April 2023 and October 2023,we enrolled patients with breast cancer treated in the Department of Breast Cancer and Oncology at Sun Yat-Sen Memorial Hospital,Sun Yat-Sen University,Guangdong Province.The patients were randomly divided into an intervention group(n=118)and a control group(n=119)using block randomization.The intervention group received the VR intervention 3-5 times over 5±2 weeks using natural landscapes with music or relaxation guidance,and the duration of each VR intervention was 15±3 min.The control group received routine nursing care,including disease education and psychological counseling.Patients were assessed using the Type D Scale,Positive and Negative Affect Scale,and Distress Thermometer,and adverse events during the intervention were recorded.Results:Overall,85 patients completed the study(44 in the intervention group and 41 in the control group).Patients with Type D personalities showed more negative emotions[25.0(21.5,27.5)vs.19.0(16.0,24.0),P=0.001]and distressed attitudes[4.0(2.0,5.0)vs.3.0(1.0,4.0),P=0.020]with fewer positive emotions(27.2±5.6 vs.31.0±5.9,P=0.014)than those with non-Type D personalities.Total population analysis revealed no significant differences between the groups.However,in the subgroup analysis,patients with Type D personalities in the intervention group showed greater relief from negative emotions than those in the control group[median difference,-5.0(-9.0,-2.5)vs.-2.0(-4.0,2.0),P=0.046].No significant differences were found between groups of patients with non-Type D personality traits.The proportion of adverse events was not significantly different between groups(P=0.110).Conclusions:Breast cancer patients with Type D personalities suffer more severe negative emotions and distress,and more attention should be paid to them.VR intervention significantly and safely reduced negative emotions in patients with Type D personalities.
