Sharif Digital Repository

Cloud Manufacturing (CM) as a successful manufacturing business model and a major driver of Industry 4.0 has attracted a lot of attention in recent years. CM idea aims to streamline the on-demand provisioning of manufacturing resources and capabilities as services, providing end-users with flexible and scalable services accessible through global networks. This idea created many opportunities and challenges. One of the critical challenges is resource allocation, which determines who interacts with whom and how in the CM platform. The type of the platform is a determining factor for the selection of the appropriate resource allocation. To analyze the impact of the allocation on the utilities,... 

This paper presents a mathematical model using Stochastic Activity Networks (SANs) to model a grid resource, and compute the throughput of a resource in servicing grid tasks, wherein the failure–repair behavior of the processors inside the resource is taken into account. The proposed SAN models the structural behavior of a grid resource and evaluates the combined performance and availability measure of the resource. Afterwards, the curve fitting technique is used to find a suitable function fitted to the throughput of a resource for grid tasks. Having this function and the size of each grid job based on its tasks, an algorithm is proposed to compute the makespan of each available resource to... 

Self-adaptive systems are systems that automatically adapt in response to environmental and internal changes, such as possible failures and variations in resource availability. Such systems are often realized by a MAPE-K feedback loop, where Monitor, Analyze, Plan and Execute components have access to a runtime model of the system and environment which is kept in the Knowledge component. In order to provide guarantees on the correctness of a self-adaptive system at runtime, the MAPE-K feedback loop needs to be extended with assurance techniques. To address this issue, we propose a coordinated actor-based approach to build a reusable and scalable model@runtime for self-adaptive systems in the... 

Airflow simulation of the whole respiratory system is still unfeasible due to the geometrical complexity of the lung airways and the diversity of the length scales involved in the problem. Even the new CT imaging system is not capable of providing accurate 3D geometries for smaller tubes, and a complete 3D simulation is impeded by the limited computational resources available. The aim of this study is to develop a fully coupled 3D-1D model to make accurate prediction of airflow and particle deposition in the whole respiratory track, with reasonable computational cost and efficiency. In the new proposed method, the respiratory tree is divided into three parts to be dealt with using different...