ABSTRACT We are concerned with the theorem proving in annotated logics. By using annotated polynomials to express knowledge, we develop an inference rule superposition. A proof procedure is thus presented, and an improvement named M- strategy is mainly described. This proof procedure uses single overlaps instead of multiple overlaps, and above all, both the proof procedure and M-strategy are refutationally complete.

BackgroundSmartphone addiction has become a social problem that affects peoples’ quality of life and is frequently reported to be correlated with alexithymia, avoidant or anxious attachment styles, and subjective well-being. This study aimed to investigate the relationship between SA and alexithymia, attachment style, and subjective well-being.MethodsA meta-analysis was conducted following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines. The following electronic databases were searched: PubMed, Web of Science, Embase, PsycINFO, PsycArticles, China National Knowledge Infrastructure, WANFANG DATA, and Chongqing (...) VIP Information Co., Ltd.. Stata 16.0 was used to analyze the overall effect and test the moderating effect.ResultsOne hundred and ten studies were included, involving a total of 96,680 participants. SA had a significantly high positive correlation with alexithymia, attachment anxiety, and negative emotions, and a low positive correlation with attachment avoidance. In addition, there was a high negative correlation between SA and subjective well-being and a low negative correlation between SA, life satisfaction, and positive emotions. A moderation analysis revealed that age significantly moderated the relationship between SA and positive emotions. The tools for measuring SA significantly moderated the relationship between SA, alexithymia, attachment anxiety, and subjective well-being. Meanwhile, subjective well-being measurement tools significantly moderated the relationships between SA, subjective well-being, and negative emotions.ConclusionSA was closely related to alexithymia, attachment style, and subjective well-being. In the future, longitudinal research can be conducted to better investigate the dynamic changes in the relationship between them.Systematic review registration[www.crd.york.ac.uk/PROSPERO/], identifier [CRD42022334798]. (shrink)

Previous research has demonstrated that duration of implied motion (IM) was dilated, whereas hMT+ activity related to perceptual processes on IM stimuli could be modulated by their motion coherence. Based on these findings, the present study aimed to examine whether subjective time perception of IM stimuli would be influenced by varying coherence levels. A temporal bisection task was used to measure the subjective experience of time, in which photographic stimuli showing a human moving in four directions (left, right, toward, or (...) away from the viewer) were presented as probe stimuli. The varying coherence of these IM stimuli was manipulated by changing the percentage of pictures implying movement in one direction. Participants were required to judge whether the duration of probe stimulus was more similar to the long or short pre-presented standard duration. As predicted, the point of subjective equality was significantly modulated by the varying coherence of the IM stimuli, but not for no-IM stimuli. This finding suggests that coherence level might be a key mediating factor for perceived duration of IM images, and top-down perceptual stream from inferred motion could influence subjective experience of time perception. (shrink)

Teachers have been regarded for many years as one of the most impactful elements with a significant function in educational and learning contexts. Several studies have been conducted on teachers and their performances in the classes. Positive psychology has focused on both the constructive and deconstructive feelings that teachers encounter in the process of teaching. Among the investigated elements, enjoyment anger, and anxiety can be regarded more significant in the relevant literature. The current research, thus, clarifies their association and connection (...) with Chinese language educators’ resilience. To this end, 464 male and female Chinese EFL teachers participated in the present study, and their enjoyment, anger, anxiety, and resilience were inspected by completing the associated questionnaires. The data analysis indicated that there is a substantial correlation between teachers’ resilience and their emotions. Similarly, it is concluded that the best predictor of teachers’ resilience is enjoyment. Also, some academic suggestions for the study regarding the development of teachers’ resilience in educational situations are proposed. (shrink)

Students often face difficulties and experience negative emotions toward second language learning. The affective tutoring system is a next-generation learning approach that can detect the affective status of learning to increase performance. Therefore, for the purposes of this study, an innovative affective mobile language tutoring system was designed to support Japanese language learning. The effects of AMLTS, along with asynchronous discussion, that were intended to improve performance, were examined using a triangulation method. To investigate the effect on emotion, the proposed (...) AMLTS provides a virtual emotion agent that can interact with users and record emotional events, learning assessments, and the results of the interaction into a database. Learning effectiveness evaluations were conducted via two experiments: prototype evaluation and final evaluation. Sixty-three students, all beginners, were invited to use the AMLTS to learn Japanese. The research results show that the proposed AMLTS affective interaction design significantly improves learner engagement and performance. In the emotion feedback analysis and learning process, AMLTS helped students deepen their understanding of the content, enabled them to clearly understand the content, and to engage in peer interaction and experience positive emotions. In the evaluation of system usability, AMLTS reveals good usability for foreign language acquisition. (shrink)

