• 한국ITS학회 논문지
• /
• 제7권5호
• /
• pp.180-183
• /
• 2008

본 논문은 교통망에서 관측 링크 교통량, 미관측 링크의 이용자평형 정보를 이용하여 O-D행렬을 수학적으로 생성하는 모형을 제시하고 있다. 교통량이 관측되지 않은 링크로부터 이용자 평형 상태에서 추출 가능한 정보를 바탕으로 일련의 논리적 연산을 거쳐 실제교통량에 근접하는 서브알고리듬을 유추하여 O-D행렬 추정의 정확도와 연산의 일관성을 제고하였다. 이를 위해 이용자평형상태에서 새로운 정리(Theorem)와 보조정리(Lemma)를 유도하여 적용하였다. 모형의 시험은 3개의 초기 O-D 행렬과 3개의 미관측 링크 교통량 시나리오를 각각의 모형에 적용하여 그 결과를 비교하였다. 적용 결과 본 논문에서 제시된 모형은 기존의 이용자균형 접근방식의 모형emf에 비해 추정된 O-D값의 실제 값과의 차이(O-D Trip RMSE)가 현저히 감소되는 것을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.281-282
• /
• 2009

본 논문은 자료구조 알고리즘의 데이터 연산 흐름 과정을 3차원 애니메이션으로 가시화함으로서 학습자의 이해력을 실시간적으로 향상시켜줄 수 있는 3차원 시뮬레이터 시스템 개발에 관한 것이다. 알고리즘은 그 자체가 가지고 있는 난이도 때문에 의사 코드나 실제 코드로서는 이해하기가 어려울 뿐만 아니라 알고리즘의 특성을 파악하기 쉽지 않다는 문제점이 있다. 그러므로 본 논문은 이러한 문제점들을 개선하고 학습자들에게 이해력을 효율적으로 제공하기 위하여 3차원 가상공간에서 데이터 연산 과정을 애니메이션 기법을 사용하여 실시간으로 가시화할 수 있도록 하였다. 본 논문은 교육자와 학습자 모두에게 효율적인 멀티미디어식 교육 환경을 제공하여 자료구조 알고리즘에 대한 이해와 관심을 높이고 나아가서는 논리적이고 분석적인 사고방식을 키우는데 활용할 수 있을 것으로 기대된다.

• 한국산업정보학회논문지
• /
• 제11권4호
• /
• pp.72-81
• /
• 2006

본 논문에서는 마이크로컨트롤러의 기능을 수행하는 데 필수적이며 사용빈도가 높다고 판단되는 총 64개의 명령어를 정의한 후 이를 처리할 데이터패스를 구성해 스테이트 머쉰으로 제어하는 방식으로 VHDL로 설계를 하고 FPGA로 구현했다. 기존의 마이크로컨트롤러 관련 연구에서는 기능적 시뮬레이션까지만 했기나, 인터럽트 기능이 없든지, 하드웨어로 구현을 하지 않았었다. 본 논문에서는 데이터 이동, 논리, 가산 연산 및 분기, 점프 연산을 실행할 수 있도록 해 간단한 연산 및 제어용도에 적합하도록 하였고, 스택, 외부 인터럽트 기능을 지원하도록 해 그 자체로서 완전한 마이크로컨트롤러가 되도록 하였다. 타이밍 시뮬레이션으로 검증 후 제작 과정을 통해, 설계된 마이크로컨트롤러가 정상적으로 동작함을 확인하였다. 심지어 프로그램 ROM까지도 칩 안에 넣어 전체 마이크로컨트롤러를 단일 칩으로 구현하였다. Altera MAX+PLUS II 통합개발환경 하에서 EP1K50TC144-3 EPGA 칩으로 구현을 하였고 최대 동작주파수는 9.39MHz까지 가능했고 사용한 로직 엘리먼트의 개수는 2813개로서 논리 사용률은 97%이었다. 본 연구의 결과는 핵심 기능이 요구되는 마이크로컨트롤러 IP로서도 사용할 수 있고, 모든 코드가 VHDL로 작성되어 있으므로 사용자의 요구에 따라 기능을 추가할 수도 있다.

• 전자공학회논문지D
• /
• 제35D권10호
• /
• pp.107-115
• /
• 1998

