• Journal of Educational Research in Mathematics
• /
• v.26 no.4
• /
• pp.791-818
• /
• 2016

This case study is performed to check the validity of cognitive behavioral therapy for high school students with mathematics anxiety. In order to find out whether it is effective or not, one female high school student who suffers physically and mentally from mathematics anxiety was selected and cognitive behavioral therapy was applied. The therapy is applied to her for 30 to 40 minutes, once a week, and for eight weeks. The main themes were: To understand my problem, To write down thinking log, To set up a plan for actions, To experiment actions, To change intermediate confidence, To change core belief. To check the validity, before and after the experiment, revised version of Heo(1996)'s assessment tools for mathematics anxiety was applied. The subject was interviewed and the results of the therapy were compared and analyzed. According to the research, the worst mathematics anxiety of the subject was test anxiety. After the procedure, the anxiety related to mathematics and teachers was lessened. Especially, the subject had changed her mind and become more positive and optimistic on solving difficult mathematics problems. Therefore, the effectiveness of cognitive behavioral therapy on mathematics anxiety was confirmed. It is required to construct special program - about cognitive behavioral therapy, interactions of cognitive-affective causes, and group therapy - and check the validity of it.

• Journal of Intelligence and Information Systems
• /
• v.17 no.4
• /
• pp.37-58
• /
• 2011

In general, testing DB applications is much more difficult than testing other types of software. The fact that the DB states as much as the input data influence and determine the procedures and results of program testing is one of the decisive reasons for the difficulties. In order to create and maintain proper DB states for testing, it not only takes a lot of time and efforts, but also requires extensive IT expertise and business knowledge. Despite the difficulties, there are not enough research and tools for the needed help. This article reports the result of research on automatic creation and maintenance of DB states for testing DB applications. As its core, this investigation develops an automation tool which collects relevant information from a variety of sources such as log, schema, tables and messages, combines collected information intelligently, and creates pre- and post-Images of database tables proper for application tests. The proposed procedures and tool are expected to be greatly helpful for overcoming inefficiencies and difficulties in not just unit and integration tests but including regression tests. Practically, the tool and procedures proposed in this research allows developers to improve their productivity by reducing time and effort required for creating and maintaining appropriate DB sates, and enhances the quality of DB applications since they are conducive to a wider variety of test cases and support regression tests. Academically, this research deepens our understanding and introduces new approach to testing enterprise systems by analyzing patterns of SQL usages and defining a grammar to express and process the patterns.

• Geophysics and Geophysical Exploration
• /
• v.17 no.1
• /
• pp.28-33
• /
• 2014

We investigate the spatial distribution of highly conductive layer using the one-dimensional inversions of the new magnetotelluric (MT) measurements obtained at the mid-mountain (400 ~ 900 m in elevation) western area of Jeju Island and the previous MT data over Jeju Island, Korea. The conductive layer indicates the sedimentary layer comprised of Seoguipo Fomation and U Formation. There is a definite positive correlation between the top of conductive layer and the earth surface in elevation. On the contrary, the bottom of conductive layer has a negative correlation with the surface elevation. In other words, the conductive layer has a shape of convex lens, which is thickest in the central part. The basement beneath the conductive layer could be concave in the central part of Jeju Island. A kriging considering the correlation between the layer boundary and the surface elevation provides a reliable geoelectric structure model of Jeju Island. However, further studies, i.e. three-dimensional modeling and interpretation integrated with other geophysical or logging data, are required to reveal the possible presence of three-dimensional conductive body near the subsurface vent of Mt. Halla and the causes of the bias in the depths of layer estimated from MT and core log data.

• Economic and Environmental Geology
• /
• v.40 no.1 s.182
• /
• pp.67-85
• /
• 2007

We have performed the CSAMT survey to examine the geoelectrical structure and groundwater distribution for two survey lines across the south-eastern region of Jeju Island. Three kinds of 1-D inversion techniques were employed taking account of the geological situation around the observation sites, and their inversion results were concurrently compared and analyzed to improve the reliability of interpretation. The resultant inverted resistivity structures reveals the three-layered structure, which is composed of the layers with a high-low-lower resistivity from the surface downward. Through the comparison of the inverted resistivity model and core log of deep borehole nearby observation sites, the lithology of each inverted layer was inferred. The first layer and second layer corresponded to the basaltic layer with a thickness of $100{\sim}250m$, and the third layer to the Seoguipo Formation and the U Formation; the thickness of the Seoguipo Formation could not be estimated due to the limitation of investigation depth and little resistivity difference between both Formations. Nevertheless, the Seoguipo Formation, which is strongly associated with the groundwater system in the south-eastern region of Jeju Island, showed the conspicuous spatial continuity from the middle mountain area to coastal area.

