• 제목/요약/키워드: 프로그래밍 방법

검색결과 1,138건 처리시간 0.03초

온톨로지 Open World 추론과 규칙 Closed World 추론의 통합 (Integration of Ontology Open-World and Rule Closed-World Reasoning)

  • 최정화;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권4호
    • /
    • pp.282-296
    • /
    • 2010
  • OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

배나무 무인 방제를 위한 약대 자동 제어시스템 개발 (Development of an Automatic Sprayer Arm Control System for Unmanned Pest Control of Pear Trees)

  • 화지호;이봉기;이민영;최동성;홍준택;이대원
    • 생물환경조절학회지
    • /
    • 제23권1호
    • /
    • pp.26-30
    • /
    • 2014
  • 본 연구에서는 과수의 형태, 거리에 따라 약대가 항상 적정 살포 거리를 유지하며 작업을 진행할 수 있도록 초음파 센서의 신호를 실시간으로 받아 약대를 제어하였고, 또한 약대의 보호를 위하여 진행 방향에 장애물이 존재할 경우 회피할 수 있도록 프로그래밍 하였다. 제작된 시스템으로 현장에서 비 자동제어 상태와 자동제어 상태로 실험을 수행하였다. 실험은 과수의 기둥과 잎 부위에 감수지를 일정간격으로 설치하고 시스템을 이용하여 분사한 후 감수지의 영상을 스캔하여 영상처리를 통해 분석하는 방법으로 이루어졌다. 상 방향 분사 실험에서는 시스템과 대상의 거리가 0.9m~1.1m로 설정해둔 적정거리를 벗어나지 않았기 때문에 비 자동제어와 자동제어 상태 모두 양호한 결과를 보였다. 하지만 측 방향 분사 실험에서는 비 자동제어 시 우측 열은 98.09%의 분사율을 보였으나 좌측 열은 69.25%로 낮게 나타났다. 이는 실험이 수행된 배 과원의 경우 과수의 좌측 열이 수평하게 식재되어 있지 않았기 때문으로 비자동제어 상태에서는 좌측열의 과수에 분사되는 양이 줄어들었으나 자동제어 상태에서는 좌, 우측열의 과수에 분사되는 양이 각각 92.66%, 94.64%로 균일하게 나타났다. 시스템의 제어 속도를 측정하기 위하여 방향 별 약대의 속도를 측정하였고 각각의 속도는 수직방향 100mm/s, 수평 방향 100mm/s, 각 변화 3o/s로 측정되었다. 초기 목적했던 바와 같이 과수의 형태, 거리에 따라 약대가 적정 거리를 유지하며 작업을 진행함으로 인해서 균일한 살포량을 유지 할 수 있음을 확인하였다.

정보 교과의 문제해결과정에서 논리적 사고력 구성요소에 대한 조작적 정의 (Operational Definition of Components of Logical Thinking in Problem-solving Process on Informatics Subject)

  • 윤일규;김종혜;이원규
    • 컴퓨터교육학회논문지
    • /
    • 제13권2호
    • /
    • pp.1-14
    • /
    • 2010
  • 지금까지의 정보 교과에서의 논리적 사고력 향상에 관한 연구는 대부분 일반적인 논리적 사고력 검사지를 바탕으로 이루어졌으며, 프로그래밍 학습 결과를 통한 논리적 사고력의 향상에 한정되어 있다. 본 연구에서는 일반적인 논리적 사고력의 특성 및 타 교과에서 논리적 사고력의 특성과 달리 정보 교과의 문제 해결 과정에서의 논리적 사고력의 조작적 정의를 제시하였다. 먼저, 정보 교과의 문제 해결 과정에서 요구되는 논리적 사고력의 구성요소를 선정하고, 각각에 대한 조작적 정의를 개방형식의 전문가 설문과 연구자 숙의 과정을 통하여 제시하였다. 또한, 각각의 조작적 정의를 바탕으로 중등 정보 교과 '문제 해결 방법과 절차' 영역의 내용요소와 연관성을 제시하고, 그에 따른 평가 문항을 개발하였다. 연구 결과, 정보 교과의 문제해결과정에서 요구되는 논리적 사고력의 구성요소는 서열화 논리, 명제 논리, 상관 논리, 변인 통제 논리, 조합 논리, 비례 논리이며, 조작적 정의와 정보교과 내용요소를 바탕으로 논리적 사고력 평가문항을 개발하여 그 실효성을 알아보았다. 본 연구 결과는 정보 교과의 논리적 사고력 신장을 위한 교수학습방법과 평가 방안의 가이드라인을 제공하는 데에서 의의를 찾을 수 있을 것이다.

  • PDF

