• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.601-602
• /
• 2011

In wireless sensor networks, coverage problem is a fundamental issue that has attracted considerable attention in recent years. Most node scheduling patterns utilize the adjustable range of sensor to minimize the sensing energy consumption. However, a large source of consumption of communication energy of sensor is not strictly taken into account. In this paper, we introduce an energy-efficient pattern that is used to minimize the communication energy consumption of a sensor network. Calculations and extensive simulation are conducted to evaluate the efficiency of the new pattern comparing to existing ones.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.245-247
• /
• 2024

프로그램의 버그는 해커에 의해 악용될 수 있기 때문에, 이를 사전에 발견하는 것이 매우 중요하다. 최근에는 프로그램의 취약점을 자동으로 찾기 위해 하이브리드 퍼징 기술이 연구되고 있다. 우리는 기존 하이브리드 퍼저들의 한계점인 부족한 확장성을 해결하고자, 스냅샷 기반 하이브리드 퍼저인 H-Fuzz 를 제안한다. H-Fuzz 는 스냅샷 기반 퍼징을 도입하여 하이브리드 퍼징의 확장성 부족 문제를 해결하였다. 그리고 기존 커버리지 기반 퍼저에 비해 H-Fuzz 가 버그를 발견하는데 효과적임을 실험을 통해 확인하였다.

• 한국통신학회논문지
• /
• 제36권8A호
• /
• pp.691-701
• /
• 2011

방향센서네트워크에서 주어진 모든 타켓을 관측하고 관측한 데이터를 싱크노드까지 전달한다는 요구사항을 유지하면서 에너지를 효율적으로 절약하여 전체 네트워크 수명을 최대화하는 것은 중요한 문제이다. 본 논문에서는 이와 관련하여 Maximum Directional Cover Tree(MDCT) 문제를 제시하고 방향센서들을 그룹화하여 네트워크 수명을 최대화하는 문제를 다룬다. 모든 타켓을 관측하고 관측한 데이터를 싱크노드까지 전달하는데 참여하는 센서들을 활성상태로 설정하고 그렇지 않은 센서들은 수면상태로 설정함으로써 에너지를 효율적으로 활용할 수 있는 휴리스틱 알고리즘인 Directional Coverage and Connectivity (DCC)-greedy 알고리즘을 제시하여 MDCT문제를 해결한다. 제안 알고리즘에서는 타켓을 관측하고 관측한 데이터 전달에 드는 에너지 외에 방향 회전에너지까지 고려함으로써 방향센서가 소비하는 에너지를 좀 더 정확하게 고려한다 마지막으로 시뮬레이션을 통해 제안 알고리즘이 네트워크 수명을 증가시킬 수 있음을 보인다.

• 한국측량학회지
• /
• 제40권3호
• /
• pp.159-168
• /
• 2022

지방자치단체는 생활SOC의 불균형을 해소하려는 노력을 추진되어야 하며, 생활SOC의 입지 현황, 최적입지 등에 관한 공간정보를 구축해야 한다. 이 연구는 생활SOC 관련 연구수요를 고려하여, 생활SOC의 접근성, 형평성, 그리고 최적입지를 분석하였다. 분석 시설은 생활거점시설로서, 공공도서관, 근린공원, 생활문화센터, 국공립어린이집으로 구성하였다. 분석지역은 경기도 수원시이며, 분석의 기준연도는 2020년이다. 접근성은 세생활권(200m×200m)에서 인구 1인당 접근성을 산출하였다. 형평성은 지니계수를 활용하여 동 간 접근성의 지역 간 격차를 확인하였다. 최적입지는 최대 커버링 입지문제를 활용하여 탐색하였다. 분석 결과, 국공립어린이집을 제외한 시설의 공간적 접근성은 지역 간 커다란 차이를 드러냈다. 접근성이 우수한 지역도 시설에 따라 커다란 편차를 보였다. 생활SOC의 지역 간 격차는 생활문화센터가 가장 컸으며, 뒤를 이어, 근린공원, 국공립어린이집, 공공도서관 순으로 나타났다. 공공도서관, 근린공원, 생활문화센터의 최적입지는 원도심에 집중적으로 분포하였으나, 국공립어린이집의 최적입지는 수원시 전역에서 나타났다. 이 연구의 결과는 추후 지방자치단체에서 생활SOC 공급계획을 수립함에 있어 핵심적인 계획내용이다. 따라서 후속연구는 이 연구의 분석구조와 결과를 유용하게 활용 가능할 것으로 기대한다.

• 한국통신학회논문지
• /
• 제41권9호
• /
• pp.1020-1025
• /
• 2016

최근 통신 시장의 규모는 해마다 늘어가고 있다. 무선 사용자들의 요구 데이터 전송 속도의 증가와 무선 자원의 포화로 인해 우리는 새로운 무선 기술을 개발하여 통신 자원을 효율적으로 이용할 필요가 있다. Femtocell은 작은 단위를 뜻하는 Femto와 기지국의 커버리지 범위를 나타내는 Cell의 합성어로 무선 자원을 효율적으로 이용할 수 있는 새로운 통신 기술을 원하는 통신 시장의 요구에 부흥하는 기술 중의 하나이다. Femtocell은 Macrocell 안에 설치되는 형태를 취하기 때문에 Power Control과 Handover는 중요한 사항 중에 하나이며 그에 따라 많은 연구가 진행되고 있다. 기존의 논문에서는 Handover 확률을 낮추기 위해 Tx Power를 낮춘 결과 통신 용량의 저하가 일어나는 문제가 발생하였다. 본 논문에서는 Femtocell의 문제 중 하나인 Macrocell과의 Handover 문제를 최소화하며 통신 용량을 늘리는 새로운 알고리즘을 제안하였고 이를 시뮬레이션으로 시연하였다. 그 결과 기존의 논문과 거의 비슷한 Handover 성능을 가지며 더 높은 Throughput 성능을 얻었다.

