Other

Mitsubishi Electric Corporation

National Institute of Information and Communications Technology, Incorporated

Teruo Higashino

Yuji Igarashi

Takanori Mori

Yoshiaki Adachi

Hirotaka Otsuka

Nobuo Funabiki

Akio Nakata

Hirozumi Yamaguchi

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.

Information processing device, information processing method, and storage medium for estimating position information of a moving device

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.

Method and apparatus to generate test sequences for communication protocols

Growing community of inventors

Osaka, Japan

Teruo Higashino