红色歌谣研究综述

在回顾20世纪80年代中后期以来红色歌谣在历史、文学、传承和人物等领域的研究现状的基础上,提出红色歌谣研究与现实社会生活相互动的方向,实现研究空间拓展,研究方法创新和研究导向的现实介入.     

Vocational and academic approaches to maritime education and training (MET): Trends,challenges and opportunities

Traditional seafarer training has always focused on the acquisition and use of practical skills. The prevailing view is that, while this approach addresses a degree of cognitive skills, it focuses on and gives much more emphasis to the acquisition of hands-on practical skills for the performance of specific tasks. On the other hand, academic education has been seen to be much more focused on the development of in-depth analytical and critical thinking skills; cognitive skills that are less reliant on hands-on task-oriented training, but stress critical reading and discussion. The global trend in maritime education and training is increasingly to link an essentially vocational education that provides specific and restricted competence outcomes with more general or deeper academic components leading to an academic qualification. This trend has led to some dilemmas for curriculum development, for training legislation in a global industry, and for achieving desired learning outcomes in a professional setting (in the shipping industry). This paper discusses some of the challenges arising from this trend and the opportunities the trend offers.     

Collection, spillback, and dissipation in pedestrian evacuation: A network-based method

We present a method of predicting pedestrian route choice behavior and physical congestion during the evacuation of indoor areas with internal obstacles. Under the proposed method, a network is first constructed by discretizing the space into regular hexagonal cells and giving these cells potentials before a modified cell transmission model is employed to predict the evolution of pedestrian flow in the network over time and space. Several properties of this cell transmission model are explored. The method can be used to predict the evolution of pedestrian flow over time and space in indoor areas with internal obstacles and to investigate the collection, spillback, and dissipation behavior of pedestrians passing through a bottleneck. The cell transmission model is further extended to imitate the movements of multiple flows of pedestrians with different destinations. An algorithm based on generalized cell potential is also developed to assign the pedestrian flow.     

Rapid first-stage tests of on-ship infection

Protection against on-ship infectious disease—whether due to mishap or to harmful purpose—faces special situational problems. Sometimes, when infection levels on board have reached threshold levels, emergency actions are required. Often, the most thorough strategies for responding to threat are not feasible. A rapid first-stage test (RFT) is a fast, minimally invasive procedure used to rule out from possible infection a large percentage of an infection-threatened group. Prevention and control of on-ship infection need to combine various interconnected tactics. When timely criterion tests are not possible, the medical team must adopt fast alternative measures. The methods used to summarize protection against on-ship infectious agents included a scientific literature review and a web search. The fields of the review were maritime, health, and technology sources. Special attention was paid to material dealing with risks and threats of on-ship penetration by infectious agents, on-ship infection prevalence thresholds, and rapid diagnostic screens. The Bayes rule and the law of large numbers were applied to the analysis, for large on-ship populations, of RFT indications of crossing of an infection prevalence threshold. The increasing risk of serious on-ship infection—either accidental or purposeful—calls for a multi-layered protection approach. RFTs are a key part of the outer layer of such a defense. Well-designed and well-administered RFTs provide several advantages for defense against on-ship infection: low-cost, non-invasive, fast, and focuses on a drastically smaller number of infection possibilities.     

Brittleness analysis and important nodes discovery in large time-evolving complex networks

The brittleness analysis and important nodes detection have been a hot spot in the complex networks. How to get the overall feature of the whole network and how to find out some important nodes are requisites to solve these problems. In this paper, we adopt the trace of the adjacency matrix and the centrality of the complex networks to give a quantitative and qualitative analysis of networks being studied. Results show that the k-shell plays a more important role than the degree centrality and the betweenness in finding important nodes, and it can also be used to give direction on the immunization and maintenance of complex networks.     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.     

The cost saving potential of carsharing in a US context

Carsharing is a vehicle sharing service for those with occasional need of private transportation. Transportation planners are beginning to see great potential for carsharing in helping to create a more diversified and sustainable transport system. While it has grown quickly in the US in recent years, it is still far from the level where it can deliver significant aggregate benefits. A key element to the potential growth of carsharing is its ability to provide cost savings to those who adopt it in favor of vehicle ownership. This research seeks to quantify these potential cost savings. The costs of carsharing and vehicle ownership are compared based on actual vehicle usage patterns from a large survey of San Francisco Bay Area residents. The results of this analysis show that a significant minority of Bay Area households own a vehicle with a usage pattern that carsharing could accommodate at a lower cost. Further research is required to indentify how these cost savings translate to the adoption of carsharing.     

8m长低入口城市客车的开发

国内已开发出多种11-12m长的低入口城市客车,而市场需求量大的8m长低入口城市客车还是空白.本文应用轮顶悬架前桥及短后悬结构专利技术,成功开发出低成本的8m长短后悬低入口城市客车.     

Certificateless message recovery signatures providing girault’s level-3 security

A digital signature with message recovery is a signature that the message itself (or partial of the message) is not required to be transmitted together with the signature. It has the advantage of small data size of communication comparing with the traditional digital signatures. In this paper, combining both advantages of the message recovery signatures and the certificateless cryptography, we propose the first certificatelss signature scheme with message recovery. The remarkable feature of our scheme is that it can achieve Girault’s Level-3 security while the conventional certificateless signature scheme only achieves Level-2 security. The security of the scheme is rigorously proved in the random oracle model based on the hardness of the k bilinear Diffie-Hellman inverse (k-BDHI) problem.     

Joint user and antenna selection for multiuser MIMO downlink with block diagonalization

User selection is necessary for multiuser multiple-input multiple-output (MIMO) downlink systems with block diagonalization (BD) due to the limited free spatial transmit dimensions. The pure user selection algorithms can be improved by performing receive antenna selection (RAS) to increase sum rate. In this paper, a joint user and antenna selection algorithm, which performs user selection for sum rate maximization in the first stage and then performs antenna selection in the second stage, is proposed. The antenna selection process alternately drops one antenna with the poorest channel quality based on maximum determinant ranking (MDR) from the users selected during the first stage and activates one antenna with the maximum norm of projected channel from the remaining users. Simulation results show that the proposed algorithm significantly outperforms the algorithm only performing user selection as well as the algorithm combining user selection with MDR receive antenna selection in terms of sum rate.