• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.272-275
• /
• 2007

유비쿼터스 환경은 보이지 않는 수많은 장치들과 소프트웨어들이 서로 연결되어 각각의 사용자들에게 편리한 서비스를 제공한다. 이러한 서비스를 제공 받기 위해서는 사용자와 서비스간의 매개체 역할을 하는 모바일 디바이스가 필요하다. 하지만 자원이 제한적인 모바일 디바이스의 특성상 다양한 서비스를 이용할 수는 없다. 따라서 본 논문에서는 사용자의 프로파일을 고려한 사용자 맞춤 차원 공유 시스템을 개발하여 주변의 다양한 자원을 실시간으로 공유 할 수 있도록 함으로써 모바일 디바이스의 제한적인 리소스 문제를 해결 하고자한다. 본 논문에서는 테스트 시나리오를 이용하여 제안하는 사용자 맞춤 자원 공유 시스템을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.283-285
• /
• 2004

단백질 2차원 전기영동은 다양한 단백질 분리 방법 중 가장 널리 쓰이는 방법으로 실험 결과를 촬영한 영상을 분석하여 얻은 단백질 스팟의 위치나 질량, 발현 유무 등을 이용하여 각종 질병의 발생 원인 진행 상태, 생리적인 변화 등에 대해 분석할 수 있다. 실험 영상에 다수의 단백질이 존재하므로 이를 수작업으로 처리할 경우에 많은 시간과 노력이 소요되므로 본 논문에서는 자동화된 단백질 스팟 검출 방법을 제안하였으며 단백질 스팟이 같은 위치에 겹쳐서 나타나는 경우가 많은 단백질 2차원 전기영동 실험 영상의 특성을 고려하여 여러 개의 단백질이 겹쳐진 복잡한 스팟 영역에 대해서 스팟의 형태 정보를 이용하여 스팟의 개수를 추정하고 개별 스팟으로 분리하여 보다 신뢰성 있는 분석이 가능하게 하였다 본 논문에서 제안된 방법의 효용성을 검증하기 위해 기존에 널리 사용되고 있는 상용 소프트웨어와 비교 실험을 수행한 결과 겹친 정도가 60%이상인 경우 기존 방법에 비해 우수한 결과를 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.469-471
• /
• 2004

소프트웨어 생명주기 동안 변화하는 요구사항을 관리하기 위하여 다양한 기법들이 등장하고 있다. XP(eXtreme Programming) 기법에서 사용되는 유저 스토리는 고객이 시스템 관련 표현들에 대한 부담을 가지지 않고 자신의 요구사항을 표현할 수 있다는 장점을 가지고 있지만 그런 반면 체계를 가진 정형화된 문서가 아니고 일상적인 용어로 기술된다는 점 때문에 XP 기법에 대한 이해가 없는 타부서나 개발 관계자들과의 요구사항에 관한 문서 교환 시 문제가 발생한다. 본 고에서는 이 문제를 해결하기 위한 방안으로 유저 스토리로부터 유즈케이스를 모델링 하는 방법을 제안하였으며, 제안된 방법을 검증하기 위하여 XP 기법을 사용하여 진행된 DVD 타이틀 대여 웹사이트 개발 프로젝트에 적용한 사례를 분석하였다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.5
• /
• pp.583-592
• /
• 2000

This paper proposes feature parameter transformation method using independent component analysis (ICA) for speaker identification. The proposed method assumes that the cepstral vectors from various channel-conditioned speech are constructed by a linear combination of some characteristic functions with random channel noise added, and transforms them into new vectors using ICA. The resultant vector space can give emphasis to the repetitive speaker information and suppress the random channel distortions. Experimental results show that the transformation method is effective for the improvement of speaker identification system.

• Journal of KIISE:Software and Applications
• /
• v.28 no.2
• /
• pp.141-148
• /
• 2001

DCT(Discrete Cosine Transform) 변환은 MPEG과 JPEG 표준에 의하여 영상이나 비디오 영상을 압축하는데 사용되어져 왔다. 본 연구에서는 이상적인 경계가 관련된 특성을 유도하고, 실시간 처리를 위하여 모델에 바탕을 둔 DCT 영역에서의 불연속 경계 평가 방법을 제안한다. 이 방법은 방향 검증과 위치 정렬 등의 평가로 구성된다. 두 가지의 평가 방법에 의하여 경계의 다양한 방향과위치를 알 수 있으며, DCT 계수들을 표준화된 형식으로 정렬시킬 수 있고, 표준화된 DCT 계수에서 이상적인 계단 경계의 특성과 비교하여 경계의 크기를 산출할 수 있다. DCT 계수가 8x8의 블록 단위로 이루어져 있어 경계의 표현이 조밀하지는 않지만 처리 시간이 빠르고 잡음에 강한 특성을 가지고 있어 다양한 실시간 응용분야에 사용될 수 있을 것이다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.2
• /
• pp.124-131
• /
• 2001

