• 정보기술과데이타베이스저널
• /
• 제4권1호
• /
• pp.31-50
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로써 대수 연산자의 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

• 대한수학교육학회지:학교수학
• /
• 제17권3호
• /
• pp.407-421
• /
• 2015

본 연구에서는 연립일차방정식에 대한 교사의 수학 전문성 신장을 위하여 연립일차방정식의 다양한 표현을 탐색하고, 그 해결 방법인 소거법의 의미를 분석했다. 연립일차방정식은 언어적 표현, 직사각형 표현, 방정식 표현, 직선(또는 그래프) 표현, 첨가행렬 표현, 행렬 표현, 일차결합(또는 벡터) 표현으로 나타낼 수 있다. 직사각형 표현은 계수가 자연수이고 해가 양인 값을 찾는데 유용하다. 직선 표현에서 기울기와 절편을 Cramer의 공식과 연결시켜 줄 수 있다. 한 미지수를 소거하는 것은 축이나 축에 평행한 직선의 방정식을 구하고, 그것을 사용하여 다른 축이나 축에 평행한 직선으로 바꾸는 것이다. 이런 점에서 가감법이라는 대수적 절차를 직선을 사용하여 시각적으로 이미지화할 수 있다. 일차방정식의 해법에서 사용하는 방정식의 일차결합은 직선족과 방향벡터로 바꾸어 생각할 수 있다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제10권
• /
• pp.505-517
• /
• 2000

수학 학습에서 컴퓨터와 계산기의 활용은 시각화의 강화로부터 직관력과 사고력의 향상을 가져왔다. 컴퓨터 대수체계(Computer Algebra System)가 탑재된 수학 학습용 컴퓨터 프로그램과 계산기가 활발히 사용되고 있으며, 교수매체로서의 활용은 지식 정보전달 체계와 학습자의 지식 구성방법에 새로운 패러다임을 형성하였다. 특히 수학학습용 그래픽 계산기(Graphing Calculator)는 휴대형(Hand-held Technology)으로 학습공간의 이동(Mobil Education)이 가능하며, 수학학습 전용기라는데 의미를 둘 수 있다. Symbolic Graphing Calculator를 활용한 수업에서 학습자는 계산기를 가지고, 기호연산 실행 조작을 통해 자신의 사고과정을 표현하고, Symbolic Graphing Calculator는 실행 조작에 즉각적으로 과정과 결과를 제공하며, 다른 표상과 상호작용을 함으로써 학습자 스스로의 규제가 강화된 과정을 통해 지식을 구성하게 된다. 이때 교사는 지식 정보전달 체계인 대화형 실행매체(IMTs)를 작성하여 학습자의 지식 형성에 안내자의 역할을 하게 된다. 이번 워크샵에서는 CASIO fx 2.0을 활용한 교실 수업모형을 그래프 표상과 연계한 방정식의 풀이과정을 통해 알아본다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.720-723
• /
• 2005

실시간 시스템의 기술 및 분석에 사용되는 정형적 방법 중에 시간 개념을 도입하고 시간 연산자를 추가한 프로세스 대수학들이 많이 발표되어지고 있다. 그 중에서도 ACSR은 동기적으로 발생하는 timed action과 비동기적으로 발생하는 event로 시스템을 기술하는 기법이다. timed action은 공유자원을 사용하면서 시간을 소모하는 과정을 나타내고, event는 프로세스 간의 동기화 과정을 기술한다. 실시간 시스템을 보다 효율적으로 표현하기 위하여 본 논문에서는 확률 개념이 추가된 PACSR을 정의한다. 또한 확장된 PACSR을 이용하여 자원할당시스템의 기술이 보다 효과적으로 이루어질 수 있음을 보이고자 한다.

• 한국지리정보학회지
• /
• 제12권1호
• /
• pp.64-72
• /
• 2009

