Sharif Digital Repository

In two past decades, a revolution has occurred by emerging of substation automation system in field of substation control and protection system. The traditional control system has changed to the modern automation systems which are based on computer networks. The development of this project become possible by having experience in and being familiar with automation systems, studying equipment specifications, tasks, and criteria and analyzing operation of various systems. The main target of this thesis is evaluating the automation system precisely and exhaustively and developing a model based on mathematical relations. This model is founded based on the application and analysis of the networks.... 

In software testing, it is often desirable to find test inputs that exercise specific program features. Good testing means uncovering as many faults as possible with a potent set of tests. Thus, a test series that has the potential to uncover many faults is better than one that can only uncover a few. To find these inputs by hand is extremely time-consuming, especially when the software is complex. Therefore, many attempts have been made to automate the process. There are three major methods to generate software test data: Random test data generation, Symbolic test data generation and Dynamic test data generation. Dynamic test data generation, such as those using genetic algorithms, is... 

In this dissertation، with regard of the importance of innovation and being innovative in the competitive conditions of the markets in the world، and the need of companies for some permanent competitive advantages، we are looking for some models and finding or creating some instruments to know and create knowledge for basics of innovation and innovation capacity before measuring the outputs of innovative projects، as innovation capability، and have the needed knowledge for managing resources and having the intransitive tendency to important factors that crystallize the structure of innovation capacity. For this purpose، we had a vast literature review with reading so many books about... 

In spite of the fact that failures in distribution systems constitute a high percentage of customer’s interruptions, they have received less attention than generation and transmission systems at least in the amount of academic and industrial publications in the past decades. However as the business turns its attention to customers from consumers, focuses are moving toward power distribution systems in recent years. Its main problem that makes this high percentage of contribution in customer’s interruption is their widespread applications through all the places that there is a civilization. Contribution of many components in the system leads to high failure rate and because they spread every... 

A distributed model predictive control with two-layer structure for communication is presented in the present thesis for elimination of the propagation and amplificationphenomenon of the upstream transient errors in automated irrigation networks. This phenomenon results in the saturation of actuators in long automated irrigation channels and therefore it results in significant reduction in the quality of service of the irrigation network. Hence, the elimination of this phenomenon in long irrigation channels is necessary, in which a distributed model predictive control with two-layer structure for communication is presented in the presentthesis for elimination of this phenomenon. Feasibility,... 

The following thesis is concerned with the control of automated irrigation channel using model predictive control in order to eliminate upstream transient error propagation and amplification phenomenon. It is illustrated in the literature that one way of dealing with this phenomenon is to solve a constrained optimization problem at each receding horizon. However, this problem becomes infeasible for automated irrigation channels. Several methods in the literature have been proposed that exploit terminal constraints to guarantee the feasibility of this problem. Finding these constraints, however, is extremely time-consuming as well as impractical for large-scale automated irrigation channels.... 

The present thesis is concerned with design and development of automated irrigation system pilot. This system is obtained by equipping each regulating gate of irrigation network with a controlling hardware. This hardware is designed and developed in this project for Iran’s regulating gate, which are either slide gate or radial gate. This hardware consists of a) Ultrasonic sensor for measure gate upstream water level, b) Wireless modem for exchanging measurements between automated gates, c) controller, d) Electric motor and driver, e) shaft encoder and f) adaptor. The satisfactory performance of this hardware is shown via several experiments on the pilot  

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... 

Making distribution networks smart includes all appropriate hardware and software devices for controlling and making operation of the network optimized. (SCADA system, distribution management, communication equipments, substation automation, monitoring equipments, etc). Monitoring and management of electricity distribution networks enable us to control and record events in the operation. Equipments in the distribution substations, will be under full time monitoring and hence, we would be able to protect them against over loads, over voltages, load unbalances and inefficient usage of transformers capacity and other distribution instruments. It also enables us to manage operation switchings,... 

large ships should only make very small horizontal movements at the berth for efficient loading. This is especially a concern in ports facing the open ocean directly, where high swells at sea can cause harbor oscillations and low-frequency surge motions of the ship. A developed mooring unit, the MoorMaster, which replaces conventional mooring lines is addressed here. The hydraulics of the system have a strong reducing effect on the motions of the moored ship. Measurements have shown that the surge motion of container ships was reduced from an amplitude in the order of 1 metre to an amplitude in the order of 5 centimetres, by using MoorMaster units. In here MoorMaster action is divided to two... 

Automatic theorem proving has been attractive in artificial intelligence (AI). The aim of the usual automatic theorem proving methods is applying of the mathematical logic rules to decide intelligently, and reasoning automatically. In contrast the aim of our research is to apply computers abilities and artificial intelligence methods to simulate human abilities to prove mathematical theorems. For this purpose, we invent a typed formal language (TFL) to describe mathematical theories. The language must be clearly computable and should cover the First Order Logic (FOL) and the usual mathematical sentences. Then some algorithms and inference rules to compare sentences conceptually are... 

