• JSTS:Journal of Semiconductor Technology and Science
• /
• v.15 no.2
• /
• pp.223-231
• /
• 2015

As smartphones support a variety of applications and their memory demand keeps increasing, the design of an efficient memory management policy is becoming increasingly important. Meanwhile, as nonvolatile memory (NVM) technologies such as PCM and STT-MRAM have emerged as new memory media of smartphones, characterizing memory references for NVM-based smartphone memory systems is needed. For the deep understanding of memory access features in smartphones, this paper performs comprehensive analysis of memory references for various smartphone applications. We first analyze the temporal locality and frequency of memory reference behaviors to quantify the effects of the two properties with respect to the re-reference likelihood of pages. We also analyze the skewed popularity of memory references and model it as a Zipf-like distribution. We expect that the result of this study will be a good guidance to design an efficient memory management policy for future smartphones.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1426-1433
• /
• 2000

As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.04a
• /
• pp.163-167
• /
• 2003

Based on the transient finite difference solution of Richards' equation, an infiltration model is developed to analyze temporal variation of precipitation recharge in the region of monsoon climates. Simulation results obtained by using time series data of 20-year daily precipitation and pan evaporation indicate that a linear relationship between the annual precipitation and the annual recharge holds for the soils under the monsoon climates with varying degrees of the correlation coefficient depending on the soil types. A sensitivity analysis reveals that the water table depth has little effects on the recharge for the sandy soil, whereas, for the loamy and silty soils, rise of the water table at shallow depths causes increase of evaporation by approximately 100㎜/yr and a corresponding decrease in recharge. A series of simulations for two-layered soils illustrate that the amount of recharge is dominantly determined by the soil properties of the upper layer, although the temporal variation of recharge is affected by both layers.

• 한국가시화정보학회:학술대회논문집
• /
• 2004.12a
• /
• pp.33-40
• /
• 2004

A 4D-PTV system was constructed. The measurement system consists of three high-speed high-definition cameras(1k x 1k, 2000fps), Nd-Yag laser(2000Hz) and a host computer. The GA-3D-PTV algorithm was used for completing the measurement system. The 4D-PTV is capable of probing the spatial distribution of velocity vectors of the flow field overcoming the temporal resolution of the characteristic turbulence length scales of the measured flow fields. A horizontal impinged jet flow (H/D=7) was measured. The Reynolds number is about 33,000. Spatial temporal evolution of the jet flow was examined and physical properties such as spatial distributions of vorticity and turbulent kinetic energy were obtained with the constructed.

• Journal of the Korean Physical Society
• /
• v.73 no.11
• /
• pp.1650-1656
• /
• 2018

Photons generated via spontaneous parametric down-conversion (SPDC) have broad spectrums and suffer from dispersive broadening of the temporal wave packets when they are transmitted through dispersive media. In this paper we theoretically and experimentally study the detailed amount of the temporal broadening of the two-photon wave packets generated via both type-I and type-II SPDC with ${\beta}-BaB_2O_4$ of various lengths, by transmitting them through optical fibers. We interpret the results with respect to the spectral properties of the two-photon wave packets. We believe that our results will contribute to implementing protocols involving long-range distributions of photon pairs.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.8 no.3
• /
• pp.34-43
• /
• 2005

We will catch the spatio-temporal changes that analyse the unknown topography of Go-Gunsan Islands using Landsat TM satellite images into an unsupervised ISODATA classification and a supervised nearest likelihood classification. Each sedimental topography has the different characteristics according to building the Saemangeum embarkment. We will deal with the distribution of sedimental shapes using ERDAS Imagine 8. 6. The result that classifies specifically topographic properties of our research area be considered to get use of establishing the reclaiming program and predicating the reclaimed sedimental topography. The research area can be classified into tidal flats and sea level using band 4 among 7 bands of Landsat TM. Also band 5 can be used to classify the special unknown shapes of tidal flats. We will clarify the efficiency that spatio-temporal sedimental changes can be extracted through processing satellite images. Therefore, the spatio-temporal unknown topography change monitoring using satellite images is expected to be very useful to clarify whether the tidal flat is generated or not in the Go-Gunsan Islands at the outer side of the embarkment after constructing completely the Saemangeum tidal embarkment.

• The Journal of the Korea Contents Association
• /
• v.11 no.1
• /
• pp.16-25
• /
• 2011

