JP2019155977A - Electronic interlocking device - Google Patents

Abstract

To provide an electronic interlocking device capable of executing control in accordance with on-site device information through nonperiodic processing at the electronic interlocking device.SOLUTION: An electronic interlocking device 1 has an interlocking logical unit 10 that inputs information indicating the state of an on-site device (signal machine 21, switch 22, or track circuit 23) or a lever together with a time stamp or a sequence number at an optional timing, and carries out prescribed outputting in response to the inputted signal. The interlocking logical unit 10 determines whether information necessary for establishing an output among the inputted pieces of information has been prepared.SELECTED DRAWING: Figure 1

Description

  The present invention relates to an interlocking device for controlling a traffic signal and a switch in a station on a railway, and more particularly to an electronic interlocking device using a computer.

  An interlocking device is a device that prevents the collision and derailment of a train and ensures safety by controlling on-site equipment such as traffic lights and switchboards in a railway station according to a predetermined logic. The device is known.

  For example, the relay interlocking device realizes the interlocking function described above by a relay (relay), and the electronic interlocking device realizes the interlocking function by a computer. The conventional electronic interlocking device performs all interlocking processes in a fixed order based on the field equipment and the information of the lever state taken in at a constant cycle.

  In addition, the electronic interlocking device employs various means in order to realize the ease of analysis and to perform interlocking processing in response to field equipment while ensuring safety. For example, the electronic interlocking device described in Patent Document 1 edits change information from the electronic interlocking device body using time information and sequence information, stores the information in a memory, and needs information stored in the memory. In the signal monitoring device that performs output processing according to the information, the editing processing is performed using the information of the periodic processing in the electronic interlocking device main body and stored in the memory, and the information stored in the memory is stored in the periodic cycle as necessary. A configuration is provided in which output control means for performing output processing corresponding to processing information is provided.

  As a result of having such a configuration, the electronic interlocking device described in Patent Document 1 outputs information with a time accuracy of a fixed period of the electronic interlocking device main body without shortening the information capture time interval in the signal monitoring device. Therefore, detailed analysis can be performed.

  Moreover, 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, When the course information or field device information changes, the unit performs linked processing that responds immediately to the change, and generates linked output, and the background processing unit performs all linked processing within a fixed order. And the configuration is such that the quality of the linked processing of the event processing unit is confirmed.

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

JP 2010-335417 A JP-A-6-321103

  However, in the electronic interlocking device described in Patent Document 1, the technology of the signal monitor device that analyzes the change information from the electronic interlocking device main body by using time information and sequence information to analyze the time change finer than the capture period. Although shown, since the analyzed result is past information, the time when the state changes is known. On the other hand, regarding the relationship between the electronic interlocking device main unit and the field device, the electronic interlocking device main body needs to perform calculations based on information determined to ensure safety. There is a problem that the interlocking process cannot be performed until the state change is confirmed.

  Further, in the electronic interlocking device described in Patent Document 2, the event processing unit and the background processing unit can be configured to perform interlocking processing in response to input information. There is a problem in that asynchronous processing cannot be realized with fine granularity such as one output information unit.

  As described above, since the conventional electronic interlocking device is based on the periodic processing (synchronization processing), if all the input information is not available, the output cannot be performed, and the control corresponding to the field device information is performed immediately. There was a problem that it was not possible. In addition, transmission between the field device and the interlocking processing unit of the interlocking device requires appropriate performance and reliability that do not interfere with the periodic 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 that can perform non-periodic processing of the electronic interlocking device and perform control in response to field device information.

  An electronic interlocking device according to the present invention for solving the above-described problems is a field device or information indicating the state of the lever is input at an arbitrary timing together with a time stamp or a sequence number, and a predetermined output is output according to the input signal. An electronic interlocking device having an interlocking logic unit to perform, wherein the interlocking logic unit performs a determination process of determining whether information necessary for determining an output is prepared among input information. .

  In the electronic interlocking device according to the present invention, it is preferable that the determination process determines that all inputs related to an arbitrary output are considered necessary.

  Further, in the electronic interlocking device according to the present invention, the determination process performs a search process for searching for a pattern that can be taken by an undetermined input, and outputs any pattern as a result of the search process. It is preferable to determine that the information necessary for determining the output has been prepared when there is no change.

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

  Further, in the electronic interlocking device according to the present invention, the determination process performs a search process for searching for a set of patterns that can be accepted by uncertain inputs that give different outputs, and when the corresponding set is detected. It is preferable that the search process is interrupted and it is determined that information necessary for finalizing the output is not available, and the search process uses a SAT solver or an SMT solver.

  According to the electronic interlocking device of the present invention, because it has an interlocking logic unit that inputs information indicating the state of the field equipment and the lever at an arbitrary timing and performs a predetermined output according to the input signal, Asynchronous processing is possible, and linked processing can be performed more promptly in response to the on-site equipment and the lever state. By performing such asynchronous processing, it is possible to flexibly select the input period 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 path. Can be realized. In addition, since long-distance transmission is possible, it is possible to install an interlocking logic unit without depending on the position of field equipment, and in the event of an abnormality, it is possible to minimize the area affected by the abnormality. .

