• 제목/요약/키워드: 론 프로그램

검색결과 974건 처리시간 0.028초

우선순위 디폴트 규칙 시스템의 의미론 (Semantics of Prioritized Default Rule System)

  • 유희준;배민오;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
    • /
    • pp.241-243
    • /
    • 2003
  • 지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 오순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 막장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방범이 고려되지 않았다. 최근에 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분야가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 정의하였다.

  • PDF

TRELSS를 이용한 한전계통의 확률론적 공급신뢰도 평가 및 분석 (A Study on Probabilistic Reliability Evaluation of KEPCO System Using TRELSS)

  • 한경남;이종순;김호표;전동훈;김건중
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
    • /
    • pp.42-43
    • /
    • 2006
  • 본 논문에서는 대규모 송전계통의 확률론적 공급신뢰도 평가 프로그램인 TRELSS를 이용하여 우리나라 전력계통에의 적용가능성을 검증하고, 2006년${\sim}$2013년 및 2017년 첨두부하 계통에 대한 공급신뢰도를 확률론적으로 평가 분석함으로써 미래의 선진국형 계획기법으로의 도약을 모색하고자 하였다. 분석결과, 시기적절한 계통보강으로 연차별 공급지장발생확률(LOLP) 및 공급지장전력량(EUE)이 감소하는 경향을 보였으나, 효율적인 설비투자 및 계통계획의 일관성 유지로 공급신뢰도 지수의 연도별 편차는 상대적으로 크지 않았다. 향후 보다 정확한 공급신뢰도 평가지수를 확보하기 위하여 송전선로별 고장발생건수, 평균 고장지속 시간 등과 같은 상세 송전선로 고장발생확률 Data의 확보방안을 강구할 예정이며, 사용자 편리를 고려한 TRELSS 프로그램의 수정 및 보완도 지속적으로 추진할 예정이다.

  • PDF

구조적 방법론과 정보공학 방법론을 통합하는 프로그램 개발 과정 가이드와 사례 (Program Development Process Guide and Examples that Integrate Structural and Information Engineering Methodologies)

  • 조민호
    • 한국전자통신학회논문지
    • /
    • 제19권2호
    • /
    • pp.403-408
    • /
    • 2024
  • 소프트웨어의 개발 방법은 환경의 변화에 따라 계속해서 발전되었다. 구조적 방법론, 정보공학 방법론 그리고 객체지향 방법론이 이런 변화의 큰 흐름이다. 각 방법론은 특징과 장점이 있고, 적용되는 분야가 다르다. 실무를 수행하는 엔지니어들은 각 방법론을 적용하는 것은 익숙하지만, 구조적 방법론이나 정보공학 방법론을 통합하여 적용하는 것에 익숙하지 않다. 그래서 방법론이 가지는 효과를 최대한 얻을 수 없다. 이런 점에 착안하여 각 방법론의 적용 대상에 대해 구조적 방법론, 정보공학 방법론을 통합하여 적용하는 방법에 대한 것을 정리하고 사례를 제시하고자 한다.

그래프 마법사와 함수교육

  • 류재구
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제10권
    • /
    • pp.519-528
    • /
    • 2000
  • 최근 10 여년 동안 교육 현장의 각 부분에 여러 가지 종류의 테크놀로지가 도입되면서, 교육의 내용과 방법에 있어서 점진적인 변화가 나타나고 있다. 예를들어, 수학 과목에 있어서는 그래픽 계산기, 도형 및 기하 학습 프로그램, 스프레드 시트, 함수 그래픽 프로그램 등의 도입으로 교과 과정 전반에 걸친 변화가 일고 있는데, 처음에는 이들 테크놀로지가 단순히 기존의 수업에서 수많은 반복을 요하거나, 지필식 방식으로는 정확하게 나타내기 어려운 도형이나 그래프를 빠르고 정확하게 그려내주는 보조수단으로 사용되었지만, 시간이 지나면서 이들 테크놀로지에 대한 활용도가 높아지게 되고, 이들 테크놀로지에 대한 교사들의 활용능력이 증대됨에 다라서, 이러한 테크놀로지가 단순한 보조수단에 머무르지 않고 주지에 기술이나 개념을 설명하는 방법 자체를 변화시키고 있다. 예를들어, 함수 교육에 있어서 그래픽 프로그램이 사용될 때에도, 초기 단계에서는 이들 함수의 개념을 설명할 때에는 거의 집합론이나 대수학적인 방법을 이용하였고, 최종 단계로 이들 함수를 좌표계 위에 표현하기 위한 보조수단으로 잠깐씩 사용되는 경우가 대부분이었으나, 최근들어서는 함수 학습의 초기과정부터 곧바로 이들 그래프 프로그램을 적극적으로 도입하여 학습자로 하여금 다양한 그래프 조작을 하게 함으로써, 어려운 집합론이나 대수학적인 개념을 도입하지 않고서도 함수에 대한 개념을 시각적으로 직관적으로 파악하도록 하는 학습 방안들이 제시되고 있는 것이다. 본 고에서는 현행 중고등학교 함수 교육 과정에서 그래프에 대한 다양한 조작 기능을 제공함으로써 학습자로 하여금, 제시되는 함수에 대한 시각적이고 직관적인 이미지를 가질 수 있도록 하기 위해서 개발된 ‘그래프 마법사’라는 프로그램을 소개하고자 한다.

  • PDF

