• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2055-2058
• /
• 2002

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

• Journal of the Korean Institute of Gas
• /
• v.17 no.1
• /
• pp.49-55
• /
• 2013

Large scale systems, the facilities for the production of power, gas and chemical, have the complex structures. Most systems require the high reliability for the improvement of process efficiency, but it is difficult to analyze the reliability of processes with complex structures. In this study, we investigated reliability path of chemical process with k-out-of-n system by reliability block diagram(RBD) and calculated the reliability of process through the failure enumeration method of reliability path. This method should help in analyzing the reliability of k-out-of-n system.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.10B
• /
• pp.919-928
• /
• 2006

A periodic broadcasting is known as an efficient technique for delivering popular videos to reduce bandwidth requirements for transmitting streaming video to viewers in video-on-demand (VoD) services. However, the most periodic VoD schemes approach needs frequency channel hopping, many segments of video managing, and using many channel at the same time. These make it difficult to implement. In this paper, we propose a Staircase Staggered broadcasting scheme which has a simple structure and substantially improved VoD efficiency. The numerical results demonstrate that the viewer's waiting time of the Staircase Staggered broadcasting scheme is close to the staircase broadcasting scheme and the maximum buffer requirements of this can be adapted for demanding rate by adjusting the short front part of a video sizes.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.144-146
• /
• 2012

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.149-152
• /
• 2008

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.673-676
• /
• 2001

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

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.3
• /
• pp.335-342
• /
• 1995

In this pater, we present a syntactic software complexity measure based on program control structure using Petri Nets. Since control structure in program may be segregated by three structures such as sequence, condition and iteration structures, we are proposed a structured complexity measure based on program control structure after represented by Petri Nets. Finally, we compare our result with other measures of program complexity.

• The Journal of Information Technology and Database
• /
• v.4 no.1
• /
• pp.81-92
• /
• 1997

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

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.319-323
• /
• 2005

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.787-789
• /
• 2004

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