Loading...
Search for:
etemadi-someoliayi--k
0.159 seconds
Total 2894 records
The Problem of Error Theory about Normative Properties and Its Consequences
, M.Sc. Thesis Sharif University of Technology ; Azadegan, Ebrahim (Supervisor)
Abstract
This MA dissertaion is dedicated to the discussion of the error theory about all normative judgements and its consequences. This theory contains two main claims: 1- normative judgements are beliefs that ascribe normative properties, and 2- no normative property exists. In this dissertation, in particular, Bart Streumer’s arguments against the competitors of this theory are discussed and criticized. Streumer argues against non-reductivism, reductivism, and non-cognitivism in three separate arguments. In another argument, he tries to show that the error theory about all normative judgements is unbelievable. In addition to discussing Streumer’s arguments, I also propose new formulations of some...
Program state coverage: A test coverage metric based on executed program states
, Article 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2019, 24 February 2019 through 27 February 2019 ; 2019 , Pages 584-588 ; 9781728105918 (ISBN) ; Jalali, S ; Mahdieh, M ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2019
Abstract
In software testing, different metrics are proposed to predict and compare test suites effectiveness. In this regard, Mutation Score (MS) is one of most accurate metrics. However, calculating MS needs executing test suites many times and it is not commonly used in industry. On the other hand, Line Coverage (LC) is a widely used metric which is calculated by executing test suites only once, although it is not as accurate as MS in terms of predicting and comparing test suites effectiveness. In this paper, we propose a novel test coverage metric, called Program State Coverage (PSC), which improves the accuracy of LC. PSC works almost the same as LC and it can be calculated by executing test...
LPF-Defense: 3D adversarial defense based on frequency analysis
, Article PLoS ONE ; Volume 18, Issue 2 February , 2023 ; 19326203 (ISSN) ; Noorbakhsh, K ; Etemadi, A ; Kasaei, S ; Sharif University of Technology
Public Library of Science
2023
Abstract
The 3D point clouds are increasingly being used in various application including safety-critical fields. It has recently been demonstrated that deep neural networks can successfully process 3D point clouds. However, these deep networks can be misclassified via 3D adversarial attacks intentionality designed to perturb some point cloud's features. These misclassifications may be due to the network's overreliance on features with unnecessary information in training sets. As such, identifying the features used by deep classifiers and removing features with unnecessary information from the training data can improve network's robustness against adversarial attacks. In this paper, the LPF-Defense...
Incorporating fault-proneness estimations into coverage-based test case prioritization methods
, Article Information and Software Technology ; Volume 121 , May , 2020 ; Mirian Hosseinabadi, S. H ; Etemadi, K ; Nosrati, A ; Jalali, S ; Sharif University of Technology
Elsevier B. V
2020
Abstract
Context: During the development process of a software program, regression testing is used to ensure that the correct behavior of the software is retained after updates to the source code. This regression testing becomes costly over time as the number of test cases increases and it makes sense to prioritize test cases in order to execute fault-detecting test cases as soon as possible. There are many coverage-based test case prioritization (TCP) methods that only use the code coverage data to prioritize test cases. By incorporating the fault-proneness estimations of code units into the coverage-based TCP methods, we can improve such techniques. Objective: In this paper, we aim to propose an...
Detection and a possible link between parvovirus B19 and thyroid cancer
, Article Tumor Biology ; Volume 39, Issue 6 , 2017 ; 10104283 (ISSN) ; Mostafaei, S ; Yari, K ; Ghasemi, A ; Chenar, H. M ; Moghoofei, M ; Sharif University of Technology
2017
Abstract
Human parvovirus B19 (B19) is a small, non-enveloped virus and belongs to Parvoviridae family. B19 persists in many tissues such as thyroid tissue and even thyroid cancer. The main aim of this study was to determine the presence of B19, its association with increased inflammation in thyroid tissue, and thus its possible role in thyroid cancer progression. Studies have shown that virus replication in non-permissive tissue leads to overexpression of non-structural protein and results in upregulation of proinflammatory cytokines such as interleukin 6 and tumor necrosis factor alpha. A total of 36 paraffin-embedded thyroid specimens and serum were collected from patients and 12 samples were used...
Characterization of reinforcing effect of alumina nanoparticles on the novolac phenolic resin
, Article Polymer Composites ; Vol. 35, Issue 7 , July , 2014 , pp. 1285-1293 ; ISSN: 02728397 ; Shojaei, A ; Sharif University of Technology
2014
Abstract
Very fine alumina nanoparticles were loaded in novolac type phenolic resin (PF) using solution mixing method. The concentration of nanoalumina in PF was varied between 2.5 to 20 wt%. All the compounds were compression molded and then subjected to scanning electron microscopy (SEM), tensile, flexural, and dynamic mechanical analysis (DMA) tests. SEM analysis showed that the nanoalumina were dispersed uniformly at low concentrations, however, at high concentrations, dispersion was suppressed leading to agglomerates in the composites. Mechanical testing revealed that the nanoalumina had a great influence on the strength and stiffness of PF resin particularly at concentrations below 5 wt%....
Throughput analysis of IEEE 802.11-based vehicular ad hoc networks
, Article IET Communications ; Volume 5, Issue 14 , Sept , 2011 , Pages 1954-1963 ; 17518628 (ISSN) ; Ashtiani, F ; Sharif University of Technology
2011
Abstract
In this study, the authors propose an analytical model to evaluate the maximum stable throughput for unicast services in vehicular ad hoc networks. In this respect, the authors employ two queueing networks (QNs) to model the mobility patterns of the vehicles as well as the multi-hop packet transmission scenario. In the proposed model, the authors map the features of IEEE 802.11, as well as the details of multi-hop packet transmission, regarding the dynamic status of vehicles, onto suitable parameters of the QNs. In the authors' modelling approach, they take the details of MAC and routing schemes into account by classifying the vehicles based on their mobility patterns and considering their...
Simulation of Drag Reduction Via Microgrooves
, M.Sc. Thesis Sharif University of Technology ; Moosavi, Ali (Supervisor)
Abstract
Drag reduction on surfaces always has been a great case of study, especially in transport industry. This project discusses the external laminar flow of a single-phase fluid over a flat plate and the effects of making rectangular tiny grooves - in micron or millimeter - on them to reduce total drag. Making grooves with appropriate geometry on surfaces causes the fluid-solid contact area on the groove's surface turn into fluid-fluid and as a result the fluid will not shed into the groove. In other words the flow instead of having a no-slip boundary condition on inner surfaces of the groove, creates vortices in them that causes a remarkable reduction in velocity gradient followed by a skin...
Joint distributed source and network coding for multiple wireless unicast sessions
, Article 2009 IEEE Wireless Communications and Networking Conference, WCNC 2009, Budapest, 5 April 2009 through 8 April 2009 ; 2009 ; 15253511 (ISSN); 9781424429486 (ISBN) ; Movaghar, A ; Sharif University of Technology
2009
Abstract
Few works has been focused on the problem of joint distributed data compression and network coding. In this paper we give some examples showing the advantage of broadcast nature of wireless environment as a basis for joint codes design. Also we show that joint coding is possible in the case of multiple unicasts. The idea of this paper can be exploited in an opportunistic manner. Actually, the foundation of our idea is nothing but combining opportunistic network coding (COPE) and distributed source coding using syndromes (DISCUS) for wireless applications. © 2009 IEEE
Design and routine test optimization of modern protection systems with reliability and economic constraints
, Article IEEE Transactions on Power Delivery ; Vol. 27, issue. 1 , 2012 , p. 271-278 ; ISSN: 08858977 ; Fotuhi-Firuzabad, M ; Sharif University of Technology
2012
Abstract
This paper approaches the topic of protection system reliability from an economic point of view by 1) designing an optimal modern protective relay based on a prescribed level of reliability subject to economic constraints and 2) determining optimal routine test intervals by balancing the cost of routine tests and losses due to relay failure. This paper proposes a method that enables the designer to optimally select hardware and software components of a digital protective relay to gain the highest possible overall reliability with a restricted budget. This design can be viewed as a reliability and redundancy allocation problem for which a new easy-to-implement algorithm is proposed. In...
New considerations in modern protection system quantitative reliability assessment
, Article IEEE Transactions on Power Delivery ; Vol. 25, issue. 4 , 2010 , p. 2213-2222 ; ISSN: 8858977 ; Fotuhi-Firuzabad, M ; Sharif University of Technology
2010
Abstract
Protective relay technologies have evolved from single-function electromechanical and static relays to modern multifunction digital relays over the past few years. Protection systems play a vital role in maintaining a desirable level of reliability in power systems. Thus, their own reliability should be evaluated and any cause of their malfunction should be fully comprehended. In this paper, a new reliability model is proposed that associates protection system failures to four main causes: 1) relay hardware, 2) relay software, 3) ancillary equipment, and 4) human error. In addition, this model can take other aspects of the protection system into consideration, such as human error during...
Effect of alumina nanoparticle on the tribological performance of automotive brake friction materials
, Article Journal of Reinforced Plastics and Composites ; Vol. 33, issue. 2 , October , 2014 , pp. 166-178 ; ISSN: 07316844 ; Shojaei, A ; Jahanmard, P ; Sharif University of Technology
2014
Abstract
Brake friction materials filled with nanoalumina were produced by both conventional and solvent-assisted mixing methods. It was shown that nanoalumina loading led to the reduction of friction coefficient and improvement in mechanical, wear and thermal behaviors. Such behavior was attributed to the role of nanoalumina in producing stable friction layer and easy conduction path in matrix. It was postulated that nanoalumina is able to attach on the surface of microalumina facilitating the rolling of microalumina at interface. Solution-processed samples exhibited lower improvement in tribological and mechanical properties compared to the conventional mixing due to the limited interaction between...
New considerations in modern protection system quantitative reliability assessment
, Article IEEE Transactions on Power Delivery ; Volume 25, Issue 4 , September , 2010 , Pages 2213-2222 ; 08858977 (ISSN) ; Fotuhi Firuzabad, M ; Sharif University of Technology
2010
Abstract
Protective relay technologies have evolved from single-function electromechanical and static relays to modern multifunction digital relays over the past few years. Protection systems play a vital role in maintaining a desirable level of reliability in power systems. Thus, their own reliability should be evaluated and any cause of their malfunction should be fully comprehended. In this paper, a new reliability model is proposed that associates protection system failures to four main causes: 1) relay hardware, 2) relay software, 3) ancillary equipment, and 4) human error. In addition, this model can take other aspects of the protection system into consideration, such as human error during...
Numerical simulation of drag reduction in microgrooved substrates using lattice-boltzmann method
, Article Journal of Fluids Engineering, Transactions of the ASME ; Volume 141, Issue 7 , 2019 ; 00982202 (ISSN) ; Moosavi, A ; Etemadi, A ; Sharif University of Technology
American Society of Mechanical Engineers (ASME)
2019
Abstract
We study drag reduction of a uniform flow over a flat surface due to a series of rectangular microgrooves created on the surface. The results reveal that making grooves on the surface usually leads to the generation of secondary vortices inside the grooves that, in turn, decreases the friction drag force and increases the pressure drag force. By increasing the thickness of the grooves to the thickness of the obstacle, the pressure drag increases due to the enhancement of the generated vortices and the occurrence of separation phenomenon and the friction drag reduces due to a decrease of the velocity gradient on the surface. In addition, by increasing the grooves depth ratio, the pressure...
Quantitative assessment of protection system reliability incorporating human errors
, Article Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability ; Volume 222, Issue 2 , 2008 , Pages 255-263 ; 1748006X (ISSN) ; Fotuhi Firuzabad, M ; Sharif University of Technology
2008
Abstract
The protection system plays a vital role in maintaining a high degree of service reliability in present-day power systems. Considerable work has been done to examine different aspects of protection systems and their associated reliability. All of the reliability predictive methods are based solely on equipment failures, neglecting the human component of the protection system. In this paper, a modified Markov model is presented that incorporates human errors in reliability evaluation of protective devices. Two main types of relay failure (failure to operate and inadvertent operation) are taken into account in the proposed model. The model also considers routine test inspections, the...
Distribution system reliability enhancement using optimal capacitor placement
, Article IET Generation, Transmission and Distribution ; Volume 2, Issue 5 , 2008 , Pages 621-631 ; 17518687 (ISSN) ; Fotuhi Firuzabad, M ; Sharif University of Technology
2008
Abstract
Failure statistics of most utilities indicate that distribution systems make the greatest individual contribution to the unavailability of supply to customers. Optimal capacitor placement in distribution systems has a number of advantages such as reducing losses, improving voltage profile, improving power factor and so on. The conventional objective function of the optimal capacitor placement consists of the total cost of losses and investments. Since capacitors supply reactive loads locally, they improve the load-carrying capability of the lines and therefore play the same role as redundant lines. Thus, optimal capacitor placement can also improve the reliability indices of a distribution...
High-impedance fault detection using multi-resolution signal decomposition and adaptive neural fuzzy inference system
, Article IET Generation, Transmission and Distribution ; Volume 2, Issue 1 , 2008 , Pages 110-118 ; 17518687 (ISSN) ; Sanaye Pasand, M ; Sharif University of Technology
2008
Abstract
High-impedance faults (HIFs) on distribution systems create unique challenges to protection engineers. HIFs do not produce enough fault current to be detected by conventional overcurrent relays or fuses. A method for HIF detection based on the nonlinear behaviour of current waveforms is presented. Using this method, HIFs can be distinguished successfully from other similar waveforms such as nonlinear load currents, secondary current of saturated current transformers and inrush currents. A wavelet multi-resolution signal decomposition method is used for feature extraction. Extracted features are fed to an adaptive neural fuzzy inference system (ANFIS) for identification and classification....
An Investigation of Alumina Nanoparticles Role on the Performance of Automotive Brake Friction Materials
, M.Sc. Thesis Sharif University of Technology ; Shojaei, Akbar (Supervisor)
Abstract
The research on the automotive brake composite materials is very extensive due to its complex formulation and the used of diverse variety of materials. While various research activities has been applied in this research group, but there are many unknown areas. This subject with the arrival of new materials, especially nanometer materials, has received increasing attention. In this study, the effect of alumina nanoparticles on the performance of automotive brake friction materials were examined. Generally, alumina (as micro particles) used as the abrasive material for many years in the formulation of composite brake pads. But, the effect of alumina on the nanometer scale hasn't been examined...
Stability analysis of robotic swarm with limited field of view
, Article ASME 2007 International Mechanical Engineering Congress and Exposition, IMECE 2007, 11 November 2007 through 15 November 2007 ; Volume 9 , 2007 , Pages 175-184 ; 0791843033 (ISBN) ; Alasty, A ; Vossoughi, G. R ; Sharif University of Technology
American Society of Mechanical Engineers (ASME)
2007
Abstract
This paper presents an analytical study of swarm motion in static environments, in which, motion of the swarm is modeled as a quasi static model. Motion of each member is being affected by interactive forces and environmental effects. Interactive effects on each member could be attractive or repulsive due to being far from or close to other members respectively. Environmental effects also could be attractive or repulsive or a combination of both. The method is based on Lyapunov analysis. Two objectives are investigated through the analysis; one is to preserve the unity of swarm i.e. not losing any member through motion, and the other is to move toward attractant areas and away from repellant...
Swarm aggregation using emotional learning based intelligent controller
, Article 2009 6th International Symposium on Mechatronics and its Applications ; 2009 , Article number 5164827 ; ISBN: 9781424434817 ; Vatankhah, R ; Alasty, A ; Vossoughi, G ; Sharif University of Technology
2009
Abstract
In this paper, we consider a control strategy of multi-robot systems, or simply, swarms, based on emotional control technique. First, we briefly discuss a "kinematic" swarm model in n-dimensional space introduced in an earlier paper. In that model, motion of every swarm member is governed by predefined inter-individual interactions. Limitations of every member's field of view are also considered in that model. After that, we consider a general model for vehicle dynamics of each swarm member, and use emotional control theory to force their motion to obey the dynamics of the kinematic model. Based on the kinematic model, stability (cohesion) analysis is performed and coordination controller.is...