• 제목/요약/키워드: 1차 관계 논리 언어

검색결과 8건 처리시간 0.025초

SAT에 기반한 포인터가 있는 프로그램을 위한 목적 지향 테스트 데이터 생성 (A Goal-oriented Test Data Generation for Programs with Pointers based on SAT)

  • 정인상
    • 인터넷정보학회논문지
    • /
    • 제9권2호
    • /
    • pp.89-105
    • /
    • 2008
  • 지금까지 테스트 데이터를 자동으로 생성하기 위한 대부분의 연구는 프로그램에 포인터가 존재하지 않는 경우만을 대상으로 하였다. 최근에 포인터가 있는 경우에도 테스트 데이터를 자동으로 생성할 수 있는 방법들이 제안되었지만 테스트할 프로그램 경로를 완전하게 명시해야 하는 경로 기반 방법이거나 프로그램을 실제 실행해야 하는 방법들이다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 포인터가 있는 프로그램에 대하여 테스트 데이터를 생성할 수 있는 새로운 방법을 제안한다. 제안된 방법은 테스트 데이터 생성 문제를SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성하는 정적 방법이다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

  • PDF

양방향 장단기 메모리 네트워크를 활용한 높은 정밀도의 지지 근거 추출 (Extracting Supporting Evidence with High Precision via Bi-LSTM Network)

  • 박채훈;양원석;박종철
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2018년도 제30회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.285-290
    • /
    • 2018
  • 논지가 높은 설득력을 갖기 위해서는 충분한 지지 근거가 필요하다. 논지 내의 주장을 논리적으로 지지할 수 있는 근거 자료 추출의 자동화는 자동 토론 시스템, 정책 투표에 대한 의사 결정 보조 등 여러 어플리케이션의 개발 및 상용화를 위해 필수적으로 해결되어야 한다. 하지만 웹문서로부터 지지 근거를 추출하는 시스템을 위해서는 다음과 같은 두 가지 연구가 선행되어야 하고, 이는 높은 성능의 시스템 구현을 어렵게 한다: 1) 논지의 주제와 직접적인 관련성은 낮지만 지지 근거로 사용될 수 있는 정보를 확보하기 위한 넓은 검색 범위, 2) 수집한 정보 내에서 논지의 주장을 명확하게 지지할 수 있는 근거를 식별할 수 있는 인지 능력. 본 연구는 높은 정밀도와 확장 가능성을 가진 지지 근거 추출을 위해 다음과 같은 단계적 지지 근거 추출 시스템을 제안한다: 1) TF-IDF 유사도 기반 관련 문서 선별, 2) 의미적 유사도를 통한 지지 근거 1차 추출, 3) 신경망 분류기를 통한 지지 근거 2차 추출. 제안하는 시스템의 유효성을 검증하기 위해 사설 4008개 내의 주장에 대해 웹 상에 있는 845675개의 뉴스에서 지지 근거를 추출하는 실험을 수행하였다. 주장과 지지 근거를 주석한 정보에 대하여 성능 평가를 진행한 결과 본 연구에서 제안한 단계적 시스템은 1,2차 추출 과정에서 각각 0.41, 0.70의 정밀도를 보였다. 이후 시스템이 추출한 지지 근거를 분석하여, 논지에 대한 적절한 이해를 바탕으로 한 지지 근거 추출이 가능하다는 것을 확인하였다.

  • PDF

초.중등 과학 교과서 화산과 지진 관련 단원 글의 언어 구조 비교 분석 (A Comparative Analysis of the Linguistic Features of Texts used in the unit of Volcano and Earthquake in Korean Elementary and Secondary School Science Textbooks)

  • 신명환;맹승호;김찬종
    • 한국지구과학회지
    • /
    • 제31권1호
    • /
    • pp.36-50
    • /
    • 2010
  • 이 연구의 목적은 초 중 고등학교 과학 교과서 글의 구조적 특징을 종합적으로 분석하여 학생들이 상급 학교로 진학하면서 경험하게 되는 과학 교과서 글의 변화 양상을 살펴보는 것이다. 연구 자료로 제 7차 교육 과정에 의해 개발된 초 중 고등학교 과학 교과서의 '화산과 지진' 관련 단원의 글을 선정하였으며, '텍스트 구성적 의미', '상호 관계적 의미', '내용과 논리 관계 의미'의 측면에서 글을 비교 분석하였다. 연구 결과, 과학 교과서의 글은 학교급에 따라 글의 구조를 비롯한 언어적 특징이 다르게 나타나며, 학생들이 상급 학교로 진학하면서 이러한 글의 구조적 특징 차이에 의해서도 과학 교과서를 읽고 이해하는 것이 어렵고 생소하다고 인식할 수 있음을 문제로 제기하였다. 또한 과학을 학습하는 과정에서 과학의 언어가 지니는 구조적 특징에 대한 과학 교사의 중재자 역할이 필요함을 제안하였다.

