• 정보보호학회논문지
• /
• 제29권4호
• /
• pp.821-834
• /
• 2019

사이버 보안위협이 증가하면서 시스템 보안 수준이 보증된 고신뢰 시스템에 대한 수요가 증가하고 있다. 정보보호제품에 대한 평가 인증 국제 표준인 공통평가기준(CC: Common Criteria)은 고등급 보안 수준을 보증하기 위해 시스템에 대한 정형명세 및 검증을 요구하고 있으며 점차 이를 준수하는 사례가 증가하고 있다. 본 논문에서는 고등급 보안 수준을 보증하기 위해 다양한 분야에 적용 가능하며 고신뢰 수준을 요구하는 드론시스템에 대한 보안 위협을 도출한다. 그 결과를 기반으로 시스템 커널 내 스케줄링 측면에서 개선된 시스템 모델을 Z/EVES를 활용하여 정형명세 및 검증을 진행함으로써 고신뢰 드론시스템에 적용 가능한 스케줄링 방식을 제안한다.

• Nuclear Engineering and Technology
• /
• 제50권8호
• /
• pp.1306-1313
• /
• 2018

The randomness and incipient nature of certain faults in reactor systems warrant a robust and dynamic detection mechanism. Existing models and methods for fault diagnosis using different mathematical/statistical inferences lack incipient and novel faults detection capability. To this end, we propose a fault diagnosis method that utilizes the flexibility of data-driven Support Vector Machine (SVM) for component-level fault diagnosis. The technique integrates separately-built, separately-trained, specialized SVM modules capable of component-level fault diagnosis into a coherent intelligent system, with each SVM module monitoring sub-units of the reactor coolant system. To evaluate the model, marginal faults selected from the failure mode and effect analysis (FMEA) are simulated in the steam generator and pressure boundary of the Chinese CNP300 PWR (Qinshan I NPP) reactor coolant system, using a best-estimate thermal-hydraulic code, RELAP5/SCDAP Mod4.0. Multiclass SVM model is trained with component level parameters that represent the steady state and selected faults in the components. For optimization purposes, we considered and compared the performances of different multiclass models in MATLAB, using different coding matrices, as well as different kernel functions on the representative data derived from the simulation of Qinshan I NPP. An optimum predictive model - the Error Correcting Output Code (ECOC) with TenaryComplete coding matrix - was obtained from experiments, and utilized to diagnose the incipient faults. Some of the important diagnostic results and heuristic model evaluation methods are presented in this paper.

• 한국수자원학회논문집
• /
• 제51권11호
• /
• pp.1011-1020
• /
• 2018

본 연구에서는 미급수지역의 주요 수원인 지하수위 현황을 이용한 가뭄 모니터링 기법을 개발하기 위해 256개의 국가지하수관측망 관측 자료를 이용하여 관측소별, 월별 수위분포를 핵밀도함수로 추정하였다. 추정된 누적분포함수를 이용하여 월별 지하수위의 분위수를 구하고, 분위수를 정규화 하여 표준지하수지수(SGI)를 산정하였다. 관측소별로 산정된 SGI는 티센망을 이용하여 167개 시군별 SGI로 변환하였다. SGI의 범위에 따른 가뭄등급을 설정하여 시군별 지하수 가뭄 정도를 모니터링 할 수 있는 기법을 제시하였다. 이를 통해 계측이 이루어지지 않는 미급수지역의 지하수가뭄상황을 국가지하수관측망을 활용해 간접적으로 판단할 수 있도록 하였다.

• 한국콘텐츠학회논문지
• /
• 제11권7호
• /
• pp.51-59
• /
• 2011