모바일 한자 학습 애니메이션 생성 (Animation Generation for Chinese Character Learning on Mobile Devices)

  • 구상옥;장현규;정순기
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제33권12호
    • /
    • pp.894-906
    • /
    • 2006
  • 모바일 기기의 성능 및 화면, 무선 네트워크의 속도 등의 제약으로 모바일 컨텐츠 개발에는 많은 어려움이 있다. 단순히 유선 웹상에서 기존에 서비스 되던 컨텐츠의 가시적인 축소만으로는 양질의 컨텐츠 제작이 어렵다. 빠르게 변화하는 모바일 컨텐츠 시장에 적응하기 위해서는 컨텐츠 특성에 최적화된 데이타 표현 기법 및 저작 도구의 개발이 이루어져야 한다. 본 논문에서는 모바일 기기 상에서의 한자 학습을 위한 적은 용량의 모바일 컨텐츠 및 저작 도구를 개발하였다. 본 연구에서 개발한 모바일 컨텐츠는 단순히 한자 이미지와 설명 정보를 보여주는 것이 아니라, 한자 획순으로 붓으로 쓰는 것과 같은 애니메이션 효과를 줄 수 있다. 또한 저작 도구는 사용자가 그래픽이나 한자, 모바일 프로그래밍에 관한 전문가가 아니더라도 쉽고 빠르게 컨텐츠를 생성할 수 있는 개발 환경을 제공한다. 본 논문은 트루타입 폰트로부터 글자 모양을 획득하여, 간단한 사용자 입력으로 획 분할 및 획 순서 정보를 얻고, 자동으로 획의 방향을 추출, 각 획마다 붓으로 쓰는 효과의 애니메이션을 생성한다. 다음으로 모바일 기기에서의 효율적인 글자 애니메이션을 위해 애니메이션 데이타를 압축한다. 본 논문은 한자뿐 아니라, 한글 또는 다른 형태의 그래픽에도 이용될 수 있으며, 향후 획 분할 및 획 순서 결정을 자동화하는 방법을 연구하고자 한다.

