• Geophysics and Geophysical Exploration
• /
• v.27 no.1
• /
• pp.1-22
• /
• 2024

Carbon dioxide capture utilization and storage (CCUS) techniques have received significant global attention as they are part of efforts to achieve carbon neutrality by 2050. Large-scale carbon dioxide capture and storage (CCS) projects are being actively pursued in North America, the North Sea, the Middle East, and Oceania. Considering the current situation in South Korea, identifying large-scale CCS sites that can secure an annual domestic carbon storage capacity of 30 million tons by 2050 is crucial Therefore, this study analyzed the formation process and geological characteristics of overseas large-scale CCS projects in terms of plate tectonics. We utilized the GPlates program to interpret the formation processes of large-scale CCS projects in North America, the North Sea, Middle East, and Oceania from the perspective of plate tectonics. Additionally, we investigated the geological structure of the CO₂ storage layer and interpreted seismic imaging results obtained from each CCS site. This study will help identify a domestic large-scale CCS site.

• The KIPS Transactions:PartA
• /
• v.16A no.1
• /
• pp.17-26
• /
• 2009

Large-scale wireless sensor network are expected to play an increasingly important role for the data collection in harmful area. However, the physical fragility of sensor node makes reliable routing in harmful area a challenging problem. Since several sensor nodes in harmful area could be damaged all at once, the network should have the availability to recover routing from node failures in large area. Many routing protocols take accounts of failure recovery of single node but it is very hard these protocols to recover routing from large scale failures. In this paper, we propose a routing protocol, which we refer to as LSFA, to recover network fast from failures in large area. LSFA detects the failure by counting the packet loss from parent node and in case of failure detection LSFAdecreases the routing interval to notify the failure to the neighbor nodes. Our experimental results indicate clearly that LSFA could recover large area failures fast with less packets than previous protocols.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.585-588
• /
• 1997

This paper presents a construction method of logic-based switching control system which operates in widely changing environments. The logic-based switching controller is composed of a family of candidate controllers together with a supervisor. The system does not require any identification schemes of environments. Switching from one candidate controller to another is carried out based on monitoring the output of the system. The basic ideas of adaptation are as follows: (1)each candidate controller is prepared for each environment in advance; (2)the supervisor applies a sequence of speculative controls to a plant with candidate controllers just after the control has started and just after the change of the environment has been detected. It is important that each candidate controller can keep the system stable during a sequence of speculative controls, and the most appropriate candidate controller for the environment to which the system is exposed can be selected before the last speculative control is ended. An application to an antiskid braking system clarifies the effectiveness of the proposed method.

• Journal of the Korean Geotechnical Society
• /
• v.18 no.4
• /
• pp.239-248
• /
• 2002

Bentonite slurries in a slurry wall construction must fulfill a stabilizing function by forming impermeable membrane (surface cake and penetrated cake) on the excavated soil faces. Thus problems are occurring in practice for the construction of diaphram walls and cut-off walls with a low permeability for wastes disposal areas in some deep excavations or different grounds. In this paper, the fundamental mechanics of fluid loss and filter cake formation in various soil beds are investigated using large scale laboratory apparatus. The sealing efficiency of filter cake from the large scale tests and the significance of fluid loss in a slurry trench are utilized for practical situation as a recommended design procedure.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.11
• /
• pp.2769-2792
• /
• 2013

In this paper, we propose an authenticated key agreement scheme, TinyIBAK, based on the identity-based cryptography and bilinear paring, for large scale sensor networks. We prove the security of our proposal in the random oracle model. According to the formal security validation using AVISPA, the proposed scheme is strongly secure against the passive and active attacks, such as replay, man-in-the middle and node compromise attacks, etc. We implemented our proposal for TinyOS-2.1, analyzed the memory occupation, and evaluated the time and energy performance on the MICAz motes using the Avrora toolkits. Moreover, we deployed our proposal within the TOSSIM simulation framework, and investigated the effect of node density on the performance of our scheme. Experimental results indicate that our proposal consumes an acceptable amount of resources, and is feasible for infrequent key distribution and rekeying in large scale sensor networks. Compared with other ID-based key agreement approaches, TinyIBAK is much more efficient or comparable in performance but provides rekeying. Compared with the traditional key pre-distribution schemes, TinyIBAK achieves significant improvements in terms of security strength, key connectivity, scalability, communication and storage overhead, and enables efficient secure rekeying.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.24 no.11
• /
• pp.1523-1534
• /
• 2000

