Abstract: A movable body that moves automatically includes a plurality of sensors configured to detect an obstacle in a periphery of the movable body, a selection information acquisition unit configured to acquire selection information indicating a sensor, of the plurality of sensors, to be used for detection of the obstacle, the sensor being set based on a relationship between a reference position of the obstacle and a position of the movable body, and a detection control unit configured to cause the sensor indicated by the selection information to detect the obstacle, and identify a position of the obstacle from a detection result of the obstacle.

Abstract: A verification processing device includes: an inspection processing unit which extracts elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected; a refinement processing unit which determines, for each of the extracted elements, whether the element contributes to the occurrence of the insecure event and refines a cause element which is an element of a cause of the insecure event; and a receiving unit which receives, from an operator, a selection of at least one cause element from among a plurality of the cause elements, wherein the inspection processing unit performs the model inspection once again on an improved model to be inspected which is a new model to be inspected in which a prescribed measure is executed for the selected cause element.

Abstract: A management system includes: calculation devices of a plurality of lower block chains; and a calculation device of an upper block chain. Each of the calculation devices of the lower block chains includes: a data accepting unit configured to accept registration of transaction data; a first block data generating unit configured to generate first block data; a hash calculating unit configured to calculate a hash value of a block data group; a registration requesting unit configured to request registration of the hash value; and a deletion processing unit configured to delete all the first block data. The calculation device of the upper block chain includes: a registration accepting unit configured to accept a registration request for registering the hash value; a second block data generating unit configured to generate second block data; and a data verifying unit configured to determine presence or absence of invalidity in the first block data.

Abstract: This validation processing device is provided with: a processing unit that performs model checking on a model to be checked; and a selection unit that selects, on the basis of the result of the model checking, one element from among elements that have undergone state change in a process leading to an unsafe event. The processing unit further performs model checking again on the model to be checked excluding the one element.

Abstract: An edge device is configured to automatically establish a connection with a remote monitoring device when an abnormality has occurred in a plant. The edge device includes a controller configured to detect the abnormality based on data regarding an observation target device, and a connection establishment unit configured to establish a connection with the remote monitoring device such that the remote monitoring device is able to remotely access the edge device when the controller has detected the abnormality and determined that the abnormality matches a predetermined condition, wherein the remote access is a connection for remotely checking a state of the observation target device, or for enabling a remote manipulation of the observation target device.

Abstract: This validation processing device is provided with: a processing unit that performs model checking on a model to be checked; and a selection unit that selects, on the basis of the result of the model checking, one element from among elements that have undergone state change in a process leading to an unsafe event. The processing unit further performs model checking again on the model to be checked excluding the one element.

Abstract: A remote service system includes a first computer terminal configured to add a first signature to control information representing control content to be applied to a facility and transmit the control information and a second computer terminal configured to cause the control content represented by the control information to be applied to the facility, wherein the first computer terminal and the second computer terminal are connected by a first communication network and wherein the second computer terminal and the facility are connected by a second communication network.

Abstract: A pallet detection device comprises: a point cloud acquisition unit configured to acquire point cloud data indicating a point cloud measured by a two-dimensional distance measurement device on a depth map; a straight line detection unit configured to detect a straight line corresponding to a front surface of a pallet based on the point cloud in a region presumed to include the front surface of the pallet in the point cloud data; a line segment detection unit configured to detect a line segment indicating the front surface of the pallet based on the straight line; and a position/orientation acquisition unit configured to acquire position and orientation of the pallet based on the line segment.

Abstract: A plant monitoring system includes a plurality of distributed recording units in which programs for transmitting at least a portion of a group of a pieces of state monitoring information of the plant to a predetermined information processing device are previously recorded in a plurality of storage devices in a distributed manner, a determination unit that sequentially acquires the pieces of state monitoring information and determines whether or not the acquired pieces of state monitoring information satisfy a program execution condition prescribed in advance, and an execution request output unit that outputs a program execution request corresponding to the program execution condition to the distributed recording units in a case where the program execution condition is satisfied. Each of the distributed recording units includes a program execution processing unit that reads and executes the program designated by the execution request in a case where the execution request is output.