객체 지향 시뮬레이션의 응용에 관한 연구 (Review of Object-Oriented Simulation)

  • 김경섭
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
    • /
    • pp.1-16
    • /
    • 1998
  • 본 논문에서는 객체지향개념을 도입한 시뮬레이션, 즉 객체지향시뮬레이션(Object-Oriented Simulation)에 대하여 살펴보았다. 기존의 시뮬레이션언어가 가지고 있는 한계점을 통하여 객체지향시뮬레이션의 필요성과 장점에 대하여 알아보았다. 객체지향프로그램인 Smalltalk를 이용해서 객체지향시뮬레이션의 모델링 방법론에 대해서 논의하였으며, 향후 이 방법론을 적용하여 객체지향 시뮬레이터 개발을 하고자 한다.

  • PDF

이동단말기용 ARM 프로세서 기반 ROM 프로그래밍 (ARM Processor ROM programming for Mobile Terminal)

  • 박관민;정민수;김도우;진민식
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.415-417
    • /
    • 2000
  • ARM 프로세서는 이동 단말기의 표준으로 채택된 32 비트 범용 마이크로프로세서이다. 이동 단말기 내에서 ARM 프로세서는 실시간 운영체제 커널과 운영체제 그리고 API 로 구성되며 소형의 단말기에서 응용 프로그램을 운용하기 위해서는 ROM 에 응용 프로그램을 상주시켜 실행시켜야 한다. 이러한 ROM 상주를 위해서는 ROM 영역에 적재하기 위한 메모리 구성이 중요하다. 본 논문은 메모리 구성을 위한 메모리 이미지의 형성과 메모리의 맵을 통한 ROM 상주 프로그램의 적재 그리고 시스템 초기화를 통해서 응용 프로그램의 수행을 보장하는 방법론에 대해 분석한다.

  • PDF

프로덕트 모델 중심의 설계, 시공 정보 통합 방법론 (A Product Model Centered Integration Methodology for Design and Construction Information)

  • 이근형;김재준
    • 한국건설관리학회:학술대회논문집
    • /
    • 한국건설관리학회 2002년도 학술대회지
    • /
    • pp.99-106
    • /
    • 2002
  • 최근 건설 정보 통합 모델에 설계 요소를 반영하는 개념이 발표되고, 4D CAD 시스템을 이용한 정보 통합에 대한 연구들이 수행되었으며, 현재까지 그 활용분야를 넓히고 있다. 하지만, 이러한 형태의 정보통합은 특정 응용 프로그램을 중심으로 이루어지기 때문에 각 조직만의 독특한 내용적 특성을 반영할 수 없으며, 기존의 프로그램과 다른 새로운 프로그램의 도입 및 개발에 따른 유지, 보수 비용을 요구하는 등의 단점이 있다. 본 연구에서는 이러한 문제들을 해결하기 위하여 정보통합을 위한 새로운 접근 방법으로써 '프로덕트 모델 중심의 설계, 시공 정보 통합 방법론'을 제시하고 이에 대한 비교 평가를 위하여 기존의 방법론에 대한 선행 연구를 수행하였다. 이를 위하여 현재 설계, 공정 정보의 통합을 위하여 널리 사용되고 있는 4D CAD 개념을 조사, 분석하였다. 연구 분석 결과 기존의 통합 방법론은 여러가지 장점이 있었지만, 전체 건설사업의 생애주기 중 후반부에 통합이 이루어지기 때문에 정보 활용의 기회가 적으며, 후속단계에서 원시정보의 활용이 미흡하고, 통합 정보의 활용 범위가 상용프로그램이 제공하는 기능으로 제한되고, 3차원 프로덕트 모델에 대한 관리가 곤란하였다. 이러한 단점을 해결하기 위한 설계, 시공 정보의 통합을 위한 새로운 방법론을 제시하였다. 제안된 방법론은 '일관된 객체 기반의 그래픽 모델링', '이질적인 프로덕트 정보들의 저장', '프로덕트 모델을 활용한 정보의 생성, 통합', '확장된 프로덕트 모델의 관리' 등의 4 부분으로 나누어서 제안하였으며, 마지막으로 이들에 대한 활용 개념을 기존의 업무에서의 활용과 새롭게 보충되는 업무에서의 활용으로 나누어서 제안하였다. 6장에서는 본 논문의 전체적인 요약과 후속 연구 주제들과 이를 위한 제안을 하였다. 본 연구를 통해서 특정 응용프로그램 중심의 통합이 아닌 프로덕트 모델 중심의 설계, 시공정보 통합을 위한 새로운 통합 방법론을 제시하였으며, 본 방법론을 통해서 실제로 사용하고 있는 프로그램들을 활용하면서, 각 조직의 환경에 적합한 정보 통합을 통해 건설 생산성 향상을 기대할 수 있게 되었다.

  • PDF

