Sharif Digital Repository

Various composite friction materials containing 40 vol.% organic binder (phenolic resin plus styrene-butadiene-rubber (SBR)) with varying phenolic-resin/SBR ratio were prepared. The content of phenolic resin in each composite was indicated by the resin value (RV) index ranging between 0-100%. The composites with RVs greater than 50% form resin-based friction materials in which the primary binder is the phenolic resin. For RVs less than 50%, the composites become the rubber-based materials where the primary binder is the SBR. The analysis of mechanical properties exhibited that the conformability of the composites increases upon incorporation of SBR. The frictional analysis revealed that type... 

Structural response to near fault ground motions has received significant attention in recent years. Such ground motions are different from ordinary ones and are characterized by a large, long period, velocity pulse caused by the forward directivity. These velocity pulses could potentially impose sever demands on structures and increase their risk of seismic collapse. The situation could even be worse for tall buildings with fundamental periods close to the period of the velocity pulses, and requires special consideration in design process. Prediction of seismic-induced collapse potential of structures has been among the main concerns in Performance Based Earthquake Engineering (PBEE). The... 

Security protocols assure the security of the communications in computer systems using techniques such as cryptographic primitives. However, the usage of such protocols is faced by the lack of fault tolerance, where a minor disruption could cause a destructive damage. Therefore, there is a requirement to assess the reliability of these protocols. In this thesis model checking of timed security protocols is done. Model checking process includes steps that will be modeling protocol with high level and human readable specification language named THLPSL and converting this specification to special kind of timed automata named XTA and model checking will be done with UPPAAL verification tool. We... 

The present study deals with the analysis of Atomic Microscope with crack by making use of Strain Gradient Elasticity theory. Empirical observations represent that in micro dimensions, materials show behaviors, which the classic continuum mechanics theories are not able to explain. Thus, taking advantage of non-classic theories, which are capable of explaining such phenomena or behaviors in analyzing materials in micro dimensions seems necessary and of much significance. In this direction, by applying an Euler-Bernoulli beam assumption and neglecting the shear effects, governing equations and boundary conditions of the problem were obtained via taking advantage of variations in Hamilton... 

Software requirements are changing continuously and hence during software evolution and maintenance, source codes changes are being committed in the software repositories. Reading source codes to understand the changes is a very time consuming and tedious activity. Commit messages contain information about code changes that let developers be aware of the essence of the changes without reading the source codes. Unfortunately, due to the pressure of deadlines and lack of time, developers neglect to write these messages. Commit messages can speed up the process of software understanding for developers and also play an important role in software documentation. Therefore, an automated method for... 

The numerical modeling of engineering contact problems is one of the most difficult and demanding tasks in computational mechanics. Frictional contact can be observed in many problems; such as: crack propagation, metal forming operation, drilling pile etc. The thermodynamic coupling problems arise naturally in many industrial processes, such as thermal protection structures ,nuclear fuel elements, layerd structures , heat exchanger as well as metal forming. In these situations predicting temperature field as well as the stress field is of considerable applied importance. When two or more bodies are forced to contact whit each other as a result of thermal or/and mechanical load thermodynamic... 

Successful performance of forward heuristic planners in classical planning, has motivated the use of forward heuristic search in many temporal planners. Most of forward temporal planners are decision epoch planners that use an explicit representation of time and schedule actions while searching. However, decision epoch planners aren’t complete and cannot solve certain temporal problems with required concurrency. In this dissertation, we present ATFP, a forward temporal planner that does not use an explicit representation of time. In ATFP, duration of actions are temporarily ignored, and a causally valid order of beginnings and endings of actions is searched using classical forward heuristic... 

Early failure of pavement is one of the most important problems. As the research conclusions in Iran, Non-conformancity is the most important cause of this problem.Quality management system, Audits and expert systems are the solutions. This research provides an Audit system for quality management system of batch-type asphalt plants as the preliminary solution.A state survey conducted and useful part of state programs had been considered. After developing software, The system functionality has been tested  

From the cache of the personal computers to the main memory unit of SOCs, medical and wearable chips, Static Random Access Memory (SRAM) is widely utilizes. Preferable performance for SRAM varies with regard to the operating field. For instance, high speed access and performance is emphasized in the design of the cache for PCs. In contrast, power consumption and the area of the memory are the key design considerations for SOCs. Hence, the field in which SRAM is used, should be thoroughly studied. SOCs and medical chips suffer limitations in design due to using batteries as the source of energy and SRAMs consume a significant part of total power and occupy a large area on these chips. One of...