GTS-VL: 스마트 IoT에서 안전 요구사항 분석과 검증을 위한 시각화 논리 언어 및 도구 (GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems)

  • 이성현;이문근
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제11권9호
    • /
    • pp.289-304
    • /
    • 2022
  • 스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

Alloy 명세 기반 자동 테스트 데이터 생성 기법 (An Alloy Specification Based Automated Test Data Generation Technique)

  • 정인상
    • 정보처리학회논문지D
    • /
    • 제14D권2호
    • /
    • pp.191-202
    • /
    • 2007
  • 일반적으로 테스트 데이터 생성 방법들은 테스트 데이터를 자동으로 생성하기 위해서 완전한 프로그램 경로를 기술한 것을 요구한다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 테스트 데이터를 자동으로 생성하는 새로운 방법을 제안한다. 이를 위해 이 논문에서는 테스트 대상 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 사용자로 하여금 프로그램 경로를 선택하도록 하는 부담을 덜어줄 뿐만 아니라 다양한 테스트 적합성 기준에 따라 테스트 데이터를 생성하는 일을 용이하게 한다. 간단하지만 설명에 도움이 될 수 있는 예들을 통하여 제안한 방법에 대해 설명한다.

SAT를 기반으로 하는 플래그 변수가 있는 프로그램 테스팅을 위한 테스트 데이터 자동 생성 (Automated Test Data Generation for Testing Programs with Flag Variables Based on SAT)

  • 정인상
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.371-380
    • /
    • 2009
  • 최근에 테스트 데이터를 자동으로 생성하는 방법에 관한 연구가 활발하게 진행되고 있다. 그러나 이러한 방법들은 플래그 변수가 프로그램에 존재하는 경우에는 효과적이지 못함이 밝혀졌다. 이는 엔진 제어기와 같은 내장형 시스템들이 전형적으로 디바이스 관련 상태 정보를 기록하기 위해 플래그 변수를 많이 이용한다는 점을 고려할 때 문제가 된다. 이 논문에서는 플래그 변수가 있는 프로그램에 대하여 효과적으로 테스트 데이터를 생성할 수 있는 방법을 소개한다. 이 방법은 테스트 데이터 생성 문제를 SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성한다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

웹을 기반으로 한 계발 활동 편성 프로그램 개발 -제7차 교육과정에서 ICT 활용에 관한 연구 : 특별활동을 중심으로- (Development of Enlightenment Activity Composition Program Based-on Web)

  • 임경희;양권우;고병오
    • 정보교육학회논문지
    • /
    • 제6권3호
    • /
    • pp.279-287
    • /
    • 2002
  • 오늘날 사회가 점차 세계화 정보화 되어감에 따라 학교교육도 21세기 사회에 창의적으로 대응할 수 있는 인간을 길러내기 위해 고심하고 있다. 이에 7차 교육과정에서는 특별활동을 3대 영역에서 5대 영역으로 확대 개편하는 한편, 학생들의 능력과 적성을 고려한 계발 활동을 다양하게 추진하고 있다. 하지만 학교현장에서는 학생들의 능력 적성에 따른 계발 활동 조직에 어려움을 겪고 있다. 학기초에 계발 활동 조직을 하기 때문에 학생들의 능력과 적성을 충분히 파악하지 못한 상태일 뿐 아니라, 학생 스스로도 자신의 능력과 적성을 알지 못하고 있는 경우가 많다. 따라서 본 연구는 다중지능 이론을 활용하여 계발 활동을 효과적으로 조직할 수 있는 프로그램을 개발하였다. 다중지능 이론에서는 현재까지 9가지 지능을 소개하고 있는데, 각각 언어적 지능, 논리-수학적 지능, 음악적 지능, 공간적 지능, 신체-운동적 지능, 개인이해 지능, 대인관계 지능, 자연주의적 지능, 실존지능으로 분류하고 있다. 본 연구에서는 K-MIDAS 검사를 바탕으로 7가지 지능 영역만을 다루어 웹을 통해 다중지능을 검사하도록 설계하였으며, 다중지능 검사 결과를 토대로 피검사자의 능력과 적성에 맞는 계발 활동 내용을 소개하여 학교 현장에서 적절히 응용하여 사용할 수 있는 계발 활동 편성 프로그램을 개발한다. 한편, 개발한 프로그램을 현장 학생들에게 적용해 본 후, 적용 전과 후의 안내된 계발 활동 만족도를 분석한다.

  • PDF

