• Computers and Concrete
• /
• v.26 no.2
• /
• pp.127-136
• /
• 2020

There is an inherent randomness for concrete microstructure even with the same manufacturing process. Meanwhile, the concrete material under the aqueous environment is usually not fully saturated by water. This study aimed to develop a stochastic micromechanical framework to investigate the probabilistic behavior of the unsaturated concrete from microscale level. The material is represented as a multiphase composite composed of the water, the pores and the intrinsic concrete (made up by the mortar, the coarse aggregates and their interfaces). The differential scheme based two-level micromechanical homogenization scheme is presented to quantitatively predict the concrete's effective properties. By modeling the volume fractions and properties of the constituents as stochastic, we extend the deterministic framework to stochastic to incorporate the material's inherent randomness. Monte Carlo simulations are adopted to reach the different order moments of the effective properties. A distribution-free method is employed to get the unbiased probability density function based on the maximum entropy principle. Numerical examples including limited experimental validations, comparisons with existing micromechanical models, commonly used probability density functions and the direct Monte Carlo simulations indicate that the proposed models provide an accurate and computationally efficient framework in characterizing the material's effective properties. Finally, the effects of the saturation degrees and the pore shapes on the concrete macroscopic probabilistic behaviors are investigated based on our proposed stochastic micromechanical framework.

• Tunnel and Underground Space
• /
• v.11 no.2
• /
• pp.156-166
• /
• 2001

A stochastic continuum(SC) modeling technique was developed to simulate the groundwater flow pathway in fractured rocks. This model was developed to overcome the disadvantageous points of discrete fracture network(DFN) modes which has the limitation of fracture numbers. Besides, SC model is able to perform probabilistic analysis and to simulate the conductive groundwater pathway as discrete fracture network model. The SC model was formulated based on the discrete fracture network(DFN) model. The spatial distribution of permeability in the stochastic continuum model was defined by the probability distribution and variogram functions defined from the permeabilities of subdivided smaller blocks of the DFN model. The analysis of groundwater travel time was performed to show the consistency between DFN and SC models by the numerical experiment. It was found that the stochastic continuum modes was an appropriate way to provide the probability density distribution of groundwater velocity which is required for the probabilistic safety assessment of a radioactive waste disposal facility.

• The Korean Journal of Applied Statistics
• /
• v.26 no.3
• /
• pp.413-420
• /
• 2013

Stochastic weather generator is a commonly used tool to simulate daily weather time series. Recently, a generalized linear model(GLM) has been proposed as a convenient approach to tting these weather generators. In the present paper, a stochastic weather generator is considered to model the time series of daily temperatures for Seoul South Korea. As a covariate, precipitation occurrence is introduced to a relate short-term predictor to short-term predictands. One of the limitations of stochastic weather generators is a marked tendency to underestimate the observed interannual variance of monthly, seasonal, or annual total precipitation. To reduce this phenomenon, we incorporate a time series of seasonal mean temperatures in the GLM weather generator as a covariate.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1992.07a
• /
• pp.411-418
• /
• 1992

The purpose of this study is to develop dynamic-stochastic models that can forecast the inflow into reservoir during low/drought periods and flood periods. For the formulation of the models, the discrete transfer function is utilized to construct the deterministic characteristics, and the ARIMA model is utilized to construct the stochastic characteristics of residuals. The stochastic variations and structures of time series on hydrological data are examined by employing the auto/cross covariance function and auto/cross correlation function. Also, general modeling processes and forecasting method are used the model building methods of Box and Jenkins. For the verifications and applications of the developed models, the Chungju multi-purpose reservoir which is located in the South Han river systems is selected. Input data required are the current and past reservoir inflow and Yungchun water levels. In order to transform the water level at Yungchon into streamflows, the water level-streamflows rating curves at low/drought periods and flood periods are estimated. The models are calibrated with the flood periods of 1988 and 1989 and hourly data for 1990 flood are analyzed. Also, for the low/drought periods, daily data of 1988 and 1989 are calibrated, and daily data for 1989 are analyzed.