등고선에서 생성된 DEM(digital elevation model)은 고도 간격에 따라 미지형 요소 표현에 절대적인 영향을 받기 때문에 미기복 지형이 잘 표현되지 않는 문제가 발생한다. 이를 보완하기 위해 지표피복에 고도정보를 입력하여 buffering과 지도대수 연산기법을 적용하며 미기복 지형을 복원하는 Landcover burning 기법을 개발하고자 하였다. 미지형복원과정은 등고선에서 일차 DEM 생성, 지표피복도 제작, 지표피복요소 중 미지형요소에 대한 buffering 기법에 의한 고도정보 복원, 피복인자에 대한 지도대수 연산을 통한 고도정보 입력에 의해 DEM을 복원하였다. 미지형복원은 하천지형을 중심으로 적용하였다. buffering에 의한 지형복원은 면적인(polygonal) 요소인 사력퇴, 습지에 대해서 지형형상이 오목 혹은 볼록 지형의 특성에 맞추어 일정간격의 등고선을 생성하여 지형을 복원한 후, 고도 정보를 입력하여 복원하였다. 선형적인 요소인 제방, 도로, 수로, 지류는 지도대수함수를 이용하여 지형을 복원할 수 있었다. 하상, 하안단구, 인공지물(농경지)과 같은 면적인 요소들은 평탄하기 때문에 일정한 고도값을 입력하여 지형면을 복원하였다. 연구결과는 단면도를 제작하여 원래의 DEM과 복원된 DEM의 지형표현 정도를 비교 분석하였다. 분석한 결과, 기존의 방법으로 제작된 DEM은 미지형적인 요소들이 거의 표현되지 않았다. 본 연구에서 개발된 방법은 습지, 사력퇴, 하천주변의 지형, 농경지, 제방, 하안단구, 인공지물 위치가 비교적 잘 표현되었다. 본 연구는 중소규모의 저기복 구릉대나 평야지대의 미지형분류와 분석, 하천 주변 미지형복원이 필요한 생태 및 환경분야 연구에 기여할 것으로 기대된다.

• 대한수학교육학회지:수학교육학연구
• /
• 제26권4호
• /
• pp.715-730
• /
• 2016

본 연구는 대수와 기하의 영역을 연결하여 기존의 틀을 새로운 관점에서 이해하고 선대의 수학자들이 해결하지 못한 문제를 다룰 수 있었던 Descartes의 관점을 분석하고 적용 가능한 교수학적 시사점을 찾는 것을 목적으로 하고 있다. 연구의 목적을 달성하기 위하여 대수와 기하의 수학적 연결성을 기반으로 하고 있는 해석기하학의 기본 원리와 전개 방식의 특징을 조명하였으며, 국내 외 교육과정 문서 및 선행 연구를 분석하여 해석기하학의 관점에서 방정식의 기하학적 해법이 갖는 의미를 고찰하였다. 이를 바탕으로 좌표평면에 표현된 도형들의 교점으로 방정식의 기하학적 해를 제시하면서 대수와 기하의 수학적 연결성에 관한 통찰의 기회를 제공할 수 있는 가능성에 대하여 논의하였으며, 두 원뿔곡선의 교점을 활용한 삼차방정식의 기하학적 해법을 탐색 단계, 해결 단계, 반성 단계의 일련의 과정으로 해석하고 이를 교수학적으로 활용할 수 있는 방법을 제시하였다.

• 응용통계연구
• /
• 제20권2호
• /
• pp.357-371
• /
• 2007

경쟁위험(competing risk) 하에서의 누적 발생함수(cumulative incidence function)는 일반적으로 비모수적 방법으로 추정된다. 그러나 관심 있는 원인에 의한 사건이 다른 원인에 의한 사건보다 상대적으로 적게 발생하는 경우에 비모수적 방법으로 추정된 누적발생함수는 이산성으로 인해 다소 정확하지 않게 된다. 이와 같은 경우에 Bryant와 Diagnam(2004)는 관심 있는 원인에 대한 원인특정적 위험함수(cause-specific hazard function)를 모수적으로 모형화하고 다른 원인에 의한 사건은 비모수적으로 추정하는 준모수적 방법을 제안했다. 본 연구에서는 준모수적 누적발생함수 추정량을 재표현하고 와이블분포모형과 대수 정규분포모형으로 확장하였다. 또한 대수 정규분포 원인특정적 위험모형일 경우 누적 발생함수에 대한 비모수적 추정량, 와이블분포 준모수적 추정량과 대수 정규분포 준모수적 추정량의 효율성을 비교하며 준모수적 추정량의 성능과 모형 오설정이 미치는 영향을 살펴보았다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제60권4호
• /
• pp.409-429
• /
• 2021

