• 컴퓨터교육학회논문지
• /
• 제21권6호
• /
• pp.39-47
• /
• 2018

이 연구는 사다리타기 게임에서 등장하는 사다리 모양에 따른 이산구조를 순열과 조합적 사고, 알고리즘적 구현을 통하여 최소생성사다리를 생성하는 방법과 컴퓨팅 사고력과의 관련성을 탐구하는 내용을 다루었다. 먼저 연구자는 사다리 모양의 세로판과 가로판의 조합에 따라서 생성되는 순열 중에서 역순열에 대응하는 사다리(최소생성사다리)를 필터링 기법과 새로 개선한 알고리즘을 고안하여 Mathematica 프로젝트로 진행하였다. 그 결과 최소생성사다리를 생성원(generator)으로 하는 새로운 그래프를 Mathematica로 창출하여 YC그래프라 이름 붙였으며 그에 대한 속성을 조사하였다. YC그래프는 이전 차원의 그래프를 내포하는 재귀적 구조와 다층 구조를 가졌으며 간선대칭의 특징을 보여주었다. 또한 계산복잡도가 증가함에 따라 세로판 5개, 가로판 10개 사다리부터 층별로 최소생성사다리를 생성하도록 탐색 공간을 분할하는 알고리즘을 적용하였다. 이 과정에서 자료의 시각화, 추상화 및 병렬처리 알고리즘 구현을 통한 컴퓨팅 사고력이 새로운 YC그래프의 창출 및 구조 분석에 기여한 것으로 나타났다.

• 한국콘텐츠학회논문지
• /
• 제10권8호
• /
• pp.73-83
• /
• 2010

본 논문에서는 ZigBee/IEEE 802.15.4 기반 무선 센서 네트워크와 TCP/IP 기반 네트워크를 서로 연결할 수 있는 웹-센서 게이트웨이의 아키택처를 제안한다. 제안한 게이트웨이의 주요 역할은 인터넷을 통하여 센서 노드에게 질의 또는 명령을 내리고 센서 데이터를 취득하도록 도와주는 기능이다. 다만, 인터넷과 센서 네트워크의 통신 프로토콜은 서로 불통함으로 양방향 프로토콜 변환이 필요하다. 본 논문에서는 이 변환 기능을 두 통신 프로토콜 APP 계층 위에 위치하도록 설계하여 인터넷 어프리케이션과 ZigBee 어프리케이션이 양 방향으로 변환 될 수 있도록 하였다. CGI 프로그램을 사용하여 변환 계층을 구현하였으며 인터넷의 사용자가 언제 어디서나 웹 페이지를 열어서 검색 요청이나 명령 등을 센서 노드에 전달할 수 할 수 있는 방식을 채택하였다. 이종 네트워크 연결을 위하여 TCP/IP 프로토콜을 센서 노드에 오버레잉 하는 기법도 가능하나 구현의 복잡성, 에너지 효율, 통신 오버헤드 측면에서 제한적이다. 부족한 자원을 가진 센서 노드 환경에서는 본 논문에서 제안한 변환 기반 웹-센서 게이트웨이 방식이 이종 통신 프로토콜 연결 문제를 해결하는 비교적 효과적이며 우수한 방법임을 확인하였다.

• 기술혁신학회지
• /
• 제19권4호
• /
• pp.799-821
• /
• 2016

