• 사물인터넷융복합논문지
• /
• 제8권5호
• /
• pp.33-39
• /
• 2022

모바일 컴퓨팅 분야에서 사용되는 저장장치는 저전력, 경량화, 내구성 등을 갖추어야 하며 사용자에 의해 생성되는 대용량 데이터를 효과적으로 저장 및 관리할 수 있어야 한다. 낸드 플래시 메모리는 모바일 컴퓨팅 분야에서 저장장치로 주로 사용되고 있다. 낸드 플래시 메모리는 구조적 특징 때문에 데이터 갱신요청 시 제자리 덮어쓰기가 불가능하여 데이터 갱신요청이 자주 발생하는 요청과 그렇지 않은 요청을 정확히 구분하여 각 블록에 저장 및 관리함으로써 해결할 수 있다. 이러한 데이터 갱신요청에 분류기법을 핫 데이터 식별 기법이라고 하며 현재 다양한 연구가 진행되었다. 본 논문은 더 정확한 핫 데이터 검증을 위해 카운팅 필터를 사용하여 데이터 갱신요청 발생을 연속적으로 기록하고 또한 특정 시간 동안 요청된 갱신요청이 얼마나 자주 발생하는지를 고려하여 핫 데이터를 검증한다.

• 대한안전경영과학회지
• /
• 제15권3호
• /
• pp.61-69
• /
• 2013

According to ISO 26262 (the international standard on functional safety for automotive industry), the functional safety should be considered during the whole automotive systems life cycle from the design phase throughout the production phase. In order to satisfy the standard, the automotive and related industry needs to take appropriate actions while carrying out a variety of development activities. This paper presents an approach to coping with the standard. Analyzing the standard indicates that the safety issues of the automotive systems should be handled with a system's view whereas the conventional approach to solving the issues has been practiced with focus on the component's level. The aforementioned system's view implies that the functional safety shall be incorporated in the system design from both the system's life-cycle view and the hierarchical view for the structure. In light of this, the systems engineering framework can be quite appropriate in the functional safety development and thus has been taken in this paper as a problem solving approach. Of various design issues, the analysis and verification of the safety requirements for functional safety is a key study subject of the paper. Note, in particular, that the conventional FMEA (failure mode effects analysis) and FTA (fault tree analysis) methods seem to be partly relying on the insufficient experience and knowledge of the engineers. To improve this, a systematic method is studied here and the result is applied in the design of an ABS braking system as a case study.

• 한국안전학회지
• /
• 제27권5호
• /
• pp.219-223
• /
• 2012

For an off-site consequence analysis at nuclear power plant, MELCOR Accident Consequence Code System(MACCS) II code is widely used as a software tool. In this study, the algorithm of web-based off-site consequence analysis program(OSCAP) using the MACCS II code was developed for an Integrated Leak Rate Test (ILRT) interval extension and Level 3 probabilistic safety assessment(PSA), and verification and validation(V&V) of the program was performed. The main input data for the MACCS II code are meteorological, population distribution and source term information. However, it requires lots of time and efforts to generate the main input data for an off-site consequence analysis using the MACCS II code. For example, the meteorological data are collected from each nuclear power site in real time, but the formats of the raw data collected are different from each site. To reduce the efforts and time for risk assessments, the web-based OSCAP has an automatic processing module which converts the format of the raw data collected from each site to the input data format of the MACCS II code. The program also provides an automatic function of converting the latest population data from Statistics Korea, the National Statistical Office, to the population distribution input data format of the MACCS II code. For the source term data, the program includes the release fraction of each source term category resulting from modular accident analysis program(MAAP) code analysis and the core inventory data from ORIGEN. These analysis results of each plant in Korea are stored in a database module of the web-based OSCAP, so the user can select the defaulted source term data of each plant without handling source term input data.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.975-977
• /
• 2013

