• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.22-24
• /
• 2001

내장형 시스템은 산업 전반에 다양한 방법으로 응용되고 있다. 하지만 항공 분야나 원자력 분야의 내장형 시스템은 안정성과 신뢰성이 절대적으로 보장되어야 하는 시스템으로 피 설계부터 구현에 이르기까지 다양한 방법으로 검사되고 검증되어야 한다. 본 논문에서는 내장형 시스템의 통합설계를 위한 기반으로 하드웨어 설계 언어인 Verilog를 입력 언어로 받아들여 이를 정형검증 도구인 VIS를 통하여 검증한 다음 이를 바로 구현하는 방법론 및 예를 보이고자 한다. 이러한 방법을 통해 내장형 시스템의 안정성과 신뢰성의 수준을 향상시키고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.40-42
• /
• 2001

캐쉬 일관성 프로토콜의 하나인 MESI 프로토콜은 다중 프로세싱 환경에서 각각의 프로세서와 메모리 사이의 데이터 일관성을 유지하기 위해 캐쉬, 메모리 등의 통신 개체들을 조정하는 일종의 규칙들 중 하나이다. 프로세서의 수가 많아지고 시스템이 복잡해 질 경우 MESI 프로토콜을 정확하게 설계하고 그 동작을 분석하기는 매우 어렵다. 본 연구에서는 정형기법 도구인 ESTEREL을 이용하여 MESI 프로토콜을 설계하고 그 동작의 안정성을 검증하여, 시스템의 정확성과 안정성을 보장하는 방법에 대해 논한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.37-39
• /
• 2003

최근 인터넷상에서 사용자와 대용량 콘텐츠의 급증으로 서버와 네트워크의 부하가 가중되고 서비스의 질이 떨어지는 문제를 해결하기 위해 콘텐츠를 다수의 지역 서버에 분산하여 서비스 하는 기술들이 대두되고 있다. 이러한 환경에서는 클라이언트의 요청에 대해 다수의 웹 서버 중 가깝고 트래픽이 적은 서버로 요청을 재 전달하여 빠르고 안정된 멀티미디어 서비스를 기대할 수 있다. 그러므로 본 연구에서는 이러한 환경을 이동 환경에 적용하여 이동하는 클라이언트의 요청에 대해 적절한 서버가 응답함으로써 이동 호스트에서도 계속적으로 증가하는 대용량, 실시간 멀티미디어 콘텐츠의 빠르고 안정적인 서비스를 가능하게 할 수 있는 알고리즘을 제안하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.688-690
• /
• 2004

지금까지의 P2P 알고리즘들은 링크가 비교적 안정적이고 움직임이 적은 유선망을 기반으로 만들어졌다. 하지만 무선의 경우 우선 전파의 손실률이 높아 링크의 안정성이 떨어지고 노드들의 이동성 때문에 링크의 연결 관계가 수시로 변하게 된다. 이러한 이유로 기존의 P2P알고리즘들을 무선에 직접적용하기 힘들다. 따라서 본 논문에서는 기존의 P2P방식이 우선 에드혹 네트워크에서 나타낼 수 있는 문제점을 지적하고 이를 해결하기 위한 P2P방식을 제안하였고 실험을 통하여 검증하였다.

• Proceedings of the Korean Society of Community Living Science Conference
• /
• 1996.07a
• /
• pp.99-100
• /
• 1996

본 연구는 농가 주부의 경제적 스트레스 지각수준과 농가의 대처행동 수준 및 그들의 관계를 파악하고, 농가의 일반적 특성, 경제적 안정도와 경제적 스트레스원 경험 등 관련 변수가 이에 미치는 직.간접적 영향력을 규명하고자 하는 목적으로 수행되었다. 경기, 강원, 충남, 충북지역 505개 농가 주부의 설문조사 자료에 대하여 SPSS PC를 이용한 빈도분석, 상관분석, 요인분석, 일원분신분석 및 최소유의치(LSD)검증, 중회귀분석, 공분신구조(LISREL8)분식 등을 통해 다음과 같은 결과를 얻었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.94-96
• /
• 2001

