JP6859284B2 - Electronic interlocking device - Google Patents

Description

The present invention relates to an interlocking device for controlling a traffic light or a turning machine in a railway station, and particularly to an electronic interlocking device using a computer.

An interlocking device is a device that prevents train collisions and derailments and ensures safety by controlling on-site equipment such as traffic lights and turning machines in railway stations according to a predetermined logic. The device is known.

For example, a relay interlocking device realizes the above-mentioned interlocking function by a relay (relay), and an electronic interlocking device realizes the interlocking function by a computer. In the conventional electronic interlocking device, all interlocking processing is performed in a certain order based on the information of the field equipment and the state of the lever taken in at a certain cycle.

Further, in the electronic interlocking device, various means are adopted in order to realize the ease of analysis and to perform the interlocking process corresponding to the on-site equipment while ensuring the safety. For example, the electronic interlocking device described in Patent Document 1 edits and processes change information from the electronic interlocking device main body using time information and sequence information and stores it in a memory, and requires the information stored in the memory. In the signal monitoring device that outputs according to the above, the editing process is performed using the information of the fixed cycle processing in the electronic interlocking device main body and stored in the memory, and the information stored in the memory is stored in the memory at the fixed cycle as needed. It has a configuration having an output control means for outputting processing corresponding to processing information.

As a result of providing such a configuration, the electronic interlocking device described in Patent Document 1 outputs information with a fixed periodic time accuracy of the electronic interlocking device main body without shortening the information acquisition time interval in the signal monitoring device. Therefore, it is possible to perform a detailed analysis.

Further, the electronic interlocking device described in Patent Document 2 includes an event processing unit and a background processing unit, and is an electronic interlocking device that links between field devices by course information and field device information, and event processing. When the course information or on-site equipment information changes, the unit performs interlocking processing that responds immediately to the change and produces interlocking output, and the background processing unit performs all interlocking processing in a certain order within a certain period of time. It has a configuration in which the quality of the interlocking processing of the event processing unit is confirmed.

As a result of providing such a configuration, the electronic interlocking device described in Patent Document 2 can perform interlocking processing in response to a change in course information or field equipment information, enable high-density operation, and within a certain period of time. By confirming the quality of the interlocking process in response to changes, it is possible to configure an electronic interlocking device that can ensure high safety.

Japanese Unexamined Patent Publication No. 2010-335417 Japanese Unexamined Patent Publication No. 6-321103

However, in the electronic interlocking device described in Patent Document 1, there is a technique of a signal monitoring device that analyzes change information from the main body of the electronic interlocking device by using time information and sequence information to analyze a time change finer than the acquisition cycle. Although shown, the analyzed result is past information, so the time when the state changes is known. On the other hand, regarding the relationship between the electronic interlocking device main body and the field equipment, the electronic interlocking device main body needs to perform calculations based on the information confirmed for safety assurance, but it is not yet when the state of the field equipment will change next. There is a problem that the interlocking process cannot be performed until the state change is confirmed because it is fixed.

Further, in the electronic interlocking device described in Patent Document 2, by configuring the event processing unit and the background processing unit, the interlocking processing can be performed immediately in response to the input information, but the task corresponding to the input can be performed in advance. It must be designed, and there is a problem that asynchronous processing with a fine particle size such as one output information unit cannot be realized.

In this way, since the conventional electronic interlocking device is based on fixed-period processing (synchronous processing), it is not possible to output unless all the input information is prepared, and the control is performed in response to the on-site equipment information. There was a problem that it could not be done. Further, transmission between the field equipment and the interlocking processing unit of the interlocking device is required to have appropriate performance and reliability that do not interfere with the constant cycle processing.

Therefore, the present invention has been made in view of the above problems, and an object of the present invention is to provide an electronic interlocking device capable of performing an electronic interlocking device in an irregular process and performing control in response to on-site equipment information.

The electronic interlocking device according to the present invention for solving the above problems inputs information indicating a field device or a lever state together with a time stamp or a sequence number at an arbitrary timing, and outputs a predetermined output according to the input signal. An electronic interlocking device having an interlocking logic unit to perform the interlocking logic unit, the interlocking logic unit performs a determination process for determining whether the input information includes sufficient information for determining the content of the output, and the determination is performed. The process is necessary to perform a search process that searches for patterns that can be taken by unconfirmed input in a round-robin manner, and to confirm the output when there is no change in the output regardless of the pattern as a result of the search process. It is characterized in that it is judged that the information is complete.

Further, in the electronic interlocking device according to the present invention, it is preferable that the search process interrupts the search process when there is a change in the output and determines that the information necessary for determining the output is not available.

Further, the electronic interlocking device according to the present invention includes an interlocking logic unit that inputs information indicating a field device or a state of the machine at an arbitrary timing together with a time stamp or a sequence number and outputs a predetermined output according to the input signal. The interlocking logic unit has an electronic interlocking device, and the interlocking logic unit performs a determination process of determining whether the input information includes sufficient information for determining the content of the output, and the determination process is different. Performs a search process to search for a set of patterns that give output and can take unconfirmed input, interrupt the search process when the corresponding set is detected, and have all the information necessary to confirm the output. determined not, the search process is characterized to have access to SAT solver or SMT solver.

