Sharif Digital Repository

The injection process on cell is a very accurate and sensitive operation. This method is used for several new invented approaches such as tracytoplasmic Cell Injection or drug delivery. Controlling the injection force in micro scale is one of the problems of mentioned operations. Current huge and expensive laboratorial devices are helping the operators to do injection operation with :nore success. In this study a simple and novel microelectromechanical (MEMS) mechanism for doing injection process automatically on the biological cells is proposed. In order to controlling this device properly, we should model and simulate the operation condition from initial position to final condition. This... 

Most refineries are looking for a process in order to remove heavy compounds and convert them into lighter, more valuable materials. Among the various remaining upgrade processes, non-catalytic heating processes are very attractive and have gotten a wider scope worldwide because the feed used for the upgrade process is high in metal and sulfur, which causes the catalyst surface to become toxic and inactive. Due to that, the thermal cracking process is more suitable for such feeds than the catalytic cracking process. Due to the reduction of sweet crude oil resources and the heavier refinery feeds and increase in amount of global fuel needs, refineries must process a larger share of feed in... 

As more renewables step in, the ongoing change will be drastic for the electrical grid. The energy sector must find new ways to balance energy production and consumption. Electric vehicle (EV) batteries are by far the most cost-efficient form of energy storage since they require no additional investments in hardware. A bidirectional EV charger is a new technology that enables energy to be pushed back to the power grid and auxiliary loads from the battery. The electrical requirements of the EV charger are examined in detail to find an appropriate power electronics converter to meet all the requirements. The CLLC resonant converter is a promising candidate for high efficient, bidirectional... 

Cardiovascular diseases are one of the major causes of mortality in humans. One way to diagnose heart diseases and abnormalities is processing of cardiac signals such as ECG.In many of these processes, inter-beat and intra-beat features of ECG signal must be extracted. These features include peak, onset and offset of ECG waves,meaningful intervals and segments that can be defined for ECG signal. ECG fiducial point (FP) extraction refers to identifying the location of the peak as well as the onset and offset of the P-wave,QRS complex and T-wave which convey clinically useful information. However, the precise segmentation of each ECG beat is a difficult task, even for experienced... 

In this thesis, an enhanced local mean-field (MF) model that is suitable for simulating the electroencephalogram (EEG) in different depths of anesthesia is presented. The main building elements of the model (e.g. excitatory and inhibitory populations) are taken from two pioneer MF models designed by Steyn-Ross et al and Bojak & Liley, and then a new slow ionic mechanism is included in the main model. Generally, in mean-field models, some sigmoid-shape functions determine firing rates of neural populations according to their mean membrane potentials. In the enhanced model, the sigmoid function corresponding to excitatory population is redefined to be also a function of the slow ionic... 

Despite advancements in Building Information Modeling (BIM) in the construction industry, issues such as the intangibility of building models and a lack of interaction and opinion-sharing still exist. The integration of Virtual Reality with BIM has rectified these problems. Quantity surveying, material estimation, solving design problems during modeling and preparing a building model containing information are some of the advantages of using BIM in this research. Alongside BIM, VR tools were employed as a mean to increase interaction with the user, boost marketing and pre-sales, create alternative options for building components, and estimate cost and time. Following the development of a... 

This study opens up new horizons in data-driven structural identification methods offering extensive improvements over the existing time-/frequency-domain probabilistic methods. It pushes forward a holistic Bayesian statistical framework to integrate the existing formulations under a hierarchical setting aiming to quantify both the identification precision and the ensemble variability prompted due to model errors. Since the computation of the posterior distributions in hierarchical models is expensive and cumbersome, novel marginalization strategies, asymptotic approximations, and maximum a posteriori estimations are proposed offering mathematical formulations for the uncertainty... 

This thesis deals with credit derivatives modeling and consists of two parts:The first part concerns the density model, recently proposed by El Karoui et al. [46], where the standing assumption is that the conditional law of default time given the reference filtration is equivalent to its (non-conditional) law. Under this assumption, we provide alternative (and simpler) proofs for some existing results in the theory of initial and progressive enlargement of filtrations. Also, we present some new results such as the predictable representation theorem for progressively enlarged filtration in the multidimensional case. We then propose several methods to construct density models, in both... 

This thesis presents an integrated formal method for modeling and model checking of component based computing systems. Both components and coordination subsystems are modeled by a variant of standard labeled transition systems called record transition systems. A record transition system is a labeled transition system whose transition labels are records. We use records to model the concurrency of input – output operations in the ports of the system. The concurrency of the executions with respect to common transition labels are modeled by standard parallel composition operator and also a new defined operator called join which is analogous to the join operator defined to compose constraint... 

Throughout the history of science, mankind has always invented tools and methods to help him deal with complex problems, means that constitute the science. Systems theory and all the tools and methods introduced by it to analyze and judge simple to complex systems, although relatively recent, has left an enormous impact on current life style by being one those very important sciences that make dealing with complex systems easier. On the other hand, the importance of educational systems and their impact over the success of societies and large systems is close to obvious. In today’s world, having an effective educational system which can deliver required information to people and prepare them... 

