Sharif Digital Repository

In the present research, model-based reasoning is introduced and explained based on Giere’s explanation of model. In other word, this research could be regarded as a reconstruction of model in Giere’s books and papers due to prpose a clear explanation of model-based reasoning. In the second chapter, after the introduction, the concept of model in Giere’s distinguished book, “Explainnig Science: A Cognitive Approach” (1988) is introduced and analyzed. In the second chapter, however, the concept of model in Giere’s recent works is traced. “An agent-based account of model” and “focusing on functionality rather than ontology” could be explained as the two important differences between his... 

Less than a decade ago, Test Driven Development (TDD) emerged as a quality assurance approach and applied in agile software developments. In this method, test cases act as software development driver and a new piece of code is added just to satisfy the corresponding test case in the test repository. Although the results of applying TDD show its success in software quality promotion, but the method suffers from some limitations and shortcomings that make its usage hard in complicated and enterprise software projects, particularly in the industry. The goal of the following research is to mitigate the drawbacks of TDD and improve the method in order to make it more applicable for complicated... 

In the modern software era, testing plays an invaluable role in software development as a quality assurance measure. Estimates have been made that up to 50% of effort and resources in software projects are allocated to testing. Model based testing (MBT) is one of the important stages of model driven development (MDD), which involves creating test cases from software models. When test cases are created from models, they reside at a higher level of abstraction, therefore creating and maintaining them will cost less, and will utilize more automation possibilities. Also, MBT takes a systematic route to test generation; this allows for a more goal-oriented and direct approach in achieving... 

Efforts to model and control surge, as the underlying instability of centrifugal compressors, were conducted. Of the three major instabilities in compressors, namely chokage, stall and surge, the latter has a significant role in limiting the available range of operation in centrifugal compressors, which are the most common devices for the transportation of Natural gas. The customary method to circumvent surge, which if occurred, could impose severe, catastrophic and irreversible damages to the machine, is to avoid the zones in which it is likely to develop by means of a recycling system. These often called "surge avoidance" or "surge prevention" schemes have the benefit of high reliability,... 

Electronic engine control unit (ECU) operates the different actuators using information signals received from the different sensors. Also in the case of any fault in the sensors and actuators operation ECU is responsible to detect and alert the accruing faults. Most of the common faults in the engine such as leakage in intake system and ignition system are not detectable by ECU, on the other hand ECU fault codes some times are hard to interpret or misleading. So fault diagnosis is usually based on experience of repair staff, and might be time consuming and inaccurate. In this study, using the knowledge of premixed fuel injection SI engines and emission generation and statistical data,... 

The purpose of this project is fault diagnosis of anti-lock brake system with mechatronic approach. To do this, first an appropriate model of the system has been developed. After validating the model, the effects of change in some parameters that indicates the occurrence of a fault in the system are used to examine the behavior of the system in a model-based manner. With this method, it can be analyzed that how a specific fault will impact other system parameters. in fact; the effect of various defects in the system can be detected.
To do this, four common faults such as fault occurrence in hydraulic pump and solenoid valves, air presence and oil leakage in the system are implemented... 

Fault detection in swarm robots is one of the most important issues that has drawn a lot of scientists’ attention. Previous studies have shown a lot of problems regarding this issue, such as dependency of data-based methods to mission and high complexity of model-based methods on the condition that nonlinear models are used. Extended information filter is an applicable method for fault detection because it could turn the inverse of a big matrix to a simple summation of information that is so desired in terms of calculations. The goal of this study is to identify the agents with fault in swarm robots online by modifying the extended information filter. In this study, it has been attempted to... 

Molecule of DNA is one of the most important biomolecule in cell which contains genetic information to supply the required proteins for body. Evidence shows prefered binding sequence for proteins exist to interact with proteins which this preference is determined not only by specefic chemical interactions between DNA and protein, but also specific suitable geometrical arrangements of DNA have important role to inding DNA oligomer and protein, such as winding DNA around histon to creating nucleosome is related to curvature and deformability of DNA. Thus knowing elastic behaviour and properties of DNA helps us to approach the answer of such questions. Despite the recent dvancement in labratory...