• 한국항공우주학회지
• /
• 제49권6호
• /
• pp.473-480
• /
• 2021

소형 무인비행체 드론의 비행제어기(Flight Controller) 소프트웨어로 널리 사용되고 있는 오픈소스(Open Source)에 대한 정적분석(Static Analysis)을 통해 소프트웨어 품질의 문제점을 분석하고 개선 방안을 제시한다. 소프트웨어 품질 기준으로는 국제적으로 널리 적용되고 있는 MISRA 코딩 규칙을 선정하였으며, 정적분석 도구는 국제 도구인증(Tool Certification)을 받아 항공분야 뿐만 아니라 안전성(Safety)이 요구되는 자동차, 철도, 원자력, 의료 등 모든 산업에서 활용되고 있는 LDRA Tool을 사용하였다. 오픈소스 모듈의 구조, 사용 데이터 분석, 코딩 규칙 준수, 품질 지표(복잡도 및 시험성) 등 소프트웨어의 품질 전반에서 안전성을 위협하는 문제점들을 발견하였으며, 이에 대한 개선 방안을 제시하였다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제13권6호
• /
• pp.569-575
• /
• 2013

An improved non-quasi-static gate-source impedance model including a parallel RC block for short-channel MOSFETs is developed to simulate RF MOSFET input characteristics accurately in the wide range of high frequency. The non-quasi-static model parameters are accurately determined using the physical input equivalent circuit. This improved model results in much better agreements between the measured and modelled input impedance than a simple one with a non-quasi-static resistance up to 40GHz, verifying its accuracy.

• 대한전기학회논문지
• /
• 제39권8호
• /
• pp.836-846
• /
• 1990

This paper presents a Static Var Compensator (SVC) system compensating the reactive power for power system, which consists of a voltage type Pulse Width Modulation (PWM) converter and a reactance linking the converter to the source. The system drives the four quadrant modes. The system determines the magnitude of the input voltage, and then compares it with the magnitude of the source voltage by regulating the phase of the SVC about the source. Therefore, the system generates leading compensation currents when the input voltage is larger than the source in magnitude, and lagging compensation currents for smaller input voltage. Reactive power about voluntary load in power system is smoothly compensated by those compensation currents, and also power factor of source is improved. Furthermore, the SVC system using PWM method may improve the source current waveforms by eliminating the 5th and 7th harmonic components from the input voltages.

• 소프트웨어공학소사이어티 논문지
• /
• 제28권1호
• /
• pp.13-22
• /
• 2019

경쟁적이며 급진적으로 오늘날 소프트웨어 개발 산업 현장에 시큐어 코딩 방법론을 효과적으로 적용하기 위해서는 보안 취약점 결함을 자동으로 검출하는 결함 검출기의 효과적이고 효율적인 적용이 필수적이다. 본 논문은 Java 웹 어플리케이션을 대상으로 하여 우리 행정안전부가 정의한 42개의 보안 취약점 진단 기준과 총 323개의 오픈소스 보안 취약점 결함 검출기의 검출 대상 결함 패턴을 비교하여, 동일한 결함 패턴을 대상으로 하는 것이 무엇인지를 명시화한 결과를 소개한다. 조사 결과를 바탕으로, 본 논문에서는 현재 행정안전부 보안 취약점 진단 기준 방법론의 한계점, 오픈소스 보안 결함 검출 프레임워크 간의 결함검출 범위의 비교, 그리고 시큐어 코딩 가이드라인에 기반 한 개발 보안 방법론의 발전 과제를 논의한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권6호
• /
• pp.703-714
• /
• 2001

C 언어에서 스택에 할당된 지역변수가 넘칠 경우 주변에 위치한 제어정보가 손상을 입는다. 이러한 C언어 특성이 악의적으로 사용되어 주변의 복귀주소가 교묘하게 조작되면 그 시스템을 심각한 보안상 위험에 노출된다. 본 논문에서는 이러한 버퍼넘침을 유발하는 라이브러리 함수에 전달된 버퍼의 도메인 정보흐름을 추적하여 프로그램 작성자에게 버퍼넘침 가능성을 통지할 수 있는 정적 어셈블리 소스코드 탐색(static assembly source code scan)방안을 제안하고 그 실현 가능성 및 유의성을 펜티엄기반 리눅스 환경에서의 프로토타입 구현으로 진단한다.

• 전기학회논문지
• /
• 제67권5호
• /
• pp.626-634
• /
• 2018

