• Journal of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.743-766
• /
• 2010

We study the existence of weak solution for the stationary Nordstr$\ddot{o}$m-Vlasov equations in a bounded domain. The proof follows by fixed point method. The asymptotic behavior for large light speed is analyzed as well. We justify the convergence towards the stationary Vlasov-Poisson model for stellar dynamics.

• Journal of the Korean Statistical Society
• /
• v.28 no.2
• /
• pp.253-264
• /
• 1999

Conditinal weakly convergence of the blockwise bootstrapped empirical process for stationary sequences to the appropriate Gaussian process is reestablished particularly for severely dependent $\alpha$-mixing sequences. Issue of block size is discussed from the point of validity of bootstrap method.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.2
• /
• pp.308-326
• /
• 2013

Mobility Model has drawn more and more attentions since its critical role in Mobile Wireless Networks performance evaluation. This paper analyzes the mobility patterns in the catastrophe rescue scenario, and proposes the Random Waypoint with Base Point mobility model to model these characteristics. We mathematically analyze the speed and spatial stationary distributions of the nodes and derive explicit expressions for the one dimensional case. In order to keep the stationary distribution through the entire simulation procedure, we provide strategies to initialize the speed, location and destination of the nodes at the beginning of the simulation. The simulation results verify the derivations and the proposed methods in this paper. This work gives a deep understanding of the properties of the Random Waypoint with Base Point mobility model and such understanding is necessary to avoid misinterpretation of the simulation results. The conclusions are of practical value for performance analysis of mobile wireless networks, especially for the catastrophe rescue scenario.

• East Asian mathematical journal
• /
• v.16 no.2
• /
• pp.199-203
• /
• 2000

We give nine necessary and sufficient conditions for a metric space to be complete.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.22 no.10
• /
• pp.1003-1009
• /
• 2012

An instantaneous environmental noise simulation method emitted by a moving high-speed train by quasi-stationary analysis is proposed in this study. In the method, the propagation attenuations from stationary point sources on segmented railways to a receiver are calculated using a general purpose environmental noise prediction program ENPro based on the ISO 9613-2 method. Then, the instantaneous environmental noise at a receiver due to a moving high-speed train considering convection effect is evaluated with the information on the propagation attenuations from the instantaneous train location to the receiver and the sound power levels and directivity of stationary point sources evaluated by German Schall 03 (2006). To demonstrate the validity of proposed method, simulated and measured time history of instantaneous noise for KTX-I and KTX-II on running are compared and the results show that the method can be utilized for the train noise source identification as well as the simulation of instantaneous environmental noise emitted by a high-speed train.

• Journal of the Korean Regional Science Association
• /
• v.13 no.2
• /
• pp.45-54
• /
• 1997

A regional economy is characterized as a spatial economy. However the literature shows that it has been treated as a point economy since space is little recognized in regional modeling due to mathematical complication. This leads to the fact that regional model does not sufficiently represent regional characteristic. This paper attempts to construct a regional growth model in a partial equilibrium framework specifically taking into consideration land as a primary factor. The model is formulated largely neoclassical. Labor is assumed to move in response to differences in the wage rate, while capital is perfectly mobile across regions. The paper shows that two growth equilibrium points exist, one stable equilibrium point and the other unstable equilibrium point. The unstable growth equilibrium indicates the existence of minimum threshold that a region must overcome the minimum threshold to grow constantly. Consequently, directions of regional growth are characterized by two growth paths depending on the initial condition of a region. That is to say, a region below the minimum threshold is converging toward the lower stable equilibrium point over time. When a regional economy initially lies above the minimum threshold, it will grow forever. A regional economy is not thus necessarily converging a stationary is not thus necessarily converging a stationary equilibrium point through factor movement. Finally, the impacts of the presence of agglomeration economies and diseconomies are analyzed through the phase diagram. The paper also shows that agglomeration economies result in lowering the minimum threshold and in escalating the level of stable equilibrium However, when agglomeration diseconomies prevail, the results are opposite, i.e., rising the minimum threshold of growth and lowering the growth level of stable equilibrium.

• Earthquakes and Structures
• /
• v.4 no.5
• /
• pp.557-585
• /
• 2013

The recent huge earthquake ground motion records in Japan result in the reconsideration of seismic design forces for nuclear power stations from the view point of seismological research. In addition, the seismic design force should be defined also from the view point of structural engineering. In this paper it is shown that one of the occurrence mechanisms of such large acceleration in recent seismic records (recorded in or near massive structures and not free-field ground motions) is due to the interaction between a massive building and its surrounding soil which induces amplification of local mode in the surface soil. Furthermore on-site investigation after earthquakes in the nuclear power stations reveals some damages of soil around the building (cracks, settlement and sand boiling). The influence of plastic behavior of soil is investigated in the context of interaction between the structure and the surrounding soil. Moreover the amplification property of the surface soil is investigated from the seismic records of the Suruga-gulf earthquake in 2009 and the 2011 off the Pacific coast of Tohoku earthquake in 2011. Two methods are introduced for the analysis of the non-stationary process of ground motions. It is shown that the non-stationary Fourier spectra can detect the temporal change of frequency contents of ground motions and the displacement profile integrated from its acceleration profile is useful to evaluate the seismic behavior of the building and the surrounding soil.

• Journal of agriculture & life science
• /
• v.45 no.5
• /
• pp.115-126
• /
• 2011

This paper estimates the number of Korean cattle using time-series ARIMA model. This study classifies the structure of the number of cattle into six indexes to reflect the characteristics of cattle. This study apply ARIMA model to these six indexes according to Box-Jenkins procedure to identify, estimate and predict. The rates of slaughter for aged female and aged male cow is analyzed as non-stationary time series which has unit roots and other 4 indexes is analyzed as stationary time series. The differencing is applied to get rid of non-stationarity for the non-stationary time series. The results show that the number of cattle will be reduced from 2012 as a higher point and rebounded from 2018 as a lower point.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.201-213
• /
• 2003

In this paper we present a second order PVT (parallel variable transformation) algorithm converging to second order stationary points for minimizing smooth functions, based on the first order PVT algorithm due to Fukushima (1998). The corresponding stopping criterion, descent condition and descent step for the second order PVT algorithm are given.

• Journal of the Korean Institute of Navigation
• /
• v.7 no.2
• /
• pp.47-63
• /
• 1983

In this paper, we have investigated the tidal characteristics of the Nakdongpo estuary. We have carried out the analysis of harmonic constant with the use of the recorded data on tidal level at the Gadeong Do tide station and analyzed the flow velocity data obtained by ourselves at two points in the Nakdongpo estuary. In addition, we have analyzed the variation of the mean-sea level. Typical items of the characteristics we have found are; (1) The principal harmonic constants and non-harmonic constants are shown in table 2. (2) Tide in this area shows the semidiurnal inequality. (3) The mean-sea level is shown to be depressed at the rate of about 1cm to the rise of 1 mbar of the atmospheric pressure. (4) (i) At $K_2$ point, The E-W component of the velocty reveals the nature of progressive waves. The N-S component reveals the nature of stationary waves. (ii) At $K_3$ point, The E-W component shows the characteristics of progressive waves to some degree. The N-S component shows a weak hint of stationary waves. (5) At $K_2$ point, S-component is predominant due to the flow of river. At $K_3$ point, E-component is predominant due to the Tsushima current.