• 물과 미래
• /
• 제17권4호
• /
• pp.303-310
• /
• 1984

대수층을 취급하는데 있어서 어려운 문제중에 하나는 수문학적인 변수의 공간적인 분포를 추정하는 것이다. 대수충에서 전달계수의 분포를 결정하기 위하여, 몇 개의 자료가 유용하다; 관측정 주변 전달계수의 극부적인 값, 간섭실험, 약간의 지질구조 지식, 이러한 자료들은 대수층을 나타내는데 적절히 활용되어야 한다. 주어진 자료들이 적절히 반영되도록 3가지 최적화 계산과정에 따라 전달계수 분포를 추정하였다; 제한된 pilot point에서 조정된 값과 기지점의 값을 기초로 하여 변수분포의 지질 통계적인 평가, 수치 모델에 의하여 산정된 값과 비교, 최소화 알고리즘에 의하여 pilot point 값의 수종, 대수층에 위의 방법을 적용해 본 결과 매우 유용함이 증명되었다.

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 1993년도 추계연구발표회 논문개요집
• /
• pp.56-57
• /
• 1993

• 월간낙농육우
• /
• 제26권4호통권288호
• /
• pp.146-149
• /
• 2006

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1998년도 학술발표회 논문집
• /
• pp.558-563
• /
• 1998

• 대한지질공학회:학술대회논문집
• /
• 대한지질공학회 2001년도 정기총회 및 학술발표회
• /
• pp.141-151
• /
• 2001

제주도 지하수는 크게 상위지하수와 기저지하수로 분류된다. 해수와 수동역학적 균형을 유지하고 있는 기저지하수의 수위분포도 작성을 위하여 지구 통계기법인 정규크리깅과 코크리깅을 적용하였다. 정규크리깅에는 대수변환된 기저지하수위 자료만을 이용하였으며, 코크리깅에는 대수변환된 표고와 기저지하수위의 자료를 이용하였다. 그 결과 코크리깅에 의한 지하수위등고선도가 지형적인 변화가 복잡한 지역에서 더 정밀한 지하수위 등고선도를 만들 수 있었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제31권3호
• /
• pp.241-255
• /
• 2017

스마트 교육 환경과 4차 산업 혁명 시대를 맞이하여 편리한 기능을 갖는 다양한 테크놀로지들을 활용하는 새로운 차원의 디지털 수학 교과서가 필요하게 되었다. 한국의 경우 초 중등 수학 교육에서는 여러 다양한 시도가 있었으나 대학 수학교육의 경우 디지털 수학 교과서 관련 연구는 미비하였다. 본 논문에서는 선형대수학을 중심으로 디지털 콘텐츠와 대화형 실습실을 활용하는 디지털 교과서를 소개한다. 본 교과서는 본 연구진이 직접 개발하여 누구나 http://matrix.skku.ac.kr/LA-K에서 다운로드 받을 수 있도록 제공하였으며, 기존의 종이 교과서(서책형)를 단순히 pdf 형태의 파일로 변환하여 애니메이션이나 참고자료 등을 추가한 수준에서 벗어나 전자책, 웹 콘텐츠, 강의 동영상, 대화형 실습실을 포함한다. 본 선형대수학 디지털 교과서는 학생들이 어떠한 모바일 기기에서든 시간과 장소의 제약 없이 자유롭게 사용할 수 있으며, 계산, 코딩 및 타이핑 과정에서 절약된 시간을 수학 개념을 더 깊이 이해하는데 사용할 수 있다. 코드를 포함한 대화형 실습실 및 동영상 강의를 탑재한 최초의 수학 디지털 교과서로 평가되는 본 연구의 결과물은 차세대 디지털 교과서의 주요 모델 중 하나가 될 것으로 판단된다.

• 정보처리학회지
• /
• 제11권2호
• /
• pp.42-47
• /
• 2004

현대 사회는 자동차가 필수이며, 현대인은 점점 더 자동차에서 보내는 시간이 늘어나고 있다. 자동차 보유 대수가 증가하면서 교통사고, 교통정체, 환경오염 등의 교통문제가 심각해지자 선진 각국에서는 대책 마련에 적극 나서고 있으며, 토로교통시설과 정보통신기술을 활용하여 교통안전을 도모하고 도로의 이용효율을 높일 수 있는 지능형 교통시스템의 구축과 지능형 자동차 사업을 국가 차원의 프로젝트로 전개하고 있다.(중략)

• 석유와에너지
• /
• 5호통권15호
• /
• pp.58-61
• /
• 1982

국내 최대인 일반 38만배럴의 정제시설을 자랑하는 호유, 그라나 현재의 불황은 가동률을 40%선에 멈추게 하고 있다. 또한 공장이 대수요지와 직결되지 않는 지리적 핸디캪도 있으나 호유는 이러한 애로를 알찬경영과 정제설비의 효율화로 커버하고 있다. 이공장은 폐열회수보일러와 함께 콤팩트 스타일의 동력절감형 공장배치로 경비절감형의 강점을 유감없이 발휘하고 있다.

• 정보보호학회논문지
• /
• 제1권1호
• /
• pp.91-96
• /
• 1991

리듀스드 이원이차형을 사용한 키 교환법이 소개되었다. 이는 실이차체의 클래스군 위에서의 이산대수문제의 어려움을 이용한 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.760-762
• /
• 2004

순수 함수형 프로그래밍 언어 Haskell에서의 데이터 추상은 대수 데이터형과 관련 함수로 묶어진 모듈의 인터페이스만을 노출함으로써 이루어진다. 이러한 데이터 추상에 대한 제한된 용법은 프로그램 설계에 있어 유용하게 사용되는 패턴 매칭을 제약하고, 파일 단위의 추상을 요구함으로써 데이터 구조 단위의 데이터 추상을 불가능하게 한다. 본 논문은 Haskell의 제한된 데이터 추상 문제를 해결하기 위한 방법으로 패키지 데이터형을 제안한다. 패키지 데이터형은 더 작은 단위로 데이터 추상을 가능하게 하고 패턴 매칭을 제악하지 않고 자유롭게 사용할 수 있게 한다.