• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.121-123
• /
• 2002

무선 통신은 제한된 통신 자원으로 인한 제한적 대역과 단말기능에 있어서의 제약으로 무선 환경에서 제공받는 멀티미디어 통신 서비스를 수용하기가 쉽지 않다. 이러한 문제점을 해소하는 방안으로 무선 접속 기능을 향상하기 위한 통신장비간 무선 통신을 ad hoc 네트워크라고 부른다. 본 논문에서는 이러한 ad hoc 망상에서 CSMA을 이용한다. 그리고 ad hoc 네트워크의 히든노드(hidden node)문제를 해결하기 위하여 아주 작은 단위의 제어프레임을 사용하여 다음에 전송할 데이터패킷의 우선순위를 두고, 더 전송할 데이터패킷의 유무를 구분한다. RTS와 CTS를 전송하고 제어프레임을 받은 후 T-ready만큼 기다려, 새로운 최소 패킷을 받는 즉시 데이터패킷의 우선순위를 판단하여 우선순위가 높은 패킷일 경우에는 채널을 양보하므로 하나의 노드가 채널을 독점하는 기아 현상을 줄인다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2005년도 추계 종합학술대회 논문집
• /
• pp.354-358
• /
• 2005

High-rate WPAN은 CAT의 Time Slot 할당스케줄링 방법을 정의하고 있지 않다. 이에 CAT의 Time Slot 할당 스케줄링 방법에 관한 많은 연구가 진행 중이다. 하지만 지금까지의 연구들은 Air Interface의 에러 요소의 미적용이나 특정 DEV의 기아 현상 등의 단점 등을 내포하고 있다. 이에 본 논문에서는 채널의 상태에 따라 우회 경로를 제공하여 채널 타임 할당 스케줄링 방법의 단점을 극복하는 알고리즘을 제안한다.

• 조형예술학연구
• /
• 제12권
• /
• pp.145-191
• /
• 2007

21세기는 과학적 물질문명의 발달로 인하여, 과거에는 느껴보지 못했던 물질문명의 풍요를 이끌어 냈으며, 컴퓨터, 메스미디어의 발달로 인하여, 인간 문명의 관심은 지구계를 벗어나 우주론적으로 확장되어 마침내 우주시대를 열었다. 하지만 인간의 이성과 함께 영원하리라 믿었던 과학적 합리성은 20세기 초두에 제국주의적 전쟁을 일으키게 되었으며, 그로 말미암아 이성 파괴 현상이 드러나게 되었다. 급기야 20세기말에 이르러 다원주의라 칭하기도 하는 후기산업사회의 병적 증후군들, 국가간의 경제전쟁, 컴퓨터 및 각종 정보매체를 통한 신속한 정보교환의 이면에는 인간의 자기정체성의 혼돈을 아울러 초래하게 되었다. 과학기술의 발달로 생태계 및 환경은 오염되고 파괴되었다. 20세기말에는 산성비, 엘니뇨, 라니냐 현상으로 인하며, 환경의 재앙을 초래하면서 이제 인간은 문명에 대하여 여태껏 가져왔던 확고한 믿음에 회의를 갖게 된 것이다. 이와 같은 현상은 인간의 주체적 인식과 과학적 믿음의 지나친 숭배로 인하며 자연도 인간에 의하여 지배되고 인간을 위해서만 존재하는, 인간과 자연의 이원론적인 생각 즉, 인간의 이성에 의해서만 가능하다고 생각한 "근대적 주체"에 대한 맹신의 결과인 것이다. 이렇듯 20세기의 문제점은 21세기로 전가되어 여전히 계속되고 있으며, 세계내의 가장 큰 문제점은 전쟁, 기아 등 보다 이제는 오히려 환경. 생태문제로 귀결되어 지구의 생존권 자체가 위협을 받게 되었다. 미술도 서구문명의 근대주의적 영향에 의해서 모더니즘 등 이성위주의 미술인 "근대 주체적 미술"로 발전하였지만 포스터모더니즘에서 보여 지듯 이미 인간의 순수한 이성을 근간으로 한 미술에 있어서의 주체성 주장은 상당부분 무너졌으며, 이제는 장르의 해체와 다원화 현상으로 나아가게 되었다. 환경파괴에 직면하여 이제 주체는 자연이라는 타자를 새롭게 등장시킨다. 그리하여 생명중심주의, 전체론, 감각 중심주의 등 인간과 자연이 함께 공생하는 자연을 향한 생태적인 미술이 절실히 요구되는 것이다. 이에 본 연구논문은 무비판적 서구미술에 동요되지 않고, 지극히 자연적이고 동양적이기도 한 끊임없이 생명력을 창출해 내는 자연에 관심을 같게 되었으며, 환경의 중요성과 함께 생태학적 미술, 즉 생태미술에 본인의 작업을 관계시키고자 한다. 근대적 문명사에 의해 매장된 생태적 유기성의 흔적을 고고학적 탐사방법을 통하며 발굴해 내며, 환경윤리와 생태학, 심층 생태학, 북친의 '사회 생태학'을 수용하여 물질성의 생태적 복원과 함께 조형공간의 다원성에 대한 생태 미술의 일단을 규명코자 하였다.