• Journal of the Institute of Convergence Signal Processing
• /
• v.12 no.3
• /
• pp.212-216
• /
• 2011

Fault detection technique for photovoltaic power systems is significant to dramatically reduce economic damage in industrial fields. This paper presents a novel fault detection approach using Fourier neural networks and stochastic decision making strategy for photovoltaic systems. We achieve neural modeling to represent its nonlinear dynamic behaviors through a gradient descent based learning algorithm. Next, a general likelihood ratio test (GLRT) is derived for constructing a decision malling mechanism in stochastic fault detection. A testbed of photovoltaic power systems is established to conduct real-time experiments in which the DC power line communication (DPLC) technique is employed to transfer data sets measured from the photovoltaic panels to PC systems. We demonstrate our proposed fault detection methodology is reliable and practicable over this real-time experiment.

• The Journal of the Korea Contents Association
• /
• v.8 no.1
• /
• pp.169-176
• /
• 2008

In this paper, we develop radio resource management queueing model in IEEE 802.IS networks considering both connection and packet level. In the upper level connection, we model connection admission control depending on availability of bandwidth and priority queue in each service class. In the lower level packet, we model dynamic bandwidth allocation considering threshold and availability of bandwidth in each service class simultaneously. Hierarchical model is built using an extended Petri Nets, SRN (Stochastic Reward Nets). Bandwidth utilization and normal throughput as performance index for all service classes of traffic are calculated and numerical results are obtained.

• The Journal of the Korea Contents Association
• /
• v.3 no.4
• /
• pp.55-62
• /
• 2003

In this paper, a call admission contro(cac) technique is proposed to reduce the dropping probabilities of handoff calls in wireless networks while guaranteeing QoS to the users. The proposed technique is based on the estimated effective load for the target eel if a call is accepted. When the estimated effective load is higher than a predetermined threshold, a nu call is blocked and a handoff call is queued irrespective of the availability channels. The SRN, an extended Stochastic Petri Net, modes are constructed to compare the performance of the techniques. The SRN uses rewards concepts instead of the complicate numerical analysis required for the Markov chain modes. As a result, the SRN modeling techniques provide an easier way to carry out performance analysis for call admission control and channel allocation.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.25 no.4
• /
• pp.319-325
• /
• 2007

In case of more than 50km baseline length, the correlation between receivers is reduced. Therefore, there are still some rooms for improvement of its positional accuracy. In this paper, the stochastic modeling of the ionospheric delay is applied and its effects are analyzed. The data processing has been performed by constructing a Kalman filter with states of positions, ambiguities, and the ionospheric delays in the double differenced mode. Considering the medium or long baseline length, both double differenced GPS phase and code observations are used as observables and LAMBDA has been applied to fix the ambiguities. The ionospheric delay is stochastically modeled by well-known 1st order Gauss-Markov process. And the correlation time and variation of 1st order Gauss-Markov process are calculated. This paper gives analyzed results of developed algorithm compared with commercial software and Bernese.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.12
• /
• pp.43-48
• /
• 2018

In this paper, more efficient classification result could be obtained by applying the combination of the Hidden Markov Model and SVM Model to HMSV algorithm gene expression data which simulated the stochastic flow of gene data and clustering it. In this paper, we verified the HMSV algorithm that combines independently learned algorithms. To prove that this paper is superior to other papers, we tested the sensitivity and specificity of the most commonly used classification criteria. As a result, the K-means is 71% and the SOM is 68%. The proposed HMSV algorithm is 85%. These results are stable and high. It can be seen that this is better classified than using a general classification algorithm. The algorithm proposed in this paper is a stochastic modeling of the generation process of the characteristics included in the signal, and a good recognition rate can be obtained with a small amount of calculation, so it will be useful to study the relationship with diseases by showing fast and effective performance improvement with an algorithm that clusters nodes by simulating the stochastic flow of Gene Data through data mining of BigData.

• 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.