An instance of the classical Stable Roommates problem (sr) need not admit a stable matching. This motivates the problem of finding a matching that is “as stable as possible”, i.e. admits the fewest number of blocking pairs. In this paper we prove that, given an sr instance with n agents, in which all preference lists are complete, the problem of finding a matching with the fewest number of bloc...

Railroad terminal performance directly affects network capacity and an important element of terminal efficiency is railcar inspection and repair. New technologies to automate railcar inspections can improve railroad terminal efficiency by reducing inspection times and improving operations. This research applies Lean Manufacturing methods to the railcar maintenance process and investigates poten...

In the United States, railways are the major means to trans-continentally move goods from ports to the various inland destinations. Due to mergers and abandonment of rail lines, there has been a reduction in the track capacity, concentrating rail traffic to fewer lines. In addition to this, booming trade with Pacific Rim nations has seen the annual trade in the Ports of Los Angeles and Long Bea...

ion In Model Checking Real-Time Temporal Logic of Knowledge CongHua Zhou Jiangsu University, Zhenjiang, 212013, China Email: [email protected] Bo Sun Jiangsu University, Zhenjiang, 212013, China Email: [email protected] Abstract—Model checking in real-time temporal logic of knowledge TACTLK confronts the same challenge as in traditional model checking, that is the state space explosion problem. I...

The air preheater of coal-fired units has the problem ash blocking. Combining working principle and blocking mechanism, FLUENT uses porous media model to simulate preheater, corresponding mass flow rate at different speeds or side inlets is obtained. temperature results are compared analyzed, a reasonable used reduce clogging.

As railroad bridge is one of the most important infrastructures of railway, the safety of bridge has a direct effect on railway operation efficiency and safety. In this paper, we propose a distributed railway bridge monitoring platform based on the Internet of Things (IOT) to monitoring the state of bridge safety. We made detailed research on the sensor nodes deployment, sensing data updating a...

On North American freight railways, railcars transported in manifest (carload) trains are required to stop and be resorted at multiple intermediate classification (marshalling) yards before reaching their destination. Yard dwell time comprises the majority of total railcar transit time, railway yard congestion can further promote mainline train delay. However, most literature on railroad perfor...