• 한국지구물리탐사학회:학술대회논문집
• /
• 2008.10a
• /
• pp.173-178
• /
• 2008

In this paper, we will introduce rock physics modeling technique, which interrelate reservoir properties with seismic properties, and apply the technique to the Donghae-1 gas reservoir. From well-log data analysis, we obtained velocityporosity (Vp-$\phi$) relations for each formation. These relations can used to predict porosity from seismic data. In addition, we analyzed permeability data, which were obtained from core measurements and computational rock physics simulations. We then obtained permeability-porosity ($\kappa-\phi$) relations. Combining $\kappa-\phi$ with Vp-$\phi$ relations, we finally present quantitative Vp-$\kappa$ relations. As to Vp-$\phi$ modeling, we found that the degree of diagenesis and clay contents increase with depth. As to Vp-$\kappa$ relations, though \kappa-\phi relations are almost identical for all formations, we could obtain distinct Vp-$\kappa$ relations due to Vp-$\phi$ variations. In conclusion, the rock physics modeling, which bridges between seismic properties and reservoir properties, can be a very robust tool for quantitative reservoir characterization with less uncertainty.

• Geophysics and Geophysical Exploration
• /
• v.10 no.4
• /
• pp.332-344
• /
• 2007

Various geophysical well logs have been made along the four deep wells in Pohang, Gyeongbuk. The primary focus of geophysical well loggings was to improve understanding the subsurface geologic structure, to evaluate in situ physical properties, and to estimate aquifer production zones using fluid temperature and conductivity gradient logs. Especially natural gamma logs interpreted with core logs of borehole BH-1 were useful to discriminate the lithology and to determine the lithologic sequences and boundaries consisting of semi-consolidated Tertiary sediments and intrusive rocks such as basic dyke and Cretaceous sediments. Cross-plot of physical properties inferred from geophysical well logs were used to identify rock types such as Cretaceous sandstone and mudstone, Tertiary sediments, rhyolite, and basic dyke. The temperature log indicated $82.51^{\circ}C$ at the depth of 1,981.3 meters in borehole BH-4. However, considering the temperature of borehole BH-2 measured under stable condition, we expect the temperature at the depth in borehole BH-4, if it is measured in stable condition, to be about 5 or $6^{\circ}C$ higher. Several permeable fractures also have been identified from temperature and conductivity gradient logs, and cutting logs.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.6
• /
• pp.1124-1131
• /
• 2006

The recent medical treatment guidelines and the development of information technology make hospitals reduce the expense in surrounding environment and it requires improving the quality of medical treatment of the hospital. Moreover, MIS, PACS(Picture Archiving and Communication System), OCS, EMR are also developing. Medical Information System is evolved toward integration of medical IT and situation is changing with increasing high speed in the ICT convergence. Mobile component refers to construct wireless system of hospital which has constructed in existing environment. Through RFID development in existing system, anyone can log on easily to internet whenever and wherever. It is the core technology to implement automatic medical processing system. This paper provides a basic review of RFID model, PACS application component services. In addition, designed and implemented database server's component program and client program of mobile application that recognized RFID tag and patient data in the ubiquitous environments. This system implemented mobile PACS that performed patient data based db environments, and so reduced delay time of requisition, medical treatment, lab.

• Journal of radiological science and technology
• /
• v.28 no.4
• /
• pp.317-325
• /
• 2005