Both glycemic control and handgrip strength affect microvascular function. Multiscale entropy of photoplethysmographic pulse amplitudes may differ by diabetes status and hand activity. Of a middle-to-old aged and right-handed cohort without clinical cardiovascular disease, we controlled age, sex, and weight to select the unaffected,the well-controlled diabetes, and the poorly controlled diabetes groups. MSEs were calculated from consecutive 1,500 PPG pulse amplitudes of bilateral index fingertips. Thesmall-, medium-,and large-scale MSEs were defined as the average of scale 1, scales 2–4, and scales (...) 5–10, respectively. Intra- and intergroups were compared by one- and two-samplet-tests, respectively. The dominant handMSE5–10was lower in the poorly controlled diabetes group than the well-controlled diabetes and the unaffected groups, whereas the nondominant handMSE5–10was lower in the well- and poorly controlled diabetes groups than the unaffected group. TheMSE1of dominant hand was higher than that of nondominant hand in the well-controlled diabetes. In conclusion, diabetes status and hand dominance may affect the MSE of PPG pulse amplitudes. (shrink)

Attention has been theorized as a system comprising three networks that can be estimated reliably by the attention network test ; the three networks are defined as alerting, orienting, and conflict control. The present study aims to identify the attention networks that are crucial for elite shooting and archery athletes and to examine whether mindfulness training can improve elite athletes' attention networks. We compared the performances in ANT between 62 elite athletes from the Chinese national team of shooting and archery (...) and 49 athletes from a provincial team in China. The results indicate three well-functioned attention networks in both groups, but elite athletes in the national team responded faster overall than athletes in the provincial team. The 62 elite athletes in the national team then received mindfulness training with varied periods ranging from 5 to 8 weeks, after which the ANT was re-administered. After mindfulness training, the elite athletes improved in orienting and conflict control networks compared with their pre-training performances. These results suggest that elite shooting and archery athletes in the national team are more efficient in all three attention networks, which means that they are able to reach the alerting state faster, make better use of environmental information, and suppress interference from distractors more efficiently. Moreover, the orienting and conflict control networks of the elite shooting and archery athletes can be improved by mindfulness training. We conclude that mindfulness practice should be considered as a useful addition to daily training for shooting and archery athletes. (shrink)

BackgroundThere are limited sensitive evaluation methods to distinguish people’s symptoms of peripheral fatigue and central fatigue simultaneously. The purpose of this study is to identify and evaluate them after acute exercise with a simple and practical scale.MethodsThe initial scale was built through a literature review, experts and athlete population survey, and a small sample pre-survey. Randomly selected 1,506 students were evaluated with the initial scale after exercise. Subjective fatigue self-assessments were completed at the same time.ResultsThe Acute Exercise-Induced Fatigue Scale was (...) determined after performing a factor analysis. In the exploratory factor analysis, the cumulative variance contribution rate was 65.464%. The factor loadings of the total 8 questions were 0.661–0.816. In the confirmatory factor analysis, χ2/df = 2.529, GFI = 0.985, AGFI = 0.967, NFI = 0.982, IFI = 0.989, CFI = 0.989, and RMSEA = 0.048. The Cronbach’s alpha coefficient for the scale was 0.872, and it was 0.833 for peripheral fatigue and 0.818 for central fatigue. The intra-class correlation coefficient for the scale was 0.536, and the intra-class correlation coefficients for peripheral fatigue and central fatigue were 0.421 and 0.548, respectively. The correlation coefficient between the total score of the AEIFS and the SFSA score was 0.592.ConclusionOur results demonstrate that the AEIFS can distinguish peripheral fatigue and central fatigue and can also reflect their correlation. This scale can be a useful evaluation tool not only for measuring fatigue after acute exercise but also for guiding reasonable exercise, choosing objective testing indicators, and preventing sports injuries resulting from acute exercise-induced fatigue. (shrink)

