• Journal of the Korean Society of Radiology
• /
• v.82 no.5
• /
• pp.1218-1230
• /
• 2021

Purpose To compare the per-patient diagnostic performance of simulated abbreviated MRI (AMRI) to that of conventional MRI (CMRI) with full-sequence dynamic gadoxetic acid (GA) enhancement for early-stage hepatocellular carcinoma (HCC) screening in high-risk patients. Materials and Methods A total of 201 consecutive patients at high-risk for HCC, who underwent 3T liver MRI, were included in this retrospective study. The AMRI protocol comprised T2-weighted imaging, hepatobiliary phase imaging after GA injection, and diffusion-weighted imaging. For each patient, two AMRI and CMRI image sets were independently reviewed by two radiologists. Inter-reader agreement was assessed using Cohen's kappa value. A composite reference standard was used to determine the diagnostic performance of each image set for each reader. Results A total of 93 HCCs were detected in 79 patients. The inter-reader agreement was almost perfect for both image sets (κ = 0.839, 0.948). In AMRI, the per-patient sensitivity and negative predictive values (NPV) were 94.9% and 96.4%, respectively. In CMRI, the per-patient sensitivity and NPV were 96.2% and 97.5%, respectively. Conclusion AMRI, using only three sequences, had a comparable diagnostic performance to CMRI in screening early-stage HCC. AMRI could be an alternative HCC screening tool for high-risk HCC patients.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.28 no.4
• /
• pp.331-338
• /
• 2008

Ultrasonic testing for welds is widely used to ensure the integrity of facilities in NPPs. Automated ultrasonic testing(AUT) is more consistent than the manual ultrasonic testing(MUT). It can scan welded parts, examines the scanned images, and saves the results as data files. AUT in NPPs is making use of commercial systems, and there has been some difficulties in calibration of the system. An AUT system is developed. It comprises of pulser/receiver, scanner and a control program(SonicWizard). The performance demonstration for piping welds in NPPs and the piping wall thickness measurement on site were conducted to verify this system. The test results of the ultrasonic testing system developed is satisfactory and effective.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.12
• /
• pp.692-703
• /
• 2004

Communication induced checkpointing (CIC) is one of the checkpointing techniques to provide fault tolerance for distributed systems. Independent checkpoints that each distributed process produces without coordination are likely to be useless. Useless checkpoints, which cannot belong to any consistent global checkpoint sets, induce nondeterminant rollback. To prevent the useless checkpoints, CIC forces processes to take additional checkpoints at proper moment. The number of those forced checkpoints is the main source of failure-free overhead in CIC. In this paper, we present two new CIC protocols which satisfy 'No Z-Cycle (NZC)'property. The proposed protocols reduce the number of forced checkpoints compared to the existing protocols with the drawback of the increase in message delay. Our simulation results with the synthetic data show that the proposed protocols have lower failure-free overhead than the existing protocols. Additionally, we show that the classical 'index-based checkpointing' protocols are inefficient in constructing the consistent global cut in distributed executions.

• Journal of The Korean Association For Science Education
• /
• v.28 no.8
• /
• pp.796-813
• /
• 2008

A good understanding of how gifted science students understand physics is important to developing and delivering effective curriculum for gifted science students. This dissertation reports on a systematic investigation of gifted science students' reasoning model in learning physics. An analysis of videotaped class work, written work and interviews indicate that I will discuss the framework to characterize student reasoning. There are three main groups of students. The first group of gifted science students holds several different understandings of a single concept and apply them inconsistently to the tasks related to that concept. Most of these students hold the Aristotelian Model about Newton's second law. In this case, I define this reasoning model as the manifold model. The second group of gifted science students hold a unitary understanding of a single concept and apply it consistently to several tasks. Most of these students hold a Newtonian Model about Newton's second law. In this case, I define this reasoning model as the coherence model. Finally, some gifted science students have a manifold model with several different perceptions of a single concept and apply them inconsistently to tasks related to the concept. Most of these students hold the Aristotelian Model about Newton's second law. In this case, I define this reasoning model as the coherence model.

• Journal of Korea Multimedia Society
• /
• v.3 no.3
• /
• pp.290-297
• /
• 2000

For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.7
• /
• pp.1561-1568
• /
• 2005

In client-solver environments, clients can execute applications without contact a server by storing data in its cache. To guarantee correction of applications, we need a cache consistency algorithm. Many cache consistency algorithms have been proposed, these were categorized by detection-based and avoidance-based algorithms. In this paper, we propose a new detection-based cache consistency algorithm that can reduce a burden of a client that has poor resource compare with a server Our method controls concurrency of transactions using timestamp ordering and updates a cache dynamically. In addition to we show that our method maintains a one-copy serializability.

• Journal of KIISE:Software and Applications
• /
• v.32 no.2
• /
• pp.119-127
• /
• 2005

Product line analysis is an activity for analyzing requirements, their relationships, and constraints in a product line before engineering product line assets (e.g., architectures and components). A feature-oriented commonality and variability analysis (called feature modeling) has been considered an essential part of product line analysis. Commonality and variability analysis, although critical, is not sufficient to develop reusable and adaptable product line assets. Dependencies among features and feature binding time also have significant influences on the design of product line assets. In this paper. we propose a feature-oriented product line analysis model that extends the existing feature model in terms of three aspects (i.e., feature commonality and variability, feature dependency, and feature binding time). To validate the consistency among the three aspects we formally define the feature-oriented product line analysis model and provide rules for checking consistency.

