• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권11호
• /
• pp.765-778
• /
• 2013

본 논문은 Rapidly-exploring Random Tree(RRT) 확장 기법을 이용하여 Stateflow 모델 기반의 블랙박스 테스트 케이스 자동 생성 방법을 제안한다. 복잡한 시스템의 경로 계획 문제를 효율적으로 해결하는 방법으로 널리 사용되고 있는RRT기법은 테스트 케이스 생성에서도 좋은 성능을 보이고 있으나, 테스트 케이스 생성에 있어서 중요한 부분을 차지하는 테스트 커버리지를 고려하고 있지 않다. 제안하는 확장 기법은 테스트 커버리지를 향상시키기 위하여 테스트 목표 달성 율의 개념을 RRT 확장에 도입하여 테스트 목표를 더 달성할 수 있는 방향으로 RRT 확장을 유도 한다. 이를 위해서 테스트 목표 달성 율을 고려한 RRT 거리 함수와 RRT 무작위 노드 생성 방법, 그리고 변형된 RRT 확장 알고리즘을 제안한다. 제안된 기법의 유용성은 실제 자동차에서 사용되는 제어 ECU들의 Stateflow 모델을 이용한 실험을 통해 기존 RRT를 이용한 테스트 케이스 생성 기법과의 성능을 비교를 통해 보인다.

• Journal of Communications and Networks
• /
• 제15권3호
• /
• pp.312-320
• /
• 2013

Home evolved Node-B (HeNB), also called a femtocell or a femto base station, is introduced to provide high data rate to indoor users. However, two main problems arise in femtocell networks: (1) Small coverage area of HeNB, which results in limited cell-splitting gain and ping-pong handover (HO) problems and (2) high inter-femtocell interference because HeNBs may be densely deployed in a small region. In this study, an efficient cooperation mechanism called an HeNB-aided virtual-HO (HaVHO) scheme is proposed to expand the coverage area of femtocells and to reduce inter-femtocell interference. The cooperation among neighbor HeNBs is exploited in HaVHO by enabling an HeNB to relay the data of its neighbor HeNB without an HO. The HaVHO procedure is compatible with the existing long term evolution specification, and the information exchange overhead in HaVHO is relatively low. To estimate the signal to interference plus noise ratio improvement, the area average channel state metric is proposed, and the amount of user throughput enhancement by HaVHO is derived. System-level simulation shows that HaVHO has a better performance than the other four schemes, such as lesser radio link failure, lesser ping-pong handover, lesser short-stay handover, and higher user throughput.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제16권6호
• /
• pp.832-841
• /
• 2016

The voltage-frequency island (VFI) design paradigm has strong potential for achieving high energy efficiency in communication centric manycore system-on-chip (SoC) design called network-on-chip (NoC). However, because of the diminished scaling of wire-dimension and supply voltage as well as threshold voltage in modern CMOS technology, the vulnerability to link failure in VFI NoC is becoming a crucial challenge. In this paper, we propose an energy-optimized topology generation technique for VFI NoC to cope with permanent link failures. Based on the energy consumption model, we exploit the on-chip communication traffic patterns and characteristics of link failures in the early design stage to accommodate diverse applications and architectures. Experimental results using a number of multimedia application benchmarks show the effectiveness of the proposed three-step custom topology generation method in terms of energy consumption and latency without any degradation in the fault coverage metric.

• 환경영향평가
• /
• 제21권3호
• /
• pp.483-501
• /
• 2012

