Sharif Digital Repository

This paper presents the feedback linearization control of HIV infection. A multi-input multi-output (MIMO) dynamic nonlinear HIV infection model for this purpose has been used. For this purpose, three widely used drugs are considered. A Luenberger-like nonlinear observer (LNO) is designed for estimation of unavailable states. To minimize the side effects of drugs, the concentration of ZDV which has the highest side effect is fixed to a minimum value and the external controllers parameters are obtained by maximizing an objective function. In the control design, limitations on drug consumption and unavailability of all states are taken into account. The closed-loop stability has been... 

The lack of knowledge about API correct usage rules is one of the main reasons that APIs are employed incorrectly by programmers, which in some cases lead to serious security vulnerabilities. However, finding a correct usage rule for an API is a time-consuming and error-prone task, particularly in the absence of an API documentation. Existing approaches to extract correct usage rules are mostly based on majority API usages, assuming the correct usage is prevalent. Although statistically extracting API correct usage rules achieves reasonable accuracy, it cannot work correctly in the absence of a fair amount of sample usages. We propose inferring API correct usage rules independent of the... 

In this paper, Quad-Tree decomposition method is applied for areal upscaling of irregular shaped petroleum reservoirs. Quad-Tree decomposition is a recursive data structuring technique which generates an upscaled model with non-uniform (unstructured) gridblocks. This type of coarsening reduces the number of gridblocks, but preserves the main heterogeneity features of the original fine model. Because of the quadruplet nature of the Quad-Tree decomposition, this method cannot be used for upscaling of irregular-shaped models, directly. In this study, by circumscribing a square to the irregular-shaped reservoirs, a temporary model is obtained which can be upscaled by Quad-Tree decomposition.... 

Ship transportation is increasing globally as is the risk of collision especially in congested areas. Numerical modeling method is a major simulation method to predict ship maneuverability. Ship maneuvering in calm water is an important topic to avoid collisions and leads to safe navigation. Therefore, reliable ship maneuvering simulations are required for incident analysis and prevention. In recent time within the research community orientated towards ship hydrodynamics an increasing attention has been paid to simultaneous solution of the planing ship maneuvering problem. The maneuverability of planing craft has been the subject of many research projects during the last few decades. To... 

Discriminative approaches to human pose estimation have became popular in recent years. These approaches face a big challenge: Similar inputs might correspond to very dissimilar poses. This property misleads the mapping functions which rely on the Euclidean distances in the input space. In this paper, we use the distances between the labels of the training data to learn a metric and map the input data to a space where this problem is minimized. Our mapping is linear and hence preserves the manifold structure of the input data. We benefit from the unlabeled data to estimate this manifold in the new space as a nearest neighbor graph. We finally utilize Tikhonov regularization to find a smooth... 

Fluid flow behavior in a porous medium is a function of the geometry and topology of its pore space. The construction of a three dimensional pore space model of a porous medium is therefore an important first step in characterizing the medium and predicting its flow properties. A stochastic technique for reconstruction of the 3D pore structure of unstructured random porous media from a 2D thin section training image is presented. The proposed technique relies on successive 2D multiple point statistics simulations coupled to a multi-scale conditioning data extraction procedure. The Single Normal Equation Simulation Algorithm (SNESIM), originally developed as a tool for reproduction of... 

In the recent years, different mathematical models have been suggested for maneuvering of displacement vessels that are capable of estimation of vessel maneuvers with acceptable precision. These mathematical models are based on determined hydrodynamic coefficients and their accuracy depends on the known coefficients used to solve the mathematical model. System identification methods are developed to calculate these coefficients utilizing input and output data obtained from different sources. In this research, a 4.36-m model of KRISO Container Ship (KCS) displacement vessel has been manufactured by fiberglass, and the maneuver turning tests have been carried by self-propulsion method. A... 

In the recent years, different mathematical models have been suggested for maneuvering of displacement vessels, which are capable to estimate maneuvering of the vessel with acceptable precision. But, simulation of planing craft maneuverability through a mathematical model has not been developed yet. In this paper, a mathematical model is developed for maneuvering of the planing craft by including the rudder forces and moments. Different maneuvers, such as straight-line stability, course keeping, and turning circle, are executed through the mathematical model. Simulation results are validated with the published experimental results and it is shown that they are in good agreement. Finally, the... 

In this article a new parameter is introduced that optimizes penetration depth of a long rod penetrating into a semi-infinite target. This parameter helps to optimize penetration depth when the projectile is subjected to transverse loading. This parameter is defined using a simple assumption governing bending moment and deflection of the rod as well as the experimental observation of long rod penetrators having aspect ratios (L/D) of greater than 30. In this article the length of the rod that sustains allowable bending stress but does not fail is calculated. Using the results of the bending analysis and solution of the Alekseevskii & Tate (AT) equation, an analytical method to optimize... 

In this paper we consider a single machine multi-product lot scheduling problem in which defective items are produced in any production run of each product. In each cycle after the normal production of each product the machine is setup for the rework of the defectives of the same product and then the rework process starts. We assume that the setup time for the normal production process as well as the rework process is non-zero. Further we consider the waiting time cost of defectives for rework. This paper has two objectives. The first objective is to obtain the economic batch quantity (EBQ) for a single product. The second objective is to extend the result of the first objective to the...