We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the (...) three logics. (shrink)

本书论述了艺术与想象力、艺术门类的相互关系、艺术与社会的参照分析、生活对艺术的启示、艺术欣赏三总体等。.

A varied air volume air-conditioning system comprises diverse input and/or output disturbances, which are commonly nonlinear, with large lag and uncertainty. Based on the traditional control methods, testing the controlling parameters of a VAV air-conditioning system is challenging. Sliding mode control could improve the robustness of the system due to the adaptive capacity of disturbance rejection. Moreover, the fuzzy algorithm could be employed to determine the stability of a sliding control system by adjusting the parameters in the approach rate, reducing (...) the switching frequency, and weakening chatter. Fuzzy sliding mode control is investigated in this paper to improve the performance of a VAV air-conditioning system. Simulation results verify that the sliding mode control is suitable for a VAV air-conditioning system to achieve good adaptability and robustness considering the influence of multiple external variable disturbances. In addition, the chattering of the system is improved after the introduction of fuzzy control. (shrink)

The high-tech industry is the main force promoting the development of China’s national economy. As its industrial economic strength grows, China’s high-tech industry is increasingly using cross-border mergers and acquisitions as an important way to “go out.” To explore the rules governing the process and operation mechanism of reverse knowledge transfer through the CBM&A of China’s high-tech industry under government intervention, a tripartite evolutionary game model of the government, the parent company, and the subsidiary as the main subjects is constructed (...) in this paper. The strategies adopted by the three subjects in the RKT game process are analysed, and the factors influencing RKT through CBM&A under government intervention are simulated and analysed using Python 3.7 software. The results show that, under government intervention, the parent company and subsidiary have different degrees of influence on each other. Subsidiaries are highly sensitive to the compensation rate of RKT. Positive intervention by the government tends to foster stable cooperation between the parent company and the subsidiary. However, over time, the government gradually relaxes its intervention in the RKT and innovation of multinational companies. (shrink)

1. Chŏngch'ijŏk olbarŭm (Political correctness, PC) -- 2. Miguk chŏngsin ŭi chongmal (The Closing of the American Mind) -- 3. Munhwa chŏnjaeng (Culture war) -- 4. Chwap'a chŏngch'i (Left-wing politics) -- 5. Up'a chŏngch'i (Right-wing politics) -- 6. Chinbojuŭi (Progressivism) -- 7. Posujuŭi (Conservatism) -- 8. Taejungjuŭi (Populism).

In the real-world complex product design process, task allocating is an ongoing reactive process where the presence of unexpected design change is usually inevitable. Therefore, reallocating is necessary to respond to design change positively as a procedure to repair the affected task plan. General reallocating literature addressed the reallocating versions with fixed executing time. In this paper, a multi-objective reallocation model is developed with a feasible assumption that the task executing time is controllable. To illustrate this idea, a compressing executing (...) time strategy is proposed in CPD process, where the executing time can be controlled with a non-linear compression cost. When design change occurs during the executing, task-resource reallocating is required to absorb the interference effects. Reallocating implies an increase in design cost and system instability; the proposed method CETS can address this issue effectively. CETS considers three objectives: completing time, stability, and change-adaptation cost. An adaptive multi-objective hybrid genetic algorithm and tabu search is developed to solve this mathematical method. The computational results of specific simulation examples verify the superiority. It shows that CETS is sensitive to design change, and the proposed algorithm AMOGATS can be effective to achieve the allocating by coordinating the objective consistency. (shrink)

Chapman and colleagues make a compelling case for reforming the Common Rule to better protect group interests in genomics and data-centric research (Chapman et al. 2025). Drawing on insights from p...

The Darwinian protolanguage hypothesis is one of the most popular theories of the evolution of human language. According to this hypothesis, language evolved through a three stage process involving general increases in intelligence, the emergence of grammatical structure as a result of sexual selection on protomusical songs, and finally the attachment of meaning to the components of those songs. The strongest evidence for the second stage of this process has been considered to be birdsong, and as a result researchers have (...) investigated the existence of various forms of grammar in the production and comprehension of songs by birds. Here, we argue that mating dances are another relevant source of sexually-selected complexity that has until now been largely overlooked by proponents of Darwinian protolanguage, focusing especially on the dances of long-tailed manakins. We end by sketching several lines of research that should be pursued to determine the relevance of mating dances to the evolution of language. (shrink)

