• International Journal of Contents
• /
• 제5권4호
• /
• pp.88-93
• /
• 2009

It is important for communication networks to possess the capability to overcome failures and provide survivable services. We address modeling and analysis of performability affected by both performance and availability of system components for a token ring network under failure and repair conditions. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, hierarchical SRN modeling techniques are used to overcome state largeness problem. The upper level model is used to compute availability and the lower level model captures the performance. And Normalized Throughput Loss (NTL) is obtained for the composite ring network for each node failures occurrence as a performability measure. One of the key contributions of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performability analysis for a token ring network under SRN reward concepts.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1263-1266
• /
• 1997

In a fault-tolerant modern manufacturing systms characterized by the configuration, in which automated redundant machines prone to unexpected failures are interconnected with other complex subsystems such as AGV's, robots, computer control systems to produce complete parts, faulures together with repairs and reconfigurations should be considered as the three basic events to be modeled for computing the performance of manufacturing systems. In this papre, transient analysis is applied to modular cell manufacturing systems form a performability viewpoint whose modeling adantage is that various performanc e measures can be evaluated compositely in the context of application. The hypothertical modular cells are modeled firstly with hybrid decomposition method and availability measures as special cases of performability are computed and comments on performabililty modeling analysis are mentioned.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권8호
• /
• pp.3602-3620
• /
• 2016

Dynamic topology is one of the main influence factors on network performability. However, it was always ignored by the traditional network performability assessment methods when analyzing large-scale mobile ad hoc networks (MANETs) because of the state explosion problem. In this paper, we address this problem from the perspective of complex network. A two-layer hierarchical modeling approach is proposed for MANETs performability assessment, which can take both the dynamic topology and multi-state nodes into consideration. The lower level is described by Markov reward chains (MRC) to capture the multiple states of the nodes. The upper level is modeled as a small-world network to capture the characteristic path length based on different mobility and propagation models. The hierarchical model can promote the MRC of nodes into a state matrix of the whole network, which can avoid the state explosion in large-scale networks assessment from the perspective of complex network. Through the contrast experiments with OPNET simulation based on specific cases, the method proposed in this paper shows satisfactory performance on accuracy and efficiency.

• 제어로봇시스템학회논문지
• /
• 제5권5호
• /
• pp.614-621
• /
• 1999

In this paper, the analytical appproaches are presented for jointly determining the profit-miximizing configuration of the fault-tolerance real time modular cell manufacturing system. The transient(time-dependent) analysis of Markovian models is firstly applied to modular cell manufacturing system from a performability viewpoint whose modeling advantage lies in its ability to express the performance that truly matters - the user's perception of it - as well as various performance measures compositely in the context of application. The modular cells are modeled with hybrid decomposition method and then availability measures such as instantaneous availability, interval availability, expected cumulative operational time are evaluated as special cases of performability. In addition to this evaluation, sensitivity analysis of the entire manufacturing system as well as each machining cell is performed, from which the time of a major repair policy and the optimal configuration among the alternative configurations of the system can be determined. Secondly, the recovery policies from the machine failures by computing the minimal number of redundant machines and also from the task failures by computing the minimum number of tasks equipped with detection schemes of task failure and reworked upon failure detection, to meet the timing requirements are optimized. Some numerical examples are presented to demonstrate the effectiveness of the work.

• International Journal of Contents
• /
• 제4권3호
• /
• pp.20-28
• /
• 2008

To obtain realistic performance measures for wireless networks, one should consider changes in performance due to failure related behavior. In performability analysis, simultaneous consideration is given to both pure performance and performance with failure measures. SRN is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, a new methodology to model and analyze performability based on stochastic reward nets (SRN) is presented. Composite performance and availability SRN models for wireless handoff schemes are developed and then these models are decomposed hierarchically. The SRN models can yield measures of interest such as blocking and dropping probabilities. These measures are expressed in terms of the expected values of reward rate functions for SRNs. Numerical results show the accuracy of the hierarchical model. The key contribution of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performance analysis for channel allocation under SRN reward concepts.

• Computers and Concrete
• /
• 제18권1호
• /
• pp.69-97
• /
• 2016

Performance-based remaining life assessment of reinforced concrete bridge girders, subject to chloride-induced corrosion of reinforcement, is addressed in this paper. Towards this, a methodology that takes into consideration the human judgmental aspects in expert decision making regarding condition state assessment is proposed. The condition of the bridge girder is specified by the assignment of a condition state from a set of predefined condition states, considering both serviceability- and ultimate- limit states, and, the performance of the bridge girder is described using performability measure. A non-homogeneous Markov chain is used for modelling the stochastic evolution of condition state of the bridge girder with time. The thinking process of the expert in condition state assessment is modelled within a probabilistic framework using Brunswikian theory and probabilistic mental models. The remaining life is determined as the time over which the performance of the girder is above the required performance level. The usefulness of the methodology is illustrated through the remaining life assessment of a reinforced concrete T-beam bridge girder.

• Computers and Concrete
• /
• 제20권3호
• /
• pp.297-310
• /
• 2017

A CFD software was used to simulate free surface flow of SCC in the T-Box test. In total, seven simulations were developed to study the effect of rheological parameters on the non-restricted flow performance of SCC in both horizontal and vertical directions. Different suspending fluids having five plastic viscosity values between 10 and 50 Pa.s, three yield stress values between 14 and 75 Pa, one density of $2500kg/m^3$, and one shear elasticity modulus of 100 Pa were considered for suspension of 178 spherical particles of 20-mm diameter and $2500kg/m^3$ density. The results of the simulations are found to correlate well to changes in rheological parameters of the suspending fluid. Plastic viscosity was shown to be the most dominant parameter affecting flowability and dynamic stability compared to the yield stress. A new approach was proposed to evaluate performability of SCC based on a trade-off between flowability and dynamic stability.

• 품질경영학회지
• /
• 제30권1호
• /
• pp.162-171
• /
• 2002

A practical algorithm of generating most probable states in decreasing order of probability, given the probability of each unit\`s state, is suggested for approximating reliability(performability) evaluation of a network with multistate(multimode) units. Method of approximating network reliability for a given measure with most probable states is illustrated with a numerical example. The proposed method in this paper is compared with the previous method regarding memory requirement. Our method has some advantages for computation and achieves improvement with regard to memory requirement for a certain condition judging from the computation experiment.

• International Journal of Reliability and Applications
• /
• 제2권1호
• /
• pp.73-80
• /
• 2001

A network, where links have different capacities, is considered to be in functioning state if a specified amount of flow can be transmitted through the network. In this paper, we consider the measures of importance of a link in such networks. We define the structural importance and reliability importance of a link when the required amount of flow is given. We also present the performability importance, which can be used to determine which links should be improved first in order to make the greatest improvement in the expected maximum flow of network. Numerical examples are presented as well for illustrative purpose.

• Nuclear Engineering and Technology
• /
• 제51권5호
• /
• pp.1289-1296
• /
• 2019

Non-functional requirements plays a critical role in designing variety of applications domain ranges from safety-critical systems to simple gaming applications. Performance is one of the crucial non-functional requirement, especially in control and safety systems, that validates the design. System risk can be quantified as a product of probability of system failure and severity of its impact. In this paper, we devise a technique to do the performance analysis of safety critical and control systems and to estimate performance based risk factor. The technique elaborates Petri nets to estimate performability to ensure system dependability requirements. We illustrate the technique on a case study of Nuclear Power Plant system. The technique has been validated on 17 safety critical and control systems of Nuclear Power Plant.