본 연구는 초등학교 6학년 학생들을 대상으로 대수적 사고를 강조하여 분수 나눗셈을 지도하는 방안을 분석한 것이다. 문헌 연구에서 도출한 교수·학습 요소를 중심으로 분수 나눗셈 수업을 재구성하고, 실제 수업에서 주요 교수·학습요소가 어떻게 구현되는지 그 양상을 분석하였다. 특히 본 논문에서는 나누는 수 1에 대응하는 나누어지는 수의 양을 구하는 문제 맥락을 중심으로 분석하였다. 이를 토대로 초등학교 분수 나눗셈 수업에서 대수적 사고를 강조하여 지도하는 방안에 관한 구체적인 시사점을 도출하였다.

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

전 세계적으로 중요한 담수 자원인 지하수의 미세플라스틱 오염에 대한 우려가 커지고 있다. 지하수 환경에서 미세플라스틱의 오염을 예측하고 평가하기 위해 대수층 내 현장 실태조사가 수행 중에 있으며, 실험실 규모의 컬럼 실험을 통해 지하수에서 미세플라스틱 이동 메커니즘을 조사하는 연구들이 수행되고 있다. 이러한 연구들은 많은 개수의 분석 시료를 동반하며, 환경 중 미세플라스틱 정량분석을 위해서 고가의 분석기기(라만분광기, 푸리에 변환 적외선(FTIR) 분광기, 열분해 가스크로마토그래피 질량분석기)를 사용하여 플라스틱의 종류를 판별하고 개수를 측정하고 있다. 또한, 컬럼 실험을 수행한 대부분의 선행 연구에서는 미세플라스틱 정량분석을 위해 탁도 분석, 분광광도계를 이용한 흡광도 분석, 현미경을 이용한 계수 방법 등을 이용하여 고가의 분석기기를 사용하지 않고 연구를 수행하였다. 하지만, 이러한 방법들은 유체 속 다른 물질이 포함되어있을 경우에 민감하고 농도를 비율 혹은 개수로 표현하기 때문에 질량 측면에서 미세플라스틱의 농도를 과소·과대 평가할 수 있다. 특히, 현미경을 이용한 계수 방법의 경우에는 분석에 많은 시간이 소요된다는 단점이 있다. 위에 언급한 다양한 분석법들의 단점들을 보완하기 위하여, 본 연구에서는 대수층 내 미세플라스틱 이동 특성을 규명하기 위한 실내 실험에 사용될 수 있는 형광이미지 기반의 미세플라스틱 정량분석법을 개발하였다. Nile Red 형광염료를 이용하여 미세플라스틱을 염색하고 사진을 촬영하여 미세플라스틱 시료의 질량과 미세플라스틱 형광이미지의 형광강도 간 상관관계를 분석하였다. 또한, Nile Red로 염색된 미세플라스틱 입자의 수중 노출 테스트를 진행하여, 실내 대수층 모의실험 시 미세플라스틱 질량을 정량화할 수 있는 적용 가능성을 평가하였다. 상관 분석 결과, 미세플라스틱 질량과 이미지의 형광강도는 높은 상관관계를 보였으며, 수중 노출 실험 전과 후의 미세플라스틱 입자의 형광강도 차이는 미미한 것으로 나타났다. 이러한 연구결과를 통해 본 연구에서 개발된 미세플라스틱 정량분석 방법이 포화 다공성 매체로 구성된 컬럼실험 시 유출수의 미세플라스틱 질량 추정에 유용하게 사용될 것으로 생각되며, 대수층 내 미세플라스틱의 이동 특성 규명 연구에 많은 도움이 될 것으로 기대된다.