• 한국정보처리학회논문지
• /
• 제6권2호
• /
• pp.335-346
• /
• 1999

프로그램을 디버깅하는 과정은 원래 사고력이 집중적으로 필요한 작업이다. 이 프로세스를 수행하는 프로그래머를 돕기 위해서는 지식기반의 도구를 개발하는 것이 적절하다고 생각된다. 이 논문은 그러한 시스템에 대한 설계를 발표하기 위한 것이다. 주로 정형적 프로그램 기술과 자동 프로그램 이해에 기반을 둔 대부분의 지식기반 디버깅 도구들과는 달리 이 도구는 디버깅 휴리스틱에 기반을 둔 것이다. 이 도구는 지식베이스에 저장된 디버깅 휴리스틱을 이용하여 프로그램을 디버깅하는 프로그래머에게 무엇을 그리고 어느 곳을 살펴봐야 하는지 제안만을 하는 보조 도구이다. 이 논문에서는 여러 가지 유용한 디버깅 휴리스틱이 설명되며 그것들의 디버깅 프로세스에서의 사용법이 기술된다. 그 다음에는 그 지식들을 지식베이스에서 체계화하는 방안과 그 지식을 이용한 프로그램 디버깅 보조도구를 제안하고 토의한다.

• 응용통계연구
• /
• 제5권2호
• /
• pp.193-209
• /
• 1992

정상조건에서 수명이 상당히 긴 두 개의 부품으로 구성된 직렬형 시스템의 생명검사(Life Test)를 현실적으로 수행하기 위하여 제안된 단계적 충격생명검사에 관하여 고찰하였다. 모형화 단계에서 우리는 특별히 시스템내에서 작동하는 두 부품의 수명을 나타내는 확률변수가 Block과 Basu(1974)에 의해서 제안된 이변량 지수분포를 따르는 경우를 논의하여, 이에 상응하는 충격누적에 관련된 기존모형을 변형 제안하였고, 직렬형 시스템내의 부품간 수명의 종속관계를 포함하는 정보와 부품의 독자적인 생명검사로부터 얻는 정보를 통합하는 모형을 제안하여 시스템내에서 갖는 부품의 분포에 관하여 논의하였다. 한편 자료분석 단계에서는 기본적으로 최대우도 추정법을 초기값의 설정방법을 중심으로 토의하고 모수의 근사 분산, 공분산의 구조를 이용하여 단순검사의 최적시점을 설정하는 방안을 제시하였다.

• 터널과지하공간
• /
• 제30권6호
• /
• pp.551-558
• /
• 2020

기존 시험법은 암석시편의 절리면 직접전단시험시 겉보기 면적의 변화를 고려해야 한다고 명시하고 있다. 본 기술보고는 암석코어 시편의 절리면 직접전단시험시 겉보기 면적 계산방법을 제시하였다. 암석코어 시편의 초기 절리면을 타원으로 가정하고, 타원의 중첩면적 감소를 계산하는 수식을 정리하였다. 전단변위와 겉보기 면적을 정규화하면 타원형상에 관계없이 일정한 변화 비율을 가지는 것을 확인하였다. 암석코어 시편 전단시험을 위한 정규화 실험상수를 제안하여 일반화된 계산방법을 제안하였다. 그 방법을 실제 전단시험의 데이터에 적용하여 결과 변화값을 확인하고, 정확도에 대해 간략히 토의하였다.

• 한국지반공학회논문집
• /
• 제26권5호
• /
• pp.27-36
• /
• 2010

본 연구에서는 동상성이 높은 대상 시료에 입경이 다른 3종의 폐타이어분말을 대상으로 서멀 프루브법을 이용하여 $-20^{\circ}C{\sim}+10^{\circ}C$의 온도변화에 따른 열전도율을 실측하는 것과 동시에 펄스형NMR장치를 이용하여 동토중의 부동수분량을 측정하였고 이를 온도함수로 나타내었다. 또한 열전도율 계산모델의 하나인 2상계모델을 발전시켜 3상계 동결토영역에 적용 가능한 새로운 모델을 제안하였다.

• 자원환경지질
• /
• 제45권1호
• /
• pp.59-68
• /
• 2012

신규 유전의 발견 감소와 개발도상국의 수요 증대가 지속됨에 따라 향후 오일 수요를 충족시키는데 증진회수 기술이 중요한 역할을 담당할 것으로 믿어진다. 이 연구에서는 전세계에서 최근에 연구된 자료를 바탕으로 석유회수증진기술 (EOR)에 대한 현재 시장 동향 및 기술 개발 방향에 대해 정리하였다. EOR 시장은 열공법, 가스 주입법, 화학 공법에 의한 오일 회수를 모두 포함하였다. 저류층의 암상, 위치, 심도, 두께와 오일의 성분 및 비중 등 EOR 기법의 현장적용 기준을 정리하였으며, 각종 EOR 기법의 적용사례를 저류층 특성과 실제 회수의 관점에서 토의하였다.

• Nuclear Engineering and Technology
• /
• 제5권2호
• /
• pp.137-149
• /
• 1973

