지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 오순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 막장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방범이 고려되지 않았다. 최근에 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분야가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 정의하였다.
본 논문에서는 대규모 송전계통의 확률론적 공급신뢰도 평가 프로그램인 TRELSS를 이용하여 우리나라 전력계통에의 적용가능성을 검증하고, 2006년${\sim}$2013년 및 2017년 첨두부하 계통에 대한 공급신뢰도를 확률론적으로 평가 분석함으로써 미래의 선진국형 계획기법으로의 도약을 모색하고자 하였다. 분석결과, 시기적절한 계통보강으로 연차별 공급지장발생확률(LOLP) 및 공급지장전력량(EUE)이 감소하는 경향을 보였으나, 효율적인 설비투자 및 계통계획의 일관성 유지로 공급신뢰도 지수의 연도별 편차는 상대적으로 크지 않았다. 향후 보다 정확한 공급신뢰도 평가지수를 확보하기 위하여 송전선로별 고장발생건수, 평균 고장지속 시간 등과 같은 상세 송전선로 고장발생확률 Data의 확보방안을 강구할 예정이며, 사용자 편리를 고려한 TRELSS 프로그램의 수정 및 보완도 지속적으로 추진할 예정이다.
소프트웨어의 개발 방법은 환경의 변화에 따라 계속해서 발전되었다. 구조적 방법론, 정보공학 방법론 그리고 객체지향 방법론이 이런 변화의 큰 흐름이다. 각 방법론은 특징과 장점이 있고, 적용되는 분야가 다르다. 실무를 수행하는 엔지니어들은 각 방법론을 적용하는 것은 익숙하지만, 구조적 방법론이나 정보공학 방법론을 통합하여 적용하는 것에 익숙하지 않다. 그래서 방법론이 가지는 효과를 최대한 얻을 수 없다. 이런 점에 착안하여 각 방법론의 적용 대상에 대해 구조적 방법론, 정보공학 방법론을 통합하여 적용하는 방법에 대한 것을 정리하고 사례를 제시하고자 한다.
최근 10 여년 동안 교육 현장의 각 부분에 여러 가지 종류의 테크놀로지가 도입되면서, 교육의 내용과 방법에 있어서 점진적인 변화가 나타나고 있다. 예를들어, 수학 과목에 있어서는 그래픽 계산기, 도형 및 기하 학습 프로그램, 스프레드 시트, 함수 그래픽 프로그램 등의 도입으로 교과 과정 전반에 걸친 변화가 일고 있는데, 처음에는 이들 테크놀로지가 단순히 기존의 수업에서 수많은 반복을 요하거나, 지필식 방식으로는 정확하게 나타내기 어려운 도형이나 그래프를 빠르고 정확하게 그려내주는 보조수단으로 사용되었지만, 시간이 지나면서 이들 테크놀로지에 대한 활용도가 높아지게 되고, 이들 테크놀로지에 대한 교사들의 활용능력이 증대됨에 다라서, 이러한 테크놀로지가 단순한 보조수단에 머무르지 않고 주지에 기술이나 개념을 설명하는 방법 자체를 변화시키고 있다. 예를들어, 함수 교육에 있어서 그래픽 프로그램이 사용될 때에도, 초기 단계에서는 이들 함수의 개념을 설명할 때에는 거의 집합론이나 대수학적인 방법을 이용하였고, 최종 단계로 이들 함수를 좌표계 위에 표현하기 위한 보조수단으로 잠깐씩 사용되는 경우가 대부분이었으나, 최근들어서는 함수 학습의 초기과정부터 곧바로 이들 그래프 프로그램을 적극적으로 도입하여 학습자로 하여금 다양한 그래프 조작을 하게 함으로써, 어려운 집합론이나 대수학적인 개념을 도입하지 않고서도 함수에 대한 개념을 시각적으로 직관적으로 파악하도록 하는 학습 방안들이 제시되고 있는 것이다. 본 고에서는 현행 중고등학교 함수 교육 과정에서 그래프에 대한 다양한 조작 기능을 제공함으로써 학습자로 하여금, 제시되는 함수에 대한 시각적이고 직관적인 이미지를 가질 수 있도록 하기 위해서 개발된 ‘그래프 마법사’라는 프로그램을 소개하고자 한다.
한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
/
pp.1-16
/
1998
본 논문에서는 객체지향개념을 도입한 시뮬레이션, 즉 객체지향시뮬레이션(Object-Oriented Simulation)에 대하여 살펴보았다. 기존의 시뮬레이션언어가 가지고 있는 한계점을 통하여 객체지향시뮬레이션의 필요성과 장점에 대하여 알아보았다. 객체지향프로그램인 Smalltalk를 이용해서 객체지향시뮬레이션의 모델링 방법론에 대해서 논의하였으며, 향후 이 방법론을 적용하여 객체지향 시뮬레이터 개발을 하고자 한다.
ARM 프로세서는 이동 단말기의 표준으로 채택된 32 비트 범용 마이크로프로세서이다. 이동 단말기 내에서 ARM 프로세서는 실시간 운영체제 커널과 운영체제 그리고 API 로 구성되며 소형의 단말기에서 응용 프로그램을 운용하기 위해서는 ROM 에 응용 프로그램을 상주시켜 실행시켜야 한다. 이러한 ROM 상주를 위해서는 ROM 영역에 적재하기 위한 메모리 구성이 중요하다. 본 논문은 메모리 구성을 위한 메모리 이미지의 형성과 메모리의 맵을 통한 ROM 상주 프로그램의 적재 그리고 시스템 초기화를 통해서 응용 프로그램의 수행을 보장하는 방법론에 대해 분석한다.
최근 건설 정보 통합 모델에 설계 요소를 반영하는 개념이 발표되고, 4D CAD 시스템을 이용한 정보 통합에 대한 연구들이 수행되었으며, 현재까지 그 활용분야를 넓히고 있다. 하지만, 이러한 형태의 정보통합은 특정 응용 프로그램을 중심으로 이루어지기 때문에 각 조직만의 독특한 내용적 특성을 반영할 수 없으며, 기존의 프로그램과 다른 새로운 프로그램의 도입 및 개발에 따른 유지, 보수 비용을 요구하는 등의 단점이 있다. 본 연구에서는 이러한 문제들을 해결하기 위하여 정보통합을 위한 새로운 접근 방법으로써 '프로덕트 모델 중심의 설계, 시공 정보 통합 방법론'을 제시하고 이에 대한 비교 평가를 위하여 기존의 방법론에 대한 선행 연구를 수행하였다. 이를 위하여 현재 설계, 공정 정보의 통합을 위하여 널리 사용되고 있는 4D CAD 개념을 조사, 분석하였다. 연구 분석 결과 기존의 통합 방법론은 여러가지 장점이 있었지만, 전체 건설사업의 생애주기 중 후반부에 통합이 이루어지기 때문에 정보 활용의 기회가 적으며, 후속단계에서 원시정보의 활용이 미흡하고, 통합 정보의 활용 범위가 상용프로그램이 제공하는 기능으로 제한되고, 3차원 프로덕트 모델에 대한 관리가 곤란하였다. 이러한 단점을 해결하기 위한 설계, 시공 정보의 통합을 위한 새로운 방법론을 제시하였다. 제안된 방법론은 '일관된 객체 기반의 그래픽 모델링', '이질적인 프로덕트 정보들의 저장', '프로덕트 모델을 활용한 정보의 생성, 통합', '확장된 프로덕트 모델의 관리' 등의 4 부분으로 나누어서 제안하였으며, 마지막으로 이들에 대한 활용 개념을 기존의 업무에서의 활용과 새롭게 보충되는 업무에서의 활용으로 나누어서 제안하였다. 6장에서는 본 논문의 전체적인 요약과 후속 연구 주제들과 이를 위한 제안을 하였다. 본 연구를 통해서 특정 응용프로그램 중심의 통합이 아닌 프로덕트 모델 중심의 설계, 시공정보 통합을 위한 새로운 통합 방법론을 제시하였으며, 본 방법론을 통해서 실제로 사용하고 있는 프로그램들을 활용하면서, 각 조직의 환경에 적합한 정보 통합을 통해 건설 생산성 향상을 기대할 수 있게 되었다.
본 논문에서는 대표적인 문화콘텐츠인 게임 등과 같은 프로그램, 자연어 다큐멘트 문화콘텐츠 그리고 중요한 오프라인 문화콘텐츠인 문화예술품에 대해 이를 디지털화하여 표절과 위작 여부 등을 판정하기 위한 기술적 방법론에 대한 고찰과 이를 지원하기 위한 새로운 방법론을 제안하고자 한다. 이를 위해 프로그램 소스 코드, 자연어 다큐멘트 문화콘텐츠에 대한 표절 검출 방법론과 이의 감정 시 도움을 주기 위한 툴 등에 대해 살펴보고자 한다. 끝으로 문화예술품의 표절 및 위작 감정 시 도움을 주기 위한 기술적 방법론을 작자의 드로잉 형태 분석에 의해 제안하고자 하며 실험에 의해 본 논문의 유용성을 입증하고자 한다.
이 연구는 가설-연역적 방법론에 따른 수업 모형의 개발과 그에 따라 고안된 수업 프로그램의 현장 적용이 창의적 사고, 비판적 사고 및 과학적 태도에 어떠한 영향을 미치는지 알아보기 위한 목적으로 실시되었다. 먼저, 가설-연역적 방법론에 따른 수업 모형을 개발하였고, 개발한 모형을 직접 활용할 수 있도록 수업 프로그램을 고안하여 학교 현장에 적용하였다. 연구 결과 수업 프로그램의 적용은 창의적 사고력 및 비판적 사고력을 향상시키는 것으로 나타났다. 또한 가설-연역적 수업 프로그램은 과학적 태도에 긍정적인 영향을 주는 것으로 나타났다. 끝으로 수업 프로그램에 참여한 학생들을 대상으로 가설-연역적 수업 프로그램에 대한 의견을 설문 조사한 결과, 학생들은 수업 프로그램을 진행하는 과정에서 과학적인 생각, 새로운 생각, 비판적인 생각을 계속 해야 하는 것에 어려움을 느끼고 부담스러워했으나, 수업 프로그램이 종료된 후에는 스스로 생각하는 능력이 생겼다고 진술하였다.
본 논문에서는 기존 FCM(Fuzzy C-Means) 타입 클러스터링 알고리즘의 선은 향상을 위한 설계 방법을 제시한다. 우선 클러스터의 응집성(compactness)과 분리성(separation)을 동시에 고려한 성능 지수를 정의하고, 이를 진화 프로그램을 통하여 최적화 한다. 또한 실험을 통하여 기존 연구들과의 비교 및 제안된 방법론의 유효성을 보인다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.