Some context is characterized by a single event in computing environment, but many other contexts are determined by a lot of things which occur with a space and a time. The Realtime Embedded System context-awareness service that interacts with the physical space can have property such as time. The exceptional behaviors of the system that interact with physical space can result in critical damage and cause danger to the operation of an embedded system. we propose an approach which should include spatio-temporal property and exceptional management in the context model, and verify its effectiveness using an expanded Petri-Net. The context-awareness service modeling of an embedded system is discussed the properties of model such as basic Petri-Net, patterned Petri-Net, or Spatio-temporal Petri-Net for the exceptional behaviors of the system. The proposed methodology demonstrated using an example that is emergency medical service. The use of expanded Petri-Net will contribute not only to develop the application but also to model the spatio-temporal context awareness for the exceptional handling.

• KIPS Transactions on Computer and Communication Systems
• /
• v.7 no.6
• /
• pp.137-144
• /
• 2018

Vehicular Ad-hoc Networks (VANETS) have enabled to provide a variety of applications such as accident notification, content usage, etc. These applications have spatio-temporal data which have an interesting region and a lifetime according to their properties. However, geocasting protocols to deliver data to an interesting region can provide data to all vehicles in the region through a single transmission only at the current time, but cannot provide data to vehicles passing through the region during the lifetime of the data. Thus, we propose a spatio-temporal geocasting protocol called STGP using a regional caching scheme to send data to vehicles in an interesting region during a data lifetime in VANETs. For efficient and reliable regional caching, the proposed protocol uses the beacon-based data sharing, the extra caching elimination, and the distance-based caching exchange. Simulation results verify that the proposed protocol achieves more reliable and efficient data delivery compared with the existing protocol.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.158-158
• /
• 2022

Ecological drought consequences have received a lot of attention in recent years. Thus, ecological drought was proposed as a new drought category to characterize the impact of drought on ecosystems. The current study used a unique drought index, the standardized supply-demand water index (SSDI), and a run theory to detect ecological drought occurrences and characteristics such as drought-affected area, drought severity, drought duration, drought frequency, and drought orientation in the Hwang River, an environmentally valuable region. Hence, to assess drought-prone areas, the bivariate probability and return period will be calculated using a two-dimensional joint copula. The core results show that (a) the Spatio-temporal characteristics of ecological drought were successfully recognized using the spatial and temporal identification approach; (b) in comparison to the SPEI meteorological drought index, the SSDI is more credible and can more readily and effectively capture the entire properties of ecological drought information; (c) the Hwang river had seen the most severe drought occurrences between the late 1990s and the mid-2020s, with 48.3 percent occurring before the twenty-first century; (d) Severe ecological drought occurrences occurred more frequently in most areas of the Hwang River (e) Only the drought duration and severity in the Hwang area were more responsive to temperature when temperatures rise around 1.1℃, the average drought duration and severity rise around 16 % and 26 %, respectively. This suggested that the Hwang River has been exposed to more severe heat stress in the twenty-first century. Thereupon droughts in the twenty-first century occurred with bigger affected regions, longer durations, higher frequency, and more intensity.

• Ocean Science Journal
• /
• v.42 no.2
• /
• pp.103-116
• /
• 2007

Seasonal changes of tide signal(s), temperature, salinity and current were studied during the years 2004-2005 in the northernmost Gulf of Aqaba, which is under developmental activities, to obtain scientific bases for best management and sustainability. Spectrum analysis revealed permanent signals of tide measurements during all seasons, which represented semidiurnal and diurnal barotropic tides. The other signal periods of 8.13, 6.10-6.32, 4.16 and 1.02-1.05 h were not detected in all seasons, which were related to shallow water compound and overtides of principle solar and lunar constituent and to seiches generated in the Red Sea and the Gulf of Aqaba. Spatial and temporal distribution of temperature, salinity and density showed significant differences between months in the coastal and offshore region and no significant differences among the coastal sites, between the surface and bottom waters and between coastal and offshore waters. Therefore, the temporal and spatial variation of water properties in the northernmost Gulf of Aqaba behave similarly compared to other parts. The coastal current below 12 m depth was weak $(3-6\;cms^{-1})$ and fluctuated from east-northeastward to west-southwestward (parallel to the shoreline), which may be related to the effect of bottom topography and/or current density due to differential cooling between eastern and western parts in the study area, and wind-induced upwelling and downwelling in the eastern and western side, respectively. The prevailing northerly winds and stratification conditions during summer were the main causes of the southward current at 6 and 12 m depths with average speed of 28 and $12cms^{-1}$ respectively.