Abstract: A user equipment (UE) performs radio communication with a base station that manages a cell including N (N?2) transmission/reception points. The UE comprises: a communicator configured to receive a radio resource control (RRC) message from the base station, the RRC message including information for configuring N beam failure detection resource sets; and a controller configured to individually detect beam failure for each of the N beam failure detection resource sets. The controller is configured to determine, in a case where there is a beam failure detection resource set that does not provide a reference signal resource for detecting the beam failure, the reference signal resource based on a control resource set (CORESET) pool index associated with the beam failure detection resource set.

Abstract: A user equipment (UE) performs radio communication with a base station that manages a cell including N (N?2) transmission/reception points. The UE comprises: a communicator configured to receive a radio resource control (RRC) message from the base station, the radio resource control (RRC) message including a radio link monitoring configuration for configuring radio link monitoring and a beam failure detection configuration for configuring N beam failure detection resource sets; and a controller configured to detect radio link failure based on the radio link monitoring configuration and individually detect beam failure for each of the N beam failure detection resource sets based on the beam failure detection configuration.

Abstract: A user equipment (UE) performs radio communication with a base station that manages a cell including N (N?2) transmission/reception points. The UE comprises: a communicator configured to receive a radio resource control (RRC) message from the base station, the radio resource control (RRC) message including information for configuring N beam failure detection resource sets; and a controller configured to individually detect beam failure for each of the N beam failure detection resource sets. The controller is configured to determine whether or not to initiate a random access procedure for the cell based on a state of recovery from the beam failure in a case where the beam failure has been detected for all of the N beam failure detection resource sets.

Abstract: A user equipment (UE) performs radio communication with a base station that manages a cell including N (N?2) transmission/reception points. The UE comprises: a communicator configured to receive a radio resource control (RRC) message from the base station, the RRC message including information for configuring N beam failure detection resource sets; and a controller configured to individually detect beam failure for each of the N beam failure detection resource sets. The controller is configured to trigger beam failure recovery (BFR) for one beam failure detection resource set with which the beam failure has been detected. The communicator is configured to cancel all the triggered BFRs for the one beam failure detection resource set in a case where a MAC PDU is transmitted, the MAC PDU including a BFR MAC CE including information regarding the detected beam failure.

Abstract: A user equipment (UE) performs radio communication with a base station that manages a cell including N (N?2) transmission/reception points. The UE comprises: a communicator configured to receive a radio resource control (RRC) message from the base station, the radio resource control (RRC) message including a beam failure detection configuration which is information for configuring N beam failure detection resource sets and is associated with a downlink bandwidth part that is a part of a bandwidth of the cell; and a controller configured to individually detect beam failure for each of the N beam failure detection resource sets in the radio communication using the downlink bandwidth part.

Abstract: A diagnostic optical microscope according to the present embodiment includes at least one laser light source (11) configured to generate laser light for illuminating a sample (40) containing a light absorbing material, a lens configured to focus the laser light to be focused on the sample (40), scanning means for changing a focusing position of the laser light on the sample (40), and a light detector (31) configured to detect laser light transmitted through the sample (40) as signal light. A laser light intensity is changed to obtain a nonlinear region in which the laser light intensity and a signal light intensity have a nonlinear relation due to occurrence of saturation of absorption in the light absorbing material when the laser light intensity is maximized. An image is generated based on a nonlinear component of the signal light based on the saturation of absorption in the light absorbing material.

Abstract: Provided are a method of producing a beverage and a method of improving a flavor of a beverage by each of which the imparting of an undesirable aroma is suppressed. The method of producing a beverage according to one embodiment of the present invention is a method of producing a beverage using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid. The method of improving a flavor of a beverage according to one embodiment of the present invention is a method of improving a flavor of a beverage to be produced using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid, to thereby improve the flavor of the beverage.

Abstract: A verification method for an application logic provided with one or more macro logics configured to perform a predetermined operation, a macro operation control unit configured to instruct the one or more macro logics to start the operation to cause the one or more macro logics to perform the operation, and an operation data storage area configured to store data. In the application logic, static verification by property description of a formal verification language is performed for each of the one or more macro logic, the macro operation control unit, and the operation data storage area, and dynamic verification by simulation is further performed for at least one of the one or more macro logics.

Abstract: Provided is a semiconductor LSI design device that includes: a unit that generates a combinational circuit constituted by combining function blocks defined by a function block library from an application specification, by assigning connection information on an operation order of the function blocks; a unit that converts the combinational circuit to operation order information that is applicable to a sequential circuit in which a function block is used a plurality of times in a time-division manner; a unit that inversely converts the generated operation order information to a combinational circuit; a unit that verifies logical equivalence of the combinational circuit and the inversely converted combinational circuit; and a unit that combines the operation order information, the sequential circuit and a function block.

Abstract: Provided is a semiconductor LSI design device that includes: a unit that generates a combinational circuit constituted by combining function blocks defined by a function block library from an application specification, by assigning connection information on an operation order of the function blocks; a unit that converts the combinational circuit to operation order information that is applicable to a sequential circuit in which a function block is used a plurality of times in a time-division manner; a unit that inversely converts the generated operation order information to a combinational circuit; a unit that verifies logical equivalence of the combinational circuit and the inversely converted combinational circuit; and a unit that combines the operation order information, the sequential circuit and a function block.