Megaprojects are implemented by different organisations, such as owners, consultants, and contractors. Gradually, these organisations and their connections can form business networks that influence both the market position of individual organisations and project performance. Previous research on large-scale projects mainly focused on static and homogeneous networks that were constructed by one individual project and/or carried out over one-off collaboration. However, this neglected the consideration of project network diversity, as well as repetitive, dynamic, cross-project coopetition relationship and long-term business networks formed (...) by key actors. Here, we chose Chinese skyscrapers over 300 meters that were built from 1996 to 2015 as typical megaproject cases and analysed the formation and evolution of megaproject business networks from the perspective of interorganisational coopetition. We identified the key actors involved and empirically studied their dynamic network positions over time. The main contributions of this study are threefold. First, we found that past collaboration experience has direct and dynamic impacts on the formation of megaproject business networks. Second, we identified key actors in the interorganisational business network and unveiled their dynamic positions with clear patterns. Third, we highlighted the temporal-spatial effect on the formation and development of business networks, alongside developments in the megaproject market. The findings of this study also provide practical applications for owners to choose collaboration partners and to build high-performance teams and for suppliers to enter and sustain the business in the megaprojects networks. (shrink)

Differential leadership as a localized leadership style gradually developed on the basis of the Pattern of Differential Sequence. It plays a dual role in stimulating “insider subordinates” and “outsider subordinates” through the dynamic transformation of the roles. Using the process of game reasoning, the study identifies the differing principles used by insider subordinates and outsider subordinates in implementing deviant innovative behaviors. The simulation graph presents the perceived benefits of employees performing or not performing deviant innovative behaviors as clues during the (...) reasoning process, and implements deviant innovative behaviors for the high risk-taking trait of insider subordinates and the high internal control personality of outsider subordinates who implement deviant innovation. The theoretical derivation of behavior provides relevant references, and provides counter measures for effectively promoting employees’ deviant innovative behavior in the context of differential leadership. (shrink)

This paper uses WIOD data to calculate and analyze the dominant comparative advantage of Chinese manufacturing global value chain based on the WWZ method and empirically studies the influence of digitization on the competitiveness of manufacturing GVC. The main findings are as follows: The competitiveness of Chinese manufacturing GVC has been improved as a whole. The GVC competitiveness of different types of industries is quite different: GVC in middle- and low-knowledge-intensive industries have the highest competitiveness, while those with middle- and (...) high-knowledge-intensive industries have the lowest competitiveness and apparent shortboard industries. Digitization is conducive for enhancing the competitiveness of manufacturing GVC. In terms of industries, digitization has a significant positive effect on the GVC competitiveness of middle and high-knowledge-intensive industries but not on low knowledge ones. As for the sources of digital input, the positive effect is more outstanding. Also, it is more remarkable when it comes to the software and information technology service industry. As for the mechanism of action, labor productivity is an effective way to improve the manufacturing GVC competitiveness digitally. Finally, after a robustness test, the positive effect of the digital input remains robust. (shrink)

It has been widely assumed and proven that a firm’s research and development investment is limited if the availability of cash flow is constrained. The purpose of this study is to verify the opposite proposition: whether firms invest heavily in R&D when more cash flow is available. This paper discusses the heterogeneous relationship between cash flow from different sources and the R&D investment of firms. The study divides the firm’s cash flow into three categories according to the business activities that (...) generate firm finance: cash flow from operating activities, cash flow from investing activities, and cash flow from financing activities. On this basis, a dynamic R&D investment model is constructed, and the relevant data for Chinese listed firms are used for the empirical research. The study finds that Chinese listed firms do not necessarily spend more cash on R&D investment, even if the availability of cash flow is not constrained. For young firms, CFO and CFI do not significantly correlate with R&D investment, and CFF significantly negatively correlates with R&D investment. For mature firms, the correlations between cash flow generated from different activities and R&D investment are nonsignificant. (shrink)

Social exclusion can cause negative changes on human beings both in the physiological and psychological aspects. Although considerable efforts have been devoted to study its effects on consumption behavior, little attention has been paid to the consequence that social exclusion might have on consumer’s color preference and the underlying mechanisms. Such social events can change individual’s behavior. This work examines the influence of social exclusion on consumers’ color preference as well as the moderation and mediation effects via three experiments: Experiment (...) 1 studies the impacts of social exclusion on consumer color choice. To further validate the robustness of the results, experiment 2 is designed by replicating the findings of experiment 1 in another product category and instructed the participants to choose products with different colors. Meanwhile, the mediation effect of self-threat is examined. In Experiment 3, the moderation effect of self-construal is investigated via a 2 × 2 × between-subjects design. Our results indicate that social exclusion makes people prefer warm colors rather than cold colors. However, these effects would be mediated by self-threat, which could be further moderated by self-construal. The present study establishes the relationship between social exclusion and consumers’ color preference, which is expected to provide guidance for companies to improve product design and promotion strategies to adapt to various contexts. (shrink)