무인항공기는 현대 전장 환경에서 감시정찰을 위한 필수요소이며, 전장의 복잡성과 불확실성이 증가함에 따라 그 중요성은 더욱 커지고 있다. 본 연구에서는 1982년부터 2014년까지 개발된 96대의 군용 무인항공기를 대상으로 비모수적이며 비통계적 기술예측 방법인 TFDEA를 이용한 기술예측을 실시하였다. 2001년에 최초로 소개된 이후 Inman 외(2006) 등은 TFDEA가 SOA 분석에서 회귀분석과 같은 전통적인 계량방법론보다 예측력이 우수함을 실증하였다. 본 연구에서는 무인항공기에 대한 기술예측 결과 연간 평균기술변화율이 4.06%로 향상되었으며, 개발된 대부분의 무인항공기는 첨단기술 프론티어(SOA) 보다 낮은 수준이었다. 이는 무인항공기를 개발하는 대부분의 국가가 기술적으로 중진국이고, 기술적 선진국인 북미와 유럽의 국가들이 세계 무인항공기 시장의 60% 이상을 장악하고 있다는 것에 기인한다고 볼 수 있다. 본 연구는 TFDEA의 적용분야를 미래체계로서 관심의 대상인 무인화 기술개발 분야로 확대하여 기술혁신의 특성을 분석함으로써 미래 무인항공기의 개발과 기술발전에 관한 기술예측의 기법으로서 적용가능성을 확인하였다. 특히 군의 작전요구성능과 연구개발관리에 필요한 정량적 지표를 설정하는데 활용할 수 있을 것으로 평가된다.

• 대한전자공학회논문지TC
• /
• 제39권5호
• /
• pp.232-242
• /
• 2002

MPLS(Multiprotocol Label Switching) 망에서 LSP(Lable Switched Path)의 수와 레이블 수를 줄이는 것은 망의 자원 관리 측면에서 매우 중요하며, MTP(Multipoint-to-Point) LSP는 이러한 문제점을 해결할 수 있다. 트래픽 엔지니어링을 고려할 때, MTP LSP는 트래픽 부하의 균형을 통한 망의 가용성과 링크 사용율을 높이는 경로를 선택하여야 한다. 또한 링크 단절시의 재 경로 설정이 요구되므로 빠른 경로 결정 방법이 요구된다. 본 논문은 Diffserv를 지원하는 MPLS 망에서, Diffserv의 PHB(Per Hop Behavior)와 다중경로 MTP LSP간의 매핑을 통한 트래픽 엔지니어링을 제안한다. 제안하는 트래픽 엔지니어링은 서비스 특성에 따라 계층적인 MTP LSP의 다중 경로를 결정한다. Monte-Carlo 방법을 사용한 빠른 트래픽 부하 균형 해를 구함으로써, 망 형태 정보가 빈번히 변하는 대규모 망에서 신속한 재 경로 결정을 할 수 있다. 제안하는 MTP LSP의 경로 결정 방법은 알고리즘의 수행 정도에 따라 최적의 경로 결정에 접근한다. 경로 결정의 시간 복잡도는 O(Cn²logn)으로 기존의 다중 경로 결정 방법과 동일한 시간 복잡도를 가지며, 선형 프로그래밍 접근보다 빠른 수행 시간을 갖는다. 시뮬레이션 결과 제안하는 알고리즘은 망의 형태정보와 요구하는 트래픽 부하 균형에 따라 효과적으로 제어될 수 있음을 보이며, 또한 제안하는 트래픽 엔지니어링의 호 차단율과 대역폭 차단율을 비교함으로써 망의 가용성이 기존의 다중경로 설정보다 높음을 보인다.

• 토지주택연구
• /
• 제2권3호
• /
• pp.249-258
• /
• 2011

