• 한국정보처리학회논문지
• /
• 제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.

• 제어로봇시스템학회논문지
• /
• 제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.

• 제어로봇시스템학회논문지
• /
• 제13권12호
• /
• pp.1179-1185
• /
• 2007

This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2010년도 정기 학술대회
• /
• pp.379-382
• /
• 2010

This study proposes a way to validate BIM data quality in BIM applications. Solibri model checker is adopted as a module development platform, which is based on Java programming language. The platform makes application developers implement BIM model checker for their own purpose. This study has developed a BIM validation module for circulation analysis of building design. The validation module enables end-users to automatically detect data corrupted or not defined. In case studies, the module found that an IFC file generated from a BIM software has wrong relation information between a space and boundary elements. A building model should satisfy modeling requirements and then domain users can get analysis results. The BIM data validation module needs to be developed in each BIM application domain.

• 조명전기설비학회논문지
• /
• 제26권9호
• /
• pp.73-79
• /
• 2012

In this paper, we study on how to determine the number of hidden layer neurons in neural network for predicting defect size of steam generator tube. It was reported in the literature that the number of hidden layer neurons can be efficiently determined with the help of cross-validation. Although the cross-validation provides decent estimation performance in most cases, the performance depends on the selection of validation set and rather poor performance may be led to in some cases. In order to avoid such a problem, we propose to use multifold cross-validation. Through the simulation study, it is shown that the estimation performance of defect width (defect depth, respectively) attains 94% (99.4%, respectively) of the best performance achievable among the considered neuron numbers.

• 대한의용생체공학회:의공학회지
• /
• 제40권2호
• /
• pp.48-54
• /
• 2019

This paper proposed a method of validation data augmentation for improving the grading accuracy of diabetic macular edema (DME) using deep learning. The data augmentation technique is basically applied in order to secure diversity of data by transforming one image to several images through random translation, rotation, scaling and reflection in preparation of input data of the deep neural network (DNN). In this paper, we apply this technique in the validation process of the trained DNN, and improve the grading accuracy by combining the classification results of the augmented images. To verify the effectiveness, 1,200 retinal images of Messidor dataset was divided into training and validation data at the ratio 7:3. By applying random augmentation to 359 validation data, $1.61{\pm}0.55%$ accuracy improvement was achieved in the case of six times augmentation (N=6). This simple method has shown that the accuracy can be improved in the N range from 2 to 6 with the correlation coefficient of 0.5667. Therefore, it is expected to help improve the diagnostic accuracy of DME with the grading information provided by the proposed DNN.

• 항공우주시스템공학회지
• /
• 제12권4호
• /
• pp.1-8
• /
• 2018

형식증명승인은 외국 감항당국으로부터 형식증명을 받은 후 국내로 도입되는 항공기, 엔진, 프로펠러에 대한 형식설계 검증을 통해 항공기의 안전성을 확인하는 것을 말한다. 우리나라는 항공안전법 제21조 "형식증명승인"에 따라 국내로 수입되는 항공기에 대한 설계 적합성을 확인하고 있다. 최근 미국, 중국, 싱가포르 등으로 구성된 Validation Principles Working Group은 위험평가 기반의 형식증명승인 모델을 개발하였으며 국제 표준화를 위해 노력하고 있다. 이에 따라, 위험평가기반의 형식증명승인 모델을 분석하고, 우리나라의 형식증명승인 제도의 개선방향을 고찰하였다.

• 한국산학기술학회논문지
• /
• 제10권10호
• /
• pp.2583-2588
• /
• 2009

본 논문에서는 반정현파 형태의 충격을 받는 HDD에 대한 충격해석을 수행하고, 그 타당성을 실험적으로 검증하였다. 일반적으로 센서를 이용한 제품의 충격실험을 통해서는 제한적인 정보만을 얻을 수 있지만, 컴퓨터를 이용한 해석기술은 제품의 파손현상을 규명하는데 필요한 보다 광범위하고 상세한 정보를 제공할 수 있는 장점을 가진다. 하지만, 이러한 해석결과는 여러 요인들에 따라 매우 민감하기 때문에 그 타당성을 검증하는 것이 중요하다. 따라서 본 연구에서는 200G/1ms의 전자기 충격실험과 300G/2ms의 낙하충격실험을 통하여 HDD의 조립단계별로 LS-DYNA를 이용한 유한요소해석의 신뢰성을 검증하였다.

• 한국통신학회논문지
• /
• 제29권12C호
• /
• pp.1722-1728
• /
• 2004

다수의 인증 경로가 존재하는 PKI 구조에서 인증 경로를 설정하는 것은 중요한 문제이다. 경로 설정은 다양한 검증을 통해 이루어지고 검증이 많을수록 경로의 유효성은 높아진다. 유효성 높은 경로의 선택은 경로 설정 및 검증 작업의 반복 횟수를 감소시킴으로서 고속의 인증서 검증이 가능하도록 하는 반면에 하나의 경로를 설정하는데 소요되는 시간 및 부담을 증가시킨다는 문제점을 가진다. 본 논문에서는 보다 적은 부합으로 경로의 유효성을 높일 수 있는 효율적인 인증 경로 설정 알고리즘을 제안한다.

• 한국산학기술학회논문지
• /
• 제10권3호
• /
• pp.596-601
• /
• 2009

본 논문에서는 전 논문에서 개발되었으나 검증을 필요로 한 간단한 전단속도 의존적 구성모델을 유명한 보스톤블루 점토를 대상으로 엄격하게 수행된 비등방 삼축압축시험 결과를 활용하여 검증하였다. 검증은 전단속도 0.05%hr, 0.5%/hr, 5.0%hr 및 OCR=1, 2, 4, 8 경우에 있어서 수행되었다. 연구결과, 개발된 모델은 OCR=4, 8 경우 등 심한 과압밀 경우에는 변형율 완화, 비배수강도 등 응력-변형율 예측에 있어 개선이 필요한 것으로 보였으나, OCR=1, 2 등 정규압밀 또는 약간 과압밀 경우에는 비교적 신뢰도 높게 응력-변형을 관계를 예측하여, 그 활용도를 기대할 수 있겠다.