Abstract: A train control device including a control logic generation unit that uses an environmental model defined by the number of a plurality of closed sections constituting a track included in a predetermined control target region, a connection configuration of the closed sections, and the number of trains present on the track, a state of the environmental model being changed discretely according to a combination of a position of one control target train that is the train to be controlled, positions of zero or more other trains, and the presence or absence of reservation for each of the closed sections, and generates a control logic that is a logic for transitioning the state of the environmental model depending on the state of the environmental model so as to satisfy a predetermined condition, and a regeneration instruction unit that instructs the control logic generation unit to regenerate the control logic.

Abstract: In the present invention, a resource management device receives transmission of a reservation request for a block section to be reserved from among a plurality of block sections included in a track traveled by a vehicle on the basis of track information which indicates the plurality of block sections and the connection relationships of the block sections. In a case where the block section to be reserved, as indicated by the reservation request, has not already been reserved by a vehicle other than the vehicle that transmitted the reservation request at the point in time when such reservation request was received, the following is recorded in a management table: that the block section to be reserved as indicated by the reservation request and a connection boundary between that block section and another block section are objects reserved for the vehicle that transmitted the reservation request.

Abstract: A train control device including a control logic generation unit that uses an environmental model defined by the number of a plurality of closed sections constituting a track included in a predetermined control target region, a connection configuration of the closed sections, and the number of trains present on the track, a state of the environmental model being changed discretely according to a combination of a position of one control target train that is the train to be controlled, positions of zero or more other trains, and the presence or absence of reservation for each of the closed sections, and generates a control logic that is a logic for transitioning the state of the environmental model depending on the state of the environmental model so as to satisfy a predetermined condition, and a regeneration instruction unit that instructs the control logic generation unit to regenerate the control logic.

Abstract: A powering pattern representing velocity of a vehicle at each position of a powering interval in a braking delay period between a timing at which the vehicle exceeds allowable velocity and a braking timing at which the vehicle starts to brake, and a coasting pattern representing velocity of the vehicle at each position of a coasting interval subsequent to the powering interval in the braking delay period are calculated after calculating a braking pattern representing velocity of the vehicle in a braking interval, which is a running interval subsequent to the coasting interval and which occurs between a position of the vehicle at the braking timing and a target position for controlling the vehicle to run at predetermined velocity or less, wherein an acceleration characteristic depending on velocity of the vehicle is used to calculate at least the powering pattern.

Abstract: The limit information acquisition unit is configured to acquire limit information including speed limit information and the position information corresponding to the speed limit, from a vehicle speed limit unit that is configured to set the speed limits at a plurality of positions in order to achieve a predetermined deceleration completion speed at the speed limit start position. The current position acquisition unit is configured to acquire a current position of the vehicle. The current speed acquisition unit is configured to acquire a current speed of the vehicle. The travel curve generation unit is configured to generate a travel curve which satisfies the speed limit at each position obtained from the limit information according to the acquired limit information, the current position, and the current speed. The speed command unit is configured to generate a speed command according to the generated travel curve and the current position.

Abstract: A moving body control device for controlling a moving body, including an information acquisition unit that acquires moving body-specific information including a bogie position and a vehicle body mass, a moving body position, a moving body velocity, and track information including a curvature for each position of the track, and a feedforward steering angle calculation unit that calculates a steering angle by using the moving body-specific information, the moving body position, the moving body velocity, and the track information. The feedforward steering angle calculation unit calculates the steering angle according to a sum of a kinematic component calculated based on a geometrical relationship between the bogie position and the curvature of a track, and a dynamic component calculated based on an equation of motion including the bogie position, the vehicle body mass, the moving body velocity, and the curvature and a curvature change rate of the track.

Abstract: One embodiment of the present invention is a train control system which is a device executing an exclusive control between trains for each of a plurality of sections dividing up a track, wherein said train control system comprises: an on-ground device which manages whether each of the trains has a right to advance into each of the sections; and, an on-board device which is mounted on the trains, said trains comprising an on-board branch device, and with respect to one of the sections to which the on-ground device has given a certain train the right to advance, if said section is a branch section, which is a section that includes a branch, and when a branch direction of the train in said branch section and a branch direction of the on-board branch device coincide, said on-board device self-determines whether it is possible to advance into said branch section.

Abstract: A control device controls travel direction of a traveling body that travels along a plurality of magnetic markers arranged with intervals therebetween on a track, the control device including: a first sensor for detecting the magnetic markers; a second sensor for detecting speed or acceleration; a first lateral position calculation unit for calculating a lateral position of the traveling body by a detection result from the first sensor, when the first sensor has detected a magnetic marker; a second lateral position calculation unit for calculating a lateral position of the traveling body by a detection result from the second sensor, when the first sensor is not detecting a magnetic marker; and a travel direction control unit for controlling the travel direction of the traveling body by the lateral position of the traveling body as calculated by the first lateral position calculation unit or the second lateral position calculation unit.

Abstract: A travel management device is configured to transmit a reservation request for a block section to be reserved based on track information indicating a plurality of block sections constituting a track on which a vehicle travels and a connection relationship between the block sections, the block section to be reserved being among the block sections included in the track on which the vehicle travels. A resource management device is configured to record the block section to be reserved indicated by the reservation request as a reserved block section of the vehicle which has transmitted the reservation request in case where the block section to be reserved indicated by the reservation request is not reserved by a vehicle other than the vehicle which has transmitted the reservation request at a time at which the reservation request is received.