• 한국사회복지학
• /
• 제61권2호
• /
• pp.189-213
• /
• 2009

본 연구의 목적은 북한이탈주민들이 남한이주 과정에서 경험한 외상 사건의 의미와 본질이 무엇인지를 이해하는 것이었다. 이를 위하여 현상학적 연구방법으로 접근하였으며, 연구 참여자는 탈북과정에서 고문, 공포, 폭행, 기아, 질병 등의 외상을 경험한 7명의 북한이탈주민들이었다. 연구결과, 6개의 주제묶음(Theme clusters)을 '삶과 죽음의 경계에서의 몸부림', '살아남음과 살아가는 것의 차이'로 범주화 하는 과정에서 연구 참여자들의 남한이주 과정에서의 외상은 수년이 지난 현재와 연결되어 있음을 발견하였다. 연구 참여자들이 외상 사건을 경험하며 살아남은 과정에서 각인된 이미지와 기억은 수 년 동안 지속되어 남한에서의 일상생활과 관련을 맺고 있었다. 본 연구를 통하여 북한이탈주민들의 부정적 특성이라고 간주되었던 일부 요인들이 외상을 경험한 개인들에게는 피할 수 없는 개별적 특수성임을 알 수 있었다.

• 한국정보통신학회논문지
• /
• 제10권5호
• /
• pp.832-842
• /
• 2006

High-rate WPAN 은 CAT의 Time Slot 할당 스케줄링 방법을 정의 하고 있지 않다. 이에 CAT의 Time Slot 할당 스케줄링 방법 에 관한 많은 연구가 진행 중이다. 하지만 지금까지의 연구들은 Air Interface의 에러 요소의 미적용이나 특정 DEV의 기아 현상 등의 단점 등을 내포하고 있다. 이에 본 논문에서는 채널의 상태에 따른 우회 경로를 제공하여 채널 타임 할당 스케줄링 방법의 단점을 극복하는 알고리즘을 제안한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권2호
• /
• pp.49-56
• /
• 2007

MEMS 기반 저장장치는 높은 대역폭과 저전력성, 고집적도, 저가 등의 특성으로 인해 모바일 기기에서 대용량 서버 시스템에 이르는 다양한 환경에서 사용가능한 차세대 저장장치이다. MEMS 기반 저장장치는 원판이 회전하는 하드디스크와 달리 매체가 사각형 구조로 되어 있으며 하나의 매체에 동시에 읽고 쓸 수 있는 수천 개의 헤드가 존재한다. 본 논문에서는 이와 같은 MEMS 기반 저장장치의 물리적 특성에 적합한 새로운 입출력 요청 스케줄링 기법을 제안한다. 새롭게 제안한 알고리즘은 사각형 평면상에서의 헤드의 탐색 시간뿐 아니라 수천 개의 헤드에 의한 병렬적인 입출력을 고려한다. 또한, 기아 현상(starvation)을 극복하기 위해 알고리즘에 노화 요소(aging factor)를 반영한다. 트레이스 기반 모의 실험을 통해 본 논문이 제안한 스케줄링 알고리즘이 기존의 대표적인 알고리즘인 SPTF(Shortest Positioning Time First) 알고리즘에 비해 평균 응답 시간과 응답 시간의 편차 측면에서 각각 39.2%와 62.4%가 향상됨을 보였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제37권1호
• /
• pp.35-42
• /
• 2010

가상화 환경에서는 여러 개의 게스트 운영체제가 자원을 공유하고 있는데 특히 CPU는 시간 분할 방식에 의해 분배 된다. 따라서 각 가상 머신은 모든 물리 시간을 점유하지 못하고, 이는 CPU를 점유하지 못한 시간에 동작해야 하는 태스크 실행이 보장되지 못하는 결과를 야기시킨다. 이와 같은 응답성의 저하는 기존의 서버 가상화에서 치명적인 문제가 되지 않으나 임베디드 시스템에서 동작하는 실시간 태스크 측면에서는 중요하게 다루어 져야 하는 요구사항이 된다. 본 논문에서 우리는 실시간성과 관련된 타이머를 가상 머신 모니터에 등록할 수 있는 하이퍼콜을 제안한다. 이 하이퍼콜을 통하여 등록된 타이머는 만료된 시점에 해당 가상 머신이 실행되게 한다. 따라서 실시간성을 요하는 태스크들이 의도된 시간에 실행 가능하게 하며 다른 가상 머신의 기아 현상을 완화시켜 준다. 이어지는 실험에서는 Xen-Arm에 이를 구현하여 게스트 운영체제인 리눅스에서의 실시간성을 평가한다. 특히 테스트 응용과 Mplayer의 응답성 및 초당 프레임 수를 측정하여 한 개의 게스트 운영체제만이 동작하는 환경에서와 비슷한 실시간성이 지원될 수 있음을 보인다.

