Sharif Digital Repository

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

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

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

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

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