피승수와 승수의 부호에 상관없이 빠른 이진곱셈을 수행할 수 있는 효과적인 방법으로서 Booth 알고리즘의 승수 비트-쌍 재코딩 알고리즘을 사용한다. 본 연구에서는 승수 비트-쌍 재코딩 알고리즘을 광특성에 적합하도록 변형 발전시킨 광곱셈 알고리즘과 기호치환 가산기로 구성된 고속의 광곱셈기의 구현을 제안한다. 특히, 기호치환 가산규칙을 듀얼-레일 논리로 부호화해서 이 논리의 보수가 언제나 존재하기 때문에 기호치환 가산기에서 이 논리의 보수가 시프트연산에 의해 쉽게 구할 수 있게 했다. 또한 시프트된 두 영상을 직렬 연결하여 중첩시키므로서 중첩영상을 얻고, 이 중첩영상을 마스크로 보내 기준영상을 인식하는 기호치환 시스템을 구성한다. 따라서 광곱셈기의 수동광소자의 수와 시스템의 크기를 줄여서 일반적인 광시스템과 비교하여 작은 시스템으로 구현한다.

• 한국컴퓨터정보학회논문지
• /
• 제19권12호
• /
• pp.369-384
• /
• 2014

우리나라 영재교육은 2002년 시작된 이후 이제 교육지원체계가 확립되었고, 양적 측면에서 충분한 성장을 이루었다. 반면에 교육의 질적인 측면에서는 미흡한 점이 있다는 보고가 많다. 즉, 대부분의 영재교육이 선행학습에 의한 단순 지식확대 위주로 이루어진다는 것이다. 영재 교육의 질을 높이기 위해서는 간학문적 원리와 현상을 문제해결에 적용할 수 있는 비판적 사고력 및 창의력 배양 교육이 되어야 한다. 이 연구에서는 통합교육 개념에 근거하여 AND/OR/XOR 등의 기본 논리 연산이 컴퓨터의 세포 역할을 하게 되는 과정을 탐구하는 융합형 교수 학습 자료를 설계하고 개발하였다. 설문 조사 결과 기존의 다른 학습 주제보다 학생들의 만족도(유익성, 이해도, 흥미도)가 크게 높은 것으로 평가되어 설계 취지에 부합된 것으로 나타났다.

• 정보교육학회논문지
• /
• 제22권6호
• /
• pp.661-669
• /
• 2018

2015 개정교육과정에 의해 2018년부터 SW 교육이 필수화되면서 SW 교육에 대한 연구가 활발하게 이루어지고 있다. 본 논문에서는 예비교사들의 컴퓨팅 사고력 수준을 파악하기 위해 2016년부터 2018년까지 3년 동안 K 교육대학교 1학년 학생 325명을 대상으로 스크래치 수업을 실시한 후 연도별로 산출된 스크래치 프로젝트를 Dr. Scratch 분석도구로 평가하여 연도별과 학점별로 CT요소 점수의 연관성을 분석하였다. 그 결과, 연도와 학점이 높을수록 CT요소, 점수, 등급도 높아짐을 알 수 있었다. 이를 통해, 학생들은 Dr. Scratch와 같은 자동화된 평가도구를 사용하여 평가해 본 후 스스로 수정 보완해보는 과정과 필요한 자료를 직접 제작하여 활용하는 ICT 능력이 필요하며, 복잡한 조건과 논리연산 활용 등 논리적 사고 요소를 이해하고 잘 활용될 수 있도록 교육될 필요가 있다.

• 한국정보통신학회논문지
• /
• 제26권7호
• /
• pp.1091-1097
• /
• 2022

본 논문에서는 배타적 논리합 연산을 활용한 비디오 스트리밍 기술인 eXclusive OR-based Cast(XC) 시스템을 구현하고, 근거리무선망 환경에서 다양한 성능지표들을 측정한다. 또한, 기존 연구들이 제한적 환경에서 시뮬레이션을 통하여 성능을 분석한 반면, 본 연구에서는 다양한 실질적인 비디오 스트리밍 환경들을 고려하여 XC 시스템의 성능 개선 정도를 확인한다. 이를 위해서 클라이언트들이 서버로 전송하는 STR_REQ_MSG (SRM)와 스트리밍 서버가 클라이언트들을 제어하기 위한 STR_CON_MSG (SCM)와 같은 새로운 제어 메시지들을 제안하고 이들을 활용하여 프로토콜을 설계하였다. 구현한 XC 시스템을 활용한 다양한 성능 측정 결과에 따르면, XC 스트리밍 시스템은 기존 스트리밍 시스템 대비 네트워크 대역폭 소모량을 평균적으로 8.6% 그리고 최대 약 25%까지 줄일 수 있다. 또한, 스트리밍 서비스의 중단 확률은 약 76%까지 낮아진다.

