• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2017년도 춘계 학술논문 발표대회
• /
• pp.264-265
• /
• 2017

This paper aims to analyze relations between design errors prevented by building information modeling (BIM)-based design validation and their impacts in order to identify critical consideration factors for successfully implementing BIM-based design validation in the architecture, engineering, and construction (AEC) projects. More than 800 design errors detected by BIM-based design validation in two BIM-based projects in South Korea are categorized according to its causes and work types. The relations between causes and work types of design errors and project delay, cost overrun, low quality, and rework generation that can be caused by the errors are analyzed through conducting logistic regression. Characteristics of each design error are analyzed by conducting face-to-face interviews with practitioners in the two BIM-based projects. As the results, the impacts of design error causes on predicting project delay, cost overrun, low quality, and rework generation were the highest.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2016년도 추계 학술논문 발표대회
• /
• pp.158-159
• /
• 2016

This paper aims to analyze design errors prevented by building information modeling (BIM)-based design validation to identify consideration factors for successfully implementing BIM-based design validation in the architecture, engineering, and construction (AEC) projects. More than 1,300 design errors detected by BIM-based design validation in three BIM-based projects in South Korea are categorized according to its causes, work types, and likelihoods to cause project delay and cost overrun. Each design error is analyzed by conducting face-to-face interviews with practitioners in the three projects.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.347-349
• /
• 2014

Model verification and validation (V&V) is a current research topic to build computational models with high predictive capability by addressing the general concepts, processes and statistical techniques. The hypothesis test for validity check is one of the model validation techniques and gives a guideline to evaluate the validity of a computational model when limited experimental data only exist due to restricted test resources (e.g., time and budget). The hypothesis test for validity check mainly employ Type I error, the risk of rejecting the valid computational model, for the validity evaluation since quantification of Type II error is not feasible for model validation. However, Type II error, the risk of accepting invalid computational model, should be importantly considered for an engineered products having high risk on predicted results. This paper proposes a technique named as the response-adaptive experimental design to reduce Type II error by adaptively designing experimental conditions for the validation experiment. A tire tread block problem and a numerical example are employed to show the effectiveness of the response-adaptive experimental design for the validity evaluation.

• 제어로봇시스템학회논문지
• /
• 제12권8호
• /
• pp.834-841
• /
• 2006

Recently, many enterprises are installing AMSs(Automated Manufacturing Systems) for their competitive advantages. As the level of automation increases, proper design and validation of control logic is a imperative task for the successful operation of AMSs. However, current discrete event simulation methods mainly focus on the performance evaluation. As a result, they lack the modeling capabilities for the detail logic of automated manufacturing system controller. Proposed in this paper is a method of validation of the controller logic for automated material handling system using an object-oriented design and simulation. Using this method, FA engineers can validate the controller logic easily in earlier stage of system design, so they can reduce the time for correcting the logic errors and enhance the productivity of control program development Generated simulation model can also be used as a communication tool among FA engineers who have different experiences and disciplines.

• Toxicological Research
• /
• 제25권1호
• /
• pp.1-8
• /
• 2009

Validation specifies and coordinates all relevant activities to ensure compliance with good laboratory practices (GLP) according to suitable international standards. This includes validation activities of past, present and future for the best possible actions to ensure the integrity of non-clinical laboratory data. Recently, validation has become increasingly important, not only in good manufacturing practice (GMP) institutions but also in GLP facilities. In accordance with the guideline for GLP regulations, all equipments used to generate, measure, or assess data should undergo validation to ensure that this equipment is of appropriate design and capacity and that it will consistently function as intended. Therefore, the implantation of validation processes is considered to be an essential step in a global institution. This review describes the procedures and documentations required for validation of GLP. It introduces basic elements such as the validation master plan, risk assessment, gap analysis, design qualification, installation qualification, operational qualification, performance qualification, calibration, traceability, and revalidation.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.153-160
• /
• 2010

