• 디지털융복합연구
• /
• 제13권4호
• /
• pp.205-210
• /
• 2015

자동차산업의 발전과 함께 M2M(Machine-to-Machine)통신이 자동차 산업분야에서 많은 관심이 되고 있다. M2M은 기상, 환경, 물류, 국방, 농.축산 등에서 사용하기 시작하여 장비들이 자동으로 상황에 맞추어 통신을 하고 상황에 맞는 동작을 함으로써 운영해가는 시스템이다. 자동차에서도 차량내부 장치 간, 차대 차, 차와 교통시설물, 차와 주변의 환경 등에 적용되고 있다. 그러나 통신시스템의 특성상 전송구간에서 공격자의 공격에 대한 문제가 있으며 자동차의 운행, 제어계통 및 엔진제어 등에 공격자의 공격이 진행되면 안전에 심각한 문제가 발생하게 된다. 따라서 디바이스 간 보안통신에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 차량의 디바이스간 안전한 통신을 위해 해시함수 및 수학적 복잡한 공식을 이용하여 프로토콜을 설계하였으며 프로토콜 정형검증 도구인 Casper/FDR을 이용하여 실험하였으며 제안한 프로토콜이 각종 공격에 안전하게 동작되며 실제 적용할 때 효과적임을 확인하였다.

• 대한기계학회논문집A
• /
• 제33권11호
• /
• pp.1279-1287
• /
• 2009

An increasingly competitive business environment has been concentrated on industries to reduce the operating costs. Industries such as gas, oil, petrochemical, chemical, and electric power have employed for the operation and used for large equipment or structures that require a high capital investment. In order to meet these requirements, the industries are increasingly moving toward saving the experimental verification and computer simulation. Therefore industries to reduce the maintenance costs without compromising the operational safety have been forced on finding for better and more efficient methods to inspect their equipment and structures. In this study, it focused on the development the real-time non-contract monitoring system as an efficient tool for the experimental study of weld defects based on the relationship between the measured voltage and input parameters.

• 한국기계가공학회지
• /
• 제12권1호
• /
• pp.63-69
• /
• 2013

Many researchers are trying to reduce the use of lubrication fluids in metal cutting to obtain safety, environmental and economical benefits. The aim of this study is to determine the optimization lubrication conditions in minimum quantity lubrication(MQL) turning of workpieces with taper angle. This study has been considered about various conditions of MQL. The objective functions are cutting force and surface roughness. Design factors are nozzle diameter, nozzle angle, MQL supply pressure, distance between tool and nozzle and length of supply line. The cutting force and surface roughness were statistically analyzed by the use of the Box-Behnken method. As a results, optimum lubrication conditions were suggested and verification experiment has been performed. The results of this study are expected to help the selection of lubrication conditions in MQL turning.

• Nuclear Engineering and Technology
• /
• 제28권6호
• /
• pp.507-521
• /
• 1996

Quantification of uncertainties in the source term estimations by a large computer code, such as MELCOR and MAAP, is an essential process of the current Probabilistic safety assessment. The main objective of the present study is to investigate the applicability of a combined procedure of the response surface method (RSM) based on input determined from a statistical design and the Latin hypercube sampling (LHS) technique for the uncertainty analysis of CsI release fractions under a Hypothetical severe accident sequence of a station blackout at Younggwang nuclear power plant using MAAP3. OB code as a benchmark problem. On the basis of the results obtained in the present work, the RSM is recommended to be used as a principal tool for an overall uncertainty analysis in source term quantifications, while using the LHS in the calculations of standardized regression coefficients (SRC) and standardized rank regression coefficient (SRRC) to determine the subset of the most important input parameters in the final screening step and to check the cumulative distribution functions obtained by RSM. Verification of the response surface model for its sufficient accuracy is a prerequisite for the reliability of the final results that can be obtained by the combined procedure proposed in the present work.

• 설비공학논문집
• /
• 제22권11호
• /
• pp.745-750
• /
• 2010