The electronic interlocking device according to the present invention has an interlocking logic unit that inputs information indicating a field device or a state of the machine at an arbitrary timing and outputs a predetermined output according to the input signal. Asynchronous processing becomes possible, and interlocking processing can be performed more quickly in response to the state of field equipment and levers. By performing such asynchronous processing, it is possible to flexibly select the input cycle and the allowable delay of information transmission according to the purpose of the field equipment, and reduce the cost by relaxing the performance requirements of the field equipment and transmission line. Can be realized. In addition, since long-distance transmission is possible, it is possible to install an interlocking logic unit regardless of the position of on-site equipment, and when an abnormality occurs, the range of influence due to the abnormality can be minimized. ..

The figure for demonstrating the outline of the electronic interlocking apparatus which concerns on this embodiment. The schematic logical figure of the electronic interlocking apparatus which concerns on this embodiment. A table showing the management status of input and internal status. A time chart showing the operation of the electronic interlocking device according to the first embodiment. A time chart showing a state in which further input is made from the state shown in FIG. A time chart showing the operation of the electronic interlocking device according to the second embodiment. A time chart showing the operation of the electronic interlocking device according to the second embodiment.

Hereinafter, the electronic interlocking device according to the embodiment of the present invention will be described in detail with reference to the drawings.

FIG. 1 is a diagram for explaining the outline of the electronic interlocking device according to the present embodiment, FIG. 2 is a schematic logical diagram of the electronic interlocking device according to the present embodiment, and FIG. It is a table showing the management state of the internal state, FIG. 4 is a time chart showing the operation of the electronic interlocking device according to the first embodiment, and FIG. 5 shows a state in which further input is received from the state of FIG. 6 is a time chart showing the operation of the electronic interlocking device according to the second embodiment, and FIG. 7 is a time chart showing the operation of the electronic interlocking device according to the second embodiment. is there.

As shown in FIG. 1, the electronic interlocking device 1 according to the present embodiment displays a configuration including a traffic light 21 in the vicinity of the station 20, a turning machine 22, a track circuit 23, and other on-site equipment. The rolling machine 22 and the track circuit 23 are connected to the interface terminal 24, respectively. Further, the control panel 25 is connected to the interlocking logic unit 10 and inputs information indicating each field device and the state of the lever together with a time stamp or a sequence number. The interlocking logic unit 10 processes information input by the computer 11 and interlocking processing.

It is preferable that the interface terminal 24 and the control panel 25 and the interlocking logic unit 10 are connected by, for example, an IP network. By being connected by an IP network, various information can be sent to the interlocking logic unit 10 together with the time stamp indicating the real time and the sequence number indicating the time series information together with the information indicating the state change of the field equipment such as the relay being lifted or dropped. Since input is possible and long-distance transmission is possible, the interlocking logic unit 10 can be installed regardless of the position of the field equipment.

[First Embodiment]
Next, the operation of the electronic interlocking device 1 according to the present embodiment will be described with reference to FIG. As shown in FIG. 2, the electronic interlocking device 1 according to the present embodiment has four types of inputs 1, 2, 3 and 5 and two types of outputs 4 and 6 as schematic logic. The input corresponds to the state of the field equipment such as the traffic light 21 and the turning machine 22, and the output corresponds to the control signal for the field equipment.

The V-shaped symbol written on each input and output indicates a contact that conducts when the V-shaped symbol is open on the lower side and is not excited (dropped), and is opened on the upper side. If it is, it indicates a contact that conducts during excitation (uplifting).

In the conventional electronic interlocking device, the above-mentioned four inputs 1, 2, 3 and 5 are acquired at a time at a fixed cycle, and the two outputs are calculated at one time, which is repeated at a fixed cycle. In the electronic interlocking device 1 according to the embodiment, information indicating the state of the field equipment and the lever is input to the interlocking logic unit 10 at an arbitrary timing together with the time stamp or the sequence number.

Further, as shown in FIG. 3, the input / internal state of the input information is managed together with the time stamp or the sequence number, and the interlocking logic unit 10 determines whether the information necessary for determining the output is available. .. In the determination process of the electronic interlocking device 1 in the present embodiment, all the related inputs are regarded as necessary and the calculation is performed. In FIG. 2, the inputs / internal states related to the output 4 are the inputs 1, 2 and 3. Yes, the input / internal state related to the output 6 is the input 5. In the electronic interlocking device 1 of the present embodiment, as shown in FIG. 4, the inputs 1, 2, 3 and 5 are input at arbitrary timings as shown by black circles in the time chart. Further, in the time chart of FIG. 4, since the input / internal states related to the output 4 are 1, 2, and 3, the information of the output 4 is updated in the state of the oldest time among the last update times of these inputs. doing. Specifically, in the time chart of FIG. 4, among the inputs 1, 2, and 3 related to the output 4, the latest input is 56.7 seconds of the input 1, and the oldest input is 56. It is 0 seconds. Therefore, the output 4 is updated based on the state of the input 2 at 56.0 seconds. Further, from the state of FIG. 4, in the state of FIG. 5 in which a new input is input, the input of the oldest time is 56.4 seconds of the input 3, so the output is based on the state at the time of 56.4 seconds. 4 has been updated.

