Sharif Digital Repository

We propose Hierarchical Web Services Composer (HWSC) as a technique for fully automatic Web services composition. It takes functional and nonfunctional requirements of a Web service and returns possible compositions that realize those requirements. In doing so, HWSC deploys the Hierarchical Services of Interacting Processes (HSIP), a formalism of concurrent systems, and integrates its capabilities with the existing methods and protocols for service oriented computing. The proposed framework technique is then analyzed and validated through a number of real-life examples  

Security has become more important in IT systems. Thus, to protect such systems from related potential threats and harms, robust and dependable security solutions should be devised. In designing security systems, a number of other issues such as assurance and verifiability are also of concern. Due to their mathematical nature, formal methods are very suitable for the above purposes. Using these methods, one can accurately define a system, its boundaries, and the requirements from design. It also makes it possible to verify that the design meets the requirements. In this dissertation, we propose a general IT security system using RAISE specification method. To do so, the specification... 

Silver nanoparticles (Ag-NPs) are promising agents in bionanotechnology, because of their unique activity against unfavorable processes in bioscience such as undesirable microbial growth, angiogenesis in tumors and etc. Ag-NPs have been widely used in wound dressing; wound healing, water treatment filters, inks, sensors, catalysts, cosmetics, orthopaedics, surgical instruments and vascular prosthesis. Ever-increasing applications of Ag-NPs in biomedical field are due to the anti-bacterial, anti-fungal, anti-viral, anti-platelet, anti-proliferative, anti-inflammatory (apoptosis detection) and anti-angiogenesis properties (cancer therapy). In the current research, we synthesized Ag-NPs in... 

Heartbeat is the result of contractions of over 10 billion cardiac cells. These cells’ cytoplasms are connected to each other by gap junctions which are arrays of intercellular protein channels. Thus action potential can propagate from one cell to another and cause its contraction. In core-conductor model, one-dimensional microscopic representation of cardiac tissue, cells are attached to each other to form a ladder network. The parallel elements are connected to each other by series resistors which represent gap junctions. These resistors are nearly always considered as static elements. In this thesis I have investigated the effects of incorporating the dynamicity of gap junction resistors... 

Simulation of cardiovascular system functionality during various physiological conditions is essential at different diagnostic and clinical levels. A first step in studying the roots of cardiovascular diseases and abnormal activity is to study a practical yet complete model of the cardiovascular system. In this thesis we introduced a new approach for defining the distributed model of the cardiovascular system. Initially, we chose an appropriate subsystem, namely Arch of Aorta, and proposed a distributed model for it. The elements of the proposed model were nonlinear RLC elements that simulate resistance, blood viscosity and vessel elasticity respectively. To minimize the system complexity,... 

To actualize and making the outputs of a project effectual, it is necessary to conduct an effective management during a project. This case may not be possible without accurately planning for activities, management and controlling all phases of a project ignoring the risk management of that project. If risks of a project cannot be detected before conducting a project, it is possible to challenge the performance and even effectiveness of the project. In current conditions, the most important problem of managers and executives of construction projects through the country is risk management of projects, not acknowledging with definitions of risk, models of risk management and lack of a model for... 

Disconnections in neural paths from the central nervous system to the muscles or vice versa cause different neuropathies, thus paralysis in different limbs may occur. As a result of the lack of muscular activity and the decrease in blood perfusion in paralyzed limbs, problems like osteoporosis, increase in the risk of breaking, decline in muscle size, cardiovascular diseases, renal dysfunction, bedsores, etc may happen. In order to induce movement in paralyzed limbs, thus preventingmentioned problems, rowing exercise through Functional Electrical Stimulation (FES) may be utilized. In FES, electrical Stimulation using current stimulating pulses is applied to contracting and relaxing muscles,... 

A Balanced Scorecard (BSC) model is proposed to evaluate performance of Health, Safety and Environment (HSE) management systems. This model includes key performance indicators at three integrated levels. It has been tested and verified in a project-based organization in Iran, active in the area of power and energy. Results show that the company has done well in implementing HSE management processes, but no so well in growth and learning. This model may be used as a basis for comparing different companies and various proposed programs in the field of HSE management systems. The model includes indicators and sub-indicators in each category particularly related to stakeholders, processes, and... 

World-wide, Congestive Heart Failure (CHF) takes hundreds of thousands of lives each year. This chronic heart disease causes poor performance of the heart and insufficient blood pumping to the organs. A significant percentage of patients with CHF require heart transplants for their survival. The high cost of heart transplant, shortage of donor hearts and possibility of its rejection by recipients are serious problems of this type of treatment. Therefore a large number of heart patients are potential beneficiaries of artificial blood pumps such as Ventricular Assist Device (VAD) and Total Artificial Heart (TAH). Performance of these systems must be compliant and complementary to the existing...