ORIGINAL_ARTICLE
A DYNAMIC LOCATION UPDATE MANAGEMENT ALGORITHM IN CELLULAR MOBILE NETWORKS
Future increase of mobile communication subscribers will require a great capacity expansion of the cellular systems. In order to accommodate the increasing number of subscribers, the cell size will have to be much smaller than current size. Therefore, it is predictable that the location updating and paging procedures will produce a major part of signaling traffic in these networks.
This paper proposes a location management algorithm for cellular networks that dynamically extract the location and paging areas for every user, based on the user profile. The user profile contains the number of movements between cells and average duration spent in each visited cell. A mobility model is developed to simulate daily movements of the subscribers and used to compare the performance of the proposed dynamic algorithm with current strategy in GSM networks. The results of simulation indicate that the dynamic algorithms significantly outperform the static algorithm, in terms of total location management cost.
http://mjee.modares.ac.ir/article_2026_4790eacb571924561d0da1fed7e4b460.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
1
10
Location Management
Location Update
Cellular Network
Paging
Hamidreza
NOORIAN
true
1
K.N.Toosi university of technology
K.N.Toosi university of technology
K.N.Toosi university of technology
AUTHOR
Kamal
MOHAMEDPOUR
kmpour@eetd.kntu.ac.ir
true
2
K.N.Toosi university of technology
K.N.Toosi university of technology
K.N.Toosi university of technology
LEAD_AUTHOR
ORIGINAL_ARTICLE
A MODEL FOR SPECIFICATION OF CRYPTOGRAPHIC PROTOCOLS AND ITS OPERATIONAL INTERPRETATION WITH ALGEBRAIC METHODS
Logic analysis and attack construction methods are two major approaches in verification of cryptographic protocols. However, it is almost preferable to use both of them for a complete analysis. In this paper, a generic framework for the integration of the two verification approaches is presented. Using the framework we can propose analysis methods in which security properties and breach scenarios of the properties in a protocol can be verified in a unified manner. The focus on this paper is on a computational model of the protocols as the major component of the framework. The operational interpretation of the computational model with a term rewriting system (TRS) is presented too. To specify an intended protocol, we can represent it as a set of individual steps, and then using a transformation algorithm, a terminated and confluent TRS is generated automatically. This TRS is used to construct a special representation of the protocol named the protocol execution path, which can be used as the base of various verification schemes. Specification and verification of a sample protocol is presented too.
http://mjee.modares.ac.ir/article_2027_79837233ff549d01ce83c6e1accf2fbb.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
11
29
Cryptographic protocols
Formal verification
Computational model
Logical analysis
Attack construction
Term rewriting systems
Said
Jalili
sjalili@modares.c.ir
true
1
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
LEAD_AUTHOR
Behruz
TORK LADANI
Torkla_b@modares.ac.ir
true
2
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
AUTHOR
ORIGINAL_ARTICLE
PLANNING AND MANUFACTURING OF LINEAR INDUCTION MOTOR FOR PUMPING OF CHEMICAL LIQUIDS
In this research using the theory of Induction Motor (UM), a UM with liquid as secondary part is planned and manufactured. The main objective for planning of this motor is to investigate the possibility of chemical liquids pumping such as liquid poison and acids.
Results of many laboratory tests are shown to conclude that pumping force in the manufactured pump is dependent on many factors such as the magnetic characteristics of material of primary side and the electrical conductivity of liquid. In high magnetic permeability and high electrical conductivity, pumping force is fortified. Thus using the proposed method, pumps without mechanical moving parts can be manufactured.
http://mjee.modares.ac.ir/article_2028_8547ef5dc836d5893b5b8c919703e106.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
31
41
Linear motors
Magnetic pump
Chemical liquids
Ali
JAFARI
true
1
Tarbiat Modares University
Tarbiat Modares University
Tarbiat Modares University
AUTHOR
Mahmud reza
HAGHIFAM
true
2
Tarbiat Modares University
Tarbiat Modares University
Tarbiat Modares University
LEAD_AUTHOR
ORIGINAL_ARTICLE
CONTEXT DEPENDENT MODELING IN CONTINUOUS SPEECH RECOGNITION BASED ON A PERSIAN PHONETIC DECISION TREE
Context-dependent modeling is a well-known approach to increase modeling accuracy in continuous speech recognition. The most common way to implement this approach is via triphone modeling. Nevertheless, the large number of such models results in several problems in model training, whilst the robust training of such models is often hardly obtained. One approach to solve this problem is via parameter tying. In this paper, clustering has been carried out on HMM state parameters and the states allocated to any cluster are tied to decrease the overall number of system parameters and achieve robust training. Two types of groupings, one based on the final trained model set parameters and their inter-model distances and the other based on the training data and a decision tree, have been carried out. In the implementation of the later, a decision tree based on the acoustic properties of the Persian (Farsi) language and the phonetic similarities and differences has been designed. The results obtained have shown the usefulness of both the approaches. However, the second approach has the advantage of making the estimation of unseen model parameters possible.
http://mjee.modares.ac.ir/article_2029_6604ee5917b276eb5536f8f63b7c285c.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
43
56
Context-Dependent Modeling
Persian Continuous Speech Recognition
Continuous Density Hidden Markov Models
State tying
Decision trees
Seyed Hosein
SHAMS
true
1
Amirkabir university of technology
Amirkabir university of technology
Amirkabir university of technology
AUTHOR
SEYED mohammad
AHADI
sma@aut.ac.ir
true
2
Amirkabir university of technology
Amirkabir university of technology
Amirkabir university of technology
LEAD_AUTHOR
ORIGINAL_ARTICLE
FAULT DIAGNOSIS AND LOAD DETECTION IN ELECTRICAL MACHINES USING VIBRATION ANALYSIS AND NEURAL NETS
Rotating machines in particular induction electrical machines are important industry instruments. In manufacturing, electrical motors are exposed to many damages, and this causes stators and rotors not to work correctly. In this paper we addressed modal analysis and an intelligent method to detect motor load condition and also the stator faults such as turn-to-turn and coil-to-coil faults using motor vibration analysis. A three-phase induction motor with a special winding was used to create the faults artificially. The vibration signal of motor in different states such as working without fault, with various faults and with various loads was acquired. Some spectral analysis was done using the spectrum and the spectrograph of vibration signals and differences due to different states of motor were observed. Suitable features such as Linear Prediction Cepstral Coefficients and Fourier Transform Filter Bank Coefficients were extracted from vibration signals and were then applied to non-supervised (SOM) and supervised (LVQ) neural networks in order to classify motor faults and its load condition. Many experiments were conducted to evaluate the effect of neural network type, type and length of feature vector, length of training signal etc. In brief, using SOM and LVQ neural networks, 20 element Filter Bank feature vectors, and 600ms of the training data, performance of 93.6% and 94.2% were obtained for load and fault detection respectively.
http://mjee.modares.ac.ir/article_2030_cc63cd5abaa0c0ef36379abe8d91d33a.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
57
71
Vibration Analysis
Fault Diagnosis
Electrical Machines
Neural networks
Cepstral Coefficients
MOHAMMAD MAHDI
HOMAYOUNPOUR
homayoun@ce.aut.ac.ir
true
1
Amirkabir university of technology
Amirkabir university of technology
Amirkabir university of technology
LEAD_AUTHOR
Darush
HAKIMZADEH
true
2
Amirkabir university of technology
Amirkabir university of technology
Amirkabir university of technology
AUTHOR
ORIGINAL_ARTICLE
TELEOPERATION SYSTEMS CONTROL USING AUGMENTED WAVE VARIABLES AND SMITH PREDICTOR METHODS BY PREDICTION OF DELAY TIME
In this paper, behavior of teleoperation systems with modeling error and delay time error in Smith predictor is discussed. In teleoperation systems, modeling error is inevitable. This paper discusses stability of teleoperation systems with modeling error. First, error of delay time in teleoperation systems by using of Internet as communication channel is considered and the performance of Smith predictor in teleoperation systems with delay time error is discussed. Next, a new structure for teleoperation system is proposed. An adaptive filter is integrated into the new structure for determination of delay time in communication channel. The new structure augments wave variables and Smith predictor to provide an effective method for teleoperation systems. Along with the adaptive filter, this new structure is shown to overcome instability due to the variability of the delay times. Simulations results show significant improvements in the system performance.
http://mjee.modares.ac.ir/article_2031_a961d40c4ea7efcfb38f725fb63dc1b7.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
73
83
Time delay
Teleoperation Systems
Smithpredictor
Wave Variables
Soheil
GANJEHFAR
true
1
Tarbiat Modares University
Tarbiat Modares University
Tarbiat Modares University
AUTHOR
Hamidreza
MOUMENIAN
momeni_h@modares.ac.ir
true
2
Tarbiat Modares University
Tarbiat Modares University
Tarbiat Modares University
LEAD_AUTHOR
FARROKH
JANABI SHARIFI
true
3
Ryerson university
Ryerson university
Ryerson university
AUTHOR
Mohammad taghi
HAMIDI BEHESHTI
mbehesht@modares.ac.ir
true
4
Tarbiat Modares University
Tarbiat Modares University
Tarbiat Modares University
AUTHOR
ORIGINAL_ARTICLE
AN APPROACH TO SUBNET FLOW IN LABELS SWITCHING TECHNOLOGY
Label switching technology is a flexible and high performance method for forwarding layer three packets that are mapped to layer two flows. Each label switch router, LSR, needs a specific label for every flow, where the number of labels depends on the mapping and granularity of flows. Data and control driven methods are the most significant and popular methods in label mapping policy. The above mentioned methods have been investigated. The possible pitfalls of each method are identified for an optimal operation and performance. One of the most significant difficulties is the rate of flows creation and deletion. This issue is vital in both scalability and implementation of networks and is more significant in data driven methods. In this paper, a new flow-Subnet Flow-has been proposed which increases the performance in data driven methods. The simulation results show fair improvement in performance and validity of the Subnet Flow.
http://mjee.modares.ac.ir/article_2032_a00864387f29123f4da67b72e3208db7.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
85
97
Label Switching
IP Switching
Control Driven
Data Driven
Granularity
Flow Classification
NASROLLAH
MOGHADAM CHAKERI
charkari@modares.ac.ir
true
1
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
LEAD_AUTHOR
MOHSEN
HOUSHMAND SARVESTANI
hoosh@modares.ac.ir
true
2
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
AUTHOR
ORIGINAL_ARTICLE
δ-DOPED LDD HMESFET
In this paper we propose and simulate a new Heterostructure MESFET, Called δ-doped LDD HMESFET. To improve carrier velocity in vicinity of the source in channel of GaAs MESFET, one can replace source with AlxGa 1-x As. By increasing Al content, discontinuity of hetero-interface could be increased. Therefore, the velocity increases in the low field. However, increasing Al mole fraction in excess of some value forces the current to reduce, due to DX centers. To avoid this reduction, we suggest taking the advantage of ?-doped the source-channel hetero-interface. This increase discontinuity of hetero-interface, which is equivalent to increasing Al content. In this paper, we simulate the proposed transistor structure and compare it with the one proposed in [1], ignoring DX centers. In this comparison, we show that the average electron velocity in both transistors is identical.
http://mjee.modares.ac.ir/article_2033_e64519b26b455109ac6b734af8a0a075.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
99
103
Delta-Doped (δ-Doped)
LDD HMESFET
Monte Carlo
DX Centers
Kamyar
SAGHAFI
saghafi@shahed.ac.ir
true
1
Shahed University
Shahed University
Shahed University
AUTHOR
MOHAMMAD KAZEM
MORAVEJ FARSHI
farshi_k@modares.ac.ir
true
2
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
LEAD_AUTHOR
Vahid
Ahmadi
av1385@gmail.com
true
3
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
AUTHOR
ORIGINAL_ARTICLE
A COMPARISON STUDY OF FIXED AND MOVING-BLOCK SIGNALLING IN RAPID TRANSIT RAILWAYS
An important task in the initial design stages of rapid-transit type systems or "metros" is the allocation of signals and control points. These are placed so as to achieve a specified minimum time-separation between trains (headway), whilst minimizing the amount of signaling equipment but maintaining the highest level of safety. Conventional signaling and control systems are based on the fixed-block principle, whereby the track (or guide way) is divided into sections of predetermined length. A train is only allowed to proceed into a block when that block and usually the next one is clear of traffic. With the moving-block concept, a train can follow a preceding train at a safe braking distance behind the tail of the train.
In this paper, the transient performances of the two signaling systems are compared. A multi-train simulator which was originally developed at Birmingham University (U.K.) with a fixed-block algorithm, has been adopted and modified to accommodate the moving block algorithm. Both signaling systems were applied to Singapore Mass Transit Railway (MTR) and the results were compared in terms of train movement and transient performances including headway and station delay under safety and speed restrictions. Results have shown that with a pure moving-block system a considerable improvement in transient performance can be achieved.
http://mjee.modares.ac.ir/article_2034_ea667f30ef18dc0fa2c4b4ffc1a5c224.pdf
2003-12-02T11:23:20
2017-11-20T11:23:20
104
112
Signalling
Metro
fixed-Block
Moving-Block
Mohammad taghi
HAMIDI BEHESHTI
mbehesht@modares.ac.ir
true
1
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
LEAD_AUTHOR
Mohammad hasan
MIRAN BEYGI
Miranbmh@modares.ac.ir
true
2
Tarbiat Modarres University
Tarbiat Modarres University
Tarbiat Modarres University
AUTHOR