Kabushiki Kaisha Toshiba

Mikito Iwamasa

Masakazu Hattori

Hideyuki Aisu

Tomoshi Otsuki

Toshimitsu Kumazawa

Mitsunobu Yoshida

Hiromasa Shin

Ena Ishii

Shinichi Nagano

Yusuke Endoh

Hisashi Hayashi

Takuro Moriyama

Gaku Ishii

Tadatoshi Ishii

Akinori Ohta

Ruigang Zhang

Koji Fujiwara

According to one embodiment, an information processing apparatus includes: processing circuitry configured to select, for a first element of a plurality of elements in first information including the elements and including a first relationship between the elements, relationship setting information being information for setting a second relationship between the first element and at least one second element of the elements; set the second relationship between the first element and the at least one second element, based on the relationship setting information; and determine attribute information on the first element, based on the second relationship and the first information.

Information processing apparatus, information processing method, information processing system, and non-transitory computer readable medium

A parameter estimation apparatus of an embodiment of the present invention is provided with a model reduction processor and a parameter estimator. The model reduction processor generates reduced order models by reducing order of a simulation model on the basis of measurement data sets and conditions for model order reduction possibility. The parameter estimator estimates values of parameters of the reduced order models on the basis of the reduced order models and the measurement data sets corresponding to the reduced order models. Further, after estimating a first value for a first parameter of a first reduced order model based on a first measurement data set, the parameter estimator applies the first value to the first parameter of a second reduced order model based on a second measurement data set.

Parameter estimation apparatus, air-conditioning system evaluation apparatus, parameter estimation method, and non-transitory computer readable medium

An embodiment of the present invention provides an information processing apparatus for detecting an attribute indicated in different tables in common and generating information about the attribute. An information processing apparatus as an embodiment of the present invention includes a detector and an information generator. The detector detects a common attribute indicated in a first table and a second table. The information generator generates information about the common attribute based on contents of the first table and the second table.

Information processing apparatus for detecting a common attribute indicated in different tables and generating information about the common attribute, and information processing method, and non-transitory computer readable medium

A characteristic value estimation device has a sensor data input unit to input sensor data detected by one or more sensors, a model input unit to input a first calculation model, a model learning unit to perform learning on a second calculation model, a model switch to select any one of the first calculation model and the second calculation model, a predictive value calculation unit to calculate an error of the calculation model, a probability distribution correction unit to correct the probability distribution of the uncertain parameter, a virtual sensor value estimation unit to estimate sensor data of a virtual sensor arranged virtually, a characteristic value distribution estimation unit to estimate a detailed distribution of the characteristic value, the sensor data of the virtual sensor, and the sensor data of the sensor, and a reliability calculation unit to calculate a reliability of the precise characteristic value distribution.

Characteristic value estimation device and characteristic value estimation method

A spatial information delivery system according to an embodiment of the present invention includes a partial spatial information generation device, and a plurality of partial spatial information transmission devices existing within a facility. The partial spatial information generation device generates partial spatial information which is part of spatial information relating to the facility and which is specific to each of the partial spatial information transmission devices, for each of the partial spatial information transmission devices based on locations of the partial spatial information transmission devices. Each of the partial spatial information transmission devices transmits the partial spatial information corresponding to the own partial spatial information transmission device.

Spatial information delivery system, spatial information delivery method, and non-transitory computer readable medium

According to one embodiment, an estimation device includes a first parameter generator, an energy simulator, a cost calculator, and a parameter selector. The first parameter generator determines values of one or more constituents of one or more first parameters to generate the one or more first parameters, the one or more constituents representing an operation status of a facility. The energy simulator calculates estimation information of energy consumption related to the first parameters by simulating energy consumption of the facility based on the first parameters. The cost calculator calculates evaluation values of the first parameters based on the estimation information of the energy consumption of the facility and actual performance information of the energy consumption of the facility. The parameter selector selects one of the plural first parameters based on the evaluation values.

Estimation device, estimation method, and non-transitory computer readable medium

According to one embodiment, an equipment evaluation system includes: an estimator, an acquirer, a hardware storage and an evaluator. The estimator is implemented by the computer, to estimate a probability density distribution of a parameter representing performance of subject equipment based on measurement data of the subject equipment, the measurement data resulting from a measurement performed at each of a plurality of times. The acquirer acquires a use pattern of the subject equipment. The hardware storage stores the use pattern in association with the probability density distribution for the subject equipment. The evaluator identifies a use pattern of the subject equipment, the use pattern being similar to a use pattern of a first equipment that is different from the subject equipment, and evaluates future performance degradation of the first equipment using probability density distributions corresponding to the identified use pattern.

