• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2055-2058
• /
• 2002

병행 자바 프로그램의 슬라이싱 방법은 Jianjun Zhao에 의해 제안된 다중 쓰레드 종속성 그래프를 이용하여 Susan Horwitz, Thomas Reps, David Binkly가 제안한 2단계 마킹 알고리즘을 적용하여 슬라이스를 계산한다. 다중 쓰레드 종속성 그래프를 이용하는 방법은 쓰레드동기화 문장들 사이의 동기화 종속성과 서로 다른 쓰레드에 존재하는 공유객채들 사이의 통신 종속성 관계를 표현하여 병행 자바 프로그램의 슬라이스를 계산할 수 있는 것이다. 그러나 프로그램 종속성 그래프를 기반으로 하기 때문에 클래스 맴버 변수들에 대한 formal_in, formal_out, actual_in, actual_out정점들의 추가로 그래프의 복잡도가 증가하고 또한 부정확한 슬라이스 계산을 위한 다중 쓰레드 종속성 그래프를 개선하여 제안한다. 제안하는 개선된 다중 쓰레드 종속성 그래프는 주어진 슬라이싱 기준에 대한 2단계 마킹 알고리즘을 적용한 결과 정확한 슬라이스 계산과 복잡도 개선을 확인하였다.

• 한국가스학회지
• /
• 제17권1호
• /
• pp.49-55
• /
• 2013

최근 발전, 가스 설비, 화학공장 등의 대형 시스템들은 매우 복잡한 구조를 지니고 있다. 대부분의 공정들은 효율성을 위하여 높은 신뢰성을 요구하고 있으나, 복잡한 과정으로 인하여 신뢰도 분석이 상대적으로 어려운 실정이다. 복잡한 화학공정에서의 신뢰성 분석을 위하여 이 논문에서는 k-out-of-n로 구성된 화학공정을 RBD를 이용하여 신뢰성 경로를 파악하고, 고장판정행렬을 적용하여 신뢰도를 계산하였다. 이 기법이 k-out-of-n 시스템의 신뢰성 분석에 유용하게 사용될 수 있다는 것을 제시하였다.

• 한국통신학회논문지
• /
• 제31권10B호
• /
• pp.919-928
• /
• 2006

정보통신 기술의 발달로 주문형 비디오(VoD) 서비스는 활성화되고 있다 주문형 비디오 시스템 설계를 위해서는 정해진 대역폭을 이용하여 시청자의 대기시간과 버퍼의 량을 줄이는 것이 중요한 요소다. 하지만 기존의 제안된 많은 주문형 비디오 방법들의 우수한 효율성을 보여주지만 높은 복잡도 때문에 구현이 어렵다. 이러한 이유로, 최근에는 주문형 비디오 방법의 복잡도를 줄이면서 대역폭 효율이 우수한 방법에 대해서 많은 연구가 진행되고 있다. 본 논문에서는 대역폭의 효율성도 높이면서 기존의 주문형 비디오 방법들의 복잡성을 크게 줄인 계단형 스태거드(Staircase Staggered) 방식을 제안한다. 논문에서 제안하는 계단형 스태거드 방식은 Staircase Broadcasting의 높은 대역폭 효율과 Staggered Broadcasting 방식의 간단한 구조적 특징을 한꺼번에 가지고 있는 주문형 비디오 방법이다. 모의실험 결과 제안된 방식은 시청자 대기시간이 Staircase Broadcasting 방식과 거의 수렴하고, 시청자 버퍼 요구량은 매우 낮게 나타났다. 그리고 제안된 방식은 비디오 분할에 따라서 시청자의 대기시간과 필요한 버퍼량을 조절 할 수 있기 때문에 주문형 비디오 방식이 적용되는 환경에 따라서 조절해서 적용이 가능하다. 또한 주문형 비디오 방식의 복잡성도 함께 줄일 수 있는데, 제안된 방식은 비디오 데이터 세그먼트 수를 크게 줄이고, 복잡한 채널 관리를 줄였으며, 사용하는 채널의 수도 크게 감소시켰다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.144-146
• /
• 2012