복부 CT 영상에서 위의 자동적인 추출에 대하여 연구하였다. 복부 CT 영상에서 여러 장기가 비슷한 명암 값을 나타내며 분포 해 있다. 본 논문에서는 복부 CT 영상의 여러 장기 가운데 위를 자동적으로 추출하는 알고리즘을 개발하였다. 위는 움직이는 장기이며, 음식물로 채워진 부분과 공기로 채원진 부분으로 나뉘어져 있다. 이를 바탕으로 히스토그램 분석을 통한 명암 값 정보와 위치 정보를 이용하여 위를 탐색하고, 주변 다른 장기를 제거하는 다듬기 과정으로 완전한 위 추출 알고리즘을 완성하였다. 또한 돼지 실험에서 추출된 위의 체적을 비교하여, 개발된 알고리즘의 정확성을 검증한 결과 약 95%의 정확도를 보였다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.2
• /
• pp.201-209
• /
• 2001

고성능 마이크로 프로세서들은 성능 향상을 위해 ILP를 지원한다. 병렬성을 극대화시키기 위해서는 많은 성능 저해 요인들을 제거해야 한다. 최근에는 컴파일러의 역할을 증대시켜 이러한 요인들을 줄이기 위한 노력들이 활발히 진행되고 있다. 본 논문에서는 성능 저해 요인인 조건 분기 처리를 위하여 조건 실행과 레지스터 할당을 결합함으로써 메모리로의 대피를 최소화하고 병렬성을 향상시킬 수 있는 개선된 레지스터 할당 알고리즘을 제안한다. 제안한 방법을 적용하여 실험한 결과 간섭 그래프의 에지수가 4.47% 감소되었고 그 결과 요구되는 대피 변수의 수도 21.35% 감소되었다. 그리고 기존의 방법에 비해 19.38%의 성능 향상 결과를 얻었다. 결국 본 레지스터 할당 기법은 조건 실행을 통해 조건 분기 명령을 제거하여 기본 블록 내의 명령어 수를 증가시켜 병렬처리의 기회를 증진시키고 조건 분석을 통해 간섭 그래프의 불필요한 에너지를 제거시켜 보다 효율적인 레지스터 할당을 실현함으로써 제안한 방법의 타당성을 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2008.04a
• /
• pp.41-42
• /
• 2008

무선방식으로 원격에서의 인식으로 정보교환을 가능하게 하는 RFID(Radio Frequency IDentification) 시스템은 태그 내의 배터리 유무에 따라 수동형과 능동형으로 구분된다. 수동형 태그는 판독기로부터 받은 RF 신호를 에너지로 이용하기 때문에 인식거리가 짧으며, 가격이 싸고 반영구적으로 사용할 수 있는 장점이 있다. 반면에, 능동형 태그는 금속재질에 취약한 수동형의 단점을 극복하는 동시에 인식거리가 길고, 인식률이 좋은 장점이 있다. 따라서 항만물류나 국방 분야에서 능동형 RFID 시스템에 대한 개발이 점차 확대되고 있다. 하지만 동일한 표준으로 개발된 제품의 서로 간에 인식이 불가능한 사례가 보고되고 있으며, 국제적으로 정확한 평가방법 및 장치가 정립되지 않아 개발된 제품들 간의 상호 운용성 및 표준 적합성 평가에 대한 어려움이 존재한다. 본 논문에서는 능동형 RFID 시스템의 적합성 평가를 위한 에뮬레이터의 하드웨어 및 소프트웨어를 설계하고 제작하였다. 설계된 장치는 Matlab의 Simulink를 통한 시뮬레이션으로 성능을 분석하였고, 실제 능동형 RFID 태그의 표준적합성 평가를 통해 에뮬레이터의 적용 가능성을 검증하였다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.5
• /
• pp.169-174
• /
• 2009

In this paper, We define convert rules objects and relation presented in object model to the state and operation domain in formal specification. we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.158-160
• /
• 2012

가상화 기술은 하드웨어와 소프트웨어의 비약적인 발전과 함께 다양한 분야에 적용되어 컴퓨팅 자원 활용성을 높이고 있다. 최근에는 클라우드 컴퓨팅 환경과 함께 더 많은 수의 가상 머신의 지원이 요구되고 있다. 이에 따라 많은 수의 가상 머신에게 효율적인 I/O를 제공하기 위한 장치 가상화 기술의 중요성이 커지고 있다. 이를 해결하기 위해 다양한 장치 모델이 제안되었으나 모드 전환 비용에 대한 근본적인 해결 방법을 제시하지 못하고 있다. 이에 본 논문에서는 새로운 폴링 장치 가상화 기술인 커널 레벨 장치 가상화 프레임워크를 제안하고 구현된 프로토타입에 대한 실험을 통하여 본 기술을 검증하였다.