The recent medical treatment guidelines and the development of information technology make hospitals reduce the expense in surrounding environment and it requires improving the quality of medical treatment of the hospital. That is, with the new guidelines and technology, hospital business escapes simple fee calculation and insurance claim center. Moreover, MIS(Medical Information System), PACS(Picture Archiving and Communications System), OCS(Order Communicating System), EMR(Electronic Medical Record), DSS(Decision Support System) are also developing. Medical Information System is evolved toward integration of medical IT and situation si changing with increasing high speed in the ICT convergence. These changes and development of ubiquitous environment require fundamental change of medical information system. Mobile medical information system refers to construct wireless system of hospital which has constructed in existing environment. Through RFID development in existing system, anyone can log on easily to Internet whenever and wherever. RFID is one of the technologies for Automatic Identification and Data Capture(AIDC). It is the core technology to implement Automatic processing system. This paper provides a comprehensive basic review of RFID model in Korea and suggests the evolution direction for further advanced RFID application services. In addition, designed and implemented DB server's agent program and Client program of Mobile application that recognized RFID tag and patient data in the ubiquitous environments. This system implemented medical information system that performed patient data based EMR, HIS, PACS DB environments, and so reduced delay time of requisition, medical treatment, lab.

• Geophysics and Geophysical Exploration
• /
• v.9 no.1
• /
• pp.19-29
• /
• 2006

The first Japanese pilot-scale $CO_2$ sequestration project has been undertaken in an onshore saline aquifer, near Nagaoka in Niigata prefecture, and time-lapse well logs were carried out in observation wells to detect the arrival of injected $CO_2$ and to evaluate $CO_2$ saturation in the reservoir. $CO_2$ was injected into a thin permeable zone at the depth of 1110m at a rate of 20-40 tonnes per day. The total amount of injected $CO_2$ was 10400 tonnes, during the injection period from July 2003 to January 2005. The pilot-scale demonstration allowed an improved understanding of the $CO_2$ movement in a porous sandstone reservoir, by conducting time-lapse geophysical well logs at three observation wells. Comparison between neutron well logging before and after the insertion of fibreglass casing in observation well OB-2 showed good agreement within the target formation, and the higher concentration of shale volume in the reservoir results in a bigger difference between the two well logging results. $CO_2$ breakthrough was identified by induction, sonic, and neutron logs. By sonic logging, we confirmed P-wave velocity reduction that agreed fairly well with a laboratory measurement on drilled core samples from the Nagaoka site. We successfully matched the history changes of sonic P-wave velocity and estimated $CO_2$ saturation a(ter breakthrough in two observation wells out of three. The sonic-velocity history matching result suggested that the sweep efficiency was about 40%. Small effects of $CO_2$ saturation on resistivity resulted in small changes in induction logs when the reservoir was partially saturated. We also found that $CO_2$ saturation in the $CO_2$-bearing zone responded to suspension of $CO_2$ injection.

• Journal of Food Hygiene and Safety
• /
• v.17 no.1
• /
• pp.36-44
• /
• 2002

GC-l00X is non-corrosive alkaline ionic water (pH 12). It is composed of hydroxyl radicals and supplemented with xylitol. Its antimicrobial activity was examined against 6 major food-borne pathogens; Staphylococcus aureus FRI 913, Salmonella enterica serova Enteritidis ATCC 13076, S. enterica serova Typhimurium Korean isolate, Vibrio parahaemolyticus ATCC 17803, Escherichia coli O157:H7 ATCC 43894 and Pseudomonas aeruginosa KCTC 1637 at three different temperatures (4$^{\circ}C$, $25^{\circ}C$ and 36$^{\circ}C$) with or without an organic material (2% yeast extract), respectively. The antimicrobial activities showed over 4 log-reductions (1.0$\times$10$^4$CFU/ml reduction) against all pathogens reacted at 37$^{\circ}C$ for 3 hours in the absence of the organic material. The activities showed same results when GC-l00X was diluted with same volume of distilled water or standard hard water (CaCO$_3$300 ppm). Its antimicrobial activity was more effective and quicker in Gram-negative bacteria than Gram-positive bacteria. Its washing efficacy against E. coli O157:H7 exposed to the surfaces of tomatoes (grapes) was compared with that of the other sanitizers such as other kitchen synthetic detergent and 100-ppm chlorine water. For the toxicological evaluation of the sanitizers, viable counts of E. coli O157:H7 penetrated into the core of tomatoes after washing products were also compared. The result revealed that GC-100X stock solution and its 5% diluted solution had similar washing effects to 100-ppm chlorine water and more effective than the other kitchen synthetic detergent. This result indicated that GC- l00X had antimicrobial activity and no toxicological side effects, therefore, could be useful for a new sanitizer to use in flood safety and kitchen hygiene.