Sony Corporation

Hitachi, Ltd.

Nec Electronics Corporation

Fuji Jukogyo Kabushiki Kaisha

Subaru Corporation

Nec Corporation

Renesas Electronics Corporation

Yasufumi Suzuki

Hiroyuki Takahashi

Yoshitaka Narukawa

Hidenobu Takemura

Tatsunobu Koike

Michitomo Koda

Masumi Kawakami

Toru Furukawa

Hiroshi Shinjo

Masahiro Motobayashi

Makoto Ichii

Satoshi Yamamoto

Kengo Ito

Akihiro Hori

Ryosuke Odate

Katsuyuki Ichinohe

Masahiko Minagawa

Hisayuki Nakashima

Yasuo Watanabe

Naoki Hosoya

Toshio Okochi

Hiroshi Abe

Yasuhiro Tomita

Hideto Noguchi

Kenji Tsushio

Noboru Wakabayashi

Tetsuya Uemura

Hidetoshi Sekine

Kosuke Oshima

Chihiro Motono

Simon Currie

Ryo Ochi

Yoshiaki Oyamada

Hiroto Kaga

Ken Okuyama

Toru Furuwaka

Daisuke Shimbara

Motoyasu Kitazawa

A defect analysis apparatus includes an execution log (program execution log) of a program (source code) in an input. The defect analysis apparatus includes an analysis start point acquisition unit configured to acquire, from the execution log and as an analysis start point, a statement of the program in which an exception occurs; an analysis end point acquisition unit configured to acquire, as an analysis end point, a function directly or indirectly calling a function including the analysis start point; and a symbolic execution engine configured to perform reverse symbolic execution from the analysis start point to the analysis end point and output an execution path.

Defect analysis apparatus, program, and defect analysis method

A program analyzing apparatus (failure analyzing apparatus) includes an execution path reduction unit that deletes an execution path that is not executed by referring to information related to a branch destination of a conditional branch included in a program, from all execution paths that are all executable execution paths among execution paths that are columns of statements to be sequentially executed in the program.

Program analyzing apparatus, program analyzing method, and trace processing addition apparatus

Provided is a test facility management system that can evaluate, in a software development process requiring use of test facilities, progress of a process caused by increasing or decreasing a count of the test facilities. The test facility management system can include: a project progress forecast unit that stores a process information database, a facility reservation information database, a process progress history information database, and facility count proposed change information, calculates facility usage remaining time period for the software development process based on process progress history information, specifies a time range during which facilities of the count of proposed change are available, and forecasts, based on the available time range, the progress of the software development process when work for the facility usage remaining time period is carried out by the facilities of the count of the proposed change; and a user interface that outputs the forecasted progress information.

Process management support system, process management support method, and process management support program

Provided is a system that enables a user to easily analyze software. A software analysis support systemthat supports analysis of a structure of software includes at least one computer. The computer acquires software component informationindicating a relationship and an attribute of each software component, acquires display element setting informationin which a first display elementcorresponding to an attribute of each software component and a second display elementcorresponding to a relationship between the respective software components are set, the display element setting informationbeing editable, and arranges each of the first display element and the second display element at a predetermined position of a virtual spacethat displays the relationship of each software component on the basis of a plurality of predetermined attributes selected in advance among attributes of each software component.

Software analysis support system and computer program therefor

A sealing device includes a metal core configured to be attached to a stationary member of a bearing mechanism, an annular slinger configured to be attached to a rotary member of the bearing mechanism, a seal member attached to the metal core, and a discharge body. The discharge body includes a base having discharge holes, an attachment that is continuous with the base and attached to the slinger, and fins protruding from the base. The discharge body is configured to be rotated together with the slinger. A communication space surrounded by the slinger and the seal member is configured to communicate with an external space of the bearing mechanism via an opening. At least the fins of the discharge body are positioned in the communication space. When the rotary member rotates, an inflow flowed into the communication space is moved by the fins toward the external space.

Sealing device

A fuel storage device includes a fuel tank, a circulation passage, a canister, a vapor passage, and an adjuster. The fuel tank is configured to store fuel. The circulation passage fluidly connects the fuel tank and a vicinity of a fuel supply port. The canister is configured to recover gas generated in the fuel tank. The vapor passage fluidly connects the fuel tank and the canister. The adjuster is configured to adjust a circulation flow rate of the gas flowing through the circulation passage in supply of the fuel, using a negative pressure.

