• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.868-871
• /
• 2008

Model Checking 기법은 시스템을 검증하고 반례를 제시해 주는 검증 방법으로 최근에 여러 분야에서 쓰이고 있다. 하지만 임베디드 시스템과 같이 그 검증에 있어서 시간, 자원적인 제한을 가지고 있는 분야에서는 검증할 항목을 임의로 선택해서 하는 경우가 대부분이다. 따라서 이 논문에서는 검증에 있어서 우선시 해야 할 기능들을 효율적으로 선정하는 빈도 기반 모델 검증 기법을 제안하고자 한다.

• Journal of the Korean Society of Radiology
• /
• v.12 no.3
• /
• pp.305-312
• /
• 2018

A dry and wet wipe test for radioisotope leakage checking was conducted by fixing the radioisotope $^{14}C$ to the glass surface and used for observing the transfer factor and surface shape of the test paper through wipe test. The dry wipe test showed that transfer factor in the tissue paper was twice as high as in the paper filter, and the wet wipe test showed that transfer factor in the paper filter paper was three times higher than the tissue paper. Although paper filters are general choice for leakage checking, it has been shown that tissue paper can be an alternative in the dry wipe test.

• Journal of KIISE:Databases
• /
• v.34 no.6
• /
• pp.493-502
• /
• 2007

Due to a growing interest in searching and expressing knowledge effectively, knowledge management methods such as Topic Map are becoming more important. Topic Map organizes knowledge that is full of intricate relations, so maintaining and managing Topic Map consistently is very essential. TMCL and other constraint languages have limits as they can check simple constraints but can not support complex constraints like dependence constraints. Current constraint checking systems operating at the application level are also showing an inferiority in performance. In this paper, we extend TMCL based on the characteristics of other constraint languages in the information system field and related fields. We build and propose an RDBMS-based Topic Map constraint checking system to support the extended constraint language effectively. This new system handles complex types of constraints like dependency constraint as well as basic Topic Map constraints present in the TMCL. As the system examines each constraint it uses templates to generate queries for effective checking and overall shows a higher performance level than current systems.

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.1
• /
• pp.23-30
• /
• 2014

In this paper, we propose an efficient agent framework for host-based vulnerability assessment system by analyzing the operational concept of traditional vulnerability assessment framework and proposed vulnerability assessment agent framework in virtualization environment. A proposed agent framework have concept by using the features of virtualization technology, it copy and execute checking agent in targeted virtual machines. In order to embody a propose agent framework, we design function block of checking agent and describe a vulnerability checking scenario of proposed agent framework. Also we develop pilot system for vulnerability checking scenario. We improve the shortcomings of the traditional vulnerability assessment system, such as unnecessary system load of the agent, inefficiency due to duplication agent installation. Moreover, the proposed agent framework is maximizing the scalability of the system because there is no agent installation when adding a targeted system.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• Journal of the Korean Chemical Society
• /
• v.48 no.2
• /
• pp.182-188
• /
• 2004

In this study, the effects of a four-stage problem-solving strategy emphasizing planning and checking stages were investigated. Two high school classes (N=55) were randomly assigned to either treatment or control group, and taught about two topics, 'gas' and 'solution' for 8 class hours. Teacher used the four-stage problem-solving strategy emphasizing planning and checking stages in the treatment group, and used traditional lecture in the control group. Two-way ANCOVA results revealed that the test scores of the treatment group were significantly higher than those of the control group in the problem-solving ability, especially in the subcategories of 'conceptual knowledge' and 'mathematical execution'. There was significant interaction between the instruction and the level of prior achievement in the 'satisfaction' of the learning motivation. The lower level students in the control group were more satisfied with chemistry class than those in the treatment group. There was no significant difference between the two groups in the scores of the awareness of metacognition. Educational implications are discussed.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.47 no.2
• /
• pp.77-85
• /
• 2010

