Sharif Digital Repository

The ultimate goal of this study is to evaluate the condition of concrete structures using computer vision methods and using powerful tools such as machine learning methods based on visual information. This assessment is performed by detecting damage in these structures. With the aging of structures such as dams, bridges and tall buildings, structural health monitoring is an important task in ensuring their safety and stability. Therefore, rapid assessment of the health of structures and diagnosis of damage after destructive events is of great value in terms of providing resilience of structures. Visual inspection of structures by experts is one of the basic methods of evaluating structures.... 

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

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

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

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

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

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

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

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

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

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

Implementation of telecommunication-based distribution automation is possible in both centralized and decentralized manners. Although centralized automation is more pervasive than decentralized automation, benefits of decentralized automation systems, like improving reliability and speeding up the fault management process, encourage distribution companies to implement these systems. However, high cost of decentralized automation can be a deterrent to most distribution companies. Therefore, economic planning and creating economic justifications for decentralized distribution automation are necessary for the development of these systems. In this dissertation, economic analysis and planning of... 

Technology is changing the travel behavior of people around the world. Automated vehicles offer new solutions to some of the problems in transportation. This technology can improve traffic safety, land use development, traffic quality, and fuel consumption. Nevertheless, these solutions can be applied, only if Automated Vehicles are accepted and used by people. Due to a lack of mass production in the industry yet, automated vehicles’ adoption and market share are not yet determined and therefore certain to happen. This study surveyed 334 Iranian truck drivers in October 2019 to examine their opinions of heavy-automated vehicles (i.e. automated trucks), the factors and variables that affect... 

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

Application of special technologies is necessary for design and implementation of smart distribution systems. These technologies offer different facilities for users of distribution systems. One of the important goals of smart distribution systems is the improvement of reliability of local electricity services. This process requires information and data exchange between the smart devices and control center which applicable through communication infrastructure. If the communication infrastructure specified for automatic distribution faces to some problems, it is not possible to control the error because of absence of effective connection between the smart devices of network and control... 

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

In this thesis, we analyze the security of symmetric block ciphers using shortcut cryptanalysis, mainly focusing on differential and impossible-differential cryptanalysis. The contributions of this thesis are twofold. First, we evaluate the security of 4 notable block ciphers named TEA, XTEA, Midori, and HIGHT using ad-hoc impossible-differential cryptanalysis in single-key settings. For each cipher, we introduce new impossible differentials in single-key settings, which are later used in the cryptanalysis. The results show that for all of the mentioned block ciphers, we are able to analyze the longest reduced-round versions of them in contrast to each of the previously mounted single-key...