Sharif Digital Repository

The purpose of this dissertation is proposing a probabilistic model in transition systems of records. In these systems, two acceptance state of finite and infinite string have proposed which acceptance state of finite string is called probabilistic finite automata of records and acceptance state of infinite string is called probabilistic buchi automata of records. The buchi automata of records is an operational semantic for Reo coordination language. Reo is a coordination language to coordinate existing component of a component based system. Reo circuits with non-deterministic and probabilistic channel can be modeled by proposing probabilistic buchi automata of records. In this dissertation... 

The everyday increasing electricity consumption of household and industrial sectors across the world, and also the limited generation capacity and fuel supplies has led electricity companies, whether in private or government sectors, to focus deliberately on power generation planning, its costs, risks and constraints Because of many reasons including high efficiency, low cost of capital investment, expeditious permitting, and operation flexibility of gas-fired generating units, electricity companies prefer them to old ones like coal-fired or oil-fired generating units. Thus natural gas has gained a significant share in the portfolio of electricity generation fuel resources, and it is...