• 정보처리학회논문지D
• /
• 제12D권7호
• /
• pp.1065-1070
• /
• 2005

최근 임베디드 시스템의 급격한 발전으로 인해, 임베디드 시스템의 활용 범 위와 복잡도는 증가하고 있지만 임베디드 시스템의 개발생산성과 품질은 그러한 현실에 부합하지 못하고 있다. 이것은 임베디드 시스템 개발 특히 소프트웨어의 개발에 있어서는 특정 하드웨어 환경에 종속적인 개발방식에 비롯된 것이며 임베디드 시스템의 개발생산성 및 품질을 향상시키기 위해서는 이러한 개발방식에 대한 개선이 시급하다. 이러한 개발방식의 개선을 위한 기존 연구들에서는 별도의 인터페이스 명세언어나 복잡한 템플릿을 이용하여 디바이스 드라이버를 자동으로 생성하도록 하고 있지만 명세기법의 높은 복잡도나 부족한 유연성으로 인해 실제로 적용하기에는 많은 노력이 필요하다. 이에 따라 본 논문에서는 재사용 가능한 디바이스 드라이버 개발을 위해 가벼운 템플릿을 정의하고 모델링 측면을 감안하여 XML로 표현되는 하드웨어 정보를 결합하여 디바이스 드라이버를 생성하는 방안을 제시한다. 이것은 개발자가 손쉽고 적용 가능한 템플릿으로 디바이스 드라이버를 정의하고, XML로 명세된 특정 하드웨어 정보를 결합하여 실제 드라이버를 생성함으로써 높은 개발생산성을 보장하며 발전적으로 설계 단계에서의 검증을 통한 품질향상도 기대할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권10호
• /
• pp.1247-1259
• /
• 1999

본 논문에서는 한국어 문장형성원리를 간결하게 제시할 수 있도록 X-바 이론의 중심어 개념을 도입한 한국어 자질기반 문법을 제안한다. 제안하는 문법은 어절에 관계없이 나타나는 한국어의 문법현상을 명확히 설명할 수 있도록 어절 대신 형태소를 기본단위로 한다. 그리고, 한국어의 구문범주가 지닌 의미정보와 기능정보를 자질을 이용하여 독립적으로 표현하며, 구문범주간의 결합관계를 바탕으로 하는 자질연산을 수행하여 문장을 분석한다. 또한, 한국어의 부분자유어순과 생략현상에 대해 견고하게 분석할 수 있도록 자질연산을 이진결합중심의 CNF(Chomsky Normal Form)로 제한한다. 이렇게 구성된 한국어 자질기반 문법은 규칙을 직관적이고도 간단하게 기술하며, 한국어의 다양한 문장들을 견고하게 분석한다. SERI Test Suites 97과 신문기사에서 746문장을 추출하여 실험한 결과 94%~99%의 적용율을 보였다.Abstract In this paper, we propose a Korean feature-based grammar(KFG) which adopts the X-bar theoretic notion of headedness for a precise representation of Korean syntactic structure. In order to explain various language phenomena in a given sentence, we use not the word but the morpheme as a constituent unit of KFG. We use features manifesting both the syntactic information and the semantic information of Korean syntactic categories, and feature operations based on the association relationship between two categories. In addition, we restrict feature operations to CNF(Chomsky Normal Form) binary form, which provides a robust representation for properties in Korean such as the frequent ellipsis and the partial free-order. The KFG is intuitive, simple, and versatile in representing most Korean sentences. The experimental result shows 94%~99% coverage on 746 sentences extracted from SERI Test Suites 97 and newspaper sentences.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.148-153
• /
• 2015

