• 인터넷정보학회논문지
• /
• 제17권4호
• /
• pp.51-60
• /
• 2016

내장 소프트웨어는 실시간성 및 실행 환경으로부터의 독립성을 요구사항으로 갖는다. 실시간성 요구사항은 탑재된 태스크의 최악 실행 시간으로부터 영향을 받는다. 따라서 실시간성을 보장하기 위해서는 정적 분석 기반의 최악 실행 시간 분석 방법을 사용하여 프로그램의 최악 실행 시간을 파악하여야 한다. 그러나 기존의 최악 실행 시간 분석은 실행 환경으로부터 독립성을 고려하지 않는다. 이에 우리는 실행 환경으로부터 독립성을 제공하기 위해 소스코드로부터 실행 시간을 측정하는 방법을 제시한다. 이를 위해 실행 코드가 아닌 소스코드로부터 생성된 제어 흐름 그래프를 통해 실행 시간을 측정한다. 또한 소스코드로부터 생성된 제어 흐름 그래프에는 실행 시간 정보가 존재하지 않기 때문에, 이를 제공하기 위해 소스코드의 문장과 실행코드의 명령어와의 관계를 분석한다. 결과적으로 실행 시간 측정이 가능한 제어 흐름 그래프를 생성할 수 있다. 이를 통해 프로세서로부터 종속적인 부분을 매개변수화할 수 있기 때문에, 최악 실행 시간 분석 도구의 유연성을 향상시킬 수 있다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.447-453
• /
• 2001

본 논문에서는 방향성 커플러를 이용하여 구성한 광 베니언-형 교환 망에 있어 교환소자를 달리하는 멀티캐스팅의 스케줄링을 고려한다. 임의의 주어진 시각에 최대한 하나의 접속만이 각각의 교환소자를 점유하기 때문에 블록킹은 물론 누화가 발생하지 않도록 보장된다. 이러한 멀티캐스팅에서는 대개 수차례 걸친 라우팅이 수반되므로 라우팅 횟수를 최소한으로 하는 것이 바람직하다. 먼저 일-대-다 접속 능력을 제공하는 광 베니언-형 망에서 접속들이 동일한 교환소자를 경유하기 위한 필요충분 조건을 제시한다. 멀티캐스트 접속을 일정한 부분접속들로 분할 하는 규칙을 정의하고 부분접속들간의 누화 관계를 그래프로 표현한다. 최악의 경우의 누화를 분석하기 위해 그래프차수의 상한을 제시한다. 후속 논문(제2부)[14]에서는 스케줄링 알고리즘과 스케줄링 길이의 상한을 고찰하고 관련 연구결과와의 상세한 비교를 다룬다.

• 한국정보통신학회논문지
• /
• 제20권3호
• /
• pp.549-557
• /
• 2016

효과적인 시각화는 일반적으로 대용량의 디버깅 정보와 프로그램의 추상적 수행모델을 표현하는 것이 중요하다. 본 논문에서는 스레드들간의 논리적 병행성 관계를 나타내는 부분순서 수행그래프를 이용하여 내포병렬성과 임계구역을 가진 OpenMP 병렬 프로그램의 수행양상과 경합정보의 효과적 디버깅을 위해서 효과적으로 제공하는 추상적 시각화 도구를 제안한다. 본 도구는 수행중 추적선택 기법으로 시각화 정보를 위한 공간적 복잡성을 줄이고, 추적된 시각화 정보에 프로그램의 내포병렬성과 임계구역 동기화를 위한 그래프 추상화를 제공하여 시각적 복잡성을 해결한다. 그래프 추상화를 통한 스레드들간의 부분순서 관계와 경합탐지 정보는 프로그램의 제어흐름과 경합의 위치를 구조적으로 파악할 수 있게 하므로 프로그램 수행의 이해와 경합 탐지 및 수정에 효과적이다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2022년도 학술발표회
• /
• pp.102-102
• /
• 2022