Equipment evaluation device, equipment evaluation method and non-transitory computer readable medium

According to one embodiment, a property extraction apparatus includes a state transition machine conversion unit, storage unit, state transition machine contraction unit, and property conversion unit. The state transition machine conversion unit converts an input property into a state transition machine configured by a plurality of transition functions expressed using a plurality of transition labels. The storage unit stores contraction rules that allow to remove a non-input transition. The state transition machine contraction unit contracts the state transition machine by converting a transition label corresponding to a signal to be ignored into a non-input transition in the state transition machine in accordance with contraction instruction information which represents the signal to be ignored, and rewriting the transition functions by applying the contraction rules that allow to remove the non-input transition. The property conversion unit which converts the state transition machine after the contraction processing into an output property.

Property extraction apparatus and method

As to a plurality of components in a system, a state transition path covering transitions defined by a behavioral specification of a component is specified to satisfy an input restriction of the component. Action sequences are acquired from the state transition path. By selecting a pair of components connected in the system, it is verified whether an output action sequence of a first component as one of the pair satisfies an input restriction of a second component as the other of the pair. If unsatisfied, the input restriction of the second component is relaxed to satisfy the output action sequence of the first component, or an input restriction of the first component is tightened to acquire a new output action sequence satisfying the input restriction of the second component. Above processing is repeated for each pair of components, so that output action sequences of one and the other of a pair satisfies input restrictions of the other and the one of the pair respectively.

Apparatus and method for designing a system specification for testability

A state-transition system includes a plurality of states and a first transition representing a state-change based on an external event occurred into a system to be checked. A plurality of requirement items includes a precondition and a postcondition in correspondence with the external event. By partially selecting the precondition and the postcondition from the plurality of requirement items, a state map to map a state onto truth values of the precondition and the postcondition is generated. By contracting the state-transition system with the state map, a quotient state-transition system is generated. The quotient state-transition system includes a plurality of second transitions among a plurality of groups each having states. By tracing each second transition in the quotient state-transition system, a representative transition path is generated. The representative transition path is regenerated as a transition path in the state-transition system. The transition path is output as a test case.

Apparatus and a method for generating a test case

A movability determining section checks the movability of an descriptive element comprised in a specification having a hierarchical structure. The descriptive element of which the movability is checked is moved in the hierarchical structure by a specification moving section. For the movement, a preparation is made as follows. The specification moving section, if necessary, moves a communication channel included in the descriptive element to make sure that a constraint with respect to the level to which the communication channel belongs is satisfied after the movement. After the preparation, the specification moving section moves a behavior included in the descriptive element upward/downward across levels in the hierarchical structure. A specification correcting section corrects the specification so as not to violate an execution order constraint.

Method and computer program product for operating a specification of a system

This invention is applied to a system design support system which handles at system level, e.g., a specification for software executed by a computer, a specification for hardware combined with semiconductor devices and the like, a specification for an embedded system constituted by a combination of software and hardware, and a specification for a business process such as a work flow. A consideration is given to difficulty in efficiently implementing an interrupt in a specification created in a system description language in such a case where the interrupt is defined at a lower level which is structurally separate from a portion where the interrupt actually occurs. An interrupt structure localizing apparatus specifies a portion in a system-level specification in which an interrupt actually occurs and localizes the portion, thereby obtaining a specification structure in which an interrupt does not occur across hierarchical structures.

Method and computer program product for localizing an interruption structure included in a hierarchical structure of a specification

A system design support system is disclosed, which handles specifications at system level, e.g., a specification of software executed by a computer, specification of hardware implemented by combining semiconductor devices and the like, a specification of an incorporated system implemented by combining software and hardware, and a specification of a business process such as a workflow. This apparatus searches for an advertisement in accordance with an query specification. The apparatus also creates a communication procedure between the query specification and a specification of an advertisement part obtained by a search.

Method and computer program product for realizing a system specification which is described in a system description language

A data storage and retrieval system includes a data space area where a set of data belonging to a predetermined category and definition data describing definition of the structure and the presentation form of the data are stored, a data space retrieval section for retrieving data and definition data made to correspond to the data from the data space area, a data space operation section for rewriting the definition data made to correspond to the data retrieved by the retrieval section on the basis of another definition data stored in the data space area, and a display for displaying the data retrieved by the retrieval section on the basis of the definition data rewritten by the operation section.

Growing community of inventors

Tokyo, Japan

Mikito Iwamasa