• 한국정보과학회논문지:데이타베이스
• /
• 제34권5호
• /
• pp.409-419
• /
• 2007

허밍을 통한 유사 검색 질의가 주어질 때 효과적으로 음악 데이타베이스를 검색하는 시스템에 대한 연구는 다양한 방향으로 진행되어 왔다. 최근에는 음악 데이타베이스와 허밍 질의를 시계열 데이터로 변환하여 시계열 데이타의 유사 검색과 관련하여 제안되어 왔던 여러 가지 거리 척도(distance measure)나 인덱싱 기법등을 적용하여 효과적으로 질의를 처리하려는 시도가 계속 되고 있다. 허밍 질의의 특성을 고려하여 균일 스케일링(Uniform Scaling)과 동적 프로그래밍을 사용한 타임 워핑(Dynamic Time Warping)을 함께 고려한 스케일드 앤 워프트 매칭(Scaled and Warped Matching) 거리를 사용하여 효과적인 유사 검색을 하는 방법은 가장 최근 제시된 방법 중 하나이다. 본 논문에서는 허밍을 통한 유사 검색 시스템인 Humming BIRD(Humming Based sImilaR miDimusic retrieval system)를 제안하고 구현하였다. 슬라이딩 윈도우를 사용하여 음악의 임의의 부분에 대한 허밍 질의를 처리할 수 있도록 하였으며 더 효율적으로 검색하기 위해 이전의 균일 스케일링을 변형하여 중심을 일치시킨(center-aligned) 균일 스케일링을 제안하고 이와 타임 워핑을 결합한 형태의 스케일드 앤워프트 매칭을 제안하였다. 이 거리의 좀 더 타이트한 하한을 계산하는 하계 함수를 사용하여 탐색 공간(search space)을 효과적으로 줄여 더 빠르고 효과적인 유사 검색을 가능하도록 하였다. 마지막으로 실험을 통해 개선된 스케일드 앤 워프트 매칭이 이전에 비해 같은 검객 결과를 얻으면서도 효과적으로 검색함을 탐색 공간을 줄이는 가지치기 성능을 비교함으로써 보였다.

• 스마트미디어저널
• /
• 제7권1호
• /
• pp.37-44
• /
• 2018

임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화 시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고 있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은 그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에 대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에 대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화 임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을 논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여 LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본 연구에서는 해당 방법에 대한 검증을 위하여 S 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

• 컴퓨터교육학회논문지
• /
• 제21권3호
• /
• pp.11-20
• /
• 2018

2015 개정 교육과정이 컴퓨팅 사고력을 학생들의 필수 역량으로 정한 것은 컴퓨터교육에서 중대한 변화이다. 컴퓨팅 사고력을 크게 추상화와 자동화, 창의융합으로 분류한 중등 정보교과는 문제해결과 프로그래밍 영역을 교육과정 안에 포함하였다. 또한 컴퓨팅 사고력의 하위요소들 중에서 자료 표현은 학습자들의 문제해결을 위한 자료와 정보의 구조화 능력을 중요시 하고 있다. 대학에서 정보 과목 중등 예비교사들도 다이어그램 작성을 통해 정보 구조화 과정을 배우고 있다. 학생 간에는 다이어그램 구조화 능력에 차이를 보이고 있는데 학생들의 구조화 능력 계발에 도움이 되는 학습방법에 대한 연구는 드물다. 본 연구에서는 대학생들을 대상으로 어떤 학생들이 주어진 문제를 시각적 다이어그램으로 잘 구조화하는지 추상적 사고 성향과 성별 관점에서 차이 분석을 수행하였다. 그 결과 남학생에 비해 여학생이 구체적 사고 성향을 가지고 있으며 다이어그램의 특성에 따라 다른 사고가 요구되고 성별 차이가 있었다. 또한 추상적 사고 성향의 차이에 따라 다이어그램을 구조화하는데 차이를 보였다. 남녀 학생들의 사고 성향의 차이를 파악하여 이들을 보완할 수 있는 교육방법을 찾는다면 컴퓨팅 사고력 향상이라는 교육목적을 달성하는데 유용하다.