문화콘텐츠 진위 판정 지원 시스템의 고찰 및 제안 (Survey and Proposal of Plagiarism Inspection Supporting System for Cultural Contents)

  • 조동욱
    • 정보처리학회논문지D
    • /
    • 제11D권2호
    • /
    • pp.471-478
    • /
    • 2004
  • 본 논문에서는 대표적인 문화콘텐츠인 게임 등과 같은 프로그램, 자연어 다큐멘트 문화콘텐츠 그리고 중요한 오프라인 문화콘텐츠인 문화예술품에 대해 이를 디지털화하여 표절과 위작 여부 등을 판정하기 위한 기술적 방법론에 대한 고찰과 이를 지원하기 위한 새로운 방법론을 제안하고자 한다. 이를 위해 프로그램 소스 코드, 자연어 다큐멘트 문화콘텐츠에 대한 표절 검출 방법론과 이의 감정 시 도움을 주기 위한 툴 등에 대해 살펴보고자 한다. 끝으로 문화예술품의 표절 및 위작 감정 시 도움을 주기 위한 기술적 방법론을 작자의 드로잉 형태 분석에 의해 제안하고자 하며 실험에 의해 본 논문의 유용성을 입증하고자 한다.

가설-연역적 수업 프로그램이 창의적 사고와 비판적 사고 및 과학적 태도에 미치는 영향 (The Influence of Hypothetico-deductive Teaching Programs on Creative Thinking, Critical Thinking and Scientific Attitude)

  • 박은미;강순희
    • 한국과학교육학회지
    • /
    • 제27권3호
    • /
    • pp.225-234
    • /
    • 2007
  • 이 연구는 가설-연역적 방법론에 따른 수업 모형의 개발과 그에 따라 고안된 수업 프로그램의 현장 적용이 창의적 사고, 비판적 사고 및 과학적 태도에 어떠한 영향을 미치는지 알아보기 위한 목적으로 실시되었다. 먼저, 가설-연역적 방법론에 따른 수업 모형을 개발하였고, 개발한 모형을 직접 활용할 수 있도록 수업 프로그램을 고안하여 학교 현장에 적용하였다. 연구 결과 수업 프로그램의 적용은 창의적 사고력 및 비판적 사고력을 향상시키는 것으로 나타났다. 또한 가설-연역적 수업 프로그램은 과학적 태도에 긍정적인 영향을 주는 것으로 나타났다. 끝으로 수업 프로그램에 참여한 학생들을 대상으로 가설-연역적 수업 프로그램에 대한 의견을 설문 조사한 결과, 학생들은 수업 프로그램을 진행하는 과정에서 과학적인 생각, 새로운 생각, 비판적인 생각을 계속 해야 하는 것에 어려움을 느끼고 부담스러워했으나, 수업 프로그램이 종료된 후에는 스스로 생각하는 능력이 생겼다고 진술하였다.

진화 프로그램을 이용한 효율적인 퍼지 클러스터링 알고리즘 (Effective Fuzzy Clustering Algorithm Using Evolution Program)

  • 정창호;박주영;박대희
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1997년도 추계학술대회 학술발표 논문집
    • /
    • pp.139-142
    • /
    • 1997
  • 본 논문에서는 기존 FCM(Fuzzy C-Means) 타입 클러스터링 알고리즘의 선은 향상을 위한 설계 방법을 제시한다. 우선 클러스터의 응집성(compactness)과 분리성(separation)을 동시에 고려한 성능 지수를 정의하고, 이를 진화 프로그램을 통하여 최적화 한다. 또한 실험을 통하여 기존 연구들과의 비교 및 제안된 방법론의 유효성을 보인다.

  • PDF