• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.189-192
• /
• 2005

In this paper, we present a Petri Net (PN) model for reliability analysis of a shared database system. The system consists of components; a database, two processors, two memory and a bus. The database should be operational and at least one of the component should be also operational. Otherwise system will be down. Each component can be failed and repaired individually. Stochastic Reward Net (SRN) Model for reliability analysis is developed. SRN is potential to define various reward function and can be easily used to obtain performance measures. The modeling techniques using variable cardinality, enabling function, timed transition priority in SRN are shown.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.29 no.2D
• /
• pp.319-327
• /
• 2009

In order to estimate accurate position by GPS observations, it is prerequisite to define both of the correct function model and the realistic stochastic model. In the case that un-modeled outliers exist in observations, estimates become biased, and their standard deviations are unable to be used as a measure which represents their accuracy. Hence, such outliers should be appropriately removed from the observations before estimating final solutions, so that the accuracy can be maximized with the improvement of the reliability. For this purpose, this research deals with quality control and quality measure computation algorithms for GPS stand-alone positioning. After theoretical studies, all the algorithms have been implemented and tested with real observations. Results of the tests indicate that the reliability of the estimated position is improved by increasing redundancy as well as using good satellite geometry and more realistic stochastic model. Moreover, the adaptation of the quality control procedure enable to improve positioning reliability and accuracy by appropriately excluding outlier in observations.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.10 no.1
• /
• pp.21-36
• /
• 2018

The incidence of collision damage models on oil tanker and bulk carrier reliability is investigated considering the IACS deterministic model against GOALDS/IMO database statistics for collision events, substantiating the probabilistic model. Statistical properties of hull girder residual strength are determined by Monte Carlo simulation, based on random generation of damage dimensions and a modified form of incremental-iterative method, to account for neutral axis rotation and equilibrium of horizontal bending moment, due to cross-section asymmetry after collision events. Reliability analysis is performed, to investigate the incidence of collision penetration depth and height statistical properties on hull girder sagging/hogging failure probabilities. Besides, the incidence of corrosion on hull girder residual strength and reliability is also discussed, focussing on gross, hull girder net and local net scantlings, respectively. The ISSC double hull oil tanker and single side bulk carrier, assumed as test cases in the ISSC 2012 report, are taken as reference ships.

• Structural Engineering and Mechanics
• /
• v.7 no.2
• /
• pp.217-224
• /
• 1999

A semi-stochastic process model of reliability was established for hyperbolic cooling towers subjected to combined loadings of wind force, self-weight, temperature loading. Effect of the soil-structure interaction on reliability was evaluated. By involving the gust factor, an equivalent static scheme was employed to convert the dynamic model to static model. The TR combination rule was used to consider relations between load responses. An analysis example was made on the 90M cooling tower of Maoming, Guangdong of China. Numerical results show that the design not including interaction turns to be conservative.

• Structural Engineering and Mechanics
• /
• v.47 no.3
• /
• pp.307-329
• /
• 2013

The bending problem of Euler-Bernoulli discontinuous beams is dealt with, in which the discontinuities are due to the loads and eventually to essential constrains applied along the beam axis. In particular, the loads are modelled as random delta-correlated processes acting along the beam axis, while the ulterior eventual discontinuities are produced by the presence of external rollers applied along the beam axis. This kind of structural model can be considered in the static study of bridge beams. In the present work the exact expression of the response quantities are given in terms of means and variances, thanks to the use of the stochastic analysis rules and to the use of the generalized functions. The knowledge of the means and the variances of the internal forces implies the possibility of applying the reliability ${\beta}$-method for verifying the beam.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• Structural Engineering and Mechanics
• /
• v.54 no.2
• /
• pp.319-336
• /
• 2015

