• 논리연구
• /
• 제23권1호
• /
• pp.1-23
• /
• 2020

이 글에서 우리는 좌, 우 n-멱등 공리를 갖는 미아놈에 기반한 논리를 다룬다. 이를 위하여 먼저 미아놈에 바탕을 둔 좌, 우 n-멱등 공리를 갖는 논리 체계 P^r_nMIAL, P^l_nMIAL을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. 마지막으로 이를 고정점을 갖는 누승적 확장에 대한 연구로 확대한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2016년도 제28회 한글 및 한국어 정보처리 학술대회
• /
• pp.33-38
• /
• 2016

수사구조는 텍스트의 각 구성 성분이 맺고 있는 관계를 의미하며, 필자의 의도는 논리적인 구조를 통해서 독자에게 더 잘 전달될 수 있다. 따라서 독자의 인지적 효과를 극대화할 수 있도록 수사구조를 고려하여 단락과 문장 구조를 구성하는 것이 필요하다. 그럼에도 불구하고 지금까지 수사구조에 기초한 한국어 분류체계를 만들거나 주석 코퍼스를 설계하려는 시도가 없었다. 본 연구에서는 기존 수사구조 이론을 기반으로, 한국어 보도문 형식에 적합한 30개 유형의 분류체계를 정제하고 최소 담화 단위별로 태깅한 코퍼스를 구축하였다. 또한 구축한 코퍼스를 토대로 중심문장을 비롯한 문장 구조의 특징과 분포 비율, 신문기사의 장르적 특성 등을 살펴봄으로써 텍스트에서 응집성의 실현 양상과 구문상의 특징을 확인하였다. 본 연구는 한국어 담화 구문에 적합한 수사구조 분류체계를 설계하고 이를 이용한 주석 코퍼스를 최초로 구축하였다는 점에서 의의를 갖는다.

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

인도네시아는 수자원을 관리하는 기관이 총 9개 부처이지만 지역 단위로 가면 각각의 에이전시가 존재하는 등 복잡한 이해관계가 얽혀 있어 효율적인 수자원 관리 및 운영 기술에 많은 어려움이 있다. 이에 인도네시아 국립 수자원연구소(PusAir, Puslitbang Sumber Daya Air)와 공동으로 Cisangkuy 유역 내 다양한 시설물의 연계운영 효과를 분석하여, 한정된 수자원을 다양한 수요처에 원활히 공급함으로써, 지역민과 관리기관간의 이해관계를 해소하고 최적의 수자원 활용방안들에 대한 연구를 수행하고 있다. 본 연구에서는 Cisangkuy 유역 내 Cisangkuy 강 상류부의 기존 수력 댐 운영과 상수량 증대를 위해 계획 중인 신규댐에서의 추가용수 공급을 고려한 연계운영 효과분석을 수행하여 수자원의 효율적인 활용을 위한 기초자료를 제시하고자 한다. Cisangkuy 유역에 대하여 현재 용수체계에 대한 모형의 적정성 검토를 수행하였으며, 기존 수력댐 저수지 시스템 운영효율에 대하여 물수지분석을 검토한 결과, 현 운영체계보다 최적 운영시 수력발전소 발전용량이 증가되는 것으로 검토되었다. 이와 같은 모형 구축자료는 현재 Cisangkuy 유역에 대하여 체계적인 운영방안이 없는 상태에서 대상유역 내 다양한 시설물 연계운영효과 도출을 위한 자료가 될 수 있으며, 국내 연구진들이 향후 인도네시아 수자원활용 계획 수립 시 기초자료 활용측면에서 유용할 것으로 예상된다.

• The Korean Journal of Ecology
• /
• 제23권3호
• /
• pp.193-199
• /
• 2000

우리나라의 해안사구에 분포하고 있는 해안임연군락의 분포특성에 관한 연구가 수행되었다. 본 연구는 전추정법에 의해 이미 추출된 우리나라 해안임연군락의 단위식생 및 식물사회학적 체계를 토대로 이루어졌으며, 분류된 각 단위식생들에 대한 분포특성 분석은 각 단위식생으로 합성된 조사구의 위도와 온도를 이용하여 수행되었다. 우리나라 해안임연군락의 분포는 해당화군락, 순비기나무군락, 순비기나무-해란초군집, 순비기나무-돌가시나무군집 및 순비기나무-띠군집의 순으로 북쪽에서 남쪽으로 분포하고 있으며, 각 단위식생들의 연속 분포와 중첩 분포의 경향성이 인정되었다. 그리고 한반도의 해안임연군락에 대한 분포유형 결정은 일본, 북한 및 중국의 해안임연식생에 대한 식생학적, 지리적 및 생물기후학적 정보가 필수적인 것으로 판단되었다.