The figure for demonstrating the outline of the electronic interlocking device which concerns on this embodiment. The typical logic diagram of the electronic interlocking device which concerns on this embodiment. A table showing the management status of inputs and internal status. The time chart which shows operation | movement of the electronic interlocking device which concerns on 1st Embodiment. 5 is a time chart showing a state in which there is further input from the state of FIG. The time chart which shows operation | movement of the electronic interlocking device which concerns on 2nd Embodiment. The time chart which shows operation | movement of the electronic interlocking device which concerns on 2nd Embodiment.

  Below, the electronic interlocking device concerning embodiment of this invention is demonstrated in detail using drawing.

  FIG. 1 is a diagram for explaining the outline of the electronic interlocking device according to the present embodiment, FIG. 2 is a schematic logic diagram of the electronic interlocking device according to the present embodiment, and FIG. 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 there is further input 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 field devices such as a traffic light 21 near a station 20, a switch 22 and a track circuit 23. The switch 22 and the track circuit 23 are each connected to an interface terminal 24. Further, the control panel 25 is connected to the interlocking logic unit 10 and inputs information indicating each field device and the lever state together with a time stamp or a sequence number. The interlocking logic unit 10 performs processing of 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 connecting via the IP network, various information is sent to the interlocking logic unit 10 together with information indicating the state change of the field equipment such as the relay or falling of the relay, a time stamp indicating real time, and a sequence number indicating time series information. In addition to being able to input, since long distance transmission is possible, the interlocking logic unit 10 can be installed regardless of the position of the field device.

