ZPW-2000A调谐区SVA阻抗值对调谐区品质因数的影响分析

ZPW-2000A无绝缘轨道电路调谐区由1型调谐单元、钢轨、空心线圈、2型调谐单元构成,本区段所连接的调谐单元显容性,钢轨、空心线圈和邻区段连接的调谐单元呈感性,这两部分形成并联谐振.分析普速铁路Z P W-2000A空心线圈S V A阻抗值对整体谐振电路的影响,提出调谐区小轨道电路品质因数的计算方法,通过提高调谐区品...     

Fault diagnosis for singular stochastic systems

This paper studies the fault diagnosis of singular stochastic systems. The probability distribution of output is measured by probability density functions (PDFs), which are modeled by a square root B-spline expansion. An adaptive nonlinear observer is proposed to estimate the size of the fault occurring in systems. Furthermore, the linear matrix inequality (LMI) approach is applied to establish sufficient conditions for the existence of the observer. Finally, the simulation results are given to indicate the method for diagnosing the fault.     

红色歌谣研究综述

在回顾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长短后悬低入口城市客车.