• Proceedings of the IEEK Conference
• /
• 2000.09a
• /
• pp.795-798
• /
• 2000

연속음 인식과 음성 합성을 위해서는 정밀한 음성학적 모델과 연속 음성에 적용 가능한 언어 모델의 개발이 중요하다. 이를 위해서는 음성 데이터 베이스에 대한 인식 단위, 혹은 합성 단위의 분할이 필요한데, 수동음성 분할은 일관성의 유지가 어렵고 긴 시간이 소요되므로 최근에는 자동 분할 기술이 많이 연구되고 있다. 자동 음성 분할 기법으로는 시간 영역이나 주파수 영역특징 벡터의 천이를 분석하는 방법과 특징 벡터간의 상관도를 구하여 경계를 추출하는 방법이 있다. LPC smoothed log amplitude spectra는 음성의 주파수 영역의 특징을 잘 나타내며, 동일 음소 내의 상관도가 서로 다른 음소의 상관도보다 더 크고, 음소의 경계구간에서 급격한 상관도의 변화를 보인다. 이 특성을 이용하여 이웃 프레임에 대한 상관도의 방향성이 특정조건을 만족하는가를 검사하여 음소의 경계를 구하는 방법을 찾았다. 또한 LPC. 이득 인자만으로 묵음 구간을 검출하는 방법을 제시한다. 이렇게 하면 묵음 구간검출과 음소 경계 검출의 일관성을 향상시키고 수행 시간을 단축시킬 수 있다. 제안한 기법으로 허용 오차 20ms 이내에서 연속음성에 대한 음소 경계 검출 실험을 수행한 결과, 수작업으로 행한 경계 검출 지점의 약 88%를 정확히 검출하였다.

• Magazine of the Korea Institute for Structural Maintenance and Inspection
• /
• v.17 no.1
• /
• pp.48-59
• /
• 2013

응력파의 기반한 비파괴 검사법은 비교적 실험 절차 및 실험에 필요한 장비가 단순하고, 인체에 해가 없으며, 비용이 저렴한 특성을 갖고있다. 따라서 건축/토목 구조물의 비파괴 검사에 매우 효과적인 방법으로 알려져 있다. 하지만 기존의 가속도계, 변위계, 지오폰과 같은 부착 센서를 사용할 경우 표면 처리, 센서의 부착 및 이동에 따른 추가적인 시간이 소요되고, 센서와 구조물의 불완전한 커플링으로 인한 측정 결과의 신뢰성 및 일관성을 유지하지 어렵다는 문제를 발생시킨다. 최근 이러한 문제의 해결책으로 Air-coupled sensor (ACS)의 사용이 각광받고 있으며, 여러 연구자들에 의해 ACS의 가능성 및 실용성이 증명되고 있다. 기존의 접촉센서와 비교하여 ACS를 사용했을 때 얻을 수 있는 가장 큰 장점은 센서의 커플링 문제를 근본적으로 해결하여 신뢰도가 높고 일관적인 측정이 가능하고, 대형 건축/토목 구조물의 표면을 음향스캔하여 결과를 신속하게 처리하여 실시간으로 시각화 할 수 있다는 점이다. 이론적으로 ACS를 이용하여 측정하는 물리값은 콘크리트 내부에서 발생된 응력파의 일부가 공기중으로 전파된 누설파 (Leaky wave)이다. 콘크리트 비파괴 검사에 주로 사용하는 100 kHz이하의 저주파를 측정할 경우 일반적으로 콘텐서마이크가 ACS로 사용될 수 있다. 기존 연구자들은 실험 및 이론적 연구를 통하여 응력파에 기반한 비파괴 방법에서 ACS가 기존의 접촉 센서를 대체할 수 있다는 점을 보여주고 있다. 현재 미국에서는 연방 도로청 (FHWA) 및 국가표준기술연구소 (NIST)의 연구비 지원으로 ACS의 실용성을 높이기 위하여 최적화된 음향반사판의 설계를 통한 ACS 의 민감도를 높이기 위한 연구, 다채널 센서 배열 및 데이터 통합을 위한 새로운 알로리즘 개발, 자동화 및 로봇 기술과 융합과 같은 연구가 활발히 진행되고 있다. 멀지 않은 미래에는 ACS를 장착한 무인 로봇이 다양한 종류의 건축/토목 구조물의 건전도를 평가하기 위하여 종횡무진 활약하는 모습을 현실 속에서 볼 수 있을 것이라 기대한다.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.2
• /
• pp.172-183
• /
• 1994

In the multidatabase systems(MDBS), local autonomy and global consistency are important issues. Global consistency could be maintained by a global concurrency control algorithm and a global recovery algorithm. In this thesis, we propose a global concurrency control algorithm to ensure local autonomy and to guarantee global serializability, and a global recovery algorithm which is possible to recover the multudatabase from any failures. The proposed global concurrency control algorithm uses bottom-up approach, based on three-level transaction processing model. It can produce a local history that the execution order of subtransactions is identical to their serialization order by using dummy-operations in the server when an indirect conflict is caused between subtransactions due to local transactions. At the global module, it can efficiently validate global serializability of global transactions by checking global serializability only for the global transactions which conflict with each other.