he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...

Dynamics of stationary axisymmetric configuration of the viscous accreting fluids surrounding a non-rotating compact object in final stages of accretion flow is presented here. For the special case of thin disk approximation, the relativistic fluid equations ignoring self-gravity of the disk are derived in Schwarzschild geometry. For two different state equations, two sets of self-consistent an...

A condition based preventive and corrective maintenance policy is proposed for a continuously operating system. The condition of the system is assumed to deteriorate with time. The model incorporates both deterioration as well as random common cause failures. The deterioration stages are modeled as discrete state processes. The system is put to random inspection to know the condition. The mean ...

This paper is an analytical literature review on the dilemma of error-tolerance (ET) in IC manufacturing industry. The ET has a vast definition in research but, we mainly fuscous on the result acceptability of the the chips that generate erroneous outputs to increase the yield. The source of these errors is fabrication process (process variation or defects). The idea lies behind this question, ...

For every list of integers x1, . . . , xm there is some j such that x1+ · · ·+xj −xj+1−· · ·−xm ≈ 0. So the list can be nearly balanced and for this we only need one alternation between addition and subtraction. But what if the xi are k-dimensional integer vectors? Using results from topological degree theory we show that balancing is still possible, now with k alternations. This result is usef...

There’s nothing quite like a day at the races . . . . The quickening of the pulse as the starter’s pistol sounds, the thrill when your favorite contestant speeds out into the lead (or the distress if another contestant dashes out ahead of yours), and the accompanying fear (or hope) that the leader might change. And what if the race is a marathon? Maybe one of the contestants will be far stronge...

Monitoring a computer network's security state is a di cult task as network components rarely share their information. The IF-MAP speci cation de nes a client/server-based protocol that enables network components to share security information among each other, which is represented in a graph structure. Visualization of this data is challenging due to the highly dynamic topology and the mapping ...

The probable lack of some arcs and nodes in the stochastic networks is considered in this paper, and its effect is shown as the arrival probability from a given source node to a given sink node. A discrete time Markov chain with an absorbing state is established in a directed acyclic network. Then, the probability of transition from the initial state to the absorbing state is computed. It is as...