• 대한수학교육학회지:학교수학
• /
• 제18권1호
• /
• pp.127-141
• /
• 2016

본 연구는 Chauvat의 그래프 사용 모드에 근거하여 고등학교 1학년 학생의 이차함수 문제해결에서 나타나는 그래프 표상의 사용 모드를 분석하고자 한다. 이 분석으로부터 Bannister (2014)의 표상의 유연성을 통해 연구 참여 학생들의 이차함수 이해 정도를 조사하였다. 그 결과 고등학교 1학년 학생들이 주로 사용하는 그래프 표상 모드는 계산 도표학적 모드이며, 조작적 모드를 사용할 경우에는 오류를 발생하는 것을 알 수 있었다. 그리고 함수의 이해를 대상과 과정 관점에서 표상의 사용으로 분류한 Bannister(2014)의 유연성의 분류에서는 과정 관점으로 함수를 이해하고 두 표상 사이에 조작이 일어나지 않는 경직된 형태를 보이는 것으로 나타났다. 이러한 결과를 바탕으로 교실에서 학생들을 위한 그래프 표상 사용에 대한 교육 및 다양한 관점으로 함수를 이해할 수 있는 교수 -학습 방법에 대한 연구가 필요할 것으로 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국전자파학회논문지
• /
• 제14권6호
• /
• pp.655-662
• /
• 2003

유전체 봉이 삽입된 원통형 공진기의 정밀한 필드 해석이 비소멸 모드와 컨투어 그래프 방법에 의해 제안되었다. 공진주파수들과 저차 모드들이 유전체 봉이 삽입된 원통형 공진기에 대해 계산되었다. 공진기의 설계를 위해 모드 차트가 제안되었다. 비소멸 모드 해석을 사용하여 하이브리드 모드들(TE, TM, HEM 모드)이 상세하게 해석되었고, 모드 차트를 완성하였다. 이론적 타당성은 실험에 의해 확인하였다. 이론과 실험 결과는 전반적으로 만족하였다. TE 모드, TM 모드, HEM 모드의 실험값과 이론값의 평균 오차는 각각 0.20 %, 0.14 %, 0.28 %이다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2016년도 제50회 동계 정기학술대회 초록집
• /
• pp.303.2-303.2
• /
• 2016

현재 플라즈마를 이용한 기술은 반도체, 태양광 발전, 디스플레이 등 산업의 전반적인 분야에서 특히 반도체 공정을 이용한 산업에서는 핵심적인 기술이다. 반도체 공정 중에서 박막 증착과 식각 분야에서 플라즈마를 사용한 기술은 매우 높은 가치를 지니고 있다. 중요한 플라즈마 연구로는 이론적 접근을 통한 플라즈마 소스 개발과, 기 개발된 플라즈마 소스를 적용하여 반도체 공정에 적용함으로써 최적의 조건을 찾아내며, 그에 대한 메커니즘을 연구하는 분야로 크게 분리할 수 있다. 따라서 이러한 플라즈마 기술이 발달함에 따라 nano-scale의 연구 또한 상당히 중요한 부분으로 자리 잡고 있다. 본 실험에서는 RF magnetron sputter를 사용하고 질소 유량을 0.5 sccm으로 고정하여 AlN 박막을 증착하였다. 이후 상압 플라즈마를 이용하여 식각을 진행하였다. AlN 박막 전체 표면에 대하여 3초 및 6초간 식각을 진행하였다. 이후 Nano-Indenter를 사용하여 $100{\sim}7000{\mu}N$까지 힘을 증가시키며 측정하였다. 3초간 식각을 진행한 시료의 경우 압입 깊이 대비 Hardness 그래프에서 약 40 ~ 100 nm 까지 약 2.5 GPa 정도의 차이가 발생하였고 6초간 식각을 진행한 시료의 경우 압입 깊이 대비 Hardness의 그래프에서 약 40 ~ 130 nm 까지 약 1 GPa 정도의 차이가 발생함을 확인하였다. 이후 WET-SPM 장비를 사용하여 AFM 모드를 이용하여 박막 표면이 거칠기를 확인하였다. 플라즈마 식각공정을 거치지 않은 시료의 경우 박막의 거칠기는 7.77 nm로 측정되었고 3초간 플라즈마 식각공정을 거친 시료의 경우 6.53 nm, 6초간 플라즈마 식각공정을 거친 시료의 경우 8.45 nm로 나타남을 확인할 수 있었다. 이와 같은 결과들로부터 플라즈마 식각공정은 박막의 표면에도 영향을 미치지만 박막 내부 일정 부분까지 영향을 받는 것을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권9호
• /
• pp.572-587
• /
• 2008

