Dry port construction can reduce the cost of container transportation, and its location is the focus of existing research. Considering dry port capacity limitations and scale advantages, this study calculates the costs associated with dry port construction and operations, transportation, time, and the environment and constructs a joint optimization model of the dry port location and transportation scheme to minimize the total cost. Taking 35 prefecture-level cities in Northeast China as the source of container goods and Dalian port as the (...) destination, this study conducts an empirical analysis using the Gurobi 9.0.2 optimizer of the AMPL software to solve the problem and takes the minimum total cost as the goal to select the best dry port and container transshipment scheme. The research draws the following conclusions. Seven dry ports also need to be built in the road-rail mode, which shares 82.76% of the container transshipment volume, to reduce the total transportation cost by approximately 21.67%. Although multimodal transport through dry ports increases the time cost slightly, it can significantly reduce the economic and environmental costs of container transportation. (shrink)

Chu tu wen xian yu ru dao guan xi " nei rong jian jie: ru dao guan xi shi yi xiang gui mo hong da de yan jiu ke ti, ta she ji daozheng ge Zhongguo si xiang shi de nei zai jie gou he fa zhan guo cheng, she ji dao Zhongguo wen hua jin hou de zou xiang, yi yi zhong da. Er shi shi ji yi hou, yi huo de le shu liang ke guan de yan jiu (...) cheng guo. Zui jin chu tu wen xian de da liang yong xian you wei zhe ge wen ti de tao lun ti gong le xu duo xin cai liao, xin shi ye, xin guian dian."Chu tu wen xian yu ru dao guan xi " shou ji le 30 duo pian you dai biao xing de lun wen, tong guo "Kong Lao Meng Zhuang zhi bian", "Ru dao hu bu yu ying xiang", "Chu tu wen xian xin shi ye" san ge ban kuai jia yi cheng xian, xi wang du zhe jie ci dui yi wang ru dao guan xi yan jiu de fa zhan mai luo yu kuang jia you zong ti de ba wo, bing you ci kai chu xin de yan jiu tian di. (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)

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

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

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

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)

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)