• 정보처리학회논문지D
• /
• 제14D권6호
• /
• pp.633-640
• /
• 2007

실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을 해결하기 위해 시스템 모델을 속성모델 관점에서 축약하여 생성한 후에 두 모델 간의 행위 일치 관계를 이용하여 안전성 분석을 수행한다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1992년도 학술논문발표회 논문집 제11권 1호
• /
• pp.54-57
• /
• 1992

음성합성에 있어서 음의 자연성을 합성시키는 문제는 크게 두가지로 나누어진다. 첫째는 합성음을 원음에 가깝게 구현하려는 합성방법 자체의 문제로, 언어 합성이 가지고 있는 일반적인 문제이다. 또 다른 문제는 운율에 관한 것으로 낱말 또는 문장 내에서의 운율에 따라 합성음의 자연성이 좌우된다. 이러한 운율에 따라 합성음의 자연성이 좌우된다. 이러한 운율의 조절에는 지속시간, 피치, 그리고 음의 세기 등이 이용된다. 켑스트럼을 이용하여 분석합성을 하는 경우, pole-zero 모델로 스펙트럼 포락을 근사하므로 원음에 충실하고, 필터계수와 구동정보를 분리하여 분석, 합성하므로 인위적인 운율의 조절이 용이하여 음성합성이 가지는 위의 두가지 문제를 해결하는데 적합하다고 판단된다. 본 연구에서는 켑스트럼을 이용하여 분석합성 시스템을 구성하였다. 음성 합성 과정에서, 운율 조절 파라미터중의 하나인 피치 주기의 변경에 따라 스펙트럼 포락의 왜곡에 대해 살펴보고, 왜곡을 최소화하는 방안을 제안한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1997년도 제9회 한글 및 한국어 정보처리 학술대회
• /
• pp.122-128
• /
• 1997

대부분의 한국어 형태소 분석기는 파생명사나 합성명사가 포함된 어절을 오분석 또는 과분석하는 경향이 있다. 이는 하나의 어절에서 오분석이나 과분석을 방지하기 위하여 획득할 수 있는 정보가 제한적이기 때문이다. 이에 본 논문은 파생명사나 합성명사 후보가 포함된 어절뿐만 아니라 주변 및 전문에서 분석에 필요한 정보를 수집하여 이용하는 방법을 제시한다. 제안한 방법은 오분석된 파생명사나 합성명사에만 나타나는 저빈도 단어를 제거하고, 파생명사나 합성명사 후보의 주변 어휘들을 실마리로 이용하며, 문서 전역에서 동일한 파생명사나 합성명사 후보가 포함된 둘 이상의 어절을 비교분석하여 파생명사 및 합성명사 후보가 포함된 어절을 처리한다. 실험 결과 제안한 방법은 99.8%의 정확도와 95.3%의 재현율로 파생명사나 합성명사 후보가 포함된 어절을 올바르게 분석할 수 있었다.

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2011년도 정기 학술발표대회
• /
• pp.27-27
• /
• 2011

기존에 연구 및 개발된 합성보 시스템에 대한 기초자료를 제공하고 앞으로 새로이 진행될 합성 구조 연구에 대한 방향을 제시하고자 국내 외 200여 편의 논문 및 학술기사를 기반으로 합성보에 대한 연구 및 기술 현황분석을 실시하였다. 그 결과 합성보에 대한 국내연구는 주로 실험적 연구가 63%로 해석적 연구(22%)에 비해 3배가량 높은 비율을 차지하고 있었으며, 국외의 경우 해석적 연구가 58%로 가장 높은 비중을 차지해 국내 연구방법과는 대조적인 모습을 나타냈다. 이에 앞으로는 지금까지 실시한 실험적 연구 내용을 토대로 보다 효율적인 연구 성과를 얻기 위해 해석적 연구의 기틀을 마련하는 것이 필요해 보였다. 또한 합성보 연구의 주제별 분류에 있어서도 기본적인 휨내력 평가뿐만 아니라 최근 들어, 관심이 높아진 사용자의 실제적인 생활 및 안전과 연관 있는 바닥진동, 충격음, 그리고 내화성능 등에 대한 다양한 검토가 깊이 있게 이루어져야 할 것이다. 마지막으로 기존의 구조용 재료를 대체하면서 경제적이고, 친환경성 및 재활용 재사용성 등을 고려한 미래지향적 합성구조시스템에 대한 연구 개발이 필요할 것으로 판단된다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 1999년도 제17회 학술발표회 논문개요집
• /
• pp.114-114
• /
• 1999