본 연구에서는 2005 - 2006년 기간 동안 국내 인공호의 환경영향평가를 위해 LEHA 다변수 생태모형(Lentic Ecosystem Health Assessment Model)을 청평호에 적용하였고, 생태 건강도 모델값을 산정하였다. LEHA 생태 평가모형은 생물학적 변수($B_p$), 물리적 변수($P_p$), 화학적 변수($C_p$)의 11개 주요 메트릭으로 구성되었고, 이를 통합하여 생태 건강도 등급을 평가하였다. 생물학적 변수($B_p$)는 수환경의 질적 저하에 따라서 감소하는 민감종 메트릭($M_2$, NSS) 및 충식종 메트릭($M_5$, % $I_n$)이 이용되었고, 두 메트릭 모델값은 각각 1.5%, 32.4%로서 낮게 나타났다. 반면, 내성종($M_3$, % $T_s$)과 잡식종 메트릭($M_4$, % $O_m$) 값은 43%, 62%로서 높게 나타나 호수생태계의 질적 저하가 확인되었다. 물리적 서식지 변수($P_p$)는 수변 식피율($M_9$, % $V_c$)로서 1차 조사에 비해 2차 조사에 높게 나타났으며, 상류에서 하류로 갈수록 메트릭 모델 값이 감소하는 것으로 나타났다. 이는 정수역의 증가로 서식환경의 단순화와 인근 수체에서 실시되고 있는 잦은 골재 채취로 인한 서식지의 하상구조 변경이 악영향을 준 것으로 사료되었다. 한편, 화학적 수질특성 변수($C_p$)는 수체의 이온(양이온/음이온) 특성을 나타내는 전기전도도($M_{10}$, $C_I$)와 부영양 상태를 평가하는 Chl-a의 부영양화 지수($M_{11}$, $TSI_{CHL}$)로서 메트릭 모델값은 계절별 변이는 크게 나타났고, 지점 간의 공간변이는 미미한 것으로 나타나, "양호상태"로 평가되었다. LEHA 다변수 모델에 의거한 청평호의 환경영향평가에 의하면, 생태 건강도 LEHA 모델값은 1차 조사에서 30.7로 "보통-악화상태", 2차 조사에서 28로 "악화상태"를 보여 계절 변이 특성을 보였다. 지점별 LEHA 모델값은 호수의 정수대(S5)에서 28로 최소치를 보였고, 그 외 지점들도 29 - 30으로 지점 간 미미한 차이를 보였다. 청평호의 종합적인 환경영향평가에 의하면, 이 화학적인 수질기준 측면에서는 "양호상태"를 보인 반면, 생물학적 기준에서는 "악화상태"를 보였는데, 이는 빈번한 준설작업으로 인한 물리적 서식지 교란이 영향을 준 것으로 사료되었다.

• 한국환경복원기술학회지
• /
• 제20권2호
• /
• pp.37-59
• /
• 2017

The Korean peninsula belongs to the temperate forest biome dominated by many deciduous oaks. We quantitatively and qualitatively studied vertical and horizontal distributions and habitat characteristics on the major oak species such as Quercus mongolica, Q. serrata, Q. variabilis, Q. dentata, Q. aliena and Q. acutissima. A total of 5,278 samples were analyzed with a species coverage and 6 principal environmental variables extracted from public database of nationwide natural environment survey. Correlation analysis was accomplished by the CANOCO using Canonical Correspondence Analysis and the Pearson correlation coefficient using PASW Statistics. The hierarchical distribution tendency of six oaks was finalized using the Goodman-Kruskal lambda coefficient of non-metric multidimensional scaling by SYN-TAX 2000. The utmost factor on the distributional segregation of oak species was the elevation, i.e. temperature. Q. serrata and Q. mongolica show clearly a diametrical distribution patterns with zonal distribution. Q. variabilis was determined as a thermophilic and xerophilous species that is a component of not only natural pseudo-climax forest but also secondary forest. The highest frequency of the dominant forest was found Q. mongolica. Whereas, Q. serrata showed the highest frequency of individual tree but the relatively lower frequency of dominant forest, which is resulted from the original habitat loss. By the benefit of the traditional Soopjeong-E, Q. acutissima dominant forests were remained rather largely. Individuals of Q. dentata occurred horizontally nationwide, but its dominant forest was the poorest. Dominant forest of Q. aliena, which is a natural vegetation, was the most rare due to a limited potential habitat.

• 한국건설관리학회논문집
• /
• 제16권5호
• /
• pp.3-11
• /
• 2015

본 연구는 BIM을 활용한 그래프 기반의 동선 표현과 분석 접근 방법 제안을 목적으로 한다. 접근 방법의 제안을 위해 건물 동선 관련 요구사항 파악과 공간 네트워크, BIM에 관한 선행연구를 분석하였다. 또한, 본 연구는 선행연구인 UCN(Universal Circulation Network)을 기반으로 연구를 진행하였으며, 본 연구를 통해 UCN에 추가적으로 고려해야 할 사항을 파악하고 이를 확장하였다. 본 연구에서는 UCN을 기반으로 두 가지 관점에서 동선의 표현과 분석 접근 방법을 제안하고자한다: 1) UCN의 그래프 기반 동선 분석의 주요 요소를 파악한다, 2) 국내 건축법 등의 요구사항을 적용하여 UCN을 재구성한다. 결과적으로, 본 연구에서는 출구에서 가장 먼 점 (MRP) 기반의 동선 표현과 가상공간에서의 동선 분석이 추가적으로 제안되었다.

