Hitachi, Ltd.

Fujikura Limited

Toyo Ink Manufacturing Company

Toyo Ink Mfg. Co., Ltd.

Hideto Noguchi

Naoto Sato

Hironobu Kuruma

Yuichiroh Nakagawa

Masakazu Sato

Tatsuya Ito

Tomoyuki Myojin

Makoto Ichii

Kenji Kitamura

Yasufumi Suzuki

Mikio Hayashi

Hitoshi Maki

Nobuyuki Tomiya

Masami Shirao

Daisuke Shimbara

Masaki Chikahisa

A learning support device stores, as execution information, a set of an input value, an execution output value as an execution result and an expected output value, for a machine learning program. An arithmetic device generates an output value different from the expected output value as a teacher output value in accordance with a predetermined rule when the execution output value and the expected output value for a predetermined input value match each other, generates a loss function based on a difference between the teacher output value and the execution output value, generates a change value indicating a change in the loss function for each parameter in the neural network, calculates an influence degree of predetermined learning by calculating influence of an update value of the parameter obtained by the learning on the change value, and determines whether or not the update value is adopted based on the influence degree.

Learning support device and learning support method

A validity of a prediction model can be evaluated comprehensively. A machine learning program verification apparatusincludes a calculation device. The calculation deviceobtains a decision tree logical expression by logically combining path logical expressions indicating decision tree paths indecision trees for a program created by machine learning, creates a combined logical expression by logically combining a verification property logical expression and an objective variable calculation logical expression with the decision tree logical expression, performs satisfiability determination by inputting the combined logical expression to a satisfiability determiner, and when a result of the determination indicates satisfaction, obtains, from a satisfaction solution of the satisfiability determination, a violation input value that is a value of an explanatory variable that violates a verification property and a violation output value that is a value of an objective variable.

Machine learning program verification apparatus and machine learning program verification method

The boundary search test support device includes: a storage device that holds a plurality of input vectors; and an arithmetic device that executes a test by sequentially inputting the input vectors to a program generated by a neural network and acquiring output vectors which are test results, respectively generates, in a coordinate system which takes each of a predetermined plurality of elements among elements constituting the output vectors as a coordinate axis, a straight line in which the plurality of elements has a same value and a hyperplane in which a sum of values of the plurality of elements is taken as a predetermined value, and arranges a most antagonistic point and boundary vectors whose values of the elements rank higher than or equal to a predetermined ranking among the output vectors in the coordinate system, and outputs the coordinate system together with input vectors corresponding to the boundary vectors.

Boundary search test support device and boundary search test support method

A coverage test support device includes a memory device that stores a test case and specification content of each of a plurality of coverage indexes, and an arithmetic device that sequentially gives a test input value of each pair in the test case to a program created by a neural network, executes a predetermined number of tests, and acquires a test result of the tests and neuron information at the time of test execution, applies the acquired neuron information to the specification content of each coverage indexes and calculates a value for each coverage index, and identifies, among the coverage indexes, a coverage index in which an elongation rate of the calculated value shows a predetermined tendency, as a preferential coverage index that is to be used preferentially, when either the number of executions of the tests or the number of bugs in the test result exceeds a predetermined standard.

Coverage test support device and coverage test support method

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

A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.

Method of converting source code and source code conversion program

This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.

Semiconductor pressure sensor and manufacturing method thereof

Semiconductor pressure sensor and process for fabricating the same

Disclosed is a method of producing a disazo pigment, which a coupling reaction is carried out while feeding, into an acidic aqueous solution, a tetrazo aqueous solution containing a tetrazo component of benzidines and a coupler aqueous solution containing a coupling component, wherein the coupling component is a mixture comprising a main component represented by the formula (1): CH,COCH,CONH&mdash;X, wherein X represents a phenyl group optionally having one or the same or different plural substituents selected from the group consisting of a methyl group, methoxy group and chlorine atom; a first additional component represented by the formula (2): CH,COCH,CONH&mdash;Y, wherein Y represents a phenyl group having a substituent selected from the group consisting of &mdash;CONR,group, &mdash;SO,NR,group and &mdash;NHCOR group, and the phenyl group may further have a substituent selected from the group consisting of a methyl group, methoxy group, chlorine atom, &mdash;CONR,group, &mdash;SO,NR,group and &mdash;NHCOR group, and wherein Rs may be the same or different mutually, and represent a hydrogen atom, C1 to C4 alkyl group (the alkyl groups may be mutually connected to form a ring) or C1 to C4 alkylene NR&prime;,, further wherein R's represent a hydrogen atom or C1 to C4 alkyl groups which may be mutually different (the alkyl groups may be mutually connected to form a ring); and, a second additional component represented by the formula (3): CH,COCH,CONH&mdash;Z, wherein Z represents a phenyl group substituted by any one of a carboxyl group or alkali metal salts thereof, hydroxyl group or sulfonic acid group or alkali metal salts thereof, and said phenyl group may further has a substituent selected from the group consisting of a methyl group, methoxy group, chlorine atom, carboxyl group or alkali metal salts thereof, hydroxyl group or sulfonic acid group or alkali metal salts thereof. According to the method, disazo pigments can be obtained which manifest excellent transparency and flowability of the inks produced therefrom, and excellent flushing property and flushing drain coloration resistance in the pigment production process, or excellent dispersibility when ink is formed under dry condition.

Growing community of inventors

Tokyo, Japan

Hideto Noguchi