국내의 소프트웨어 산업계는 고품질 소프트웨어를 위해, 개발/테스트 프로세스, 성숙도 측정등에 초점을 두고 있다. 그러나 실제 중소기업의 산업현장에서는 코드중심으로 개발되고 있다. 그리고 대부분의 기존 레거시 시스템은 설계의 부재 그리고 코드 패칭으로 코드 내부의 복잡도가 매우 높은 현실이다. 이를 해결하고자, 코드의 가시화(visualization)를 적용하였다. 이 가시화는 모듈간의 복잡도를 줄이려는 목적을 가지고 있다. 이를 위해 기존 공개 도구로 툴 체인 구성 방법을 제안한다. 제안한 방법은 NIPA의 SW Visualization 기법을 적용 확장하였다. 또한 코드 가시화내의 품질지표 중에 결합도 요소 중의 나쁜 지표에 대한 리팩토링 시도이다. 결과적으로 레가시 코드에 대해 역 공학 기법(from programming via model to architecture)적용과 이를 통한 소프트웨어 고품질화이다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2011년도 제40회 동계학술대회 초록집
• /
• pp.211-212
• /
• 2011

플라즈마를 제어하기 위해서는 플라즈마의 온도, 밀도, 에너지 분포등과 같은 플라즈마의 특성을 정확히 측정할 수 있어야한다. 핵융합발전에서는 플라즈마를 발생하기 위하여 플라즈마의 온도, 밀도 등 각종 변수들을 시공간적으로 계측, 분석할 수 있는 진달설비를 사용하고 있으며, 정확한 플라즈마 제어와 측정을 위한 새로운 진단기술을 개발하고 있다. 그리고 중요한 변수중에 하나인 플라즈마 이온온도를 측정하기 위해 중성입자 검출법이 잘 알려져 있다. 이 실험은 수소 중성입자가 토카막 내부의 플라즈마 이온과 충돌하면서 생성된 고속 중성입자의 에너지를 분석하는 실험이다. 본 연구의 실험방법은 수소 중성입자를 이온빔 장치에서 이온화 시킨 후 자체 제작한 가속기를 통하여 가속시켜 에너지 특성을 분석을 하는 것이다. 본 연구의 실험장치로 에너지 교정용 100 keV 이온빔 소스를 제작 하였고 이온빔 장치 내부에 수소기체를 주입하고 기체방전을 일으켜 플라즈마를 발생시켰다. 이온빔 외부에는 팬을 설치하고 전도성이 강한 물 대신 전도성이 약한 오일을 사용하여 냉각 하였다. 이온빔 장치와 결합될 이온 가속장치는 지름 300 mm, 두께 2 mm의 원형 구리판을 여러층으로 쌓아 전극으로 제작하였고 전극과 전극 사이에서 코로나 방전과 스파크를 방지하기 위해 전극 둘레에 코로나링을 설치 하였다. 또한 전극 사이마다 1G${\Omega}$의 저항을 설치한 후 고전압을 생성하여 이온 가속 효율을 증대시켰다. 진공시스템으로는 Alcatel사의 CFF100 터보분자 펌프와 우성진공사의 MVP24 진공로타리펌프를 결합하여 사용하였으며, 진공도측정은 Alcatel사의 ACS1000 장치를 사용하였다. 고진공후 고속 중성입자의 이온화와 에너지 측정을 위한 전하교환기를 설치하였다. 전하교환기로는 진공시스템을 별도로 설치하고 비용이 비교적 많이 드는 기체형 전하교환기 대신 소형화가 가능하고 유지보수가 좋은 고체형 전하교환기 제작하여 실험 하였다. 전하교환기에서 이온화된 고속 중성입자가 전기장이나 자장에 영향을 받았을때 에너지분포를 디텍터를 통해 측정하였다. 즉, 이온화된 중성입자의 에너지가 실리콘 다이오드를 통해 전압 펄스 신호로 변환되고 이차 증폭기를 통해 전압 펄스 신호들이 증폭한다. 에너지 측정을 위한 디텍터는 소형화가 가능하고 비용이 비교적 적게 드는 실리콘 다이오드를 설치하였다. 본 연구결과 중성입자 에너지 분석 장치가 실제 핵융합 장치의 플라즈마 이온온도와 특성 측정에 적용할 수 있으며, 앞으로 개발될 여러 형태의 응용 플라즈마 발생장치의 플라즈마 진단에 이용될 것으로 기대한다.

