• 한국가스학회:학술대회논문집
• /
• 1998.09a
• /
• pp.233-240
• /
• 1998

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.09b
• /
• pp.976-977
• /
• 2005

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.30 no.6_1
• /
• pp.575-581
• /
• 2012

In general, various modeling and estimation techniques have been proposed to extract the tropospheric and ionospheric delays from the GPS CORS. In this study, Kalman filter approach is adopted to estimate the tropospheric and ionospheric delays and the proper modeling for the state vector and the variance-covariance matrix for the process noises are performed. The coordinates of reference stations and the zenith wet delays are estimated with the assumption of random walk stochastic process. Also, the first-order Gauss-Markov stochastic process is applied to compute the ionospheric effects. For the evaluation of the proposed modeling technique, Kalman filter algorithm is implemented and the numerical test is performed with the CORS data. The results show that the atmospheric effects can be estimated successfully and, as a consequence, can be used for the generation of VRS data.

• Journal of Korean Institute of Industrial Engineers
• /
• v.29 no.2
• /
• pp.135-144
• /
• 2003

Traffic performance in a microcellular system is much more affected by cell dwell time and channel holding time in each cell. Cell dwell time of a call is characterized by its mobility pattern, i.e., stochastic changes of moving speed and direction. Cell dwell time provides important information for other analyses on traffic performance such as channel holding time, handover rate, and the average number of handovers per call. In the next generation mobile communication system, the cell size is expected to be much smaller than that of current one to accommodate the increase of user demand and to achieve high bandwidth utilization. As the cell size gets small, traffic performance is much more affected by variable mobility of users, especially by that of pedestrians. In previous work, analytical models are based on simple probability models. They provide sufficient accuracy in a simple second-generation cellular system. However, the role of them is becoming invalid in a picocellular environment where there are rapid change of network traffic conditions and highly random mobility of pedestrians. Unlike in previous work, we propose an improved probability model evolved from so-called Random walk model in order to mathematically formulate variable mobility of pedestrians and analyze the traffic performance. With our model, we can figure out variable characteristics of pedestrian mobility with stochastic correlation. The above-mentioned traffic performance measures are analyzed using our model.

• Structural Engineering and Mechanics
• /
• v.68 no.4
• /
• pp.423-442
• /
• 2018

In this paper, masonry infilled reinforced concrete (RC) frames are analyzed through a probabilistic approach. A macro-modeling technique, based on an equivalent diagonal pin-jointed strut, has been resorted to for modelling the stiffening contribution of the masonry panels. Since it is quite difficult to decide which mechanical characteristics to assume for the diagonal struts in such simplified model, the strut width is here considered as a random variable, whose stochastic characterization stems from a wide set of empirical expressions proposed in the literature. The stochastic analysis of the masonry infilled RC frame is conducted via the Probabilistic Transformation Method by employing a set of space transformation laws of random vectors to determine the probability density function (PDF) of the system response in a direct manner. The knowledge of the PDF of a set of response indicators, including displacements, bending moments, shear forces, interstory drifts, opens an interesting discussion about the influence of the uncertainty of the masonry infills and the resulting implications in a design process.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.10a
• /
• pp.355-358
• /
• 2007

In wireless mobile communication systems, priority of voice service through high speed data and multimedia transmission requires increased service diversification. Research is being carried out in this environment, on the call admission control techniques to guarantee the diversified service's QoS. SRN (Stochastic Reward Net) is an extended version of Petri nets, well know modeling and analysis tool. In this paper, we develop SRN call admission control model considering the 4 classes of services in the 4th generation IEE 802.16e mobile communication Technology.

• The Journal of Engineering Geology
• /
• v.5 no.2
• /
• pp.155-165
• /
• 1995

Fluid flow studies of fractured rocks require three-dimensional modeling of the fracture system. The stochastic discrete fracture models constructed by Monte Carlo simulation technique were applied to the analysis of groundwater flow and mass transport in fractured rock for the assessment of tightness criteria of underground LPG storage cavern. The parameters that most affect the conceptual discrete fracture modeling proved either fracture orientation or size and on the fract'lre flow interpretation proved conductive fracture intensity. The fracture transmissivity played important role in solute transport in fractured rock simulated by particle tracking approach. It was partly recognized that the calibrated stochastic discrete fracture model can be used for the tightness criteria of underground LPG storage cavern.

• Computers and Concrete
• /
• v.4 no.5
• /
• pp.347-362
• /
• 2007

Due to heterogeneities at all scales, concrete exhibits significant variability in mechanical behavior from sample to sample. An understanding of the fundamental mechanical performance of concrete must therefore be embedded in a stochastic framework. The current work attempts to address the connection between a two-dimensional concrete mesostructure and the random local material properties associated within that mesostructure. This work builds on previous work that has focused on the random configuration of concrete mesostructures. This was accomplished by developing an understanding of the effects of variations in the mortar strength and the mortar-aggregate interfacial strength in given deterministic mesostructural configurations. The results are assessed through direct tension tests that are validated by comparing experimental results of two different, pre-arranged mesostructures, with the intent of isolating the effect of local variations in strength. Agreement is shown both in mechanical property values as well as the qualitative nature of crack initiation and propagation.

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

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.8B
• /
• pp.691-698
• /
• 2003

Throughput response characteristics depending on the network bandwidth allocation need to be modeled to devise adaptive control mechanism to support QoS of the network. Thus, two models are proposed in this study. The first one is a dynamic system model and the other one is a stochastic model. The dynamic system model is developed to represent dynamic characteristics of the network and the stochastic model is developed to represent distribution of measured throughput data. An optimization technique is used for decision of proposed model's factor. The result confirms that the characteristics of proposed models are similar with actual network's characteristics.