Fujitsu Corporation

Kyushu University

Hiroaki Iwashita

Kotaro Ohori

Tsuneo Nakata

Keisuke Goto

Matthieu Parizy

Takuya Takagi

Tatsuya Asai

Yutaka Tamiya

Koichiro Takayama

Hiroyuki Higuchi

Fumiyasu Hirose

Qiang Zhu

Satoshi Kowatari

Naoyuki Kamiyama

Akifumi Kira

A non-transitory computer-readable recording medium stores therein a prediction program that causes a computer to execute a process including receiving input data to be predicted, generating a tree structure data based on a plurality of pieces of rule information each indicated by an association of a combination of attribute values of a plurality of attributes with a label according to a predetermined order condition for the plurality of attributes, the tree structure data being obtained by aggregating the plurality of pieces of rule information, the tree structure data including an attribute value as a branch, and determining a degree of contribution to make a determination result on a predetermined value of a predetermined attribute reach a predetermined label based on a likelihood of obtaining a value of the predetermined label as the determination result, when the attribute value of the predetermined attribute is determined to be the predetermined value.

Prediction method, prediction apparatus, and computer-readable recording medium

A non-transitory computer-readable storage medium storing a pattern search program that causes a computer to execute a process, the process includes designating priority ranks of each of attributes included in a plurality of attribute patterns that indicate one or more attributes, based on an inclusion relationship between occurrence sets of a plurality of samples with respect to each of the attributes included in the plurality of attribute patterns; and determining whether each of the plurality of attribute patterns is an emerging pattern according to a search order based on the priority ranks, when a frequency of occurrence of the plurality of samples in a first attribute pattern is less than the frequency of occurrence of the plurality of samples in a second attribute pattern that has all the attributes except one of the attributes with lowest one of the priority ranks among the attributes included in the first attribute pattern.

Storage medium, pattern search device, and pattern search method

A non-transitory computer-readable recording medium stores therein an extraction program that causes a computer to execute a process including: generating a plurality of combinations of conditions relating to a plurality of item values included in data; calculating an index value that indicates a degree of cooccurrence between a specified response variable and each of the plurality of combinations, by using a machine learning model that estimates a response variable from the plurality of item values, the machine learning model having been trained by using the data; and extracting a specific combination from among the plurality of combinations based on any one of the condition and the index value.

Extraction method, extraction device, and computer-readable recording medium

A non-transitory computer-readable recording medium stores therein a predicting program that causes a computer to execute: receiving input data to be subjected to prediction; and generating, from training data sets each having explanatory variables and an objective variable, a prediction result, by using a hypothesis set and respective weights of hypotheses included in the hypothesis set, the hypotheses each being formed of a combination of the explanatory variables, classifying any of the training data sets and satisfying a specific condition, the weights being learnt based on whether each of the hypotheses holds true for each of the training data sets. The generating includes determining a value of a variable included in a pseudo-Boolean function such that a probability satisfies a predetermined standard, the probability being a probability that the prediction result satisfies the specific condition, the pseudo-Boolean function including variables corresponding to the explanatory variables.

Predicting method, predicting apparatus, and computer-readable recording medium

A non-transitory computer-readable recording medium stores therein a matching program that causes a computer to execute a process including: determining subgame perfect equilibrium of a game in extensive form corresponding to the matching, the game in extensive form having a structure in which a plurality of independent players have respective gains corresponding to respective preferences of the respective applicants, and have the ranks of priority associated with order of play, and each of the players recognizes the gains of all the players; performing matching based on results of the subgame perfect equilibrium; setting the gain of a player corresponding to a coupling-requesting applicant having a coupling request requesting matching as a group with another specific applicant, in accordance with whether the coupling request is satisfied; and determining whether to prune options in a move of the player corresponding to the coupling-requesting applicant.

Matching method, matching apparatus, and recording medium

In a security plan support method, a computer calculates an expected value of a loss that will be incurred when an intruder reaches a target with respect to each of a plurality of targets that are targets for the intruder in a route graph that depicts movement routes within the security area; specifies a security line that crosses the minimum number of edges of the route graph in the case of separating a target that has the greatest expected value of the loss from positions that is an intrusion position or positions of the intruder in the route graph; and calculates a security probability which minimizes the probability of the intruder intruding into the target side of the security line according to the route graph, the security line, and the number of the security guards.

Security plan support method, security plan support device and recording medium