Boron nitride (BN)는 매우 뛰어난 물리적, 화학적 성질을 가지고 있는 재료로 많은 연구가 진행되고 있다. hexagonal 형태의 hBN의 경우 큰 전기 저항과 열 전도도를 가지고 있고 열적 안정성을 가지고 있어 반도체 소자에서 절연층으로 쓰일 수 있다. 또한 X-ray와 가시광선을 투과시키기 때문에 X-ray와 가시광선을 투과시키기 때문에 X-ray lithography이 mask 기판으로 사용될 수 있다. Boron-carbon-nitrogen (BCN) 역시 뛰어난 기계적 성질과 투명성을 가지고 있어 보호 코팅이나 X-ray lithography에 이용될 수 있다. 또한 원자 조성이나 구성을 변화시켜 band gap을 조절할 수 있는 가능성을 가지고 있기 때문에 전기, 광소자의 재료로 이용될 수 있다. 본 연구에서는 여러 합성 조건 변화에 따른 hBN 막의 합성 거동을 관찰하고, 카본 농도변화에 따른 BCN 막의 기계적 성질과 구조의 변화, 그리고 실리콘 첨가에 의한 물성 변화를 관찰하였다. BN박막은 실리콘 (100) 기판 위에 r.f. plasma assisted CVD를 이용하여 합성하였다. 합성 압력 0.015 torr, 원료 가스로 BCl3 1.5 sccm, NH3 6sccm을 Ar 15 sccm을 사용하여 기판 bias (-300~-700V)와 합성온도 (상온~50$0^{\circ}C$)를 변화시켜 BN막을 합성하였다. BCN 박막은 상온에서 기판 bias를 -700V로 고정시킨 후 CH4 공급량과 Ar 가스의 첨가 유무를 변화시켜 합성하였다. 또한 SiH4 가스를 이용하여 실리콘을 함유하는 Si-BCN 막을 합성하였다. 합성된 BN 막의 경우, 기판 bias와 합성 온도가 증가할수록 증착속도는 감소하는 경향을 보여 주었다. 기판 bias와 합성온도에 따른 구조 변화를 SEM과 Xray로 분석하였다. 상온에서 합성한 경우는 표면형상이 비정질 형태를 나타내었고, X-ray peak이 거의 관찰되지 않았다. 합성온도가 증가하게 되면 hBN (100) peak이 나타나게 되고 이것은 합성된 막이 turbostratic BN (tBN) 형태를 가지고 있다는 것을 나타낸다. 50$0^{\circ}C$의 합성 온도에서 기판 bias가 -300V에서 hBN (002) peak이 관찰되었고, -500, -700 V에서는 hBN (100) peak만이 관찰되었다. 따라서 고온에서의 큰 ion bombardment는 합성되는 막의 결정성을 저해하는 요소로 작용한다는 것을 확인 할 수 있었다. 합성된 BN 막은 ball on disk type의 tribometer를 이용하여 마모 거동을 관찰한 결과 대부분 1이상의 매우 큰 friction coefficient를 나타내었고, nano-indenter로 측정한 BN막의 hardness는 매우 soft한 막에서부터 10 GPa 정도 까지의 값을 나타내었고, nano-indenter로 측정한 BN 막의 hardness는 매우 soft한 막에서부터 10GPa 정도 까지의 값을 가지며 변하였다. 합성된 BCN, Si-BCN 막은 FT-IR, Raman, S-ray, TEM 분석을 통하여 그 구조와 합성된 상에 관하여 분석하였다. FT-IR 분석을 통해 B-N 결합과 C-N 결합을 확인할 수 있었고, Raman 분석을 통하여 DLC의 특성을 분석하였다. 마모 거동에서는 BCN 막의 경우 0.6~0.8 정도의 friction coefficient를 나타내었고 Si-BCN 막은 0.3이하의 낮은 friction coefficient를 나타내었다. Hardness는 carbon의 함유량과 Ar 가스의 첨가 유무에 따라 각각을 측정하였고 이것은 BN 막 보다 향상된 값을 나타내었다.

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

