We present new results for the transition to the continuum of an initially bound quantum particle subject to a harmonic forcing. Using rigorous exponential asymptotics methods we obtain explicit expressions, as generalized Borel summable transseries, for the probability of localization in a specified spatial region at time t. The transition to the continuum occurs for general compactly supporte...

The dispatching center of power-grid companies is also the data center of the power grid where gathers great amount of operating information. The valuable information contained in these data means a lot for power grid operating management, but at present there is no special method for the management of operating data resource. This paper introduces the operating analysis and data mining system ...

For performance reasons, it is desirable for Java just-in-time (JIT) compilers to statically identify array element accesses that can never cause an out of bounds exception, but the most precise analyses are too expensive to run in JIT compilers. We present verifiable annotations that can be added to Java programs to capture the results of range analyses as claimed linear inequalities and proof...

This research presents a heuristic for sequencing mixed-model production schedules for assembly lines when JIT production is an objective, and setup requirements are present. The heuristic examines a sequence and determines an objective function value based upon the parts usage rate (Miltenburg 1989) and the number of setups involved. This sequence is then altered in the hope of ® nding a bette...

In today's mixed-model assembly production, there are two recent trends in particular, namely increasing vertical integration and the proliferation of product variety, which more and more shift focus to an e cient just-in-time part supply. In this context, many automobile manufacturers set up decentralized logistics areas referred to as supermarkets . Here, small tow trains are loaded with part...

Dynamically typed languages are becoming increasingly popular for different software development scenarios where runtime adaptability is important. Therefore, existing class-based platforms such as Java and .NET have been gradually incorporating dynamic features to support the execution of these languages. The implementations of dynamic languages on these platforms commonly generate an extra la...