Abstract: A reliability calculation method according to one embodiment, executed by a computer, includes an input procedure designed to input a connected undirected graph G=(V, E), an operation probability pi of a link ei?E that constitutes the undirected graph G, and a predetermined set T?V of k-1 source nodes; a search procedure designed to generate a directed acyclic graph for calculating a reliability RG,p (T?{v}) representing the probability that each target node v?V\T is connected to each of the k-1 source nodes, based on the undirected graph G, the operation probability of operation pi, and the set T; and a probability calculation procedure designed to calculate the reliability RG,p (T?{v}) for each target node v based on the directed acyclic graph and a correspondence between each vertex of the directed acyclic graph and its adjacent vertex.

Abstract: An object of the present disclosure is to perform automatic restoration from network failures even when complicated operations for executing a plurality of commands are required. The present disclosure relates to a network setting device that is communicatively connected to a plurality of network devices and performs a setting of the plurality of network devices. The network setting device performs a first step for determining whether a network including the plurality of network devices satisfies a predetermined operational policy.

Abstract: An object of the present disclosure is to search for a command sequence, while preventing overlooking as much as possible, in a shorter period of time than that of searching using only an actual system is used. The present disclosure provides an execution procedure searching device that searches for a command sequence to be set for a plurality of devices constituting a system.

Abstract: An object of the present disclosure is to perform automatic restoration from network failures even when complicated operations for executing a plurality of commands are required. The present disclosure relates to a network setting device that is communicatively connected to a plurality of network devices and performs a setting of the plurality of network devices. The network setting device performs a first step for determining whether a network including the plurality of network devices satisfies a predetermined operational policy.

Abstract: An equilibrium state calculation apparatus according to an embodiment is an equilibrium state calculation apparatus for calculating an equilibrium state of a congestion game. The equilibrium state calculation apparatus includes an input unit input with graph information representing a set of strategies represented by a combination of items, in a zero-suppressed binary decision diagram, the strategies used by a player of the congestion game, and a calculation unit that calculates, by using the graph information input through the input unit, equilibrium state information including a proportion of players selecting the strategies in the equilibrium state by a variant of the Frank-Wolfe algorithm.

Abstract: The motor of the invention is an outer rotor type motor, and a rotor includes a cylindrical rotor frame that is opened at one end thereof in an axial direction, and a hollow cylindrical magnet attached to an inner periphery of the rotor frame. The magnet has a joining portion joined to an inside cylindrical portion of the rotor frame, and a protruding portion that further protrudes in the axial direction from one end, the outer diameter of the protruding portion is larger than the inner diameter of the rotor frame, and the joining portion is directly brought into close contact with a portion ranging from the one end to at least a portion of the inside cylindrical portion.

Abstract: The motor of the invention is an outer rotor type motor, and a rotor includes a cylindrical rotor frame that is opened at one end thereof in an axial direction, and a hollow cylindrical magnet attached to an inner periphery of the rotor frame. The magnet has a joining portion joined to an inside cylindrical portion of the rotor frame, and a protruding portion that further protrudes in the axial direction from one end, the outer diameter of the protruding portion is larger than the inner diameter of the rotor frame, and the joining portion is directly brought into close contact with a portion ranging from the one end to at least a portion of the inside cylindrical portion.

Abstract: The invention makes it possible to avoid an increase in the number of confirmation sentences and response sentences output to the user which gives dissatisfaction for the user by the increase that occur due to recognition errors.

Abstract: The invention makes it possible to avoid an increase in the number of confirmation sentences and response sentences output to the user which gives dissatisfaction for the user by the increase that occur due to recognition errors.