Sharif Digital Repository

Security protocols are mostly verified using tools based on model checking approach. These tools are automatic but they can be used for verifying protocols with low complexity and limited number of participants. The other approach that can be used in these cases is theorem proving. Inductive method is a theorem proving approach which is based on induction in mathematics. Inductive method has been applied for verifying several classical and real-world protocols.
The basic concepts in this method are event and trace. Using the concept of event, the network traffic can be modeled through various events occurring in the network. Atrace is a list of events and model a history of the network.... 

This is the first attempt at process modeling in terms of predictive control using a hierachical method based on regression analysis and artificial neural networks(ANNs).This hierachical use leads to the reliability improvement of neural model of process in prediction (extrapolation and interpolation) of process output. such an outlook makes it possible to predict the proper input settings which achieved a desired process output by designing various senarios for process set up. This approach was applied in Tile industry for spray dring process and in order to indicate the achieved improvement,three models:(i) regression model of process using multiple linear regression,(ii)Neural model of... 

In this thesis, we derive the analytic condition that linear time invariant fractional order system being positive real. Also, by inspiration of positive real condition, we derive the analytic condition for linear time invariant fractional order system that their imaginary part of frequency response being negative. Intended conditions for single input single output systems are derived in the form of necessary conditions in one way and derived in the form of sufficient conditions in another way. However, intended conditions in multiple input multiple output are just derived in the form of sufficient conditions. Furthermore, an upper band for phase of oustaloup approximation frequency response... 

Black holes are a general set of solutions of Einstein’s general relativity. Their most important feature is the horizon, which is basically a region that separates the space-time into two causally disconnected regions. Studying the general features of black holes, classifying this family of solutions and studying the dynamics of particles and fields in the background of a given black hole are famous subjects in the field of classical black hole physics which are going to be covered in this thesis. By putting different conditions on the equations, we will get different solutions like Schwarzschild, Reissner-Nordstrom, Kerr, Kerr-Newman and etc, each of them having specific features. Then we...