High-definition transcranial direct current stimulation is a valid brain stimulation technology to optimize cognitive function. Recent evidence indicates that single anodal tDCS session enhances attention; however, the variation in attention produced by repeated anodal HD-tDCS over a longer period of time has not been explored. We examined the modulation of attention function in healthy young participants who received repeated HD-tDCS sustained for 4 weeks. The results showed a robust benefit of anodal HD-tDCS on executive control and psychomotor efficiency, but not (...) on orienting, alerting, or selective attention ; the benefit increased successively over 4 weeks; and the enhancement on executive control of each week was significant compared to baseline in the anodal group. In addition, the subjects’ performances on the test of executive control and psychomotor efficiency gradually restored to the initial level in the sham group, which appeared obviously from week 3, but the improvement of attention in the anodal group was persistent. We conclude that repeated anodal HD-tDCS provides a positive benefit on executive control and psychomotor efficiency and has obvious accumulative effect after 9 or more times intervention compared to sham HD-tDCS. Additionally, our findings might provide pivotal guidance for the formulation of a strategy for the use of repeated anodal HD-tDCS to modulate on attention function. (shrink)

Reading comprehension is never considered a simple task in linguists’ views as it requires a full set of linguistic knowledge, such as word decoding, understanding syntactic and morphological structures, and deriving proper meanings from these structures in a given context. Bearing the simple view of reading, the primary goal of this study is to explore whether the split presentation of Chinese splittable compounds influences the recognition of the compounds in second language Chinese reading comprehension, and how the reading skills, i.e., (...) word decoding and linguistic comprehension, cooperate to complete this reading comprehension task. Splittable compounds in Chinese are typically verbs composed of two constituents with limited separability. The separable property of SCs and their vague morpho-syntactic status are supposed to cause difficulties for L2 Chinese learners in recognizing the compounds. Especially for those whose native language manifests lexical integrity, the split presentation of the compounds may invite the L2 Chinese readers to process them with a mechanism different from that for their non-split forms. To the best of our knowledge, the efforts on investigating this issue are insufficient. In this study, 27 Spanish speaking L2 Chinese learners were invited to complete tasks including reading and interpreting 6 selected SCs in the split and non-split forms, rating their familiarities with each SC and reporting the syntactic category of the SCs based on their existing linguistic knowledge. The results, showed that the split presentation of SCs did cause challenges for L2 Chinese learners in recognizing the compounds in the reading process, regardless of their Chinese proficiencies. The L2 Chinese participants performed significantly worse in recognizing split SCs in salient Verb-Object structures than recognizing those in unsalient Verb-Object structures. These findings underscore the importance of linguistic comprehension in L2 Chinese in-text word reading comprehension and suggest words as the basic processing units. (shrink)

With the rapid development of urbanization, the urban expansion morphology has been changing with complex driving mechanisms behind the urban evolution process. This article simulates the results of urban land development contingent upon decision-makers’ risk preferences and reveals the inherent law of the effect of risk preferences on urban expansion morphology. Results show that cautious decision-makers lead to the urban expansion morphology being relatively compact, and the reckless decision-makers lead the urban expansion to sprawl. Moreover, there are obvious differences in (...) strengths of planning constraints on the decision-makers with different risk preferences. The reckless decision-makers, driven by the economic interests, are more likely to break through the planning, especially when the planning is not reasonable. It is also found that enhancing executive ability of planning for the reckless decision-makers can promote compactness of the urban expansion morphology. However, the effect of enhancing executive ability of planning on the cautious decision-makers is limited. Thus, in the case of unreasonable planning, the executive ability of planning to the reckless decision-makers should be enhanced so as to avoid urban sprawl. (shrink)