Since the implementation of the LMO Law in Korea, the importance of the design qualification of BSL3 lab. is emphasizing. In this study, multizone simulation for three kind of biohazard scenarios using CONTAM is performed for design qualification of BSL3 lab. Also, in the case of unexpected spread of contaminants such as Influenza A virus(H1N1) in BL3 zone, the design qualification is carried out for diffusion and decontamination of contaminants according to differential pressure of BSL3 anteroom and door area of BSL3 lab. Also, in this study, appropriateness of laboratory room differential pressure and air flow rate to maintain pressure difference between laboratory rooms, and energy consumption due to air change rate variation according to door area in BL3 lab. Simulation results show that these approach methods are used as a tool for the design and verification of BL3 lab.

• 전기학회논문지
• /
• 제67권6호
• /
• pp.715-723
• /
• 2018

The energy storage system consists of batteries, power conditioning system and energy management system. If ESS is installed and operated in the field, SAT(Site Acceptance Test) of ESS is being essentially required for the safety and performance of ESS. Furthermore, in order to more accurately and reliably validate the performance of the ESS in advanced countries, it has been required to perform not only performance testing by H/W equipments but also performance verification by S/W tool. Therefore, this paper proposes the modeling of portable test equipment in order to evaluate the performance and reliability of ESS by using the PSCAD/EMTDC S/W. And also, the prototype of 30[kW] scaled portable test equipments is implemented based on the S/W modeling. From the results of various simulations and testings such as power quality, LVRT and anti-islanding tests, it is confirmed that 30[kW] scaled portable test equipment is useful for SAT of ESS, because the simulation results of PSCAD/EMTDC are identical to them of 30[kW] test equipment at the same test conditions.

• 한국식품위생안전성학회지
• /
• 제36권1호
• /
• pp.42-50
• /
• 2021

외식산업의 급속한 성장과 함께 호텔을 비롯한 외식업체에서는 식품안전 요구 및 위생에 대한 중요성 이 증가하고 있다. 이에 현장에서 위생상태를 판단할 수 있는 신속하고 실용적인 모니터링기법이 요구된다. 본 연구는 국내5성급 호텔 5군데를 대상으로 개인위생(작업자의 손), 조리기구(칼, 도마, 식품보관용기, 슬라이스 머신 칼날, 제빙기 스쿱), 시설·설비(냉장고 손잡이, 작업대, 싱크대), 고객 접점항목(뷔페용 집게)에 대한 위생관리 실태를 조사하였고 그에 대한 검증법인 ATP 값의 상관관계를 도출하고자 하였다. 5개 호텔의 위생관리 실태조사 결과, 다른 검사 항목보다 상대적으로 조리기구 및 개인위생 결과가 비교적 위생적으로 관리되고 있었으며(조리기구 92.2%, 개인위생 91.4%, 시설·설비 76.19%, 고객 접점항목 88.6%)으로 시설·설비는 비교적 미흡한 것으로 나타났다. ATP검사 결과, 조리 기구(51±45 RLU/25 ㎠)는 시설·설비(167±123 RLU/25 ㎠)보다 비교적 위생적으로 잘 관리되었다. 위생실태 조사 결과 점수와 ATP 값의 상관성 분석을 실시한 결과, 각 호텔 별 작업자 손, 조리기구, 시설·설비의 대부분 음의 상관관계를 가지며 높은 상관성(-0.64 - -0.89)을 보였다. 또한 이번 연구에서 각 검사 항목의 평소 상태의 ATP 값(1020±1254 RLU/25 ㎠)에 비해 세척 후 ATP 값(92±67 RLU/25 ㎠)이 현저히 감소되어 세척의 유효성을 확인하는 도구로 적합성을 확인할 수 있었다. 호텔을 비롯한 외식업체에서 수행하는 주관적인 위생실태조사와 ATP 검사법을 병행한다면, 실시간으로 보이지 않는 오염물질의 객관적인 수치화를 통해 식품사고 발생을 예방하기 위한 효과적인 모니터링 방법이 될 것으로 사료된다.

• 한국재난정보학회 논문집
• /
• 제19권1호
• /
• pp.195-203
• /
• 2023

