• The Journal of Natural Sciences
• /
• v.8 no.2
• /
• pp.83-91
• /
• 1996

We first obtain the departure process of a D-BMAP/Geo/1/K queue. The departure process is then exactly characterized by a k-state MMBP in order to capture the burstiness and correlation of the departure process.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2003.04a
• /
• pp.301-308
• /
• 2003

As the results of this study, the proposed method of this study which is increased to accuracy of DEM by classification of terrain is better than accuracy of DEM which is automatically generated by digital photogrammetry workstation system(DPWS). And, the edge detection method which is proposed by this study is established to extraction of geo-spatial information in ortho image.

• Journal of the Korean earth science society
• /
• v.21 no.6
• /
• pp.719-733
• /
• 2000

Normally, a digital geologic map can be defined as mappable one whose spatial information with geographic information details and geologic database attribute, recorded in a digital format that is readable by computer. It shows fundamentally two different conceptual perspectives: cartography for digital mapping and analysis for geo-data processing. While, as both aspects basically relate to natural entities and their interpretation of complex features fused with multi-sources, digital geo-data mapping or geologic mapping, it should be distinguished from digital mapping in engineering such as UIS(Urban Infomation System) and AM/FM(Automated Mapping/Facilities Management). Furthermore, according to short-cycled development of GIS(Geographic Information System) software architecture based on IT(Information Technology) and wide expansion of GIS applications' fields, the importance of domain analysis and application model is emphasized at digital geologic informatizaion. In this paper, first terms and concepts of geo-data model with general data modeling aspects are addressed, and then case histories for geo-data modeling and several approaches for data modeling in GIS application fields are discussed. Lastly, tentative conceptual geo-data modeling by using UML(Unified Modeling Language) of OO(Object-oriented) concepts with respect to USGS/AASG geo-data mode is attempted. Through this approach, the main benefits for standardization and implementation lineage with conceptual model in consideration to reusability are expected. Conclusively, it is expected that geo-information system and its architecture by UML is the new coming key approach for the GIS application in geo-sciences.

• Journal of KIBIM
• /
• v.11 no.4
• /
• pp.20-30
• /
• 2021

In the era of the 4th industrial revolution, smart construction is actively researched, in the domestic construction field, and one of the key elements in this field is Building Information Modeling(BIM). In Korea, smart construction is being implemented through BIM-based digitization and intelligence. The geotechnical engineering field should also prepare for the introduction of BIM. In this study, the concept and application status of GeoBIM were identified, and the direction of future research was presented. This study is a part of the study "Establishment of GeoBIM-based Digital Twin Maintenance System" in the current "Technology Development for Establishment of Jeju Ground Collapse Response System for Safe Road Operation". The subject and scope of the study is continuous excavation at caves located under roads in Jeju Island, and initial research is being conducted on Jaeamcheon-gul and Jeonggusu-gul. This study aims to build a digital twin through individual data construction and integration processes such as cave shape modeling using laser scanners, 3D stratum modeling using borehole information and geophysical exploration data, and modeling of surrounding conditions using drones.

• Education of Primary School Mathematics
• /
• v.16 no.2
• /
• pp.123-145
• /
• 2013

This study was expected to yield the meaningful conclusions from the experimental group who took lessons based on inductive activities using GeoGebra at the beginning of proof learning and the comparison one who took traditional expository lessons based on deductive activities. The purpose of this study is to give some helpful suggestions for teaching proof to mathematically gifted elementary students. To attain the purpose, two research questions are established as follows. 1. Is there a significant difference in proof abilities between the experimental group who took inductive lessons using GeoGebra and comparison one who took traditional expository lessons? 2. Is there a significant difference in proof attitudes between the experimental group who took inductive lessons using GeoGebra and comparison one who took traditional expository lessons? To solve the above two research questions, they were divided into two groups, an experimental group of 10 students and a comparison group of 10 students, considering the results of gift and aptitude test, and the computer literacy among 20 elementary students that took lessons at some education institute for the gifted students located in K province after being selected in the mathematics. Special lesson based on the researcher's own lesson plan was treated to the experimental group while explanation-centered class based on the usual 8th grader's textbook was put into the comparison one. Four kinds of tests were used such as previous proof ability test, previous proof attitude test, subsequent proof ability test, and subsequent proof attitude test. One questionnaire survey was used only for experimental group. In the case of attitude toward proof test, the score of questions was calculated by 5-point Likert scale, and in the case of proof ability test was calculated by proper rating standard. The analysis of materials were performed with t-test using the SPSS V.18 statistical program. The following results have been drawn. First, experimental group who took proof lessons of inductive activities using GeoGebra as precedent activity before proving had better achievement in proof ability than the comparison group who took traditional proof lessons. Second, experimental group who took proof lessons of inductive activities using GeoGebra as precedent activity before proving had better achievement in the belief and attitude toward proof than the comparison group who took traditional proof lessons. Third, the survey about 'the effect of inductive activities using GeoGebra on the proof' shows that 100% of the students said that the activities were helpful for proof learning and that 60% of the reasons were 'because GeoGebra can help verify processes visually'. That means it gives positive effects on proof learning that students research constant character and make proposition by themselves justifying assumption and conclusion by changing figures through the function of estimation and drag in investigative software GeoGebra. In conclusion, this study may provide helpful suggestions in improving geometry education, through leading students to learn positive and active proof, connecting the learning processes such as induction based on activity using GeoGebra, simple deduction from induction(i.e. creating a proposition to distinguish between assumptions and conclusions), and formal deduction(i.e. proving).