소하천의 홍수 예측은 대부분 수치모형을 직접 활용하거나, 미리 설정된 시나리오에 기반하여 수치모의를 수행하고 계산된 결과를 이용하여 추정한 경험식을 활용한다. 수치모형과 그 결과를 홍수 예·경보에 활용하기 위해서는 계측자료에 기반하여 변수를 최적화하는 등의 수치모형 검증 절차가 매우 중요하다. 소하천은 국가, 지방하천에 비해 계측자료가 절대적으로 부족한 형편으로 소하천의 홍수 모의를 위해서 주로 국가, 지방하천에서 계측한 자료를 이용하여 검증을 수행한다. 이렇게 검증된 소하천 수치모형은 국가 혹은 지방하천 유역 전체를 모의하여야 하므로 모의시간이 많이 소요되어 1시간내에 홍수유출이 이루어지는 소하천 홍수 모의에는 적절치 않다. 또한 소하천은 하천경사가 급하고 유속이 빨라 실시간 홍수모의가 어려울 수 있다. 따라서 소하천의 홍수 예측 방법으로 수치모형 보다는 계측자료에 기반한 추정삭이 보다 더 효율적이다. 행정안전부와 국립재난안전연구원은 2017년부터 소하천 홍수 예측기술 개발을 위하여 자동유량계측기술을 소하천에 확대적용하고 실시간 수리량 자료를 계측하고 있다. 자동유량계측기술은 CCTV를 이용하여 표면유속을 구하고 동시에 계측된 수위와 단면자료를 이용하여 자동으로 유량을 계측하는 기술이다. 자동유량계측기술은 저비용, 저노동, 고효율의 유량계측기술로써 부족한 계측인력과 계측의 안전성을 고려할 때 소하천에 적합한 계측기솔이라고 할 수 있다. 행정안전부와 국립재난안전연구원은 2025년 까지 전국 소하천의 10%인 2,230개 소하천에 자동유량계측기술을 확대 구축하고 실시간으로 수리량 자료를 걔측할 계획이다. 본 연구에서는 이들 계측자료와 AI 등 첨단기술에 기반한 홍수 예측기술 개발하고자 한다. 예측기술은 계측유역과 미계측유역을 구분하며, 계측유역에 대해서는 계측자료를 이용하고 미계측 유역에 대해서는 단위도법과 CES를 이용하여 구한 결과를 이용하여 강우-유량 노모그래프와 수위-유량 관계식을 개발한다. 이때 노모그래프는 토양수분조건을 고려하여 개발하며, 미계측 소하천의 예측결과는 소하천을 그룹화하고 동일 그룹내에 포함된 소하천의 계측자료를 이용하여 검증한다. 개발된 홍수 예측기술은 소하천 홍수 예·경보시스템에 적용되며 이렇게 개발된 시스템은 소하천의 인명피해 저감에 크게 기여할 수 있을 것으로 기대된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2022년도 학술발표회
• /
• pp.107-107
• /
• 2022