Abstract: The present invention includes a drawing data generating unit, a variation pattern that varies at regular intervals to be displayed, a display unit that displays drawing data, and a comparator that compares whether input signals are coincident, and the drawing data generating unit includes a receiver that receives data from a higher-level device, a drawing control unit that converts the data received from the higher-level device to drawing data, and a drawing memory that stores the drawing data. The drawing data generating unit and the variation pattern are redundantly configured, and the variation pattern is input to the drawing data generating unit. One output signal of the drawing data generating unit regarding drawing data including the variation pattern is transmitted to the display unit, a plurality of output signals from the drawing data generating unit are input to the comparator, and the comparator outputs a comparison result as a detection signal outside.

Abstract: Provided is a technology capable of reducing the number of resources necessary for logic implementation in a control device. A semiconductor LSI design device generates a combinational circuit configured with functional blocks defined by a functional block library from an application specification, allocates an operation order of each functional block in the combinational circuit under a condition for starting an operation of a functional block connected to an input pin after ending the operation, converts into a sequence circuit which uses the functional block twice or more in a time division manner, extracts the operation order at a time of execution of the sequential circuit, and determines whether the operation order allocated to the combinational circuit coincide with the extracted operation execution order.

Abstract: A control system includes an arithmetic device configured of an A system arithmetic unit including a data dividing unit, a B system arithmetic unit including a data dividing unit, and an A system communication control unit including a data combining unit and a collation unit, wherein the A system arithmetic unit and the B system arithmetic unit have a duplex configuration, the A system arithmetic unit and the B system arithmetic unit are separated by a gap, a frame output from the A system arithmetic unit is transmitted to a B system communication control unit through the A system communication control unit and an interface element, and a frame output from the B system arithmetic unit is transmitted to the A system communication control unit through the B system communication control unit and an interface element.

Abstract: Provided are a method of producing a beverage and a method of improving a flavor of a beverage by each of which the imparting of an undesirable aroma is suppressed. The method of producing a beverage according to one embodiment of the present invention is a method of producing a beverage using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid. The method of improving a flavor of a beverage according to one embodiment of the present invention is a method of improving a flavor of a beverage to be produced using a raw material liquid, including adding hops that have been subjected to acid treatment to the raw material liquid, to thereby improve the flavor of the beverage.

Abstract: A control system includes an arithmetic device configured of an A system arithmetic unit including a data dividing unit, a B system arithmetic unit including a data dividing unit, and an A system communication control unit including a data combining unit and a collation unit, wherein the A system arithmetic unit and the B system arithmetic unit have a duplex configuration, the A system arithmetic unit and the B system arithmetic unit are separated by a gap, a frame output from the A system arithmetic unit is transmitted to a B system communication control unit through the A system communication control unit and an interface element, and a frame output from the B system arithmetic unit is transmitted to the A system communication control unit through the B system communication control unit and an interface element.

Abstract: Provided is a technology capable of reducing the number of resources necessary for logic implementation in a control device. A semiconductor LSI design device generates a combinational circuit configured with functional blocks defined by a functional block library from an application specification, allocates an operation order of each functional block in the combinational circuit under a condition for starting an operation of a functional block connected to an input pin after ending the operation, converts into a sequence circuit which uses the functional block twice or more in a time division manner, extracts the operation order at a time of execution of the sequential circuit, and determines whether the operation order allocated to the combinational circuit coincide with the extracted operation execution order.

Abstract: A verification method for an application logic provided with one or more macro logics configured to perform a predetermined operation, a macro operation control unit configured to instruct the one or more macro logics to start the operation to cause the one or more macro logics to perform the operation, and an operation data storage area configured to store data. In the application logic, static verification by property description of a formal verification language is performed for each of the one or more macro logic, the macro operation control unit, and the operation data storage area, and dynamic verification by simulation is further performed for at least one of the one or more macro logics.

Abstract: The present invention includes a drawing data generating unit, a variation pattern that varies at regular intervals to be displayed, a display unit that displays drawing data, and a comparator that compares whether input signals are coincident, and the drawing data generating unit includes a receiver that receives data from a higher-level device, a drawing control unit that converts the data received from the higher-level device to drawing data, and a drawing memory that stores the drawing data. The drawing data generating unit and the variation pattern are redundantly configured, and the variation pattern is input to the drawing data generating unit. One output signal of the drawing data generating unit regarding drawing data including the variation pattern is transmitted to the display unit, a plurality of output signals from the drawing data generating unit are input to the comparator, and the comparator outputs a comparison result as a detection signal outside.

Abstract: Disclosed is a resin particle having excellent low-temperature fusibility, having a sufficiently narrow size distribution, and that is obtained using a liquid or supercritical fluid. In the resin particle (C), which comprises a microparticle (A) containing a resin (a) being coated to or adhered to the surface of a resin particle (B) that contains another resin (b), the degree of swelling of the microparticle (A) resulting from liquid or supercritical carbon dioxide (X) at a temperature less than the glass transition temperature or the melting point of the microparticle (A) is no greater than 16%, and with the resin (a) as a constituent unit, the resin particle (C) contains 0.1-50 wt % of a non-crystalline non-halogen vinyl monomer (m1) of which the solubility parameter (SP value: (cal/cm3)1/2) is 7-9.

Abstract: Disclosed is a resin particle having excellent low-temperature fusibility, having a sufficiently narrow size distribution, and that is obtained using a liquid or supercritical fluid. In the resin particle (C), which comprises a microparticle (A) containing a resin (a) being coated to or adhered to the surface of a resin particle (B) that contains another resin (b), the degree of swelling of the microparticle (A) resulting from liquid or supercritical carbon dioxide (X) at a temperature less than the glass transition temperature or the melting point of the microparticle (A) is no greater than 16%, and with the resin (a) as a constituent unit, the resin particle (C) contains 0.1-50 wt % of a non-crystalline non-halogen vinyl monomer (m1) of which the solubility parameter (SP value: (cal/cm3)1/2) is 7-9.