this research presents a mathematical model for oil and gas optimal allocation to different sectors in iran using operations research techniques. sectors are residential and commercial, transportation, industries, agriculture, exports, injection to oil reservoirs and power plans as a secondary energy producer. optimal allocation of energy resources to end-uses from 2011 to 2021 has been done us...

Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the environment. We cast stability analysis as a model checking problem and show how this may be of use in interactive and automatic verification.

We analyze the Ising model on a random surface with a boundary magnetic field using matrix model techniques. We are able to exactly calculate the disk amplitude, boundary magnetization and bulk magnetization in the presence of a boundary field. The results of these calculations can be interpreted in terms of renormalization group flow induced by the boundary operator. In the continuum limit thi...

As a result of rapid urban economic development and improvement in living standards, urban residential electricity consumption in China is increasing quickly. Although the factors which influence the urban residential load are complex, an objective analysis followed by the setting up of a logical urban residential load forecast model can offer a scientific basis for decisions regarding urban po...

although technical development has positive consequences for public welfare, its influences on environment especially by noise is considerable. three-dimensional maps of noise pollution made it possible to control and prevent its spread. in this research, primarily because of the lack of a standard model of noise in iran, we chose the standard noise mapping method 1 (smm1) which has been spread...

Despite growing research for residential crowding effects on housing market and public health perspectives, relatively little attention has been paid to explore and model spatial patterns of residential crowding over space. This paper focuses upon analyzing the spatial relationships between residential crowding and socio-demographic variables in Alexandria neighborhoods, Egypt. Global and local...

This paper presents a residential water demand forecasting model using a back propagation neural network (BPNN) in the context of residential buildings in Korea. The water demand of a building demonstrates a highly complex and non-linear phenomenon reflecting such features as geographic and climatic and special types of buildings. We describe the impact of several potential determinant factors ...

In this paper we make research in Residential short-term load forecasting. Different application scenes have different affecting factors of short-term load, so we should specifically analysis of factors that affect the load of the residential electricity. We use SPSS (Statistic Package for Social Science) to figure out the relationship between the daily load and temperature, weather conditions ...