도시재생을 효율적으로 수행하기 위해서는 전국적으로 쇠퇴정도를 파악하고 지구단위별 쇠퇴지역 및 잠재력 등을 평가할 수 있어야 한다. 이를 위해서는 다양성과 복합성을 고려한 공간정보 기반의 종합적 진단체계의 구축이 요구된다. 본 연구에서는 이러한 진단체계 구축의 일환으로 도시재생 종합정보시스템 아키텍처를 설계하였다. 시스템 개발을 위해 일차적으로 시군구단위 쇠퇴진단지표 DB를 구축하고, 쇠퇴진단시스템을 개발하였다. 또한 시스템의 고도화 추진방안을 제시하였다. DB 구축은 전국 시군구를 대상으로 하였으며 이에 대한 메타데이터를 구축하였다. 시스템은 Open API 기반으로 확장이 용이하도록 설계하였다. 그리고 RIA 기술 기반의 직관적인 UI를 구현하였다. 시스템의 주요기능은 지표관리, 진단분석(시군구단위 쇠퇴진단), 정보공개 등으로 구성하였다. 고도화 방안에서는 도시재생 DB의 공간적 관계성을 고려한 정보모형을 설계하고, 시멘틱 웹의 적용방안을 제시하였다. 지구단위 분석모형의 개선방안으로 지구단위 분석모형, GIS 기반의 공간분석 플랫폼, KOPSS 분석 모듈의 연계 활용방안 등을 제시하였다. 도시재생 종합정보시스템의 활용을 통해 도시쇠퇴의 현황 파악 및 재생대상의 우선적인 수요파악을 통해 정책결정이 용이해질 것으로 기대된다.

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

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.

• 한국컴퓨터정보학회논문지
• /
• 제18권11호
• /
• pp.77-86
• /
• 2013

본 논문에서는 동영상의 주요 컨텐츠를 보존하면서 영상의 크기를 변환하는 고속 동영상 리타겟팅 기법을 제안한다. 기존의 Seam Carving에서는 seam을 하나씩 구할 때마다 누적 에너지의 갱신이 발생하며, 여기서 누적 에너지는 동적계획법을 이용하여 계산하기 때문에 전체 연산시간의 지연은 불가피하다. 본 논문에서는 전체 동영상을 특징이 서로 비슷한 scene으로 나누고, 각 scene의 첫 프레임에서는 seam이 될 수 있는 모든 후보들 중 복수개의 seam을 추출하여 누적 에너지의 갱신과정을 줄여 고속화한다. 또한 scene의 두 번째 프레임부터 인접한 프레임 상호간에 상관성을 이용하여, 연속하는 프레임은 누적 에너지를 계산하지 않고 이전 프레임의 seam 정보를 참조한 계산만으로 모든 seam을 추출한다. 따라서 제안하는 시스템은 누적 에너지에 계산되는 연산량을 대폭 줄였으며 전체 프레임의 분석도 필요하지 않아 고속화가 가능하고, 컨텐츠의 떨림 현상은 발생하지 않는다. 실험 결과는 제안하는 방법이 처리 속도와 메모리 사용량 면에서 실시간 처리에 적합하고, 영상이 가지고 있는 컨텐츠를 보존하면서 영상의 크기를 조절할 수 있음을 보여준다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권12호
• /
• pp.453-460
• /
• 2022

고성능 양자 컴퓨터의 개발이 기대됨에 따라 잠재적인 양자 컴퓨터의 공격으로부터 안전한 양자 후 보안 시스템 구축을 위한 연구들이 활발하게 진행되고 있다. 대표적인 양자 알고리즘 중 하나인 Grover 알고리즘이 대칭키 암호의 키 검색에 사용될 경우, 암호의 보안 강도가 제곱근으로 감소되는 안전성의 문제가 발생할 수 있다. NIST는 암호 알고리즘의 공격에 필요로 하는 Grover 알고리즘의 비용을 기준으로 추정한 양자 후 보안 강도를 대칭키 암호에 대한 양자 후 보안 요구사항으로 제시하고 있다. 대칭키 암호의 공격에 대한 Grover 알고리즘의 추정 비용은 해당하는 암호화 알고리즘의 양자 회로 복잡도에 의해 결정된다. 본 논문에서는 NIST의 경량암호 공모전 최종 후보에 오른 SPARKLE의 AEAD군인 SCHWAEMM 알고리즘의 양자 회로를 효율적으로 구현하고, Grover 알고리즘을 적용하기 위한 양자 비용에 대해 분석한다. 이때, 암호화 순열 과정 중에 사용되는 덧셈기와 관련하여 CDKM ripple-carry 덧셈기와 Unbounded Fan-Out 덧셈기에 따른 비용을 같이 비교한다. 마지막으로, 분석한 비용과 NIST의 양자 후 보안 요구사항을 기반으로 경량암호 SPARKLE SCHWAEMM 알고리즘에 대한 양자 후 보안 강도를 평가한다. 양자 회로 구현 및 비용 분석에는 양자 프로그래밍 툴인 ProjectQ가 사용되었다.

