Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the contex...Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.展开更多
Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented progra...Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs.展开更多
Business Process Exeention Language （BPEL） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in BPEL, BPEL documentt is getting more C...Business Process Exeention Language （BPEL） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in BPEL, BPEL documentt is getting more Complplicated. Therefore it is difficult to describe applications in BPEL with high reliability. In order to write highly reliable BPEL document, it is necessary to check if the document is working correctly in accordance with user＇s intention. But it is difficult to carry out the test since BPEL engine doesn＇t provide a profiling function. In this paper, we suggest a BPEL system with a real-time profiling function. The suggested system consists of an integrated development environment and a BPEL nunning environment. BPEL integrated development environment has a BPEL to Java（B2J） engine, which generates and executes a Java workflow program from a BPEL document, and a converter, which converts Java Weaving XML （JWX） documents to Aspect-oriented programs. The new functions are described in JWX, which is Extensive Markup Lan-guage （XML）-based document. Since aspect-oriented programming technique provides the way to modularize main and supplemental requirements, it guarantees the low degree of coupling between BPEL workflow program and new functions by weaving them. Our approach can be extended to add other functions to provide context-aware services.展开更多
Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a ...Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a solid data foundation when attempting to improve the error feedback mechanisms.This paper makes a survey of 834 students across various programming courses and investigates student perceptions of error feedback mechanisms on online programming platforms.It explores the effectiveness of existing feedback,student satisfaction,and preferences for potential improvements,focusing on automatic error localization and program repair mechanisms.Results reveal a significant portion of students are dissatisfied with current feedback due to its limited informativeness.Students also express a clear demand for stronger feedback mechanisms,such as error localization and repair hints.Nevertheless,they prefer feedback that subtly guides them toward solutions,rather than providing direct and explicit answers,valuing the opportunity to enhance their debugging skills.The findings suggest a need for balanced,educational-focused feedback mechanisms that aid learning while promoting independent problem-solving.展开更多
Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disruptin...Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.展开更多
Objectives This study aimed to evaluate the effectiveness of the stepped self-care program on the self-care,self-efficacy,and quality of life of stroke survivors.Methods This quasi-experimental study allocated 110 str...Objectives This study aimed to evaluate the effectiveness of the stepped self-care program on the self-care,self-efficacy,and quality of life of stroke survivors.Methods This quasi-experimental study allocated 110 stroke survivors from two neurology wards into an intervention group(n=55)who received the stepped self-care program and a control group(n=55)who received usual care from June to December 2023.The Self-Care of Stroke Inventory,Stroke Self-Efficacy Questionnaire,and the short version of the Stroke Specific Quality of Life Scale were administered at baseline(T0),immediately post-intervention(T_(1)),and at 1-month(T_(2))and 3-month(T_(3))follow-ups.Data were analyzed using repeated measures analyses of variance,and generalized estimating equations.Results A total of 48 participants in the intervention group and 50 participants in the control group completed the study.No statistically significant differences were observed at T0 in any of the measured indicators(all P>0.05).The study showed significant group,time,and group×time interaction effects across the assessed outcomes(all P<0.05).Follow-up between-group comparisons at T_(1),T_(2),and T_(3) indicated that the intervention group had significantly higher scores in self-care maintenance,self-care monitoring,self-care management,self-efficacy,and quality of life than the control group(all P<0.001).Conclusions The stepped self-care program significantly improved self-care behaviors,self-efficacy,and quality of life among stroke survivors.These findings support the broader implementation of this approach in post-discharge home self-care.展开更多
To systematically elucidate the central role of the cardiac autonomic nervous system(ANS)in maintaining cardiovascular homeostasis,analyze the pathological mechanisms underlying its dysregulation,integrate multidiscip...To systematically elucidate the central role of the cardiac autonomic nervous system(ANS)in maintaining cardiovascular homeostasis,analyze the pathological mechanisms underlying its dysregulation,integrate multidisciplinary research findings from the U.S.stimulating peripheral nerves to alleviate disease symptoms(SPARC)program,and evaluate the unique advantages and current limitations of acupuncture in modulating cardiac ANS function,ultimately proposing novel strategies for the prevention and treatment of cardiovascular diseases.A systematic literature review was conducted to synthesize current knowledge on the fundamental regulatory mechanisms of the cardiac ANS,the SPARC program's innovative contributions to neuroanatomy and neural pathway mapping,as well as clinical and experimental evidence supporting acupuncture's modulation of the ANS.The SPARC program has made significant progress in elucidating the anatomical organization and neural circuitry of the cardiac ANS through interdisciplinary collaboration,offering novel insights and methodological frameworks for studying cardiac autonomic regulation.Acupuncture,as a cornerstone of traditional medicine,has demonstrated both specificity and multi-target regulatory effects on the cardiac ANS through clinical and experimental studies.However,challenges remain,including an incomplete mechanistic understanding,technical limitations in research methodologies,and difficulties in translating findings into clinical practice.Future research on acupuncture should build upon its inherent strengths while advancing its integration with modern scientific and technological approaches.Strengthening interdisciplinary collaboration and leveraging artificial intelligence can open new frontiers in mechanistic exploration and technological innovation.These efforts will facilitate the internationalization of acupuncture research and contribute innovative perspectives and therapeutic strategies for cardiovascular disease prevention and treatment.展开更多
In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,w...In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,we convert the problem(LFP)to the equivalent problem(EP2).Secondly,by applying the linear relaxation technique to the problem(EP2),the linear relaxation programming problem(LRP2Y)was obtained.Then,the overall framework of the algorithm is given,and the convergence and complexity of the algorithm are analyzed.Finally,experimental results are listed to illustrate the effectiveness of the algorithm.展开更多
The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programmi...The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programming(LGP)has been developed for a full-scale annular ramjet combustor.The LGP is used to generate control laws that include multi-frequency forcing.These laws are then transformed into square waves to actuate the solenoid valve,which modulates the kerosene supply for open-loop control.The results show that the duty cycle has little effect on instability amplitude,whereas an increase in frequency leads to a remarked reduction in combustion amplitude.After five generations evolvements,the pressure amplitude is reduced by 40.6% under the optimal control law generated by LGP.Furthermore,the machine learning process is depicted using a proximity map of control law similarity,with the search pathway visualized by the steepest descent.All individuals go forward to the upper left corner of the map with the evolution process,terminating at the optimal individual of the fifth generation.展开更多
Instrumental and expert assessments were used to assess the effect of massage on facial skin blood perfusion,as well as the effects of the long-term use of the two skin health programs on the water content of the stra...Instrumental and expert assessments were used to assess the effect of massage on facial skin blood perfusion,as well as the effects of the long-term use of the two skin health programs on the water content of the stratum corneum,F4,L^(*),dermal and epidermal thickness and density,facial wrinkles,and so on.Sixty healthy Chinese women were selected as the study subjects,which were subsequently divided into G1 non-massage group and G2 massage group.The results show that massage can increase the blood perfusion of facial skin.Group G2 solution is found to be more effective in improving the skin structural barrier(epidermal density),skin elasticity,firmness(dermal thickness)and forehead wrinkles.展开更多
Aiming at the problem of innovative talent training in the industry field in characteristic software colleges,combined with the actual situation of Software College of Northeastern University,this paper analyzes the c...Aiming at the problem of innovative talent training in the industry field in characteristic software colleges,combined with the actual situation of Software College of Northeastern University,this paper analyzes the construction requirements of characteristic talent training mode and training scheme,puts forward the reform of characteristic software innovative talent training scheme integrating production and education,and takes the characteristic direction of financial technology as an example to introduce the curriculum construction based on industry-education integration and school-enterprise cooperation.展开更多
The field of nanomedicine has been revolutionized by the concept of immunogenic cell death(ICD)-enhanced cancer therapy,which holds immense promise for the efficient treatment of cancer.However,precise delivery of ICD...The field of nanomedicine has been revolutionized by the concept of immunogenic cell death(ICD)-enhanced cancer therapy,which holds immense promise for the efficient treatment of cancer.However,precise delivery of ICD inducer is severely hindered by complex biological barriers.How to design and build intelligent nanoplatform for adaptive and dynamic cancer therapy remains a big challenge.Herein,this article presents the design and preparation of CD44-targeting and ZIF-8 gated gold nanocage(Au@ZH) for programmed delivery of the 1,2-diaminocyclohexane-Pt(Ⅱ)(DACHPt) as ICD inducer.After actively targeting the CD44 on the surface of 4T1 tumor cell,this Pt-Au@ZH can be effectively endocytosed by the 4T1 cell and release the DACHPt in tumor acidic environment,resulting in ICD effect and superior antitumor efficacy both in vitro and in vivo in the presence of mild 808 nm laser irradiation.By integration of internal and external stimuli intelligently,this programmed nanoplatform is poised to become a cornerstone in the pursuit of effective and targeted cancer therapy in the foreseeable future.展开更多
During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive...During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive distance)to a moving target as quickly as possible,resulting in the extended minimum-time intercept problem(EMTIP).Existing research has primarily focused on the zero-distance intercept problem,MTIP,establishing the necessary or sufficient conditions for MTIP optimality,and utilizing analytic algorithms,such as root-finding algorithms,to calculate the optimal solutions.However,these approaches depend heavily on the properties of the analytic algorithm,making them inapplicable when problem settings change,such as in the case of a positive effective range or complicated target motions outside uniform rectilinear motion.In this study,an approach employing a high-accuracy and quality-guaranteed mixed-integer piecewise-linear program(QG-PWL)is proposed for the EMTIP.This program can accommodate different effective interception ranges and complicated target motions(variable velocity or complicated trajectories).The high accuracy and quality guarantees of QG-PWL originate from elegant strategies such as piecewise linearization and other developed operation strategies.The approximate error in the intercept path length is proved to be bounded to h^(2)/(4√2),where h is the piecewise length.展开更多
Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,compl...Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,complex,untethered,and rapid deformations.However,current MRC-based devices primarily rely on soft matrices,which revert to their original shapes and cease functioning when external magnetic fields are removed.Moreover,their magnetization programming,deformations,and functioning need to alternate between encoding and actuation platforms,limiting the adaptability and efficiency.Here,we present a reprogrammable magnetic shape-memory composite(RM-SMC)integrating a shape-memory polymer(SMP)skeleton with phase-transition magnetic microcapsules.High-intensity laser melts microcapsules for magnetic realignment under programmed fields,while low-intensity laser softens SMP for structural reconfiguration without compromising integrity.This dual-laser strategy facilitates in situ magnetization programming,shape morphing,and function execution within a single material system.Our innovative approach enables unique applications,including omnidirectional multi-degree-of-freedom actuators that can activate light switches,solar trackers that optimize energy capture,and adaptive impellers that modulate fluid pumping.By eliminating platform alternation and enabling shape/function retention post-actuation,the RM-SMC platform overcomes critical limitations in conventional MRCs,establishing a paradigm for multifunctional devices requiring persistent configuration control and field-independent operation.展开更多
Aspect-oriented modeling can uncover potential design faults,yet most existing work fails to achieve both separation and composition in a natural and succinct way.This study presents an aspect-oriented modeling and an...Aspect-oriented modeling can uncover potential design faults,yet most existing work fails to achieve both separation and composition in a natural and succinct way.This study presents an aspect-oriented modeling and analysis approach with hierarchical Coloured Petri Nets(HCPN).HCPN has sub-models and well-defined semantics combining a set of submodels.These two characteristics of HCPN are nicely integrated into aspect oriented modeling.Submodels are used to model aspects while the combination mechanism contributes to aspects weaving.Furthermore,the woven aspect oriented HCPN model can be simulated and analyzed by the CPN Tools.A systematic web application case study is conducted.The results show the system original properties are satisfied after weaving aspects and all design flaws are revealed.As such,the approach can support web application design and analysis in an aspect-oriented fashion concisely and effectively.展开更多
To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing...To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing traversal features of legacy system is presented based on various unified modeling language （UML） diagrams. While modeling crosscutting concerns in UML use case diagrams, the non-functional requirements that affect several use case modules can be enveloped into aspect modules with a stereotype mechanism. The recurring message transmission patterns can be re-modularized as aspects in UML sequence diagrams with UML collaborations. Standard UML activity diagram notations are extended and modified by node fusion and addition, which support the graphical composition operation between crosscutting behaviors and primary business roles of concurrent systems. Case study indicates that travernal features of software system can be extracted and re-modularized from various perspectives in aspect-oriented reverse engineering, which improves comprehensibility and maintainability of legacy systems.展开更多
In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving ...In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.展开更多
BACKGROUND Hepatocellular carcinoma(HCC)is an inflammation-associated tumor with a dismal prognosis.Immunotherapy has become an important treatment strategy for HCC,as immunity is closely related to inflammation in th...BACKGROUND Hepatocellular carcinoma(HCC)is an inflammation-associated tumor with a dismal prognosis.Immunotherapy has become an important treatment strategy for HCC,as immunity is closely related to inflammation in the tumor microenvir-onment.Inflammation regulates the expression of programmed death ligand-1(PD-L1)in the immunosuppressive tumor microenvironment and affects im-munotherapy efficacy.Interleukin-17A(IL-17A)is involved in the remodeling of the tumor microenvironment and plays a protumor or antitumor role in different tumors.We hypothesized that IL-17A participates in tumor progression by affe-cting the level of immune checkpoint molecules in HCC.The upregulation of PD-L1 expression in HCC cells by IL-17A was assessed by reverse transcription PCR,western blotting,and flow cytometry.Mechanistic studies were conducted with gene knockout models and pathway inhibitors.The function of IL-17A in immune evasion was explored through coculture of T cells and HCC cells.The effects of IL-17A on the malignant biological behaviors of HCC cells were evaluated in vitro,and the antitumor effects of an IL-17A inhibitor and its synergistic effects with a PD-L1 inhibitor were studied in vivo.RESULTS IL-17A upregulated PD-L1 expression in HCC cells in a dose-dependent manner,whereas IL-17A receptor knockout or treatment with a small mothers against decapentaplegic 2 inhibitor diminished the PD-L1 expression induced by IL-17A.IL-17A enhanced the survival of HCC cells in the coculture system.IL-17A increased the viability,G2/M ratio,and migration of HCC cells and decreased the apoptotic index.Cyclin D1,VEGF,MMP9,and Bcl-1 expression increased after IL-17A treatment,whereas BAX expression decreased.The combination of IL-17A and PD-L1 inhibitors showed synergistic antitumor efficacy and increased cluster of differentiation 8+T lymphocyte infiltration in an HCC mouse model.CONCLUSION IL-17A upregulates PD-L1 expression via the IL-17A receptor/phosphorylation-small mothers against decapenta-plegic 2 signaling pathway in HCC cells.Blocking IL-17A enhances the therapeutic efficacy of PD-L1 antibodies in HCC in vivo.展开更多
基金Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education,Science and Technology(No.2010-0025831)
文摘Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.
文摘Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs.
基金supported by MKE(The Ministry of Knowledge Economy),Koreathe ITRC support program supervised by the NIPA(NIPA-2009-(C1090-0902-0007))
文摘Business Process Exeention Language （BPEL） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in BPEL, BPEL documentt is getting more Complplicated. Therefore it is difficult to describe applications in BPEL with high reliability. In order to write highly reliable BPEL document, it is necessary to check if the document is working correctly in accordance with user＇s intention. But it is difficult to carry out the test since BPEL engine doesn＇t provide a profiling function. In this paper, we suggest a BPEL system with a real-time profiling function. The suggested system consists of an integrated development environment and a BPEL nunning environment. BPEL integrated development environment has a BPEL to Java（B2J） engine, which generates and executes a Java workflow program from a BPEL document, and a converter, which converts Java Weaving XML （JWX） documents to Aspect-oriented programs. The new functions are described in JWX, which is Extensive Markup Lan-guage （XML）-based document. Since aspect-oriented programming technique provides the way to modularize main and supplemental requirements, it guarantees the low degree of coupling between BPEL workflow program and new functions by weaving them. Our approach can be extended to add other functions to provide context-aware services.
基金supported by the National Natural Science Foundation of China under Grant No.92582204,No.62577007,and No.62177003the Fundamental Research Funds for the Central Universities under Grant No.JKF-2025011975129.
文摘Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a solid data foundation when attempting to improve the error feedback mechanisms.This paper makes a survey of 834 students across various programming courses and investigates student perceptions of error feedback mechanisms on online programming platforms.It explores the effectiveness of existing feedback,student satisfaction,and preferences for potential improvements,focusing on automatic error localization and program repair mechanisms.Results reveal a significant portion of students are dissatisfied with current feedback due to its limited informativeness.Students also express a clear demand for stronger feedback mechanisms,such as error localization and repair hints.Nevertheless,they prefer feedback that subtly guides them toward solutions,rather than providing direct and explicit answers,valuing the opportunity to enhance their debugging skills.The findings suggest a need for balanced,educational-focused feedback mechanisms that aid learning while promoting independent problem-solving.
基金financially supported by Ministerio de Ciencia e Innovación projects SAF2017-82736-C2-1-R to MTMFin Universidad Autónoma de Madrid and by Fundación Universidad Francisco de Vitoria to JS+2 种基金a predoctoral scholarship from Fundación Universidad Francisco de Vitoriafinancial support from a 6-month contract from Universidad Autónoma de Madrida 3-month contract from the School of Medicine of Universidad Francisco de Vitoria。
文摘Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.
基金The National Natural Science Foundation of China[72174184]provided policy and financialsupport for this research.
文摘Objectives This study aimed to evaluate the effectiveness of the stepped self-care program on the self-care,self-efficacy,and quality of life of stroke survivors.Methods This quasi-experimental study allocated 110 stroke survivors from two neurology wards into an intervention group(n=55)who received the stepped self-care program and a control group(n=55)who received usual care from June to December 2023.The Self-Care of Stroke Inventory,Stroke Self-Efficacy Questionnaire,and the short version of the Stroke Specific Quality of Life Scale were administered at baseline(T0),immediately post-intervention(T_(1)),and at 1-month(T_(2))and 3-month(T_(3))follow-ups.Data were analyzed using repeated measures analyses of variance,and generalized estimating equations.Results A total of 48 participants in the intervention group and 50 participants in the control group completed the study.No statistically significant differences were observed at T0 in any of the measured indicators(all P>0.05).The study showed significant group,time,and group×time interaction effects across the assessed outcomes(all P<0.05).Follow-up between-group comparisons at T_(1),T_(2),and T_(3) indicated that the intervention group had significantly higher scores in self-care maintenance,self-care monitoring,self-care management,self-efficacy,and quality of life than the control group(all P<0.001).Conclusions The stepped self-care program significantly improved self-care behaviors,self-efficacy,and quality of life among stroke survivors.These findings support the broader implementation of this approach in post-discharge home self-care.
基金supported by the National Natural Science Foundation of China(82174513)Fundamental Research Funds for the Central Public Welfare Research Institutes(ZZ-JQ2023003).
文摘To systematically elucidate the central role of the cardiac autonomic nervous system(ANS)in maintaining cardiovascular homeostasis,analyze the pathological mechanisms underlying its dysregulation,integrate multidisciplinary research findings from the U.S.stimulating peripheral nerves to alleviate disease symptoms(SPARC)program,and evaluate the unique advantages and current limitations of acupuncture in modulating cardiac ANS function,ultimately proposing novel strategies for the prevention and treatment of cardiovascular diseases.A systematic literature review was conducted to synthesize current knowledge on the fundamental regulatory mechanisms of the cardiac ANS,the SPARC program's innovative contributions to neuroanatomy and neural pathway mapping,as well as clinical and experimental evidence supporting acupuncture's modulation of the ANS.The SPARC program has made significant progress in elucidating the anatomical organization and neural circuitry of the cardiac ANS through interdisciplinary collaboration,offering novel insights and methodological frameworks for studying cardiac autonomic regulation.Acupuncture,as a cornerstone of traditional medicine,has demonstrated both specificity and multi-target regulatory effects on the cardiac ANS through clinical and experimental studies.However,challenges remain,including an incomplete mechanistic understanding,technical limitations in research methodologies,and difficulties in translating findings into clinical practice.Future research on acupuncture should build upon its inherent strengths while advancing its integration with modern scientific and technological approaches.Strengthening interdisciplinary collaboration and leveraging artificial intelligence can open new frontiers in mechanistic exploration and technological innovation.These efforts will facilitate the internationalization of acupuncture research and contribute innovative perspectives and therapeutic strategies for cardiovascular disease prevention and treatment.
基金Supported by the National Natural Science Foundation of China(Grant Nos.12571317 and 12071133).
文摘In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,we convert the problem(LFP)to the equivalent problem(EP2).Secondly,by applying the linear relaxation technique to the problem(EP2),the linear relaxation programming problem(LRP2Y)was obtained.Then,the overall framework of the algorithm is given,and the convergence and complexity of the algorithm are analyzed.Finally,experimental results are listed to illustrate the effectiveness of the algorithm.
基金support from the National Natural Science Foundation of China(No.12002372)the Young Elite Scientists Sponsorship Program by China Association for Science and Technology(No.2022QNRC001)the Natural Science Foundation of Hunan Province,China(No.2021JJ40674)。
文摘The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programming(LGP)has been developed for a full-scale annular ramjet combustor.The LGP is used to generate control laws that include multi-frequency forcing.These laws are then transformed into square waves to actuate the solenoid valve,which modulates the kerosene supply for open-loop control.The results show that the duty cycle has little effect on instability amplitude,whereas an increase in frequency leads to a remarked reduction in combustion amplitude.After five generations evolvements,the pressure amplitude is reduced by 40.6% under the optimal control law generated by LGP.Furthermore,the machine learning process is depicted using a proximity map of control law similarity,with the search pathway visualized by the steepest descent.All individuals go forward to the upper left corner of the map with the evolution process,terminating at the optimal individual of the fifth generation.
文摘Instrumental and expert assessments were used to assess the effect of massage on facial skin blood perfusion,as well as the effects of the long-term use of the two skin health programs on the water content of the stratum corneum,F4,L^(*),dermal and epidermal thickness and density,facial wrinkles,and so on.Sixty healthy Chinese women were selected as the study subjects,which were subsequently divided into G1 non-massage group and G2 massage group.The results show that massage can increase the blood perfusion of facial skin.Group G2 solution is found to be more effective in improving the skin structural barrier(epidermal density),skin elasticity,firmness(dermal thickness)and forehead wrinkles.
文摘Aiming at the problem of innovative talent training in the industry field in characteristic software colleges,combined with the actual situation of Software College of Northeastern University,this paper analyzes the construction requirements of characteristic talent training mode and training scheme,puts forward the reform of characteristic software innovative talent training scheme integrating production and education,and takes the characteristic direction of financial technology as an example to introduce the curriculum construction based on industry-education integration and school-enterprise cooperation.
基金financially supported by the Natural Science Foundation of Jiangsu Province (No.BK20200709)the Natural Science Foundation of China (Nos.62288102,32201127 and 82270113)+2 种基金the Natural Science Foundation of Guangdong Province (No.2023A1515011386)the Natural Science Foundation of the Jiangsu Higher Education Institutes (No.20KJB430031)the startup fund from Nanjing Tech University,and Disciplinary Fund of School of Pharmaceutical Sciences (2024)。
文摘The field of nanomedicine has been revolutionized by the concept of immunogenic cell death(ICD)-enhanced cancer therapy,which holds immense promise for the efficient treatment of cancer.However,precise delivery of ICD inducer is severely hindered by complex biological barriers.How to design and build intelligent nanoplatform for adaptive and dynamic cancer therapy remains a big challenge.Herein,this article presents the design and preparation of CD44-targeting and ZIF-8 gated gold nanocage(Au@ZH) for programmed delivery of the 1,2-diaminocyclohexane-Pt(Ⅱ)(DACHPt) as ICD inducer.After actively targeting the CD44 on the surface of 4T1 tumor cell,this Pt-Au@ZH can be effectively endocytosed by the 4T1 cell and release the DACHPt in tumor acidic environment,resulting in ICD effect and superior antitumor efficacy both in vitro and in vivo in the presence of mild 808 nm laser irradiation.By integration of internal and external stimuli intelligently,this programmed nanoplatform is poised to become a cornerstone in the pursuit of effective and targeted cancer therapy in the foreseeable future.
基金supported by the National Natural Sci‐ence Foundation of China(Grant No.62306325)。
文摘During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive distance)to a moving target as quickly as possible,resulting in the extended minimum-time intercept problem(EMTIP).Existing research has primarily focused on the zero-distance intercept problem,MTIP,establishing the necessary or sufficient conditions for MTIP optimality,and utilizing analytic algorithms,such as root-finding algorithms,to calculate the optimal solutions.However,these approaches depend heavily on the properties of the analytic algorithm,making them inapplicable when problem settings change,such as in the case of a positive effective range or complicated target motions outside uniform rectilinear motion.In this study,an approach employing a high-accuracy and quality-guaranteed mixed-integer piecewise-linear program(QG-PWL)is proposed for the EMTIP.This program can accommodate different effective interception ranges and complicated target motions(variable velocity or complicated trajectories).The high accuracy and quality guarantees of QG-PWL originate from elegant strategies such as piecewise linearization and other developed operation strategies.The approximate error in the intercept path length is proved to be bounded to h^(2)/(4√2),where h is the piecewise length.
基金supported by the National Natural Science Foundation of China(Nos.52075516,61927814,62325507,and 52122511)the National Key Research and Development Program of China(No.2021YFF0502700)+2 种基金the Major Scientific and Technological Projects in Anhui Province(202103a05020005,202203a05020014)the Students’Innovation and Entrepreneurship Foundation of USTC(CY2022G09)the Hefei Municipal Natural Science Foundation(No.HZR2450)。
文摘Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,complex,untethered,and rapid deformations.However,current MRC-based devices primarily rely on soft matrices,which revert to their original shapes and cease functioning when external magnetic fields are removed.Moreover,their magnetization programming,deformations,and functioning need to alternate between encoding and actuation platforms,limiting the adaptability and efficiency.Here,we present a reprogrammable magnetic shape-memory composite(RM-SMC)integrating a shape-memory polymer(SMP)skeleton with phase-transition magnetic microcapsules.High-intensity laser melts microcapsules for magnetic realignment under programmed fields,while low-intensity laser softens SMP for structural reconfiguration without compromising integrity.This dual-laser strategy facilitates in situ magnetization programming,shape morphing,and function execution within a single material system.Our innovative approach enables unique applications,including omnidirectional multi-degree-of-freedom actuators that can activate light switches,solar trackers that optimize energy capture,and adaptive impellers that modulate fluid pumping.By eliminating platform alternation and enabling shape/function retention post-actuation,the RM-SMC platform overcomes critical limitations in conventional MRCs,establishing a paradigm for multifunctional devices requiring persistent configuration control and field-independent operation.
基金supported by the NSF of China under grants No.61173048 and No.61300041Specialized Research Fund for the Doctoral Program of Higher Education under grant No.20130074110015+2 种基金the Fundamental Research Funds for the Central Universities under Grant No.WH1314038the Humanities and Social Science Research Planning Fund of the Education Ministry of China under grant No.15YJCZH201the Research Innovation Program of Shanghai Municipal Education Commission under grant No.14YZ134
文摘Aspect-oriented modeling can uncover potential design faults,yet most existing work fails to achieve both separation and composition in a natural and succinct way.This study presents an aspect-oriented modeling and analysis approach with hierarchical Coloured Petri Nets(HCPN).HCPN has sub-models and well-defined semantics combining a set of submodels.These two characteristics of HCPN are nicely integrated into aspect oriented modeling.Submodels are used to model aspects while the combination mechanism contributes to aspects weaving.Furthermore,the woven aspect oriented HCPN model can be simulated and analyzed by the CPN Tools.A systematic web application case study is conducted.The results show the system original properties are satisfied after weaving aspects and all design flaws are revealed.As such,the approach can support web application design and analysis in an aspect-oriented fashion concisely and effectively.
基金Project supported by National Natural Science Foundation of China (Grant No .60473063)
文摘To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing traversal features of legacy system is presented based on various unified modeling language （UML） diagrams. While modeling crosscutting concerns in UML use case diagrams, the non-functional requirements that affect several use case modules can be enveloped into aspect modules with a stereotype mechanism. The recurring message transmission patterns can be re-modularized as aspects in UML sequence diagrams with UML collaborations. Standard UML activity diagram notations are extended and modified by node fusion and addition, which support the graphical composition operation between crosscutting behaviors and primary business roles of concurrent systems. Case study indicates that travernal features of software system can be extracted and re-modularized from various perspectives in aspect-oriented reverse engineering, which improves comprehensibility and maintainability of legacy systems.
文摘In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.
基金Supported by the Natural Science Foundation of Gansu Province,No.21JR7RA373 and No.24JRRA295.
文摘BACKGROUND Hepatocellular carcinoma(HCC)is an inflammation-associated tumor with a dismal prognosis.Immunotherapy has become an important treatment strategy for HCC,as immunity is closely related to inflammation in the tumor microenvir-onment.Inflammation regulates the expression of programmed death ligand-1(PD-L1)in the immunosuppressive tumor microenvironment and affects im-munotherapy efficacy.Interleukin-17A(IL-17A)is involved in the remodeling of the tumor microenvironment and plays a protumor or antitumor role in different tumors.We hypothesized that IL-17A participates in tumor progression by affe-cting the level of immune checkpoint molecules in HCC.The upregulation of PD-L1 expression in HCC cells by IL-17A was assessed by reverse transcription PCR,western blotting,and flow cytometry.Mechanistic studies were conducted with gene knockout models and pathway inhibitors.The function of IL-17A in immune evasion was explored through coculture of T cells and HCC cells.The effects of IL-17A on the malignant biological behaviors of HCC cells were evaluated in vitro,and the antitumor effects of an IL-17A inhibitor and its synergistic effects with a PD-L1 inhibitor were studied in vivo.RESULTS IL-17A upregulated PD-L1 expression in HCC cells in a dose-dependent manner,whereas IL-17A receptor knockout or treatment with a small mothers against decapentaplegic 2 inhibitor diminished the PD-L1 expression induced by IL-17A.IL-17A enhanced the survival of HCC cells in the coculture system.IL-17A increased the viability,G2/M ratio,and migration of HCC cells and decreased the apoptotic index.Cyclin D1,VEGF,MMP9,and Bcl-1 expression increased after IL-17A treatment,whereas BAX expression decreased.The combination of IL-17A and PD-L1 inhibitors showed synergistic antitumor efficacy and increased cluster of differentiation 8+T lymphocyte infiltration in an HCC mouse model.CONCLUSION IL-17A upregulates PD-L1 expression via the IL-17A receptor/phosphorylation-small mothers against decapenta-plegic 2 signaling pathway in HCC cells.Blocking IL-17A enhances the therapeutic efficacy of PD-L1 antibodies in HCC in vivo.
