• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.3
• /
• pp.648-654
• /
• 2010

Request operations and release operations occur repeatedly in resource allocation systems. The process requesting a resource acquires one by any priority-based mechanism, and returns the resource after some periods. In this system, resource failures lead to delay of resource allocation, or to termination of process holding the failed resource. To analyze this process effectively, this paper designs a probabilistic ACSR, a process algebra that extends ACSR with the probabilistic choice operation. The ability to express/analyze both request-release rates and failure-recovery rates is illustrated using probabilistic ACSR.

• Nuclear Engineering and Technology
• /
• v.9 no.3
• /
• pp.139-149
• /
• 1977

An attempt is made to establish an optimum fuel cycle strategy for the Go-ri nuclear power plant units 1 and 2. The total capital required for the fuel cycle operation is selected as a figure of merit for economic comparison of several alternative fuel cycle schemes available for the plant, and evaluated using a probabilistic method coupled with a sampling procedure of the fluctuating fuel cost data. The results are presented in the form of probability histograms. On the basis of the most likely values of the capital requirement obtained from the histograms, a conclusion is drawn that reprocessing cycle with either uranium only or both uranium and plutonium recycled is the most economic choice for the Go-ri plant.