미래 시장을 선도할 핵심 분야로 지능형 서비스 로봇을 꼽을 수 있으며, 지능형 서비스 로봇은 인간과 공존하면서 육체적, 정신적, 감성적으로 인간을 보조하는 로봇이다. 지능형 서비스 로봇은 인간과 밀접한 관계를 맺으며 동작하기 때문에 지능형 서비스 로봇이 제공하는 핵심 서비스의 안정적인 수행은 로봇 사용자의 안전을 보장하기 위한 필수적인 고려사항이다. 이러한 안전성을 위해서는 정해진 시간마다 주기적으로 핵심 서비스를 수행시키는 실시간성이 필수 불가결한 요소이다. 현재 많은 로봇 컴포넌트들이 개발의 편의성을 위해 범용 운영체제인 윈도우를 사용하지만, 윈도우는 실시간성을 지원하지 않는 문제점이 있으며 실시간성 제공을 위해 RTX나 INtime과 같은 고가의 써드파티를 별도로 설치하여 사용해야 한다. 또한 로봇 컴포넌트는 유저 레벨에서 동작하기 때문에 유저영역에서 실시간성을 제공할 수 있는 방법에 대한 연구가 필요하다. 본 논문에서는 범용 운영체제 윈도우의 커널 레벨에서 실시간성을 제공하는 RTiK을 이용하여 유저 레벨에서 동작하는 함수를 주기적으로 동작시키는 방법을 설계 및 구현하였다.

• 한국통신학회논문지
• /
• 제29권1C호
• /
• pp.102-110
• /
• 2004

본 논문에서는 이차원 이산 웨이블릿 변환을 이용한 실시간 영상 압축 및 복원 프로세서의 구조를 제안하고 ASIC(Application specific integrated circuit) 라이브러리를 이용하여 최소의 하드웨어로 구현하였다. 구현된 하드웨어에서 데이터 패스부는 웨이블릿 변환과 역변환을 수행하는 DWT 커널(Kernel)부, 양자화기 및 역양자화기, 허프만 엔코더 및 디코더, 웨이블릿 역변환 시 계수의 덧셈을 수행하는 덧셈기 및 버퍼, 그리고 입출력을 위한 인터페이스와 버퍼로 구성하였다. 제어부는 프로그래밍 레지스터와 명령어를 디코딩하여 제어 신호를 생성하는 주 제어부, 그리고 상태를 외부로 알리는 상태 레지스터로 구성된다. 프로그래밍 조건에 따라서 영상을 압축할 때의 출력은 웨이블릿 계수, 양자화 계수 혹은 양자화 인덱스, 그리고 허프만 코드 중에서 선택하여 발생할 수 있고 영상을 복원할 때의 출력은 허프만 디코딩 결과, 복원된 양자화 계수 그리고 복원된 웨이블릿 계수 중에서 선택하여 발생할 수 있다. 프로그래밍 레지스터는 총 16개로 구성되어 있는데 각각이 한번의 수직 혹은 수평 방향의 웨이블릿 변환을 수행할 수 있고 각각의 레지스터들이 차례대로 동작하기 때문에 4 레벨의 웨이브릿 변환을 한번의 프로그래밍으로 수행가능하다. 구현된 하드웨어는 Hynix 0.35m CMOS 공정의 합성 라이브러리를 가지고 Synopsys 합성툴을 이용하여 게이트 레벨의 네트리스트(Netlist)를 추출하였고 이 네트리스트로부터 Vela 툴을 이용하여 타이밍정보를 추출하였다. 추출된 네트리스트와 타이밍정보(sdf 파일)를 입력으로 하여 NC-Verilog를 이용하여 타이밍 시뮬레이션을 수행하여 구현된 회로를 검증하였다. 또한 Apollo 툴을 이용하여 PNR(Place and route) 및 레이아웃을 수행하였다. 구현된 회로는 약 5만 게이트의 적은 하드웨어 자원을 가지고 최대 80MHz에서 동작 가능하였다.

• 한국전산구조공학회논문집
• /
• 제27권3호
• /
• pp.137-145
• /
• 2014

