Tazawako-Line

AIST and JR-East

• Fig.1
• Table 1
• Fig.2

---

In, Tazawako-line, bullet trains (BLT) and local trains (LCL) are running on the same single tracks. Therefore, only in some multi-track stations, inbound trains and outbound trains can cross each others and bullet trains can overtake local trains.

The structure of Tazawako-line is shown in Fig.1. It consists of 43 structure modules including 20 station-modules. The arrows on tracks show the available directions and no arrow means that both directions are available. For example, it is possible in Ookama-station that a train overtakes the other train, but it is impossible in Koiwai-station.


The attributes of Tazawako-line are shown in Table 1. Each column in Table 1 is explained as follows:

• Module: The name of each structure module that is a station or a inter-station. The name Mi of inter-station is automatically assigned, where the natural number i counts structure modules even though station names are overwritten by given names.
• CP: The capacity of each structure module.
• Time.LCL (or Time.BLT): The pair of the lower bound and the upper bound of the running or dwelling time of local trains (or bullet trains) in each module.
• Trk.out (or Trk.in): The set of track-numbers that outbound trains (or inbound trains) can use in each modules. The symbol "_"' means no requirements about track-numbers, thus all the tracks can be freely used.

The other attributes are given as follows:

headway = 60 in the inter-station-module M4, 30 in the other structure-modules

• start_time = (0,3600) in local train modules / (100,700) in bulet train modules
• total_time = 6000 in local train modules / 4200 in bulet train modules
• period = 2500
• max_time = 6000

where the time unit is "second" (also see the IEICE paper (PDF: 5.5MB) for the details).

Fig. 2 is the timetable automatically generated by RW-Solver with the help of SMT-Solver Z3 (version 4.5.0), from the railway model of Tazawako-line tazawako.rwm, that contains information given in Fig.1 and Table 1 (also see the IEICE paper (PDF: 5.5MB) for the details).


Return to the main page.