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... 

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... 

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... 

In this thesis, we propose a processor allocation mechanism for run-time assignment of a set of communicating tasks of input applications onto the processing nodes of a Chip Multiprocessor (CMP), when the arrival order and execution life-time of the input applications are not known a priori. This mechanism targets the on-chip communication and aims to reduce the power and latency of the Network-on-Chip (NoC). In this work, we benefit from the advantages of non-contiguous processor allocation mechanisms, by allowing the tasks of the input application to be mapped onto disjoint regions (sub-meshes) and then virtually connecting them by bypassing the router pipeline stages of inter-region... 

Dynamic Random Access Memory (DRAM) has been the leading main memory technology during the last four decades. In deep sub-micron regime, however, scaling DRAM comes with several challenges caused by charge leakage and imprecise charge placement. Phase Change Memory (PCM) technology is known as one of the most promising technologies to replace DRAM. Compared to competitive non-volatile memories, PCM benefits from best attributes of fast random access, negligible leakage energy, superior scalability, high density, and operating in both Single-level Cell (SLC) and Multi-level Cell (MLC) storage levels without imposing large storage overhead. Unfortunately, density advantage of MLC PCM devices...