The economical/environmental scheduling problem of the ship integrated energy system has high computational complexity, which includes more than one optimization objective, various types of constraints, and frequently fluctuated load demand. Therefore, the intelligent scheduling strategies cannot be applied to the ship energy management system online, which has limited computing power and storage space. Aiming at realizing green computing on SEMS, in this paper a typical SIES-EESP optimization model is built, considering the form of decision vectors, the economical/environmental optimization objectives, and (...) various types of real-world constraints of the SIES. Based on the complexity of SIES-EESPs, a two-stage offline-to-online multiobjective optimization strategy for SIES-EESP is proposed, which transfers part of the energy dispatch online computing task to the offline high-performance computer systems. The specific constraints handling methods are designed to reduce both continuous and discrete constraints violations of SIES-EESPs. Then, an establishment method of energy scheduling scheme-base is proposed. By using the big data offline, the economical/environmental scheduling solutions of a typical year can be obtained and stored with more computing resources and operation time on land. Thereafter, a short-term multiobjective offline-to-online optimization approach by SEMS is considered, with the application of multiobjective evolutionary algorithm and typical schemes corresponding to the actual SIES-EESPs. Simulation results show that the proposed strategy can obtain enough feasible Pareto solutions in a shorter time and get well-distributed Pareto sets with better convergence performance, which can well adapt to the features of real-world SIES-EESPs and save plenty of operation time and storage space for the SEMS. (shrink)

To improve the movie box office prediction accuracy, this paper proposes an adaptive attention with consumer sentinel for movie box office prediction. First, the influencing factors of the movie box office are analyzed. Tackling the problem of ignoring consumer groups in existing prediction models, we add consumer features and then quantitatively analyze and normalize the box office influence factors. Second, we establish an LSTM box office prediction model and inject the attention mechanism to construct an adaptive attention with consumer sentinel (...) for movie box office prediction. Finally, 10,398 pieces of movie box office dataset are used in the Kaggle competition to compare the prediction results with the LSTM-AACS model, LSTM-Attention model, and LSTM model. The results show that the relative error of LSTM-AACS prediction is 6.58%, which is lower than other models used in the experiment. (shrink)

本书阐述的是一种独特而圆润的人生哲学,在统揽古今中外人生哲学的基础上提出了自己认为的人生哲学。本书也是一种别开生面的中西简明哲学史,以人生哲学为切入点,对中国古代哲学、西方古典哲学以及欧美现代哲学等提 出了自己的真知灼见。.

本书内容包括:军人德性研究的历史背景、军人德性的本质和特征、军人德性的内容、军人德性的效应、军人德性冲突调节原则及选择等。.

本书内容包括:论马克思主义跨世纪发展的几大课题;西方马克思主义发展的逻辑和历史:文化的批判;马尔库塞的哲学—美学思想:文化的审美之维;文化建设必须面向世界、面向未来等。.

艾丰(1938~),河北玉田人,人民日报编委、经济部主任、高级记者,兼任中国社会科学院研究生院教授,中国人民大学新闻学院教授.

A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer the metatheoretical results to the original logic (e.g., [1, 6, 8, 18, 10, 12]). In the first-order modal case, on one hand we know that the Gentzenisation of the straightforward first-order extension of GL, the logic QGL, admits no cut elimination (if the rule is included as primitive; (...) or, if not included, then the rule is not admissible [1]). On the other hand the (cut-free) Gentzenisations of the first-order modal logics M3 and ML3 of [10, 12] do have cut as an admissible rule. The syntactic cut admissibility proof given in [18] for the Gentzenisation of the propositional provability logic GL is extremely complex, and it was the basis of the proofs of cut admissibility of the Gentzenisations of M3 and ML3, where the presence of quantifiers and quantifier rules added to the complexity and length of the proof. A recent proof of cut admissibility in a cut-free Gentzenisation of GL is given in [5] and is quite short and easy to read. We adapt it here to revisit the proofs for the cases of M3 and ML3, resulting to similarly short and easy to read proofs, only slightly complicated by the presence of quantification and its relevant rules. (shrink)

Di ka mi shi ou zhou jin dai li xing zhu yi zhe xue de chuang shi ren. ben shu li tu dui di ka mi di yi zhe xue de si xiang zuo yi quan mian yan jiu, dui ta de fang fa lun " wo si gu wo zai " wu fu guan nian lun, xin shen guan xi deng zhu yao li lun jin xing le xi tong yan jiu.

国家社会科学基金规划项目,中共广东省委宣传部重大委托项目,中山岩石学马克思主义哲学与中国现代化研究所主持研究。.

本书阐述了行刑社会化的思想源流、行刑社会化的内涵解读、行刑社会化的立论基础、行刑社会化在中国的实践和困惑等八章内容。.

苏珊·朗格是西方美学史上迄今为止惟一的一位声名显赫的女性美学家。本书勾勒了朗格的生平,揭示了朗格哲学美学思想演化的内在脉络,阐述了她的符号论思想、生命形式、逻辑类似、艺术幻象等理论。.