아두이노는 오픈 소스 기반 전자 프로토타이핑 플랫폼으로서, 예술가, 디자이너, 취미 활동가 등 인터랙티브 객체 또는 환경 구축에 관심이 있는 모든 이들을 위해 제작되었다. 아두이노의 강점은 하드웨어에 대한 깊은 지식이 없어도 손쉽게 하드웨어 어플리케이션을 제작할 수 있다. 아두이노의 구성은 AVR 마이크로컨트롤러 ATmega 168을 사용하며 아두이노를 동작시키기 위한 소프트웨어로는 아두이노 프로그램, MATLAB, Processing을 주로 사용하고 있다. 아두이노는 오픈 소스 기반이며 하드웨어를 직접 제작할 수 있거나 실드를 이용하여 추가적으로 아두이노를 결합할 수도 있다. Processing은 오픈 소스로 공개되어 있으며 2D, 3D, PDF 출력을 사용할 수 있으며 그래픽 처리 부분은 P3D와 OpenGL을 사용한다. 또한 독립 응용프로그램을 실행해서 확인할 수 있다. 아두이노의 결합을 통해 사운드, 비디오, 컴퓨터 비전 등 수 많은 라이브러리 지원을 확장할 수 있으며 안드로이드폰과 아이폰 프로그래밍이 가능한 프로그램이다. 본 논문에서는 소프트웨어 부분은 Processing을 사용하였고 하드웨어 부분은 아두이노 MegaADK 보드를 사용하였으며 이 소프트웨어와 하드웨어를 이용하여 간단한 2차원 게임을 제작한 후 전체적인 아두이노와 Processing의 그래픽 처리 성능을 확인하고 검증하였다.

• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.451-460
• /
• 2011

지속적으로 변경되는 소프트웨어 산출물들의 변경 이력과 의존 관계를 추적하는 능력은 소프트웨어 시스템 개발 프로세스에서 확인 및 검증, 시험과 같은 품질관리 활동들을 지원하는 중요한 요소로 인식되고 있다. 일반적인 소프트웨어 형상관리 시스템들은 산출물에 대한 추적 정보를 형상관리 시스템 내에서만 제공하고 있으며 개인의 작업공간에서 발생한 개별적인 변경까지 추적하는 기능은 지원하지 못하고 있다. 본 연구를 통해 형상관리 시스템과 개인의 작업공간을 통합함으로써 형상항목에 대한 변경뿐만 아니라 개인의 작업공간에 존재하는 산출물들의 변경 이력까지 추적할 수 있도록 하였다. 더 나아가 소프트웨어 산출물들이 동시에 생성되어 하나의 형상항목에 포함되는 경우 이들 산출물들의 버전 링크를 식별함으로써 산출물들 사이의 의존 관계를 추적할 수 있도록 하였다. 형상관리 시스템과 개인 작업공간의 통합을 위해 형상항목의 수정버전(revision)을 작업공간에 존재하는 산출물들의 버전에 태그로 연결시켰으며, 통합 변경 과정에서 산출물들에 대한 변경 이력 및 의존 관계의 효율적인 추적이 가능하도록 하였다.

• 한국항공우주학회지
• /
• 제48권8호
• /
• pp.631-640
• /
• 2020

현재 항공기 시뮬레이터는 실제 항공기를 이용한 조종사 훈련에 비해 경제적, 시간적 및 공간적 비용 측면에서 상당한 이점을 가지고 있어서 많은 관심을 받고 있다. 항공기 시뮬레이터의 구성 요소 중 비행역학 모델은 실제 항공기의 비행을 모의하는데 중요한 역할을 한다. 따라서 자동화된 도구를 사용하여 비행역학 모델의 충실도를 검증하는 것은 중요한 의미를 지닌다. 본 논문에서는 항공기 시뮬레이터의 효율적인 개발을 위하여 비행역학 모델의 충실도를 자동 검증하는 소프트웨어를 개발한다. 충실도 검증 프로세스로부터 도출된 요구사항에 대하여 소프트웨어 구조 및 GUI를 설계한 다음 Window 기반 환경에서 C# 언어를 이용하여 소프트웨어를 구현한다. CTSW 기종에 대한 실험 결과는 개발된 소프트웨어가 기능 및 성능, 그리고 사용자 편의성 측면에서 효과적임을 보여준다.

• 한국전자파학회논문지
• /
• 제27권10호
• /
• pp.917-925
• /
• 2016

