• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.285-288
• /
• 2005

최근 임베디드 시스템의 안정성이 제품의 상품성에 매우 중요한 요인이 되면서, 임베디드 시스템의 내장된 소프트웨어의 품질 검증이 중요해졌다. 내장된 소프트웨어를 검증을 위해서 자동 테스트 방식을 사용할 때, 테스트 오라클이 필요하다. 테스트 오라클을 정확하게 구축하기 위해서는 시스템의 요구사항을 정확하고 수행 가능한 형태로 기술하여야 한다. 따라서 테스트 오라클 생성의 기반이 되는 시스템 사양에서 오류를 검출하는 작업은 매우 중요한 작업이다. 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다.

• Proceedings of the KIEE Conference
• /
• 1998.07g
• /
• pp.2275-2277
• /
• 1998

This paper presents an algorithmic sensor value validation technique that can systematically explore the embedded sensor redundancies in complex physical systems and maximize their utilization in validating sensor values. The confidency criteria are developed for checking the consistency of sensor relationships called Causal Relations. Development results are applied to a tubular type supercritical pressure type thermal power plant with rated operational data to demonstrate the effectiveness of the proposed technique.

• Journal of the Korean Society for Railway
• /
• v.12 no.2
• /
• pp.260-266
• /
• 2009

The theory of risk is applied frequently in analysis of railway accidents. The aim of risk analysis is to search potential causes and contribution factors of accidents by checking the total system of construction field. This paper analyze a pattern and a cause of accident occupied in construction field, calculate risk index considering accident frequency and severity, and then provide the relative risk assessment. Based on this, this paper will provide the methodology of qualitative risk assessment guiding to reach a consistency of risk index with risk assessment.

• Computers and Concrete
• /
• v.23 no.6
• /
• pp.459-470
• /
• 2019

Apart from strength properties, durability, toughness and workability are also important criteria in defining the performance of a concrete structure. Hence "High Performance Concrete (HPC)" is introduced. It is different from high strength concrete and can have various applications. In this paper, the properties (Mechanical and Durability) of High Performance Concrete blended with bagasse ash at 5%, 10%, 15% and 20% are studied. However, it is difficult to analyze the performance based on different properties obtained from different experiments. Hence it is necessary to combine all the criteria/properties into a single value to obtain a result by a technique called Analytical Hierarchy Process (AHP).It is an effective tool for dealing with complex decision making, and may aid the decision maker to set priorities and make the best decision. In addition, the AHP incorporates a useful technique for checking the consistency of the decision maker?s evaluations, thus reducing the bias in the decision making process.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.845-846
• /
• 2009

컴포넌트 기반 개발 방법은 컴포넌트의 재사용으로 인한 개발 비용의 절감뿐만 아니라, 컴포넌트 분석의 재사용으로 인한 검증비용의 절감과 시스템의 질적 향상을 도모할 수 있는 장점을 지니고 있는 반면, 컴포넌트들간 상호작용의 복잡도의 증대로 인한 결함률이 높아질 수 있다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로한 컴포넌트 정제 과정에서 정제 전, 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 정제과정 전 단계에 걸쳐 사용되어 컴포넌트 간의 상호작용으로 인한 잠재적인 결함을 조기에 발견하고 해결하는 데 기여할 수 있다.

• 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.

• Journal of the Korean Society for Railway
• /
• v.12 no.1
• /
• pp.144-150
• /
• 2009

This study analyzed opinions of specialists checking of industrial environment, analysis of bid guideline to select environment friendly railway corridor and choose weight factors. Thus, 7 major categories were extracted from 20 EIA categories and essential supplement request items for environment friendly railway corridor selection. To select environment friendly railway corridors, many alternatives should be compared and the assessment of each alternative must be carried out on the basis of these 7 categories. To solve this problem, the selected method was AHP which simplifies the complex problems utilizing hierarchy, quantifying qualitative problems through 1:1 comparison, and extracting objective conclusions by maintaining consistency. As a result, a GUI-based program was developed which provides basic values of weighted parameters of each category defined by specialists, and a quantification of detailed assessment guidelines to ensures consistency.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.5B
• /
• pp.317-323
• /
• 2005

Broadcast disks are suited for disseminating information to a large number of clients in mobile computing environments. In broadcast disks, the server continuously and repeatedly broadcasts all data items in the database to clients without specific requests. The clients monitor the broadcast channel and retrieve data items as they arrive on the broadcast channel. The broadcast channel then becomes a disk from which clients can retrieve data items. This paper proposes a Timestamp based Concurrency Control (TCC) scheme to preserve the consistency of read-only client transactions, when the values of broadcast data items are updated at the server. Previous schemes tried to reduce transaction aborts by consuming considerable amount of downlink communication from the server to clients for transferring control information. On the other hand, the TCC uses a timestamp field of each data item to describe execution order of server transactions. Clients can allow more transaction executions by checking consistency of their read-only transactions with timestamps of data items. As a result, the TCC can reduce the abort ratio of client transactions with minimal control information to be broadcast from the server.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.5
• /
• pp.132-140
• /
• 2016

In this paper, we propose boundary-preserving stereo matching method based on adaptive disparity adjustment using confidence region detection. To find the initial disparity map, we compute data cost using the color space (CIE Lab) combined with the gradient space and apply double cost aggregation. We perform left/right consistency checking to sort out the mismatched region. This consistency check typically fails for occluded and mismatched pixels. We mark a pixel in the left disparity map as "inconsistent", if the disparity value of its counterpart pixel differs by a value larger than one pixel. In order to distinguish errors caused by the disparity discontinuity, we first detect the confidence map using the Mean-shift segmentation in the initial disparity map. Using this confidence map, we then adjust the disparity map to reduce the errors in initial disparity map. Experimental results demonstrate that the proposed method produces higher quality disparity maps by successfully preserving disparity discontinuities compared to existing methods.

• Safety and Health at Work
• /
• v.13 no.3
• /
• pp.326-335
• /
• 2022

Background: One of the important actions for enhancing human reliability in any industry is assessing human error probability (HEP). The HEART technique is a robust tool for calculating HEP in various industries. The traditional HEART has some weaknesses due to expert judgment. For these reasons, a hybrid model is presented in this study to integrate HEART with Best-Worst Method. Materials Method: In this study, the blasting process in an iron ore mine was investigated as a case study. The proposed HEART-BWM was used to increase the sensitivity of APOA calculation. Then the HEP was calculated using conventional HEART formula. A consistency ratio was calculated using BWM. Finally, for verification of the HEART-BWM, HEP calculation was done by traditional HEART and HEART-BWM. Results: In the view of determined HEPs, the results showed that the mean of HEP in the blasting of the iron ore process was 2.57E-01. Checking the full blast of all the holes after the blasting sub-task was the most dangerous task due to the highest HEP value, and it was found 9.646E-01. On the other side, obtaining a permit to receive and transport materials was the most reliable task, and the HEP was 8.54E-04. Conclusion: The results showed a good consistency for the proposed technique. Comparing the two techniques confirmed that the BWM makes the traditional HEART faster and more reliable by performing the basic comparisons.