• 대한화학회지
• /
• 제54권4호
• /
• pp.387-394
• /
• 2010

여러 수소화붕소류 가운데 상대적으로 덜 알려진 $B_nH_n$, $B_nH_{n+1}$, $B_nH_{n+2}$ (n = 3-6)의 여러 가능한 구조들을 B3LYP/6-311G$^*$ 이론 수준에서 최적화하여 구조적인 특성과 에너지와의 상호 연관성을 조사하였다. 각 화합물의 가장 안정한 분자구조(global minimum)를 확인하고, 보다 정확한 상대 에너지를 계산하기 위하여 진동주파수를 계산하여 영점진동에너지(ZPVE)를 보정 하였다. 중성 $B_3H_3$, $B_3H_4$, $B_3H_5$에서 BH 단량체가 늘어남에 따라 나타나는 구조적인 뒤틀림이나 기하학적인 변화를 조사하고 기저에너지와 상대에너지를 계산하여 BH 단량체가 증가함에 따른 결합에너지와 평균에너지의 경향성을 예측하였다.

• 대한화학회지
• /
• 제50권4호
• /
• pp.291-297
• /
• 2006

Cyclopropyl 링과 할로겐 원소가 결합된 붕소원자 사이의 hyperconjugation 효과를 알아보기 위하여 CPDFB와 CPCFB 분자의 여러 conformation과 transition state 구조들에 대해 DFT와 ab initio 방법을 사용하여 다양한 레벨에서 구조최적화 및 NBO 분석을 수행하였다. 그 결과 주요 상호작용 형태는 화합물에 따라 단일결합 오비탈 (C1-C3, C2-C3) n* (B9) 또는 *(B9-Cl11) 오비탈로 전자를 제공하는 것이었고 이때 안정화 에너지는 CPDFB 분자의 경우 6.63 kcal/mol, CPCFB 분자의 경우는 conformation에 따라 6.97(E-form)/6.79(Z-form) kcal/mol 이었다. 또한, BF2와 BFCl 기의 내부회전에 의한 회전장벽의 크기는 각각 5.3~6.7 kcal/mol과 5.7~6.5 kcal/mol로 기존에 보고된 실험값과 잘 일치함을 보였다. 마지막으로 CPCFB 분자의 conformers 중에서 Z-form이 global minimum으로 확인되었고 E-form 보다 0.2 kcal/mol 정도 안정하였다.

• 대한화학회지
• /
• 제60권1호
• /
• pp.9-15
• /
• 2016

폭발성능이 높은 HMX와 폭발성능은 떨어지지만 안정성이 높은 LLM-116의 분자복합체인 HMX/LLM-116 공결정(cocrystal)의 폭발 속도, 폭발 압력 그리고 열역학적 안정성에 대하여 이론적으로 연구하였다. 각 분자 구조는 B3LYP/cc-pVTZ 수준까지 최적화 하였으며 가장 약한 방아쇠 결합(trigger bond)과 클러스터에 대한 결합에너지를 계산 하여 열역학적 안정성을 확인하였다. 보다 정확한 에너지를 계산하기 위해 MP2 이론 수준에서 한 점(single point) 에너지를 계산하였으며, monte carlo integration 계산을 통해 밀도를 계산 하였다. 엔탈피는 CBS-Q 이론 수준에서 계산하였으며, 폭발 속도와 폭발 압력은 Kamlet-Jacobs 방정식을 이용하여 계산하였다.

• 한국전자파학회논문지
• /
• 제24권1호
• /
• pp.82-90
• /
• 2013

