Sharif Digital Repository

Partial discharge (PD) is a common phenomenon which occurs in insulation of high voltage equipments, such as; transformers and has a damaging effect on the insulation. If data mining techniques be used to find specifications and features of different types of partial discharges in power transformers, one can monitor the insulation condition of such equipment online and continuously. Those results can be employed to develop preventive measures more exactly and consequently the maintenance would require less time and cost for electric utility and improve the life time expectancy of the transformers. In this paper experiments are set up to create models for some types of PD that occurs in Power... 

Despite the great use of concrete, tensile strength and low flexibility and brittleness are its weaknesses. Many solutions have been provided to eliminate the mentioned defects. In order to increase the flexibility of concrete in previous studies, crushed rubber tire particles have been added to concrete. Recycling car tires helps the environment and makes concrete much more flexible than regular concrete. In this research, silicone rubber has been replaced by 0%, 2%, 4%, 8%, 12.5%, 25%, and 50% of mineral aggregates. This rubber was initially in liquid form, which, after mixing with ordinary concrete, dispersed into the concrete texture and formed a uniform mixture, and this liquid rubber... 

Minimally Invasive Surgery (MIS) is getting common these days. MIS robots using special tools can perform surgery precisely as humans. This is only possible with dexterous end-effectors and a well-controlled system. Local, lightweight and powerful actuators positioned at end-effectors provide the ability to decrease the degrees of freedom and simplify the design. This paper discusses a grasper design actuated by Shape Memory Alloy (SMA) wires that can be used in MIS robotics. The properties of a commercially available shape memory alloy are explored and analytical formulations for the actuation procedure are developed. The grasper actuated by SMA wires is studied and the procedure of... 

Free gait becomes necessary in walking robots when they come to walk over discontinuous terrain or face some difficulties in walking. A basic gait generation strategy is presented here using reinforcement learning and fuzzy reward approach. A six-legged (hexapod) robot is implemented using Q-learning algorithm. The learning ability of walking in a hexapod robot is explored considering only the ability of moving its legs and using a fuzzy rewarding system telling whether and how it is moving forward. Results show that the hexapod robot learns to walk using the presented approach properly  

Modeling and analyzing information system vulnerabilities help predict possible attacks to computer networks using vulnerabilities information and the network configuration. In this paper, we propose a comprehensive approach to analyze network vulnerabilities in order to answer the safety problem focusing on vulnerabilities. The approach which is called Vulnerability Take Grant (VTG) is a graph-based model consists of subject/objects as nodes and rights/relations as edges to represent the system protection state. Each node may have properties including single vulnerabilities such as buffer overflow. We use the new concept of vulnerability rewriting rule to specify the requirements and... 

Spreading networks and increasing their complexity has complicated the task of security analysis. Accordingly, automatic verification approaches have received more attention recently. In this paper, we modeled a network including a set of hosts (clients and servers) using the process algebra CSP in order to verify the Transmission Control Protocol (TCP) behavior against an active intruder. The model is verified using the FDR tool and as a result, some attack scenarios violating the security are found. The scenarios showes how an intruder can compromise the server trust to its clients. As the model is modular, extendable, and scalable, more complex attack scenarios (combination of simple... 

Nowadays, security has become an important issue for organizations especially in e-commerce applications. The spreading of networks and increasing of their complexity has complicated the task of security analysis, therefore automatic approaches have received more attention recently. This paper proposes a model-based approach to analyze the overall security of a network, based on the interaction of hosts within the network. A simple language is introduced far modeling securityrelated behaviours of networks and systems. Using the language, a case study is described and its formal model and security properties are presented. © 2004 IEEE  

We give a counterexample to the claim that every provably total function of Basic Arithmetic is a polynomially bounded primitive recursive function. © 2019 by University of Notre Dame  

We give a counterexample to the claim that every provably total function of Basic Arithmetic is a polynomially bounded primitive recursive function. © 2019 by University of Notre Dame  

Damage to structures with the concept of inelastic behavior and consequently hysteresis energy is very close. Therefore, it can be said that hysteresis energy at these levels can be a significant criterion for designing or controlling the structure. In this research, the first three steel frames of 4, 8, and 12 floors with the medium bending frame system have been designed with the statically equivalent method according to valid international regulations; then, all frames have been subjected to nonlinear dynamic analysis by seven accelerometers. The purpose of this study is to investigate the distribution of damage, energy, relative displacement, roof displacement, and base shear in the... 

A pH-responsive drug delivery system based on core shell structure of mesoporous silica nanoparticle (MSN) and chitosan-PEG copolymer was prepared and characterized by Fourier transform infrared spectroscopy (FT-IR), thermogravimetric analysis (TGA), scanning electron microscope (SEM), and high-resolution transmission microscope (HR-TEM) techniques. In order to improve compatibility MSN and drug, mesoporous nanosilica was modified by 3-aminopropyl triethoxysilane. The release of erythromycin (a macrolide antibiotic) as a model drug was investigated in two pHs, 7.4 and 5.5  

Enhancing the quality of the product has always been one considerable concern of production process management, and this subject gave way to implementing so many methods including robust design. In this paper, robust design utilizes response surface methodology (RSM) considering the mean and variance of the response variable regarding system design, parameter design, and tolerance design. In this paper, customer requirements and robust design are regarded simultaneously to achieve enriched quality. Subsequently, with a non-linear programming, a novel method for integrating RSM and quality function deployment has been proposed to achieve robustness in design. The customer requirements are...