• 대한전자공학회논문지TC
• /
• 제49권2호
• /
• pp.56-66
• /
• 2012

단위 셀의 길이를 고정시키고 단위 셀의 폭과 via를 변화시켜 수평방향 방사가 억제되고 전방방향 방사가 증가하여 방사특성이 향상되는 inductive loaded 패치 안테나에 대하여 연구하였다. Inductive loaded 전송선을 구성하는 단위 셀의 구조 파라미터인 via 반경과 단위 셀 패치의 면적에 따라 분산 특성을 살펴보았다. 수평방향의 방사를 억제시키기 위해 inductive loaded 패치 안테나의 유효유전상수를 1과 가깝게 만드는 via의 반경과 단위 셀 패치의 폭을 결정하는 방법을 체계적으로 설명하였다. 5 GHz에서 동작하는 $5{\times}1$ inductive loaded 패치 안테나를 설계하여 방사특성을 전산모의한 결과 유효유전상수가 1보다 다소작을 때 E-평면 방향 수평 방사가 약 -15 dBi 이하로 크게 억제됨을 확인하였다.

• 대한수학교육학회지:학교수학
• /
• 제14권2호
• /
• pp.191-212
• /
• 2012

학생들의 산술 활동 (수의 사칙연산) 학습에 관한 연구 중 분수량을 포함한 나눗셈 문제의 해결을 위한 자연수 지식의 활용을 상세히 다룬 연구가 매우 부족한 실정이다. 교수실험이 연구방법으로 사용된 본 정성연구에서는, 일년간 행해진 교수실험 중 일부 자료의 분석을 바탕으로 다양한 포함제 분수나눗셈 상황을 해결하기 위해 어떻게 자연수 나눗셈의 기본이 되는 단위분할 도식을 수정, 구성해 나갈 수 있는지에 대한 가능한 발달 경로(나머지가 있는 단위분할 도식, 분수 단위분할 도식)를 제시하고 있다. 따라서 본 연구는 다른 수 체계(자연수, 분수)에서 같은 종류의 연산(나눗셈)에 대한 조작적 연결성을 고찰함으로써 현재 학생들이 가지고 있는 수 연산에 관한 분절적 이해를 올바르게 지도할 수 있는 방안을 제시한다.

• 한국수자원학회논문집
• /
• 제43권4호
• /
• pp.399-408
• /
• 2010

본 연구에서는 지형학적 분산을 고려한 특성유속에 따른 Nash 모형 매개변수의 민감도 분석을 실시하였다. 또한 이러한 특성유속의 변동에 따른 순간단위도의 형상의 변화를 수치실험을 통해 비교 분석하였다. 대상유역은 보청천 유역 중 본류에 위치하고 있는 4개의 소유역을 선정하였다. 각 대상유역에 대해 지리정보체계를 이용하여 지표면과 하천의 배수경로길이에 대한 평균과 분산을 산정하였다. 산정된 배수경로길이와 특성유속에 의한 Nash 모형 매개변수를 추정하였다. 추정된 매개변수에 의해 순간단위도를 유도하여 형상의 변화를 비교하였다. 이러한 연구를 통해 도출된 주요 결과는 다음과 같다. Nash 모형 매개변수는 지표면 특성유속에 민감하게 반응함을 알 수 있었다. 또한 순간단위도의 감수부의 형상과 첨두유량은 지표면 특성유속에 지배적인 영향을 받으며, 순간단위도의 상승부의 형상과 첨두시간은 하천 특성유속에 지배적인 영향을 받음을 알 수 있었다.

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