소프트웨어 개발 프로세스에서 발생되는 오류의 대부분은 요구사항 정의와 디자인 단계에서 비롯된다. 또한 이들 단계에서 포함된 오류의 수정 및 제거는 이후 단계에서 포함된 오류의 수정에 비해 훨씬 많은 노력과 비용을 요구한다. 하지만 요구사항과 디자인된 모델의 검증은 매우 중요한 작업임에도 불구하고 다양한 문제점들로 인해 성공적으로 수행되고 있지 못하다. 따라서 본 논문에서는 초기 디자인 단계에서 요구사항 및 모델의 검증 작업을 동시에 수행할 수 있는 모델의 시뮬레이션을 통한 검증 절차를 제안한다. 이 때 작성되는 모델은 Ptolemy 상에 소프트웨어의 행동 양식을 바탕으로 작성된다. 제안된 방법을 DNS 시스템 환경에 적용하여 사용 가능성을 확인하였으며, 시뮬레이션 결과에 따르면 행동 양식을 반영한 모델의 시뮬레이션을 통해 기존에 알려진 시스템의 내재된 오류 혹은 취약성을 발견 가능함이 확인되었다. 이는 제안된 방법이 소프트웨어 개발 프로세스 초기에서 요구사항과 모델을 검증하는 절차로 이용될 수 있음을 의미한다.

• 한국정보처리학회논문지
• /
• 제7권4호
• /
• pp.1112-1121
• /
• 2000

Design metrics that quantify the design phase play an important role in reducing system development cost because the problems in early phases of software development seriously affected the quality of the late products. Real-time systems such as telecommunication systems are so large that design quantification is more important in real-time system design. Although many metrics have been proposed, few of them are correctly validated. This paper revises the SDL metrics set proposed in earlier study [9] and perform an analytical validation o the metrics set. Axiomatic approach and dimensional analysis are used for metrics validation and the old metrics are revised ot satisfy the validation criteria.

• 한국건축시공학회지
• /
• 제17권6호
• /
• pp.535-544
• /
• 2017

본 논문은 BIM 기반 설계 검토를 통하여 사전에 방지된 설계 오류와 그 영향도를 통계적으로 분석한다. 이를 위하여 한국에서 수행되었던 2개 BIM 프로젝트에서 BIM 기반 설계 검토를 도입함으로써 발견되었던 약 800여건 이상의 설계오류를 설계 오류 발생 원인별(비논리적 오류, 도면 상이, 누락), 발생 공종별(구조, 건축, 설비)로 분류한다. 시공 이전에 발견된 설계 오류로 인하여 발생할 수 있는 재작업과 공사비, 공사기간, 품질에의 영향 여부를 해당 현장의 실무자와의 인터뷰를 통해서 분류하고, 설계 오류와의 확률적 관계를 로지스틱 회귀분석을 이용하여 분석한다. 분석결과, 설계 오류 발생원인이 공사비 증가, 공기 지연, 품질 저하, 재작업을 유발 확률 예측에 통계적으로 가장 유의미한 관계가 있었다. 두 개의 프로젝트에서 수집된 자료만을 활용하여 설계 오류 간의 관계를 분석하였지만 설계 오류의 특성의 관계가 유사하다는 점에서 의미가 있다고 할 수 있다. 향후에는 다수의 프로젝트에서 수집된 자료를 분석하여 이를 검증하고자 한다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.146-148
• /
• 2007

CMDPS (COMS Meteorological Data Processing System) is the operational meteorological products extraction system for data observed from COMS (Communication, Ocean and Meteorological Satellite) meteorological imager. CMDPS baseline products consist of 16 parameters including cloud information, water vapor products, surface information, environmental products and atmospheric motion vector. Additionally, CMDPS includes the function of calibration monitoring, and validation mechanism of the baseline products. The main objective of CMDPS validation module development is near-real time monitoring for the accuracy and reliability of the whole CMDPS products. Also, its long time validation statistics are used for upgrade of CMDPS such as algorithm parameter tuning and retrieval algorithm modification. This paper introduces the preliminary design on CMDPS validation module.

• Steel and Composite Structures
• /
• 제17권6호
• /
• pp.835-850
• /
• 2014

The fire resistance of composite steel and concrete structures may be determined by using the simplified methods provided in EN 1994-1-2. For the particular situations not covered by the standard, an advanced calculation model might be applied, using special purpose programs for the analysis of structures in fire. The validation of these programs has always been an important issue for software developers, but also for designers and authorities. Clause 4.4.4 from EN 1994-1-2 refers to the validation of the advanced calculation models and states that these models must be validated through relevant test results. The paper presents the calculation of fire resistance of the composite columns in a high-rise building built in Romania, and focusses on the validation of the calculation model (computer program SAFIR), for this particular case. This validation, asked by the Romanian authorities, considers the available experimental results of a fire test, performed on a similar composite steel-concrete column.