Sharif Digital Repository

Increasing the complexity of software systems, their ubiquitous presence in the human activities, and necessity to preserving the functional and nonfunctional requirements of the systems under an uncertain environment, increase the need for self-adaptive systems. A self-adaptive system changes its structure and behaviors in response to changes in its environment and the system itself. A key research challenge in the self-adaptive community is to guarantee that the system fulfills its requirements. This issue can be addressed by employing formal methods during the design of the software systems. However, the assurance techniques should be used during the execution of the system as well as the... 

Signal transmission of information on noiseless and lossy channels is an important issue in data transmission. Using the amplifier in the transmission channels is a good solution to help send information on longer channels. In classical communication, information can be coded in the amplitude or phase of the field and an amplifier is responsible for amplifying these parameters. If we consider the conditions ideal and ignore electrical noises, Classical mechanics does not impose any restrictions on the amplification of arbitrary classical signals. Instead, in quantum telecommunications the information encoded on the quadrature of the electromagnetic field are mounted on quantum states, such... 

Loosening of uncemented tibial component is one the most common causes of total knee prosthesis failure which is a result of short-term factors such as instability and incomplete osseointegration as well as long-term factors such as peri-prosthetic stress shielding and bone atrophy. Porous cellular structures for tibial stem have been considered as a solution to this problem. This project is aimed to achieve an optimal gradient porous cellular design of tibial stem that in addition to sufficient mechanical strength, provides a perfect osseointegration and prevents bone resorption by incorporating appropriate porosity size, small micro-motion and favorable stress distribution on bone. A... 

In literature, substantial works have been done on supply chain coordination. The majority of these works looking for a mechanism that enforces the supply chain members to follow strategies that produce the equilibria of an integrated supply chain, and most of this literature ignores competition between supply chains. In this thesis, we consider two distinct supply chains which compete to each other on the price. We present a method to calculate the equilibria for three structural forms. In the first form, two supply chains are integrated and in the second form, one of the supply chains is integrated and the other one is decentralized. Finally in the third form, both supply chains are... 

Necessity of a public transport network, environmental protection and a highly land cost in urban areas have increased the desire for underground transportation systems. On the other hand, ventilation system design should be done precisely specially for longer tunnels, large undergrounds spaces and crowded places. Rate of energy reduction for vent systems operation is dependent on their proper implementation. Tunnel design efficiently is influenced by ventilation system. The tunnel mid shaft is complementary part of the underground railway systems that is required for exchange air between the tunnel and the railway station with ambient fresh air. An important application of the tunnel mid... 

Immediate control of pandemic influenza to avoid casualties and financial losses is an important issue. In this thesis, two types of controllers including optimal controller and adaptive generalized predictive controller based on linear input-output model, with vaccine, treatment and quarantine being controlling variables, have been used to control influenza. Each controlling methods were investigated for different states including single-input single-output and multi-input single-output. Single-input single-output and multi-input single-output models are identified as online and offline using least squares method. Since it is difficult to exactly identify the model parameters, especially at... 

Over the past few decades, brachytherapy has been used as one of the leading methods in the treatment of a wide range of cancers, including breast cancer. Due to the high dose gradient of brachytherapy radiation sources, this method is used to treat such tumors that are grown at the vicinity of sensitive points or tissues of the body. Therefore, as irradiation get started by implanting radiation sources in the desired position, at the same time healthy tissue are also receiving the same dose as tumor tissues do Reducing healthy tissue dose along with increasing the dose of tumor tissue is one of the challenging topics that researchers are always looking for a solution. In the left breast... 

Benzimidazoles are a bioactive family of chemicals which had been subject of many studies because of their valuable properties, and has a long history of production in chemical industries. Investigation on their properties and reactions with goal of achieving to new derivatives have drawn attention of many research teams. Recently, 2- Imidazolineaminobenzimidazole had been synthesized by microwave-assisted reaction of 2-Aminobenzimidazole with 2-Methylsulfanylimidazoline hydrogen iodide. But because of difficulties aroused by use of microwave system and expensive chemicals, we decided to utilized reaction procedures which could be facile, inexpensive with capability of high reaction scales.... 

Emission of CO2 and its diffusion into atmosphere is associated with negative effects on the environmental such as Green House Gases effect. Various techniques of CO2 Capture in energy conversion and processing plant are investigated. A method of CO2 Capture could be based on utilization of solar energy for producing methanol. Basic design of such a system and feasibility analysis of developing that system has been considered on the subject of the present research work. Basic design and commercial feasibility of the system producing methanol through capturing CO2 from exhaust gases of a power plant and hydrogen produced by using solar energy have done such an integrated system. The main... 

Briefly in this thesis, these subjects have been investigated: In recent years, water is used as a solvent instead of an organic solvents have become more and more important due to cheap and environmental consideration. In this context, preparation of quinoxaline, pyrrole, new 1,4-dihydropyridine and reduction of imine to amine with 1,4-dihydropyridine derivatives as the reducing agents with the use of one-pot multicomponent reaction have been reported. The existence of several hydrogen bonding groups (NH) in the new dihydropyridines they acts as biologically active compounds in the forthcoming years. In continuation, oxidation of thiols to disulfides in the presence of NBS and NCS and... 

Nowadays using traditional hollow clay brick in buildings to make walls and partitionsisvery common. Non-load-bearing walls in buildings are used as architectural elements for design purposes and protecting the people that are inside the building from cold , heat and sound pollution .Due to the new technologies and developing building codes interms of structure , non-load-bearing walls behaviour that is always neglected seems necessary to be considered. In this research we have investigated the static and dynamic behaviour of a patented non-load-bearing wall made up of a claybrick system with specially-designed-precision grooved faces that eliminates conventional cement mortar and results... 

In this thesis, heterogenous catalysts based on magnetic nanoparticles were synthesized. In these catalysts, magnetic nanoparticles were coated with defferent fuctional groups to produce a catalyst with magnetic properties which is easily separated from the reaction medium. The structure of synthesized catalyst was characterized using techniques such as transmission electron microscopy (TEM), scanning electron microscope (SEM), Fourier transform infrared spectroscopy (FTIR), and CHNS elemental analysis. Easy preparation, low cost, biodegradability and high thermal stability are advantages of these catalysts. At the end, the catalytic properties of resulted catalysts were investigated in many...