소하천의 홍수 예측은 대부분 수치모형을 직접 활용하거나, 미리 설정된 시나리오에 기반하여 수치모의를 수행하고 계산된 결과를 이용하여 추정한 경험식을 활용한다. 수치모형과 그 결과를 홍수 예·경보에 활용하기 위해서는 계측자료에 기반하여 변수를 최적화하는 등의 수치모형 검증절차가 매우 중요하다. 소하천은 국가, 지방하천에 비해 계측자료가 절대적으로 부족한 형편으로 소하천의 홍수 모의를 위해서 주로 국가, 지방하천에서 계측한 자료를 이용하여 검증을 수행한다. 이렇게 검증된 소하천 수치모형은 국가 혹은 지방하천 유역 전체를 모의하여야 하므로 모의시간이 많이 소요되어 1시간내에 홍수유출이 이루어지는 소하천 홍수 모의에는 적절치 않다. 또한 소하천은 하천경사가 급하고 유속이 빨라 실시간 홍수모의가 어려울 수 있다. 따라서 소하천의 홍수 예측방법으로 수치모형 보다는 계측자료에 기반한 추정삭이 보다 더 효율적이다. 행정안전부와 국립재난안전연구원은 2017년부터 소하천 홍수 예측기술 개발을 위하여 자동유량계측기술을 소하천에 확대적용하고 실시간 수리량 자료를 계측하고 있다. 자동유량계측기술은 CCTV를 이용하여 표면유속을 구하고 동시에 계측된 수위와 단면자료를 이용하여 자동으로 유량을 계측하는 기술이다. 자동유량계측기술은 저비용, 저노동, 고효율의 유량계측기술로써 부족한 계측인력과 계측의 안전성을 고려할 때 소하천에 적합한 계측기솔이라고 할 수 있다. 행정안전부와 국립재난안전연구원은 2025년 까지 전국 소하천의 10%인 2,230개 소하천에 자동유량계측기술을 확대 구축하고 실시간으로 수리량 자료를 걔측할 계획이다. 본 연구에서는 이들 계측자료와 AI 등 첨단기술에 기반한 홍수 예측기술 개발하고자 한다. 예측기술은 계측유역과 미계측유역을 구분하며, 계측유역에 대해서는 계측자료를 이용하고 미계측 유역에 대해서는 단위도법과 CES를 이용하여 구한 결과를 이용하여 강우-유량 노모그래프와 수위-유량 관계식을 개발한다. 이때 노모그래프는 토양수분조건을 고려하여 개발하며, 미계측 소하천의 예측결과는 소하천을 그룹화하고 동일 그룹내에 포함된 소하천의 계측자료를 이용하여 검증한다. 개발된 홍수 예측기술은 소하천 홍수 예·경보시스템에 적용되며 이렇게 개발된 시스템은 소하천의 인명피해 저감에 크게 기여할 수 있을 것으로 기대된다.

• Communications for Statistical Applications and Methods
• /
• 제15권1호
• /
• pp.65-76
• /
• 2008

행렬도 (biplot)는 이원표 자료행렬 (two-way data matrix)의 행과 열을 그래프에 동시에 나타내어 이들의 관계를 살피려는 다변량 그래프적 분석기법이다 (Gower와 Hand, 1996; 최용석, 2006, 1장). 그래프적 분석기법은 그 특성상 대용량 자료를 해석하는 데는 어려움이 따른다. 따라서, 자료를 효과적으로 줄일 수 있는 군집분석을 활용하여 원자료와 변수간의 행렬도가 아닌 각 군집과 변수간의 행렬도 분석을 수행함으로써, 기존의 행렬도에서 해석의 어려웠던 대용량 자료에 대한 해석이 가능하게 되며, 자료에 대한 정보를 쉽게 파악할 수 있는 장점을 가진다.

• 대한의용생체공학회:의공학회지
• /
• 제20권5호
• /
• pp.573-579
• /
• 1999

본 논문은 2채널 센서를 이용한 펄스 옥시메터의 산소포화도 계산 모델의 설계 및 분석에 관한 것이었다. 또한 Beer Lambert 법칙에 의거하여 기존 알고리즘 및 새로운 알고리즘들을 이론적으로 분석하였다. 제안된 알고리즘은 손가락을 투과한 2개의 채널에서 나온 광신호를 각각 직류성분 Adc 와 맥동성문 Aasin wt. 잡음성분 Ahnoise , ALnoise 등으로 모델링한다. 모델링 되어진 광신호를 맥동성분이 적분비를 사용하여 고주파 동잡음인 AHnoise 를 제거한 후 각각 산소포화도 계산을 위한 상관계수 그래프를 구한다. 또한 2개의 채널에서 적분비를 사용하여 구해진 상관계수 그래프를 사용하여 산소농도를 추출하는 방법에 관하여 기술하였다. 맥동성분비와 관혈적인 측정에 의한 혈중 산소포화도와의 상관관계 그래프의 선형성을 확보하기 위하여 펄스 옥시메터 시뮬레이터 오차범위를 고려해 75~100%상이의 산소포화도를 중점적으로 관측하였고, 4주기로 면적계산주기를 결정하여 실험하였다. 본 연구에서 제안된 알고리즘의 성능평가는 맥동성분의 적분비를 이용한 방법과 비교하였다. 비교결과는 4주기의 면적계산 주기를 가졌을 때 기존의 방식보다 평균오차가 0.7%정도 향상되었으며, 회귀적선의 신뢰도를 보여주는 결정계수 ${\gamma}$$^2$도 0.995로 기존의 방식에서 나온 0.979보다 더 좋은 결과를 얻을 수 있었다. 따라서 2채널을 이용한 방법이 A Lnoise 제거와 성능면에서 우수하다는 결론을 얻을 수 있었다.