자바 Bytecode 에서 MSIL 로의 변환을 위한 번역기의 설계 및 구현 (Design and Implementation of a Translator for Translating Java Bytecode into MSIL)

  • 민정현;오세만
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
    • /
    • pp.743-746
    • /
    • 2001
  • 자바는 객체지향 언어이고, 한번 작성된 프로그램은 자바 가상 기계가 있는 모든 곳에서 수정없이 실행될 수 있기 때문에 소프트웨어의 개발과 유지 보수에 많은 장점을 가진 언어이다. 이러한 특징으로 인하여 개발되는 제품들이 자바로 구현되는 경우가 많다. 그러나 아직 대다수 소프트웨어 개발자들은 주로 C 언어나 C++ 언어를 사용하고 있으며, 최근에는 C#이라는 언어를 사용하고 있다. 자바가 플랫폼에 독립적인 장점은 가지고 있지만, 다수의 개발자 및 사용자가 마이크로소프트 윈도우 운영체제를 사용하고 있다는 것을 감안한다면 그리 탁월한 장점만은 될 수 없다. 또한, 최근의 개발동향이 COM(Component Object Model)을 지향하고 있고, 이는 더 이상 개발자들에게 프로그래밍 언어에 구애를 받지 않고 오직 개발 제품에 대한 집중력을 가질 수 있는 환경을 제공할 수 있다면, 그 개발 효율에 있어서 상당한 이점을 가질 수 있다는 의미이다. 따라서, COL(Component Object Language)을 기반으로 하고 있는 C# (C sharp)언어를 사용하여 개발을 함에 있어서 자바의 언어를 C# 언어로 변환할 수 있다면, 신생 언어인 C#에 있어서 기존 자바로 되어 있는 유용한 개발 제품들을 보다 효율적으로 이용할 수 있을 것이다. 본 논문에서는 두 언어(자바, C#)를 하나로 잇는 교량(bridge)역할을 할 수 있도록 자바의 중간 언어인 Bytecode를 C#의 중간 언어인 MSIL(Microsoft Intermediate Language)로 바꿀 수 있는 중간 언어 번역기를 설계하고 구현하였다. 이를 위한 방법으로는 먼저, 자바 Bytecode 와 MSIL 의 어셈블리 형태에서의 명령어 매칭과정을 매핑 테이블을 이용하여 처리하였고, MSIL 에서 자바 Bytecode 의 함수와 같은 기능을 하는 메소드의 변환을 위하여 마크로 변환기법을 이용하여 해결하였다.I/O ratio 2.5). BTEX의 상대적 함량도 실내가 실외보다 높아 실내에도 발생원이 있음을 암시하고 있다. 자료 분석결과 유치원 실내의 벤젠은 실외로부터 유입되고 있었고, 톨루엔, 에틸벤젠, 크실렌은 실외뿐 아니라 실내에서도 발생하고 있었다. 정량한 8개 화합물 각각과 총 휘발성 유기화합물의 스피어만 상관계수는 벤젠을 제외하고는 모두 유의하였다. 이중 톨루엔과 크실렌은 총 휘발성 유기화합물과 좋은 상관성 (톨루엔 0.76, 크실렌, 0.87)을 나타내었다. 이 연구는 톨루엔과 크실렌이 총 휘발성 유기화합물의 좋은 지표를 사용될 있고, 톨루엔, 에틸벤젠, 크실렌 등 많은 휘발성 유기화합물의 발생원은 실외뿐 아니라 실내에도 있음을 나타내고 있다.>10)의 $[^{18}F]F_2$를 얻었다. 결론: $^{18}O(p,n)^{18}F$ 핵반응을 이용하여 친전자성 방사성동위원소 $[^{18}F]F_2$를 생산하였다. 표적 챔버는 알루미늄으로 제작하였으며 본 연구에서 연구된 $[^{18}F]F_2$가스는 친핵성 치환반응으로 방사성동위원소를 도입하기 어려운 다양한 방사성의 약품개발에 유용하게 이용될 수 있을 것이다.었으나 움직임 보정 후 영상을 이용하여 비교한 경우, 결합능 변화가 선조체 영역에서 국한되어 나타나며 그 유의성이 움직임 보정 전에 비하여 낮음을 알 수 있었다. 결론: 뇌활성화 과제 수행시에 동반되는 피험자의 머리 움직임에 의하여 도파민 유리가 과대평가되었으며 이는 이 연구에서 제안한 영상정합을 이용한 움직임 보정기법에 의해서 개선되었다. 답이 없는 문제, 문제 만들기, 일반화가 가능한 문제 등으로 보고, 수학적 창의성 중 특히 확산적 사고에 초점을 맞추어 개방형 문제가 확산적 사고의 요소인 유창성, 독창성, 유연성 등에 각각 어떤 영향을 미치는지 20주의 프로그램을 개발, 진행하여 그 효과를

  • PDF

간선도로 신호연동화 효율의 평가를 위한 지체도 모형의 해석적 연구 (Analytical Study of Delay Model of Traffic Signal Progression Evaluation on Arterial)

  • 김영찬;황연하
    • 대한교통학회지
    • /
    • 제17권1호
    • /
    • pp.131-139
    • /
    • 1999
  • 신호 교차로의 지체도에 미치는 가장 큰 영향요소중의 하나는 신호연동인데 신호연동지체도 예측모형으로서 T7RANSTY-7F모형과 NETSIM모형이 가장 널리 사용되고 있다. 이는 컴퓨터 프로그래밍기법을 이용해야 하는 복잡함과 실행과정이 쉽지않다. 본 연구는 연동지체의 산정을 도로용량편람의 사용예처럼 간편하면서 시뮬레이션모형과 유사한 결과를 갖는 모형을 연구하기 위하여 이루어졌다. 연구의 범위는 차량군을 대상으로한 거시적모형이며 신호교차로 연동지체를 평가하는 해석적 모형이다. 그리고 정상류상태(v/c<1)를 대상으로 하면서 차량군지체만을 산정하는 모형이다. 본 연구방법은 차량군도착으로 형성되는 누적교통량·시간함수에 의한 지체도산정을 적분법으로서 두 개의 도착유형으로 구분하여 산출하였으며 본 연구결과로는 제안모형내에 차량군 연속진행의 도착패턴을 직접적으로 반영하였고 현실 특성에 부합된 차량군형태를 구성하였다. TRANSTY-7F모형과 유사한 결과를 도출하였으며 수계산으로도 적용할 수 있고 기존의 해석적 모형이 결여된 경우에 대한 지체도예측도 가능하였다.

  • PDF