These days, widespread use of sensitive loads and distributed generators makes static transfer switch (STS) an essential component in power circuits to achieve a good power quality for AC Grids. In case of a short-circuit fault, previous STS cannot break the fault current. However, the proposed STS has the capability of breaking it quickly as a circuit breaker. Also if there are power quality problems such as Sag/Swell, the proposed STS can quickly transfers the load to the good quality source. Furthermore it is proved that the transfer time of the proposed STS is within one half of period of 3-phase source frequency regardless of the type of load. It is anticipated that the proposed STS may be utilized to realize many stable and reliable AC grid systems.

• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1081-1086
• /
• 2017

대규모 공개 소스 소프트웨어 저장소를 대상으로 프로그램 분석을 수행하면, 각 저장소의 소프트웨어의 변화 과정을 살펴볼 수 있고, 방대한 양의 프로그램을 분석함으로써 신뢰도가 높은 분석 결과를 얻을 수 있다는 점에서 의의가 있다. 본 논문에서는 대규모 소프트웨어 저장소를 대상으로 확장 가능하게 정적 프로그램 분석을 수행할 수 있는 프레임워크인 WALABOA를 소개한다. 나아가, 정적 분석 결과인 정적 함수 호출 그래프와 동적 분석 결과인 동적 함수 호출 그래프를 비교하는 모듈을 WALABOA에 추가하여, 자바스크립트 분석기 WALA에서 제공하는 분석 기법 중 하나인 필드 기반 분석(field-based analysis) 결과를 평가하는 데 활용하였다.

• 설비공학논문집
• /
• 제21권8호
• /
• pp.468-474
• /
• 2009

Ground water source heat pump system is the oldest one of the ground source heat pump systems. Despite of this, little formal design information has been available until recently. The important design parameters for open system are the identification of optimum ground water flow, heat exchanger selection and well pump. In this study, the capacity of 50 RT system of two well type ground water heat pump system was used. As a result, static water level was -7 m and the level during the heating operation was -32 m, cooling operation was -40 m. The initial static water level recovered within 48 hrs. The temperature of ground water is $15.6^{\circ}C$ for heating season and $16.2^{\circ}C$ for cooling season and does not depend on the outdoor temperature. Operation efficiency of the system shows that, COP 3.1 for heating and COP 4.2 for cooling.

• 한국항공우주학회지
• /
• 제37권8호
• /
• pp.780-788
• /
• 2009

복합재 날개 구조물에 대한 구조 건전성 및 손상을 평가하기 위하여 정적 구조강도시험에 음향방출(AE)법이 응용되었다. 시험중 스트레인과 변위측정기법을 통하여 정적구조강도를 확인하였고, 음향방출요소 분석과 위치표정기법을 통하여 구조물의 내부 손상을 평가하고 손상위치를 찾을 수 있었다. 시험은 설계제한하중시험, 2차에 걸친 설계극한 하중시험, 파단시험이 수행되었다. 주요한 AE신호는 front lug근처의 표면에 부착된 센서에 의하여 감지되었다. 특히 1차 설계극한하중시험에서 스트레인 및 변위결과는 내부 손상을 보이지 않았으나 AE신호는 내부 손상이 이미 형성된 현상을 나타내었다. 파단시험에서는 AE활성도가 매우 활발하였고, 스트레인 및 변위의 결과는 심한 손상에 의하여 하중경로가 바뀌는 경향을 나타내었다. 음향방출법을 적용하여 정적 구조시험이 진행되는 동안 내부손상이 발생되는 하중과 위치를 정확하게 평가할 수 있었다. 본 연구로부터 음향방출법은 정적 구조강도시험에 있어 내부 손상을 평가하는데 유용한 기법임이 확인되었다.

• 한국음향학회지
• /
• 제41권4호
• /
• pp.419-425
• /
• 2022

본 논문은 양상태 소나의 음원과 수신기 배치를 위해 음향탐지성능을 평가하는 것을 목표로 한다. 단상태 소나와는 다르게 양상태 소나의 경우에는 배치를 위한 연산량과 복잡도가 크기 때문에 해양환경을 고려한 배치 연구는 진행된 바가 없다. 따라서 본 연구에서는 양상태 소나의 음원과 수신기 배치에 적용하기 위한 방법으로 해양환경의 변동성을 고려하면서도 연산량을 줄이는 평가 방법에 대해 제안한다. 본 연구에서는 천해와 심해의 대표 해양환경을 선정하였으며, 그 해역에서 음원과 수신기 간의 거리 및 센서 심도를 변경하며 신호초과를 계산하고, 그 결과를 제안하는 음향탐지성능 평가 방법과 비교 및 분석한다.