Sharif Digital Repository

In high-integrity systems, certain quality requirements have gained utmost significance in such a way that failing to satisfy them at a particular level may result in the loss of the entire system, endangerment of human life, peril to the organization's existence, or serious damage to the environment. High-integrity computer systems should incorporate top-quality software in order to adequately address their stringent quality requirements. The methodologies used for developing high-integrity software must possess special characteristics in order to ensure successful realization of the requirements. Software Process patterns represent empirically proven methods of software development that... 

Spinal cord is a long, thin, tubular bundle of nervous tissue located in the vertebral column. Since the spinal cord is one of the most crucial pathways for information connecting of the central nervous system, it has to stay safe under any blunt impact loading, i.e., accident, punch, gunshot, burst, etc. Therefore, it is important to investigate the possible injuries that may occur in the vertebral column, especially the spinal cord, as a result of blunt loading. However, due to various experimental limitations, numerical modelling, specifically finite element (FE) models, has been beneficial in predicting the injury to the spinal cord. This study, thus, aimed at predicting the stresses and... 

The ever increasing density and performance of FPGAS, has increased the importance and popularity of soft processors. The growing gap between the speed of processors and memories can partly be compensated through memory hierarchy. Since memory accesses follow a non-uniform distribution, and vary from one application to another, variable set-associative cache architectures have emerged. In this paper, a novel cache architecture, primarily aimed at soft processors, is proposed to address the variable access demands of applications, through dynamically configurable line-associativity, with no memory overhead. The FPGA implementation of the proposed architecture achieves an average miss count... 

High throughput AES encryption/decryption is a necessity for many of modern embedded systems. This article presents a high performance yet cost efficient AES system. Maestro can be used in a wide range of embedded applications with various requirements and limitations. Maestro is about one million times faster than the pure software implementation. The Maestro architecture is composed of two major components; the soft processor aimed at system initialization and control, and the hardware AES engine for high performance AES encryption/decryption. A ten stage implicit pipelined architecture is considered for the AES engine. Two novel techniques are proposed in design of AES engine which enable... 

Four 5-, 10-, 20- and 30-story moment frames, representing low-, mid-, and two high-rise structures, were subjected to a great number of idealized directivity pulses. The amplitudes and periods of pulses vary from 0.02 g to 1.0 g and 0.5 to 12 sec, respectively. Over 1400 nonlinear dynamic analyses of low- to high-rise moment frames were performed which were feasible through using modified fish-bone model. The distribution of interstory drift along the height was studied and two applied contours were proposed: (i) the maximum interstory drift contour, and (ii) the critical story contour. These contours were demonstrated versus the ratio of natural period of the structure to the pulse period... 

In this article singular points of a parallel manipulator are obtained based on a novel geometrical method. Here we introduce the constrained plain method (CPM) and some of its application in parallel mechanism. Given the definition of constraint plane (CP) and infinite constraint plane (ICP) the dependency conditions of constraints is achieved with the use of a new theorem based on the Ceva geometrical theorem. The direction of angular velocity of a body is achieved by having three ICPs with the use of another theorem. Finally, with the use of the above two novel theorems singularities of the 3UPF_PU mechanism are obtained. It should be emphasized that this method is completely geometrical,... 

An analytical model is proposed to study the effect of particle size on melting enthalpy and entropy of metallic nanoparticles (NPs). The Mott's and Regel's equations for melting entropy in the combination of core average coordination number (CAC) and surface average coordination number (SAC) of freestanding NPs are considered. Clusters of icosahedral (IC), body centered cubic (BCC), and body centered tetragonal (BCT) structure without any vacancies and defects are modeled. Using the variable coordination number made this model to be in good agreement with experimental and molecular dynamic (MD) results of different crystal structures. The model predicts melting entropy and enthalpy of... 

Grinding is widely used for manufacturing of components that require fine surface finish and good dimensional accuracy. In this study a thermo-mechanical finite element analysis is conducted to find out how grinding parameters can affect temperature and residual stress distribution in the workpiece. Results of parametric study presented in this work indicate, by carefully selecting the grinding parameters, minimum thermal and mechanical damage can be achieved. Higher workpiece velocities produce higher surface residual stress. By increasing depths of cut, depth of tensile residual stresses increases. Convection heat coefficient does not have any considerable effect on surface residual stress... 

Adaptive Noise Cancellation (ANC) is a well-known technique for background noise reduction in automobile and vehicular environments. The noise fields in automobile and other vehicle interior obey the diffuse noise field model closely. On the other hand, the ANC does not provide sufficient noise reduction in the diffuse noise fields. In this paper, a new multistage post-filter is designed for ANC as a solution to diffuse noise conditions. The designed post-filter is a single channel Linear Prediction (LP) based speech enhancement system. The LP is performed by an adaptive lattice filter and attempts to extract speech components by using intermediate ANC signals. The post-filter has no... 