3층 구조 녹색 형광 OLED의 임피던스 특성 (Impedance Characteristics of 3 Layered Green Fluorescent OLED)

  • 공도훈;임지현;최성우;박윤수;이관형;주성후
    • 한국표면공학회:학술대회논문집
    • /
    • 한국표면공학회 2016년도 추계학술대회 논문집
    • /
    • pp.140-140
    • /
    • 2016
  • 유기전계발광소자 (Organic Light Emitting Diode : OLED)는 보조광원이 필요 없고 천연색 표현이 가능하며, 낮은 소비 전력 및 저전압 구동 등의 장점으로 이상적인 디스플레이 구현이 가능하여 차세대 디스플레이로써 많은 이목을 끌고 있으나 제한된 수명과 안정성의 문제점을 안고 있다. 따라서 OLED의 열화 원인을 분석하고 수명을 연장하기 위한 체계적인 방법과 기술 개발이 중요하다. Impedance Spectroscopy는 이온, 반도체, 절연체 등의 벌크 또는 계면 영역의 전하 이동을 조사하는데 사용될 수 있어, OLED에서도 Impedance Spectroscopy를 이용하여 전하수송과 전자주입 메커니즘 등 폭넓은 전기적 정보를 얻을 수 있다. 본 연구에서는 Impedance Spectroscopy를 이용하여 경과시간에 따른 OLED의 임피던스 특성을 측정하여 열화 메커니즘을 분석하였다. 본 연구에서 OLED는 ITO / 2-TNATA (4,4,4-tris2-naphthylphenyl-aminotriphenylamine) / NPB (N,N'-bis-(1-naphyl)-N, N'-diphenyl-1,1'- biphenyl-4,4'-diamine) / Alq3 (tris(quinolin-8-olato) aluminum) / Liq / Al으로 구성된 녹색 형광 OLED를 제작하였다. OLED의 전계 발광 특성을 측정하기 위한 전원 인가장치로 Keithley 2400을 사용하여 전압과 전류를 인가하였고, 소자에서 발광된 휘도 및 발광 스펙트럼은 Photo Research사의 PR-650 Spectrascan을 사용하여 암실 환경에서 측정하였다. 임피던스 스펙트럼은 컴퓨터 제어 프로그래밍이 가능한 KEYSIGHT사의 E4990A를 사용하여 측정하였다. 임피던스 측정 전압은 0 V부터 2 V 간격으로 8 V까지, 주파수는 20 Hz에서 2 kHz의 범위로 설정하여 측정하였다. I-V-L과 임피던스 특성은 24 시간의 간격을 두고 실온에서 측정하였다. 그림은 경과시간에 따른 녹색 형광 OLED의 인가전압 2 V, 6 V의 Cole-Cole plot을 나타낸 것이다. 문턱전압 미만인 인가전압 2 V에서는 소자를 통하여 전류가 흐르지 않아 큰 반원 형태를 나타내었고, 시간이 경과함에 따라 소자 제작 직후엔 실수 임피던스의 최댓값이 $8982.6{\Omega}$에서 480 시간 경과 후엔 $9840{\Omega}$으로 약간 증가하였다. 문턱전압 이상인 인가전압 6 V에서는 소자 제작 직후 실수 임피던스의 최댓값이 $108.2{\Omega}$으로 작은 반원 형태를 나타내나 시간이 경과함에 따라 방사형으로 증가하는 것을 확인 할 수 있었고, 672 시간 경과 후엔 실수 임피던스의 최댓값이 $9126.9{\Omega}$으로 문턱 전압 미만 일 때와 유사한 결과를 나타내었다. 이러한 임피던스의 증가 현상은 시간이 경과함에 따라 OLED의 열화에 의한 것으로 판단된다.

  • PDF