Music not only regulates mood but also promotes the development and maintenance of empathy and social understanding. Since empathy is crucial for well-being and indispensable in social life, it is necessary to develop strategies to improve empathy and prosocial behaviors. To fulfill this aim, researchers have extensively investigated the effect of intensive musical training on the development of empathy. Here, we first summarize evidence showing the powerful influence of musical training on the development of empathy and then discuss psychological mechanisms (...) responsible for those observations. The conclusions drawn from most previous studies were mainly based on behavioral measurements, while the neural basis of musical training in the development of the empathic brain is still unclear. Fortunately, brain imaging research has contributed greatly to our understanding of the neural underpinnings associated with musical training and its possible connection to the development of the empathic brain. One of the most distinctive signatures of musical training is structural and functional changes of multiple brain regions, and such changes might be related to some of the empathic behaviors observed in musically trained children. Therefore, intensive musical training in childhood may increase levels of empathy, and applied research is required to optimize the training strategy before implementing music education in empathy regulation. Moreover, future longitudinal studies are needed to better understand neural mechanisms underlying the causal effect of musical training on empathy development. These findings have important implications for understanding the development of the empathic brain and for improving prosocial behaviors. (shrink)

Direct electrical stimulation has been widely applied in both guidance of lesion resection and scientific research; however, the design and selection of intraoperative cognitive mapping tasks have not been updated in a very long time. We introduce updated mapping tasks for language and non-language functions and provide recommendations for optimal design and selection of intraoperative mapping tasks. In addition, with DES becoming more critical in current neuroscientific research, a task design that has not been widely used in DES yet was (...) introduced for more delicate mapping of brain functions especially for research purposes. We also illustrate the importance of designing a common task series for DES and other non-invasive mapping techniques. This review gives practical updated guidelines for advanced application of DES in clinical and neuroscientific research. (shrink)

Comparing estimates of the cost-effectiveness of human immunodeficiency virus (HIV) interventions can help communities select an HIV prevention portfolio to meet local needs efficiently. The authors developed a spreadsheet tool to estimate the relative cost-effectiveness of 26 HIV prevention interventions. HIV prevalence of the population at risk and the cost per person reached were the two most important factors determining cost-effectiveness. In low-prevalence populations, the most cost-effective interventions had a low per-person cost. Among the most cost-effective interventions overall were showing (...) videos in sexually transmitted disease clinics and raising alcohol taxes. (shrink)

Background: The novel coronavirus disease 2019 posed an unprecedented threat to Chinese healthcare professionals. Nevertheless, few studies notably focused on the mental health conditions of nurses and explored protective factors to prevent posttraumatic stress and psychological distress. This study aimed to explore the prevalence and the predictive factors especially defensive predictors associated with posttraumatic stress and psychological distress in nurses during the COVID-19 pandemic.Methods: In this online study, 1,728 nurses were included in the final analysis. Posttraumatic stress disorder checklist for (...) Diagnostic and Statistical Manual of Mental Disorders, 5th Edition and Self-Reporting Questionnaire was used to assess posttraumatic stress and psychological distress.Results: The results demonstrated that the prevalence of posttraumatic stress and psychological distress in nurses throughout China between February 1, 2020 and February 13, 2020 was 39.12 and 24.36%, respectively. Multivariate logistic regression indicated that insomnia, high panic intensity, and high impact of the COVID-19 pandemic were risk predictors of posttraumatic stress and psychological distress in nurses. Married participants had a 1.58 times increased risk of having posttraumatic stress when compared with the single participants. Frontline medical staff were more likely to suffer from psychological distress. The adequate exercise was a protective predictor of psychological distress [adjusted odds ratio = 0.655, 95% CI = 0.486–0.883], but not with posttraumatic stress. High-quality diet was a protective predictor of posttraumatic stress and psychological distress.Conclusions: Our study revealed the prevalence and factors associated with posttraumatic stress and psychological distress in nurses during the COVID-19 pandemic. Low panic intensity, low level of impact, satisfactory sleep, adequate exercise, and better diet were protective factors of posttraumatic stress and psychological distress. It indicated that the psychological status of nurses should be monitored, and protective factors associated with posttraumatic stress and psychological distress should be increased. (shrink)

Within the same pathogen-stress framework as proposed by Fincher & Thornhill (F&T), we argue further that pathogen stress promotes matrilocal rather than patrilocal family ties which, in turn, slow down the process of modernity; and that pathogen stress promotes social learning or copying, including the adoption of foreign religions.