우리나라는 지역별 및 유역별로 강수량의 편차가 심하고 홍수기에 강수량이 편중되어 내리는 특징을 가지고 있다. 최근 몇 년간 발생한 이상기후에 의해 연평균 강수량이 크게 감소하였고 이는 겨울철에서 봄까지 용수이용에 많은 어려움을 주었다. 연중 안정적으로 물을 공급하기 위해서는 대량의 물을 저장할 수 있는 대규모 저수시설이 필요하지만 사회 환경적인 이견대립으로 이를 실행하기란 쉽지 않다. 따라서 구조적인 대책이전에 지역 및 유역의 특성을 고려한 실행단위의 수자원계획 수립과 평가할 수 있는 기반이 요구된다. 현재 국가 수자원의 안정적인 확보와 하천의 효율적 이용 개발 및 보전을 목적으로 수립되고 있는 수자원장기종합계획은 국가의 수자원정책을 반영하고 있으나 하천의 건천화, 수질부문에 대한 검토가 미비하고 수자원과 관련된 하위단위의 실행계획과 연계가 미흡한 실정이다. 국외의 수자원관리는 안정적이고 효율적인 수자원관리를 위해 통합관리체계를 도입하고 있으며 이에 하위관리단위인 유역단위에서 물과 관련된 많은 부분을 고려하여 통합관리를 위한 지침을 마련하고 있다. 지속적이고 안정적인 수자원 확보와 효율적인 이용을 위해 수자원 관리정책과 제도적인 틀을 마련하여 국가 및 지역의 수자원개발 및 이용계획을 지원하고 있다. 이러한 변화는 지금의 수자원이 미래에 사회 경제적으로 상당히 중요한 가치를 가진다는 것을 의미한다. 본 연구에서는 국내의 기 수립된 수자원계획과 국외의 수자원정책적인 부분을 살피고 국가차원의 수자원 관리를 지원할 수 있는 지역(유역관리)단위 계획수립과 이를 지속적으로 이끌어 갈 수 있는 중앙 정부, 지방정부, 시민단체 등과 같은 지역거버넌스의 협력적 관계조성을 기반으로 세부적인 부분에서 출발하는 수자원관리계획에 대한 필요성을 제시하였다.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2004년도 하계학술대회
• /
• pp.696-704
• /
• 2004

제7차 교육과정의 시행과 더불어 정부와 민간에서 모든 교과의 교수 학습에서 ICT를 활용할 수 있는 디지털 컨텐트를 다양하게 만들어 서비스하고 있으나 일관된 계획이나 표준안이 없이 필요에 따라 자료를 분류하여 만들어지다 보니 단위 수업 시간에 직접 투입하기에는 알맞은 자료를 검색하여 재가공을 하여 활용하거나 여과 없이 사용하게 되는 문제점이 제기되고 있다. 따라서, 본 연구에서는 단위 수업 중 자료투입시기를 분석하여 초등학교 교육환경에 필요한 메타데이터 요소를 탐색하고 메타데이터 요소를 추출하여 국제적인 메타데이터 표준인 DC Core Education 의 메타데이터 표준안을 기반으로 하는 멀티미디어 교육자료 검색 및 활용을 위한 베타데이터 요소를 추가 하였다. 초등교육 현장에서 생성되는 다양한 멀티미디어 교육 자료와 원상에 존재한 양질의 교육 정보 자원들을 일반적인 수업 흐름인 도입, 전개, 정리의 메타데이터 요소를 추가하여 통합검색과 체계적인 인터페이스를 제할 수 있는 기반을 마련함으로써 초등학교 교사가 쉽고 편리하게 단위 수업에 유용한 것을 찾아내고 수업에 투입할 수 있을 것이며 향후 교수학습 자료를 수업에 직접 필요한 형태로 분류하여 제공하여 효율적인 교수 학습 자료를 공유하게 함으로써 ICT활용 수업에 실제적인 도움을 줄 수 있을 것으로 기대된다.

• 컴퓨터교육학회논문지
• /
• 제5권2호
• /
• pp.39-48
• /
• 2002

지능형 컴퓨터 보조교육(ICAI : Intelligent Computer Assisted Instruction) 시스템은 전문가 모듈, 교사 모듈, 학습자 모듈, 정숙 모듈 등의 4가지 모듈로 구성하는 것이 일반적이다. 각 모듈 구성에 있어 교과 내용과 평가 문제, 평가 결과와 진단, 진단 결과에 따른 처방 등의 관련 전략을 효율적이고 체계적으로 제어하기 위한 규칙이 필요하다. 이를 위해 교과 과정을 일정한 단위로 구분하는 방법을 제시하였다. 또한 구분 된 단위간에 연관성을 부여하고 이를 참고로 학습 진행과 평가, 진단, 처방의 모든 과정에 적용할 수 있도록 하였다. 구분된 단위(개념)와 연관성(관계)을 그래프 형식으로 나타내는 방법을 제안하였다. 또한, 이 개념을 적용하여 인터넷 상에서 여러 전문가가 협력하여 동시에 코스웨어를 구축할 수 있는 환경을 지원하는 인터넷 기반의 코스웨어 저작 도구를 구현하였다.