International Business Machines Corporation

Kabushiki Kaisha Toshiba

Fuji Photo Film Company, Limited

Fujifilm Corporation

Nippon Soda Co., Ltd.

Sinfonia Technology Co., Ltd.

Mitsubishi Heavy Industries Limited

Green Market Square Limited

Akebono Brake Industry Co., Ltd.

Sanyo Chemical Industries, Ltd.

Hiroaki Nakamura

Kohichi Kamijoh

Sachiko Yoshihama

Shinji Takakura

Hisashi Miyashita

Tatsushi Inagaki

Yohei Ueda

Nobuhiro Hosokawa

Jun Enomoto

Takaaki Tateishi

Haruna Eto

Hideichi Nakamoto

Toshiaki Yasue

Naoto Sato

Kiminori Toya

Kohichi Ono

Izumi Kumita

Hiroshi Ishikawa

Satoshi Masuda

Kohtaroh Miyamoto

Michiharu Kudo

Fumihiko Kitayama

Shinichi Hirose

Kazuhiko Katakura

Go Kondo

Yoshiji Sugita

Eiichi Kito

Takaaki Terashita

Junichi Akiyama

Takayuki Katsuki

Takahiro Hirai

Tamiya Onodera

Akihiro Koga

Minoru Yonezawa

Yasushi Taniyama

Toshihiro Kawai

Kohichi Kubo

Gengoro Ogura

Michiharu Kudoh

Toshihiko Narita

Naoshi Tabuchi

Yoshihito Nakaya

Yukiko Hara

Kosuke Sugiura

Hiedo Takagi

Takashi Sasaki

Seiji Morita

Satoshi Shirotori

Masatoshi Sakurai

Yoshiyuki Kamata

Kenji Suzuki

Haruhiko Okumura

Akiko Suzuki

Masahiko Shimizu

Kenichi Saito

Toshifumi Maehara

Naoto Kinjo

Hiroyuki Akatsu

Akira Koseki

Makoto Asakura

Junya Tanaka

Taiga Nakamura

Takayuki Iida

Yasushi Tomizawa

Makoto Yonaha

Takeshi Okino

Shinya Aoki

Aira Hotta

Hironori Takeuchi

Futoshi Iwama

Hironobu Takagi

Hideki Tai

Toshiro Takase

Yasukazu Nihei

Yoichi Nakamura

Mitsunobu Yoshida

Masayuki Murata

Tadashi Kasamatsu

Junya Shimizu

Ashita Murai

Toshikatsu Akiba

Kouichi Ono

Hiroshi Tokutomi

Kohsuke Harada

Kazuhito Miyake

Akihisa Moriya

Hiroshi Ishizuka

Atsushi Takagi

Yoshiyuki Ishihara

Yasuo Namioka

Shunichi Amano

Ryo Kawahara

Naoko Yoshida

Madoka Yuriyama

Toshiki Kitazawa

Toshinari Itoko

Hiroshi Nagate

Teruo Takanashi

Takashi Nerome

Homare Yamato

Mechanisms are provided for identifying execution paths in computer application logic. A control flow graph is generated for the computer application logic based on source code and an execution log. Paths of the control flow graph are identified that have operators matching operators having execution counts in the execution log. An operator list for each path is generated specifying operators in the path. An operator count expression is generated for each operator in the operator list for each path. For each path, a relationship is generated between the path's operator count expression and actual execution count information for operators in the path's operator list. An execution possibility value is estimated for each path based on the relationships for each path, and a second set of paths having execution possibility values indicating they are possible execution paths of the computer application logic is output.

Estimating executed paths from operator execution counts

According to one embodiment, a mixed reality device overlays, on a real space, and displays a virtual object in a virtual space. The mixed reality device is configured to obtain a position of an object in the real space and a position of the virtual object. The mixed reality device is configured to change an external appearance of the virtual object when the virtual object is positioned on a far side of the object relative to the mixed reality device and overlaps the object.

Mixed reality device, processing device, processing method, and storage medium

Provided is a fiber-reinforced composite material shaping device including: core units; a shaping mold having a recessed portion for accommodating the core units; a seal member for sealing a fiber base material in the shaping mold to form a sealed space; an aspiration unit for reducing the pressure in the sealed space; a resin injection unit for injecting a resin material into the sealed space; and moving mechanisms for separating a first shaping surface away from the fiber base material, which contains a resin material that has been shaped by the first shaping surface and cured. Formed on the first shaping surface is a first groove section extending in a predetermined direction. The moving mechanisms move the core units along a predetermined direction in which the first groove section extends, while maintaining a state in which the first shaping surface is in contact with the fiber base material.

Fiber-reinforced composite material shaping device and fiber-reinforced composite material shaping method

An example operation may include one or more of receiving, at a data provider, a data file from a data modifier which comprises a modification to an initial content state of a data file, generating a hash value of the initial content state of the data file prior to modification and generating a hash value of a modified content state of the data file after the modification, and transmitting the generated hash values to a blockchain peer node for inclusion within one or more data blocks among a hash-linked chain of data blocks.

Certifying authenticity of data modifications

A flight imaging system and a method suitable where an unmanned flying object equipped with a visible camera and millimeter-wave radar is used, and a structure imaged by the visible camera and millimeter-wave radar mounted on the unmanned flying object are provided. A drone constituting the flight imaging system is equipped with a visible camera and a millimeter-wave radar. A processor of the drone performs control of the visible camera to capture a visible image of a surface layer of the structure, and control the millimeter-wave radar to transmit a millimeter wave toward the structure and receive a reflected wave of the millimeter wave from the structure, in a case of imaging the structure. During flight of the drone, the altitude of the drone is measured by an altitude meter mounted on the drone, altitude information indicating the measured altitude is acquired, and is used, in flying the drone.