As petroleum resources are not steadily distributed in the world and all industries and manufacturing sections are dependent on these resources, petroleum transportation is very important to the extent that availability of these resources occurs in the fastest time and costing the least possible. The objective of this study is to study the petroleum distribution through time in the world and assess its transportation efficacy during 1965-2005 in 173 countries. Collecting information about petroleum distribution between exporting countries to importing ones helped to complete the study data base. Also in this study two transportation networks, sea and land multimodal transportation network... 

Nowadays, there is a focus on developing a propulsion system with higher efficiency and performance in comparison to conventional systems. Many diverse systems have been designed for the vessel propulsion and everyday, utilizing new ideas, their performance and energy consumption are being improved. Direct use of steam energy is a noble and new idea. In this research, the steam jet propulsion system has been explained and current worldwide research on the topic has been investigated. Considering the shortage of primary data in the field and the novelty of subject, required information for the manufacturing of a sample model of this special propulsion system has been gathered and a design for... 

Evidently, environment contamination by water insoluble chemicals present at the industrial wastes could bring about catastrophic consequences to the biosphere. Biological based cleaning technologies are commonly considered as a practical remedy to remove these contaminations. In fact, these techniques are founded on the ability of certain microorganisms to degrade the contaminants. It is crystal clear that the availability of contaminants to the microorganisms is an essential parameter determining the final efficiency of the biodegradation process. In practice, the limited solubility of the contaminants in the aqueous phase leads to mass transfer constraints which consequently, decrease the... 

This study examines four models of the individual’s preference for home- and center-based telecommuting. Issues concerning the estimation of discrete models when the alternatives are non-exclusive are discussed. Two binary logit models are presented, one on the preference to telecommute from a center versus not telecommuting from a center, and the other on the preference to telecommute from a center over telecommuting from home. A model is also estimated on the following four alternatives: preferring not to telecommute, preferring either form of telecommuting, preferring to telecommute from home, and preferring to telecommute from a center. A comprehensive model of two distinct dimensions of... 

Thrust vector control as a method toward increasing of the aircrafts’ maneuverability and expanding the flight envelope into poor aerodynamic conditions, is considered a major field of academic and industrial appeal. Older methods based upon an approach of utilizing a mechanical instrument, impose quite a large amount of cost onto the design, prototyping and operation of the aircraft, even though they lead to improve in maneuverability. Having taken these setbacks into account, to simplify the manufacturing process and to reduce the thrust losses due to mechanical control of the thrust vector, the direction of research was set toward realizing and employing the flow control procedures. In... 

According to modal interpretations of quantum mechanics, a state possesses definite values even if it is not an eigenstate. On the other hand, Kochen-Specker theorem holds that all possible possessed values by a system can not be definite. Consequently, modal interpretations to block this theorem, take new metaphysics of properties. In this dissertation, I will show that dispositionalism is that metaphysics. According to dispositionalism, causal powers of a property are constituents of the property. As regards this outline, the thesis would be divided into 5 chapters. In chapter one, presuppositions of later arguments are clarified. Chapter two is related to algebra of properties and finally... 

Nowadays, video search and retrieval is interesting for computer users and it has chief usages for multimedia systems. Video generation rate has increased and Internet as a communication framework is case of its transferring on the world. Because of these, importance of video files is more than past. Searching for finding content will be faster if video files would have indexed with a comprehensive system. The biggest step in this way is power of index generation that would be same or similar to human mind, for improvement of the clustering’s result or classification’s result. For generating suitable indexes, it is necessary to extracting effective features from videos and synthesizing these... 

The purpose of this thesis is to develop an e-Business B2B system for a company. We review e-Business concepts, its requirements as well as the obstacles to implement it. Then, the various kinds of e-Business, their advantages and disadvantages are discussed. We study the outcome of e-Business system implemented in two Iranian companies. Then, we design an information system for one company. Indeed, this system presents the process of purchasing and sale representing the transactions between the company and its sale representatives. This information system is designed within Microsoft Access environment. This system can make this company capable of entering international markets by... 

Facility location decisions play a prominent role in strategic planning of many firms, companies and governmental organizations. Since in many real-world facility location problems, the data are subject to uncertainty, in this thesis, we consider the P-center problem under uncertainty of demand nodes. Using Bertsimas and Sim approach, we modeled the problem as a linear optimization model. Furthermore, we develop a tabu search algorithm to solve the problem. Finally we designed some experiments to adjust the parameters of tabu search algorithm. We presented the numerical result accordingly  

The method of nonlinear time history analysis is well known as one of the most accurate techniques in seismic analysis of structures. However, this method needs much effort in terms of required data and computational cost. Within the time constrains of design consulting firms, more simple analysis tools are also desirable. One of the simple methods which have been gaining ground, as an alternative to time history analysis, is nonlinear static pushover analysis. In this method, the capacity curve of the structure with respect to the roof displacement is established. In nonlinear static pushover analysis, disproportionate increases in the roof displacement and even outright reversals the...