Kabushiki Kaisha Toshiba

Yusuke Endoh

Hiromasa Shin

Mitsuru Kakimoto

Takeo Imai

Mikito Iwamasa

Yoshiaki Shiga

Yoshiaki Hasegawa

Akinori Ohta

Noritaka Kawakatsu

Hideji Kawata

A solar irradiance intensity estimation apparatus has an estimation model generation unit that generates estimation models of solar radiation intensities at a plurality of observation points based on observed cloud state data and solar radiation intensities observed at the plurality of observation points, an estimation model interpolation unit that generates an estimation model of a solar irradiance intensity at a target point based on the estimation models of solar radiation intensities at the plurality of observation points, and a solar irradiance intensity estimation unit that estimates a solar irradiance intensity at the target point based on a reflection intensity at the target point obtained from the cloud state data and the estimation model of a solar irradiance intensity at the target point.

Solar irradiance intensity estimation apparatus, solar irradiance intensity estimation system, and solar irradiance intensity estimation method

According to one embodiment, a probabilistic weather forecasting device includes processing circuitry configured to generate, based on a plurality of ensembles each including predicted values of the first meteorological variable and a plurality of pieces of observed data each including a observed value of the second meteorological variable, a simultaneous probability density distribution of a predicted value of the first meteorological variable and an observed value of the second meteorological variable; and configured to generate, based on the simultaneous probability density distribution, first probability density distributions each being a probability density distribution of an observed value of the second meteorological variable obtained under a condition that each of a plurality of predicted values of the first meteorological variable are given at a prediction target time, and synthesize the first probability density distributions to generate a second probability density distribution.

Probabilistic weather forecasting device, probabilistic weather forecasting method, and non-transitory computer readable medium

An object retrieval apparatus includes a storage and a retrieval. The storage stores first to N-th space index information relating to Xobjects to Xobjects which are selected in a descending order of an object size from among a plurality of objects, and in which a value of X(where T is a value from 1 to N) decreases as a value of T increases. The retrieval processor divides a sight range into a plurality of pieces according to distance from a sight point, assign a different one of the first to N-th space index information to each divided range such that a smaller index number of the space index information is assigned to the divided range closer to the sight point, and specifies an object having a size visible from the sight point among objects existing in each divided range by retrieving the assigned space index information.

Object retrieval apparatus and object retrieval method

According to one embodiment, an aggregation management apparatus includes processing circuitry configured to acquire position information and performance information of each photovoltaic power generation facility in a set of photovoltaic power generation facilities from a storage; and calculate an evaluation value of a predictive error of a total generated energy of the set of photovoltaic power generation facilities, based on the position information, the performance information, and a correlation level of the predictive errors of solar radiation information depending on a distance between two locations.

Aggregation management apparatus and aggregation management method

According to one embodiment, an object retrieval apparatus includes a query acceptance unit and a collision decision unit. The query acceptance unit is configured to accept a retrieval query indicating (N&#x2212;1)-dimensional surface in N-dimensional space (N is an integral number larger than or equal to three). The collision decision unit is configured to decide whether the (N&#x2212;1)-dimensional surface intersects N-dimensional cuboid positioned in the N-dimensional space. The collision decision unit decides by using a plurality of decision functions. The plurality of decision functions includes zero-th&#x2dc;(N&#x2212;1)-th decision functions to decide whether at least a part of at least one of X-dimensional face (X is all integral numbers larger than or equal to zero, and smaller than or equal to (N&#x2212;1)) of the N-dimensional cuboid is included in the (N&#x2212;1)-dimensional surface.

Apparatus and a method for retrieving an object

A variable is allocated to a statement that designates an event associated with a function call in an assertion. Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable. Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable at each time on a discrete time series.

Verification apparatus and verification method

There is provided with a device that includes a first inputter inputting design description which includes functions; a second inputter inputting type specifying description corresponding to the functions, each of which specifies a type for a return value of each corresponding function, and the description of at least one function of the functions specifies a type for a return value of a first function which is an other function of functions; a determiner determining a type of the return value of the first function to a comprehensive type to comprehend the types specified by the type specifying description corresponding to the first function and the at least one function and a type of the return value of a second function which is a function than the first function to the type specified thereto.

Description rewriting device, design description rewriting method, and computer readable medium

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 design automaton extractor extracts a design automaton from design description data, and a property automaton extractor extracts a property automaton from property description data corresponding to the design description data. A matched state detector counts all states of the design automaton, detects matched states matching the property automaton from all the states of the design automaton, and counts the matched states. A coverage calculator obtains a ratio of the number of matched states to the number of all the states of the design automaton, thereby calculating a coverage representing the degree of correspondence of the property description data to the design description data.

Growing community of inventors

Kawasaki, Japan

Yusuke Endoh