Product configuration is a key enabling technology for mass customization production. Previous studies mainly focus on the solving technologies for obtaining a feasible configuration or optimal configuration but ignore environmental factors like CO2 emissions, especially the environmental regulations from international organizations. In this article, we address product configuration optimization problems considering both carbon cap and carbon tax regulations. A two-stage approach that combines both Particle Swarm Optimization and a greedy algorithm is presented to solve the product configuration problems with carbon (...) emission concerns. A case study of a configurable ranger-drilling machine is illustrated to demonstrate the effectiveness of the presented approach. The impacts of carbon cap and carbon tax regulations on configuration results are compared. Further, the models are extended to analyze the effects of single-sourcing and multisourcing on product configuration. The analysis shows that multisourcing in combination with carbon tax regulation can facilitate a manufacturer to provide more green and low-carbon customized products for customers. Numerical experiments are conducted to validate the effectiveness of the model and the efficiency of the proposed solution method. (shrink)

The aim of this study was to improve the entrepreneurial performance and sports morality of college teacher-and-student entrepreneurs. Consequently, psychological capital is creatively combined with social and political education to explore college entrepreneurs’ EP and sports morality. First, following a theoretical model implementation, this article proposes several hypotheses. Then, a questionnaire survey was designed, and the data were analyzed. The results show that gender has little impact on EP and sports morality; PsyCap significantly affects the EP of college entrepreneurs at (...) the age of 33–38 years; in terms of educational background, average scores of PsyCap + SPE of bachelors are the highest, followed by masters or above, and finally, the college undergraduate; the average score of PsyCap + SPE of married respondents is 4.0, while that of the unmarried is 3.7; there is a significant difference between college entrepreneurs’ EP under the dimension of the basic enterprise situation; and the average score of the length of entrepreneurship is 9.87, which has the most significant impact on the EP and sports morality, and the significance of sports morality is 0.04. Among them, the most significant impact on EP and sports morality is weekly sports participation, with a score of 9.67. Therefore, PsyCap + SPE plays a positive role in the EP of college entrepreneurs. In contrast, sports morality has little impact on EP. This study provides a reference for the research on the influence of entrepreneurship and sports morality of college entrepreneurs. (shrink)

The current literature expands the existing knowledge of the antecedents of proactive environmental strategies (PES) in family firms from the perspectives of institutional, market and family involvement logics. However, scholars have not considered the influence of key family decision-makers and their characteristics in this regard. Based on the ability and willingness framework, this study focuses on how founders' religiosity affects family firms' PES. Using data from the 2010 Chinese Private Enterprise Survey conducted by Chinese officials, we found that founders' religiosity (...) drives family firms to implement PES. Altruistic and long-term orientation are the internal mechanisms of this effect. Founders' political status enhances the positive impact of their religiosity on PES, whereas the founders' need for socioemotional wealth protection weakens the relationship between founders' religiosity and family firms' PES. We also found that Eastern and Western founders' religiosity has an asymmetric effect on family firms' PES. This study contributes to the literature on the PES of family firms, the family firm's ability and willingness framework, and family business heterogeneity. (shrink)

Conceptual metaphors crucially shape how people understand and represent abstract concepts like love. Numerous Chinese linguistic metaphors associate love (beginning/continuing a romantic relationship) with red (e.g. 红豆相思) and lovelorn (breakup/end of a romantic relationship) with gray (e.g. 万念俱灰). However, empirical evidence supporting these color metaphors for love concepts is lacking. This study investigated the red-gray color metaphor for love concepts in Chinese. Experiment 1 used a Stroop test where participants categorized love/lovelorn words in red/gray fonts. Results showed significantly faster latencies (...) for love words in red versus gray fonts, but no difference for lovelorn words. Experiment 2 used an implicit association test (IAT), where the compatible block paired red squares with love words and gray squares with lovelorn words, and vice versa in the incompatible block. Results showed that participants implicitly associated love words with red colors and lovelorn words with gray colors. Together, these experiments provide novel empirical evidence that native Chinese speakers activate metaphorical red-gray color mappings for love concepts, contributing insights into how abstract love concepts are grounded in embodied experiences. Future research could explore color-love metaphors across cultures, paradigms, and gender-balanced samples. (shrink)