In this study, we provide a detailed analysis of the Iranian stock market, in particular, the impacts of the recent sanctions imposed on this country. We develop a novel economics concept, sanction-index, to measure the effect of sanctions on the Iranian stock market. We utilize a set of principled approach on news analysis and automated content analysis methods and construct an extensive dataset using over a decade of World Economics newspaper, from 2009 to2019. This newsletter is a highly celebrated and most influential newspaper in the Iranian stock market society. Employing this dataset, we search over sanctions-related keywords to identify sanctions-related articles from the set of all... 

In a deregulated environment of power distribution industry, a comprehensive economic evaluation for the implementation of distribution automation systems is inevitable. It plays a key role in enabling distribution companies to achieve their business goals. In this thesis, a dynamic economic evaluation is presented to provide a comprehensive perception of automation intensity level and investment plan, for maximizing the utility profit and obtaining the desired payback period. Using the presented methodology in this thesis and system dynamics approach, it is efficiently possible to deal with variation of the economic parameters such as the interest rate, inflation rate, energy supply cost,... 

In this thesis, at first upstream transient error propagation and amplification phenomenon is introduced. Then, the previous methods to attenuate this phenomenon are presented. To overcome this drawback, a new method that is based on feed-forward and off-take disturbance estimation and lost data reconstruction in wireless communication is presented. In this thesis, an estimation of unknown off-take disturbance at the present time is approximated or in fact predicted using the last data. Also, in the presented method, the lost data is reconstructed using two different methods. At the end, the satisfactory performance of the proposed control method is illustrated by many computer simulations  

Implementing distribution automation system (DAS) in distribution networks needs a huge investment which usually cannot be funded entirely in a short period of time. So distribution companies (DISCOs) should develop long term plans to equip their network with automation technologies as far as economically justifiable. Similarly, DISCOs have network capacity expansion (NCX) plans which specify the scheme of construction of feeders and substations. Since considering DAS may lead to more efficient NCX plans, the planner should revise the NCX plan through the DAS planning. On the other hand, for DAS planning it is necessary to consider a NCX plan as a platform to determine the time and location... 

In this research, we present a new method for solving layout problems in the cellular manufacturing system. We also analyze the transportation systems using automated guided vehicles (AGVs) and its cost affecting the performance of cellular manufacturing system. For elimination of inter current and traffic problems, we use a new idea of dividing workstations to some non-overlapping closed zones to which independent automated guided vehicles (AGVs) are allocated for internal transfers in each zone. In this research, a combinational mathematical model has been developed for minimizing the cost of material flow intra and inter-loops and minimization of procurement of AGVs for each zone while... 

Around 20 to 50 percent of the operation costs occurs in manufacturing is related to facility layout. Efficient design would reduce these costs by 10 to 30 percent. Facility layout consists of design of material handling system and plant layout. Design of material handling system includes determining, the flow network and locations of Pick-up and Delivery stations which are defined regarding to the kind of material handling equipment. Today, Automated Guided Vehicles are considered as the basic material handling equipment due to their potentials in production planning and controls, high safety and flexibility and low expenses.
In this thesis, we first discuss the design of the shortest... 

Extensive growth of the internet has had a profound effect on the business environment and rise to a phenomenon known as electronic commerce.electronic commerce has an important role in improvement of organization performance and likewise,has influence in everyday life.despite its name,e commerce is not fully automated.typically,online transactions require a significant level of human intervention.to achieve high degree of automation,we need a new model of software.this model is based upon the notion of agents.agents can act in different stages of e-commerce.one of the most important of these stages is negotiation.negotiation capabilities are essential for e-commerce systems.the agents... 

This paper presents five origin-destination (OD) flow estimation models using traffic sensors. The first model uses counting sensors data, the second model uses automated vehicle identification (AVI) sensors data and the third, fourth and fifth use combined data of counter and AVI sensors simultaneously. The first to fourth models are bi-level problems that the upper-level minimizes some objective functions where is the distance between estimated flows and observed flows. On the other hand, the lower-level problem finds user equilibrium (UE) flows pattern for estimated origin-destination matrix (ODM). The fifth model is a multi-objective problem, where a bi-level problem is solved for each... 

Regardless of the traffic model and its application, an essential input of transportation models is the amount of demand which is usually described using Origin-Destination (O-D) matrix. Many reaserchers have developed different O-D matrix estimation methods using traffic counts, which allow simple data collection as opposed to the costly traditional direct estimation methods based on home and roadside interview. However, Link data is not sufficient to obtain an unique answer. This reaserch tries to estimate O-D matrix by using Automated Vehicle Identification(AVI) data. The research formulates the problem of the estimating O-D matrix as a bi-level problem. The upper level consists of...