슈미트 트리거 로직(Schmitt Trigger Logic)은 디지털 회로의 노이즈에 대한 내성을 향상시키기 위해 히스테리시스 특성을 보이는 게이트를 제안한 설계 방법이다. 슈미트 트리거 특성을 보이는 설계 방법 중 최근에 제안된 substrate bias를 조정하여 구현하는 Dynamic Threshold voltage MOS(DTMOS) 방법을 사용할 경우, 게이트 수를 늘이지 않고 내성을 향상 시킬 수 있는 설계방법이나, 범용 CMOS 공정에서 구현하여 시뮬레이션으로 예상하는 성능을 얻을 수 있는지는 검증되지 않았다. 본 연구에서는 $0.18{\mu}m$ CMOS 공정에서 DTMOS 설계 방법을 구현하여 히스테리시스 특성을 측정하여 검증하였다. DTMOS 슈미트 트리거 버퍼, 인버터, 낸드, 노어 게이트 및 간단한 디지털 로직 회로를 제작하였으며, 히스테리시스 특성, 전력 소모, 딜레이 등의 특성들을 관찰하고, 일반적인 CMOS 게이트로 구현된 회로와 비교하였다. 노이즈에 대한 내성이 향상되는 것을 Direct Power Injection(DPI) 실험을 통해 확인하였다. 본 논문을 통해 제작된 DTMOS 슈미트 트리거 로직은 10 M~1 GHz 영역에서 전자파 내성이 향상된 것을 확인할 수 있었다.

• 전기학회논문지
• /
• 제66권6호
• /
• pp.885-891
• /
• 2017

The energy storage system(ESS) is a core component for exchanging the power system structure of the unidirectional power flow into a bidirectional structure. Its important role has been increasing because it has multiple functions such as output stabilization of new renewable energy, demand management, frequency regulation, etc. However, the performance evaluation technology of ESS in korea is lower than one of advanced countries and the recognition of standardization is also lack compared to advanced countries. 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 devices but also performance verification by S/W tool. Therefore, in order to verify the performance testing of ESS by S/W tool, this paper proposes the modeling method of performance testing devices for MW scaled ESS by using the PSCAD/EMTDC S/W, based on real testing devices in domestic institute. From the simulation results of proposed modeling method, it is confirmed that the proposed modeling method is a useful tool for performance validation of ESS.

• 한국시뮬레이션학회논문지
• /
• 제24권3호
• /
• pp.97-105
• /
• 2015

본 논문은 시뮬레이션을 기반으로 자체 구동 롤러 컨베이어 물류시스템의 전력 효율을 분석하는 연구이다. 물류 시스템의 전력 효율 향상은 온실 가스 배출과 물류 비용을 감소시키는 이점을 가져온다. 자체 구동 롤러 컨베이어는 제품이 접근할 때에만 구동이 된다. 따라서 자체 구동 롤러 컨베이어 기반 시스템은 연속 구동 롤러 컨베이어 시스템에 비해 더 적은 전력을 소비한다. 본 논문에서는 DEVS(이산 사건 기반 시스템) 기반의 시뮬레이션 시스템을 설계하고 자체 구동 롤러와 연속 구동 롤러컨베이어 모델을 구축하였다. 설계된 시뮬레이션시스템과 컨베이어 모델의 검증과 확인을 위해 우리는 실험 환경에 대응하는 물류 모델을 모델링하고 모델과 실제 시스템간의 비교를 하였다. 본 연구의 주된 목적은 시뮬레이션 방법을 사용하여 자체구동 롤러 컨베이어 기반 물류 시스템의 전력 소비의 이점을 설명하는 것이다.

• 한국건설관리학회논문집
• /
• 제23권2호
• /
• pp.3-15
• /
• 2022

본 연구에서는 모듈러 공법 기반 강교 건설공사에 대해 공급사슬 관리를 위한 시뮬레이션 모형을 개발한다. 이를 위해, 우선 강교 건설에 대한 공장 제작/현장 시공 체계 자료를 수집한 후, 이를 바탕으로 공급사슬, 개체, 자원, 공정 등을 정의하였다. 이후, Arena 소프트웨어를 이용하여 데이터, 플로차트, 애니메이션 모듈을 작성함으로써 강교 공급사슬 시뮬레이션 모형을 개발하였다. 마지막으로, 개발된 모형의 논리성 검증과 유효성 확인을 위한 애니메이션 검증, 극한 조건 검증, 평균값 확인, 리틀의 법칙 확인, 사례 실적값 확인 등의 방법론을 이용하여 모형의 타당성을 검토하였다. 검토 결과, 개발된 시뮬레이션 모형은 논리적 오류 없이 강교 공급사슬의 공정과 특성을 적합하게 표현하며, 분석 대상 공급사슬에 대한 정확한 성능평가척도 예측치를 제공하였다. 향후, 본 연구에서 개발된 시뮬레이션 모형은 강교 공급사슬 체계를 최적으로 운영하기 위한 관리기법을 개발함에 있어 성능 평가 플랫폼으로서의 역할을 충실히 수행할 수 있을 것이다.