• The Korean Journal of Petroleum Geology
• /
• v.9 no.1_2 s.10
• /
• pp.40-45
• /
• 2001

국내 대륙붕 제 6-1광구 고래 I지역에 대한 AVO분석 (OFFSET에 따른 진폭변화 연구: 주로 유체성분분석)을 수행하였다. 특히, 관심을 끌었던 고래 I지역의 다층에 대한 AVO 분석결과, 물을 함유한 층인, 다층에서는 가스를 함유한 저류층인 가층에 비해 가스를 함유할 가능성이 더 높게 나타났다. 하지만, 시추결과에 따르면 다층은 물로 채워진 층으로 판명되었다. 본 연구에서는, 가스를 함유하지 않은 다층이 더 뚜렷한 AVO 현상을 나타나게 된 원인을 분석 및 고찰하였다. 그 방법으로 다양한 AVO 분석 방법 (PxG stack, psedo-Poisson's ratio stack, Scaled-S-Wave reflectivity stack 분석 법 및 Cross Plot등)을 통해 가스층과 물을 함유한 층의 분류 가능성에 대한 연구를 수행하였다. 그 결과, 일반적인 AVO 분석 방법에 의해서는 가스층과 물을 함유한층의 분류가 어려웠다. 따라서, AVO 분석시 나타나는 AVO 현상에 대한 심도있는 고찰을 위해서는 AVO 모델링 기법의 적용을 고려해 볼 수 있으며, 이를 통해 탐사 위험도를 낮출 수 있을 것으로 기대된다. 또한 새로운 유망구조에 대한 상기 AVO 분석방법을 적용하여 유망구조의 가스함유 가능성에 대한 연구가 가능할 것으로 판단된다. 그 실례로, 고래 I지역에 대한 새로운 유망구조에서의 가스 함유가능성에 대한 연구를 수행하였다. 연구 방법으로는 상기에서 언급한 다양한 AVO 분석 방법을 적용하였으며, 그 결과 유망구조에서의 가스 발견 가능성은 높은 것으로 사료된다. 따라서, 향후, 가스층 탐사시 (물론, 연구결과 얻어진 가능성에 대한 시추결과가 있어야 하겠지만)축적된 AVO 분석기법을 적용 시 석유탐사에서 위험률 제고에 기여할 수 있을 것으로 기대된다.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.1
• /
• pp.119-129
• /
• 1995

In this paper, we propose a schedulatility analysis method for real-time programs. Several approaches to anlayzing schedulability have been developed, but since these approaches use a fixed priority scheduling method and/or traverse all possible state spaces, there take place exponential time and space complexity of these methods, Therefore it is necessary to reduce the state space and detect schedulability at earlier time. Our schedulability analysis method uses a minimum unit time taken to terminate synchronization action, a minimum unit time taken to terminate actions after synchronization, and a deadline of processes to detect unschedulability at earlier time and dynamic scheduling scheme to reduce state space. We conclude that our method can detected unschedulability earlier 50 percent unit time than Fredette's method.

• Journal of the Korean Geographical Society
• /
• v.36 no.4
• /
• pp.382-401
• /
• 2001

This paper intends to set up a standard sets of indicators based on system-orientor framework, in assuming urban place as a self-organizing system within which several subsystems are interlinked together. Also, The application guideline composed of normative-analytical-practical dimensions, is proposed how to put into practice a standard set of indicators according to the regional characteristics. In practice, Seongnam in Gyeonggi Province in Korea and St. Paul in Minnesota in US are selected for case studies in order to measure and evaluate urban sustainability. Both data availability for measured variables and establishment of minimum level and satisfactory level of sustainability are requested for furthermore researches.

• Journal for History of Mathematics
• /
• v.30 no.6
• /
• pp.353-365
• /
• 2017

In general, there is summability among the mathematical tools that are the criterion for the convergence of infinite series. Many authors have studied on the summability of infinite series, the summability of Fourier series and the summability factors. Especially, $H{\ddot{u}}seyin$ Bor had published his important results on these topics from the beginning of 1980 to the end of 1990. In this paper, we investigate the minor academic genealogy of teachers and pupils from Fourier to $H{\ddot{u}}seyin$ Bor in section 2. We introduce the $H{\ddot{u}}seyin$ Bor's major results of the summability for infinite series from 1983 to 1997 in section 3. In conclusion, we summarize his research characteristics and significance on the summability of infinite series. Also, we present the diagrams of $H{\ddot{u}}seyin$ Bor's minor academic genealogy from Fourier to $H{\ddot{u}}seyin$ Bor and minor research lineage on the summability of infinite series.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.2
• /
• pp.507-519
• /
• 2000

n this paper, we implement the real-time scheduler which performs extended schedulability testing, to reconfigure Mach kernel in which Real-Time scheduling is possible. for this purpose, first, we propose the configuration factors according to requirements of Real-Time operation systems and we analyze a Real-time scheduling algorithm. Second, for the reconfiguration of Mach kernel, we propose the modified data structure through the analysis of Mach kernel environments and scheduling. Third, we suggest the extended scheduling method by analyzing conventional Real-Time scheduling policies. Fourth, we implement the scheduler which executes tasks according to the Earliest-Deadline-First scheduling and the Rate Monotonic scheduling.

• 한국디지털정책학회:학술대회논문집
• /
• 2006.12a
• /
• pp.433-445
• /
• 2006

본 연구는 e-Learning이 오프라인 교육으로 대변되는 기존의 전통적인 교육 매체를 대체할 가능성 내지는 오프라인 교육과의 상호 보완적인 역할 가능성에 대해 연구함으로써 e-Learning 산업의구체적인 발전 방향을 찾아보고 이에 따른 향후 성장 가능성을 살펴보기 위하여 , 기존의 전통적인교육 매체 수용자의 특성과는 다른 양상을 나타낼 e-Learning 이용자의 특성에 대해 연구해 보고자한다. 이를 위해 e-Learning을 교육 매체로서 선택하는 대학생들을 대상으로 e-Learning을 이용하는 동기와 e-Learning 이용 행태, 그리고 e-Learning 이용에 따른 만족도를 살펴보고자 한다.

• Communications of Mathematical Education
• /
• v.13 no.2
• /
• pp.457-475
• /
• 2002

수학사를 통해 볼 때 눈금 없는 자와 컴퍼스를 이용한 작도 가능성의 문제는 여러 면에서 의미가 있었다. 종이 접기는 수학과는 무관하게 나름대로 많은 흥미를 끌어 왔다. 그러나 종이 접기가 기하학적 작도와 흥미 있는 관련이 있음이 알려지면서 수학적으로도 연구되었고 더 나아가 수학 학습에의 유의미한 활용 가능성이 제안되었다. 본 글에서는 종이 접기에서 괄목할 만한 수학적 성질을 고전적인 작도 가능성의 문제와 다항식의 거듭 제곱근에 의한 가해성 등과 관련하여 고찰한다. 또, 초 ${\cdot}$ 중등 학교에서 활용 가능한 가상의 수업 프로토콜도 제시한다.

• Journal of Energy Engineering
• /
• v.8 no.1
• /
• pp.174-180
• /
• 1999

본 연구는 여러 종류의 연소가스들의 연소 특성변수를 판단하여 각 가스들 간의 교체 가능성을 조사하는 것을 목적으로 하고 있다. 천연가스, 메탄가스, IGCC 생성가스의 연소특성, 즉 역화, 비화, 및 황염형성을 분제 버너를 이용하여 판단하였고, 실험 데이터는 연소 다이어그램 상에서 이론 공기량 분률과 입열로 표현하였다. 실험 결과, 메탄은 천연가스와 아무런 운전조건의 변화없이 호환가능하나, 천연가스를 IGCC 생성가스로 치환하고자 할 경우는 화염 안정으로 인하여 버너의 운전변수를 조절하여야만 한다. 이러한 연구결과는 다양한 산지에 따른 각종 천연가스들의 교체가능성 및 타 연료와의 호환가능성을 판단하는 기초자료로 사용될 수 있다.

• Journal of Energy Engineering
• /
• v.2 no.3
• /
• pp.239-250
• /
• 1993

아시아 북방국가중 에너지자원이 많아 수출의 가능성이 있는 나라들은 러시아, 중국, 베트남, 서남아시아 CIS 공화국 등이다. 이들은 경제발전단계가 우리나라의 중간재와 내구성 소비재를 수입하는 단계이기 때문에, 향후 우리나라와의 교역관계가 매우 증대할 전망이다. 그러나 이들 국가들은 경화의 지불능력이 약하기 때문에 이들이 가진 에너지를 수입할 수 있다면 교역은 더욱 확대될 수 있다. 여기에 이들 나라들의 에너지 수출가능성이 우리의 관심사가 된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.73-75
• /
• 2001

최근 DNA 분자의 병렬성을 이용한 DNA 컴퓨팅 기법들이 활발히 개발되고 있다. 그러나, DNA 컴퓨팅은 실제 생체 분자인 DNA를 사용하기 때문에 생체분자의 화학적 성질에 의한 오류의 가능성을 항상 내포하고 있다. 이러한 문제를 극복하고자 오류의 가능성을 최소화시키는 방법들이 연구되고 있고, 특히 DNA 서열을 만들 때 오류의 가능성을 최소화시키는 방법들이 많이 연구되고 있다. 본 논문에는 현재 개발하고 있는 시스템인 NACST를 간단히 소개한 후, DNA 컴퓨팅에 사용할 DNA 서열을 생성하기 위해서 유전자 알고리즘을 사용하는 방법을 제안하며, 유전자 알고리즘을 이용하여 DNA 서열을 효율적으로 생성하기 위한 적합도 함수들에 대해서 구체적으로 살펴보았다.