Sharif Digital Repository

Grammar-based software's are the software's that their input can be expressed according to the grammars for example, reverse engineering software's, evolutional counting's, adjustable programming in product line and XML controllers are in this category; so we can use this capability of the software in its testing .In the field of criteria for the test coverage of the grammar-based software, 5 criteria have been offere so far, which contain rule coverage criterion, context-dependant rule coverage criterion, length-n successor coverage criterion, loop-K coverage criterion and full coverage criterian, any of which have benefits and defeats. The first questions which are asked in this field is... 

Given two speech segments, the task of speaker verification is defined as determining whether or not both of them have been uttered by the same person. Most of the new approaches in speaker verification are based on Total Variability Space which is the result of applying a factor analysis on GMM mean supervector space. The representation of speech with arbitrary duration in this space is called i-vector.
In this thesis, first the basics of speaker verification is described and i-vector approaches are explained in more details. Then, a method for improving accuracy of Cosine Similarity Scoring is proposed which normalize the raw score using the score of test utterance against a model- and... 

Joint price and service capacity decisions and integrated pricing and queuing problems with finite or infinite buffers are two remarkable issues of pricing research. In this thesis we consider a joint price and service capacity determination problem in a single server, finite buffer queuing system. Customers arrival and serving occur as Poisson processes. Because of finite buffer capacity, customers finding the system full upon their arrival would be rejected. Customers differ with respect to their reservation prices and time sensitivities. This study focuses on investigating the effect of finite buffer capacity and customers reservation prices and time sensitivities on optimal policy and... 

This research considers coordination of pricing and scheduling decisions in a make-to-order environment. We consider a two machine flowshop environment. The objective is to maximize the total net profit, i.e. revenue minus scheduling cost resulting from pricing and scheduling decisions. Prices of orders are set by the manufacturer and demand is a non-increasing function of price. Two mixed integer linear programming models have been developed for the research problem. As the problem is shown to be NP-Hard, a Metaheuristic algorithm is developed which is combination of two tabu search sub algorithms, one for pricing and the other for scheduling. And to evaluate performance, results from... 

In this research, we consider a network of distiribution channels and a central warehouse to deliver the products to distribution centers. We assume the price of products are fixed and the central warehouse is authorized to change the delivery amount for each DC in a reasonable interval. The main idea is authorizing the central warehouse to be flexible in delivery of ordered amounts of DCs in a reasonable interval in order to reduce the transportation cost and then maximizing the profit.
The problem is formulated as a linear integer programming model and the properties of optimal solution is analyzed. Based on the properties of the model a solution algorithm is developed to solve the... 

With intensified concerns of rising fuel vehicles that reduce fossil fuel globally and also prescript strict rules by standard institutes, vehicle manufacturers try to find a way for reducing the fuel of their products. One these methods use a continuously variable transmission (CVT) instead of manual and automatic gearboxes. Various CVT’s have been proposed in recent year.
One of the proposed systems is traction infinitely variable transmission (TIVT) that is type of traction drive continuously variable transmission and has been presented in 2007. Research on this system showed that average efficiency is about 96% that is high efficiency. Completed research in 2011 showed that despite... 

A special steel beam-to-column connection, named Khor-jini, is commonly used for steel framing system in Iran. In this system, two continuous beams are passed next to the columns and are connected to the column side using seated brackets.This type of connection has been common in Iran from the late past. Unfortunately, the seismic behavior of Khorjini frames had not been sufficiently studied prior to Manjil Earthquake of 1990. Due to very large damages which occurred in steel structures especially in connections during the said earthquake, the seismic behavior of this type of connection was studied and some of its weak points were recognized.In this study non-linear... 

This thesis investigated a two-echelon supply chain consists of one retailer and several manufacturers that faces a price and lead time sensitive demand. We use a Stackelberg game for decision analysis of prices and lead times determined by manufacturers as Leader and retailer as a Follower. We assume that demand depends to the retailer’s price. Market share of each manufacturer, is also price and lead time sensitive. Objective of each firm is to determine price and planned lead time to maximize her own profit. We first determine the best response of the retailer to manufacturers’ decision and next at manufacturers’ level, we will solve the problem for one manufacturer at first and then we... 

Employing array of antennas in amny signal processing application has received considerable attention in recent years due to major advances in design and implementation of large dimentional antennas. In many applications we deal with such large dimentional antennas which challenge the traditional signal processing algorithms. Since most of traditional signal processing algorithms assume that the number of samples is much more than the number of array elements while it is not possible to collect so many samples due to hardware and time constraints.
In this thesis we exploit new results in random matrix theory to charachterize and describe the properties of Sample Covariance Matrices... 

Today, many surgical procedures such, gallbladder, gastric bypass, placement of a ring around the stomach, partial removal of colon, removal of tumors use laparoscopic techniques. In this surgery, a variety of tools to capture and remove the internal organs can be used. Sometimes the surgeon selects the proper tools and replacement during surgery, so the surgeon had to do different things with the operation. These tools generally cannot be used because of the large internal organs device is small and does not have enough degrees of freedom. In laparoscopic surgery, the surgeon operate in the abdominal cavity using a thin instrument that is inserted through the trocar hole would do. If... 

Distributed computation has an important role in data mining. Data mining, usually requires a lot of resources both in terms of storage space and computing time. To reach scalability, some mechanisms for the distribution of work is required. Moreover, in many systems today, data is distributed in several databases. In this case, due to traffic overload in network, transferring all data to a central server and applying process centrally is inefficient and is subject to privacy issues. Distributed data mining provides some techniques for efficient mining in decentralized mode. Identifying frequent itemsets is one of the important branches of data mining. Frequent patterns are set of items,... 

It's impossible to check all inputs of a software program due to infinite input domain, therefore the domain should be somehow restricted. One popular approach to do so, is input space partitioning. In this approach, the input domain has been modeled and partitioned into some equivalent classes or blocks. Using these blocks, it's possible to select one sample from each one and reduce the number of test cases to a small desirable number. To automate this approach, it's essential to firstly define the software requirements specification in a well-defined machine understandable template, then with processing this document we can detect program’s functionality and testable functions. Our goal in...