• 한국정보처리학회논문지
• /
• 제6권12호
• /
• pp.3523-3529
• /
• 1999

본 논문에서는 메소드를 기본 단위로 하는 객체 지향 소프트웨어의 개선된 선택적 회귀 테스팅 방법을 제안한다. 테스팅 방법은 세 단계로 구성하였다. UML 표기법을 이용하여 변경 전 프로그램과 변경 후 프로그램의 객체 관계 그래프와 클래스 의존 그래프(Class Dependency Graph)를 정의한 후, 의존 그래프의 노드 비교를 통하여 변경된 노드와 변경에 의하여 영향을 받는 노드들을 찾는다. 변경 전 테스트케이스 테이블에서 변경된 노드와 변경에 의해 영향을 받는 노드들을 통과하는 테스트케이스를 선택하여 회귀 테스팅을 위한 테스트케이스 집합을 구성한다. 제안한 테스팅 방법을 사용함으로써 테스트해야할 테스트케이스 수가 줄어들고, 변경 전 프로그램의 테스트케이스를 재사용 함으로써 테스팅의 시간과 비용을 절감할 수 있다.

• 전기전자학회논문지
• /
• 제25권3호
• /
• pp.451-461
• /
• 2021

다양한 스마트 기기의 보급으로 인하여 악성코드로 인한 피해를 더욱 심각해지면서 머신러닝 기술을 활용한 악성코드 탐지 기술이 주목 받고 있다. 그러나 코드의 단편적인 특성만을 기반으로 머시러닝의 학습 데이터를 구성할 경우, 이를 회피하는 변종 및 신종 악성코드는 여전히 제작하기 쉽다. 이와 같은 문제를 해결하기 위한 방법으로 악성코드의 함수호출 관계를 학습 데이터로 사용하는 연구가 주목받고 있다. 특히, GNN을 활용하여 그래프의 유사도를 측정함으로써 보다 향상된 악성코드 탐지가 가능할 것으로 예상된다. 본 논문에서는 GNN을 악성코드 탐지에 활용하기 위해 바이너리 코드로부터 함수 호출 그래프를 생성하는 효율적인 방안을 제안한다.

• 전기전자학회논문지
• /
• 제23권2호
• /
• pp.448-453
• /
• 2019

모바일 앱의 신뢰성 향상과 개발 환경 변화라는 제약 조건을 모두 만족시키려면 모바일 앱의 동작을 자동으로 검증할 필요가 있다. 모바일 앱의 동작 검증 과정에서 다양한 이슈가 발생하나, 사용 상태 변화 탐지도 중요한 이슈 중 하나이다. 본 논문에서는 모바일 앱의 사용 상태 변화 탐지를 위하여 딥뉴럴넷을 이용하여 모바일 앱 GUI의 UI 위젯을 인식한 후 인식된 위젯간의 관계를 그래프로 변환하고, 변환된 그래프의 그래프 엔트로피를 계산하여 사용 상태 변화를 감지하는 방법을 제안한다. 제안 방법은 SIFT(Scale-Invariant Feature Transform)에 기반한 감지 방법과 비교되었으며 20개의 실제 모바일 앱의 동작 데이터를 통해 검증한 결과 대부분의 경우 제안 방법이 우수하나, 엔트로피 계산이 어려울 때는 제안 방법의 성능이 저하됨을 확인하였다.