Sharif Digital Repository

Routers play a key role in transferring information between various Networks. It is very important to make sure about the compatibility of OSPF in a router with its standard description. In this regard, before presenting or applying a router and also evaluating its performance, it is necessary to carry out conformance test with the help of network equipment testers Tester designers extract test cases from protocol standard description through non-formal ways and exam them on network equipment.
In this thesis, a part of OSFP protocol has been modeled through colored Petri nets. In this regard, two sections of OSPF RFC have been model checked: neighbor state machine and data base... 

Rail equipment suppliers in the manufacturing realms of activity are obliged to comply by global standards in order to provide the requirement needs of the rail industries and the needs of customers. In this way, the standards would enhance the quality, safety and reliability of the railway industry. International Railway Industry Standard (IRIS), as an exclusively railway standard that is based on or a more refined of the ISO 9001 Quality Management Standard Policies, which adds in fact further layers to the ISO 9001 structure. The IRIS is the result of long term process in development of an international quality management standard for railway fleet. The objective of this thesis is to make... 

The aim of the present research is to analyse feasibility study of manufacturing the disposable (Biodegradable) plant containers in Iran. The population of the research consists of the whole capacity for manufacturing this product and the similar product producers which have been registered in the Ministry of Industry, Mines and Commerce. First, in this research, the environmental and anti-environmental impacts of non-plant Disposable Containers like: plastic, foam, paper and aluminum have been discussed and also their disadvantages have been examined to be compared with advantages of using plant Disposable Containers. Thereafter, collecting the required data about today society and market,... 

Today, several centuries after the time when science began to flourish of science, everybody is familiar with destroying consequences of modern science and technology, in addition to its achievments. Besides, domination and exclusive position of science in educational system and government organizations have marginalized alternative knowledge. Thus, some people found this trend dangerous for humankind’s fate and tried to change this situation. Nasr and Feyerabend are two philosophers that despite their different work area both criticise modern science and try to establish their own ideal scientific community.Nasr’s approach is regeneration of traditional science which was prevalent before... 

In a network of caches, the precious cache space must be efficiently managed. A wasteful cache management algorithm might make redundant copies of the same content at several caches. Therefore, there must be an algorithm (a.k.a admission policy) to find a proper location in the network for every content to be cached. One way to locate different content at different caches is based on content popularity. Thus, popular content is closer to requesters. However, measuring content popularity at every router is not practical due to the high overhead the algorithm imposes on the routers. A more practical approach is to distribute different parts of the content to several caches along the path from... 

Dust phenomenon is a combination of tiny particle with urban pollution that it is harmful for respiratory disease. But this phenomenon has been prevalent in our country recently. We utilized NASA satellite pictures to observe dust storms in the present project. We have collected images of possible sources of dust on the days when we are faced with the dust storm phenomenon. Then by processing of NASA satellite pictures (recognition of distribution of optical and particle density in the dust particle arising and comparing results through analysis of these images to estimate the main characteristics of the sampling locations). we have find the desired location for taking samples of soil... 

Discontinuously reinforced aluminum matrix composites (DRA) are candidates as a substantial class of materials for improved strength, stiffness, and wear resistance. However, the low fracture resistance of DRA's has restricted the widespread use of these materials as structural components. Consequently, intrinsic and extrinsic mechanisms have been considered in order to enhance the damage tolerance of composite materials based on microstructural and architectural modification, respectively. The intrinsic toughening technique has shown to elevate fracture resistance to some extent; usually at the expense of reducing several other properties such as strength. The more recent approach to... 

One of the main goals in large projects with multiple contractors is to reduce costs in various processes. The complexity of a large project, which is mainly due to the complexity of activities and the existence of interference between different phases and the lack of transparency of activities, can be added to the multiplicity of contractors and the difficulty of proper interface management.As regards that large projects with a large scope of work, have to use several contractors and this issue has a direct impact on increasing project costs, large project management becomes a major challenge that the application of appropriate knowledge, improving processes and skills and tools can play a... 

The combination of Compton imaging and positron emission tomography, also known as Compton-PET, has gained attention due to its improved spatial resolution and imaging sensitivity compared to PET imaging alone. Compton-PET simulated system consists of two concentric detector rings. The inner ring with a smaller diameter is called the Compton scattering detector, the scatterer, and the outer ring, which has the dual applications of Compton scattering detection and PET detector, is called the absorber. Improving the images is possible by increasing resolution, contrast, and reducing noise, and the quality of nuclear medicine images also depends on these three characteristics. Considering the... 

Like any other Information Communication Technology (ICT) solution, E-shopping alters shopping trip patterns in a city. Product internet searching is another ICT solution which affects shopping trip patterns in a city. At the first stage, by producing ordinal regression models, this study explores all factors which are effective in adoption and frequency of product internet searching and e-shopping. In the next step, rather than pre-imposing restrictive assumptions regarding dependence, this study determines the structure of dependency between product internet searching and e-shopping with two (adoption and frequency) joint models by implementing the copula-based approach. This study relies...