• 지적과 국토정보
• /
• 제49권1호
• /
• pp.157-179
• /
• 2019

역세권 2030청년주택 정책은 역세권 개발이 서울시 내 임대주택 택지를 확보하기 위한 유일한 대안이라는 인식 가운데 기대를 받으며 출범했다. 그러나 임대주택 공급실적은 당초 계획에 미치지 못했고 용도지역체계에 혼란을 줄 수 있다는 비판이 지속적으로 제기되었다. 결국, 역세권 2030청년주택은 시행 후 3년 사이에 운영기준이 6차례 개정되었다. 특히 2018년 10월 이후에는 1년 이내에 큰 폭의 운영기준 개정이 두 차례 이어졌다. 이에 본 연구는 사업가능구역과 용도지역 변경 가능구역의 변화 양상을 분석하여, 지난 운영기준 개정의 방향성 평가와 정책적 시사성을 도출하고자 했다. 공간적 범위 및 구역의 도출에는 명제논리를 활용했다. 이를 위해, 가구(街區) 등 기초자료 정제 및 전처리, 명제별 진리 값 입력, 논리연산 과정을 수행하여 사업가능구역 및 용도지역 변경 가능구역 소속여부를 판별했다. 분석 결과, 1) 사업가능구역은 서울시 외곽의 역세권으로 고르게 분산되면서도 준주거지역과 상업지역으로 집중되는 경향이 있고, 2) 용도지역 변경 가능구역은 준주거지역 변경 가능구역을 중심으로 전반적인 증가추세가 두드러졌다.

• 한국지능시스템학회논문지
• /
• 제8권6호
• /
• pp.37-47
• /
• 1998

본 논문은 진화 연산 알고리즘과 퍼지 로직을 이용하여 고속 열처리 공정기의 웨이퍼 온도를 제어하는 제어기 설계 방법을 제안한다. 전체 제어기는 기준 온도의 정상 상태의 추종을 위한 앞먹임 정적 제어기, 과도 상태의 추종을 위한 앞먹임 동적 제어기, 그리고 온라인 상에서 모델링 오차나 외란을 극복하기 위한 되먹임 오차 제어기로 구성된다. 앞먹임 제어기들은 퍼지 로직을 이용하여 모든 동작점에서 제어 입력을 구해주는 전역적 비선형 제어기로 구성된다. 각 제어기들의 제어 파라미터는 진화 연산 알고리즘을 이용하여 추정되므로 수학적 모델식을 모르는 경우에도 제어기를 설계할 수 있는 장점이 있다. 끝으로 모의 실험을 통하여 제어기의 성능을 검증한다.

• 전자공학회논문지B
• /
• 제33B권1호
• /
• pp.144-152
• /
• 1996

대규모 병렬처리가 가능하고 칩당 뉴론 집적도가 높은 펄스형 디지털 다계층 신경망 구조를 제안하였다. 제안된 신경망에서는 대수적인 신경망연산이 의사-랜덤 펄스 시퀀스(pseudo-random pulse sequences)와 단순 디지털 논리 게이트를 이용하여 확률적 프로세스로 대치되었다. 확률적 프로세스의 결과로 나타나는 신경망 연산의 통계적 모델을 제시하였으며 이를 바탕으로 랜덤잡음의 영향과 연산의 정확도를 분석하였다. 이진인식 문제를 적용하여 제안된 신경망의 성능을 평가하고 제시한 통계적 분석결과의 정당성을 검증하였다. Gate 레벨과 register transfer 레벨로 기술된 신경망의 VHDL 모델의 시뮬레이션 결과는 개발된 통계적모델로 예측된 인식추정치와 실제 인식률이 거의 일치함을 보였으며, 또한 숫자인식률에 있어서도 일반 Back-Propagation 신경망의 인식률과 거의 차이가 없음을 보였다.