최근 임베디드 시스템의 급격한 발전으로 인해, 임베디드 시스템의 활용 범 위와 복잡도는 증가하고 있지만 임베디드 시스템의 개발생산성과 품질은 그러한 현실에 부합하지 못하고 있다. 이것은 임베디드 시스템 개발 특히 소프트웨어의 개발에 있어서는 특정 하드웨어 환경에 종속적인 개발방식에 비롯된 것이며 임베디드 시스템의 개발생산성 및 품질을 향상시키기 위해서는 이러한 개발방식에 대한 개선이 시급하다. 이러한 개발방식의 개선을 위한 기존 연구들에서는 별도의 인터페이스 명세언어나 복잡한 템플릿을 이용하여 디바이스 드라이버를 자동으로 생성하도록 하고 있지만 명세기법의 높은 복잡도나 부족한 유연성으로 인해 실제로 적용하기에는 많은 노력이 필요하다. 이에 따라 본 논문에서는 재사용 가능한 디바이스 드라이버 개발을 위해 가벼운 템플릿을 정의하고 모델링 측면을 감안하여 XML로 표현되는 하드웨어 정보를 결합하여 디바이스 드라이버를 생성하는 방안을 제시한다. 이것은 개발자가 손쉽고 적용 가능한 템플릿으로 디바이스 드라이버를 정의하고, XML로 명세된 특정 하드웨어 정보를 결합하여 실제 드라이버를 생성함으로써 높은 개발생산성을 보장하며 발전적으로 설계 단계에서의 검증을 통한 품질향상도 기대할 수 있다.
본 논문에서는 한국어 문장형성원리를 간결하게 제시할 수 있도록 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.
국내의 소프트웨어 산업계는 고품질 소프트웨어를 위해, 개발/테스트 프로세스, 성숙도 측정등에 초점을 두고 있다. 그러나 실제 중소기업의 산업현장에서는 코드중심으로 개발되고 있다. 그리고 대부분의 기존 레거시 시스템은 설계의 부재 그리고 코드 패칭으로 코드 내부의 복잡도가 매우 높은 현실이다. 이를 해결하고자, 코드의 가시화(visualization)를 적용하였다. 이 가시화는 모듈간의 복잡도를 줄이려는 목적을 가지고 있다. 이를 위해 기존 공개 도구로 툴 체인 구성 방법을 제안한다. 제안한 방법은 NIPA의 SW Visualization 기법을 적용 확장하였다. 또한 코드 가시화내의 품질지표 중에 결합도 요소 중의 나쁜 지표에 대한 리팩토링 시도이다. 결과적으로 레가시 코드에 대해 역 공학 기법(from programming via model to architecture)적용과 이를 통한 소프트웨어 고품질화이다.
플라즈마를 제어하기 위해서는 플라즈마의 온도, 밀도, 에너지 분포등과 같은 플라즈마의 특성을 정확히 측정할 수 있어야한다. 핵융합발전에서는 플라즈마를 발생하기 위하여 플라즈마의 온도, 밀도 등 각종 변수들을 시공간적으로 계측, 분석할 수 있는 진달설비를 사용하고 있으며, 정확한 플라즈마 제어와 측정을 위한 새로운 진단기술을 개발하고 있다. 그리고 중요한 변수중에 하나인 플라즈마 이온온도를 측정하기 위해 중성입자 검출법이 잘 알려져 있다. 이 실험은 수소 중성입자가 토카막 내부의 플라즈마 이온과 충돌하면서 생성된 고속 중성입자의 에너지를 분석하는 실험이다. 본 연구의 실험방법은 수소 중성입자를 이온빔 장치에서 이온화 시킨 후 자체 제작한 가속기를 통하여 가속시켜 에너지 특성을 분석을 하는 것이다. 본 연구의 실험장치로 에너지 교정용 100 keV 이온빔 소스를 제작 하였고 이온빔 장치 내부에 수소기체를 주입하고 기체방전을 일으켜 플라즈마를 발생시켰다. 이온빔 외부에는 팬을 설치하고 전도성이 강한 물 대신 전도성이 약한 오일을 사용하여 냉각 하였다. 이온빔 장치와 결합될 이온 가속장치는 지름 300 mm, 두께 2 mm의 원형 구리판을 여러층으로 쌓아 전극으로 제작하였고 전극과 전극 사이에서 코로나 방전과 스파크를 방지하기 위해 전극 둘레에 코로나링을 설치 하였다. 또한 전극 사이마다 1G${\Omega}$의 저항을 설치한 후 고전압을 생성하여 이온 가속 효율을 증대시켰다. 진공시스템으로는 Alcatel사의 CFF100 터보분자 펌프와 우성진공사의 MVP24 진공로타리펌프를 결합하여 사용하였으며, 진공도측정은 Alcatel사의 ACS1000 장치를 사용하였다. 고진공후 고속 중성입자의 이온화와 에너지 측정을 위한 전하교환기를 설치하였다. 전하교환기로는 진공시스템을 별도로 설치하고 비용이 비교적 많이 드는 기체형 전하교환기 대신 소형화가 가능하고 유지보수가 좋은 고체형 전하교환기 제작하여 실험 하였다. 전하교환기에서 이온화된 고속 중성입자가 전기장이나 자장에 영향을 받았을때 에너지분포를 디텍터를 통해 측정하였다. 즉, 이온화된 중성입자의 에너지가 실리콘 다이오드를 통해 전압 펄스 신호로 변환되고 이차 증폭기를 통해 전압 펄스 신호들이 증폭한다. 에너지 측정을 위한 디텍터는 소형화가 가능하고 비용이 비교적 적게 드는 실리콘 다이오드를 설치하였다. 본 연구결과 중성입자 에너지 분석 장치가 실제 핵융합 장치의 플라즈마 이온온도와 특성 측정에 적용할 수 있으며, 앞으로 개발될 여러 형태의 응용 플라즈마 발생장치의 플라즈마 진단에 이용될 것으로 기대한다.
여러 수소화붕소류 가운데 상대적으로 덜 알려진 $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 단량체가 증가함에 따른 결합에너지와 평균에너지의 경향성을 예측하였다.
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 정도 안정하였다.
폭발성능이 높은 HMX와 폭발성능은 떨어지지만 안정성이 높은 LLM-116의 분자복합체인 HMX/LLM-116 공결정(cocrystal)의 폭발 속도, 폭발 압력 그리고 열역학적 안정성에 대하여 이론적으로 연구하였다. 각 분자 구조는 B3LYP/cc-pVTZ 수준까지 최적화 하였으며 가장 약한 방아쇠 결합(trigger bond)과 클러스터에 대한 결합에너지를 계산 하여 열역학적 안정성을 확인하였다. 보다 정확한 에너지를 계산하기 위해 MP2 이론 수준에서 한 점(single point) 에너지를 계산하였으며, monte carlo integration 계산을 통해 밀도를 계산 하였다. 엔탈피는 CBS-Q 이론 수준에서 계산하였으며, 폭발 속도와 폭발 압력은 Kamlet-Jacobs 방정식을 이용하여 계산하였다.
본 논문에서는 고주파 회로 모델링을 이용하여 전기자동차의 모터 구동 시스템으로부터 방출되는 전도성 전자파 노이즈를 시스템-레벨에서 분석하였다. 관련 전도 방출의 주요 원인은 모터 구동 시스템에서 사용하는 펄스폭 변조방식의 스위칭 동작에 기인하며, 이러한 전도 방출은 공통-임피던스 결합 및 유도성 결합을 통해 AM/FM 주파수 대역에서의 무선주파수 간섭을 유발한다. 이러한 문제를 분석하기 위해 모터 구동 시스템을 구성하고 있는 IGBT와 고압 커패시터, 인버터, 모터 및 고전압 케이블과 버스 바에 대한 기본 회로는 물론, 각 부분에서 존재하는 기생 성분 및 비선형 특성을 해석하여 모터 구동 시스템 전체를 포함한 시스템-레벨의 고주파 등가회로 모델을 제안하였다. 이러한 모델을 이용한 모터 구동시스템의 전도 방출 특성을 시뮬레이션하고, 측정하였으며, 비교적 큰 해석구조임에도 불구하고 두 결과가 비교적 잘 일치함을 확인하였다. 향후 이러한 접근방법이 전기자동차의 전자파 적합성 설계에 효과적으로 사용될 수 있을 것으로 기대한다.
건설 산업에 내재된 위험은 작업환경, 작업의 종류, 작업자의 특성 등이 결합되어 발생한다. 건설 현장의 가변적이며 유동적인 특성을 고려한다면 동일 공종이라도 내재된 특성들의 조합에 따라 위험의 크기가 다르게 나타날 수 있다. 하지만 기존의 안전 관리 방식은 이러한 건설업의 특성을 반영하지 못한 체 타산업과 유사한 안전 관리를 수행하고 있다. 이에 본 연구는 건설현장의 다양한 위험 요소를 고려한 위험도 산정 방법을 제시하기 위해 선행연구 분석 및 설문을 통해 위험 영향 요소를 도출하고 가중치 체계를 구축하였다. 그리고 빈도와 강도 기반의 공종별 위험도를 구하였다. 위험 영향 요소와 공종별 위험도를 결합하여 건설 현장의 상황에 맞는 위험도 산정 방법을 마련하였다. 이로써 건설 현장의 특성을 고려한 위험도를 구할 수 있으며, 위험도를 바탕으로 보다 효과적인 안전관리활동을 펼칠 수 있을 것이다. 따라서 본 연구는 위험 영향 요소들을 고려하여 현장 특성을 반영한 위험도를 산정하였다는데 그 의미가 있다.
최근 대부분의 소프트웨어는 인터넷 환경에서 네트워크를 중심으로 데이터를 교환하기 때문에, 소프트웨어 자체의 보안성이 큰 이슈로 다루어지고 있다. 또한 소프트웨어 개발 과정에서 시큐어 코딩 규칙을 적용하여 소프트웨어의 취약점을 최소화하고 안전성이 높은 코드로 개발하려는 노력이 이루어지고 있다. 하지만 소프트웨어 취약점을 이용한 공격 사례들이 한 가지 공격이 아닌 복합 공격의 형태를 띠고 있어 단일 특성 분석으로는 소프트웨어 취약점 분석에 한계가 있다. 본 연구에서는 소프트웨어의 다양한 특성 중에 하나인 결합도를 기반으로 복합 소프트웨어 취약점을 이용한 공격에 대응하고자 하였다. 더불어 여러 공격 방법의 조합을 이용한 복합 공격 패턴을 사전 분석하여 소프트웨어 내의 모듈간의 파급력과 연관관계에 있는 모듈의 공격 가능한 패턴을 예측하고 이에 대한 소프트웨어 취약점을 분석할 수 있는 방법을 제시한다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.