Loading...
Search for:
keramati--hadi
0.128 seconds
Total 211 records
Speed/accuracy trade-off between the habitual and the goal-directed processes
, Article PLoS Computational Biology ; Volume 7, Issue 5 , 2011 ; 1553734X (ISSN) ; Dezfouli, A ; Piray, P ; Sharif University of Technology
2011
Abstract
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...
Generating semantically valid test inputs using constrained input grammars
, Article Information and Software Technology ; Volume 57, Issue 1 , January , 2015 , Pages 204-216 ; 09505849 (ISSN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
Elsevier
2015
Abstract
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....
Stabilization of the suspension of zirconia microparticle using the nanoparticle halos mechanism: zeta potential effect
, Article Journal of Dispersion Science and Technology ; Volume 37, Issue 1 , 2016 , Pages 6-13 ; 01932691 (ISSN) ; Saidi, M.H ; Zabetian, M ; Sharif University of Technology
Taylor and Francis Inc
2016
Abstract
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...
Integrating software development security activities with agile methodologies
, Article 6th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2008, Doha, 31 March 2008 through 4 April 2008 ; 2008 , Pages 749-754 ; 9781424419685 (ISBN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
2008
Abstract
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...
Studying and Reviewing the Modification, Completion or Change of the Classical Theories Used in the Simulation of Resin Injection Network for Manufacturing of a Large Composite Structure by Means of Vacuum Infusion Process
, M.Sc. Thesis Sharif University of Technology ; Abedian, Ali (Supervisor)
Abstract
In recent years, liquid resin injection processes for aviation applications have been considered an alternative to conventional autoclave-based processes. At present, these processes have challenges that have been denied industry trust due to their inability to be objectively reproducible. In the last decade, some software has been developed to simulate the vacuum injection process, but this software does not have enough capability to predict the injection network, and an operator with sufficient empirical knowledge must use this software. In recent years, researchers have used this softwares to simulate the process, but so far no software has been developed that can offer injection...
Software Testing Based on Input Grammars with Semantics
, Ph.D. Dissertation Sharif University of Technology ; Mirian Hosseinabadi, Hassan (Supervisor)
Abstract
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. This research 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. Formal specification...
Neurocomputational Modeling of the Dual-Process Theory of Decision Making and Its Implication for Public Policy Making
, M.Sc. Thesis Sharif University of Technology ; Ghaninejad, Moussa (Supervisor)
Abstract
Supported by a rich literature in psychology and neuroscience, the dual-process theory of decision making assumes that individuals’ decisions are made through arbitration between habitual and goal-directed processes within their minds. Whereas the goal-directed system makes decisions after deliberating all positive and negative consequences of each feasible choice, the habitual system make choices based on the habits formed in previous experiences. Although the decisions of the goal-directed system are always more optimal that those of the habitual system, but due to that fact that the goal-directed system is slow, effortful and time-consuming, it is sometimes more efficient to make...
Modeling of Nerve System by Differential Equations Theory
, M.Sc. Thesis Sharif University of Technology ; Fotuhi, Morteza (Supervisor)
Abstract
In this thesis, behavior of a single neuron and a collection of neurons, has modeled by using ordinary differential equation techniques. In modeling of a single neuron, cell’s potential and parameters related to ion’s are variables of differential equation. Often some of this variables change very faster than the others. That causes using small perturbation methods in modeling. The Hodgkin-hoxley equations identified as main model and its reduced models used in thesis. In modeling of a network of neurons, there are also synaptic and neuron variables and also they change in different speeds, too. That again leads us to small perturbation theory. Synapses are hyperpolarizing and depolarizing....
Analytical solutions for thermo-fluidic transport in electroosmotic flow through rough microtubes
, Article International Journal of Heat and Mass Transfer ; Volume 92 , 2016 , Pages 244-251 ; 00179310 (ISSN) ; Sadeghi, A ; Saidi, M. H ; Chakraborty, S ; Sharif University of Technology
Elsevier Ltd
2016
Abstract
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...
Advances in heuristic signal processing and applications
, Book ; Chatterjee, Amitava ; Nobahari, Hadi ; Siarry, Patrick
Springer
2013
Abstract
There have been significant developments in the design and application of algorithms for both one-dimensional signal processing and multidimensional signal processing, namely image and video processing, with the recent focus changing from a step-by-step procedure of designing the algorithm first and following up with in-depth analysis and performance improvement to instead applying heuristic-based methods to solve signal-processing problems. In this book the contributing authors demonstrate both general-purpose algorithms and those aimed at solving specialized application problems, with a special emphasis on heuristic iterative optimization methods employing modern evolutionary and swarm...
Experimental characterization of stabilized suspensions caused by formation of nanoparticle halos
, Article ASME 2014 12th International Conference on Nanochannels, Microchannels, and Minichannels, ICNMM 2014, Collocated with the ASME 2014 4th Joint US-European Fluids Engineering Division Summer Meeting ; 2014 ; ISBN: 9780791846278 ; Zabetian, M ; Saidi, M. H ; Mozafari, A. A ; Sharif University of Technology
2014
Abstract
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...
Dynamics of the nanoneedle probe in trolling mode AFM
, Article Nanotechnology ; Volume 26, Issue 20 , April , 2015 ; 09574484 (ISSN) ; Pishkenari, H. N ; Keramati, R ; Minary Jolandan, M ; Sharif University of Technology
Institute of Physics Publishing
2015
Abstract
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
Stabilization of Microparticle Suspension by Means of Nanoparticle with Focus on the Optical Measurement Methods
, M.Sc. Thesis Sharif University of Technology ; Saidi, Mohammad Hassan (Supervisor) ; Mozafari, Ali Asghar (Co-Advisor)
Abstract
Many of industrial processes include suspension in their middle section of production, final product or residue. Majority of these two-phase mixtures are unstable due to their large particle size (larger than one micrometer). Therefore, Study of particle distribution in suspensions for generation of stabilized suspension becomes significant. In this study a new mechanism in stabilization of microparticle suspension known as nanoparticle halo mechanism has been assessed. Experiments have been conducted in dilute suspension and two-way coupling range. The effect of the presence of silica nanoparticle on zirconia microparticle suspension has been investigated. The effect of zeta potential of...
Development of an Evolutionary Algorithm Based on Surrogate Models to be used in Multi-disciplinary Design Optimization of a Flying Vehicle
, M.Sc. Thesis Sharif University of Technology ; Nobahari, Hadi (Supervisor)
Abstract
In this research, multi-disciplinary design optimization (MDO) of a flying vehicle has been done based on the flight simulation. A meta-heuristic algorithm called Multi-objective Adaptive Real-coded Memetic Algorithm (MARCOMA) has been used for optimization. Since solving a MDO problem is a time consuming process, a RBF neural network has been used in the optimization algorithm as a surrogate model. The new algorithm, called MARCOMA+NN, has been tested with some standard benchmarks. MDO problem has six disciplines consists structure, aerodynamic, propulsion, guidance, control, and fire control. The MDO problem has 31 design variables and two objective functions. The objective functions are...
Optimal Design and Real-time Implementation of a Cooperative Guidance Algorithm against a Flying Vehicle
, M.Sc. Thesis Sharif University of Technology ; Nobahari, Hadi (Supervisor)
Abstract
A cooperative aerial system to defense a Ground Station (GS), against an Incoming aerial Targets (IT) is presented. GS is surrounded by given terrains and a group of homogenous Unmanned Aerial Vehicles (UAVs) are employed using a novel online guidance algorithm in a decentralized manner. The proposed algorithm includes loiter, midcourse and terminal phases. During loiter; UAVs follow an optimal circular path. IT is supposed to approach GS along an optimal low altitude trajectory with respect to the terrains. UAVs are informed the initial position and velocity of IT and they are unaware of IT trajectory. Each UAV decides on whether to engage with IT or not, and shares its decision with other...
Synthesis and Characterization of PVDF Magnetic Nanocomposite
, M.Sc. Thesis Sharif University of Technology ; Forounchi, Massoud (Supervisor)
Abstract
PVDF (polyvinylidene fluoride) magnetic nanocomposite films were prepared by solution casting using two types of nanomagnetic particles: (i) magnetic nanoparticles synthesized by using an alkaline solution of mixed ferrous/ferric salts along with oleic acid as a coating agent at 70˚C; (ii) Fe3O4 nanoparticles prepared by hydrolysis of aqueous solution of ferrous/ferric salts with potassium hydroxide at room temprature. Scanning electron microscopy (SEM) showed that the PVDF magnetic nanocomposite had a porous structure with Fe3O4 nanoparticles dispersed inside the porous polymer matrix. The presence of crystalline magnetite within the polymer matrix was confirmed by X-Ray diffraction method...
Cooperative Search and Localization of Mobile RF Ground Targets, Using a Group of UAVs
, M.Sc. Thesis Sharif University of Technology ; Nobahari, Hadi (Supervisor)
Abstract
In this project, a method for cooperative search and localization of RF ground moving targets by a group of UAVs is developed. It should be noted that UAVs are just equipped with GPS and directional sensors. Since there is fuel constraint for UAVs, they take fuel from a tanker whenever they require. Moreover, searching method enables the UAVs to see different parts of the desired area with almost uniform distribution. In addition, the proposed approach enables the UAVs to perform a local search with the aim of finding the targets having lost their signal during localization mode. Finally, based upon a fueling decision function the UAVs take turn, approach to the fuel tanker, and start...
Attitude Control of a 3DOF Quadrotor Stand Using Intelligent Back-stepping Approach
, M.Sc. Thesis Sharif University of Technology ; Nobahari, Hadi (Supervisor)
Abstract
In this research a novel intelligent back-stepping control method is developed. This method is robust to sensor noise and external disturbances. In addition, the controller is robust under model uncertainty. This controller does not need precise knowledge of system parameters. This method is based on three methods of: back-stepping control, least squares estimation and a fuzzy compensator. This controller is used to control quadrotor stand witch is like an inverse pendulum. In quadrotor stand modeling, the inverse pendulum effect is considered too, witch is one of the innovations of the research. By doing various simulations, the validity of controller is tested. Also the performance of the...
Cooperative Search and Localization of Aerial Targets, Using a Group of Fixed Wing UAVs
, M.Sc. Thesis Sharif University of Technology ; Nobahari, Hadi (Supervisor)
Abstract
Topic that is investigated in this article include identify and localization a number of aerial target penetrating into a protected by area by a swarm of UAVs is fixed wing. UAVs do not have any prior notice of positioning targets. In addition, it is assumed that lacks any radiation exploitable targets and thus use UAVs for Targets Detection from an active radar system. Obviously this article focus on developing a guidance algorithm UAVs to this particular issue and also as the targets participatory is localization algorithm. In addition, extraction type and performance characteristics radar system required and also performance characteristics of the class of UAVs, which is suitable to...
A New Method for Integrated Controller and Observer Design of a Nonlinear System Using Genetic Programming
, M.Sc. Thesis Sharif University of Technology ; Nobahari, Hadi (Supervisor)
Abstract
The purpose of this paper is to design an integrated controller and observer (ICO) for a nonlinear system using genetic programming. ICO is a function that constructs control command directly from the measured state variables of the system. It means that, this function should imitate the behavior of the observer and controller and control the system with acceptable performance in different initial conditions, at the presence of disturbances and system uncertainties. The complexity of this design method, is not related to the complexity of the plant, in fact, the complexity in plant just effects at run time, but the design procedure does not change. So, if exact model of plant exist, using...