• 지능정보연구
• /
• 제12권2호
• /
• pp.67-81
• /
• 2006

현재의 웹이 HTML을 바탕으로 인간 사용자와의 인터페이스에 초점을 맞추고 있는데 비하여, 차세대 웹은 XML 및 XML 기반 각종 표준들을 바탕으로 소프트웨어 에이전트간의 상호작용에 초점을 맞추어 나가고 있다. 차세대 웹에서 소프트웨어 에이전트의 두뇌 역할을 수행하기 위하여 추론엔진은 차세대 웹의 표준 언어인 시맨틱 웹 - (Semantic Web)을 충실히 이해할 수 있어야 한다. 이를 위한 기초 작업의 일환으로 OWL(Web Ontology Language) 과 RuleML(Rule Markup Language)을 조합한 SWRL(Semantic Web Rule Language)이 W3C에 제안된 바 있다. 본 연구에서는 SWRL을 규칙 표현 방법으로 사용하고, OWL을 사실 표현 방법으로 사용하는 역방향 추론엔진인 SMART-B(SeMantic web Agent Reasoning Tools -Backward chaining inference engine)를 개발하고자 하였다. 이를 위하여 SWRL 기반 역방향 추론을 위한 요구 기능을 분석하고, 기존 역방향 추론 알고리즘에 차세대 시맨틱 웹의 요구 기능을 반영한 역방향 추론 알고리즘을 설계하였다. 또한, 유비쿼터스 환경에서의 각종 플랫폼간의 독립성과 이식성을 확보하고 기기간의 성능 차이를 극복할 수 있도록 사실 베이스 및 규칙 베이스의 관리도구와 역방향 추론 엔진 등을 Java 프로그래밍 언어를 이용하여 단위 컴포넌트의 형태로 개발하였다.

• 한국통신학회논문지
• /
• 제31권7A호
• /
• pp.649-658
• /
• 2006

최근 소프트웨어 개발은 client/server 시스템이나 웹 프로그래밍, 객체지향 개발, 네트워크 환경에 의한 분산개발 등 새로운 개발 형태로써 다양하게 적용되고 있다. 한편 소프트웨어 분산 개발에 대한 기술도 관심이 되고 있으며, 객체지향 개념이 확대되고 있다. 이러한 기술에 의한 개발 작업량의 대폭 삭감이나 소프트웨어 품질 및 생산 개선의 효과가 점차 증대되어 가는 추세로 향후 광범위한 분야에 분산된 다수의 워크스테이션에 의해 병행되어 개발된 객체(object)를 이용한 분산개발의 발전에 대해 고찰한다. 본 논문에서는 이러한 분산 소프트웨어 개발환경을 대상으로 확률미분방정식 모델에 의한 소프트웨어 최척 배포문제를 논한다. 과거에는 소프트웨어 개발 프로세스에 의한 출하 품질의 파악이나 시험 진도관리에 의한 신뢰성 평가를 행하는 접근방법(approach)에 의해 소프트웨어의 고장 발생 현상을 불확정 사상에 의해 확률, 통계적으로 취급하는 방법을 적용하였으나 본고에서는 fault 발견과정에서 계수에 의해 취급되는 비동차포아송과정(NHIPP: Non-Homogeneous Poisson Process) 에 의한 SRGM과 fault 발견 과정을 연속적으로 변동하는 확률 과정의 모델화된 확률 미분방정식 (SDE: stochastic differential equation)에 의한 SRGM을 제안하여 최적의 배포시기를 결정한다. 여기서 시험단계 및 운용단계에 발생하는 비용 요인으로부터 도출된 총 소프트웨어 비용을 최소로 하는 시험시간인 최적 배포시기를 구한다. 특히, 총 소프트웨어 비용의 확률분포를 고려하여 최적 배포시기의 신뢰 한계도 논한다.

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