[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 a field device or lever state such as the traffic light 21 or the switch 22 and the output corresponds to a control signal for the field device.

  In addition, the V-shaped symbol written on each input and output indicates a contact point that conducts when there is no excitation (falling) when the V-shaped symbol opens on the lower side, and opens on the upper side. In this case, a contact point that conducts during excitation (upper side) is shown.

  In the conventional electronic interlocking device, the above-described four inputs 1, 2, 3, and 5 are acquired at a constant cycle at a time, and calculation for two outputs at once is performed repeatedly at a constant cycle. In the electronic interlocking device 1 according to the embodiment, information indicating the field device and the lever state is input to the interlocking logic unit 10 at an arbitrary timing together with a time stamp or a sequence number.

  As shown in FIG. 3, the input / internal state is managed together with the time stamp or sequence number as shown in FIG. 3, and the interlocking logic unit 10 determines whether the information necessary to confirm the output is available. . In the determination process of the electronic interlocking device 1 in the present embodiment, the calculation is performed assuming that all the related inputs are necessary. In FIG. 2, the input / internal state related to the output 4 is the inputs 1, 2, and 3. Yes, the input / internal state related to output 6 is input 5. In the electronic interlocking device 1 in the present embodiment, as shown in FIG. 4, the inputs 1, 2, 3, and 5 are input at arbitrary timings as indicated by black circles in the time chart. In the time chart of FIG. 4, the input / internal states related to the output 4 are 1, 2, and 3. Therefore, the information of the output 4 is updated with the oldest time among the last update times of these inputs. is 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. 0 seconds. Therefore, output 4 has been updated based on the state of input 2 at 56.0 seconds. Further, in the state of FIG. 5 in which a new input is input from the state of FIG. 4, the input at the oldest time is 56.4 seconds of input 3, so that 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 confirm the output and perform the interlocking processing asynchronously even if the input information cannot be obtained at one time. Asynchronous processing can be realized.

[Second Embodiment]
In the determination processing of the electronic interlocking device according to the first embodiment described above, a case has been described in which determination is made assuming that all inputs related to output are necessary among information input at an arbitrary timing. . The electronic interlocking device according to the second embodiment to be described next will explain an example having a form different from that of the first embodiment. Note that members that are the same as or similar to those in the first embodiment described above are given the same reference numerals, and descriptions thereof are omitted.

  In the determination process of the electronic interlocking device according to the present embodiment, a search process is performed to search for patterns of states that can be taken by unconfirmed inputs, and the output is determined as a result of the search process that there is no change in output. To determine that the necessary information is available.

  Specifically, as shown in FIG. 6 and FIG. 7, an undetermined input pattern is searched for 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 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, 3, but the input 2 is Since it is determined that the fall continues until 56.0 seconds, referring to the logic diagram of FIG. 2, regardless of the state of the input 1, the output 4 is determined to rise up to 56.0 seconds. Next, FIG. 7 shows a state in which the output 4 is updated at the time of 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 brute force. However, it is not necessary to examine all the input patterns. If there is at least one set of patterns with different outputs, it is determined that the output is indeterminate. It will be sufficient to wait until.

  As described above, the electronic interlocking device according to the present embodiment searches the input pattern of the undetermined input in a brute force manner and confirms the output when there is no change in the output, thus realizing fine-grained asynchronous processing. It becomes possible to do.

  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 for a set of patterns that can be taken by undecided inputs that give different outputs. When processing is detected and the corresponding set is detected, the search process is interrupted, and it is determined that the information necessary for finalizing the output is not available. In the search process, the SAT solver and SMT solver output is different. A program that can efficiently retrieve an example of the input pattern may be used.

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

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

  1 electronic interlocking device, 10 interlocking logic part, 11 computer, 20 station, 21 traffic light, 22 turning machine, 23 track circuit, 24 interface, 25 control panel.

Claims (5)

An electronic interlocking device having an interlocking logic unit that inputs information indicating the state of the field equipment and the lever together with a time stamp or a sequence number at an arbitrary timing, and performs a predetermined output according to the input signal,
The electronic interlocking device is characterized in that the interlocking logic unit performs a determination process for determining whether information necessary for determining the output is complete among the input information. The electronic interlocking device according to claim 1,
The electronic interlocking device according to claim 1, wherein the determination process determines that all inputs related to an arbitrary output are necessary. The electronic interlocking device according to claim 1,
The determination process performs a search process to search for a brute force pattern that can be taken by an unconfirmed input, and as a result of the search process, in order to determine the output with no change in any pattern An electronic interlocking device characterized by determining that necessary information has been prepared. In the electronic interlocking device according to claim 3,
The electronic interlocking device according to claim 1, wherein the search process interrupts the search process when there is a change in output, and determines that information necessary for finalizing the output is not available. The electronic interlocking device according to claim 1,
The determination process is to perform a search process for searching for a set of patterns that can be taken by unconfirmed inputs that give different outputs, and when the corresponding set is detected, the search process is interrupted and the output is fixed. To find that the necessary information is not available
The search process uses an SAT solver or an SMT solver.

Images