It is not only difficult to be a sports expert but also difficult to grow from a sports expert to a sports elite. Professional athletes are often concerned about the differences between an expert and an elite and how to eventually become an elite athlete. To explore the differences in brain neural mechanism between experts and elites in the process of motor behavior and reveal the internal connection between motor performance and brain activity, we collected and analyzed the electroencephalography findings (...) of 14 national archers and 14 provincial archers during aiming and resting states and constructed the EEG brain network of the two archer groups based on weighted phase lag index; the graph theory was used to analyze and compare the network characteristics via local network and global network topologies. The results showed that compared with the expert archers, the elite archers had stronger functional coupling in beta1 and beta2 bands, and the difference was evident in the frontal and central regions; in terms of global characteristics of brain network topology, the average clustering coefficient and global efficiency of elite archers were significantly higher than that of expert archers, and the eigenvector centrality of expert archers was higher; for local characteristics, elite archers had higher local efficient; and the brain network characteristics of expert archers showed a strong correlation with archery performance. This suggests that compared with expert archers, elite archers showed stronger functional coupling, higher integration efficiency of global and local information, and more independent performance in the archery process. These findings reveal the differences in brain electrical network topologies between elite and expert archers in the archery preparation stage, which is expected to provide theoretical reference for further training and promotion of professional athletes. (shrink)

Concerns with improper collection and usage of personal information by businesses or governments have been seen as critical to the success of the emerging electronic commerce. In this regard, computer professionals have the oversight responsibility for information privacy because they have the most extensive knowledge of their organization's systems and programs, as well as an intimate understanding of the data. Thus, the competence of these professionals in ensuring sound practice of information privacy is of great importance to both researchers and (...) practitioners. This research addresses the question of whether male computer professionals differ from their female counterparts in their self-regulatory efficacy to protect personal information privacy. A total of 103 male and 65 female subjects surveyed in Taiwan responded to a 10-item questionnaire that includes three measures: protection (protecting privacy information), non-distribution (not distributing privacy information to others), and non-acquisition (not acquiring privacy information). The findings show (1) significant gender differences exist in the subjects' overall self-regulatory efficacy for information privacy, and, in particular, (2) that female subjects in this study exhibited a higher level of self-regulatory efficacy than males for the protection and non-acquisition of personal privacy information. The identification of the factorial structure of the self-regulatory efficacy concerning information privacy may contribute to future research directed to examining the links between privacy efficacy and psychological variables, such as ethical attitude, ethical intention, and self-esteem. Studies can also be extended to investigate how different cultural practices of morality and computer use in men and women may shape the different development patterns of privacy self-efficacy. Understanding the different cultural practices may then shed light on the social sources of privacy competence and the appropriate remedies that can be provided to improve the situation. (shrink)

The current study attended to predict L2 lexical attrition by means of a Decision Tree model in three emotional dimensions, that is, the valence dimension, the arousal dimension, and the dominance dimension. A sample of 188 participants whose L1 was Chinese and L2 was English performed a recognition test of 500 words for measuring the L2 lexical attrition. The findings explored by the Decision Tree model indicated that L2 lexical attrition could be predicted in all the three emotional dimensions in (...) two aspects: among the three emotional dimensions, the valence dimension was the most powerful in predicting L2 lexical attrition, followed successively by the dominance dimension and the arousal dimension; most of the neutral words in the three emotional dimensions were predicted to be inferior to emotional words in L2 attrition. In addition, the modified Revised Hierarchical Model for emotion could be adopted to justify the modulation of the emotion–memory effects upon L2 lexical attrition. (shrink)

Concerns with improper collection and usage of personal information by businesses or governments have been seen as critical to the success of the emerging electronic commerce. In this regard, computer professionals have the oversight responsibility for information privacy because they have the most extensive knowledge of their organization's systems and programs, as well as an intimate understanding of the data. Thus, the competence of these professionals in ensuring sound practice of information privacy is of great importance to both researchers and (...) practitioners. This research addresses the question of whether male computer professionals differ from their female counterparts in their self-regulatory efficacy to protect personal information privacy. A total of 103 male and 65 female subjects surveyed in Taiwan responded to a 10-item questionnaire that includes three measures: protection, non-distribution, and non-acquisition. The findings show significant gender differences exist in the subjects' overall self-regulatory efficacy for information privacy, and, in particular, that female subjects in this study exhibited a higher level of self-regulatory efficacy than males for the protection and non-acquisition of personal privacy information. The identification of the factorial structure of the self-regulatory efficacy concerning information privacy may contribute to future research directed to examining the links between privacy efficacy and psychological variables, such as ethical attitude, ethical intention, and self-esteem. Studies can also be extended to investigate how different cultural practices of morality and computer use in men and women may shape the different development patterns of privacy self-efficacy. Understanding the different cultural practices may then shed light on the social sources of privacy competence and the appropriate remedies that can be provided to improve the situation. (shrink)