다결정 실리콘-게르마늄 (poly-SiGe)은 태양전지 개발에 있어서 중요한 물질이다. 우리는 소량의 Ge(x=0.05)으로부터 다량의 Ge(x=0.67)을 함유한 수소화된 비정질 실리콘-게르마늄 (a-SiGe:H) 박막의 고상결정화 과정을 ESR (electron spin resonance)방법으로 조사해보았다. 먼저 PECVD 방법으로 Corning 1737 glass 위에 a-Si1-xGex:H 박막을 증착시켰다. 증착가스는 SiH4, GeH4 가스를 썼으며, 기판온도는 20$0^{\circ}C$, r.f. 전력은 3W, 증착시 가스압력은 0.6 Torr 정도이었다. 증착된 a-SiGe:H 박막은 $600^{\circ}C$ N2 분위기에서 다시 가열되어 고상결정화 되었고, 결정화 정도는 XRD (111) peak의 세기로부터 구해졌다. ESR 측정은 상온 x-band 영역에서 수행되었다. 측정된 ESR스팩트럼은 두 개의 Gaussian 함수로써 Si dangling-bond와 Ge dangling-bond 신호로 분리되었다. 가열 초기의 a-SiGe:H 박막 결함들의 스핀밀도의 증가는 수소 이탈에 기인하고, 또 고상결정화 과정에서 결정화된 정도와 Ge-db 스핀밀도의 변화는 서로 깊은 상관관계가 있음을 알 수 있었다. 특히 Ge 함유량이 큰 박막 (x=0.21, 0.67)에서 뿐만 아니라 소량의 Ge이 함유된 박막(x=0.05)에서도 Ge dangling-bond가 Si dangliong-bond 보다 고상결정화 과정에서 더 중요한 역할을 한다는 것을 알수 있었다. 또한 초기 열처리시 Si-H, Ge-H 결합에서 H의 이탈로 인하여 나타나는 Si-dangling bond, Ge-dangling bond 스핀밀도의 최대 증가 시간은 x 값에 의존하였는데 이러한 결과는 x값에 의존하는 Si-H, Ge-H 해리에너리지로 설명되어 질 수 있다. 층의 두께가 500 미만인 커패시터의 경우에 TiN과 Si3N4 의 계면에서 형성되는 슬릿형 공동(slit-like void)에 의해 커패시터의 유전특성이 파괴된다는 사실을 알게 되었으며, 이러한 슬릿형 공동은 제조 공정 중 재료에 따른 열팽창 계수와 탄성 계수 등의 차이에 의해 형성된 잔류응력 상태가 유전막을 기준으로 압축응력에서 인장 응력으로 바뀌는 분포에 기인하였다는 사실을 확인하였다.SiO2 막을 약화시켜 절연막의 두께가 두꺼워졌음에도 기존의 SiO2 절연막의 절연 파괴 전압 및 누설 전류오 비교되는 특성을 가졌다. 이중막을 구성하고 있는 안티퓨즈의 ON-저항이 단일막과 비교해 비슷한 것을 볼 수 잇는데, 그 이유는 TiO2에 포함된 Ti가 필라멘트에 포함되어 있어 필라멘트의 저항을 감소시켰기 때문으로 사료된다. 결국 이중막을 구성시 ON-저항 증가에 의한 속도 저하 요인은 없다고 할 수 있다. 5V의 절연파괴 시간을 측정한느 TDDB 테스트 결과 1.1$\times$103 year로 기대수치인 수십 년보다 높아 제안된 안티퓨즈의 신뢰성을 확보 할 수 있었다. 제안된 안티퓨즈의 이중 절연막의 두께는 250 이고 프로그래밍 전압은 9.0V이고, 약 65$\Omega$의 on 저항을 얻을수 있었다.보았다.다.다양한 기능을 가진 신소재 제조에 있다. 또한 경제적인 측면에서도 고부가 가치의 제품 개발에 따른 새로운 수요 창출과 수익률 향상, 기존의 기능성 안료를 나노(nano)화하여 나노 입자를 제조, 기존의 기능성 안료에 대한 비용 절감 효과등을 유도 할 수 있다. 역시 기술적인 측면에서도 특수소재 개발에 있어 최적의 나노 입자 제어기술 개발 및 나노입자를 기능성 소재로 사용하여 새로운 제품의 제조와 고압 기상 분사기술의 최적화에 의한 기능성 나노 입자 제조 기술을 확립하고 2차 오염 발생원인 유기계 항균제를 무기계 항균제로 대체할 수 있다. 이와 더불