본 논문에서는 고주파 회로 모델링을 이용하여 전기자동차의 모터 구동 시스템으로부터 방출되는 전도성 전자파 노이즈를 시스템-레벨에서 분석하였다. 관련 전도 방출의 주요 원인은 모터 구동 시스템에서 사용하는 펄스폭 변조방식의 스위칭 동작에 기인하며, 이러한 전도 방출은 공통-임피던스 결합 및 유도성 결합을 통해 AM/FM 주파수 대역에서의 무선주파수 간섭을 유발한다. 이러한 문제를 분석하기 위해 모터 구동 시스템을 구성하고 있는 IGBT와 고압 커패시터, 인버터, 모터 및 고전압 케이블과 버스 바에 대한 기본 회로는 물론, 각 부분에서 존재하는 기생 성분 및 비선형 특성을 해석하여 모터 구동 시스템 전체를 포함한 시스템-레벨의 고주파 등가회로 모델을 제안하였다. 이러한 모델을 이용한 모터 구동시스템의 전도 방출 특성을 시뮬레이션하고, 측정하였으며, 비교적 큰 해석구조임에도 불구하고 두 결과가 비교적 잘 일치함을 확인하였다. 향후 이러한 접근방법이 전기자동차의 전자파 적합성 설계에 효과적으로 사용될 수 있을 것으로 기대한다.

• 한국건설관리학회논문집
• /
• 제10권6호
• /
• pp.117-126
• /
• 2009

건설 산업에 내재된 위험은 작업환경, 작업의 종류, 작업자의 특성 등이 결합되어 발생한다. 건설 현장의 가변적이며 유동적인 특성을 고려한다면 동일 공종이라도 내재된 특성들의 조합에 따라 위험의 크기가 다르게 나타날 수 있다. 하지만 기존의 안전 관리 방식은 이러한 건설업의 특성을 반영하지 못한 체 타산업과 유사한 안전 관리를 수행하고 있다. 이에 본 연구는 건설현장의 다양한 위험 요소를 고려한 위험도 산정 방법을 제시하기 위해 선행연구 분석 및 설문을 통해 위험 영향 요소를 도출하고 가중치 체계를 구축하였다. 그리고 빈도와 강도 기반의 공종별 위험도를 구하였다. 위험 영향 요소와 공종별 위험도를 결합하여 건설 현장의 상황에 맞는 위험도 산정 방법을 마련하였다. 이로써 건설 현장의 특성을 고려한 위험도를 구할 수 있으며, 위험도를 바탕으로 보다 효과적인 안전관리활동을 펼칠 수 있을 것이다. 따라서 본 연구는 위험 영향 요소들을 고려하여 현장 특성을 반영한 위험도를 산정하였다는데 그 의미가 있다.

• 정보보호학회논문지
• /
• 제22권5호
• /
• pp.1169-1178
• /
• 2012

최근 대부분의 소프트웨어는 인터넷 환경에서 네트워크를 중심으로 데이터를 교환하기 때문에, 소프트웨어 자체의 보안성이 큰 이슈로 다루어지고 있다. 또한 소프트웨어 개발 과정에서 시큐어 코딩 규칙을 적용하여 소프트웨어의 취약점을 최소화하고 안전성이 높은 코드로 개발하려는 노력이 이루어지고 있다. 하지만 소프트웨어 취약점을 이용한 공격 사례들이 한 가지 공격이 아닌 복합 공격의 형태를 띠고 있어 단일 특성 분석으로는 소프트웨어 취약점 분석에 한계가 있다. 본 연구에서는 소프트웨어의 다양한 특성 중에 하나인 결합도를 기반으로 복합 소프트웨어 취약점을 이용한 공격에 대응하고자 하였다. 더불어 여러 공격 방법의 조합을 이용한 복합 공격 패턴을 사전 분석하여 소프트웨어 내의 모듈간의 파급력과 연관관계에 있는 모듈의 공격 가능한 패턴을 예측하고 이에 대한 소프트웨어 취약점을 분석할 수 있는 방법을 제시한다.