• 한국인터넷방송통신학회논문지
• /
• 제23권3호
• /
• pp.167-173
• /
• 2023

자금 흐름 일치 문제(CFMP)는 T년도 간 지불해야 할 총액을 전액 현금으로 지불하지 않고 채권이나 은행 예금의 원금과 이자로 지급하여 초기 투자액을 최소화시키는 것이 목적이다. CFMP를 풀 수 있는 방법으로는 선형계획법(LP)이 유일하게 알려져 있다. 선형계획법은 T개의 선형함수를 최적화시키는 문제로 수기 식으로는 해결이 불가하여 선형계획법 해결사인 LINGO 등을 활용하는 실정이다. 본 논문은 LINGO의 도움 없이 오로지 수기 식으로 CFMP의 해를 구하는 알고리즘을 제안한다. 제안된 알고리즘은 만기 도래 일자가 최장기부터 단기의 내림차순으로 해당 채권이 차기 만기 도래 채권의 이전 년도까지 지급액을 커버하는 방법으로 채권 매수 량을 결정한다. 또한 최 단기 채권 만기 도래 이전 년도까지는 은행 예금의 원금과 이자로 충당하는 예금액을 결정하였다. 2개의 실험 데이터에 제안된 알고리즘을 적용한 결과 선형계획법에 비해 보다 정확한 결과를 얻을 수 있음을 보였다.

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

본 논문에서는 한-중 기계번역 시스템에서 사용되는 한중 동사구 패턴의 반자동 생성을 위한 방법론을 제안한다. 한중 동사구 패턴은 한국어와 중국어간의 변환을 위한 정보를 제공할 뿐만 아니라, 한국어의 구문분석과 중국어의 생성을 위해 중요한 정보를 제공하는 고급 언어자원이다. 본 논문에서 제시하는 새로운 패턴 반자동확장 방안은 기존의 한중 동사구 패턴으로부터 대역어 정보를 이용하여 새로운 동사구 패턴을 생성해내는 방법이다. 본 방법론은 시스템 개발 초기에 일반적으로 이루어지는 사전기반 패턴 구축이 끝난 후, 패턴의 커버리지 문제를 해결하기 위해 실용적으로 적용할 수 있는 방법론으로서, 한국어와 중국어 같이 활용 가능한 대역 코퍼스가 아직 많지 않은 경우에 효과적이다. 본 논문에서 제시한 방법론은 실험 결과 67.15%의 정확률과 4.58배의 패턴 확장률을 나타냈다.

• 한국멀티미디어학회논문지
• /
• 제14권6호
• /
• pp.775-784
• /
• 2011

본 논문에서는 신원기반 다중수신자 암호 기법의 장점인 묵시적 인증을 제공하는 동시에 키 위탁문제를 해결하기 위한 무인증서 공개키 암호 기술 기반의 새로운 다중수신자 암호 기법을 소개한다. 제안 기법은 다중수신자에 대한 메시지 암호화 단계에서 겹선형 페어링 연산을 제거하였을 뿐만 아니라 복호화 단계에서 단 한 번의 겹선형 페어링 연산만을 요구하는 매우 효율적인 다중수신자 암호 기법이다. 또한, 본 논문에서는 제안 기법을 이용하여 스테이트리스 수신자 환경을 위한 서브셋-커버 프레임워크 기반의 새로운 공개키 브로드캐스트 암호 기법을 제시한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권1호
• /
• pp.109-115
• /
• 2000

본 논문에서는 논리합성 단계에서의 전력최소화를 위한 새로운 전력소모함수를 제안하고 이의 공통표현추출 과정에의 적용방법에 대해 기술한다. 제안된 새로운 전력소모표현은 노드의 표현 및 구현이 복합게이트(complex gate)로 이루어진다는 가정아래 각 노드에서의 정전용량(capacitance)과 그 스위칭 활동량(switching activity)을 반영하되 정전용량은 노드의 입력 수에 비례한다고 가정한다. 공통 표현 추출, 즉 커널(kernel) 과 큐브(cube) 추출은 사각형 커버링(rectangle covering) 문제로 변환될 수 있으며 본 논문에서는 이러한 과정에서 각 노드의 전력소모 표현을 어떻게 이용하는지 기술하고 실험을 통해 SIS-1.2의 결과와 비교한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권2호
• /
• pp.232-241
• /
• 1999

기존의 연구는 FSM을 기본으로 제어흐름만을 분석하거나 시험목적을 시험열 생성 단계에서 고려하지 않음으로써 시험열의 실제 적용에 있어 많은 문제점을 갖는다. 따라서 이 연구에서는 SDL로 기술된 프로토콜 명세서를 시멘틱 모델인 LTS로 변환 후 LTS로부터 서브투어 단위로 시험열을 생성하였다. 그리고 생성된 시험열을 TTCN으로 변환하고 단위 테스트를 위한 추가 정보로서 프리앰블, 포스트앰블, 리셋 정보등을 LTS로부터 생성하였다. 또한 LTS로부터 한 노드에서 전이 가능한 모든 경로를 트리로 표현함으로서 향상된테스트 커버리지를 갖는 서브투어를 생성하였으며 SDL을 시맨틱 모델인 STS로의변환 EH한 기존의 입력과 출력만을 고려하는 FSM에서 발생하는 비결정성 문제를 해결할 수 있다. 따라서 이 연구에서의 테스트 목적이 고려된 TTCN 표현의 테스트 케이스 생성은 적합성 시험을 위한 테스스 케이스의 실제 적용 및 프로토콜 구현의 생산성을 높일 수 있으며 테스팅 환경의 기반을 제공한다.