연속 회분식 반응기에서 최적 질소 제거를 위한 최적 궤적 찾기와 재최적화 (Optimal Trajectory Finding and re-optimization of SBR for Nitrogen Removal)

  • 김영황;유창규;이인범
    • Korean Chemical Engineering Research
    • /
    • 제45권1호
    • /
    • pp.73-80
    • /
    • 2007
  • 본 연구는 생물학적 폐수 처리 공정인 연속 회분식 반응기(sequencing batch reactor, SBR)에서 질소 제거 최적화를 위해 활성 오니 공정모델(activated sludge model, ASM No.1, ASM1)과 반복 동적 프로그래밍(iterative dynamic programming, IDP)을 이용하여 SBR의 처리 기준을 만족하면서 최적 운전 조건을 탐색하고 하는 것을 목적으로 하였다. 연속 회분식 반응기의 최적화를 위해 에너지 최소화와 최소 회분 시간이 질소 처리의 농도 그래프의 면적과 비례하는 점을 이용하여 이를 고려한 새로운 performance index를 제안하였다. 회분 시간과 에너지에 대항하는 면적에 적절한 비중(weight)을 줌으로써 최소 회분 시간과 최소 에너지 문제를 동시에 고려하였다. SBR에서 IDP를 이용한 최적 운전서 최적 용존 산소 농도의 설정치가 전체 회분 시간과 전체 에너지 비용에 동시에 영향을 미침을 알 수 있었고 최적 운전시 기존의 운전 방법과 같은 유기물과 질소 제거가 가능하고 동시에 전체 비용을 20%까지 줄일 수 있었다. 더 나아가 공정이상으로 실제 공정이 모델과 다른 모델링 에러에 의해 잘못된 모사의 경우에도 IDP를 이용하여 다시 재최적화할 수 있음을 보였다.

유아 교구로봇 프로그램 개발을 위한 유아와 초등학생 로봇교육의 연구동향 분석 (Analysis of Research Trends on Robot Education of Young Children and Elementary Students for the Development of Hands-on Robot Program for Young Children)

  • 김상희;김상언
    • 디지털콘텐츠학회 논문지
    • /
    • 제18권5호
    • /
    • pp.859-868
    • /
    • 2017
  • 본 연구의 목적은 유아의 교구로봇 프로그램 개발을 위한 기초연구로 유아와 초등학생의 로봇교육에 대한 연구동향을 알아보는 데 있다. 유아와 초등학생 로봇교육과 관련된 2006년부터 2016년 5월까지의 학위논문과 학술지 논문 총 155편을 대상으로 연도별 동향, 연구내용, 효과성 검증 등을 분석하였다. 연구결과는 다음과 같다. 연구주제에서 유아는 통합교육, 태도 및 인식연구, 반응연구 순이며, 초등학생은 프로그래밍 교육, 설계개발 연구, 통합교육 순으로 연구가 많이 이루어졌다. 연구방법에서 유아는 관찰연구가, 초등학생은 개발연구가 가장 많이 나타났다. 효과성 검증에서 유아는 사회적 정서적 관련 연구, 초등학생은 창의성 관련 연구가 많았다. 연구결과에 대한 논의를 바탕으로 유아 교구로봇 프로그램 개발을 위한 기초자료를 제공하고, 유아와 초등학생의 SW교육과 연계하여 로봇교육의 방향과 시사점을 제안하였다.

초등예비교사를 위한 컴퓨팅 사고력 자기평가 방법 (Fostering Primary Pre-service Teachers' Computational Thinking through Self-Assessment)

  • 김미송;최형신
    • 정보교육학회논문지
    • /
    • 제22권1호
    • /
    • pp.61-70
    • /
    • 2018
  • 창의적 사고와 융합이 중요시되는 4차 산업 혁명 시대를 성공적으로 맞이하기 위해 전 세계적으로 컴퓨팅 사고력(Computational Thinking: CT) 증진을 위한 코딩(coding) 교육이 대두되고 있다. 특히 MIT 미디어 연구소에서 개발한 스크래치(Scratch)를 활용한 코딩 교육은 기존의 전통적인 교육패러다임을 벗어나서, 학습자들이 능동적이고 협력적 활동에 참여하는 구성주의 교수법을 강조하고 있다. 하지만 이러한 교육 패러다임 변화에 대한 인식이 부족하기 때문에 실제 학교나 사교육 현장에서는 코딩 교육이라는 명목하에 프로그래밍 언어에 관련된 테크닉이 주로 강조 되는 경향이 있다. 이에 본 연구는 구성주의적 교수-학습에 입각한 CT 평가 도구를 개발하고 실행하는 것에 초점을 두었다. 그리고 CT 자기 평가 도구의 교육적 가치를 연구하기 위해 '컴퓨팅 사고력을 활용한 문제해결'이라는 과목을 수강한 초등예비교사들이 CT 역량 평가 루브릭을 활용한 결과를 분석하였다. 본 연구의 결과를 통해 협력이 강조되는 구성주의 교수법을 반영한 CT 자기 평가를 디자인하고 실현하는 과정을 매개로 하여, 초등예비교사들이 문제해결 과정을 체험하고 CT역량을 증진시키는 것을 확인 할 수 있었다. 본 연구의 결과를 통해 도출된 CT 교육 및 평가에 대한 개선점을 제언하였다.