Abstract: There is provision of an operation support system for supporting an operation of a demand-supply system including a resource supplying facility and a resource demander facility. The operation support system receives an input of a demand-supply system model of the demand-supply system, facility-capacity information of the resource supplying facility, and analysis condition information defining a plurality of variables and an external variable of the demand-supply system, to generate a correlation logical formula representing a relation among the plurality of variables and the external variable.

Abstract: There is provision of a control device for outputting an operation amount of a controlled object so as to cause a process value of the controlled object to track a target value. The control device acquires a look-ahead target value within a time series of target values; calculates a look-ahead target value deviation which is a difference between the look-ahead target value and a current process value of the controlled object; calculates an adjusted target value deviation, by calculating a difference between the look-ahead target value and a predicted value of the process value after a look-ahead time length, based on a response model of the controlled object and past change amounts of the operation amount; performs reinforcement learning based on the adjusted target value deviation; and calculates an updated operation amount based on the adjusted target value deviation.

Abstract: A production allocation determining apparatus is configured to calculate a total supply function model representing a relationship between a total supply quantity and a marginal cost; calculate, based on current supply quantities, change rate constraints, and on capacity upper and lower limits, supply quantity upper and lower limits of the respective producers at a time s; calculate an optimum price based on the total supply function model, a predicted value of a demanded quantity at the time s, and on the supply quantity upper and lower limits; and calculate, based on the supply quantity upper and lower limits, the supply function models, and on the optimum price, optimum supply quantities. Calculation of the supply quantity upper and lower limits, calculation of the optimum price, and calculation of the optimum supply quantities are repeatedly executed from the time s=T to the time s=1.

Abstract: There is provision of a control device for outputting an operation amount of a controlled object so as to cause a process value of the controlled object to track a target value. The control device acquires a look-ahead target value within a time series of target values; calculates a look-ahead target value deviation which is a difference between the look-ahead target value and a current process value of the controlled object; calculates an adjusted target value deviation, by calculating a difference between the look-ahead target value and a predicted value of the process value after a look-ahead time length, based on a response model of the controlled object and past change amounts of the operation amount; performs reinforcement learning based on the adjusted target value deviation; and calculates an updated operation amount based on the adjusted target value deviation.

Abstract: A production allocation determining apparatus is configured to calculate a total supply function model representing a relationship between a total supply quantity and a marginal cost; calculate, based on current supply quantities, change rate constraints, and on capacity upper and lower limits, supply quantity upper and lower limits of the respective producers at a time s; calculate an optimum price based on the total supply function model, a predicted value of a demanded quantity at the time s, and on the supply quantity upper and lower limits; and calculate, based on the supply quantity upper and lower limits, the supply function models, and on the optimum price, optimum supply quantities. Calculation of the supply quantity upper and lower limits, calculation of the optimum price, and calculation of the optimum supply quantities are repeatedly executed from the time s=t to the time s=1.

Abstract: There is provision of an operation support system for supporting an operation of a demand-supply system including a resource supplying facility and a resource demander facility. The operation support system receives an input of a demand-supply system model of the demand-supply system, facility-capacity information of the resource supplying facility, and analysis condition information defining a plurality of variables and an external variable of the demand-supply system, to generate a correlation logical formula representing a relation among the plurality of variables and the external variable.

Abstract: An energy analysis apparatus that analyzes behaviors of a plant. The apparatus includes a processor coupled with a memory device and configured to execute instructions to provide (1) a plant information input unit for accepting inputs of device information indicating device models configuring the plant, and connection information indicating connection between the device models, (2) a plant analysis condition input unit for accepting an input of a plant analysis condition, and (3) a first-order predicate logical expression generation unit for generating a first-order predicate logical expression on the basis of the device information, the connection information and the plant analysis condition.

Abstract: A control system design assist device which assists design of a control system that controls a control object such that the control object outputs a control amount according to a target value. The design assist device generates a response prediction formula predicting a variation value of the control amount at each control timing included in the sequence of control timings by using an amount of change of the operation amount at each operation timing included in the sequence of operation timings; generates evaluation formulas; and converts a logical product formula into a first first-order predicate logical formula. The design assist device generates a control logical formula indicating a relationship between the current value of the target deviation and the change amount of the operation amount.

Abstract: An operation support apparatus includes: an input unit that inputs a demand-supply system model, facility-capacity information, and analysis condition information in which variables are defined; a logical formula generating unit that generates, based on the demand-supply system model, the facility-capacity information, and the analysis condition information, a relational logical formula; a depicting data generating unit that generates depicting data for depicting, in a coordinate system with the variables as respective coordinate axes, an area that satisfies the relational logical formula; a visualization library generating unit that generates a visualization library that includes the depicting data or a visualization library for generating the depicting data; and an online visualizing unit that depicts, based on the visualization library and performance data of the demand-supply system obtained from a measurement apparatus, the area and a performance point represented by the performance data in the coordinat

Abstract: A control apparatus controls a demand-supply system, which includes resource supplying facilities configured to supply resources and at least one resource demander facility configured to demand the resources supplied from the plurality of resource supplying facilities. The control apparatus includes a minimum cost calculating unit configured to calculate, upon a total demand of the resources demanded in the at least one resource demander facility being input, a minimum cost necessary for the resource supplying facilities to supply the resources of the total demand based on the total demand and a cost necessary for the resource supplying facilities to supply the resources; and a supply quantity calculating unit configured to calculate optimum supply quantities of the respective resource supplying facilities based on the minimum cost, the total demand, and a supply quantity of the resources to be supplied from at least one resource supplying facility of the resource supplying facilities.

Abstract: An energy analysis apparatus that analyzes behaviors of a plant. The apparatus includes a processor coupled with a memory device and configured to execute instructions to provide (1) a plant information input unit for accepting inputs of device information indicating device models configuring the plant, and connection information indicating connection between the device models, (2) a plant analysis condition input unit for accepting an input of a plant analysis condition, and (3) a first-order predicate logical expression generation unit for generating a first-order predicate logical expression on the basis of the device information, the connection information and the plant analysis condition.

Abstract: A control system design assist device which assists design of a control system that controls a control object such that the control object outputs a control amount according to a target value. The design assist device generates a response prediction formula predicting a variation value of the control amount at each control timing included in the sequence of control timings by using an amount of change of the operation amount at each operation timing included in the sequence of operation timings; generates evaluation formulas; and converts a logical product formula into a first first-order predicate logical formula. The design assist device generates a control logical formula indicating a relationship between the current value of the target deviation and the change amount of the operation amount.

Abstract: A solid-state imaging device includes a plurality of light receiving elements, transfer gates for controlling reading-out of signal charges generated by the light receiving elements, a charge coupled device for transferring the signal charges from the light receiving elements through the transfer gates, a charge input electrode, and first and second electrodes for controlling the quantity of charges input from the charge input source. The first electrode contacts the charge input source. The second electrode contacts the first electrode and is connected to a light receiving element via a transfer gate or another charge coupled device. In this structure, the second electrode controls the quantity of input charges in response to a dc voltage in a charge input mode for testing the images and serves as a first stage transfer electrode in response to a clock pulse in a imaging mode for forming an image. Thus, the pitch of the light receiving elements is constant even at the charge input electrode.