• 터널과지하공간
• /
• 제17권6호
• /
• pp.464-474
• /
• 2007

고준위폐기물처분장의 성능 및 안전성 향상을 위해서 공학적방벽(engineered barrier)에 대한 실증이 필요하다. 우리나라 기준처분시스템에 대한 엔지니어링 규모의 실험장치(KENTEX)를 제작 설치하고, 공학적방벽에서의 열-수리-역학적 거동 규명을 위한 실증실험을 수행하였다. KENTEX 실험은 2005년 5월 31일에 시작되어 현재 성공적으로 진행 중에 있으며, 지금까지 얻어진 실험결과로부터 공학적방벽에서의 열-수리-역학적 거동에 대한 중간결론을 얻을 수 있었다. 벤토나이트 블록 내 온도는 실험 시작 후 수 주 만에 정상상태에 도달하였고, 온도분포는 히터에 가까울수록 높고 멀어질수록 낮은 값을 보였다. 수분함량은 히터 쪽보다는 지하수가 유입되는 실린더 벽면 부근에서 높은 값을 가졌고, 건조-습윤 과정에 의한 벤토나이트 블록의 수화는 측정위치에 따라 달랐다. 실험기간 동안 벤토나이트 블록에 작용하는 압력은 블록의 포화도 (그 결과, 팽윤압)이 증가할수록 증가하였다. 히터 부근에서는 벤토나이트의 열응력이나 블록 공극 내 증기압도 중요한 역할을 하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.155-157
• /
• 2005

The Electrical Test Bed(ETB) integrates the test environment, required for acceptance tests of system level, prior to FM testing. The ETB will be used for the validation of system-level functions and interface between each subsystem. The FTB supports early functional and limited performance checkout of electrical subsystems. Therefore, it provides the environment for the verification of the Flight Software including AOCS, EPS, and TC&R simulators. These ETB will be composed of engineering version of spacecraft BUS, which are laid on the laboratory table.

• 한국자동차공학회논문집
• /
• 제13권1호
• /
• pp.76-82
• /
• 2005

In this paper, validation of Driver Steering Model has been conducted. The comparison between the simulation model and vehicle test results shows that the model is very feasible for describing combined human driver and actual vehicle dynamic behaviors. The 3D vehicle model is consisted of 6-DOF sprung mass and 4-quarter car model for vehicle body dynamics. Powertrain model including differential gear and Pacejka tire model are applied. The driver steering model is also validated with vehicle test result. The driver steering model is based on angle and displacement error from the desired path, recognized by driver.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 1999년도 유체기계 연구개발 발표회 논문집
• /
• pp.141-146
• /
• 1999

The comming of high speed computers with large memory size in recent years has allowed the practical development of codes which solve the Reynolds-averaged NAvier-Stokes (RANS) equations in three dimensions. Such codes are already used by the large engine manufacturers for the advanced design of some engine components. Different computational fluid dynamics approaches and turbulence models exist, and it seems essential today to establish their degree of validity for application to typical configurations in turbomachinery. In 1993 the Turbomachinery Committee of the IGTI of ASME has issued an open invitation to predict the flow details of an isolated transonic fan rotor called as NASA ROTOR 37. This paper reports this test case.

• Communications for Statistical Applications and Methods
• /
• 제26권5호
• /
• pp.473-495
• /
• 2019

In this paper, a new extension of Lindley distribution has been introduced. Certain characterizations based on truncated moments, hazard and reverse hazard function, conditional expectation of the proposed distribution are presented. Besides, these characterizations, other statistical/mathematical properties of the proposed model are also discussed. The estimation of the parameters is performed through different classical methods of estimation. Bayes estimation is computed under gamma informative prior under the squared error loss function. The performances of all estimation methods are studied via Monte Carlo simulations in mean square error sense. The potential of the proposed model is analyzed through two data sets. A modified goodness-of-fit test using the Nikulin-Rao-Robson statistic test is investigated via two examples and is observed that the new extension might be used as an alternative lifetime model.

• 한국사회복지학
• /
• 제67권2호
• /
• pp.5-31
• /
• 2015

본 연구는 기업사회공헌활동 측정을 위한 척도를 개발하고, 신뢰도와 타당도를 검증하기 위한 것이다. 이를 위해 사회책임에 대한 국제표준인 ISO26000의 지침을 기업사회공헌활동에 적용하여 기초문항을 구성하고, 기업사회공헌 담당자를 대상으로 한 FGI와 개별면접, 자문, 예비조사를 거쳐 32개 예비문항을 선정하였다. 척도의 타당화를 위해 개발된 예비문항을 94개 기업의 사회공헌담당자를 대상으로 평가하였다. 연구결과 탐색적 요인분석을 통해 최종 6개 요인, 27개 문항을 확정하였으며, 확인적 요인분석을 통해 구성타당도와 판별타당도를 확보하였다. 또한, 알파계수방법, 측정의 표준오차, 문항분석 방법을 사용하여 신뢰도를 검증한 결과 안정적인 신뢰도를 보였다. 이러한 결과를 바탕으로 본 연구의 함의를 논하였다.

