Sharif Digital Repository

In the first part of the paper, using a direct calculation two-dimensional motion of a particle sliding on an inclined plane is investigated for general values of friction coefficient (μ). A parametric equation for the trajectory of the particle is also obtained. In the second part of the paper, the motion of a sphere on the inclined plane is studied. It is shown that the evolution equation for the contact point of a sliding sphere is similar to that of a point particle sliding on an inclined plane whose friction coefficient is 7/2 μ. If μ > 2/7 tanθ, for any arbitrary initial velocity and angular velocity, the sphere will roll on the inclined plane after some finite time. In other cases, it... 

The lack of proper documentation makes program comprehension a cumbersome process for developers. Source code summarization is one of the existing solutions to this problem. Many approaches have been proposed to summarize source code in recent years. A prevalent weakness of these solutions is that they do not pay much attention to interactions among elements of software. An element is simply a callable code snippet such as a method or even a clickable button. As a result, these approaches cannot be applied to event-driven programs, such as Android applications, because they have specific features such as numerous interactions between their elements. To tackle this problem, we propose a novel... 

A one-dimensional kinetic Ising model at a finite temperature on a semi-infinite lattice with time varying boundary spins is considered. Exact expressions for the expectation values of the spin at each site are obtained, in terms of the time dependent boundary condition and the initial conditions. The solution consists of a transient part which is due to the initial conditions, and a part driven by the boundary. The latter is an evanescent wave when the boundary spin is oscillating harmonically. Low-and high-frequency limits are investigated in greater detail. The total magnetization of the lattice is also obtained. It is seen that for any arbitrary rapidly varying boundary conditions, this... 

Permutation approach is suggested as a method to investigate financial time series in micro scales. The method is used to see how high frequency trading in recent years has affected the micro patterns which may be seen in financial time series. Tick to tick exchange rates are considered as examples. It is seen that variety of patterns evolve through time; and that the scale over which the target markets have no dominant patterns, have decreased steadily over time with the emergence of higher frequency trading  

Predictive mutation testing (PMT) is a technique to predict whether a mutant is killed, using machine learning approaches. Researchers have proposed various methods for PMT over the years. However, the impact of unreached mutants on PMT is not fully addressed. A mutant is unreached if the statement on which the mutant is generated is not executed by any test cases. We aim at showing that unreached mutants can inflate PMT results. Moreover, we propose an alternative approach to PMT, suggesting a different interpretation for PMT. To this end, we replicated the previous PMT research. We empirically evaluated the suggested approach on 654 Java projects provided by prior literature. Our results... 

Predictive mutation testing (PMT) is a technique to predict whether a mutant is killed, using machine learning approaches. Researchers have proposed various methods for PMT over the years. However, the impact of unreached mutants on PMT is not fully addressed. A mutant is unreached if the statement on which the mutant is generated is not executed by any test cases. We aim at showing that unreached mutants can inflate PMT results. Moreover, we propose an alternative approach to PMT, suggesting a different interpretation for PMT. To this end, we replicated the previous PMT research. We empirically evaluated the suggested approach on 654 Java projects provided by prior literature. Our results... 

Context: Software testing is a pivotal activity in the development of high-quality software. As software is evolving through its life cycle, the need for a fault-revealing criterion assessing the effectiveness of the test suite grows. Over the years, researchers have proposed coverage-based criteria, including statement and branch coverage, to solve this issue. In literature, the effectiveness of such criteria is attested in terms of their correlations with the mutation score. Objective: In this paper, we aim at proposing a coverage-based criterion named statement frequency coverage, which outperforms statement and branch coverage in terms of correlation with mutation score. Method: To this... 

Context: Software testing is a pivotal activity in the development of high-quality software. As software is evolving through its life cycle, the need for a fault-revealing criterion assessing the effectiveness of the test suite grows. Over the years, researchers have proposed coverage-based criteria, including statement and branch coverage, to solve this issue. In literature, the effectiveness of such criteria is attested in terms of their correlations with the mutation score. Objective: In this paper, we aim at proposing a coverage-based criterion named statement frequency coverage, which outperforms statement and branch coverage in terms of correlation with mutation score. Method: To this... 

