• Journal of Korean Home Economics Education Association
• /
• v.30 no.3
• /
• pp.151-173
• /
• 2018

The purposes of this study was to identify the magnitude and direction of the effects of Practical Reasoning Instruction (PRI) on students' achievements in Home Economics classes using the meta-analysis method and to examine whether the effects of PRI vary across publication status, study design, year of the studies, school level, gender of students, type of students' achievements, content area, location where the interventions of PRI were conducted, and duration. Thirty-four primary studies with 44 effect sizes were analyzed with calculation method of Becker(1988). A funnel plot method result revealed no publication bias. The results of this meta-analysis are as follows. First, PRI was more effective than traditional instruction on students' achievements. A summary statistic was 0.60 with a standard error of .074, which means that an increase of about two-third of a standard deviation beyond what would be expected from traditional instruction was gained from PRI intervention. Second, categorical and regression analyses were employed to find the sources of variance and moderators that predict the effects of PRI. The moderator analyses revealed no statistically significant effects of publication status, study design, school level, gender of students, type of students' achievements, and duration. Content area, location where the interventions of PRI were revealed to be moderators. It was concluded that PRI was effective in improving students' achievements regardless of publication status, study design, year of the studies, school level, gender of students, type of student achievement, and duration.

• Journal of Korea Society of Industrial Information Systems
• /
• v.19 no.4
• /
• pp.105-117
• /
• 2014

Acquisition of information through the broadcast media is essential for modern life and each broadcaster has progressed its service over the internet with the development of digital technology. Under this circumstance, this study presented the results which compared and analyzed the web accessibility evaluation for Korea, USA, and Japan's leading broadcaster web sites. According to the study results, there was no significant difference in the level of accessibility in all web sites of three countries, but accessibility compliance rate such as alternate text, skip-navigation of repeated region, and title was somewhat insufficient for Korean web sites. In addition, accessibility errors in the brightness contrast of the text contents, the run of the functions that a user doesn't have any intention, the clear statement of the default language, and the label provision were investigated. Therefore, Korean broadcasters should urgently improve and modify these errors and problems for effective web accessibility.

• Economic and Environmental Geology
• /
• v.43 no.3
• /
• pp.249-258
• /
• 2010

In general, a crustal geomagnetic (or gravity) anomaly compiled at one altitude can be estimated at a different altitude by continuation using the Fourier transform (FT). However, in case of continuation with a great distance between the two elevations, or, in particular, in case of downward continuation, the estimated anomalies by the FT are likely to be mathematically unstable so that the estimated values are not realistic. To solve this problem, two independently measured magnetic field anomalies at different altitudes, such as aeromagnetic and satellite magnetic observations, are implemented to estimate values at in-between altitude for better understanding and interpreting geophysical and geological features. This ‘'dual continuation’' technique is straightforward in the FT and gives a more realistic estimate in all altitudes when we simulated with a set of prismatic bodies at different altitudes. This implies that we add up another constraint like satellite-based observations on the geopotential field modeling for the non-unique geological and geophysical problems to a conventional Fourier-type continuation technique with a single set of observations.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.42 no.2 s.302
• /
• pp.1-10
• /
• 2005

The current implementation of TCP for the Internet is not efficient when used for Mobile Ad hoc Networks (MANENTs). This is because TCP assumes that all packet losses are caused by congestion, whereas transmission errors are a main reason for packet losses in wireless networks. To remedy this situation and increase performance, we propose an end-to-end method of using propagation delays and the differences between propagation delays to distinguish the causes for packet losses. The proposed method has two characteristics: Firstly, it is energy-efficient because this solution is only initiated when a packet loss is detected. Secondly, our approach considers only the one way propagation delay and is more accurate in determining causes for packet losses than existing methods which consider round trip time. Petri net models of the proposed TCP and of the standard TCP have been built and simulations have been performed on them. Our simulation results show that the proposed approach increases throughput and reduces propagation delay compared with standard TCP.

• The Journal of the Korea Contents Association
• /
• v.20 no.6
• /
• pp.415-424
• /
• 2020