중성자 방사화 및 방사능 계측에 관계하는 핵데타를 세밀히 연구검토하여 망간을 불순물로 함유하고 있는 철선을 단일비교체로 한 중성자 방사화분석법을 발전시켰다. 유효반응 단면적의 변화를 원자로 내부 스펙트럽의 열외 중성자의 비율과 같은 스펙트럼 지표 및 그 외 다른 변수의 함수로 검토하였으며 조사위치에서 중성자 스펙트럽의 변위로 생기는 오차를 토의하였다. 각원소의 이미 아는양을 취하여 단일비교체와 함께 조사한 다음 본법에 의해서 그 함량을 산출하여서 원래 취한 양과 비교하였다. 그 결과 우연오차는 일반적인 비교법으로 얻은 오차보다 크지 않았으나 계통적 오차는 대략 20%이내였다. 본법을 모나자이트 중에 함유된 14개 희토류 원소의 정량과 표준배추시료 중에 있는 다른 7개의 원소정량에 적용하였다. 그 결과 분석치는 만족할만한 재현성을 나타내었으며 종래의 비교법으로 얻을 수 있는 정도의 정착성으로 이들 원소를 분석할 수 있었다.

• 한국지반공학회논문집
• /
• 제16권1호
• /
• pp.227-234
• /
• 2000

Soilcrete는 도로포장과 연약지반개량공사에 널리 활용되고 있는 전통적인 재료이지만 내구성이 떨어지고 품질이 불균질하기 때문에 용도확대에 제약을 받아왔다. 그러나 최근 환경친화적인 수요가 증가하면서 공원의 산책로, 골프장의 보도 등에 고강도 소일크리트의 적용사례가 증가하고 있다 본 연구의 목적은 포졸란 시멘트를 이용한 고강도 소일크리트에 대해서 통계적인 실험계획법을 적용하여 참고 배합설계를 실시하고자 하였다. 시험토질은 국내 현장에서 흔히 볼 수 있는 점토를 대상으로 하였으며, 연구결과 압축강도$50~150kg/cm^2$수준의 고강도 소일크리트에 대한 실용적인 참고 배합표를 제안할 수 있었다.

• 한국지반공학회논문집
• /
• 제19권6호
• /
• pp.299-306
• /
• 2003

준설토지반은 보통 연약지반에 비해 상당히 큰 압밀침하가 발생하기 때문에 압밀과정 중 층 두께의 변화가 크다. Mikasa는 층 두께의 변화를 고려하는 더욱 합리적인 압밀계산법을 연구 발표하였으나 아직 국내 현장에서 많이 활용되고 있지 않은 실정이다. 본 연구에서는 100%, 120%, 133%, 150%의 함수비를 갖는 준설토 지반에 대해 Rowe cell 압밀시험기를 이용한 시험을 수행하여 준설토의 압밀특성을 분석하였으며, 층 두께의 변화를 고려하지 않는 경우와 층 두께의 변화를 고려하는 경우 각각 압밀계수를 구하여 비교하였다. 또한 실제 현장 예를 상정하여 압밀기간을 구하여 보았는데, 그 결과 압밀기간은 층 두께의 변화를 고려한 Mikasa 이론의 경우가 그렇지 않은 Terzaghi이론의 경우보다 짧게 산정되었다. 그리고, 더욱 정확한 결과를 주는 Mikasa이론이 실용적으로 이용될 수 있도록 압밀계산법에 대해 자세히 언급하였다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제19권3호
• /
• pp.104-112
• /
• 2015

본 논문에서는 비접촉 표면파 측정을 이용하여 콘크리트 슬래브에 발생한 표면균열의 깊이를 측정하기 위한 비파괴 검사법을 연구하였다. 이를 위하여 표면파 측정, 해석 및 균열 깊이 평가의 과정을 포함한 새로운 측정모델을 제안하였다. 먼저, 3차원 유한요소해석 모델을 이용하여 표면파의 에너지와 콘크리트 균열의 깊이의 상관관계를 표현하는 표면파 전달함수를 구하였다. 제안된 측정모델은 실험을 통하여 증명하였다. 한 쌍의 비접촉 센서를 이용하여 깊이 0~100mm의 10개의 표면균열을 포함한 콘크리트 슬래브 ($1500{\times}1500{\times}180mm^3$)을 통과하여 전달되는 표면파를 측정하였다. 측정모델은 콘크리트 균열 깊이에 대하여 약 최대 10%의 오차를 보이며 실제 깊이를 예측하는 것으로 나타났다. 비접촉 표면파 측정을 통하여 얻은 결과는 기존의 TOFD에 바탕을 둔 초음파법에서 얻은 결과보다 향상된 정확도를 보이는 것으로 나타났다. 특히 비접촉 센서의 특성상 매우 향상된 측정 속도 및 측정값의 일관성을 얻을 수 있었다. 본 연구에서는 모델의 실제구조물에 적용성에 관한 토의를 포함하고 있다.

• 한국수자원학회논문집
• /
• 제31권5호
• /
• pp.599-612
• /
• 1998

수송방정식의 양면적은 특성으로 인하여 이송항이 지배적인 흐름에 있어서 수송방정식의 수채해석은 매우 난해하다. 특히 유한요소법을 사용하여 수치해석할 때, 상류방향으로 더 많은 가중치를 두기 위하여 변화된 시행함수를 사용한다. 이러한 방법을 Petrov-Galerkin 방법이라고 한다. 본 논문에서는 N+1 과 N+2 Petrov-Galerkin 방법을 격자 Peclet 수가 큰 수송문제에 적용하였다. 주파수맞춤 기법을 사용하여 N+2 Petrov- Galerkin 방법을 격자 Peclet 수가 큰 소송문제에 적용하였다. 주파수맞춤 기법을 사용하여 N+2 Petrov-Galerkin 방법의 적정 풍상정도를 찾아내었고, 그 결과를 토의하였다. 이 기법의 시행함수는 이송항과 확산항의 상대적 크기에 따라 그 모양이 변화된다. 수치실험을 통하여 제시된 새로운 수치해석기법의 우수성을 설명하였다.