Abstract: 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.

Abstract: 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.

Abstract: An object retrieval apparatus includes a storage and a retrieval. The storage stores first to N-th space index information relating to X1 objects to XN objects which are selected in a descending order of an object size from among a plurality of objects, and in which a value of XT (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.

Abstract: 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.

Abstract: A bid-price determination apparatus includes an acquirer, an extractor, a predictor, a determiner, and an output device. The acquirer acquires a price history of a product before a current time in an electric power continuous session. The extractor extracts, from the acquired price history, a first feature quantity which is a feature quantity of the price history of the product. The predictor predicts, based on the extracted first feature quantity, a second feature quantity which is a feature quantity of price changes of the product after the current time. The determiner determines, based on the predicted second feature quantity, a transaction standard value which is a standard for a transaction of the product after the current time. The output device outputs the determined transaction standard value.

Abstract: An object retrieval apparatus includes a storage and a retrieval. The storage stores first to N-th space index information relating to X1 objects to XN objects which are selected in a descending order of an object size from among a plurality of objects, and in which a value of XT (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.

Abstract: 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.

Abstract: An object retrieval apparatus includes a storage and a retrieval. The storage stores first to N-th space index information relating to X1 objects to XN objects which are selected in a descending order of an object size from among a plurality of objects, and in which a value of XT (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.

Abstract: 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.

Abstract: 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.

Abstract: An object retrieval apparatus includes a storage and a retrieval. The storage stores first to N-th space index information relating to X1 objects to XN objects which are selected in a descending order of an object size from among a plurality of objects, and in which a value of XT (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.

Abstract: 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?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?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˜(N?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?1)) of the N-dimensional cuboid is included in the (N?1)-dimensional surface.

Abstract: An insolation information generating device has a mesh generator to generate meshes by projecting a solar trajectory on a celestial sphere onto a plurality of mesh positions on a two-dimensional plane, a solar position calculator to calculate a solar position, a feature road shape storage to store three-dimensional information on feature and road shapes, a feature road shape acquisition module to acquire three-dimensional information of a feature and a road located around each of a plurality of regions of interest, an insolation information calculator to determine whether sunlight from each solar position calculated by the solar position calculator is blocked by a feature acquired by the feature road shape acquisition module to calculate at least either one of a sunny ratio and a shady ratio, and an insolation information storage to store each mesh position and at least either one of the corresponding sunny ratio and shady ratio.

Abstract: An insolation calculating device has a 3D model acquisition module to acquire a 3D model of an area around a target location to calculate insolation, a routing information acquisition module to acquire routing information about the area around the location, a main routing information extractor to acquire main routing information including a plurality of representative points from the routing information acquired by the routing information acquisition module, a sky diagram generator to generate a sky diagram at each of the representative points, the sky diagram being generated as two-dimensional image data corresponding to a shot image of the whole sky, a representative point insolation calculator to calculate representative point insolation showing insolation at each of the representative points, and a route insolation calculator to calculate insolation of each route connecting two adjacent representative points in the representative points.

Abstract: 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.

Abstract: 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-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?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˜(N?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?1)) of the N-dimensional cuboid is included in the (N?1)-dimensional surface.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.