연구목적: 본 연구에서는 철도관계기관의 종사자들을 대상으로 사업연속성 인식의 하위 요인에 대한 측정/분석을 통해 사업연속성 인식 도구의 타당성을 확인하고자 한다. 연구방법: 선행연구를 바탕으로 한 사업연속성 인식 측정도구에 대해 하위 요인을 7개로 구분한 총 29개 문항을 이용하여 철도관계기 관의 임직원 대상 온라인 설문 및 방문 설문을 실시하였다. 연구결과: 탐색적 요인분석의 결과를 보았을때, 사업연속성 인식 척도는 이론적 근거를 통해 가정한 요인 수는 7요인으로 추출되었고 전체 설명량은 82.616%였다. 요인별로 문항 확인 시 모든 문항이 기존에 측정하고자 한 요인으로 부하됨을 확인할 수 있었다. 결론: 본 연구를 통해 조직의 이해, 리더십, 기획, 운영, 지원, 실적평가, 개선을 하위 요인으로 하는 철도기관의 사업연속성 인식에 대한 측정도구가 탐색적 요인분석을 통해 타당도가 있음을 확인하였다. 향후 과제로는 재난 관련 기관에서 사업연속성계획의 실질적인 작동성 유지 및 고도화를 위해 본 도구를 변수로 사용한 사업연속성 내재화, 조직효과성, 학습지원환경 등과의 구조적인 관계 연구가 필요하다.

• 디지털융복합연구
• /
• 제20권2호
• /
• pp.9-20
• /
• 2022

공급망 공격은 주요기반시설을 타겟하여 피해 규모가 크고 공공 안전 및 국가안보를 위협하는 요소로 진화하고 있다. 이에 사이버안보 전략 및 정책 수립 시 공급망 위험관리를 명시하여 보안성을 제고하고 있으며, 2021년 미(美) 바이든 행정부가 발표한 국가 사이버안보 강화를 위한 행정명령에서는 소프트웨어 공급망 보안 강화를 위한 지침 중 일부로 SBOM을 언급하였다. 정부 차원에서 SBOM을 의무화하여 공급망 보안 검증 도구로 활용한다면, 향후 국내 조달체계에도 영향을 받을 수 있으며 정책 시행 경과에 따라 국내 공급망 보안 체계 수립 시에도 참고 가능할 것으로 보인다. 이에 따라 본 논문에서는 소프트웨어 공급망 보안 강화 방안으로써 SBOM 정책을 추진 중인 국가를 선정하여 관련 사례를 중점으로 분석하였다. 또한, 국외 SBOM 정책 동향의 비교·분석을 통하여 국내 SBOM 도입 시 기술, 정책, 법률측면에서의 활용 방안을 고찰하였다. 향후 공급망 무결성·투명성 검증 도구로 SBOM의 활용 가치가 기대되는바 SBOM에 대한 국제적 표준화 정립 및 정책 개발에 관한 지속적인 동향 파악과 표준 형식 개발 연구가 요구된다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권12호
• /
• pp.615-622
• /
• 2016

차량전장용 제어 소프트웨어는 표준에 명시된 시스템 호출 제약사항을 위배할 경우 심각한 안전성 위협을 초래할 수 있다. 그러나 제약사항 위배는 실행경로가 복잡해질 경우 수동분석으로 색출하기 어렵고 테스팅을 통해 찾아내기도 어려워 이에 특화된 검증 방법이 필요하다. 본 연구에서는 차량전장용 제어 소프트웨어의 시스템 호출 제약사항 위배 여부를 효과적으로 검증하기 위한 두 가지 방법을 소개하고 그 효과를 실험적으로 비교하였다. 첫 번째 방법은 애플리케이션의 모든 가능한 실행경로를 탐색하고 각 경로의 제약사항 준수여부를 확인하는 방법이며, 두 번째 방법은 모델 검증 도구를 이용하여 애플리케이션이 오토마타로 표현된 제약사항을 위배하는 경우가 발생가능한지 확인하는 방법이다. 각 방법을 구현하고 실험한 결과 실행경로를 이용한 방법은 오탐을 유발하고 몇 가지 제약사항 위반을 놓치는 경우가 있는데 반해서 모델 검증을 이용한 방법은 오탐이 없었으며 비교적 큰 애플리케이션을 대상으로 보다 빠른 시간 내에 검증을 수행할 수 있음을 보였다.