• Journal of Soil and Groundwater Environment
• /
• v.28 no.3
• /
• pp.1-11
• /
• 2023

Permeable reactive barrier (PRB) is a prominent in-situ remedial option for cleanup of contaminated groundwater and has been gaining increasing popularity in recent years. Funnel-and-gate systems, comprised of two side wings of impermeable walls and a central gate wall, are frequently implemented in many sites, but often suffers from bypassing of groundwater due to the progressive clogging of the gate wall over extended period of time. This study investigated technical feasibility of a hybrid funnel-and-gate system designed to address the flow deterioration in the gate wall. The key attribute of the proposed hybrid system is the operation of drainage units at the barrier walls and rear end of the gate wall. A conceptual modeling with MODFLOW indicated the groundwater inside the barrier was maintained at appropriate level to be guided toward the gate wall, yielding constant discharging of groundwater from the gate.

• Journal of Astronomy and Space Sciences
• /
• v.36 no.3
• /
• pp.169-180
• /
• 2019

In this study, a batch least square estimator that utilizes optical observation data is developed and utilized to determine geostationary orbits (GEO). Through numerical simulations, the effects of error sources, such as clock errors, measurement noise, and the a priori state error, are analyzed. The actual optical tracking data of a GEO satellite, the Communication, Ocean and Meteorological Satellite (COMS), provided by the optical wide-field patrol network (OWL-Net) is used with the developed batch filter for orbit determination. The accuracy of the determined orbit is evaluated by comparison with two-line elements (TLE) and confirmed as proper for the continuous monitoring of GEO objects. Also, the measurement residuals are converged to several arcseconds, corresponding to the OWL-Net performance. Based on these analyses, it is verified that the independent operation of electro-optic space surveillance systems is possible, and the ephemerides of space objects can be obtained.

• Journal of the Korean GEO-environmental Society
• /
• v.17 no.9
• /
• pp.21-28
• /
• 2016

The purpose of this study is to compare the three areas that each estimated by using three different river topographic maps. For construction of river topographic maps, the data used in this study are ASTER, SRTM and a 1:5,000 scale digital map data sets in 14 streams of the Cheongdo-gun and Uiseong-gun. HEC-GeoRAS, RAS Mapper, and RiverCAD model are applied for the flooding area analysis using observed data and design rainfalls. The result of analysis is to compare observed flooding area based on the flood plain maps with estimated inundation area by hydraulic models and constructed river topographic maps. The results of this study are as follows; Flooding area by HEC-GeoRAS model is similar to the inundation area of flood plain map and appears in order of RAS Mapper, and RiverCAD model in all watersheds. Flood inundation area by SRTM DEM is similar to the result of 1:5,000 scale digital map in all watersheds and all analysis models. The SRTM DEM shows the most similarity to the digital map than ASTER DEM in all of the watershed scale and analysis models. HEC-GeoRAS and RiverCAD model are efficient models for flood inundation analysis in small watershed and HEC-GeoRAS and Ras Mapper model are efficient in medium to large watershed.

• Applied Microscopy
• /
• v.43 no.4
• /
• pp.155-163
• /
• 2013

Meta-kaolin (MK) and blast furnace slag (BS) were used as raw materials with NaOH and sodium silicate as alkali activators for making geo-polymers. The compressive strength with respect to the various pre-curing conditions was investigated. In order to improve the recycling rate of BS while still obtaining high compressive strength of the geo-polymers, it was necessary to provide additional CaO to the MK by adding BS. The specimens containing greater amounts of BS can be applied to fields that require high initial compressive strength. Alkali activator(s) are inevitably required to make geo-polymers useful. High temperature pre-curing plays an important role in improving compressive strength in geo-polymers at the early stage of curing. On the other hand, long-term curing produced little to no positive effects and may have even worsened the compressive strength of the geo-polymers because of micro-structural defects through volume expansion by high temperature pre-curing. Therefore, a pre-curing process at a medium range temperature of $50^{\circ}C$ is recommended because a continuous increase in compressive strength during the entire curing period as well as good compressive strength at the early stages can be obtained.

• Journal of the Korea Society of Computer and Information
• /
• v.29 no.6
• /
• pp.69-76
• /
• 2024

Recent advances in sensor and mobile technologies have made it possible to collect user location data. This location information is used as a valuable asset in various industries, resulting in increased demand for location data collection and sharing. However, because location data contains sensitive user information, indiscriminate collection can lead to privacy issues. Recently, geo-indistinguishability (Geo-I), a method of differential privacy, has been widely used to protect the privacy of location data. While Geo-I is powerful in effectively protecting users' locations, it poses a problem because the utility of the collected location data decreases due to data perturbation. Therefore, this paper proposes a method using Geo-I technology to effectively collect user location data while maintaining its data utility. The proposed method utilizes the prior distribution of users to improve the overall data utility, while protecting accurate location information. Experimental results using real data show that the proposed method significantly improves the usefulness of the collected data compared to existing methods.