Abstract: In the present invention, a resource management device receives transmission of a reservation request for a block section to be reserved from among a plurality of block sections included in a track traveled by a vehicle on the basis of track information which indicates the plurality of block sections and the connection relationships of the block sections. In a case where the block section to be reserved, as indicated by the reservation request, has not already been reserved by a vehicle other than the vehicle that transmitted the reservation request at the point in time when such reservation request was received, the following is recorded in a management table: that the block section to be reserved as indicated by the reservation request and a connection boundary between that block section and another block section are objects reserved for the vehicle that transmitted the reservation request.

Abstract: The verification-processing device includes an acquisition unit that is configured to acquire a circuit logic model represented by an evaluation expression represented by a logical expression taking as variables, a relay, an element, and a connection line that form a relay logic circuit to be verified, the evaluation expression including at least a logical expression for a case where a failure event occurs in the relay logic circuit; and a determination unit that is configured to determine the logical state of an output of the relay when a failure event occurs in the element or the connection line, based on the circuit logic model.

Abstract: A software-testing device includes a conversion unit configured to convert a PLC program for operating a programmable logic controller into a general-purpose language program described in a general-purpose programming language, and a test execution unit configured to perform a test on the general-purpose language program.

Abstract: The present invention provides an operation system which can finely control the operation of a train in response to the operation state of the train at low cost in a traffic system that uses a process of dynamically setting a path and an operation interval. This traffic control system is provided with: on-board control units installed on trains that are traveling, and an on-ground control unit installed on the ground. The on-board control units are installed on a plurality of trains, respectively, the operations of which are managed by the traffic control systems, perform a track demand on the basis of a delivered operation mode, and deliver information on the track demand to the on-ground control unit. The on-ground control unit controls the progress of the train on the basis of the delivered track demand.

Abstract: The verification-processing device includes an acquisition unit that is configured to acquire a circuit logic model represented by an evaluation expression represented by a logical expression taking as variables, a relay, an element, and a connection line that form a relay logic circuit to be verified, the evaluation expression including at least a logical expression for a case where a failure event occurs in the relay logic circuit; and a determination unit that is configured to determine the logical state of an output of the relay when a failure event occurs in the element or the connection line, based on the circuit logic model.

Abstract: A brake control device includes a mechanical brake output determination unit configured to determine the stage number of a braking force on the basis of a target deceleration of a moving body from one or a plurality of braking force stages output from a mechanical brake included in the moving body, a mechanical braking force estimation unit configured to estimate braking force of the mechanical brake corresponding to the stage number determined by the mechanical brake output determination unit, and a regenerative brake control unit configured to output a regenerative brake command value such that a regenerative brake included in the moving body outputs a braking force corresponding to a difference between target braking force based on the target deceleration and the braking force estimated by the mechanical braking force estimation unit.

Abstract: A powering pattern representing velocity of a vehicle at each position of a powering interval in a braking delay period between a timing at which the vehicle exceeds allowable velocity and a braking timing at which the vehicle starts to brake, and a coasting pattern representing velocity of the vehicle at each position of a coasting interval subsequent to the powering interval in the braking delay period are calculated after calculating a braking pattern representing velocity of the vehicle in a braking interval, which is a running interval subsequent to the coasting interval and which occurs between a position of the vehicle at the braking timing and a target position for controlling the vehicle to run at predetermined velocity or less, wherein an acceleration characteristic depending on velocity of the vehicle is used to calculate at least the powering pattern.

Abstract: A software-testing device includes a conversion unit configured to convert a PLC program for operating a programmable logic controller into a general-purpose language program described in a general-purpose programming language, and a test execution unit configured to perform a test on the general-purpose language program.

Abstract: A travel management device is configured to transmit a reservation request for a block section to be reserved based on track information indicating a plurality of block sections constituting a track on which a vehicle travels and a connection relationship between the block sections, the block section to be reserved being among the block sections included in the track on which the vehicle travels. A resource management device is configured to record the block section to be reserved indicated by the reservation request as a reserved block section of the vehicle which has transmitted the reservation request in case where the block section to be reserved indicated by the reservation request is not reserved by a vehicle other than the vehicle which has transmitted the reservation request at a time at which the reservation request is received.

Abstract: A brake control device includes a mechanical brake output determination unit configured to determine the stage number of a braking force on the basis of a target deceleration of a moving body from one or a plurality of braking force stages output from a mechanical brake included in the moving body, a mechanical braking force estimation unit configured to estimate braking force of the mechanical brake corresponding to the stage number determined by the mechanical brake output determination unit, and a regenerative brake control unit configured to output a regenerative brake command value such that a regenerative brake included in the moving body outputs a braking force corresponding to a difference between target braking force based on the target deceleration and the braking force estimated by the mechanical braking force estimation unit.

Abstract: An operation management device that manages the operation of a plurality of vehicles that travel along a track is provided with: a vehicle position acquisition unit that acquires the positions of the plurality of vehicles that are present on the track; a density calculation unit that calculates the density of the plurality of vehicles that are traveling along the track within a predetermined range; and a departure determination unit that adjusts the departure time of a target vehicle from a station at which the vehicle stops on the basis of a front direction density indicating the density of vehicles that are traveling within a predetermined range in front of the predetermined target vehicle in the travel direction thereof and a back direction density indicating the density of vehicles that are traveling within a predetermined range in back of the predetermined target vehicle in the travel direction thereof.