A finitely alternative normal tense logic \ is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice \\) is described. There are \ logics in \\) without the finite model property, and only one pretabular logic in \\). There are \ logics in \\) which are not finitely axiomatizable. For \, there are \ logics in \\) without the FMP, and infinitely many pretabular (...) extensions of \. (shrink)
People are the most important factors of economy and the primary carriers of social culture. Cross-border migration brings economic and cultural impacts to the origin and destination and is also a key to reflect the international relations of related countries. In fact, the migration relationships of countries are complex and multilateral, but most traditional migration models are bilateral. Network theories could provide a better description of global migration to show the structure and statistical characteristics more clearly. Based on the estimated (...) migration data and disparity filter algorithm, the networks describing the global multilateral migration relationships have been extracted among 200 countries over fifty years. The results show that the global migration networks during 1960–2015 exhibit a clustering and disassortative feature, implying globalized and multipolarized changes of migration during these years. The networks were embed into a Poincaré disk, yielding a typical and hierarchical “core-periphery” structure, which is associated with angular density distribution, and has been used to describe the “multicentering” trend since 1990s. Analysis on correlation and evolution of communities indicates the stability of most communities, yet some structural changes still exist since 1990s, which reflect that the important historical events are contributable to regional and even global migration patterns. (shrink)
Fashionable clothing is susceptible to seasonality, fashion popularity, and other factors. The decline in the fashion level for fashion apparel will cause its market value to continuously decrease, reducing market demand and creating a backlog of apparel inventory. Under such a circumstance, the apparel retailer chooses to maintain the fashion of the goods by providing experiential services or enhancing product design capabilities. This paper focuses on the discussions on the issue of whether experience service and design efforts are complements or (...) substitutes. The major objective is to simultaneously determine the experience service investment and the optimal selling price to maximize the total profit. First, a Cobb–Douglas utility function is used to derive a demand function that depends on the price and fashion level. Four kinds of inventory models are further established to obtain optimal pricing and inventory ordering strategies. Second, an algorithm is presented to search for the optimal solutions of the proposed model. Finally, a numerical example is provided to perform a sensitivity analysis of the key parameters and to discuss specific managerial insights. The numerical examples show that both the experiential services and the enhanced fashion design can effectively reduce the apparel company’s inventory and increase profits. When the two strategies are combined, they will produce complementary or substitution effects, which depend on the deterioration rate of the fashion level of the apparel. If the deterioration rate is less than a critical value, the interaction of experiential services and design investment has a complementarity effect. (shrink)
Computational modeling and eye-tracking were used to investigate how phonological and semantic information interact to influence the time course of spoken word recognition. We extended our recent models to account for new evidence that competition among phonological neighbors influences activation of semantically related concepts during spoken word recognition . The model made a novel prediction: Semantic input modulates the effect of phonological neighbors on target word processing, producing an approximately inverted-U-shaped pattern with a high phonological density advantage at an intermediate (...) level of semantic input—in contrast to the typical disadvantage for high phonological density words in spoken word recognition. This prediction was confirmed with a new analysis of the Apfelbaum et al. data and in a visual world paradigm experiment with preview duration serving as a manipulation of strength of semantic input. These results are consistent with our previous claim that strongly active neighbors produce net inhibitory effects and weakly active neighbors produce net facilitative effects. (shrink)
In the research of motion video, the existing target detection methods are susceptible to changes in the motion video scene and cannot accurately detect the motion state of the target. Moving target detection technology is an important branch of computer vision technology. Its function is to implement real-time monitoring, real-time video capture, and detection of objects in the target area and store information that users are interested in as an important basis for exercise. This article focuses on how to efficiently (...) perform motion detection on real-time video. By introducing the mathematical model of image processing, the traditional motion detection algorithm is improved and the improved motion detection algorithm is implemented in the system. This article combines the advantages of the widely used frame difference method, target detection algorithm, and background difference method and introduces the moving object detection method combining these two algorithms. When using Gaussian mixture model for modeling, improve the parts with differences, and keep the unmatched Gaussian distribution so that the modeling effect is similar to the actual background; the binary image is obtained through the difference between frames and the threshold, and the motion change domain is extracted through mathematical morphological filtering, and finally, the moving target is detected. The experiment proved the following: when there are more motion states, the recall rate is slightly better than that of the VIBE algorithm. It decreased about 0.05 or so, but the relative accuracy rate increased by about 0.12, and the increase ratio is significantly higher than the decrease ratio. Departments need to adopt effective target extraction methods. In order to improve the accuracy of moving target detection, this paper studies the method of background model establishment and target extraction and proposes its own improvement. (shrink)
Sticker use is an increasingly popular part of daily messaging activity. However, little is known regarding the types, functions, and outcomes of sticker use in authentic online communications. To investigate these phenomena, we analysed sticker use in five small mobile-messaging-facilitated discussion groups initiated by students for course projects in an Asian university. The students used four types of stickers, among which ‘animated picture without text’ was the most frequent. Sticker functions fell into two main categories: as a tone indicator with (...) scope over a textual message, and as a stand-alone illocutionary act. Based on interviews with seven participants, we found disparities between the sender’s intention and the receiver’s interpretation for 34.7% of the stickers, but these disparities did not adversely affect the communication. Implications of the findings are discussed. (shrink)
Digital technological innovation is reshaping the pattern of industrial development. Due to the shortage of digital talents and the frequent mobility of these people, the competition for talents will be very fierce for organizations to realize digital transformation. The digitization transformation of China’s service industry is far ahead of that of industry and agriculture. It is of great significance to study the organizational management and talent management of service enterprises to reduce the negative impact of insufficient talent reserve and meet (...) the needs of digital development. Based on 378 valid questionnaires from China’s service industry, this paper applied polynomial regression and a response surface model to analyze the impact of two kinds of person-environment fit on work engagement and individual creativity. The results show that: under the combination of high morality and high talent, work engagement and individual creativity are the highest; individual creativity is stronger under the condition of high morality and low talent than under low morality and high talent; and work engagement mediates the influence of morality and talent on individual creativity. The research reveals the internal mechanism by which morality and talent cooperatively promote individual creativity, which provides theoretical guidance for management practice of service firms to improve individual creativity in the process of digital transformation. (shrink)
ABSTRACT Western creativity is usually entrusted to the human imagination, regarded as a mental power capable of envisioning eternally original artefacts, while in the East creativity is entrusted to nature-in-the human, what Taoist philosophy calls qi, a spiritual power capable of reflecting the passing changes of nature in paintings, poems, and other forms of art. It is the intention of this paper to explore and elucidate these differences between the Western and Eastern conceptualizations of creativity, ending with a suggestion of (...) one feature they may have in common. (shrink)
Associations have been shown between father’s absence and menarcheal age, but most studies have focused on absence resulting from divorce, abandonment or death. Little research has been conducted to evaluate the effect on menarcheal age of paternal absence through migrant work. In a sample of 400 middle school students, this study examined the association between paternal migrant work and menarcheal age against a backdrop of extensive rural-to-urban migration in China. Data were collected through a self-reported questionnaire, including social-demographic characteristics, aspects (...) of family relationships, information about father’s migrant work and age at menarche. After adjusting for BMI, parent marital status and perceived relationship with mother, lower self-perceived quality of father–daughter relationship and lower frequency of contact with the father were associated with higher odds for early menarche. These findings suggest that the assumption that father’s absence for work influences the timing of menarche needs to be examined in the context of the quality of the father–daughter relationship and paternal care, which appear to play a critical role in the timing of menarche. These findings also emphasize the importance of enhancing paternal involvement and improving father–daughter relationships in the development of appropriate reproductive strategy in daughters. (shrink)
Learning a deep structure representation for complex information networks is a vital research area, and assessing the quality of stereoscopic images or videos is challenging due to complex 3D quality factors. In this paper, we explore how to extract effective features to enhance the prediction accuracy of perceptual quality assessment. Inspired by the structure representation of the human visual system and the machine learning technique, we propose a no-reference quality assessment scheme for stereoscopic images. More specifically, the statistical features of (...) the gradient magnitude and Laplacian of Gaussian responses are extracted to form binocular quality-predictive features. After feature extraction, these features of distorted stereoscopic image and its human perceptual score are used to construct a statistical regression model with the machine learning technique. Experimental results on the benchmark databases show that the proposed model generates image quality prediction well correlated with the human visual perception and delivers highly competitive performance with the typical and representative methods. The proposed scheme can be further applied to the real-world applications on video broadcasting and 3D multimedia industry. (shrink)
The introduction of multiple intelligence theory into sports professional football teaching is a requirement of educational innovation, which helps to expand and play the multiple functions of football, and can effectively improve the comprehensive quality of football professional science. Under the perspective of multiple intelligence theory, college sports professional football teaching will focus on the all-round development of students, actively cultivate students’ multiple intelligence, and reflect the democratization, individualization, and diversification of teaching in the process of educational concept innovation. This (...) article explains the origin and characteristics of the particle swarm optimization algorithm and discusses the application status of the PSO algorithm in detail. We introduced the standard PSO algorithm, including mathematical forms, iteration steps, and flowcharts. In addition, it also specifically describes the proposed new PSO improved algorithm, including the food chain strategy and reproduction strategy, as well as the implementation of the algorithm. Through analysis, it is concluded that the implementation and implementation of relevant systems is the guarantee for the sustained and sound development of campus football. The amount of football lessons is insufficient, and the classroom teaching effect is not ideal. Physical education teachers are acceptable, but the football professional knowledge training of physical education teachers needs to be strengthened. The selection and setting of the teaching content of football lessons lack systematic, scientific, and adaptable, and the teaching methods and teaching model concepts are backward. In the process of football teaching, teachers ignored the evaluation and assessment of students’ nonphysical and nonintellectual factors, and campus football activities did not achieve the expected goals. (shrink)
Aiming to reduce the difficulty of managing and motivating knowledge workers, and promote the psychological well-being of them in Chinese hospitals, this study examines how k-workers’ leader–member exchange influences their task performance and the mediation effect of organizational citizenship behavior. Through a self-administered survey, valid questionnaires were collected from 384 k-workers in Chinese hospitals, and partial least squares structural equation modeling was employed for data analysis. The findings show that LMX is positively related to OCB and task performance, and that (...) OCB mediates the relationship between LMX and task performance. This research has theoretical implications and also provides practical suggestions on how to manage, motivate, and inspire k-workers, and promote the psychological well-being of them, and finally enhance the organizational performance in Chinese hospitals. (shrink)
Although most schoolchildren can dispose of their own litter, they are typically not sensitive to environmental issues in the school’s public areas. How do we improve children’s sensitivity to public environments and cultivate pro-environmental behaviours? Based on Bandura’s social learning theory, this study explored the effects of various role models on the pro-environmental behaviours of children aged 7–13. A field study was conducted in which examples of postprandial garbage disposal behaviours were provided using role models and the subsequent behaviours of (...) the children were observed. We located the experiment in a real educational context and manipulated the type of role model and the behaviour being modelled. The results showed that different role models had different effects on the subjects’ pro-environmental behaviours. Only positive demonstration by teachers significantly improved the subjects’ pro-environmental behaviours, that is, teachers’ picking up of garbage in front of children significantly improved the children’s attention to the environment and their adoption of pro-environmental behaviours. Positive demonstration by peers, negative demonstration by teachers and negative demonstration by peers had no impact on the children’s pro-environmental behaviours. The results demonstrate that teachers must be mindful of their role as role models in the educational environment and facilitate students’ development of pro-environmental behaviours. (shrink)
The aim of this study was to explore the effect of scoring first on match outcomes in the Chinese Football Super League. A total of 1,116 matches in which at least one goal was scored from the 2014 to 2018 seasons were collected. Match outcomes, absolute goal differences, the minute of the first goal, match locations, and teams’ budgets were analyzed. A team’s budget was measured in terms of a team’s value at the beginning of the season, and teams were (...) clustered into two groups. A descriptive analysis was conducted, and two generalized linear models were applied. The results showed a favorable outcome for the team that scored first both in match outcome and goal difference. Regarding the teams that scored first, 66.31% won their matches, 20.70% achieved a draw, and 12.99% lost. Specifically, home teams were more likely to win and less likely to lose or draw than away teams. Home teams also had a higher likelihood of obtaining a larger goal difference. Higher budget teams were more likely to win and less likely to lose or draw than low-budget teams. Additionally, for each minute, the team scores closer to the end of the match, and the average probability of winning increased by 0.0028. These findings can guide the strategies of coaches in different match scenarios according to the match location and the opponent’s quality. (shrink)
In this final lecture, I used instructions coming from the outside as well as rhetorical philosophy up to the achievements of the United States in the way, cited the following as high as 20 U.S. I think that the achievements in philosophy, this 20 achievements are as follows: 1. Re- definition of hermeneutics, resulting in a "philosophical hermeneutics" . understand the concern of the moment rather than the ability to explain the object. 3 allows us to explain thus an awareness (...) event. 4 to become a historical understanding of events . 5 from the hermeneutic methodology In order to understand the events into ontology. 6 to understand a sight change and self-understanding of the event. 7 principles of change as history, literature and art. 8 offers a new aesthetic and poetics. 9 provides a way to deal with representational and abstract art of art. 10 and then regardless of the art real management problem. 11 reaffirmed the non-scientific literature and hermeneutics in true sense. 12 In order to read the classical works of the original to provide a new treatment. 13 new associate with the traditional relationship. 14 the art of interpretation be linked to a reading process. 15 In order to have affected the critical nursing science, history, sociology, etc. methods. 16 criticism of the limitations of the natural scientific thinking. 17 critique of modernity . 18 provides a large amount of pull on the Park map , Hegel and Heidegger books. 19 He described the dialogue by way of consultations In order to understand the contribution. 20. Tree up hermeneutics of tradition and openness to other cultures of the ancient model. With this eight p.m. description of achievements, but also showing a structure of these nine days the future of speech. In this final lecture I take an approach from the outside and ask what Gadamer has achieved in philosophy, then list twenty of what I see as his philosophical accomplishments. These achievements are as follows: 1. Redefines hermeneutics, creating a "philosophical hermeneutics." 2. Focuses on the moment of uptake instead of the object of interpretation. 3. Makes us aware of interpretation as an event. 4. Makes the event of understanding an historical event. 5. Changes hermeneutics from a methodology to an ontology of the event of understanding. 6. Makes understanding an event of transformation of horizon and self-understanding. 7. Transforms history, literature and art as disciplines. 8. Offers a new aesthetics and a new poetics. 9. Offers a view of art that is able to deal with representation and nonrepresentational art. 10. Reintroduces the question of truth in art. 11. Revalidates literature and humanities as true in a nonscientific sense. 12. Offers a new rationale for reading the classics. 13. Forges a new relationship to tradition . 14. Relates interpretation of art to the reading process. 15. Offers a critique of method that has influenced nursing, history, sociology, etc. 16. Offers a critique of the limits of scientific thinking. 17. Offers a critique of modernity. 18. Offers major books on Plato, Hegel, and Heidegger. 19. In describing dialogue in understanding, he contributes to understanding negotiation. 20. Sets an example of hermeneutical openness to tradition, antiquity, and other cultures. The framework of these lectures during these nine day is presented through accounting for the twenty achievements. (shrink)
As a special type of lithologic body, gas-bearing strata, composed of rhyolite, an igneous rock with a volcanic composition, is characterized by deep burial, complex lithology, poor stratification, and a complicated gas-bearing distribution. These characteristics lead to difficulties in the prediction of gas-bearing reservoir parameters and thus restrict the exploration and exploitation of such reservoirs. The unique and complex volcanic model contains different types of facies and subfacies since the volcanic eruption usually experiences different explosion-effusion periods. Our study focuses on (...) the vertical and lateral gas-bearing reservoir distribution in a volcanic environment in the Cretaceous Yingcheng Formation of the Songnan Gas Field, utilizing seismic facies-controlled non-linear stochastic inversion to integrate the volcanic facies information. First, we built the volcanic facies model for the Songliao Basin to introduce the comprehensive characteristics of the volcanic facies during a volcanic eruption, and analyzed the well-tie logging facies and seismic facies to guide the facies analysis of the target layer. Then, based on this facies analysis, we depicted the gas-bearing reservoir in detail through the use of seismic facies-controlled non-linear random inversion. Finally, we predicted the distribution of the gas-bearing reservoir by the inversion results. The predicted results were found to agree well with the actual drilling data. The inversion method effectively predicts the velocity distribution of the gas-bearing reservoir, which provides a good foundation for the subsequent description of gas-bearing reservoirs in the Yingcheng Formation. (shrink)
Hotel architectural design plays a critical role in the hospitality experiences of consumers, and it is important to consider that people may have different aesthetic cognitions toward the sensory properties of nature, such as its color and texture, as well as the landscape. While neuroaesthetics has emerged as a nascent field in hospitality research, few studies have investigated how nature reflects aesthetic experiences in the human brain. Moreover, the neuroaesthetic interpretation of architecture through the aesthetic triad is a novel interdisciplinary (...) field. A field survey conducted at Amanfayun, a hotel in Hangzhou, China, in support of our propositions proves that sensory-motor, knowledge-meaning, and emotion valuation systems play key roles in appreciating architectural aesthetics. This study demonstrates that the evaluation of fluency, complexity, and naturalistic patterns of an architectural masterpiece is achieved through the sensory-motor systems. Our results also prove that familiarity, expectations, context, and cultural background directly affect the aesthetic knowledge of an individual and the meaning of architecture. Moreover, the interaction of sensory-motor and knowledge elements is uniformly moderated by the emotion valuation systems, resulting in a balanced appreciation of aesthetic architecture. Finally, the study reveals the central roles of culture and nature in cognitive rejuvenation. (shrink)
The gas accumulation mode can be divided into two types based on the migration and accumulation characteristics: discontinuous accumulation into the reservoir rocks and continuous accumulation within or adjacent to the source rocks. Correspondingly, there are three different gas reservoirs including conventional, unconventional, and those in a transitional state. To demonstrate the differences in the formation mechanisms and distribution features of the two accumulation types, we have scrutinized the continuous accumulation and discontinuous accumulation in the Hangjinqi area of the Ordos (...) Basin in North China. Continuous gas accumulation and discontinuous accumulation are, respectively, distributed in the southern and northern regions of the Hangjinqi area, which may change with the source-rock quality, migration force, reservoir capacity, and trapping condition. We identified that the essential factors influencing the formation and current distribution of gas reservoirs are the hydrocarbon generation ability, porosity, and cap rock-trap combinations in the study area. An ideal complete gas reservoir sequence develops coalbed methane, shale gas, basin central gas, water soluble gas, and conventional gas reservoirs from the center to the edge of the basin. Understanding the distribution characteristics of continuous accumulation and discontinuous accumulation allows better prediction of the potential gas reservoir types with the knowledge of discovered reservoirs. We recommend exploring anticline gas reservoirs in areas north of the Boerjianghaizi fault and basin-centered gas reservoirs in areas south of the Boerjianghaizi fault. We also suggest performing further research on shale source rocks because the maturity and the burial depth of the marine-continental organic-rich shale in the Shanxi-Taiyuan Formations are recognized to be favorable for shale gas generation and preservation. (shrink)
As a service-oriented business platform model, the nature of cloud manufacturing is to realise the manufacturing resources’ sharing, which will largely benefit resources supplier, resources demander, and platform operator. However, it also faces some new problems. One of the most critical issues is how to dynamically match resources of supply and demand to maximise profits of all parties while considering matching costs. This paper investigates the resources’ dynamic matching in a manufacturing supply chain that operates under a cost-sharing contract and (...) consists of two independent and competing manufacturers and a resource-service platform. We first use differential equation to model the evolution of resource-sharing and capture the effect of matching service efforts on market demand. Next, we study the optimal matching strategies by a two-stage differential game based on the dynamic control approach. Then, we design a cost-sharing contract to coordinate and improve the supply chain’s performance. Finally, a numerical example is provided to illustrate the impact of platform transaction fees and matching costs on the feasible region of the corresponding contract. (shrink)
