Sharif Digital Repository

Monitoring of activities of elderly and intelligent decisions about their living environment is a key challenge in smart environments. In the case of such challenges, correctness of system performance is highly dependent on how the model is designed. In the ambient intelligence (AMI) modeling, formal modeling is one of the best approaches because it supports certainty. In addition, time, location and mobility in AMI are crucial requirements, particularly in emergency treatment services. Ambient calculus is a formalism for describing mobility, process migration and message transfer, but it cannot express metric time duration. In this paper we propose an extension of ambient calculus with time... 

Removing nitrogen, as one the most surface and ground water contaminant is very important and in order to achieve this aim,nitrification and denitrification are effective and economical methods. In this work, moving bed biofilm reactor (MBBR) with initial denitrification structure, adapted from modified LUDZACK-ETTINGER (MLE) method used in order to industrial wastewater treatment with COD value in range of 900-2100 mg/lit and ammonium in range of 150-430 mg/lit in 3 hydrolic retention time of 18 , 12 and 8 hours.Aerobic reactor volume is 14.4 liter and anoxic reactor volume is 7.2 liter and reflux flow amount from aerobic reactor to anoxic reactor has considered being 3 times of anoxic... 

The distance measurement is the corner stone of the modern cosmology. They are measured via ”Doppler Effect”, accordingly the distances in cosmology are obtained in red-shift space. Despite the cosmological background expansion, the peculiar velocities due to the local density contrast distort these measurements. One of the main challenges in upcoming cosmological studies is to distinguish the peculiar velocity effect from the background expansion.Supernova Type Ia as standard candles can be think of a crucial observation to address the above problem. In this thesis, we study the effect of cosmological perturbations on distance-redshift relation of the SNIa. The corrective effects are from weak... 

Organizations are established and developed based on a specific existence policy. They would exist as long as they are able to do their basic mission. An organization could perform its mission through some work processes. The better processes makes higher organization’s productivity. In order words desirable quality and quantity of an organization depends on processing functions. Improved processes use minimum resources to achieve efficiency maximum. Deeds and Properties Registration Org. (DPRO) is a unit, which maintains and supports national security through arranging individual social and economic relations, the organization has an outstanding position. Following composition of 20-year... 

The aim of this research is to analyze the failure and investigate crack growth in graphene using peridynamic theory. The presence of spatial partial derivatives in the equations of classical continuum mechanics has led to the fact that methods based on this theory are not valid in displacement discontinuities such as cracks. Peridynamic theory emerges as a nonlocal reformulation of mechanics, uniquely well-suited for modeling discontinuities and dynamic fractures in both continuous and discrete media. Its adaptability extends to various dimensions, encompassing phenomena at the nanoscale. In the present study, based on the ordinary state-based peridynamic theory, we investigated the...