그래핀은 탄소원자가 육각형의 벌집형태로 배열되어 있는 원자단위 두께의 가장 얇은 재료중의 하나이다. 이는 우수한 기계적, 전기적, 광학적 특성을 지니고 있어 다양한 분야로의 응용이 가능할 것으로 예측되고 있다. 그래핀의 산업적 응용을 위해서는 대면적으로 두께 균일도가 높은 그래핀을 저렴한 방법으로 합성하는 것이 무엇보다도 우선적으로 요구된다. 그래핀을 얻는 방법으로는 물리 화학적 박리, 탄화규소의 흑연화, 열화학기상증착법(thermal chemical vapor deposition; TCVD) 등의 다양한 방법이 있으며, 현재로선 그 중 TCVD법이 대면적으로 두께균일도가 높은 그래핀을 합성할 수 있는 가장 적합한 방법으로 인식되고 있다. 그러나 이 방법은 탄소가 포함된 원료가스를 분해하기 위하여 고온의 공정이 요구되는 단점이 있다. 이러한 이유로 최근 그래핀은 저온에서 합성하기 위한 많은 연구들이 진행 중에 있으며 그 결과가 속속 보고 되고 있다. 본 연구에서는 고주파 플라즈마가 결합된 TCVD장치를 이용하여 원료가스를 효율적으로 분해함으로서 그래핀의 저온합성을 도모하였다. 기판은 300 nm 두께의 니켈박막이 증착된 산화막 실리콘 기판을 사용하였으며, 원료가스로는 메탄을 사용하였다. 실험결과, 350 W의 파워로 플라즈마를 방전하여 30분간 합성을 수행하였을 때 약 $450^{\circ}C$ 근처의 저온에서 수 겹의 그래핀이 합성 가능한 것을 확인하였다. 합성된 그래핀은 분석의 용이함 및 향후 다양한 응용을 위하여 산화막 실리콘 기판 및 투명 고분자 기판 등으로 전사하였다. 그래핀의 특성분석을 위해서는 광학현미경, 라만 분광기, 투과전자현미경, 자외 및 가시선 분광광도계, 4탐침측정기 등을 이용하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2016년도 학술발표회
• /
• pp.141-141
• /
• 2016