Fuel storage device

A computing machine managing a template manages a document format, a template, and a cluster generated on the basis of a classification result based on a position of the document in a feature space in such a manner that they correspond to one another; determines whether a cluster to which a target document can belong is present on the basis of a position, in the feature space, of the target document in a case of detecting an opportunity of generating a template of the target document; registers the template of the target document in a case of determining that the cluster to which the target document can belong is not present; generates a cluster corresponding to the registered template; and manages a document format of the target document, the registered template, and the generated cluster in such a manner that they correspond to one another.

Computing machine and template management method

A computer that extracts an attribute which is a text string contained in an predetermined examination target document stores template information for managing a plurality of templates in which a type of attribute is defined, executes a text recognition process on image data of the document, extracts an attribute corresponding to the type of attribute using a result of the text recognition process and the plurality of templates, selects a template based on the extracted attribute, generates output information that includes the attribute extracted using the selected template and is used for the examination; determines a type of confirmation operation performed on the output information, before the examination, based on a comparison result between an evaluation value indicating credibility of the output information and a threshold, and corrects the determined type of confirmation operation based on the text string contained in the document.

Computer and document identification method

A computer, which is configured to extract an attribute being a character string indicating a feature of a paper-based document, the computer stores template information dictionary information. The computer is configured to: execute character recognition processing on image data on the paper-based document; extract an attribute corresponding to each of the at least one type of attribute, which is defined in each of the plurality of templates, through use of a result of the character recognition processing and the plurality of templates; calculate a score regarding the extracted attribute for each of the plurality of templates; select one of the plurality of templates that has the highest extraction accuracy of the attribute based on the score; and generate output information through use of the selected template.

Computer, document identification method, and system

An object of the present invention is to provide a semiconductor device amplifying input voltages of various standards across a wide range. According to an embodiment, a semiconductor device includes a first differential amplifier that performs an amplifying operation in a first voltage range, a second differential amplifier that performs an amplifying operation in a second voltage range, a first protection unit that conducts between the source and the drain of each pair of differential transistors included in the first and second differential amplifiers in a third voltage range, a third differential amplifier that performs an amplifying operation in a fourth voltage range, a fourth differential amplifier that performs an amplifying operation in a fifth voltage range, and a second protection unit that conducts between the source and the drain of each pair of differential transistors included in the third and fourth differential amplifiers in a sixth voltage range.

Semiconductor device

There is provided a display control apparatus including an external memory accommodating unit for accommodating a removable external memory; a database recognizing unit for recognizing a database stored in the external memory, the database being recorded with an image stored in the external memory and information related to the image in correspondence to each other; a display method setting unit for setting either display method of a stored first display method or a second display method of displaying the image stored in the external memory without using the database based on a recognition result of the database recognizing unit; and a display controlling unit for displaying the image stored in the external memory by the display method based on the set display method.

Display control apparatus, display control method, and program

When verifying rapidly the equivalence between source codes with respect to refactoring, the present invention performs two types of verification: verification based on structural comparison using structure graphs obtained by analyzing the source codes, and verification based on symbolic execution. If the structural comparison using the structure graphs can verify that the structures are identical with each other, then symbolic execution is not performed. Further, before the verification based on the structural comparison, the structure graphs of the source codes before and after refactoring are normalized on the basis of normalization information, which is defined for each refactoring pattern, and thereby adjusted so that the resulting structures are identical with each other when the refactoring is valid. Further, the structure graphs before and after the refactoring are subjected to abstraction before being subjected to symbolic execution for verification, thereby limiting locations to which symbolic execution is to be applied.

Source code equivalence verification device and source code equivalence verification method

An image display device includes a display unit configured to display at least an image and an icon relating to a predetermined setting, a touch panel which allows input of operations, and on which a predetermined inhibited area is set, and a control unit configured to perform control so that, after the control unit sets the predetermined inhibited area, when an operation has been input by the touch panel, the control unit determines whether or not the operation has been input within the predetermined inhibited area, and, in a case where the operation has been input within the predetermined inhibited area, by erasing the icon displayed by the display unit, a user is allowed to recognize that an unintended operation has been input within the predetermined inhibited area.

Image display device, image pickup apparatus, image display control method, and program

Growing community of inventors

Tokyo, Japan

Yasufumi Suzuki