Abstract: A system includes first and second acquisition units that acquire first and second biological information of a target, and an estimation unit. The first acquisition unit includes at least one first sensor. The second acquisition unit includes at least one second sensor different from the at least one first sensor. The estimation unit estimates a thermal comfort of the target based on the first and second biological information. The estimation unit further estimates a first thermal comfort of the target based on the first biological information, and the thermal comfort of the target based on the first and second biological information. When the second acquisition unit does not acquire the second biological information, the estimation unit sets, as the thermal comfort of the target, the first thermal comfort that is corrected using previous thermal comfort of the target estimated by the estimation unit based on at least the second biological information previously acquired by the second acquisition unit.

Abstract: A learning apparatus learns a quality of sleep of a sleeping person. The learning apparatus includes an acquisition unit, a learning unit, and a generation unit. The acquisition unit acquires, as a state variable, a feature quantity related to a core body temperature of the sleeping person or a feature quantity related to a skin temperature of the sleeping person. The learning unit learns the state variable and the quality of sleep in association with each other. The generation unit generates, based on a learning result of the learning unit, a learning model that receives, as an input, the feature quantity related to the core body temperature at sleep onset of the sleeping person. or the feature quantity related to the skin temperature and infers the quality of sleep of the sleeping person at the sleep onset of the sleeping person.

Abstract: A machine learning apparatus learns a radio wave propagation state between a first radio device and a second radio device. The machine learning apparatus includes an acquisition unit and a learning unit. The acquisition unit acquires first information in order to obtain at least one state variable. The first information is related to something between the first radio device and the second radio device. The learning unit learns the state variable and the radio wave propagation state in association with each other.

Abstract: The purpose of the present invention is to provide a technique for estimating position information of a moving device without it being possible for a sensor installed in the environment to observe the moving device. On the bases of first position information, which is acquired by a first moving object acquisition receiver and which is position information of one or more first moving bodies present in the periphery of a first sensor (an autonomous sensor), and second position information, which is acquired by a second moving object acquisition receiver and which is position information of one or more second moving bodies present in the periphery of a second sensor (an infrared sensor), the information processing device compares the positional relation between the first moving object and the second moving object and estimates the position information of the moving device.

Abstract: A system includes first and second acquisition units that acquire first and second biological information of a target, and an estimation unit. The first acquisition unit includes at least one first sensor. The second acquisition unit includes at least one second sensor different from the at least one first sensor. The estimation unit estimates a thermal comfort of the target based on the first and second biological information. The estimation unit further estimates a first thermal comfort of the target based on the first biological information, and the thermal comfort of the target based on the first and second biological information. When the second acquisition unit does not acquire the second biological information, the estimation unit sets, as the thermal comfort of the target, the first thermal comfort that is corrected using previous thermal comfort of the target estimated by the estimation unit based on at least the second biological information previously acquired by the second acquisition unit.

Abstract: A mobile node simulator (100) includes: a behavior simulator section (140) for simulating behaviors of a plurality of mobile nodes in accordance with a behavior model, the behavior model being definable by a user; and a network simulator section (120) for simulating a communication on a network including the plurality of mobile nodes. A network application (180) targeted for an evaluation of a simulation is implemented on the network simulator section (120). The network simulator section (120) is configured to output an output from the network application (180) to the behavior simulator section (140) at each simulation time t. The behavior simulator section (140) is configured to be capable of changing a behavior of at least one of the plurality of mobile nodes in accordance with the behavior model in response to the output from the network application (180).

Abstract: A method and apparatus for generating test sequences for communication protocols that inputs data of finite state machines (FSM) representing the specification of the communication protocols, converts the test sequence generation problem to the satisfiability problem (SAT problem), and generates test sequences for communication protocols by solving the SAT problem. The method converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem using a conjunctive normal form formula based on the modified FSIM. By considering multiple input/output (UID) sequences and overlapping sequences, the method generates minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM.

Abstract: The present invention's method and apparatus to generate test sequences for communication protocols input the data of the finite state machines (FSM) representing the specification of the communication protocols, and convert the test sequence generation problem to the SAT problem, and generate test sequences for communication protocols by solving the SAT problem. In addition, the present invention converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem by using a conjunctive normal form formula based on the modified FSM. According to the present invention, by considering the multiple UIO sequences and the overlapping of the UIO sequences, the minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM can be generated.