• 한국수학교육학회지시리즈A:수학교육
• /
• 제42권5호
• /
• pp.595-606
• /
• 2003

In this paper we analyze the Russian national curriculum for training of mathematics teachers at universities published by Russian Ministry of Education. From the document we are able to know the structure of the curriculum, compulsory subjects, and minimum mathematical contents for training mathematics teachers at universities.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

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

자연유량이란 인위적 행위에 의한 하천의 유량 변화가 없는 개발되지 않은 상태의 하천유량을 말하며, 실제 유량을 측정하거나 관측자료를 활용한 장기유출모형을 통해 산정할 수 있다. 미계측 유역에 대한 강우-유출 모형 구축시, 무엇보다 실제 미계측유역에 적용시 나타날 수 있는 문제점을 최소화할 수 있는 방향으로 모형 개발이 이루어지는 것이 필요하다. 강우-유출 모형 매개변수의 수가 많아질수록 과적합(over-fitting)의 발생 소지가 증가하게 되며, 지역화 모형 구축시 불확실성을 더욱 가중시키게 된다. 이러한 이유로, 모형의 검정보다는 검증에 초점이 맞춰져 있어야 하며, 더불어 사용되는 강우-유출 모형의 매개변수가 적어야 한다. 본 연구에서는 대표 강우-유출모형의 선정시 여러 평가 기준 중 예측의 정확성 측면에서 통계적 지표를 통해 모형의 수행능력에 중점을 두었으며, 적은 개수의 매개변수를 갖음에도 불구하고 상대적 우수한 모의결과를 제공하는 GR4J(Ge'nie Rural a 4 parame tres Journalier)모형을 최적 유출모형으로 선정하여 댐 상류유역에 대한 자연유량 재현성능을 평가하였다. 최종적으로 강우-유출모형의 최적매개변수와 유역특성인자 사이의 상호연관성을 고려해 매개변수를 지역화하기 위하여, 본 연구에서는 두 가지 이상의 변량에 대한 상관성을 효과적으로 재현하는데 효과적이며, 자유로운 주변확률분포 선택과 결합확률분포의 추정이 용이한 장점이 있는 Copula 함수를 활용하였다. 제시된 방법론에 대한 적합성을 평가하기 위해 교차검증 관점에서 지역화된 매개변수의 적합성을 검토하였으며, 본 연구에서 도출된 결과는 유역특성에 따른 미계측유역의 자연유량 산정시 지역 매개변수를 강우-유출모형에 활용함으로써 신뢰성 있는 자연유량 산정 결과를 제공할 수 있을 것으로 판단된다.

• 경제분석
• /
• 제27권2호
• /
• pp.71-123
• /
• 2021

본 연구는 북한당국이 발표하는 지역별 토지가격이나 토지의 특성에 관한 자료들이 없는 조건에서 북한지역의 토지가격과 토지자산의 규모를 추정하는 방법론과 모형을 제시하고 이를 이용하여 북한 시가화지역 전체를 대상으로 시장가격 기준의 토지자산 규모를 실험적으로 추정하였다. 우선 관련 사회경제적 변수를 이용가능하면서 최근의 북한과 소득수준의 격차가 상대적으로 크지 않았던 것으로 평가되는 남한의 1970년대 중후반, 그리고 도시화 수준이 유사했던 1980년대 초반 남한의 시, 군, 구별 실거래가격을 기준으로 시가화지역 토지에 대한 지가결정함수를 도출하였다. 다음으로 북한지역에 대한 지리정보분석을 통해 도출되는 지가결정요인의 대리변수들을 대입하여 2015년경 북한 시가화지역 토지의 시, 군, 구역별 상대가격비율을 산출하였다. 더 나아가서 최근 북한지역 일부 도시들을 대상으로 조사된 주택거래가격과 본고에서 추정한 상대가격비율을 결합하여 북한전역을 대상으로 시가화지역의 토지자산 규모를 추정하였다. 추정결과 북한 시가화지역의 토지가격은 시, 군, 구역별 상대가격비율로 볼 때 평양시 동대원구역이 100으로 제일 높고 양강도 풍서군이 1.70으로 가장 낮은 것으로 평가되었다. 한편 시가화지역의 토지자산 규모는 2015년 기준 216억 달러로 추정되었는데, 이는 동년 북한GDP의 1.2~1.3배에 달하는 규모이다. 이 비율은 남한의 1978~1980년과 비슷한데, 해당시기의 남한의 경제성장률이 평균 6%인데 반해 북한은 1%대 수준인 것을 고려하면 상당히 높은 것으로 보인다.