Life cycle performance of corrosion affected RC structures is an important and challenging issue for effective infrastructure management. The accurate condition assessment of corroded RC structures mainly depends on the effective evaluation of deterioration occurring in the structures. Structural performance deterioration caused by reinforcement corrosion is a complex phenomenon which is generally uncertain and non-decreasing. Therefore, a stochastic modelling such as the gamma process can be an effective tool to consider the temporal uncertainty associated with performance deterioration. This paper presents a time-dependent reliability analysis of corrosion affected RC structures associated bond strength degradation. Initially, an analytical model to evaluate cracking in the concrete cover and the associated loss of bond between the corroded steel and the surrounding cracked concrete is developed. The analytical results of cover surface cracking and bond strength deterioration are examined by experimental data available. Then the verified analytical results are used for the stochastic deterioration modelling, presented here as gamma process. The application of the proposed approach is illustrated with a numerical example. The results from the illustrative example show that the proposed approach is capable of assessing performance of the bond strength of concrete structures affected by reinforcement corrosion during their lifecycle.

• Geomechanics and Engineering
• /
• v.14 no.6
• /
• pp.589-600
• /
• 2018

For foundations in permafrost regions, the displacement characteristics are uncertain because of the randomness of temperature characteristics and mechanical parameters, which make the structural system have an unexpected deviation and unpredictability. It will affect the safety of design and construction. In this paper, we consider the randomness of temperature characteristics and mechanical parameters. A stochastic analysis model for the uncertain displacement characteristic of foundations is presented, and the stochastic coupling program is compiled by Matrix Laboratory (MATLAB) software. The stochastic displacement fields of an embankment in a permafrost region are obtained and analyzed by Neumann stochastic finite element method (NSFEM). The results provide a new way to predict the deformation characteristics of foundations in permafrost regions, and it shows that the stochastic temperature has a different influence on the stochastic lateral displacement and vertical displacement. Construction disturbance and climate warming lead to three different stages for the mean settlement of characteristic points. For the stochastic settlement characteristic, the standard deviation increases with time, which imply that the results of conventional deterministic analysis may be far from the true value. These results can improve our understanding of the stochastic deformation fields of embankments and provide a theoretical basis for engineering reliability analysis and design in permafrost regions.

• Journal of Korean Society on Water Environment
• /
• v.27 no.5
• /
• pp.634-645
• /
• 2011

A newly developed rainwater harvesting (RWH) system reliability model is evaluated for roof area of buildings in Haeundae District of Busan. RWH system is used to supply water for toilet flushing, back garden irrigation, and air cooling. This model is portable because it is based on a non-parametric precipitation generation algorithm using a markov chain. Precipitation occurrence is simulated using transition probabilities derived for each day of the year based on the historical probability of wet and dry day state changes. Precipitation amounts are selected from a matrix of historical values within a moving 30 day window that is centered on the target day. Then, the reliability of RWH system is determined for catchment area and tank volume ranges using synthetic precipitation data. As a result, the synthetic rainfall data well reproduced the characteristics of precipitation in Busan. Also the reliabilities of RWH system for each of demands were computed to high values. Furthermore, for study area using the RWH system, reduction efficiencies for rooftop runoff inputs to the sewer system and potable water demand are evaluated for 23%, 53%, respectively.

• Wind and Structures
• /
• v.15 no.3
• /
• pp.209-221
• /
• 2012

The flutter reliability analysis of long span bridges requires use of a software tool that predicts the uncertainty in a flutter response due to uncertainties in the model formulation and input parameters. Existing flutter analysis numerical codes are not capable of dealing with stochastic uncertainty in the analysis of long span bridges. The goal of the present work is to develop a software tool (FREASB) to enable designers to efficiently and accurately conduct flutter reliability analysis of long span bridges. The FREASB interfaces an open-source Matlab toolbox for structural reliability analysis (FERUM) with a typical deterministic flutter analysis code. The paper presents a brief introduction to the generalized first-order reliability method implemented in FREASB and key steps involved in coupling it with a typical deterministic flutter analysis code. A numerical example concerning flutter reliability analysis of a long span suspension bridge with a main span of 1385 m is presented to demonstrate the application and effectiveness of the methodology and the software.