Fingerprint image quality checking is one of the most important issues in on-line fingerprint recognition because the recognition performance is largely affected by the quality of fingerprint images. In the past, many related fingerprint quality checking methods have typically considered the local quality of fingerprint. However, It is necessary to estimate the global quality of fingerprint to judge whether the fingerprint can be used or not in on-line recognition systems. Therefore, in this paper, we propose both local and global-based methods to calculate the fingerprint quality. Local fingerprint quality checking algorithm considers both the condition of the input fingerprints and orientation estimation errors. The 2D gradients of the fingerprint images were first separated into two sets of 1D gradients. Then，the shapes of the PDFs(Probability Density Functions) of these gradients were measured in order to determine fingerprint quality. And global fingerprint quality checking method uses neural network to estimate the global fingerprint quality based on local quality values. We also analyze the matching performance using FVC2002 database. Experimental results showed that proposed quality check method has better matching performance than NFIQ(NIST Fingerprint Image Quality) method.

• The Journal of the Korea Contents Association
• /
• v.20 no.2
• /
• pp.172-181
• /
• 2020

This study examines the fact-check coverage provided by the SNU fact-check center site(factcheck.snu.ac.kr). A total of 50 articles that were cross-checked by multiple news media organizations were analyzed. The study's variables were topics, types, characteristics, consistency of the news media organizations' judgement, and fact-check sources. This study found that fact-checking coverage was generally focused on presidential or general election candidates or politicians, as well as political topics. The types of fact-checking coverage primarily included factual information, as well as some opinions or interpretations. Fact-check coverage was mainly focused on the facts of the statements themselves, causal relationships, or the timing or target of the comparison criteria. On average, the fact-checking coverage most frequently assigned the judgment 'mostly false, and primarily used interviews of individuals or data from organizations involved in the issue, government data, and experts' statements as the bases for its fact-checking judgements.

• The Journal of Churna Manual Medicine for Spine and Nerves
• /
• v.11 no.1
• /
• pp.33-40
• /
• 2016

Objectives : To evaluate the foot indices using dynamic and static checking on healthy adult people. Methods : Foot indices analysis was performed for 46 students. Static checking practiced for Foot Pressure(FP) and Toe Pressure Difference(TPD) and dynamic checking was used for Vertical Axis Angle(VAA). Results : On gender, there was generally no statical significant difference, except RFP(Right Foot Pressure). The RFP of male was bigger than that of female. On age, in addition, there was similar tendency, only RFP had a positive correlation (r=0.35, p<0.05). Comparing foot indices on right and left, we found TPD and VAA had a tendency of pronation on left, but FP had a opposite tendency. On consistency of each foot index, discrepancy between TPD and VAA (39.47%) was lesser than combination of the others. Conclusions : According to foot indices among 46 healthy student, we found out that there is partially correlation between dynamic and static checking. We hope that the data we found will contribute to standardization of podiatry indices which provide medical guidance for cure of foot disease, supporting further podiatry research.

• Communications of Mathematical Education
• /
• v.2
• /
• pp.181-191
• /
• 1997

The purpose of this study is to provide the primary sources to improve the problem solving performance by analyzing the errors and the strategies selection of the high school students when solving given algebraic problems. To attain the purpose of this study, the questions for investigation in this study are : 1. What are the differences / similarities in the patterns of errors committed by successful and unsuccessful problem-solvers when solving particular algebraic problems ? 2. What are the error types chosen by unsuccessful problem-solvers when solving particular algebraic problems? 3. Do students utilize checking, either locally or globally, when solving particular algebraic problems? Twenty students were drawn out of 10th grade students in J girls' high school in Yengi -gun, Chung-Nam, for this study. The problem-solving test was used as a test instrument. From the data, the verbal protocols and the written protocols were analyzed by the patterns. The conclusions drawn from the results obtained in the present study are as follows: First, in solving particular algebraic problems, when the problems were solved with one strategy, most students didn't give any consideration to other strategies. So mathematics teachers should teach them to use the various strategies, and should develop the problems to be used the various strategies. Second, in solving particular algebraic problems, errors on notions or transformations of equations were found. Thus, the basic knowledges related to equation should be taught. In addition, most unsuccessful students seleted the strategies inadequately to solve the problems because of misunderstanding the problems. So, to improve the problem solving performance the processes of 'understanding problem' should be emphasized to students. Third, although the unsuccesful students used the 'checking' processes when solving the problems, most of them did not find the errors because of misconceptions related to the problems, carelessness, and unskillfulness of checking. Thus, students must be taught more carefully and encouraged to use the checking.