Recently, the elevator industry in Korea has been divided into the high speed elevator market and medium-low speed elevator market, and SMEs are making rapid progress in the medium-low speed fields. Usually, since the elevator manufacturer receives an order for installation after the construction of the building structure, it is necessary to promptly create a optimal elevator model and layout drawing in an earlier stage of sales activity due to the limited time to elevator installation. This study analyzes the sale and design works of the elevator SMEs, examines the areas that can be efficiently improved, and integrates the preceding our studies from the viewpoint of efficiency improvements at sales and design business process in the elevator industry. After that, we proposed an integrated framework of sales and design process for the elevator SMEs industry, and developed a prototype software system for automating the creation of optimal elevator model, layout drawing of elevator and BOM(Bill Of Material) list.

• Korean Journal of Microbiology
• /
• v.34 no.1_2
• /
• pp.58-63
• /
• 1998

Fragment assembly problem is to reconstruct DNA sequence contigs from a collection of fragment sequences. We have developed an efficient X-window program, XFAP, for assembling DNA fragments. In the XFAP, the dimer frequency comparison method is used to quickly eliminate pairs of fragments that can not overlap. This method takes advantage of the difference of dimer frequencies within the minimum acceptable overlap length in each fragment pair. Hirschberg algorithm is applied to compute the maximal-scoring overlapping alignment in linear space. The perfomance of XFAP was tested on a set of DNA fragment sequences extracted from long DNA sequences of GenBank by a fragmentation program and showed a great improvement in execution time, especially as the number of fragments increases.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.3
• /
• pp.303-322
• /
• 2007

This study is to investigate student's processes of problem solving using open-ended Geometric problems to understand student's thinking and behavior. One 8th grader participated in performing her learning in 5 lessons for June in 2006. The result of the study was documented according to Polya's four problem solving stages as follows: First, the student tended to neglect the stage of "understanding" a problem in the beginning. However, the student was observed to make it simplify and relate to what she had teamed previously Second, "devising a plan" was not simply done. She attempted to solve the open-ended problems with more various ways and became to have the metacognitive knowledge, leading her to think back and correct her errors of solving a problem. Third, in process of "carrying out" the plan she controled her solving a problem to become a better solver based on failure of solving a problem. Fourth, she recognized the necessity of "looking back" stage through the open ended problems which led her to apply and generalize mathematical problems to the real life. In conclusion, it was found that the student enjoyed her solving with enthusiasm, building mathematical belief systems with challenging spirit and developing mathematical power.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.1
• /
• pp.37-48
• /
• 2011

Sensor networks monitor the environment, collect sensed data, and relay the data back to a collection point. Although sensor nodes have very limited hardware resources, they require an operating system that can provide efficient resource management and various application environments. In addition, the wireless sensor networks require the code update previously deployed to patch bugs in program and to improve performance of kernel service routines and application programs. This paper presents EPRCU (Easy to Perform Remote Code Update), a new operating system for wireless sensor nodes, which has enhanced functionalities to perform remote code update. To achieve an efficient code update, the EPRCU provides dynamic memory allocation and program memory management. It supports the event-driven kernel, which uses priority-based scheduling with the application of aging techniques. Therefore, the proposed operating system is not only easy to perform wireless communication with the remote code update but also suitable for various sensor network applications.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.5
• /
• pp.1169-1177
• /
• 2018

Modern society is a period of rapid digital transformation. This digital-centric business proliferation offers convenience and efficiency to businesses and individuals, but cyber threats are increasing. In particular, cyber attacks are becoming more and more intelligent and precise, and various attempts have been made to prevent these attacks from being discovered. Therefore, it is increasingly difficult to respond to such attacks. According to the cyber kill chain concept, the attacker penetrates to achieve the goal in several stages. We aim to detect one of these stages and neutralize the attack. In this paper, we propose a method to detect anomalous traffic caused by an agent attacking an external attacker, assuming that an agent executing a malicious action has been introduced in advance due to various reasons such as a system error or a user's mistake.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.7
• /
• pp.547-554
• /
• 2020

Airborne health management system prevents functional failure caused by errors or faults in the airborne software. On-the-fly repairing atomicity violations (AV) in an ARINC-653 concurrent software is critical for guaranteeing correctness of execution of the software. This paper proposes Repairing-AV which efficiently repairs atomicity violations. The Repairing-AV can diagnose and prevent an error on-the-fly by utilizing the training results of the software and controls access to the shared variable of the thread where the error occurred. The evaluation of the Repairing-AV measures the time overhead by applying the previous work and the Repairing-AV to five synthesis programs containing the atomicity violation. As the result of evaluation, the RepairingAV constantly shows about 1.4x time overhead regardless of count of shared variable access.