• Journal of Astronomy and Space Sciences
• /
• 제28권1호
• /
• pp.63-70
• /
• 2011

The needs for satellite formation flying are gradually increasing to perform the advanced space missions in remote sensing and observation of the space or Earth. Formation flying in low Earth orbit can perform the scientific missions that cannot be realized with a single spacecraft. One of the various techniques of satellite formation flying is the determination of the precise baselines between the satellites within the formation, which has to be in company with the precision validation. In this paper, the baseline of Gravity Recovery and Climate Experiment (GRACE) A and B was determined with the real global positioning system (GPS) measurements of GRACE satellites. And baseline precision was validated with the batch and sequential processing methods using K/Ka-band ranging system (KBR) biased range measurements. Because the proposed sequential method validate the baseline precision, removing the KBR bias with the epoch difference instead of its estimation, the validating data (KBR biased range) are independent of the data validated (GPS-baseline) and this method can be applied to the real-time precision validation. The result of sequential precision validation was 1.5~3.0 mm which is similar to the batch precision validation.

• KEPCO Journal on Electric Power and Energy
• /
• 제3권2호
• /
• pp.89-97
• /
• 2017

The substation is a critical node in the power network where power is transformed in the power generation, transmission and distribution system. The IEC 61850 is a global standard which proposes efficient substation automation by defining interoperable communication and data modelling techniques. In order to achieve this level of interoperability and automation, the IEC 61850 (Part 6) defines System Configuration description Language (SCL). The SCL is an XML based file format for defining the abstract model of primary and secondary substation equipment, communications systems and also the relationship between them. It enables the interoperable exchange of data during substation engineering by standardizing the description of applications at different stages of the engineering process. To achieve the seamless interoperability, multi-vendor devices are required to adhere completely to the IEC 61850. This paper proposes an efficient algorithm required for verifying the interoperability of multi-vendor devices by checking the adherence of the SCL file to specifications of the standard. Our proposed SCL validation algorithm consists of schema validation and other functionalities including information model validation using UML data model, the Vendor Defined Extension model validation, the User Defined Rule validation and the IED Engineering Table (IET) consistency validation. It also integrates the standard UCAIUG (Utility Communication Architecture International Users Group) Procedure validation for quality assurance testing. Our proposed algorithm is not only flexible and efficient in terms of ensuring interoperable functionality of tested devices, it is also convenient for use by system integrators and test engineers.

• Korean Chemical Engineering Research
• /
• 제59권4호
• /
• pp.532-541
• /
• 2021

최근 인공지능에 대한 관심이 높아짐에 따라 화학공정분야에서도 인공지능을 활용한 연구가 많아지고 있다. 그러나 인공지능 기반 모델이 충분히 일반화되지 않아 학습에 이용되지 않은 새로운 데이터에 대한 예측률이 떨어지는 과적합 현상이 빈번하게 일어나고 있으며, 교차검증은 과적합을 해결하는 방법 중 하나이다. 본 연구에서는 2,3-BDO 분리 공정 온도 예측 모델의 초매개변수 중에서 배치 개수와 반복횟수를 조정하기 위해 시계열 교차검증을 적용하고 일반적으로 사용되는 K 겹 교차검증과 비교하였다. 결과적으로 K 겹 교차검증을 사용했을 때 보다 시계열 교차검증 방식을 사용했을 때 MAPE는 0.61% 증가한 반면 RMSE는 9.06% 감소하였고 학습 시간은 198.29초 적게 소요되었다.

• 정보보호학회논문지
• /
• 제11권2호
• /
• pp.45-58
• /
• 2001

암호기술 검증에 대한 연구는 암호 알고리즘의 안전성 및 신뢰성을 검증하는데 집중되어 있는 경우가 대부분이다. 그러나 정보보호 시스템의 수준 향상과 안전성 신뢰성 확보를 위해서는 암호기술 자체에 대한 검증뿐만 아니라, 암호기술을 구현한 구현물에 대한 검증이 필요하다. 특히, 암호기술에 대해서 국내외적으로 폭 넓은 표준화가 진행되고 있는 가운데, 이들 기술표준을 정화하게 구현하는 것은 정보보호 시스템의 안전성 및 신뢰성 향상을 가져올 뿐만 아니라, 정보보호 시스템 간의 상호연동성 확보 및 사용자 편익 증대라는 면에서도 매우 중요하다. 본 논문에서는 RSA, KCDSA, SHA-1, HAS-160 등 국내 공인인증체계 기술표준으로 적용되고 있는 암호기술의 구현물이 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 검증도구를 설계 및 구현하였다. 각각의 암호기술에 내한 검증은 여러 개의 세부항목으로 구성되어 있고, 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 검증 대상이 원격에 위치한 상태에서 검증을 수행한 수 있도록 하였다. 본 논문에서 설계 및 구현한 검증도구는 RSA, KCDSA, SHA-1, HAS-160 등을 구현한 모든 보안 제품에 적용할 수 있으며, 각종 암호제품의 평가 및 인증에 활용한 수 있을 것으로 기대된다.