• 전자공학회논문지CI
• /
• 제45권6호
• /
• pp.131-138
• /
• 2008

이동 ad hoc 네트워크는 기지국 또는 중앙 관리국 없이 주어진 영역 내에서 다중 노드들 사이에 무선 데이터 통신이 이루어지는 자체적인 네트워크이다. 노드의 이동성과 제한된 배터리 수명에 의해 네트워크 토폴로지는 자주 바뀌게 된다. 따라서 경로 탐색 절차에 있어서 가장 신뢰성 있는 경로를 선택하는 것은 ad hoc 네트워크의 성능을 향상시키기 위해 중요하다. 본 논문에서는 수신 신호 세기의 변화를 측정함으로써 AODV (Ad hoc On-demand Distance Vector routing)에 기반을 둔 향상된 라우팅 프로토콜을 제안한다. 라우팅을 결정하기 위해 노드 이동성과 경로의 흡으로 이루어진 새로운 측정 함수가 사용된다. 또한 데이터 전송 중 노드의 움직임에 의한 경로의 단절을 방지하기 위해 LRC (Local Route Change)라는 새로운 라우트 관리 기법을 소개한다. 노드의 움직임을 감지하면, 경로가 단절되기 전에 라우팅 에이전트는 다음 홉 노드를 이웃노드로 변경한다. 시뮬레이션 결과를 통해 제안한 라우팅 기법의 성능이 기존의 AODY 방식보다 우수함을 보인다.

• 한국정보통신학회논문지
• /
• 제11권9호
• /
• pp.1665-1671
• /
• 2007

무선 Ad-hoc 네트워크는 기지국이나 중앙 집중관리가 없는 영역에서 다수의 노드들 간에 무선데이터 통신 연결이 자율적으로 설정되는 네트워크이다. Ad-hoc 네트워크는 노드의 이동과 전원의 제약 때문에 네트워크 위상(network topology)이 자주 변화할 수 있다. 라우팅 경로를 찾는 과정에서 가장 신뢰성이 있는 경로를 선택하는 것은 Ad-hoc 네트워크 성능을 향상시키기 위해서 아주 중요하다. 본 연구에서, 우리는 수신신호 세기의 변이를 감시해서 AODV 기반의 강화된 라우팅 프로토콜을 제안하였다. 노드의 이동성과 경로의 흡수로 구성된 새로운 매트릭 함수는 라우팅 경로 결정에 이용된다. NS-2를 이용한 폭넓은 실험에서, 제안된 라우팅 기법의 성능은 AODV 프로토콜에 비하여 향상되었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 정보처리학회논문지B
• /
• 제12B권6호
• /
• pp.679-684
• /
• 2005

현재 사용되고 있는 대표적인 무선 네트워크 접속 기술들로는 높은 이동성을 지원하는 휴대 전화망인 WWAN(Wireless Wide Area Networks), 높은 대역폭을 지원하는 WLAN(Wireless Local Area Networks), 그리고 방송 및 데이터를 수신할 수 있는 WDMB(Wireless Digital Multimedia Broadcasting) 등을 들 수 있다. 그러나 각각의 기술들은 각각 이동성 및 데이터 전송률, 그리고 데이터의 방향성 등의 한계를 내포하고 있다. 이러한 제약점을 극복하기 위해, 서로 다른 접속 기술을 상황에 따라 전환하여, 현재 서비스 받고 있는 데이터 접속을 끊김없이 연결해 주어야하는 수직적 핸드오프(Vertical Handoff) 기법에 대한 연구가 활발히 진행 중이다. 본 논문에서는 WWAN 인터페이스를 기반으로, 단말에 장착되어 있는 다른 인터페이스들(WLAN과 WDMB)에 대한 에너지 소모를 최소화하여 전체 시스템의 생명시간(Life time)을 최대화하는 인터페이스 선택 알고리즘과 망구조를 제안한다. 또한 다양한 서비스에 대한 트래픽을 분석하여 망단에 존재하는 사용자 버퍼를 관리하고 이를 수직적 핸드오프의 기준으로 활용하여 기존 방식들에 비교하여 전체적 에너지 소모가 기존 기법 대비 각각 $75\%$(WDMB 우선), $34\%$(WLAN 우선) 절감됨을 보인다.