The performance of a number of existing dynamic subgrid-scale(SGS) models is evaluated in large-eddy simulations(LES) of two prototype transitional and turbulent shear flows, a planar jet and a channel flow. The dynamic SGS models applied include the dynamic Smagorinsky model(DSM);Germano et al. 1991, Lully 1992), the dynamic tow-component model(DTM; Akhavan et al. 2000), the dynamic mixed model(DMM;Zang et al, 1993). and the dynamic two-parameter model(DTPM; Salvetti & Banerjee 1995). The results are compared with those for DNS for their evaluation. The LES results demonstrate the superior performance of DTM with use of a sharp cutoff filter and DMM with use of a box filter, as compared to their respect counterpart DSM, in predicting the mean statistics, spectra and large-scale structure of the flow, Such features of DTM and DMM derive from the construction of the models in which tow separate terms are included to represent the SGS interactions; a Smagorinsky edd-viscosity term to account for the non-local interactions, and a local-interaction term to account for the nonlinear dynamics between the resolved and subgrid scales in the vicinity of the LES cutoff. As well, overall the SGS models using a sharp cutoff filter are more successful than those using a box filter in capturing the statistics and structure of the flow. Finally, DTPM is found to be compatible or inferior to DMM.

• Language and Information
• /
• v.15 no.2
• /
• pp.23-45
• /
• 2011

This paper proposes a statistical-based linguistic methodology for automatic mapping between large-scale heterogeneous languages resources for NLP applications in general. As a particular case, it treats automatic mapping between two large-scale heterogeneous Korean language resources: Sejong Semantic Classes (SJSC) in the Sejong Electronic Dictionary (SJD) and nouns in KorLex. KorLex is a large-scale Korean WordNet, but it lacks syntactic information. SJD contains refined semantic-syntactic information, with semantic labels depending on SJSC, but the list of its entry words is much smaller than that of KorLex. The goal of our study is to build a rich language resource by integrating useful information within SJD into KorLex. In this paper, we use both linguistic and statistical methods for constructing an automatic mapping methodology. The linguistic aspect of the methodology focuses on the following three linguistic clues: monosemy/polysemy of word forms, instances (example words), and semantically related words. The statistical aspect of the methodology uses the three statistical formulae ${\chi}^2$, Mutual Information and Information Gain to obtain candidate synsets. Compared with the performance of manual mapping, the automatic mapping based on our proposed statistical linguistic methods shows good performance rates in terms of correctness, specifically giving recall 0.838, precision 0.718, and F1 0.774.

• KIISE Transactions on Computing Practices
• /
• v.23 no.7
• /
• pp.424-427
• /
• 2017

In an early stage, many people think that agile development methodology cannot be applied i large-scale IT projects. Nevertheless, agile development methodology has recently been introduced in variety of successful large-scale IT projects. In this paper, I compare two enterprise agile methodologies and introduce a case of Disciplined Agile Delivery (DAD) Framework, an enterprise agile development methodology. I compare and quantitatively measure the productivity of the development of two projects using Disciplined Agile Delivery framework and waterfall development methodology with a similar development scope.

• Journal of Power Electronics
• /
• v.18 no.5
• /
• pp.1489-1500
• /
• 2018

Partial shading analysis of large-scale photovoltaic (PV) arrays has recently become a theoretically and numerically challenging issue, and it is necessary for PV system designers. The main contributions of this study are the following: 1) A PSIM-based macro-model was employed because it is remarkably fast, has high precision, and has no convergence issues. 2) Three types of equivalent macro-models were developed for the transformation of a small PV sub-array with uniform irradiance to a new macro-model. 3) On the basis of the proposed new macro-model, a tearing method was established, which can divide a large-scale PV array into several small sub-arrays to significantly improve the efficiency improvement of a simulation. 4) Three platforms, namely, PSIM, PSpice, and MATLAB, were applied to evaluate the proposed tearing method. The proposed models and methods were validated, and the value of this research was highlighted using an actual large-scale PV array with 2420 PV modules. Numerical simulation demonstrated that the tearing method can remarkably improve the simulation efficiency by approximately thousands of times, and the method obtained a precision of nearly 6.5%. It can provide a useful tool to design the optimal configuration of a PV array with a given shading pattern as much as possible.

• Journal of computational fluids engineering
• /
• v.17 no.2
• /
• pp.93-99
• /
• 2012

The present study focuses on the case of developing flow with in a channel containing a long array of sinusoidal waves (2a/${\lambda}$=0.1, ${\lambda}$=h, ${\lambda}$ is the wavelength, 2a is the wave height, h is the mean channel depth) at the bottom wall. The Reynolds number defined with channel height, h and the mean velocity, U, is Re=6,700. The channel is sufficiently long such that transition is completed and the flow is fully developed over the downstream half of the channel. For the case of an incoming steady flow with no resolved turbulence, the instantaneous flow fields in the transition region are characterized by the formation of arrays of highly-organized large-scale hairpin vortices whose dimensions scale with that of the roughness elements. The paper explains the mechanism for the formation of these arrays of hairpin vortices and shows these eddies play the primary role in the formation of the large-scale streaks of high and low velocity over the wavy wall region. The presence of resolved turbulence in the incoming flow, reduces the streamwise distance needed for the streaks to develop over the wavy region, but does not affect qualitatively the transition process. In the fully-developed region, isolated and trains of large-scale hairpins play an important role in the dynamics of the streaks over the wavy wall.