다중지능 교수.학습 방법을 적용한 실천적 문제 중심 가정과 교수.학습 과정안의 개발과 평가 - 중학교 가정과 '청소년의 영양과 식사' 단원을 중심으로 - (A development and evaluation of practical problem-based Home Economics lesson plans applying to multiple intelligence teaching.learning strategy - Focused on the unit 'Nutrition & Meals' of middle school Home Economics subject matter -)

  • 최성연;채정현
    • 한국가정과교육학회지
    • /
    • 제23권1호
    • /
    • pp.87-111
    • /
    • 2011
  • 본 연구의 목적은 중학교 l학년 가정교과의 '청소년의 영양과 식사' 단원을 중심으로 다중지능을 활용한 실천적 문제 중심 교수 학습 과정안을 개발하고 평가하는데 있다. 이러한 연구 목적을 달성하기 위하여 Keller의 수업 설계 과정에 따라 수업을 정의하고 수업을 설계하며, 교수 학습 과정안을 개발하고 이를 현장수업에 적용하여 평가하였다. 수업 정의 단계에서는 다중지능을 활용한 실천적 문제 중심 수업을 위한 기초 연구를 수행하였다. 첫째, 2007년 개정 교육과정 해설서의 목표와 내용 단어를 추출하여 학습목표를 설정하였고, 실천적 문제를 규정하였다. 둘째, 식생활 교육내용의 연계성 연구를 토대로 하여 12종 교과서의 학습 내용을 분석하여 선행조직자로서의 개념도를 개발하였다. 셋째, 12종 교과서의 학습 활동을 다중지능 영역별로 분석하였다. 수업 설계 단계에서는 다중지능을 활용한 실천적 문제 중심 수업의 방향을 설정하였다. 첫째, 기존의 실천적 문제 중심 수업 과정에 개념이해 과정을 추가하여 실천적 문제 중심 수업을 설계하였다. 둘째, Armstrong과 그의 공동연구자들이 제시한 다중지능 교수 학습 방법을 적용하여 차시별로 8가지 지능을 모두 활용한 교수 학습 방법을 개발하였다. 셋째, 개발한 다중지능 교수 학습 방법을 실천적 문제 중심 수업의 과정에 투입하였다. 교수 학습 과정안 개발 단계에서는 교수 학습 자료와 참고자료를 선정하여 총 6차시의 교수 학습 과정안과 학습 활동지를 개발하였다. 수업 평가 단계에서는 개발한 4, 5차시의 교수 학습 과정안을 청주시 소재 중학교 1학년 남 여 2개 학급 72 명에게 2시간씩 시연한 후 설문조사하였다. 본 연구의 결과는 다음과 같다. 첫째, '청소년의 영양과 식사' 단원의 다중지능 교수 학습 방법 적용한 실천적 문제 중심 수업의 목표는 '청소년기 영양과 건강의 중요성을 이해하고 균형 잡힌 식사습관을 실천할 수 있다'이다. 실천적 문제는 '건강한 식생활을 유지하기 위해서 나는 무엇을 해야 하는가?'이고, 학습 내용은 건강한 생활, 영양소의 종류 및 기능, 청소년의 영양 문제, 식품 구성탑, 식사 구성안이며, 학습 활동은 8가지 다중지능 영역을 골고루 포함한 다양한 교수 학습 방법으로 진행된다. 둘째, 개발한 교수 학습 과정안은 실천적 문제 중심 수업의 흐름에 따라서 도입(생각열기, 지난 수업 내용 확인, 학습목표 제시), 전개(실천문제 규정, 개념 이해, 사회 문화적 맥락 이해, 목표 설정 및 대안 탐색, 대안 실행 결과 예측, 수업 내용 정리 및 생각 넓히기), 정리(성취확인학습, 적용 및 일반화 유도, 과제 제시 및 차시 예고)로 진행되도록 하였다. 이 수업 과정에 차시별로 8가지 다중지능을 모두 활용한 교수 학습 방법을 제시하여 학습자의 특성과 학습 환경에 따라 활동 선택이 가능하게 하였다. 개발된 활동은 언어지능 활용 방법 10개, 논리수학지능 활용방법 7개, 시각공간지능 활용 방법 9개, 음악지능 활용 방법 10개, 신체운동지능 활용 방법 6개, 대인관계지능 활용 방법 10개, 개인내적지능 활용 방법 7개, 자연탐구 지능 활용 방법 6개로, 총 65개이다. 셋째, 다중지능 교수 학습 방법을 적용한 실천적 문제 중심 수업은 평가 결과, 적극적 수업 태도를 함양하고, 학습 동기 유발, 학습내용 이해, 학습내용 암기, 실제 생활에 적용, 그리고 바람직한 식생활을 실천하는 데 도움이 되는 것으로 확인되었다.

  • PDF