Abstract: An evaluating device includes a first acquisition unit configured to acquire a first index, a second acquisition unit configured to acquire a second index, and an evaluating unit configured to evaluate reliability. The first index indicates the difference between learning input data and actual operation input data in data space. The second index indicates the difference in the ignition tendency of the neurons between the time of input of the learning input data in the learning model of the neural network and the time of input of the actual operation input data in the learning model of the neural network. The evaluating unit evaluates the reliability of the prediction value output from the learning model with respect to the actual operation input data based on the first index acquired by the first acquisition unit and the second index acquired by the second acquisition unit.

Abstract: Provided is learning device that is a learning device of a neural network model whose bond strength between multiple neurons is represented as a weighting coefficient. The learning device is configured to optimize the weighting coefficient by using an evaluation function that includes a model reliability based on the degree of firing of each neuron of the multiple neurons and a prediction error obtained using the neural network model.

Abstract: A model evaluating device is configured to evaluate performance of a prediction model configured to generate predicted values of a target variable for an explanatory variable. The model evaluating device includes a generating unit configured to generate expanded MR data by transforming evaluation data, and an evaluating unit configured to evaluate the performance of the prediction model based on a first predicted value generated by the prediction model based on the evaluation data, and a second predicted value generated by the prediction model based on the MR data.

Abstract: A terminal includes: a first acquisition unit configured to acquire designated work information, indicating details of work performed by a movable body, input from a user; an output unit configured to output the designated work information to an external device; a second acquisition unit configured to acquire, from the external device, set work information indicating the details of the work performed by the movable body generated based on the designated work information; and a display control unit configured to display the set work information on a display unit.

Abstract: A model optimization device is configured to optimize a prediction model configured to generate predicted values of a target variable for an explanatory variable. The model optimization device includes a generating unit configured to generate expanded MR data by transforming training data, and an optimization unit configured to cause the prediction model to learn and optimize the prediction model based on a first predicted value generated by the prediction model based on the training data, and a second predicted value generated by the prediction model based on the MR data.

Abstract: A control device includes a route acquisition unit configured to acquire a route of a movable body for moving a plurality of aligned target objects to or from a target position at which the target objects are to be picked up or dropped, a reference position/posture acquisition unit configured to acquire information on a route at which the movable body picks up or drops a first target object at the target position, and an information output unit configured to output the information acquired by the route acquisition unit to the movable body, in which the route acquisition unit acquires routes of the movable body for moving second and subsequent target objects, based on the information acquired by the reference position/posture acquisition unit.

Abstract: An arithmetic device is an arithmetic device configured to output information to a moving object that automatically moves. The arithmetic device includes: a target object information acquisition unit configured to acquire, from a sensor provided in a place other than to the moving object, a detection result of position information of a target object, the position information being information related to position and orientation of the target object; a route setting unit configured to set, based on the position information of the target object, a route to a target position at which predetermined position and orientation relative to the target object are reached; and an information output unit configured to output information of the route to the moving object.

Abstract: An edge device is configured to automatically establish a connection with a remote monitoring device when an abnormality has occurred in a plant. The edge device includes a controller configured to detect an abnormality based on data regarding an observation target device, and a connection establishment unit configured to establish a connection with the remote monitoring device such that the remote monitoring device is able to remotely access the edge device when the controller has detected the abnormality and determined that the abnormality matches a predetermined condition, wherein the remote access is a connection for remotely checking a state of the observation target device, or for enabling a remote manipulation of the observation target device.

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: This positional error prediction device (1) is provided with: a satellite position acquisition unit (154) which acquires a receivable position of a satellite on a target date at a target time and a target point at which a positional error prediction is performed; a relative relationship value acquisition unit (151) which acquires a value of the relative relationship between the position of the satellite and an observation start position of the satellite at the target point; and an error prediction unit (155) which predicts, on the basis of the relative relationship value and a positional error prediction model generated in advance, a positional error on the target date at the target time and the target point.