• 천문학회보
• /
• 제37권1호
• /
• pp.94.1-94.1
• /
• 2012

천리안위성은 우리나라 최초의 정지궤도복합위성(COMS: Communication, Ocean, and Meteorological Satellite)으로 2010년 6월 27일, 남미 기아나 쿠루기지에서 아리안-5 로켓에 의해 발사된 후 동경 128.2도, 적도 상공 약 35,800 km 고도의 정지궤도에 안착되었다. 이 후 궤도상시험 기간과 안정화 기간을 거쳐 2011년 4월 1일, 기상청은 위성자료 서비스를 시작하였다. 천리안위성의 기상영상기는 한반도 주변의 기상변화와 전 지구적 기후 변화 및 대기 운동을 감시하기 위해 실시간 관측 및 전송 시스템을 갖춘 탑재체이다. 이 기상영상기는 하루 8번의 지구 반면 영역과 각각 80번 내외의 북반구 및 한반도 영역을 관측하며, 이 자료는 지상에서 복사보정과 기하보정을 거친 후 위성을 통해 다시 사용자에게 배포된다. 천리안위성 기상영상기는 쉼 없이 관측하고, 일정 시간 이내에 그 자료를 배포해야 한다. 이러한 자료서비스는 운영시스템의 장애나 자연현상에 의한 자료 미수신 혹은 미처리가 발생할 경우 운영 결과 및 성과에 영향을 미친다. 이와 같은 장애에 대비해 국가기상위성센터는 이중화된 시스템을 구축했으며, 자료 백업 부기관으로서 한국항공우주연구원과의 사이트 이중화도 시행하고 있다. 그러나 정지궤도에 있는 위성과 태양 및 지구의 역학적인 관계에 따라 태양 전파 잡음의 영향인 태양간섭과, 위성 태양전지판 충전 장애를 일으킬 수 있는 위성식, 그리고 위성 자정 주변에 발생할 수 있는 태양광 침입 및 산란광 영향 등은 미리 예측되어야 하며, 이 시기 운영 방안 마련과 사용자 공지 등의 조치가 수반되어야 한다. 국가기상위성센터는 춘 추분 시기에 발생하는 이러한 태양 영향을 예측하고 검증했으며, 이 시기 위성 및 지상국의 효율적인 운영방안을 마련하였다.

• 한국식생활문화학회지
• /
• 제3권4호
• /
• pp.397-406
• /
• 1988

지난 1세기 동안의 한국인 식사 습관의 변화를 조사 분석한 결과는 아래와 같이 요약된다. (1) 이조 말기까지 한국인은 다양한 곡류, 채소류, 과실류를 식품으로 이용하였으나 농업의 전문화와 생활 방식의 도시화에 의하여 이들 식품 재료의 종류가 크게 감소하였다. (2) 우리의 전통식단은 영양적으로 균형잡힌 구성을 가지고 있었으나 일제의 수탈과 전쟁 중의 식량난으로 한국인의 영양 섭취는 크게 악화되었다. (3) 전쟁 중 악화된 영양상태를 전통 식사법의 회복으로 극복하려 하지 않고 서양식 식사법의 도입으로 해결하려 하였다. (4) 전쟁중의 기아 상태에서 외국 원조로 공급된 분유와 밀가루의 섭취가 일반화 되었으며, 전후 경제 개발 과정에서 분식 장려 정책과 축산 진흥 정책이 계속되었다. (5) 1970년대 이후의 경제 성장 과정에서 식용 및 사료용 곡물 도입이 급증하게 되었으며 식량 자급율은 50% 이하로 하락하였다. (6) 1970년대에 와서야 우리의 식량공급은 이조 말기의 수준으로 회복되었다. 그러나 그 구성면에서 지방질의 섭취가 크게 증가되는 양상을 나타내었다. (7) 1980년대에는 동물성 식품의 소비 과다, 지방의 과잉섭취 현상이 계속 심화되고 있으며 이러한 현상은 성인병의 발병율 증가 등 국민 보건의 퇴화 조짐과 식량 수입에 따른 경제적 부담을 가중시키고 있다. (8) 우리의 전통 식사법에 근거를 둔 식사목표의 설정과 올바른 식습관 정립을 위한 국민 교육과 정책적 배려가 시급히 요구되고 있다.