During software development,developers tend to tangle multiple concerns into a single commit,resulting in many composite commits.This paper studies the problem of detecting and untangling composite commits,so as to im...During software development,developers tend to tangle multiple concerns into a single commit,resulting in many composite commits.This paper studies the problem of detecting and untangling composite commits,so as to improve the maintainability and understandability of software.Our approach is built upon the observation that both the textual content of code statements and the dependencies between code statements are helpful in comprehending the code commit.Based on this observation,we first construct an attributed graph for each commit,where code statements and various code dependencies are modeled as nodes and edges,respectively,and the textual bodies of code statements are maintained as node attributes.Based on the attributed graph,we propose graph-based learning algorithms that first detect whether the given commit is a composite commit,and then untangle the composite commit into atomic ones.We evaluate our approach on nine C#projects,and the results demonstrate the effectiveness and efficiency of our approach.展开更多
Developer recommendation is an essential task for resolving incoming issues in the evolution of software. Many developer recommendation techniques have been developed in the literature; among these studies, most techn...Developer recommendation is an essential task for resolving incoming issues in the evolution of software. Many developer recommendation techniques have been developed in the literature; among these studies, most techniques usually combined historical commits as supplementary information with bug repositories and/or source-code repositories to recommend developers. However, the question of whether the messages in historical commits are always useful has not yet been answered. This article aims at solving this problem by conducting an empirical study on four open-source projects. The results show that： （1） the number of meaningful words of the commit description has an impact on the quality of the commit, and a larger number of meaningful words in the description means that it can generally better reflect developers＇ expertise; （2） using commit description to recommend the relevant developers is better than that using relevant files that are recorded in historical commits; （3） developers tend to change the relevant files that they have changed many times before; （4） developers generally tend to change the files that they have changed recently.展开更多
Objectives:This study aimed to assess the reliability and validity of the abbreviated Committed Action Questionnaire(CAQ-8)in a cohort of 1635 Chinese university students.Methods:Participants completed the Chinese ver...Objectives:This study aimed to assess the reliability and validity of the abbreviated Committed Action Questionnaire(CAQ-8)in a cohort of 1635 Chinese university students.Methods:Participants completed the Chinese version of the CAQ-8 along with other standardized measures,including the Acceptance and Action Questionnaire-II(AAQ-II),the Valuing Questionnaire(VQ),the Satisfaction with Life Scale(SWLS),the Depression Anxiety Stress Scales(DASS-21),and the World Health Organization Fiveitem Well-Being Index(WHO-5).A retest was conducted one month later with 300 valid responses.Results:Exploratory factor analysis(n=818)identified a 2-factor structure,confirmed through validated factor analysis(n=817),showing good fit indices(CFI=0.990,RMSEA=0.040).Measurement equivalence across genders was established.The CAQ-8 showed significant positive correlations with life satisfaction,mental health,and values,and negative correlations with depression,anxiety,stress,and experiential avoidance.The scale demonstrated good internal consistency(Cronbach’sα=0.76)and retest reliability(ICC=0.70).Network analysis confirmed the robustness of the 2-factor model,with item 4 in CAQ-8 identified as a core item.Conclusion:The CAQ-8 is a reliable and valid tool for measuring committed action within the psychological flexibility model in Chinese populations.展开更多
Strategic initiative:Entering Oman for a new strategy In 2004,the International Department of CNPC’s BGP took a crucial step in the Middle East market by successfully securing a seismic exploration project for the na...Strategic initiative:Entering Oman for a new strategy In 2004,the International Department of CNPC’s BGP took a crucial step in the Middle East market by successfully securing a seismic exploration project for the national oil company of Oman,Petroleum Development Oman(PDO).展开更多
This study examined the relationships among workplace spirituality,mindfulness,mental well-being,and organizational commitment in professional female dancers.A total of 424 dancers from the United States participated ...This study examined the relationships among workplace spirituality,mindfulness,mental well-being,and organizational commitment in professional female dancers.A total of 424 dancers from the United States participated in the survey.Structural equation modeling indicated that workplace spirituality was positively associated with both mental well-being and organizational commitment,whereas mindfulness was significantly related only to organizational commitment.Mental well-being was a significant predictor of organizational commitment and mediated the relationship between workplace spirituality and organizational commitment,but not between mindfulness and commitment.These results suggest that workplace spirituality functions as a psychological resource that enhances emotional health and strengthens organizational engagement.Thesefindings are consistent with self-determination theory,highlighting the role of value congruence and intrinsic purpose in sustaining motivation in high-performance contexts.Moreover,the studyfindings underscore the importance of fostering spiritually supportive work environments to promote psychological well-being and long-term organizational commitment.展开更多
In the heart of Addis Ababa,where tradition meets modern ambition,a gleaming structure of steel and glass is quietly reshaping Africa’s future.The new Africa Centres for Disease Control and Prevention(Africa CDC)Head...In the heart of Addis Ababa,where tradition meets modern ambition,a gleaming structure of steel and glass is quietly reshaping Africa’s future.The new Africa Centres for Disease Control and Prevention(Africa CDC)Headquarters is more than just a building-it’s a bold statement of partnership,progress,and a shared commitment to advancing public health across the continent.展开更多
In this paper,a strength-constrained unit commitment(UC)model incorporating system strength constraints based on the weighted short-circuit ratio(WSCR)is proposed.This model facilitates the comprehensive assessment of...In this paper,a strength-constrained unit commitment(UC)model incorporating system strength constraints based on the weighted short-circuit ratio(WSCR)is proposed.This model facilitates the comprehensive assessment of area-wide system strength in power systems with high inverter-based resource(IBR)penetration,thereby contributing to the mitigation of weak grid issues.Unlike traditional models,this approach considers the interactions among multiple IBRs.The UC problem is initially formulated as a mixed-integer nonlinear programming(MINLP)model,reflecting WSCR and bus impedance matrix modification constraints.To enhance computational tractability,the model is transformed into a mixed-integer linear programming(MILP)form.The effectiveness of the proposed approach is validated through simulations on the IEEE 5-bus,IEEE 39-bus,and a modified Korean power system,demonstrating the ability of the proposed UC model enhancing system strength compared to the conventional methodologies.展开更多
BACKGROUND Acceptance and commitment therapy(ACT)is a third-generation therapy that appears to be a promising psychological intervention for psychotic disorders.While several systematic reviews and meta-analyses that ...BACKGROUND Acceptance and commitment therapy(ACT)is a third-generation therapy that appears to be a promising psychological intervention for psychotic disorders.While several systematic reviews and meta-analyses that address the efficacy of ACT for psychosis have been conducted,no systematic review has specifically focused on the application of ACT to the early stages of psychosis.AIM To review the state of the art regarding the feasibility and efficacy of treating early psychosis(EP)with ACT-based interventions.METHODS First,we describe the foundations of the ACT model to provide the background required to contextualize the main objective of this review.Second,we searched the PubMed and PsycINFO databases for studies published up to January 2025 and identified eight studies that met our selection criteria.The systematic review was conducted in accordance with the PRISMA guidelines and the critical appraisal checklist provided by the Joanna Briggs Institute for randomized controlled trials(RCTs).RESULTS All studies were published after 2019.Among the reviewed studies,five were RCTs with a total combined sample of 399 nonoverlapping participants.The methodological quality was moderate for RCTs.The results showed that ACTbased treatments are feasible and improve psychotic symptoms,medication adherence,and global functioning in patients with EP.Furthermore,preliminary evidence exists for the benefits of group-based and online-delivered programs and those that combine face-to-face therapy with novel real-time digital interventions,such as“ecological momentary intervention”,to apply therapeutic con cepts to real life.CONCLUSION ACT-based treatments in the early stages of psychosis are feasible and improve symptoms,treatment adherence,and self-care skills.Although promising,these results are inconclusive.Further research is required.展开更多
Background:Restrained eating,often motivated by the desire to control weight,is prevalent among young female college students and is considered a risk factor for eating disorders.Negative evaluation fear,exacerbated b...Background:Restrained eating,often motivated by the desire to control weight,is prevalent among young female college students and is considered a risk factor for eating disorders.Negative evaluation fear,exacerbated by social pressure,peer comparison,and academic stress,has been identified as a potential contributor to restrained eating behavior.However,research exploring the relationship between negative evaluation fear and restrained eating,particularly in the context of self-esteem and physical appearance perfectionism,remains limited.This study aims to investigate these relationships and design an intervention program to reduce restrained eating behaviors in female college students.Methods:Study 1 involved 617 female college students,using the Physical Appearance Perfectionism Scale,Rosenberg Self-Esteem Scale,Fear of Negative Evaluation Scale,and Dutch Eating Behavior Questionnaire to measure key variables.We examined the relationships between physical appearance perfectionism,self-esteem,fear of negative evaluation,and restrained eating.In Study 2,a 4-week group psychological intervention based on Acceptance and Commitment Therapy(ACT)was implemented with 45 students,divided into experimental,control,and placebo groups.The intervention’s effectiveness was assessed in reducing restrained eating and negative evaluation fear.Results:The study found that fear of negative evaluation significantly predicted restrained eating and physical appearance perfectionism.Physical appearance perfectionism,in turn,positively predicted restrained eating and partially mediated the relationship between negative evaluation fear and restrained eating.Self-esteem moderated this mediation effect.Additionally,the ACT-based intervention significantly reduced fear of negative evaluation and restrained eating behavior in the experimental group.Conclusion:This study identifies fear of negative evaluation and physical appearance perfectionism as key predictors of restrained eating in female college students.Fear of negative evaluation significantly predicted restrained eating,with physical appearance perfectionism partially mediating this relationship.The ACT-based intervention effectively reduced both fear of negative evaluation and restrained eating.These findings highlight the importance of addressing negative evaluation fear and appearance perfectionism in interventions for restrained eating.展开更多
BACKGROUND Military personnel frequently face unique psychological challenges due to highstress environments,which increase the risk of mental health issues like anxiety and depression.Acceptance and commitment therap...BACKGROUND Military personnel frequently face unique psychological challenges due to highstress environments,which increase the risk of mental health issues like anxiety and depression.Acceptance and commitment therapy(ACT)has shown potential in addressing these issues by enhancing psychological flexibility and resilience.AIM To systematically evaluate the effectiveness of ACT in improving the mental health of military personnel.Through a scoping review and meta-analysis,we quantitatively assess the impact of ACT on psychological outcomes,guiding future research and clinical practice.METHODS Relevant literature was searched systematically from database inception to June 30,2023,across multiple databases,including PubMed,Web of Science,Cochrane Library,and Embase.The Joanna Briggs Institute's(JBI)scoping review guidelines were used as the methodological framework.Meta-analysis was performed using a random-effects model,and publication bias was assessed through Egger's regression test and Begg's funnel plot.RESULTS Twenty-six studies were included,highlighting the application of ACT in addressing PTSD,chronic pain,anxiety,and depression among military personnel.The meta-analysis of eight studies demonstrated a significant positive effect of ACT on mental health,with a pooled mean difference of-4.99(95%CI:-6.53 to-3.45).Despite high heterogeneity(I^(2)=63%),sensitivity analyses confirmed the robustness of the findings.CONCLUSION This study underscores the potential of ACT as an effective intervention for improving the mental health of military personnel.Future research should focus on large-scale,multi-center RCTs to further validate these findings,particularly within diverse military populations.展开更多
Objectives:College students face increasing mental health challenges.Although Acceptance and CommitmentTherapy(ACT)is effective,the efficacy of Internet-based ACT(iACT)needs further exploration.Methods:This study exam...Objectives:College students face increasing mental health challenges.Although Acceptance and CommitmentTherapy(ACT)is effective,the efficacy of Internet-based ACT(iACT)needs further exploration.Methods:This study examines the efficacy of iACT on college students’mental health through a randomized controlled trial.We recruited 90 college students(19.16±1.02 years old)and randomly divided them into the iACT group,face-to-face ACT group,and control group.The effects of the interventions were evaluated using the comprehensive assessment of ACT processes(CompACT)and the Depression Anxiety Stress Scales(DASS-21).Results:Two-factor repeated measures ANOVA revealed a significant time main effect of iACT.Face-to-face ACT and iACT effectively improved college students’psychological flexibility[F(2,83)=18.78,p<0.001,η^(2)=0.18]and alleviated their negative emotions[F(2,82)=41.17,p<0.001,η^(2)=0.36].Face-to-face ACT exhibited sustained effects on improving participants’psychological flexibility and alleviating their negative emotions(p<0.001),while iACT showed no sustained effect on improving participants’psychological flexibility(p>0.05).Conclusion:While iACT and face-to-face ACT are effective shortterm interventions,face-to-face ACT demonstrates superior sustainability.Integrating guided sessions into iACT may enhance long-term outcomes.These findings advocate for blended interventions to address college students’mental health needs,particularly in resource-limited settings.展开更多
This study aimed to confirm the hierarchical factor structure and the criterion validity of the Brief Mental Flexibility Questionnaire(BMFQ)in the South African context.Three hundred and eighty-five employees from a p...This study aimed to confirm the hierarchical factor structure and the criterion validity of the Brief Mental Flexibility Questionnaire(BMFQ)in the South African context.Three hundred and eighty-five employees from a public institution in South Africa participated in the study.Confirmatory factor analysis affirmed the structural validity of the measure,comprising a general factor of mentalflexibility and six distinct processes consistent with acceptance and commitment therapy(ACT):cognitive,affective,perceptual,attentional,motivational,and behavioralflexibility.Multiple regression analysis revealed differential predictive weights of these dimensions for general mental health,with cognitiveflexibility as the primary predictor.Motivationalflexibility emerged as the strongest predictor of adaptive performance.The BMFQ offers practitioners the ability to measure an individual’s overall mentalflexibility score alongside specificflexibility dimensions,enabling targeted interventions,employee comparisons,and organisational trend analysis.展开更多
To address the excessive complexity of monthly scheduling and the impact of uncertain net load on the chargeable energy of storage,a reduced time-period monthly scheduling model for thermal generators and energy stora...To address the excessive complexity of monthly scheduling and the impact of uncertain net load on the chargeable energy of storage,a reduced time-period monthly scheduling model for thermal generators and energy storage,incorporating daily minimum chargeable energy constraints,was developed.Firstly,considering the variations in the frequency of unit start-ups and shutdowns under different levels of net load fluctuation,a method was proposed to reduce decision time periods for unit start-up and shut-down operations.This approach,based on the characteristics of net load fluctuations,minimizes the decision variables of units,thereby simplifying the monthly schedulingmodel.Secondly,the relationship between energy storage charging and discharging power,net load,and the total maximum/minimum output of units was analyzed.Based on this,daily minimum chargeable energy constraints were established to ensure the energy storage system meets charging requirements under extreme net load scenarios.Finally,taking into account the operational costs of thermal generators and energy storage,load loss costs,and operational constraints,the reduced time-period monthly schedulingmodel was constructed.Case studies demonstrate that the proposedmethod effectively generates economical monthly operation plans for thermal generators and energy storage,significantly reduces model solution time,and satisfies the charging requirements of energy storage under extreme net load conditions.展开更多
This paper examines the application of the Verkle tree—an efficient data structure that leverages commitments and a novel proof technique in cryptographic solutions.Unlike traditional Merkle trees,the Verkle tree sig...This paper examines the application of the Verkle tree—an efficient data structure that leverages commitments and a novel proof technique in cryptographic solutions.Unlike traditional Merkle trees,the Verkle tree significantly reduces signature size by utilizing polynomial and vector commitments.Compact proofs also accelerate the verification process,reducing computational overhead,which makes Verkle trees particularly useful.The study proposes a new approach based on a non-positional polynomial notation(NPN)employing the Chinese Remainder Theorem(CRT).CRT enables efficient data representation and verification by decomposing data into smaller,indepen-dent components,simplifying computations,reducing overhead,and enhancing scalability.This technique facilitates parallel data processing,which is especially advantageous in cryptographic applications such as commitment and proof construction in Verkle trees,as well as in systems with constrained computational resources.Theoretical foundations of the approach,its advantages,and practical implementation aspects are explored,including resistance to potential attacks,application domains,and a comparative analysis with existing methods based on well-known parameters and characteristics.An analysis of potential attacks and vulnerabilities,including greatest common divisor(GCD)attacks,approximate multiple attacks(LLL lattice-based),brute-force search for irreducible polynomials,and the estimation of their total number,indicates that no vulnerabilities have been identified in the proposed method thus far.Furthermore,the study demonstrates that integrating CRT with Verkle trees ensures high scalability,making this approach promising for blockchain systems and other distributed systems requiring compact and efficient proofs.展开更多
Xi Jinping’s Southeast Asia visit deepens shared commitment to neighborhood amity,cooperation Chinese President Xi Jinping’s recent visit to Southeast Asia,his first overseas trip this year,highlighted China’s dedi...Xi Jinping’s Southeast Asia visit deepens shared commitment to neighborhood amity,cooperation Chinese President Xi Jinping’s recent visit to Southeast Asia,his first overseas trip this year,highlighted China’s dedication to deepening traditional ties,expanding practical cooperation and advancing its vision of building a community with a shared future with its neighbors.展开更多
1 Introduction Software evolves with the code change,including fixing the vulnerabilities,refactoring the software and adding new functions.Particularly,developers from open-source projects often look for the informat...1 Introduction Software evolves with the code change,including fixing the vulnerabilities,refactoring the software and adding new functions.Particularly,developers from open-source projects often look for the information of inducing commits when devising the fixing patches of a vulnerability[1].In the process of fixing the current vulnerabilities,it is inevitable to introduce new vulnerabilities.As is shown in Fig.1,after vulnerability1 occurs,developers committed the code changes to fix vulnerability1,but cause vulnerability2.In this paper,commits that introduce new vulnerabilities are called vulnerability-inducing commits,and commits that finally fix the vulnerability are known as vulnerability-fixing commits.In the following,they are abbreviated as vul-inducing commits and vul-fixing commits,respectively.展开更多
With the development of Industry 4.0 and big data technology,the Industrial Internet of Things(IIoT)is hampered by inherent issues such as privacy,security,and fault tolerance,which pose certain challenges to the rapi...With the development of Industry 4.0 and big data technology,the Industrial Internet of Things(IIoT)is hampered by inherent issues such as privacy,security,and fault tolerance,which pose certain challenges to the rapid development of IIoT.Blockchain technology has immutability,decentralization,and autonomy,which can greatly improve the inherent defects of the IIoT.In the traditional blockchain,data is stored in a Merkle tree.As data continues to grow,the scale of proofs used to validate it grows,threatening the efficiency,security,and reliability of blockchain-based IIoT.Accordingly,this paper first analyzes the inefficiency of the traditional blockchain structure in verifying the integrity and correctness of data.To solve this problem,a new Vector Commitment(VC)structure,Partition Vector Commitment(PVC),is proposed by improving the traditional VC structure.Secondly,this paper uses PVC instead of the Merkle tree to store big data generated by IIoT.PVC can improve the efficiency of traditional VC in the process of commitment and opening.Finally,this paper uses PVC to build a blockchain-based IIoT data security storage mechanism and carries out a comparative analysis of experiments.This mechanism can greatly reduce communication loss and maximize the rational use of storage space,which is of great significance for maintaining the security and stability of blockchain-based IIoT.展开更多
Stochastic unit commitment is one of the most powerful methods to address uncertainty. However, the existingscenario clustering technique for stochastic unit commitment cannot accurately select representative scenario...Stochastic unit commitment is one of the most powerful methods to address uncertainty. However, the existingscenario clustering technique for stochastic unit commitment cannot accurately select representative scenarios,which threatens the robustness of stochastic unit commitment and hinders its application. This paper providesa stochastic unit commitment with dynamic scenario clustering based on multi-parametric programming andBenders decomposition. The stochastic unit commitment is solved via the Benders decomposition, which decouplesthe primal problem into the master problem and two types of subproblems. In the master problem, the committedgenerator is determined, while the feasibility and optimality of generator output are checked in these twosubproblems. Scenarios are dynamically clustered during the subproblem solution process through the multiparametric programming with respect to the solution of the master problem. In other words, multiple scenariosare clustered into several representative scenarios after the subproblem is solved, and the Benders cut obtainedby the representative scenario is generated for the master problem. Different from the conventional stochasticunit commitment, the proposed approach integrates scenario clustering into the Benders decomposition solutionprocess. Such a clustering approach could accurately cluster representative scenarios that have impacts on theunit commitment. The proposed method is tested on a 6-bus system and the modified IEEE 118-bus system.Numerical results illustrate the effectiveness of the proposed method in clustering scenarios. Compared withthe conventional clustering method, the proposed method can accurately select representative scenarios whilemitigating computational burden, thus guaranteeing the robustness of unit commitment.展开更多
Background:Exercise procrastination is prevalent among college students,causing decline in physical fitness.It is imperative to investigate the mechanism affecting college students’physical activity behaviors.This st...Background:Exercise procrastination is prevalent among college students,causing decline in physical fitness.It is imperative to investigate the mechanism affecting college students’physical activity behaviors.This study was aimed at investigating the effect of procrastination on college students’physical exercise behavior,and the chain mediation effects of exercise commitment and action control(AC),to provide a theoretical basis for interventions targeting physical exercise behavior among college students.Methods:A questionnaire survey was conducted using convenience sampling.The General Procrastination Scale,Exercise Commitment Scale,Action Control Scale,and Physical Activity Rating Scale-3 questionnaires were used.Participants were 581 college students(age 19.27±0.94 years;243 males and 338 females).Statistical methods of regression analysis and structural equation modeling(SEM)were applied.Results:Procrastination,exercise commitment,and action control were found to be significant predictors of physical exercise behavior.Among these predictors,exercise commitment and action control showed full mediation effects in the relationship between procrastination and physical exercise behavior,and explained 25.48%and 30.77%of the total variance,respectively.The chain mediation effect of exercise commitment-action control was significant,accounting for 22.60%of the total variance,and the total indirect effect was 79.33%.Conclusion:Therefore,higher procrastination was associated with less participation in physical exercise behavior among college students.Improvements in exercise commitment and volitional decision-making ability for physical exercise behavior promoted physical exercise behavior,and increased exercise commitment promoted volitional decision-making ability among the students.The chain reaction effect of exercise commitment and action control also buffered the negative effects of procrastination on physical exercise behavior,thereby increasing physical exercise behavior among college students.展开更多
As we welcome the new year,it is my pleasure to reach out to editorial members,reviewers,and readers of the Journal of Automation and Intelligence(JAI).Our journey in the past year has been nothing short of impressive...As we welcome the new year,it is my pleasure to reach out to editorial members,reviewers,and readers of the Journal of Automation and Intelligence(JAI).Our journey in the past year has been nothing short of impressive,marked by significant achievements and a steadfast commitment to excellence in the realms of Automation and Artificial Intelligence.展开更多
基金supported by the National Natural Science Foundation of China under Grant No.62025202the Fundamental Research Funds for the Central Universities under Grant No.020214380102.
文摘During software development,developers tend to tangle multiple concerns into a single commit,resulting in many composite commits.This paper studies the problem of detecting and untangling composite commits,so as to improve the maintainability and understandability of software.Our approach is built upon the observation that both the textual content of code statements and the dependencies between code statements are helpful in comprehending the code commit.Based on this observation,we first construct an attributed graph for each commit,where code statements and various code dependencies are modeled as nodes and edges,respectively,and the textual bodies of code statements are maintained as node attributes.Based on the attributed graph,we propose graph-based learning algorithms that first detect whether the given commit is a composite commit,and then untangle the composite commit into atomic ones.We evaluate our approach on nine C#projects,and the results demonstrate the effectiveness and efficiency of our approach.
基金This work was partially supported by the National Natural Science Foundation of China （Grant Nos. 61402396, 61611540347, and 61472344）, the Open Project Foundation of Information Technology Research Base of Civil Aviation Administration of China （CAAC-ITRB- 201704）, the Open Funds of the State Key Laboratory for Novel Software Technology of Nanjing University （KFKT2016B21）, the Jiangsu Qin Lan Project, the China Postdoctoral Science Foundation （2015M571489）, and the Natural Science Foundation of Yangzhou City （YZ2017113）. The authors would like to sincerely thank the anonymous reviewers who provided useful suggestions that helped to improve the article.
文摘Developer recommendation is an essential task for resolving incoming issues in the evolution of software. Many developer recommendation techniques have been developed in the literature; among these studies, most techniques usually combined historical commits as supplementary information with bug repositories and/or source-code repositories to recommend developers. However, the question of whether the messages in historical commits are always useful has not yet been answered. This article aims at solving this problem by conducting an empirical study on four open-source projects. The results show that： （1） the number of meaningful words of the commit description has an impact on the quality of the commit, and a larger number of meaningful words in the description means that it can generally better reflect developers＇ expertise; （2） using commit description to recommend the relevant developers is better than that using relevant files that are recorded in historical commits; （3） developers tend to change the relevant files that they have changed many times before; （4） developers generally tend to change the files that they have changed recently.
文摘Objectives:This study aimed to assess the reliability and validity of the abbreviated Committed Action Questionnaire(CAQ-8)in a cohort of 1635 Chinese university students.Methods:Participants completed the Chinese version of the CAQ-8 along with other standardized measures,including the Acceptance and Action Questionnaire-II(AAQ-II),the Valuing Questionnaire(VQ),the Satisfaction with Life Scale(SWLS),the Depression Anxiety Stress Scales(DASS-21),and the World Health Organization Fiveitem Well-Being Index(WHO-5).A retest was conducted one month later with 300 valid responses.Results:Exploratory factor analysis(n=818)identified a 2-factor structure,confirmed through validated factor analysis(n=817),showing good fit indices(CFI=0.990,RMSEA=0.040).Measurement equivalence across genders was established.The CAQ-8 showed significant positive correlations with life satisfaction,mental health,and values,and negative correlations with depression,anxiety,stress,and experiential avoidance.The scale demonstrated good internal consistency(Cronbach’sα=0.76)and retest reliability(ICC=0.70).Network analysis confirmed the robustness of the 2-factor model,with item 4 in CAQ-8 identified as a core item.Conclusion:The CAQ-8 is a reliable and valid tool for measuring committed action within the psychological flexibility model in Chinese populations.
文摘Strategic initiative:Entering Oman for a new strategy In 2004,the International Department of CNPC’s BGP took a crucial step in the Middle East market by successfully securing a seismic exploration project for the national oil company of Oman,Petroleum Development Oman(PDO).
文摘This study examined the relationships among workplace spirituality,mindfulness,mental well-being,and organizational commitment in professional female dancers.A total of 424 dancers from the United States participated in the survey.Structural equation modeling indicated that workplace spirituality was positively associated with both mental well-being and organizational commitment,whereas mindfulness was significantly related only to organizational commitment.Mental well-being was a significant predictor of organizational commitment and mediated the relationship between workplace spirituality and organizational commitment,but not between mindfulness and commitment.These results suggest that workplace spirituality functions as a psychological resource that enhances emotional health and strengthens organizational engagement.Thesefindings are consistent with self-determination theory,highlighting the role of value congruence and intrinsic purpose in sustaining motivation in high-performance contexts.Moreover,the studyfindings underscore the importance of fostering spiritually supportive work environments to promote psychological well-being and long-term organizational commitment.
文摘In the heart of Addis Ababa,where tradition meets modern ambition,a gleaming structure of steel and glass is quietly reshaping Africa’s future.The new Africa Centres for Disease Control and Prevention(Africa CDC)Headquarters is more than just a building-it’s a bold statement of partnership,progress,and a shared commitment to advancing public health across the continent.
基金partially supported by Korea Electrotechnology Research Institute(KERI)Primary research program through the National Research Council of Science&Technology(NST)funded by the Ministry of Science and ICT(MSIT)(No.25A01038)partially supported by the National Research Foundation of Korea(NRF)grant funded by the Korea government(MSIT)(No.RS-2024-00218377).
文摘In this paper,a strength-constrained unit commitment(UC)model incorporating system strength constraints based on the weighted short-circuit ratio(WSCR)is proposed.This model facilitates the comprehensive assessment of area-wide system strength in power systems with high inverter-based resource(IBR)penetration,thereby contributing to the mitigation of weak grid issues.Unlike traditional models,this approach considers the interactions among multiple IBRs.The UC problem is initially formulated as a mixed-integer nonlinear programming(MINLP)model,reflecting WSCR and bus impedance matrix modification constraints.To enhance computational tractability,the model is transformed into a mixed-integer linear programming(MILP)form.The effectiveness of the proposed approach is validated through simulations on the IEEE 5-bus,IEEE 39-bus,and a modified Korean power system,demonstrating the ability of the proposed UC model enhancing system strength compared to the conventional methodologies.
文摘BACKGROUND Acceptance and commitment therapy(ACT)is a third-generation therapy that appears to be a promising psychological intervention for psychotic disorders.While several systematic reviews and meta-analyses that address the efficacy of ACT for psychosis have been conducted,no systematic review has specifically focused on the application of ACT to the early stages of psychosis.AIM To review the state of the art regarding the feasibility and efficacy of treating early psychosis(EP)with ACT-based interventions.METHODS First,we describe the foundations of the ACT model to provide the background required to contextualize the main objective of this review.Second,we searched the PubMed and PsycINFO databases for studies published up to January 2025 and identified eight studies that met our selection criteria.The systematic review was conducted in accordance with the PRISMA guidelines and the critical appraisal checklist provided by the Joanna Briggs Institute for randomized controlled trials(RCTs).RESULTS All studies were published after 2019.Among the reviewed studies,five were RCTs with a total combined sample of 399 nonoverlapping participants.The methodological quality was moderate for RCTs.The results showed that ACTbased treatments are feasible and improve psychotic symptoms,medication adherence,and global functioning in patients with EP.Furthermore,preliminary evidence exists for the benefits of group-based and online-delivered programs and those that combine face-to-face therapy with novel real-time digital interventions,such as“ecological momentary intervention”,to apply therapeutic con cepts to real life.CONCLUSION ACT-based treatments in the early stages of psychosis are feasible and improve symptoms,treatment adherence,and self-care skills.Although promising,these results are inconclusive.Further research is required.
文摘Background:Restrained eating,often motivated by the desire to control weight,is prevalent among young female college students and is considered a risk factor for eating disorders.Negative evaluation fear,exacerbated by social pressure,peer comparison,and academic stress,has been identified as a potential contributor to restrained eating behavior.However,research exploring the relationship between negative evaluation fear and restrained eating,particularly in the context of self-esteem and physical appearance perfectionism,remains limited.This study aims to investigate these relationships and design an intervention program to reduce restrained eating behaviors in female college students.Methods:Study 1 involved 617 female college students,using the Physical Appearance Perfectionism Scale,Rosenberg Self-Esteem Scale,Fear of Negative Evaluation Scale,and Dutch Eating Behavior Questionnaire to measure key variables.We examined the relationships between physical appearance perfectionism,self-esteem,fear of negative evaluation,and restrained eating.In Study 2,a 4-week group psychological intervention based on Acceptance and Commitment Therapy(ACT)was implemented with 45 students,divided into experimental,control,and placebo groups.The intervention’s effectiveness was assessed in reducing restrained eating and negative evaluation fear.Results:The study found that fear of negative evaluation significantly predicted restrained eating and physical appearance perfectionism.Physical appearance perfectionism,in turn,positively predicted restrained eating and partially mediated the relationship between negative evaluation fear and restrained eating.Self-esteem moderated this mediation effect.Additionally,the ACT-based intervention significantly reduced fear of negative evaluation and restrained eating behavior in the experimental group.Conclusion:This study identifies fear of negative evaluation and physical appearance perfectionism as key predictors of restrained eating in female college students.Fear of negative evaluation significantly predicted restrained eating,with physical appearance perfectionism partially mediating this relationship.The ACT-based intervention effectively reduced both fear of negative evaluation and restrained eating.These findings highlight the importance of addressing negative evaluation fear and appearance perfectionism in interventions for restrained eating.
文摘BACKGROUND Military personnel frequently face unique psychological challenges due to highstress environments,which increase the risk of mental health issues like anxiety and depression.Acceptance and commitment therapy(ACT)has shown potential in addressing these issues by enhancing psychological flexibility and resilience.AIM To systematically evaluate the effectiveness of ACT in improving the mental health of military personnel.Through a scoping review and meta-analysis,we quantitatively assess the impact of ACT on psychological outcomes,guiding future research and clinical practice.METHODS Relevant literature was searched systematically from database inception to June 30,2023,across multiple databases,including PubMed,Web of Science,Cochrane Library,and Embase.The Joanna Briggs Institute's(JBI)scoping review guidelines were used as the methodological framework.Meta-analysis was performed using a random-effects model,and publication bias was assessed through Egger's regression test and Begg's funnel plot.RESULTS Twenty-six studies were included,highlighting the application of ACT in addressing PTSD,chronic pain,anxiety,and depression among military personnel.The meta-analysis of eight studies demonstrated a significant positive effect of ACT on mental health,with a pooled mean difference of-4.99(95%CI:-6.53 to-3.45).Despite high heterogeneity(I^(2)=63%),sensitivity analyses confirmed the robustness of the findings.CONCLUSION This study underscores the potential of ACT as an effective intervention for improving the mental health of military personnel.Future research should focus on large-scale,multi-center RCTs to further validate these findings,particularly within diverse military populations.
基金funded by the Education and Teaching Reform Research Major Project of Anhui Province(2022xqhz023)(2023sx170).
文摘Objectives:College students face increasing mental health challenges.Although Acceptance and CommitmentTherapy(ACT)is effective,the efficacy of Internet-based ACT(iACT)needs further exploration.Methods:This study examines the efficacy of iACT on college students’mental health through a randomized controlled trial.We recruited 90 college students(19.16±1.02 years old)and randomly divided them into the iACT group,face-to-face ACT group,and control group.The effects of the interventions were evaluated using the comprehensive assessment of ACT processes(CompACT)and the Depression Anxiety Stress Scales(DASS-21).Results:Two-factor repeated measures ANOVA revealed a significant time main effect of iACT.Face-to-face ACT and iACT effectively improved college students’psychological flexibility[F(2,83)=18.78,p<0.001,η^(2)=0.18]and alleviated their negative emotions[F(2,82)=41.17,p<0.001,η^(2)=0.36].Face-to-face ACT exhibited sustained effects on improving participants’psychological flexibility and alleviating their negative emotions(p<0.001),while iACT showed no sustained effect on improving participants’psychological flexibility(p>0.05).Conclusion:While iACT and face-to-face ACT are effective shortterm interventions,face-to-face ACT demonstrates superior sustainability.Integrating guided sessions into iACT may enhance long-term outcomes.These findings advocate for blended interventions to address college students’mental health needs,particularly in resource-limited settings.
文摘This study aimed to confirm the hierarchical factor structure and the criterion validity of the Brief Mental Flexibility Questionnaire(BMFQ)in the South African context.Three hundred and eighty-five employees from a public institution in South Africa participated in the study.Confirmatory factor analysis affirmed the structural validity of the measure,comprising a general factor of mentalflexibility and six distinct processes consistent with acceptance and commitment therapy(ACT):cognitive,affective,perceptual,attentional,motivational,and behavioralflexibility.Multiple regression analysis revealed differential predictive weights of these dimensions for general mental health,with cognitiveflexibility as the primary predictor.Motivationalflexibility emerged as the strongest predictor of adaptive performance.The BMFQ offers practitioners the ability to measure an individual’s overall mentalflexibility score alongside specificflexibility dimensions,enabling targeted interventions,employee comparisons,and organisational trend analysis.
基金This study was supported by State Grid Corporation headquarters technology project(4000-202399368A-2-2-ZB).
文摘To address the excessive complexity of monthly scheduling and the impact of uncertain net load on the chargeable energy of storage,a reduced time-period monthly scheduling model for thermal generators and energy storage,incorporating daily minimum chargeable energy constraints,was developed.Firstly,considering the variations in the frequency of unit start-ups and shutdowns under different levels of net load fluctuation,a method was proposed to reduce decision time periods for unit start-up and shut-down operations.This approach,based on the characteristics of net load fluctuations,minimizes the decision variables of units,thereby simplifying the monthly schedulingmodel.Secondly,the relationship between energy storage charging and discharging power,net load,and the total maximum/minimum output of units was analyzed.Based on this,daily minimum chargeable energy constraints were established to ensure the energy storage system meets charging requirements under extreme net load scenarios.Finally,taking into account the operational costs of thermal generators and energy storage,load loss costs,and operational constraints,the reduced time-period monthly schedulingmodel was constructed.Case studies demonstrate that the proposedmethod effectively generates economical monthly operation plans for thermal generators and energy storage,significantly reduces model solution time,and satisfies the charging requirements of energy storage under extreme net load conditions.
基金funded by the Ministry of Science and Higher Education of Kazakhstan and carried out within the framework of the project AP23488112“Development and study of a quantum-resistant digital signature scheme based on a Verkle tree”at the Institute of Information and Computational Technologies.
文摘This paper examines the application of the Verkle tree—an efficient data structure that leverages commitments and a novel proof technique in cryptographic solutions.Unlike traditional Merkle trees,the Verkle tree significantly reduces signature size by utilizing polynomial and vector commitments.Compact proofs also accelerate the verification process,reducing computational overhead,which makes Verkle trees particularly useful.The study proposes a new approach based on a non-positional polynomial notation(NPN)employing the Chinese Remainder Theorem(CRT).CRT enables efficient data representation and verification by decomposing data into smaller,indepen-dent components,simplifying computations,reducing overhead,and enhancing scalability.This technique facilitates parallel data processing,which is especially advantageous in cryptographic applications such as commitment and proof construction in Verkle trees,as well as in systems with constrained computational resources.Theoretical foundations of the approach,its advantages,and practical implementation aspects are explored,including resistance to potential attacks,application domains,and a comparative analysis with existing methods based on well-known parameters and characteristics.An analysis of potential attacks and vulnerabilities,including greatest common divisor(GCD)attacks,approximate multiple attacks(LLL lattice-based),brute-force search for irreducible polynomials,and the estimation of their total number,indicates that no vulnerabilities have been identified in the proposed method thus far.Furthermore,the study demonstrates that integrating CRT with Verkle trees ensures high scalability,making this approach promising for blockchain systems and other distributed systems requiring compact and efficient proofs.
文摘Xi Jinping’s Southeast Asia visit deepens shared commitment to neighborhood amity,cooperation Chinese President Xi Jinping’s recent visit to Southeast Asia,his first overseas trip this year,highlighted China’s dedication to deepening traditional ties,expanding practical cooperation and advancing its vision of building a community with a shared future with its neighbors.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.61872312,61972335,and 62002309)the Natural Science Foundation of the Jiangsu Higher Education Institutions of China(20KJB520016)the Innovation(Science and Technology)Project of Scientific Research Base of Nanjing University of Aeronautics and Astronautics(NJ2020022).
文摘1 Introduction Software evolves with the code change,including fixing the vulnerabilities,refactoring the software and adding new functions.Particularly,developers from open-source projects often look for the information of inducing commits when devising the fixing patches of a vulnerability[1].In the process of fixing the current vulnerabilities,it is inevitable to introduce new vulnerabilities.As is shown in Fig.1,after vulnerability1 occurs,developers committed the code changes to fix vulnerability1,but cause vulnerability2.In this paper,commits that introduce new vulnerabilities are called vulnerability-inducing commits,and commits that finally fix the vulnerability are known as vulnerability-fixing commits.In the following,they are abbreviated as vul-inducing commits and vul-fixing commits,respectively.
基金supported by China’s National Natural Science Foundation(Nos.62072249,62072056)This work is also funded by the National Science Foundation of Hunan Province(2020JJ2029).
文摘With the development of Industry 4.0 and big data technology,the Industrial Internet of Things(IIoT)is hampered by inherent issues such as privacy,security,and fault tolerance,which pose certain challenges to the rapid development of IIoT.Blockchain technology has immutability,decentralization,and autonomy,which can greatly improve the inherent defects of the IIoT.In the traditional blockchain,data is stored in a Merkle tree.As data continues to grow,the scale of proofs used to validate it grows,threatening the efficiency,security,and reliability of blockchain-based IIoT.Accordingly,this paper first analyzes the inefficiency of the traditional blockchain structure in verifying the integrity and correctness of data.To solve this problem,a new Vector Commitment(VC)structure,Partition Vector Commitment(PVC),is proposed by improving the traditional VC structure.Secondly,this paper uses PVC instead of the Merkle tree to store big data generated by IIoT.PVC can improve the efficiency of traditional VC in the process of commitment and opening.Finally,this paper uses PVC to build a blockchain-based IIoT data security storage mechanism and carries out a comparative analysis of experiments.This mechanism can greatly reduce communication loss and maximize the rational use of storage space,which is of great significance for maintaining the security and stability of blockchain-based IIoT.
基金the Science and Technology Project of State Grid Corporation of China,Grant Number 5108-202304065A-1-1-ZN.
文摘Stochastic unit commitment is one of the most powerful methods to address uncertainty. However, the existingscenario clustering technique for stochastic unit commitment cannot accurately select representative scenarios,which threatens the robustness of stochastic unit commitment and hinders its application. This paper providesa stochastic unit commitment with dynamic scenario clustering based on multi-parametric programming andBenders decomposition. The stochastic unit commitment is solved via the Benders decomposition, which decouplesthe primal problem into the master problem and two types of subproblems. In the master problem, the committedgenerator is determined, while the feasibility and optimality of generator output are checked in these twosubproblems. Scenarios are dynamically clustered during the subproblem solution process through the multiparametric programming with respect to the solution of the master problem. In other words, multiple scenariosare clustered into several representative scenarios after the subproblem is solved, and the Benders cut obtainedby the representative scenario is generated for the master problem. Different from the conventional stochasticunit commitment, the proposed approach integrates scenario clustering into the Benders decomposition solutionprocess. Such a clustering approach could accurately cluster representative scenarios that have impacts on theunit commitment. The proposed method is tested on a 6-bus system and the modified IEEE 118-bus system.Numerical results illustrate the effectiveness of the proposed method in clustering scenarios. Compared withthe conventional clustering method, the proposed method can accurately select representative scenarios whilemitigating computational burden, thus guaranteeing the robustness of unit commitment.
文摘Background:Exercise procrastination is prevalent among college students,causing decline in physical fitness.It is imperative to investigate the mechanism affecting college students’physical activity behaviors.This study was aimed at investigating the effect of procrastination on college students’physical exercise behavior,and the chain mediation effects of exercise commitment and action control(AC),to provide a theoretical basis for interventions targeting physical exercise behavior among college students.Methods:A questionnaire survey was conducted using convenience sampling.The General Procrastination Scale,Exercise Commitment Scale,Action Control Scale,and Physical Activity Rating Scale-3 questionnaires were used.Participants were 581 college students(age 19.27±0.94 years;243 males and 338 females).Statistical methods of regression analysis and structural equation modeling(SEM)were applied.Results:Procrastination,exercise commitment,and action control were found to be significant predictors of physical exercise behavior.Among these predictors,exercise commitment and action control showed full mediation effects in the relationship between procrastination and physical exercise behavior,and explained 25.48%and 30.77%of the total variance,respectively.The chain mediation effect of exercise commitment-action control was significant,accounting for 22.60%of the total variance,and the total indirect effect was 79.33%.Conclusion:Therefore,higher procrastination was associated with less participation in physical exercise behavior among college students.Improvements in exercise commitment and volitional decision-making ability for physical exercise behavior promoted physical exercise behavior,and increased exercise commitment promoted volitional decision-making ability among the students.The chain reaction effect of exercise commitment and action control also buffered the negative effects of procrastination on physical exercise behavior,thereby increasing physical exercise behavior among college students.
文摘As we welcome the new year,it is my pleasure to reach out to editorial members,reviewers,and readers of the Journal of Automation and Intelligence(JAI).Our journey in the past year has been nothing short of impressive,marked by significant achievements and a steadfast commitment to excellence in the realms of Automation and Artificial Intelligence.