A waveform analyzer includes a converter which converts a logical function, where a pair of data including a time and a value at the time is variable, created according to data sets of a time and a value of a signal waveform at the time into a second function expressed by a binary decision diagram, an acquisition unit which obtains for each of characteristic points of a reference waveform a condition representative of constraints on a relationship between time information specified by the points and a value corresponding to the time information in the signal waveform according to a value of the reference waveform at the points and a specified tolerance given to a value of the reference waveform, and a searching unit which applies the condition for each of the points to the second function to obtain a time range which meets the entirety of the conditions.

Waveform analyzer and waveform analysis method

A non-transitory computer-readable recording medium stores therein a monitoring program that causes a computer monitoring data transmission from a transmission source device to a transmission destination device to execute a process that includes detecting data transmitted in a sequence that differs from a specified sequence; determining whether the sequence that differs is permissible by a specified constraint, if data transmitted at the sequence that differs is detected at the detecting; and outputting a determination result obtained at the determining.

Monitoring apparatus, method, and computer product

A verification support apparatus includes a detecting unit that detects an inconsistency between a simulation result at an observation point in a circuit-under-test and an expected value; a setting unit that sets a portion of output values to logic values different from those of the simulation result when the detecting unit detects the inconsistency, wherein the output values are random values output from elements that receive a signal in a second clock domain that receives the signal from a first clock domain asynchronously; a comparing unit that compares the expected value and a simulation result at the observation point after the setting by the setting unit; and an identifying unit that identifies whether the portion of the output values are a cause of the inconsistency, based on a result of comparison by the comparing unit.

Verification support apparatus, verifying apparatus, computer product, verification support method, and verifying method

A computer-readable, non-transitory medium stores a program that causes a computer to execute detecting in a circuit-under-test, a change in a signal output from each circuit element on a transmission-side, during one clock cycle on a reception-side at an asynchronous location; inputting to each circuit element on the reception-side, a signal for which a change is not detected at a detection time among detection times when a signal change is detected at the detecting and replacing with a random logic value, a signal for which a change has been detected at a detection time among the detection times and inputting the random logic value to each circuit element on the reception-side, in an action triggered by a rising edge of an operation clock on the reception-side after the one clock cycle; and outputting for each circuit element on the reception-side, an operation result obtained based on input at the inputting.

Verification support of circuit blocks having independent clock domains

A computer-readable, non-transitory medium storing therein a verification support program that causes a computer to execute a process that includes detecting a point in time when data of any one transaction among a series of transactions that are to be transmitted in a prescribed sequence from a device under verification, is skipped; detecting a point in time when the data is first transmitted after the detected point in time when the data is skipped; computing time elapsing from the detected point in time when the data is skipped until the detected point in time when the data is transmitted; and outputting a computation result obtained at the computing.

Computer product, verification support apparatus, and verification support method

A computer-readable, non-transitory medium stores therein a verification support program that causes a computer to execute a procedure. The procedure includes first detecting a state change in a circuit and occurring when input data is given to the circuit. The procedure also includes second detecting a state change in the circuit and occurring when the input data partially altered is given to the circuit. The procedure further includes determining whether a difference exists between a series of state changes detected at the first detecting and a series of state changes detected at the second detecting. The procedure also includes outputting a determination result obtained at the determining.

Clock domain crossing verification support

A logic simulation apparatus includes: a jitter detector generation sectionthat generates information concerning a jitter circuit for determining whether a time variation occurs in signal passing between a first circuit and a second circuit, the first circuit configured to output a signal with a clock output from a predetermined clock source and the second circuit configured to output a signal with a clock output from a clock source different from the above predetermined clock source; and a constraint solver generation sectionthat generates information concerning a solver that is configured to create a signal to be output at an observation point using a logical expression of an output signal of the second circuit and output, based on the logical expression and output signal of the jitter detector circuit, a signal constrained by the output signal of the jitter detector circuit and output signal of the second circuit.

Medium storing logic simulation program, logic simulation apparatus, and logic simulation method

Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.

Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof

A timing diagram is displayed on GUI of a timing diagram editing apparatus. Numerical information indicating the repetition number for which a waveform image within the arbitrary number of clocks is repeated is received, and the repetition number is determined based on the numerical information. A sequence image is displayed on GUI by replaying the waveform image with a continuous waveform image that is formed by repeating the waveform image for the determined repetition number of times.

Growing community of inventors

Kawasaki, Japan

Hiroaki Iwashita