본 논문에서는 브리징 스케일 분해를 기반으로 멀티스케일 문제에 대한 설계민감도 해석법을 개발하였다. 나노 기술의 급속한 발전으로 인해 나노 수준의 해석의 필요성이 지속적으로 증가하고 있다. 최근 분자동역학과 연속체역학의 연성문제에서 많은 해석 방법들이 개발되었다. 본 논문에서는 연성시스템 해석을 위해 브리징 스케일 기법을 사용한다. 전체 영역의 분자동역학 시스템의 해석은 많은 양의 계산 비용이 들기때문에 분자동역학과 연속체 시뮬레이션의 연성시스템을 선호한다. 분자동역학과 연속체 수준 사이의 정보 교환은 분자동역학과 연속체의 경계에서 일어난다. 브리징 스케일 법에서 일반화된 랑지벵 방정식은 축소된 영역의 분자동역학 시스템 해석을 위하여 요구되고, 시간이력 커널을 사용하여 구한 GLE 힘은 분자동역학 시스템에서 경계에 있는 원자들에 작용한다. 그러므로 분자동역학과 연속체 수준의 시뮬레이션을 분리해서 해석할 수 있으며 계산 과정을 가속시킬 수 있다. 연성문제의 시뮬레이션 이후에는 설계의 최적화를 위해 설계민감도 해석의 필요성이 자연스럽게 나타나며 전체 시스템의 성능은 나노 스케일의 효과를 고려해서 최적화된다. 설계구배 기반 최적화에서 설계민감도가 요구되지만 유한차분법으로 구한 민감도는 문제가 대형화될 때 계산비용의 제한때문에 비실용적이나 해석적 설계민감도는 효율적인 강점을 갖는다. 본 연구에서는 연성된 분자동역학-연속체 멀티스케일 문제에서 해석적 설계민감도를 유도하여 정확성과 향후 최적설계로의 활용 가능성을 확인하였다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.701-713
• /
• 2021

Race Condition은 둘 이상의 프로세스가 하나의 공통 자원에 대해 입력이나 조작이 동시에 일어나 의도치 않은 결과를 가져오는 취약점이다. 해당 취약점은 서비스 거부 또는 권한 상승과 같은 문제를 초래할 수 있다. 소프트웨어에서 취약점이 발생하면 관련된 정보를 문서화하지만 종종 취약점의 발생 원인을 밝히지 않거나 소스코드를 공개하지 않는 경우가 있다. 이런 경우, 취약점을 탐지하기 위해서는 바이너리 레벨에서의 분석이 필요하다. 본 논문은 UNIX 커널기반 File System의 Time-Of-Check Time-Of-Use (TOCTOU) Race Condition 취약점을 바이너리 레벨에서 탐지하는 것을 목표로 한다. 지금까지 해당 취약점에 대해 정적/동적 분석 기법의 다양한 탐지 기법이 연구되었다. 기존의 정적 분석을 이용한 취약점 탐지 도구는 소스코드의 분석을 통해 탐지하며, 바이너리 레벨에서 수행한 연구는 현재 거의 전무하다. 본 논문은 바이너리 정적 분석 도구인 Binary Analysis Platform (BAP)를 통해 Control Flow Graph, Call Graph 기반의 File System의 TOCTOU Race Condition 탐지 방법을 제안한다.

• Journal of Biosystems Engineering
• /
• 제34권6호
• /
• pp.439-445
• /
• 2009

This study was performed to investigate the optimum abrasive and friction milling ratio. This was accomplished by determining changes in the quality, such as whiteness, moisture content, broken kernel, unstripped embryo rate, and surface characteristics or milling difference, during an abrasive and friction based milling process. When only abrasive was milled, the increase of whiteness was fast in the first milling, whereas the increasing rate of whiteness was small in the latter milling. The decreasing rate of moisture content and broken kernel increased as the friction milling ratio was increased. Combining with the friction milling was considered a suitable method because the unstripped embryo rate was high only when abrasive milling was used. In the case of a high abrasive milling ratio, a significant milling difference was observed in the initial milling. This indicated that the milling difference was not completely eliminated despite using friction milling in the latter milling. Consequently, it was necessary to minimize the milling difference in the initial milling. When milling quality was synthetically considered, the abrasive milling ratio was varied from 20~50%. When the abrasive milling ratio was greater than 40%, the external quality of the rice milled deteriorated since holes and defects generated on the surface in the initial milling were not removed. Due to this deterioration in surface characteristics, an abrasive milling ratio of 30% was identified as a suitable level.