As described above, the electronic interlocking device 1 according to the present embodiment can partially determine the output and perform the interlocking process asynchronously even if the input information cannot be obtained at once, so that the fine particle size can be used. Asynchronous processing can be realized.

[Second Embodiment]
In the determination process of the electronic interlocking device according to the first embodiment described above, a case has been described in which all the inputs related to the output among the information input at arbitrary timings are regarded as necessary and the determination is made. .. The electronic interlocking device according to the second embodiment described below describes an embodiment having a form different from that of the first embodiment. The same or similar members as those in the first embodiment described above are designated by the same reference numerals, and the description thereof will be omitted.

The determination process of the electronic interlocking device according to the present embodiment performs a search process for brute force searching for patterns in which undetermined inputs can be taken, and confirms the output when there is no change in the output as a result of the search process. The process of determining that the necessary information is available is being performed.

Specifically, as shown in FIGS. 6 and 7, an undetermined input pattern is searched by brute force, and the output is determined when the output does not change. FIG. 6 is a time chart showing a state before the last (56.7 seconds) information of the input 1 in FIG. 4 is obtained. In this state, the oldest time among the last update times of inputs 1, 2, and 3 is 55.7 seconds of input 1. In the electronic interlocking device according to the first embodiment described above, the output 4 has the last update time of 55.7 seconds of the input 1, which is the input of the oldest time among the inputs 1, 2, and 3, but the input 2 is. Since it is confirmed that the fall continues until 56.0 seconds, referring to the logical diagram of FIG. 2, the output 4 is confirmed to rise up to 56.0 seconds regardless of the state of the input 1. Next, FIG. 7 shows a state in which the output 4 is updated at 56.0 seconds prior to the input 1. In order to realize this, the electronic interlocking device according to the present embodiment searches for an undetermined input pattern by brute force. However, it is not necessary to check all the input patterns, and if there is at least one set of patterns with different outputs, it is judged that the output is uncertain. Therefore, the search is stopped at that point and the next information is input. You just have to wait until.

As described above, the electronic interlocking device according to the present embodiment searches for the input pattern of the undetermined input by brute force and determines the output when there is no change in the output, so that fine-grained asynchronous processing is realized. It becomes possible to do.

In addition, in order to improve the efficiency of the search process in the electronic interlocking device according to the second embodiment described above, in the determination process, a search for searching a set of patterns in which undetermined inputs can be taken, which gives different outputs. When processing is performed and the corresponding set is detected, the search process is interrupted, it is determined that the information necessary to confirm the output is not available, and in the search process, the output such as SAT solver or SMT solver is different and undetermined. You may use a program that can efficiently search for an example of the input pattern of.

In the electronic interlocking device according to the first and second embodiments described above, the input / output dependency can be determined when the connection logic is determined. Therefore, even in these embodiments, some of the operations may be performed at the time of compiling the software, or all of the operations may be performed at the time of execution. In addition, a part of the calculation result at the time of execution may be cached and reused in the subsequent calculation.

Further, the time stamp or sequence number on the input side may be assigned by a field device, or may be assigned by a relay device such as a router, a hub, or a repeater connected to one or more field devices. Further, when a sequence number is used, it is preferable that the interlocking logic unit performs numbering and management, and when a time stamp is used, the interlocking logic unit may assign and manage the time stamp. The field equipment may have its own clock and the field equipment may add a time stamp. It is clear from the description of the claims that the form with such changes or improvements may be included in the technical scope of the present invention.

1 Electronic interlocking device, 10 Interlocking logic unit, 11 Computer, 20 stations, 21 Traffic light, 22 Rolling machine, 23 Track circuit, 24 Interface, 25 Control panel.

Claims (3)

An electronic interlocking device having an interlocking logic unit that inputs information indicating the state of field equipment or a lever together with a time stamp or sequence number at an arbitrary timing and outputs a predetermined value according to the input signal.
The interlocking logic unit performs a determination process for determining whether the input information contains sufficient information to determine the content of the output.
The judgment process is a search process for brute force searching for patterns that can be taken by unconfirmed input, and as a result of the search process, the output is determined when there is no change in the output regardless of the pattern. An electronic interlocking device that determines that the necessary information is available. In the electronic interlocking device according to claim 1,
The electronic interlocking device is characterized in that the search process interrupts the search process when there is a change in the output and determines that the information necessary for determining the output is not available. An electronic interlocking device having an interlocking logic unit that inputs information indicating the state of field equipment or a lever together with a time stamp or sequence number at an arbitrary timing and outputs a predetermined value according to the input signal.
The interlocking logic unit performs a determination process for determining whether the input information contains sufficient information to determine the content of the output.
The judgment process is to perform a search process for searching for a set of patterns in which undetermined inputs can be taken, which gives different outputs, interrupts the search process when the corresponding set is detected, and confirms the output. Judging that the necessary information is not available,
The search process is an electronic interlocking device characterized by using a SAT solver or an SMT solver.

Images