• 대한원격탐사학회지
• /
• 제14권4호
• /
• pp.376-391
• /
• 1998

위성의 발달에 따라 고해상영상이 등장하게 되었고 지표상태 분석에 매우 유용하게 되었다. GeoWatch는 지능형 영상처리 시스템으로서, 고해상도 영상을 이용하여 디지타이징, 지리보정, 강조, 여러 가지 연산, 식생지수 분석, 등을 하여 지표면 분석 등을 할 수 있는 시스템이다. 도한 지능형 분석 방법등 여러 가지 기법을 이용하여 변화지역분석, 토지 분류, 도시정보추출 등을 수행한다. 이 시스템의 강점은 full scene 영상같은 대용량 영상을 다룰 경우 역동적인 알고리즘 저장 방식을 채택하였고, 자동메뉴 생성, 사용자 편의를 위한 비쥬얼 프로그래밍 환경 등을 제공한다. 이 시스템은 또한 위성영상 위에 벡터를 중첩하여 분석하거나 수정 작업을 할 수 있고, 3차원 비행 시뮬레이션도 가능하다. 이 시스템은 영상 처리 모듈 외에도 영상 변환 및 수정 유틸리티 기능을 많이 제공한다. 본 논문에서는 또한 지능형 영상 분석 방법 뿐만 아니라, 대용량처리나, 비쥬얼 프로그램을 위한 디자인 개념을 제공한다.

• 한국초등과학교육학회지:초등과학교육
• /
• 제41권4호
• /
• pp.725-739
• /
• 2022

본 연구는 AR 기술을 활용하여 안내된 과학탐구 프로그램을 개발함에 있어서 초등 예비교사들이 무엇에 중점을 두었으며, 어떠한 어려움을 겪었는지 분석하고, 이를 토대로 예비교사의 역량 함양 및 양성교육을 위한 시사점을 제공하는 데 목적이 있다. 이를 위하여 AR 기반 안내된 탐구 프로그램을 개발하는 강의에 참여한 초등 예비교사들의 사례를 수집하고 그들이 중점을 둔 부분과 겪은 어려움을 프로그램 '설계 단계'와 '제작 단계'로 범주화하여 분석하였다. 분석 결과, 프로그램 설계 단계에서 예비교사들은 능동적인 탐구과정을 촉진하는 시나리오를 구성하고, 동시에 AR 기술이 지닌 고유의 행위유도성으로서 3D 환경의 생생한 시각 자료를 구성하여 가상세계와 실세계에서의 탐구 경험을 의미 있게 연결짓는 데에 중점을 두었다. 또한 예비교사들은 시나리오의 설계, 탐구 프로그램 개발을 위한 정보 수집, 초등학생의 능동적 관찰을 이끄는 방법구현에 어려움을 경험하였으며, 탐구에 대한 근본적 의문으로 어려움을 겪었다. 또한 예비교사들은 AR 기술의 장점을 살리는 것을 어려워하였으며, 컨텐츠 제작 프로그램인 CoSpaces에 대한 배경지식이 부족하여 탐구 프로그램을 구상하는 데에 어려움을 겪었다. 프로그램 제작 단계에서는 초등학생들이 탐구에 집중할 수 있는 환경을 조성하기 위해, 예비교사들은 프로그램 조작을 쉽고 단순하게 구성하고자 했으며, 게임적 요소나 쌍방향적 상호작용 요소를 추가하여 학습자의 흥미를 높일 방법에 중점을 두었다. 또한 CoSpaces를 이용한 프로그래밍 과정에서 어려움을 겪었다. 이러한 결과를 바탕으로 예비교사 역량 함양 및 교사양성교육 방안 모색을 위한 시사점에 대해 논의하였다.

• 문화기술의 융합
• /
• 제9권2호
• /
• pp.381-388
• /
• 2023