• 한국기술혁신학회:학술대회논문집
• /
• 한국기술혁신학회 2003년도 춘계학술대회
• /
• pp.413-425
• /
• 2003

Information Technology is the kernel technology deciding the industrial standard of one nation, and biotechnology will be the main technology of next generation. Based on this fact, a lot of efforts were made to industrialize them. Nano Technology is beginning to position itself as the kernel fusion technology, and its usage and popularity is expanding. Environmental and Energy Technology is a must-have strategic technology considering the increase demand of new energy development, the international environment correspondence, the environment-friendly production, and so forth. Space Technology is the field, which will contribute to raise the domestic component and system technology to the next level. In 2001, new technology research development costs total of 1 trillion 32 billion won in the following fields; 437.82 billion won in IT, 88.457 billion won in BT, 46.799 billion won in NT, 315.682 billion won in ET, and 112 billion won in ST. from component ratio, IT forms 42% which is the most, 31% for ET and in order of BT, ST and NT. ETRI and KISTI are concentrating on IT, KIBB is on BT, KAERI, KIER, KERI and KBSI are focusing on ET, and KIMM, KRISS, KRICT and KORDI is participating together in 4∼5 new technology such as IT, BT, NT and ET. Funds for research development costs in 5 new technology fields of 13 contribution (year) are consisted as follows; The Office for Government Policy Coordination has contributed 131 billion won (13%), 387 billion won (37%) by MOST, 256 billion won (25%) by Ministry of Information and Communication, 67 billion won (6%) by Ministry of Commerce, Industry and Energy, 19% by others and the industrial world. < Strategy for Technology Advancing > o Promotion of comprehensive contributing (year) new technology development research plan project o Increase research efficiency by promoting new technology development project connected with peculiar projects of organization by contribution (year) o Formation of superior research group by technology and introduction of operation system for research accumulation are needed. o Technology demand-oriented assignment deduction and promotion of research development project connected with intermediate long term objective o National will and investment extension of research development costs, training and popularization of professionals, commercialization promotion with efficient control for research plan and result.

• 정보과학회 논문지
• /
• 제42권12호
• /
• pp.1486-1494
• /
• 2015

스마트폰과 같은 모바일 기기가 널리 보급됨에 따라 사용자들은 모바일 기기 응용들을 사용하면서 빠른 응답성을 제공받기를 바란다. 하지만 모바일 기기 응용들은 종종 사용자가 기대하는 수준의 응답성을 제공하지 못한다. 응답성을 저해하는 주 원인들 중 하나는 과도한 페이지 폴트 발생에 따른 대화형 태스크 수행의 지연이다. 이는 대화형 태스크의 상주 페이지(resident page)들이 비대화형 태스크와의 페이지 캐시 경쟁에 의해 더욱 빈번히 희생될 페이지(victim page)으로 선정되어 스토리지로 쫓겨나기 때문이다. 이 논문은 이러한 문제를 해결하기 위해 프레임워크 지원 선별적 페이지 보호 기법을 제시한다. 제안한 기법은 프레임워크 레벨에서 대화형 태스크를 식별하고 이를 커널에 전달하여 페이지 replacement 시에 대화형 태스크의 페이지를 보호하고, 사용자 입력 처리 중에 발생하는 페이지 폴트를 줄인다. 실험 결과 제안된 기법은 기존 시스템에 비해 페이지 폴트 횟수를 37% 감소시켰고, 응답시간을 11% 단축할 수 있었다.