Aristotle’s classification of ideal number in Metaphysics M 6 has often been considered an unfair presentation of Plato’s actual views. I take another look at the passage and argue that Aristotle is a more careful critic than has been usually recognised. In particular, I argue that much of the scholarly discussion on the passage has failed to take account of Aristotle’s deeper concern, namely, the conditions necessary for numbers to be ordinal. I then set Aristotle’s critique within the broader context (...) of his concern to separate Form from Number, and thus to separate metaphysical questions from mathematical ones. The latter half of the article shows some of the consequences of mixing mathematics with metaphysics from a systematic and historical point of view. (shrink)

The traditional recognition method of whitewash behavior of accounting statements needs to analyze a large number of special data samples. The learning rate of the algorithm is low, resulting in low recognition accuracy. To solve the aforementioned problems, this article proposes a method to identify the whitewash behavior of university accounting statements based on the FCM clustering algorithm. This article analyzes the motivation of university accounting statement whitewashing behavior, studies the common means of statement whitewashing, and establishes a fuzzy set (...) for the identification of university accounting statement whitewashing behavior. By calculating the fuzzy partition coefficient, the membership matrix of whitewash behavior recognition is established, and the whitewash behavior is classified through the iteration of the FCM algorithm. The comparative experimental results show that the recognition method has good recognition performance, low recognition error rate, and recognition accuracy of 82%. (shrink)

Despite its association with individual health, few studies have focused on the relationship between adolescent self-control and individual physical and mental health in adulthood. We aimed, therefore, to explore the impact of adolescent self-control on individual physical and mental health in adulthood. We employed the dataset of China Labor-Force Dynamics Surveys [CLDS]. 13,389 respondents with an average age of 45.621 years are consisted in this study. The respondents were asked to report their adolescent self-control through recall. The ordered probit and (...) the ordinary least squares models were employed to estimate the effects of adolescent self-control on physical and mental health in adulthood, respectively. We adopted the propensity score matching method to address the self-selection bias of samples. The results indicated that adolescent self-control significantly affected individual physical health and mental health in adulthood. The mechanism analysis suggested that adolescent self-control partially promoted physical and mental health in adulthood by education and income instead of self-control in adulthood. In conclusion, paying attention to the cultivation of self-control before adulthood may be an effective way to improve individual physical and mental health in adulthood. (shrink)

本书包括:周易是什么、天书解读、太极两仪四象八卦、六十四卦的生成、六十四卦的结构与本质属性归类、周易的上经与下经、六十四卦的象数与系辞、周易的蓍占、善易者不占十章。.

Grossmann proposes an interesting framework to explain how heightened fearfulness among humans could be evolutionarily adaptive in the context of cooperative care. I would like to propose that cooperative care may also be a potential mechanism promoting enhanced happiness expression among humans, shedding light on questions about the scope and boundary of the fearful ape hypothesis.

Aims: Studies have shown the predictive effects of procrastination and self-regulation on wellbeing. However, little is known about the interactive effect between procrastination and self-regulation. This study explores whether self-regulation moderates the link between procrastination and wellbeing among British and Chinese young adults.Methods: This study adopted self-reported questionnaire survey among two hundred and sixty-five British and four hundred and seventy-five Chinese participants. SPSS and AMOS were used to test the moderation effect. Multi-group path analysis was used to compare the two (...) countries.Results: Data analysis shows that self-regulation was a significant moderator of the relationship between procrastination and life satisfaction in the Chinese sample but not in the British sample. Procrastination predicted low life satisfaction only among the Chinese students with low self-regulation.Discussion: This study indicates that the effects of procrastination on wellbeing could be changed at different levels of self-regulation. Cultural difference can be an important factor when investigating procrastination and its impacts. (shrink)