의사결정표는 의사결정의 표현 방식 중 하나로 상황에 따라 취하는 일련의 행동들을 표 형식으로 나타낸 것이다. 이러한 의사결정표는 기업의 정보 시스템 (Information System)과 같은 의사결정 기반 시스템 구축에 유용하게 쓰일 수 있다. 복잡한 업무를 위한 의사결정 프로세스를 의사결정표를 이용하여 나타냄으로써 복잡한 로직을 정확하게 표현할 수 있고, 이해하기 쉽기 때문에 사용자와 프로그래머간의 의사소통을 원활하게 하며 문서화 작업을 비교적 간단하게 한다. 그러나 복잡한 의사결정이 필요한 업무의 경우 하나의 의사결정표에 필요한 정보를 모두 나타내게 되면 의사결정 단계를 이해하기가 어려울 뿐만 아니라 오류의 발생률도 높아지게 된다. 본 논문에서는 이러한 복잡한 의사결정을 돕기 위해 계층적인 의사결정표를 제안한다. 계층적 의사결정표는 여러 추상화 단계를 가진 의사결정표를 일관성 있게 표현함으로써 단계적으로 의사결정을 수행할 수 있게 하고, 이에 따라 의사결정에 대한 이해도를 높인다. 또한 기존의 의사결정표 지원 도구를 확장하여 계층적 의사결정표를 지원하는 도구를 개발함으로써 사용자의 편의성을 도모하였다.

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

사생활 보호에 대한 인식이 커지고, 인터넷 시대에 접어들면서 네트워크 기반의 보안시스템의 개발이 활발하다. 실시간 비디오 카메라를 통한 움직이는 물체를 검출하기 위해서는 불필요한 잡음이나 조명의 변화에 대처해야 한다. 이러한 많은 요소들을 고려하여 움직이는 물체를 검출하려면 많은 계산 복잡도를 가지게 된다. 또한, 카메라의 영상크기가 증가함에 따라 움직이는 물체를 검출하기 위해서 더 많은 계산 복잡도를 가지게 된다. 본 논문에서는 기존의 통상적인 움직임 검출방법 과 적응적 배경방식인 '물체 검출을 위한 동적인 장면의 베이시안 모델링 기반 물체 검출 방법'을 분석하고, 실시간으로 처리되는 동적 비디오 영상에서 이동 물체를 검출하는 과정에서의 영상의 크기가 커지고, 이동하는 물체의 개수가 많아짐에 따라 발생되는 계산의 복잡도를 'CPU 성능과 영상 resize 를 이용한 계산 복잡도 감소 방법'을 통해 초당 프레임 처리속도를 유지시키는 방법을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.673-676
• /
• 2001

시스템이 과거와 달리 통신을 이용한 분산 환경으로 많이 구현되고 있다. 이에 따라 각 시스템 사이에 통신 메커니즘에 따라 그 안정성 및 효율이 크게 좌우된다 현재 매우 다양한 통신 메커니즘이 제안되고 사용되고 있으나 점점 더 그에 대한 설계 및 이해가 복잡해지고 있는 실정이다. 따라서 복잡한 통신 메커니즘에 대한 정확성 검증이 매우 중요하다. 본 연구에서는 Spin 을 이용하여 복잡한 통신 프로토콜에 대해 모델링 및 정형 검증에 대해 논한다.

• 한국정보처리학회논문지
• /
• 제2권3호
• /
• pp.335-342
• /
• 1995

본 연구는 패트리네트를 이용한 소프트웨어의 이해용이성에 기인한 효율적인 복 잡도방법을 제시한다. 일반적으로 제어의 흐름에 있어서는 순차성과 조건문 그리고 반복문에 의한 구조적인 구분이 가능하므로 본 논문에서는 그러한 구조적인 부문을 패트리네트로 표현하여 각각의 이해용이성에 기인한 복잡도를 산출하여 종합적인 총 복잡도를 산출하였다. 또한 기존의 다른 복잡도와의 상관관계를 분석함으로 새로운 복 잡도의 신뢰성도 증명하였다.