• 한국차세대컴퓨팅학회논문지
• /
• 제13권6호
• /
• pp.7-20
• /
• 2017

클라우드 및 빅데이터의 확산, 대규모 트래픽 폭증으로 인하여 기존 네트워크는 복잡성과 관리 효율성에 많은 문제점이 발생하였다. 이 문제를 해결하기 위해 네트워크 장비의 전송 기능과 제어 기능을 분리하여 프로그래밍을 통해 네트워크 장비를 제어 할 수 있는 소프트웨어 정의 네트워킹(SDN) 환경이 제시되었다. 이에 따라 SDN에 기존 레거시 장비들을 연결하는 방법, 효율적인 데이터 통신을 위한 패킷 관리 방법, 중앙 집중화된 구조에서의 컨트롤러 부하를 분산하는 방법 등 SDN 컨트롤러의 성능을 향상시키기 위한 연구들이 많이 진행되고 있다. 그러나 네트워크를 이용하는 애플리케이션 품질 관점에서 SDN을 제어하는 연구는 부족한 실정이다. 즉, 네트워크 서비스 품질을 만족하는 라우팅 경로 구축, 변경 등을 지원하기 위해 애플리케이션 네트워크 서비스 품질에 대한 계약을 기반으로 네트워크의 요구사항을 파악하고 현재 네트워크 상태 정보를 수집하여 네트워크 서비스 품질 위반 상황을 식별하는 메커니즘이 필요하다. 본 논문은 SDN 환경에서 애플리케이션의 네트워크 서비스 품질을 보장하며 원활한 서비스 제공을 위해 온톨로지를 사용하여 네트워크 경로의 품질 위반상황을 판별하는 방법을 제시한다.

• 지능정보연구
• /
• 제16권4호
• /
• pp.131-145
• /
• 2010

ERP, SCM 등과 같은 기업용 정보 시스템을 활용함에 있어, 고객의 문의에 따라 제품 판매 가능 유무와 가능일자를 계산하여 통보해 주는 지능형 ATP 시스템은 전산 정보를 활용하여 고객 만족도를 최대화할 수 있는 유용한 기능이라고 할 수 있다. 그렇지만 공급 사슬 환경에서 ATP 시스템을 적용하려고 할 경우, 고객이 문의해 온 Retailer에게 납품 가능한 모든 분배센터(Distribution Center)와 공장(Plant)의 미래 시점의 재고량 변화와 운송 능력 등을 모두 고려하여야 하므로 계산량이 방대한 NP-Complete 문제가 된다. 따라서 시스템 사용자가 빠른 시간 내에 해를 구하여 고객에게 결과를 알려 줄 수 있는 ATP 시스템의 개발은 공급 사슬 관리를 효과적으로 활용하기 위하여 반드시 필요한 일이라고 할 수 있다. 본 논문에서는 동적 생산 함수의 개념을 이용하여 비 정수 타임 랙을 고려하여 ATP 시스템을 모델링하고, 해당 수리 모형으로부터 효율적으로 해를 얻기 위하여 유전 알고리듬을 개발하였다. 비 정수 타임 랙을 활용한 ATP 시스템은 비 정수 타임 랙을 올림이나 내림을 통하여 정수화 시킨 후 모형 수립하는 기존의 방법보다 정교하게 현실을 반영할 수 있고, ATP 시스템을 위한 유전 알고리듬의 진화 시스템은 문제크기가 작은 것에서부터 큰 것까지 최적해에 매우 근사한 값을 매우 빠른 시간 내에 풀 수 있음을 알 수 있었다.