Flight imaging system and method

According to one embodiment, an analysis device performs an analysis related to a plurality of tasks of a manufacturing process. The analysis device receives an image when each of the plurality of tasks is performed. The analysis device receives the images from an imaging device acquiring the images. The analysis device receives a detection signal from a tool used in at least one of the plurality of tasks. The detection signal is detected by the tool. The analysis device refers to end determination data for determining an end of each of the plurality of tasks. The analysis device determines the end of each of the plurality of tasks based on the images, the detection signal, and the end determination data.

Analysis device, analysis system, analysis method, and storage medium

An example operation may include one or more of receiving, by a data store peer, measured values of objects, storing, by the data store peer, the measured values along with corresponding hash/time pair values on a data store of the data store peer, executing, by the data store peer, a smart contract to update the hash/time pair values on a blockchain ledger, executing, by the data store peer, a smart contract to retrieve hash values corresponding to a particular time from the blockchain ledger and providing the hash values to the data store, generating, by the data store peer, a summary table that contains object values retrieved from the data store based on the hash values, and executing, by the data store peer, a smart contract to calculate a fee based on the summary table.

Real-time monitoring of objects in blockchain networks

A block is configured such that, when a composite material having a curved part in a cross-sectional shape cut by a plane orthogonal to an X-axis is deformed into a shape corresponding to a mold through pressure application while being kept in the mold, the block is brought into contact with the curved part of the composite material. The block includes: a first contact part which extends along the X-axis direction so as to be in contact with the curved part of the composite material; and a second contact part which is partially disposed along the X-axis direction, is in contact with the curved part of the composite material, and is of higher rigidity than the first contact part.

Jig and composite material processing method

A method, system, and computer program product for error detection and correction of query expressions are provided. The method extracts a first set of queries from a set of programs prior to query editing. A first word set is generated from the first set of queries. A second set of queries are extracted from the set of programs after query editing. A second word set is generated from the second set of queries. The method determines a set of differences for word pairs within the first word set and the second word set. A third word set is generated from one or more edited queries based on the set of differences. The method generates an error report for the third word set based on the third word set and the set of differences.

Query expression error detection and correction

A measurement system includes a processor. Based on information measured by a camera that takes an image of a measurement target and an auxiliary object arranged on the measurement target, the processor acquires first point cloud data representing a three-dimensional geometry of the measurement target including the auxiliary object. Based on the first point cloud data and second point cloud data that is known and that represents a three-dimensional geometry of the measurement target, the processor eliminates point cloud data of the auxiliary object from the first point cloud data. The processor compares the first point cloud data, from which the point cloud data of the auxiliary object has been eliminated, with the second point cloud data. The processor displays information relating to a result of comparison on a display device.

Measurement system and storage medium storing measurement program

An example operation may include one or more of receiving a blockchain request comprising a timestamp added by one or more endorsing nodes included within a blockchain network, identifying that the timestamp added by an endorsing node from among the one or more endorsing nodes is a modification to a previously added timestamp provided by the computing node, determining a reputation value for the endorsing node based on a difference between the timestamp added by the endorsing node and the previously added timestamp provided by the computing node, and transmitting the determined reputation value of the endorsing node to an ordering node within the blockchain network.

Blockchain timestamp agreement

A conveyance system discriminates the front and back of a frame wafer without human intervention. A frame is partially formed asymmetrically with respect to a predetermined center line when viewed in a direction orthogonal to a surface of a wafer. The conveyance system includes a hand configured to hold the frame so that the frame extends in a predetermined virtual plane, a first sensor configured to detect a portion of the frame held on the hand and located in a predetermined first region in the virtual plane, a second sensor configured to detect a portion of the frame held on the hand and located in a second region opposite to the first region across the center line, and a controller configured to determine the front and back of the frame wafer based on a detection result obtained by the first sensor and a detection result obtained by the second sensor.

Conveyance system for transferring frame wafer

An example operation may include one or more of modifying content of a data file from an initial content state to a modified content state, determining a relationship value which identifies a relationship of the modified content state with respect to the initial content state of the data file, signing the relationship value with a private key of a data modifier, and transmitting the signed relationship value to a blockchain peer node for inclusion within one or more data blocks among a hash-linked chain of data blocks.

A computer-implemented method for detecting code regions related to specific processes in an application is provided including obtaining a call-graph of an application, each node of the call-graph representing a program in the application and each edge of the call-graph representing a call between programs, detecting merge points in the call-graph where paths from different entry points are merged, dividing the call-graph into sub-call-graphs at the merge points to create a macro-call-graph, each node of the macro-call-graph representing each of the sub-call-graphs, detecting code regions related to specific processes in each program in the application based on variable names corresponding to the specific processes, setting an initial state to each entry point of the sub-call-graphs, and identifying sub-call-graphs related to each specific process by using dataflow analysis with the initial states and the code regions based on entry states of the sub-call-graphs.

Detecting business code areas in a mainframe application

A transport system for transporting a plurality of objects between a storage container configured to store the plurality of objects and a processing apparatus configured to collectively process the plurality of objects held on a tray, including a mounting part on which the storage container is mounted, a stage on which the plurality of objects are mounted, a tray support part configured to support the tray, a first transport device configured to transport the plurality of objects between the storage container mounted on the mounting part and the stage, and a second transport device configured to transport the plurality of objects between the stage and the tray supported by the tray support part.

Transport system

Growing community of inventors

Kanagawa, Japan

Hiroaki Nakamura