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

• Wind and Structures
• /
• 제18권4호
• /
• pp.375-389
• /
• 2014

The high-frequency force-balance (HFFB) technique and its subsequent improvements are reviewed in this paper, including a discussion about nonlinear mode shape corrections, multi-force balance measurements, and using HFFB model to identify aeroelastic parameters. To apply the HFFB technique in engineering practice, various validation studies have been conducted. This paper presents the results from an analytical validation study for a simple building with nonlinear mode shapes, three experimental validation studies for more complicated buildings, and a field measurement comparison for a super-tall building in Hong Kong. The results of these validations confirm that the improved HFFB technique is generally adequate for engineering applications. Some technical limitations of HFFB are also discussed in this paper, especially for higher-order mode response that could be considerable for super tall buildings.

• 대한기계학회논문집B
• /
• 제20권12호
• /
• pp.3926-3937
• /
• 1996

In recent years there has been increased interest in the continuum model associated with the solidification of binary mixtures. A review of the literature, however, shows that the model verification was not sufficient or only qualitative. Present work is conducted for the reassessment of continuum model on the solidification problems of binary mixtures widely used for model validation. In spite of using the same continuum model, the results do not agree well with those of Incropera and co-workers which are benchmark problems typically used for validation of binary mixture solidification. Inferring from the agreement of present results with the analytic, experimental and other model's numerical results, this discrepancy seems to be caused by numerical errors in applying continuum model developed by Incropera and co-workers, not by the model itself. Careful examination should be preceded before selecting validation problems.

• Asia pacific journal of information systems
• /
• 제16권4호
• /
• pp.217-238
• /
• 2006

In this study, we propose a virtual community recommendation model based on user behavioral models. It is designed to recommend optimal virtual communities for an active user by applying case-based reasoning (CBR) using behavioral factors suggested in the technology acceptance model (TAM) and its extensions. Also, it is designed to filter its case-base by considering the user's needs type before applying CBR. To test the usefulness of our model, we conduct two-step validation - experimental validation for the collected data, and survey validation for investigating the actual satisfaction level. Experimental results show that our model presents effective recommendation results in an efficient way. In addition, they also show that the information on the user's needs type may generate opportunities for cross-selling other commercial items.

• 공학교육연구
• /
• 제18권6호
• /
• pp.24-31
• /
• 2015

The purpose of this study is to develop the model of course evaluation design for CEA(Course-Embedded Assessment), which is focused on course level for assessment reliability. This study was conducted by the process of model development and validation according to Richey & Klein(2007)'s model development methodology. The model of this study was comprised with the three steps of learning objectives based on course outcome, assessment design and goal achievement analysis of course, which were explained by specific design principles. Also, this model was validated by two steps, which one was on the inner validation and the other was the outer validation(Richey & Klein, 2007). Considerations for designing the model of course evaluation have been suggested and a few implications were discussed.

• Near Infrared Analysis
• /
• 제1권1호
• /
• pp.1-7
• /
• 2000

A convenient algorithm for optimizing wavelength selection in multiple linear regression (MLR) has been developed. MOP (MLP Optimization Program) has been developed to test all possible MLR calibration models in a given spectral range and finally find an optimal MLR model with external validation capability. MOP generates all calibration models from all possible combinations of wavelength, and simultaneously calculates SEC (Standard Error of Calibration) and SEV (Standard Error of Validation) by predicting samples in a validation data set. Finally, with determined SEC and SEV, it calculates another parameter called SAD (Sum of SEC, SEV, and Absolute Difference between SEC and SEV: sum(SEC+SEV+Abs(SEC-SEV)). SAD is an useful parameter to find an optimal calibration model without over-fitting by simultaneously evaluating SEC, SEV, and difference of error between calibration and validation. The calibration model corresponding to the smallest SAD value is chosen as an optimum because the errors in both calibration and validation are minimal as well as similar in scale. To evaluate the capability of MOP, the determination of benzene content in unleaded gasoline has been examined. MOP successfully found the optimal calibration model and showed the better calibration and independent prediction performance compared to conventional MLR calibration.

• 대한원격탐사학회지
• /
• 제37권3호
• /
• pp.649-655
• /
• 2021

본 연구는 경주시를 대상으로 수행한 선행연구를 바탕으로 도출된 최적의 지진 취약성 평가 모델을 타 지역에 적용하여 그 성능을 교차 검증(cross-validation)하고자 한다. 테스트 지역은 2017 포항지진(Pohang Earthquake)이 발생한 포항시이며, 선행연구와 동일한 영향인자 및 피해현황 관련 데이터셋을 구축하였다. 검증 데이터 셋은 무작위로 추출해 구축하였으며, 경주시의 랜덤 포레스트(random forest, RF) 기반의 모델에 적용하여 예측 정확도를 도출하였다. 경주시의 모델(success) 및 예측(prediction) 정확도는 100%, 94.9%이며, 포항시 검증 데이터 셋을 적용해 예측 정확도를 확인한 결과 70.4%로 나타났다.

• 인터넷정보학회논문지
• /
• 제17권5호
• /
• pp.43-49
• /
• 2016

This paper presents a workflow validation method for data-intensive graphical workflow models using real-time workflow tracing mode on data-intensive workflow designer. In order to model and validate workflows, we try to divide as modes have editable mode and tracing mode on data-intensive workflow designer. We could design data-intensive workflow using drag and drop in editable-mode, otherwise we could not design but view and trace workflow model in tracing mode. We would like to focus on tracing-mode for workflow validation, and describe how to use workflow tracing on data-intensive workflow model designer. Especially, it is support data centered operation about control logics and exchange variables on workflow runtime for workflow tracing.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.1557-1565
• /
• 2009

According to the GM/RT2141, to assess the safety of vehicle, the validated the vehicle dynamic model should be applied. The validation of the vehicle model is against the static test, some kind of vehicle type test results have been used to determine the suspension characteristics and the vehicle dynamic characteristics. To validate the vehicle model and the test results, first the test results has been analysed as to specified the suspension characteristics and than the parameters to related with the test result has to be adjusted to show the same results of the test. In this process the parameters of vehicle model have been determined to show the coherence of the two results of the simulation and the test by trial & error. In this report, the optimization tool has been introduced in this model validation process and shows the efficient and well validated model.