| 摘要 |
A generating unit generates second model-specific data defining a performance of a target machine based on first model-specific data. An irreversible unit realizes an irreversible state in which a transition is possible from a second state to a first state, but not from the first state to the second state. A setting unit sets a state of the irreversible unit based on a result of comparison between the first model-specific data with the second model specific data by a comparing unit. A performance determining unit determines the performance of the target machine based on the first model-specific data, the second model-specific data, and the state of the irreversible unit.
|