본 연구는 빅데이터 분석을 활용한 지역 맞춤형 교육프로그램 선정 모형 개발을 주요 목적으로 한다. 우선, 문헌 고찰을 통해 빅데이터 및 교육의 개념 및 특성 그리고 빅데이터 기술과 연구 활용 등의 이론을 분석하여, 이를 평생교육 빅데이터 활용을 위한 선결과제와 기초 연구자료로 제공한다. 아울러 교육 데이터 수집의 방법과 교육의 특성에 적정한 빅데이터 활용 방법을 제시하고 이를 활용한 지역 맞춤형 교육프로그램 선정 모형을 개발하였다. 지역 맞춤형 교육프로그램 선정 모형 개발은 총 6단계로 진행되었다. 본 연구에서 제시한 맞춤형 교육프로그램 모델은 실질적 활용 면에 있어, 국가승인통계인 '평생학습 개인 실태조사' 처럼 1년 후에 분석하지 않고 실시간으로 데이터가 제공되는 방식으로 활용 부분에 있어서도 선택적 분석이나 미래예측 등 자유도가 매우 높아 교육 분야에 빅데이터가 충분한 필요성과 가치가 있음을 알 수 있다. 뿐만 아니라 표본 모형에 사용되고 있는 모든 프로그램은 무료로 제공되고 있으며, 프로그래밍 특성상 커뮤니티 또한 활발하게 교류가 이루어지고 있어 추후 수정 및 보완 시에도 매우 용이하여 더욱 완성도 높은 교육프로그램 개발 모형을 개발할 수 있다.

• 지능정보연구
• /
• 제21권1호
• /
• pp.99-118
• /
• 2015

정보 시스템 개발에 있어 객체지향 프로그래밍 언어가 널리 사용된다. 이와 함께 객체지향 설계를 뒷받침하는 개념적 모델링 언어에 관한 관심도 높다. 이를 배경으로 통합 모델링 언어 혹은 UML로 알려진 개념적 모델링 언어는 여러 객체 지향 프로그래밍 언어와 함께 사용되면서 사후적 표준으로 자리 잡았다. UML은 클래스를 설계의 중심에 둔다. 또한 클래스들 간의 관계를 통해 체계적인 이해를 가능하게 한다. 특히 부분에 해당하는 클래스들과 전체에 해당하는 클래스의 관계인 부분-전체 관계를 설계할 수 있는 문법 또한 UML에 포함된다. 현실 세계에 부분-전체 관계로 파악될 수 있는 여러대상들이 존재하고 비즈니스 활동에 존재하는 각종 역할들의 구조에서도 부분-전체 관계로 표현될 수 있는 대상들이 보편적으로 보인다. 따라서 UML로 클래스들 간의 부분-전체 관계를 드러내는 일은 자연스럽다. 문제는 부분-전체 관계를 파악하는 활동은 UML 2.0의 표준에 포함되었으나 실제 설계 과정에서 적극 활용하기 위한 실천적 이론화가 부족하다는 점이다. 부분-전체 관계를 집합연관과 복합연관으로 세분화한 UML 문법은 표현 양식에서 부족함은 없을지라도 어떤 대상을 부분-전체로 파악하고, 이를 어떻게 집합연관이나 복합연관으로 분류해야 할 것인지에 대한 판단이 쉽게 결여된다. 지금까지 UML의 부분-전체 관계 규명은 언어적 표현법을 활용하는 것에 치우쳤다. 이와 같은 문제에 대한 대안을 제시하기 위해 본 연구는 메타모델 형식화 이론을 기반으로 UML 사용자가 부분-전체 관계를 판단하고 이를 집합연관과 복합연관으로 분류할 수 있는 실천적 대안을 제시한다. 이를 활용한 실험의 결과 메타모델 형식화가 UML 사용자들에게 통용되어 온 언어적 구분법보다 더 나은 결과를 낳는다는 점이 밝혀졌다. 본 연구는 부분-전체의 판별과 구분에 도움을 주는 실용적인 방법을 제안하고 검증하였다는 점에서 의의가 있다.