• 정보기술과데이타베이스저널
• /
• 제4권1호
• /
• pp.81-92
• /
• 1997

실시간 분산 시뮬레이션 응용을 개발할 때 시뮬레이션 대상의 시간적 행동 및 분산 노드간 상호작용의 복잡성 때문에 모델 개발에 어려움이 있다. 그러나 실시간 분산 객체(RTO)를 기반으로 하여 시뮬레이션 모델을 설계할 때 모델의 시간적 행동의 표현이 자연스러워지고 설계의 명확성을 가져다준다. 본 연구에서는 RTO 모델을 이용하여 압연공정 제어시스템 실시간 시뮬레이션 모델을 설계 구현하였다. 구현 과정에서 RTO 접근방법이 설계의 자연스러움, 설계 명세의 단순 명확화, 시간적 행동 표현의 복잡성 제거, 객체의 노드분산 용이성 등 많은 장점을 가지고 있음을 확인하였다. 이 방법은 보다 복잡하고 규모가 큰 실시갈 분산 시뮬레이션에 효과적으로 적용할 수 있다.

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

연속적인 유량자료의 생산을 위해 일반적으로 단일 곡선 형태의 수위-유량관계가 사용되고 있다. 그러나 홍수수문곡선 상승부와 하강부의 기울기, 조도계수, 하상경사 등 흐름에 영향을 미치는 여러 인자에 의해 수위-유량곡선은 단일 형태가 아니라 복잡한 루프형태로 나타나게 된다. 지금까지 이론적으로는 이와 같은 수위-유량관계의 특성이 알려져 있긴 하였지만 복잡한 특성을 규명하는 것이 곤란하여 구체적으로 분석되지 못한 것이 현실이다. 이와 같은 특성의 분석을 위해서는 하천형상과 더불어 하천 흐름의 동역학적인 분석이 필요하다. 본 연구에서는 댐 직하류 지점의 수위와 유량의 분석을 통하여 실제 발생하고 있는 수위-유량관계의 복잡성을 확인하였고, 수치모형에 의해 복잡한 수위-유량관계를 재현하였다. 분석 결과 모든 지점에서 수위-유량관계가 매우 복잡한 형태로 나타나 일반적으로 사용되는 단일곡선과는 많은 차이가 있는 것으로 나타났다. 또한 수치모형에 의해 이와 같은 복잡한 수위-유량관계가 잘 재현될 수 있음을 증명하였다. 이와 같은 결과는 기존에 사용되고 있는 단일 곡선형 수위 -유량관계가 많은 오차를 포함하고 있음을 나타내며, 적절한 수치모형에 의해 이와 같은 한계를 극복할 수 있는 것을 나타낸다고 할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.787-789
• /
• 2004

본 논문에서는 별도의 센서를 부착하지 않고 영상만을 이용하여 실시간으로 손 형상을 인식하는 알고리즘에 대해 기술한다. 손은 형상이 매우 복잡하기 때문에 2차원 형상의 불변량에 해당하는 에지의 방향성 히스토그램을 이용하여 인식을 행한다. 이 방법은 복잡한 배경에서 색상정보를 이용하여 손 영역이 정확히 추출되면 계산량이 적고 조명변화에 덜 민감하기 때문에 실시간 손 형상 인식에 적합하다. 본 논문에서는 손의 형상제시 방향이 변하는 경우에도 인식을 가능하게 하기 위해 주성분 분석법을 사용하여 인식오차를 줄이는 방법을 기술한다. 이 방법을 사용함으로써 손 형상이 3차원적으로 회전에 의해 변하는 경우도 인식가능하게 되었다. 실험부분에서 제안하는 방법을 이용하여 가정용 가전제품이나 게임을 제어하는 실시간 휴먼 인터페이스 시스템 제작기술로 활용될 수 있음을 보인다.