Purpose: Recent advancements in technology have enabled railway organizations to shift from manual to computer based automated interlocking systems for increasing their efficiency and profits. Since automated systems are complex and interlocking systems are safety critical systems, these systems should be modeled and verified against safety requirements to weed out any design bugs which might l...

In this research, monthly rainfall of Shiraz synoptic station from March 1971 to February 2016 was studied using different time series models by ITSM Software. Results showed that the ARMA (1,12) model based on Hannan-Rissanen method was the best model which fitted to the data. Then, to assess the verification and accuracy of the model, the monthly rainfall for 60 months (from March 2011 to Feb...

A radio network (RN for short) is a distributed system with no central arbiter, consisting of n radio transceivers, henceforth referred to as stations. We assume that the stations run on batteries and expends power while broadcasting/receiving a data packet. Thus, the most important measure to evaluate protocols on the radio network is the number of awake time slots, in which a station is broad...

We study the problem of future bike availability prediction of a bike station through the moment analysis of a PCTMC model with time-dependent rates. Given a target station for prediction, the moments of the number of available bikes in the station at a future time can be derived by a set of moment equations with an initial set-up given by the snapshot of the current state of all stations in th...

This paper presents passive radar emitter localization using the Time-Difference-Of-Arrival (TDOA) technique from Unmanned Aerial Vehicles (UAVs) working in conjunction with a fixed/mobile station (such as a shipborne/land-based station) to geolocate a radar emitter to fulfill maritime and littoral area surveillance. Instead of using multiple stationary sensors, multiple TDOA measurements are o...

We analyze the performance of a tandem queueing network populated by two customer types. The interarrival times of each type and the service times of each type at each station are independent random variables with general distributions, but the load on each station is assumed to be identical. A setup time is incurred when a server switches from one customer type to the other, and each server em...

The first space-based GPS augmentation systems were implemented using the L-band geostationary transponders launched on the Inmarsat-3 satellites. The Ground Uplink Station (GUS) hardware and software, which enables these “bent-pipe” transponders to broadcast pseudo-GPS signals, was developed by NAVSYS. The Ground Uplink Station equipment allows the Inmarsat-3 GPS augmentation signals to be pre...

Perfect phylogeny is one of the fundamental models for studying evolution. We investigate the following variant of the problem: The input is an n ×m species-characters matrix. The characters are binary and directed, i.e., a species can only gain characters. The difference from standard perfect phylogeny is that for some species the state of some characters is unknown. The question is whether on...