Sharif Digital Repository

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

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

Nowadays, due to the advancement of robotic technologies and development of industrial robots, the robot manipulators are widely used for automation of various manufacturing processes, such as finishing processes. In these applications, the contact has to be made between robot end-effector and environment. Therefore, control of interaction force in the constrained manipulators is an important demand. On the other hand, due to use of gear box and belts for energy transmission in robot joints, robot manipulators have flexible joints. The vibration, generated due to the interaction force and robot joint flexibility, can deteriorate surface roughness in automated finishing processes. In order to... 

Microrobots have the potential to access small spaces for manipulation or for acting as a sensor. Magnetic microrobots are the most common types of microrobots. Magnetic microrobots have gained particular traction for medical applications due to safety of tissues. For instance, disease diagnosis, minimally invasive surgery and cell manipulation are potential applications of magnetic microrobots. The performance of a single microrobot could be improved by using multiple robots. For example each microrobot could carry a small payload to a goal inside a microfluidic channel, or could assemble fast and in parallel. In order to employ multiple robots, it is necessary to control each microrobot... 

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

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

Nowadays, using smart buildings to improve performance and welfare of residents is of interest. Usually, these systems consist of safety systems that provide safety and security for residents. For example, fire detection system, sound the alarm and activating sprinkler in the building. For different types of critical events that can occur, variety of safety systems has been designed. Response time of these systems should be less than the deadline and the correct operation must be compeleted. As a result, analyzing and checking out the real-time and logical features of safety systems are the issues that we treat and investigate in this thesis.
In general, these systems are either... 

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

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

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

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  

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

In Iranian Sign Language (ISL), alongside the movement of fingers, the movement of the lips is also essential for to perform words completely and correctly. The purpose of current study is to provide an automated lip-reading system using deep neural networks and implement it on Rasa social robot; So that the robot can recognize a limited number of specified Persian words. To do this, we propose an automated lip-reading system based on convolutional neural networks and long short-term memories. Convolutional neural networks in extracting features from images and long short-term memories in modeling temporal dynamics have achieved good results. We have also recorded a database in Persian... 

From the past, the damask rose has an important place in various pharmaceutical, food, health and cosmetic industries. This product has the largest cultivated area in Iran, which is about 24,000 hectares, equal to 60% of its total cultivation in the world. Considering the conditions required for the cultivation of this plant, including the low water requirement, the expansion of its cultivation has been considered. One of the important obstacles to not expanding cultivation is manual harvesting, which strongly affects the quality and mass of essential oil and rose water. The efforts that have been made so far in the field of designing and producing the rose harvesting machine have not had... 

In this project, conceptual and detailed designs of a knee prosthesis constraint testing machine were performed based on ASTM F1223-20 standard. Conceptual and detailed mechanical and electrical design of machine and parts were performed based on common engineering practice and standards. Parts were carefully manufactured and controlled for quality assurance. The machine was then assembled and checked for proof of performance. A plc program was written as machine software. A comprehensive user interface was coded on computer for performing various tests, which can command the machine and view the required data in a graphical environment. Finally, simple experiments were designed and... 

Automated dimensional inspection is commonly expensive because of the requirement for high-precision measurement devices. To perform a precision measurement, the technician must be highly skilled and fully understands the operation of the equipment. Moreover, automation of the mentioned process to reduce dimensional measurement time is a complicated task due to restrictions of precise equipment such as CMM. With the expansion of the use of cameras in the industry, the measurement method with the help of machine vision systems is one of the cost-effective methods that can be achieved with the development of a suitable image processing algorithm to achieve acceptable accuracy compared to... 

Nowadays, electricity has a substantial impact on various aspects of peoples’ life, which has captured the attention of electricity planners and operators. However, despite the expectation of customers to have access to an uninterrupted electricity, multitude of technical and economical challenges prevent to achieve fully reliable power supply. Due to especial structure of distribution systems and limited investment budgets, distribution systems play a critical role in delivering electricity to the customers. According to past statistical information, up to 80 percent of electricity outage originates from failure of distribution equipment or the matters relevant to distribution level.... 

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

Nowadays, by distributed software development growth based on pull-requests, it is possible to review code changes before integrating into the master program by a third-party, informally and tool-based which is called Modern Code Review (MCR). Effectively performing MCR can facilitate the software evolution phase through reducing post-release defects. In MCR, after sending the pull request, the developer invites appropriate reviewers to inspect his code. Due to the high volume of requests and potential reviewers in many projects, selecting the appropriate reviewer is difficult and time consuming. Previously, a variety of recommender systems have been proposed that use methods based on...