SOFM(Self-organizing Feature Map)은 고차원의 데이타를 군집화(clustering)하거나 시각화(visualization)하기 위해 많이 사용되고 있는 비교사 학습 신경망(unsupervised neural network)의 한 종류이며, 컴퓨터비전이나 패턴인식 분야에서 다양하게 활용되고 있다. 최근 SOFM이 실제 응용분야에 다양하게 활용되고 좋은 결과를 보이고 있지만, 학습된 SOFM의 뉴론(neuron)을 다시 군집화해야 하는 후처리가 필요하며, 대부분의 경우 수동으로 이루어지고 있다. 후처리를 자동으로 하기 위해 k-means와 같은 기존의 군집화 알고리즘을 많이 이용하지만, 이 방법은 특히 다양한 모양의 클래스를 가진 고차원의 데이타에서 만족스럽지 못한 결과를 보인다. 다양한 모양의 클래스에서 좋은 성능을 보이기 위해, 본 논문에서는 그래프 컷(graph cut)을 이용하여 학습된 SOFM을 자동으로 군집화하는 방법을 제안한다. 그래프 컷을 이용할 때 터미널(terminal)이라는 두 개의 추가적인 정점(vertex)이 필요하며, 터미널과 각 정점 사이의 가중치는 대부분 사용자에 의해 입력받은 사전정보를 기반으로 설정된다. 제안된 방법은 SOFM의 거리 매트릭스(distance matrix)를 기반으로 한 모드 탐색(mode-seeking)과 모드의 군집화를 통하여 자동으로 사전정보를 설정하며, 학습된 SOFM의 군집화를 자동으로 수행한다. 실험에서 효율성을 검증하기 위해 제안된 방법을 텍스처 분할(texture segmentation)에 적용하였다. 실험 결과에서 제안된 방법은 기존의 군집화 알고리즘을 이용한 방법보다 높은 정확도를 보였으며, 이는 그래프기반의 군집화를 통해 다양한 모양의 클러스터를 처리할 수 있기 때문이다.

• 한국전자파학회논문지
• /
• 제14권4호
• /
• pp.401-412
• /
• 2003

본 논문에서는 새로운 스위치 회로망을 사용하는 광대역 위상 천이기 구조를 제안하였다. 새로운 기준 회로 망은 결합 선로 및 45$^{\circ}$단락 및 개방 스터브들로 각각 구성되며, 지연 회로망은 표준 전송 선로로만 구성된다. 결합 선로의 우모드 및 기모드 임피던스 비 R에 따른 위상 산란 특성과 주 전송 선로의 특성 임피던스 Zm 및 단락 및 개방 스터브들의 특성 임피던스로 Zm에 의한 보다 강한 위상 산란 특성을 함께 사용하므로 광대역 180$^{\circ}$위상 천이기 설계가 가능하다. 제안된 위상 천이기에 대한 이론적인 산란 매개변수들을 얻기 위하여, 구조의 대칭성을 고려하여 우모드 및 기모드 해석 방법을 사용하였으며, 또한, 유도된 수식들을 바탕으로 컴퓨터 시뮬레이션을 통하여 최적의 180$^{\circ}$광대역 위상 천이기 설계를 위한 설계 그라프들을 제시하였다. 설계 그라프들은 Zm과 Zs의 특성 임피던스 값들과 입출력 정합 및 위상 대역폭 값들을 제공한다. 본 논문에서 제안하는 광대역 위상천이기의 전기적인 성능들을 검증하기 위하여, 설계 그래프를 이용하여 3종의 180$^{\circ}$위상 천이기들과 성능 비교를 위해 표준 쉬프만 구조의 180$^{\circ}$위상 천이기를 설계 및 제작하고 실험을 수행하였다. 입출력 임피던스 정합(VSWR=1.15:1) 및 최대 위상 오차$({\varepsilon}_{{\Delta}{\phi}}＝{\pm}2^{\circ})$설계 조건들을 동시에 만족하는 각 위상 천이기의 실험 결과들은 시뮬레이션 결과들과 잘 일치하였으며, 또한 광대역 특성들을 보여주었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권6호
• /
• pp.719-726
• /
• 1999

