• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2002년도 추계 학술발표회 논문집
• /
• pp.19-25
• /
• 2002

농업기본통계조사의 현행 표본은 1995년 농업총조사 결과를 모집단으로 선정한 것이므로 표본설계 시 고려되는 모집단의 기본 구조 변화 및 ${\ulcorner}$2000년 농업총조사${\lrcorner}$ 결과에서 나타난 변화된 특성을 제대로 반영하지 못하고 있으므로 ${\ulcorner}$2000년 농업총조사${\lrcorner}$ 결과를 바탕으로 모집단을 새로이 구성하여 변화하는 농가 구조를 반영하고, 기존 표본의 노후화를 방지하며, 기존 통계 생산을 유지하면서 신규 통계를 생산할 수 있도록 표본설계를 하였다.

• 한국생물환경조절학회:학술대회논문집
• /
• 한국생물환경조절학회 2003년도 춘계 학술대회 논문집
• /
• pp.82-85
• /
• 2003

녹색꽃양배추는 십자화과에 속하는 양배추의 변종으로 꽃이 피지 않은 화뢰를 수확대상으로 한다. 녹색꽃양배추는 녹황색 채소 가운데 영양가가 많은 채소로, 여느 채소보다 비타민 AㆍC의 함량이 뛰어나며 특히 비타민 C는 과일을 능가할 정도로 양상추의 27배, 그린아스파라거스의 13배나 많이 함유하고 있다. 또한 녹색꽃양배추에 함유된 sulforaphane은 항발암 및 해독효소 효과가 큰 것으로 알려져 있으며(Aspry, 1983; Jhang, 1992; Kim, 1997; Howard, 1997), 외국에서는 일찍부터 중요한 채소의 하나로 이용되고 있다. (중략)

• 대한핵의학회지
• /
• 제20권2호
• /
• pp.105-107
• /
• 1986

It is well known that $^{99m}Tc-DISIDA$ hepatobilliary scan is a noninvasive and accurate method for detecting choledochal cyst. In the case we are reporting, $^{99m}Tc-DISIDA$ scan of a 17 year old female patient showed the characteristic pattern of a choledochal cyst, confirmed by surgery.

• 한국작물학회:학술대회논문집
• /
• 한국작물학회 2005년도 추계학술발표회 요지
• /
• pp.182-183
• /
• 2005

• 한국작물학회:학술대회논문집
• /
• 한국작물학회 2003년도 추계 학술발표회 요지
• /
• pp.118-119
• /
• 2003

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.613-616
• /
• 2000

This paper considers the problem of subway crew scheduling. Crew scheduling is concerned with finding a minimum number of assignments of crews to a given timetable satisfying various restrictions. Traditionally, crew scheduling problem has been formulated as a set covering or set partitioning problem possessing exponentially many variables, but even the LP relaxation of the problem is hard to solve due to the exponential number of variables. In this paper, we propose two basic techniques that solve the problem in a reasonable time, though the optimality of the solution is not guaranteed. To reduce the number of variables, we adopt column-generation technique. We could develop an algorithm that solves column-generation problem in polynomial time. In addition, the integrality of the solution is accomplished by variable-fixing technique. Computational results show column-generation makes the problem of treatable size, and variable fixing enables us to solve LP relaxation in shorter time without a considerable increase in the optimal value. Finally, we were able to obtain an integer optimal solution of a real instance within a reasonable time.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.407-409
• /
• 2003

매크로 바이러스를 비롯한 악성 스크립트 바이러스는 이진 코드와는 달리 텍스트 형식으로 코드가 저장되기 때문에 많은 수의 변종이 가능하고 다형성을 지닌 형태로의 제작이 쉬워 새로운 형태의 출현이 빈번하다［1］. 이에 따라 시그니처 기반의 감지 기법을 탈피한 다양한 기법들이 제안되고 있으나 세밀한 수준의 분석으로 인한 시간 지연과 높은 긍정 오류의 문제로 현실적으로 적용되지 못하는 실정이다. 이를 개선하여 비교적 짧은 시간에 정적 분석을 끝내고 코드 삽입 기법을 병행하여 긍정 오류 문제를 해결한 기법이 제안 되었다［2］. 그러나 이 기법에서 사용하는 정적 분석은 다형성 스크립트 바이러스에 대하여 고려하고 있지 않다. 본 논문에서는 제안된 정적 분석 기법을 확장 하여 다형성 스크립트 바이러스를 탐지할 수 있는 기법을 제시 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.10-12
• /
• 2003

SMP 클러스터가 고성능 계산을 위한 플랫폼으로 등장함에 따라, 이 시스템을 활용하기 위한 프로그래밍 환경에 대한 관심이 증가하고 있다. 이 논문에서 우리는 ParADE라고 부르는 쉽고, 이식성이 높으며. 고성능의 프로그래밍이 가능한 새로운 프로그래밍 환경을 소개한다. ParADE는 OpenMP 프로그래밍 환경으로 HLRC 변종 프로토콜을 구현한 다중 쓰레드 DSM 시스템을 기반으로 하고 있다. 특별히. 이 논문에서는 성능 개선을 위한 OpenMP 변환기의 역할에 중점을 둔다. OpenMP 변화기는 OpenMP 프로그램 모델과 실행 시스템의 수행 모델 사이에서 가교 역할을 한다. 특히, OpenMP 변환기는 동기화 디렉티브를 변환하고 임계 영역에 있는 작은 변수의 메모리 일관성을 유지하기 위해 집합 통신 함수를 활용한다. 동기화 디렉티브 성능 측정을 위한 마이크로벤치마크 프로그램을 통한 실험에서 ParADE 시스템은 기존의 DSM 시스템에 비해 우수한 성능을 보였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2011년도 제37회 추계학술대회논문집
• /
• pp.992-995
• /
• 2011

초음속 공기 흡입식 추진시스템(램제트/스크램제트)에 적용되는 공기 흡입구의 성능설계 기법 연구를 수행하여 두 종류의 공기 흡입구에 대한 예비 형상 설계 및 성능해석 모델을 수립하였다. 제시된 모델을 사용하여 축대칭 원추형 공기 흡입구와 2차원 사각형 공기 흡입구의 압축 각도와 충격파 개수에 따른 성능 영향을 평가하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
• /
• pp.458-462
• /
• 2007

센서 네트워크는 미래사회의 핵심인 유비쿼터스 컴퓨팅 환경을 구축하기 위해서 필요한 중요 기술 중 하나 이다. 이미 많은 곳에서 센서를 활용한 Context Awareness 서비스가 다양하게 연구 되고 있으며 이러한 흐름에 맞추어 본 논문에서는 크리켓 센서를 활용한 사용자 중심의 미디어 전송 서비스를 제안한다. 크리켓 센서는 사용자의 위치를 확인하기 위해 사용하며, 사용자 근처에 존재하는 모니터로 동영상을 전송하기 위해서 자바스트리밍 기술을 사용한다.