본 논문은 Tertiary 저장장치에 기반한 대용량 비디오 서버를 위한 미디어 캐슁 시스템의 설계와 구현에 대해서 기술한다. 대용량 비디오 서버를 위한 미디어 캐쉬는 디스크 저장 장치를 캐쉬 장치로 사용한다. 캐쉬 관리는 서비스의 안정성을 위해 고정 크기의 캐쉬 블록 단위로 관리되며 캐쉬 교체 정책 또는 연속 미디어의 특성을 고려하여 서비스의 안정성과 연속성을 보장 할 수 있도록 하여야 한다. 제시된 캐쉬 관리 정책과 캐쉬 교체 정책을 실제 구현된 서버를 바탕으로 성능 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.656-658
• /
• 2003

무선 인터넷 망의 구축과 휴대용 정보기기의 일반 보급으로 이동형 정보 환경이 최근 급속히 확산되고 있다. 본 논문은 이동형 환경에서의 거래 안정성과 데이터 가용성 증대를 위한 새로운 복제 데이터 관리 기법을 제안한다. 제안된 위임 정족수 합의(Proxy Quorum Consensus) 모델은 불안정한 상태의 다수의 모바일 사이트에 직접적인 투표를 하지 않는 대신에, 미리 선출한 대표 정족 집단에 위임함으로써, 안정된 위임 투표(Proxy Voting)를 진행하는 제어 기법이다. 이 기법을 통하여 통신 비용 절감 및 응답 속도 향상 등의 효과를 기대할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.628-630
• /
• 2003

본 연구는 손의 형상을 복잡한 배경환경에서 손 영역을 안정적으로 검출, 인식하여 윈도우 플레이어의 기능을 제어하는 시스템을 제안하였다. 손은 형상이 매우 복잡하기 때문에 2차원 형상의 불변량에 해당하는 에지의 방향성 히스토그램을 이용하여 인식을 행한다. 이 방법은 복잡한 배경에서 피부색을 지닌 손 영역이 정확히 추출되며 손 형상을 인식하는데 있어서 수행속도가 빠르고 조명변화에 덜 민감하기 때문에 실시간 손 형상 인식에 적합하다. 본 논문에서 제안한 방법을 윈도우 플레이어 제어에 적용한 결과 안정적으로 제어 할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.301-303
• /
• 2003

비디오 서버는 제한된 자원을 이용하여 보다 많은 사용자에게 안정적인 005(Quality of Service)를 제공하는 것이 중요하다. 본 논문에서는 안정적인 QoS를 지원하기 위한 서버 진입 제어에 관한 연구를 클러스터 형태의 VOD 서버에서 수행하였다. 리눅스 환경에서 구축된 VOD 서버의 성능을 분산 저장 노드의 수와 일반 재생 및 고속 재생의 비율을 변화시키며 측정하였다. 측정한 결과를 토대로 클러스터 VOD 서버의 성능 제한의 원인을 분석하고, 그에 따른 대책을 제안한다. 분석된 자료는 클러스터 VOD 서버에서 진입 제어의 기준을 결정하는 변수들로 사용되어 진다.

• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 2001.05a
• /
• pp.240-241
• /
• 2001

자연계로부터 Vibrio sp.에 항균활성을 갖는 균을 검색하여 분리하고 분리균의 동정결과 Pseudomonas aeruginoso로 동정되었으며, 분리한 균의 항균성 물질의 최적 생산조건을 검토하며, 항균성 물질을 정제하여 그 안정성과 항균작용기작에 대해 조사한 결과 pH와 열에 대한 광범위한 안정성을 보였으며, 항균물질이 V. cholerae non-O1 ATCC 25872 세포에 대해 뚜렷한 용균작용을 하는 것을 관찰하였다.