Background: Ataxia-telangiectasia (A-T) is a rare autosomal recessive disorder caused by mutations in the ataxia telangiectasia mutated (ATM) gene. A-T patients manifest considerable variability in clinical and immunological features, suggesting the presence of genetic modifying factors. A striking heterogeneity has been observed in class switching recombination (CSR) in A-T patients which cannot be explained by the severity of ATM mutations. Methods: To investigate the cause of variable CSR in A-T patients, we applied whole-exome sequencing (WES) in 20 A-T patients consisting of 10 cases with CSR defect (CSR-D) and 10 controls with normal CSR (CSR-N). Comparative analyses on modifier... 

Despite the fact that hydrophobic nanosilica can improve the stability of water/oil emulsion, there exist controversies pertaining to its influence on oil-based drilling fluid rheological behavior and the subsequent formation damage. The present study addresses the above using a surface modified nanosilica, where the particles were functionalized with different silane-based groups to alter their hydrophilicity: 3-glycidoxypropyl-triethoxy silane (GPTS) and combined GPTS and propyl silane (PGPTS). The NPs were characterized through FTIR analysis, particle size, and zeta-potential measurements followed by flow behavior experiments, core-scale mud flow tests, Computed Tomography (CT) scanning... 

Background: Ataxia-telangiectasia (A-T) is a rare autosomal recessive disorder caused by mutations in the ataxia telangiectasia mutated (ATM) gene. A-T patients manifest considerable variability in clinical and immunological features, suggesting the presence of genetic modifying factors. A striking heterogeneity has been observed in class switching recombination (CSR) in A-T patients which cannot be explained by the severity of ATM mutations. Methods: To investigate the cause of variable CSR in A-T patients, we applied whole-exome sequencing (WES) in 20 A-T patients consisting of 10 cases with CSR defect (CSR-D) and 10 controls with normal CSR (CSR-N). Comparative analyses on modifier... 

Celiac disease is an autoimmune disorder represented by the ingestion of the gluten protein usually found in wheat, barley and rye. To date, ELISA has been the most accurate method for determining the presence of anti-gliadin, which is cumbersome, expensive (compared to a suspension microarray technique), and requires extensive sample preparation. In this study, in order to establish a more accurate assay to identify gliadin at lower concentrations, optical nano biosensors using an indirect immunoassay method for gliadin detection was designed and fabricated. For this, polycaprolactone (PCL) nano- to micro-beads were fabricated as a platform for the gliadin antigen which were optimized and... 

Context: Tangled commits are changes to software that address multiple concerns at once. For researchers interested in bugs, tangled commits mean that they actually study not only bugs, but also other concerns irrelevant for the study of bugs. Objective: We want to improve our understanding of the prevalence of tangling and the types of changes that are tangled within bug fixing commits. Methods: We use a crowd sourcing approach for manual labeling to validate which changes contribute to bug fixes for each line in bug fixing commits. Each line is labeled by four participants. If at least three participants agree on the same label, we have consensus. Results: We estimate that between 17% and... 

A novel intelligent semi-active control system for an eleven degrees of freedom passenger car's suspension system using magnetorheological (MR) damper with neuro-fuzzy (NF) control strategy to enhance desired suspension performance is proposed. In comparison with earlier studies, an improvement in problem modeling is made. The proposed method consists of two parts: a fuzzy control strategy to establish an efficient controller to improve ride comfort and road handling (RCH) and an inverse mapping model to estimate the force needed for a semi-active damper. The fuzzy logic rules are extracted based on Sugeno inference engine. The inverse mapping model is based on an artificial neural network... 

Using CNG as an additive for gasoline is a proper choice due to higher octane number of CNG enriched gasoline with respect to that of gasoline. As a result, it is possible to use gasoline with lower octane number in the engine. This would also mean the increase of compression ratio in SI engines resulting in higher performance and lower gasoline consumption. Over the years, the use of simulation codes to model the thermodynamic cycle of an internal combustion engine have developed tools for more efficient engine designs and fuel combustion. In this study, a thermodynamic cycle simulation of a conventional four-stroke spark-ignition engine has been developed. The model is used to study the...