본 논문은 교통 신호 제어 알고리즘들의 성능을 비교하기 위한 복합교차로 시뮬레이터를 구현하였다. 기존의 교통 시뮬레이터들은 단일교차로를 대상으로 하거나 텍스트 모드로 동작하는 경우가 많았다. 논문의 시뮬레이터는 Visual C++의 MFC 라이브러리를 사용하여 n $\times$ n 형태를 갖는 복합교차로에 적합하도록 객체지향적으로 구현되었으며, 성능 비교를 위하여 제어 알고리즘들을 별개의 윈도우에서 처리하기 쉽도록 MDI 방식을 사용하였다. 개발한 시뮬레이터는 그래프 윈도우와 맵 윈도우의 편리한 사용자 인터페이스, 논리시간 설정을 통한 다목적 시뮬레이션, 다양한 성능평가 출력 등의 특징을 갖는다. Abstract In this paper, we implemented a multiple crossroad simulator to evaluate the performance of the traffic signal control algorithms. Most of existing traffic simulators were operated in text-mode or at a single intersection. We developed the object-oriented simulator suitable for multiple crossroads with n $\times$ n intersections by using MFC (Microsoft Foundation Class) library in Visual C++. The simulator was implemented by using MDI (Multiple Document Interface) scheme in order to process both control algorithms in separate windows respectively. Our simulator has the following features: user friendly interface with graph window and map window, multi-purpose simulations by setting logical time, and various forms of performance evaluation.

• 문화기술의 융합
• /
• 제3권2호
• /
• pp.55-59
• /
• 2017

본 연구는 무선통신 방식에 따른 통신 코드를 통해 생체신호를 전달하는 과정을 확인하였다. 생체 시스템은 ECG, PPG, Bluetooth으로 구성하여 신호를 받았고, 통신방식은 국제표준으로 IEEE802.15.1에 따라 진행하였으며, 주파수이동에 필요한 대역통신방식으로 신호를 산출하여 전송하였다. 무선통신으로 받은 신호를 표현하기 위해 사용된 프로그램은 Serial Chart, Processing, App Inventor를 구성하여 신호가 원활하게 전송됨을 확인하였다. 따라서 신호처리에 따른 실시간 그래프를 위한 코드와 프로세싱을 활용한 Serial Chart 그래프의 정량적 유추가 진행되면 원활한 무선통신 방식의 개선효과가 있을 것으로 예상된다.

• 복합신소재구조학회 논문집
• /
• 제1권2호
• /
• pp.1-13
• /
• 2010

복합적층구조의 층간분리현상은 탄성좌굴하중을 감소시키며 설계값보다 낮은 수준에서 전체구조물의 파괴를 유발한다. 따라서 복합적층구조의 층간분리 현상은 매우 중요한 문제이며 많은 이론과 실험적인 연구가 진행되어왔다. 본 연구에서는 3차원 이론을 사용한 효과적인 유한요소법에 기초하여 임베디드된 사각형 층간분리 현상을 갖는 복합적층판의 탄성좌굴 거동을 분석하였다. 해석을 위해 개발된 3차원 유한요소는 EAS-SOLID8이라고 이름 붙여졌으며 강화된 대체 변형률 방법을 사용하였다. 임베디드된 사각형 층간분리를 갖는 복합적층판의 탄성좌굴거동 분석을 위해 경계조건, 폭-두께비 변화에 대하여 매개변수 해석을 수행하였다. 본 연구의 그래프와 좌굴모드는 임베디드된 사각형 층간분리를 갖는 복합적층판의 설계에 매우 유용한 자료가 될 것으로 사료된다.