Shot peening is widely used to improve the fretting fatigue strength of critical surfaces. Fretting fatigue occurs in contacting parts that are subjected to fluctuating loads and sliding movements at the same time. This paper presents a sequential finite element simulation to investigate the shot peening effects on normal stress, shear stress, bulk stress and slip amplitude, which are considered to be the controlling parameters of fretting damage. The results demonstrated that among the modifications related to shot peening, compressive residual stress has a dominant effect on the fretting parameters  

One-dimensional (1D) MgO structures were successfully synthesized via carbothermic reduction of mechanically activated mixture of MgO and graphite. Mechanical activation of source materials before carbothermic reduction can substantially enhance the formation of MgO products at a temperature (1000 °C) relatively lower than that required in previous approaches (≥1200 °C). However, the morphology of MgO formed is dependent on the degree of mechanical activation and the condition of the subsequent carbothermic reduction. Two distinctive morphologies were found for MgO products synthesized using our method: single crystalline nanorods with rectangular cross-sections whose diameters range from 50... 

Attitude and vibration control of a general form of flexible satellites is addressed in this paper. Partial differential dynamic equations are derived considering new details such as multi sectioned solar panels and elastic connections between main hub and solar panels. Boundary control approach is adopted to eliminate simplification errors of discrete models, using just one actuator in the hub. Asymptotic stability of attitude dynamics is proved for a group of boundary controllers and necessary conditions for asymptotic stability of vibrations are discussed. Being independent of modeling accuracy and using easily measurable feedbacks are among advantages of the proposed class of... 

Characterization and calcination behavior of a low-grade manganese ore, as a part of Mn ferroalloys production, was studied by XRF, ex-situ XRD, in-situ XRD, and SEM-EDS techniques. Calcination experiments were carried out at and up to 900 °C (1173 K) in air and argon atmospheres. The samples were in particles and powder forms. The results indicated that both quartz and calcite phases in the ore exhibit a bimodal spatial distribution; as relatively large regions and finely distributed in the Mn- and Fe-containing phases. By Rietveld analysis of the in-situ XRD data, the reactions occurring upon heating during the calcination process were deduced. Thermal decomposition and reactive diffusion... 

Estimating the position of a mobile set is of great importance in new mobile services. However, in most cases, the accuracy should be less than 100 meters. This accuracy is hard to reach especially in urban areas. The main problem is that there are a lot of obstacles like buildings between the BTS and the mobile set. Thus the time measured between BTS and the mobile set is somehow greater than the time it takes the wave to travel directly between two points. This paper introduces an optimized solution for TDOA as one of the most efficient ways for finding the location of a mobile phone. Considering the standards and limitations of both GSM and UMTS, the Authors present a solution for... 

Weighting elements to achieve radiation patterns with desired characteristics is a classical work in phased array antennas. These characteristics can be low sidelobe level, narrow beamwidth, high directivity, pattern nulling in special angle and etc. For each of these characteristics, different methods have been introduced. Most of methods have been presented for uniform arrays, however there are lots of methods to obtain a desired pattern for antennas with non-uniform element distances. The problem with these methods is complexity or not very good results. In this paper, fast and easy methods based on Least Square Error that leads to good results are presented. In addition, weighting of... 

The elastic behavior of an edge dislocation, which is positioned outside of a nanoscale elliptical inhomogeneity, is studied within the interface elasticity approach incorporating the elastic moduli and surface tension of the interface. The complex potential function method is used. The dislocation stress field and the image force acting on the dislocation are found and analyzed in detail. The difference between the solutions obtained within the classical-elasticity and interface-elasticity approaches is discussed. It is shown that for the stress field, this difference can be significant in those points of the inhomogeneity-matrix interface, where the radius of curvature is smaller and which... 

In this paper, optimal control strategy is applied to parallel three-phase inverters using SVPWM technique. The three-phase system is transformed to a synchronous-stationary frame, suitable cost functions are defined, and the switching schemes are determined for the inverters. The control strategy minimizes the circulating current between the inverters, therefore, proper load sharing scheme is achieved. Simulations are performed for steady state and load change operation, and the results which show the suitability of the controller are provided. ©2009 IEEE  

A number of human diseases, including Alzheimer's and Parkinson's have been linked to amyloid formation. To search for an anti-amyloidogenic product, alkaloid enriched extract from borage leaves was examined for anti-amyloidogenic activity using Hen Egg White Lysozyme (HEWL) as a model protein. After isolation of the plant extract using rHPLC, only one fraction indicated a significant bioactivity. TEM analysis confirmed a remarkable reduction of amyloid fibrils in the presence of the bioactive fraction. To identify the effective substance in the fraction, mass spectrometry, FTIR, and NMR were performed. Our analyses determined that the bioactive compound as...