미계측 지역에서의 토양수분을 예측하기 위하여 조건부합성방법을 한반도에 적용하여 비교 분석하였다. 토양수분 자료는 농촌진흥청에서 제공하는 지상관측 자료와 GCOM-W1 위성의 Advanced Microwave Scanning Radiometer2 (AMSR2) 센서의 자료를 사용하였다. 위성관측 토양수분자료의 오차를 제거하기 위하여 지상관측자료에 정규화 하였고, 정규화된 위성관측 자료와 지상관측자료를 조건부합성 방법을 이용하여 합성하였다. 조건부 합성방법의 성능을 평가하기 위하여 leave-one-out 교차검증 방법을 사용하였고, 분석 결과 지상관측자료에 위성자료를 합성한 조건부합성방법이 지상관측자료만을 사용한 크리깅 방법에 비해 우세하게 나타났다. 또한 각 관측지점에서의 조건부합성 방법을 이용한 토양수분 예측 성능을 공간분포 시켜 지역적인 특성을 분석한 결과 관측소의 밀도와 지형적인 특성이 조건부합성방법의 성능에 영향을 미치는 것으로 나타났다. 본 연구의 결과는 원격탐사기법으로 관측된 토양수분 자료의 공간적인 특성을 고려하여 지상 관측 자료와 합성하는 것이 토양수분 공간보간성능을 향상 시킬 수 있다는 것을 의미한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권3호
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets은 병행성 기술이 용이하고 도달성 분석 등 다양한 분석 방법이 제공되므로 프로토콜, 병행적 시스템 검증 등에 많이 이용되어 왔으며 또한 실시간 시스템, 객체지향 시스템 등 다양한 분야에 이용되는 고급 Petri nets과 객체 지향 Petri nets 등의 기반 정형적 기법으로 이용되고 있다. 하지만 P/T nets과 확장된 Petri nets 등에서는 모델에 내재된 병행성을 다루지 않으면 복잡한 병행적 모델의 도달성 분석 시에 시스템 상태가 급증하는 상태 폭발(state explosion)이 발생할 수 있다. 이 연구에서는 다양한 확장된 고급 Petri nets의 근간이 되는 P/T net 모델에서 구조적 병행성을 정의하고 이를 기반으로 시스템을 병행적인 단위로 분할, 합성적인 도달성 그래프를 생성하는 방법을 제시하여 복잡한 P/T net 모델을 효율적으로 분석할 수 있는 방법을 제시한다. 그리고 합성적 도달성 그래프를 이용하여 플레이스의 유한성, 트랜지션의 수행가능성 등의 특성을 효율적으로 분석할 수 있도록 한다. 이러한 분할 분석 기법은 P/T net 모델 뿐만 아니라 P/T nets에 기반을 두고 있는 모든 고급 Petri net model 분석에도 이용될 수 있다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1998년도 학술발표대회 논문집 제17권 1호
• /
• pp.255-258
• /
• 1998

Sine파를 이용한 오디오 분석과 합성은 고음질 저비트율 오디오 부호화에 매우 효율적인 방법의 하나로 알려져 있다. 본 논문은 sine파를 이용한 오디오 분석과 합성에 중요한 sine파 검출에 심리음향모델을 활용하는 방안을 제안하였다. 모의실험 결과, 심리음향모델을 사용한 경우 사용하지 않은 경우에 비해 합성에 사용되는 sine파의 개수를 약 50% 정도 줄일 수 있었음을 알 수 있었다. 한편 오디로 신호의 attack이나 nonstationarity를 처리할 수 있는 방법이 sine파를 이용한 오디오 부호화에 필수적이라는 사실을 확인하였고 그에 대한 대처 방안을 제시하였다.

• 한국강구조학회 논문집
• /
• 제11권2호통권39호
• /
• pp.181-190
• /
• 1999

본 논문은 신형상의 합성용 데크플레이트 개발에 따른 합성슬래브의 구조적 거동에 관하여 연구한 것이다. 신형상의 데크플레이트가 구조재로서 사용이 되어질 수 있도록 합성슬래브의 실험결과를 국제적인 규준식에 의한 계산결과와 비교 검증하였으며 또한 회귀분석을 통해 합성슬래브의 유효단면2차모멘트식을 제안하였다. 또한 데크플레이트 단면요소의 구조적인 특성에 대한 고찰을 위하여 이것을 변수로 하여 유한요소해석을 실시하였다. 합성슬래브 실험은 새롭게 개발한 두 type의 데크플레이트를 사용하여 36개의 시험체를 제작 실험하였으며, 유한요소해석은 3차원 Solid 모델링이 가능한 ABAQUS 프로그램을 사용하여 해석모델링을 개발, 해석을 실시하여 그 결과를 분석하였다.