We consider the following model for a weak random source: the source is asked only once for R bits, and the source outputs an R b i t string such that no string has probability more than 2-6R of being output, for some fixed 6 > 0. We exhibit a pseudo-random generator running in time that simulates RP using as a seed a string from such a source. Under the Generalized Paley Graph conjecture, we g...

Suppose that, over a fixed time interval of interest, an insurance portfolio generates a random number of independent and identically distributed claims. Under the LCR treaty the reinsurance covers the first l largest claims, while under the ECOMOR treaty it covers the first l − 1 largest claims in excess of the lth largest one. Assuming that the claim sizes follow an exponential distribution o...

In this research project the performance of two well-known scheduling policies for Real Time Systems based on fixed priority, namely Enhanced (m,k)-firm Guarantee and Weakly hard scheduling, will be compared in terms of the overall schedulibility of a number of randomly generated task sets . Both methods are based on the common assumptions. A new scheduling alogrithm will then be derived by com...

The owner-computes strategy has been used for evaluation of Fortran-90 array expressions on distributed memory machines. This strategy simpliies code generation but is often expensive in terms of the total communication cost and size of temporary memory required for its implementation. In this paper, we propose the relaxing of the owner computes strategy, to reduce the total communication and t...

MITRE’S Evolvable Real-Time C3 (command, control, and communications) project attempts to develop an approach that would enable current real-time systems to evolve into the systems of the future. The project has chosen AWACS (Airborne Warning and Control System) as an example to test out the concepts and architectures to be developed. In this paper, we describe an object-oriented implementation...

Electricity demand is forecasted to double in 2035, and it is vital to address the economicsof electrical energy generation for planning purposes. This study aims to examine the applicability ofGravitational Search Algorithm (GSA) and the newly improved GSA (IGSA) for optimization of themixed-integer non-linear electricity generation expansion planning (GEP) problem. The performanceindex of GEP...

We consider the problem of optimal state estimation for a wide class of nonlinear time series models. A modified sigma point filter is proposed, which uses a new procedure for generating sigma points. Unlike the existing sigma point generation methodologies in engineering where negative probability weights may occur, we develop an algorithm capable of generating sample points that always form a...

binaloud mountains formed during collision of iran and turan plate in the late triassic time and caused shortening of the sedimentary cover because of cimmerian and alpine orogeny. the thrust sheets with different generations formed as a results of the binalood and alborz fold- thrust belts. northeast of iran that was already south coast of the divergent margin of the paleothetys ocean at this ...

In the present study, an analytical investigation on the entropy generation examination for viscoelastic fluid flow involving inclined magnetic field and non-linear thermal radiation aspects with the heat source and sink over a stretching sheet has been done. The boundary layer governing partial differential equations were converted in terms of appropriate similarity transformations to non-line...