Sharif Digital Repository

In this thesis, we investigate constructive measure theory in two schools of constructivism; intuitionistic mathematics and Bishop’s constructive mathematics.In this regard, first, we examine some classical propositions on measurability in both schools. Then we give a comparison between measurability in the two schools  

In real-time semantic segmentation, images are divided into predefined semantic regions at a speed exceeding 30 frames per second, and each point of the image is labeled with a category. The output of this fundamental task is to produce a representation that is comprehensible to computers for further processing in applications such as autonomous vehicles, robotics, and augmented reality. This task pursues two conflicting goals: improving the accuracy of segmentation and increasing its speed. Previous research has enhanced segmentation speed using lightweight and multi-branch structures and improved accuracy using attention mechanisms. Depth map alongside color image can lead to better... 

In majority of the (standalone or grid-connected) PV Systems, predefined rule-based algorithms are utilized in order to manage and control the flow of power. The function of these algorithms is to send the generated energy from solar panels either to load for consumption, or to battery for storage, or to the grid for sale. Their performance is based on predefined instructions and regardless of load change and consumption patterns. Therefore the total efficiency of these systems depend greately upon individual user’s load type and consumption pattern. In current research, an optimum and dynamic energy management algorithm is proposed using dynamic programming (DP) method, in order to increase... 

Softening and liquefaction of granular soils due to earthquakes have been a major cause for much destruction in preceding decades. This phenomenon mostly occurs in sandy soils, yet its occurrence has also been reported in gravelly soils in the last three decades. Despite the numerous researches which have investigated the undrained cyclic behavior of gravelly soils during earthquakes, there are still some aspects that need further study.This research investigates the effect of initial static shear stress on undrained cyclic resistance of a well graded, medium dense gravelly soil by conducting a series of cyclic triaxial tests. The 23 performed tests are categorized into 5 groups with... 

In this study, the problem of assortment optimization considering a non-parametric choice model will be introduced. The present study is generally divided into two main parts. The first part deals with modeling customer behavior using the definition of tree models of customer preference behavior. The second part is related to the main problem solving framework in order to get the best product combination in the product classification basket. This research is related to the online seller who intends to sell a certain number of types of products without inventory limit. Customers entering the system, according to their specifications, are provided with the appropriate product classification... 

Triclosan is widely used as an antibacterial agent in personal health care products, especially in recent years with the spread of the Coronavirus. This substance is one of the emerging contaminants, and due to its stable and toxic nature, this material cannot be destroyed in the process of biological wastewater treatment. In this research, a new bacterial strain was isolated and purified from industrial wastewater for the biological removal of triclosan. Based on 16S rRNA sequencing, it was found that the isolated strain belongs to the Enterobacter cloacae family and can grow in high concentrations of triclosan. It was observed that naphthalene dioxygenase and laccase enzymes are active... 

The notable share of housing sector in GDP (approximately five percent) shows this sector’s relation with macroeconomic activities. On the other hand, House as an asset leads housing sector to be affected by monetary and fiscal variables. A dynamic panel data was used in this study to evaluate the relations between housing sector and some macroeconomic variables in metropolises of Iran. As results show, in long term growth of liquidity, GDP per capita and sharp ratio have positive effects, and land per capita has negative effect on housing price in metropolises of Iran. Price increases have not been equal in different cities. Inequality of land price between metropolises and between... 

In this research, an Index of Iran informal economy in response to the government interventions in credit, labor and product markets is stimated by EMIMIC model. To do this, first these interventions are measured using principal components analysis. In the model, the variables GDP and employment are used as indicators and taxation rates, government distortions in credit, labor and product markets, government expenditure, per capita income, unemployment and inflation as causes of the informal economy. We conclude these government interventions have affected Iran informal economy and their influence is more than indirect interventions influence such as taxation. The estimated index of Iran... 

With altering natural state and increasing impervious surfaces, traditional urbanization leads to deteriorating the environment and water catchments. During the years most efforts in order to control the urban runoff outflow, have been focused on quantity; and awareness about improving water quality has been raised just in the last few years and, which emphasizes on pollution source control. Standard water quality sampling methods are time consuming, expensive and because of sampling in broad geographic areas, difficult; however modeling is a more efficient way in assessing water quality and as worries about non-point source pollution grows, different kinds of models have been used to...