Sharif Digital Repository

Context: Generating test cases based on software input interface is a black-box testing technique that can be made more effective by using structured input models such as input grammars. Automatically generating grammar-based test inputs may lead to structurally valid but semantically invalid inputs that may be rejected in early semantic error checking phases of a system under test. Objective: This paper aims to introduce a method for specifying a grammar-based input model with the model's semantic constraints to be used in the generation of positive test inputs. It is also important that the method can generate effective test suites based on appropriate grammar-based coverage criteria.... 

Because of several vulnerabilities in software products and high amount of damage caused by them, software developers are enforced to produce more secure systems. Software grows up through its life cycle, so software development methodologies should pay special attention to security aspects of the product. This paper focuses on agile methodologies in order to equip them with security activities. We can restrain reduction of agile nature of organization's current process by means of agility measurement and applying an efficient activity integration algorithm with a tunable parameter named agility reduction tolerance (ART). Using this approach, method engineer of the project can enhance his... 

The limitations of the microfabrication technology do not allow producing perfectly smooth microchannels. Hence, exploring the influences of roughness on transport phenomena in microtubes is of great importance to the scientific community. In the present work, consideration is given toward the corrugated roughness effects on fully developed electroosmotic flow and heat transfer in circular microtubes. Analytical solutions based on perturbation technique are presented for the problem assuming a low zeta potential under the constant heat flux boundary condition of the first kind. It is revealed that higher values of the corrugation number and relative roughness give rise to smaller Nusselt... 

Suspension flow has an important role in various applications such as paint, material and pharmaceutical industries. Settling is considered as a resisting phenomenon in the processes dealing with suspensions. Using nanoparticles as an additive to micro-particulates has been studied in limited studies. This work presents an experimental investigation to assess the effectiveness of nanoparticles in reduction of suspension settling. Microscopic imaging and transmission measurement were used to analyze the stability factors in a container. Transmission analysis revealed that presence of nanoparticles in the suspension, decreased the sedimentation rate. Microscopy showed that the settling rate... 

Atomic force microscopy (AFM), as an indispensable tool for nanoscale characterization, presents major drawbacks for operation in a liquid environment arising from the large hydrodynamic drag on the vibrating cantilever. The newly introduced 'Trolling mode' (TR-mode) AFM resolves this complication by using a specialized nanoneedle cantilever that keeps the cantilever outside of the liquid. Herein, a mechanical model with a lumped mass was developed to capture the dynamics of such a cantilever with a nanoneedle tip. This new developed model was applied to investigate the effects of the needle-liquid interface on the performance of the AFM, including the imaging capability in liquid  

Instrumental responses are hypothesized to be of two kinds: habitual and goal-directed, mediated by the sensorimotor and the associative cortico-basal ganglia circuits, respectively. The existence of the two heterogeneous associative learning mechanisms can be hypothesized to arise from the comparative advantages that they have at different stages of learning. In this paper, we assume that the goal-directed system is behaviourally flexible, but slow in choice selection. The habitual system, in contrast, is fast in responding, but inflexible in adapting its behavioural strategy to new conditions. Based on these assumptions and using the computational theory of reinforcement learning, we... 

An experimental study has been conducted to investigate the effect of silica nanoparticle halos on the stability of the zirconia aqueous suspension. The results of turbidity measurements showed that addition of nanoparticles to the suspension increases the stability of the zirconia suspension for all pH values. The achieved stability refers to the formation of nanoparticle halos around the microparticles that can be observed by scanning electron microscopy (SEM) imaging. The best stabilization is achievable when zirconia microparticles are at the isoelectric point. The minimum stabilization occurs when microparticles have relatively high zeta potential and the force between micro and... 

Simvastatin, a well-known antihyperlipidemic drug, has antibacterial activity against a broad range of bacteria, especially Staphylococcus aureus. In present study, a nanoemulsion gel-based formulation containing Simvastatin was developed for infected wound therapy. Therefore, different formulations of Simvastatin nanoemulsion were prepared. Based on droplet size, polydispersity index and zeta potential, the best nanoemulsion formulation containing Simvastatin was selected for development of nanoemulsion gel formulation of drug using carbomer 934 as gelling agent. Thermodynamic stability of Simvastatin nanoemulsion was assessed at different conditions. The in vitro antibacterial activity... 

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