• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 춘계학술발표대회
• /
• pp.542-543
• /
• 2016

본 논문에서는 소프트웨어의 검증 방법 중 하나인 모형 검사가 컴퓨터 소프트웨어에서 어떻게 활용될 수 있는지 소개하고 테세우스와 미노타우로스 게임을 모형 검사를 활용하여 풀어낸다. 게임의 풀이는 교대 방식 시맨틱스와 병행 방식 시맨틱스의 두 가지 방식으로 해석해 서로 비교한다. 이를 위해서는 모형 검사를 위한 모형을 작성하는 것이 필수이다. 본 논문에서는 모형 검사를 위해 모형을 제작한 경험을 설명한다. 끝으로 각 게임 방식의 풀이 생성에 소요되는 시간을 분석한다.

• 응용통계연구
• /
• 제36권1호
• /
• pp.21-32
• /
• 2023

한국 소비자원의 의료 분야 처리금액 자료에 대한 시계열 모형을 이용한 실증 분석을 연구하였다. 의료분야 처리금액 시계열 자료는 상담 처리금액, 피해 구제금액, 분쟁 조정 처리금액으로 나뉜 3개 변수를 사용하였고 분석에 사용된 시계열 모형은 ARIMA 모형, 벡터 자기회귀 모형 그리고 전이 함수를 이용한 시계열 모형이다. 이들 중 전이 함수를 이용한 시계열 모형이 단기 예측면에서 가장 우수한 예측력을 보였고 벡터자기회귀 모형도 변수간 영향력과 기간을 파악하는데 유용한 정보를 제공하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.1166-1169
• /
• 2008

이 논문에서는 정보 영재의 사고력 신장을 위한 교수-학습 프로그램으로 트리 구성과 트리 탐색에 기반을 둔 모형을 제시하고 분석한다. 제시된 교수-학습 모형은 문제를 표현하는 트리의 유형에 따라 세 가지 유형으로 구분되며, 각 모형은 다시 네 가지 단계의 학습 단계로 구성된다. 구성되는 트리의 모형에 따라 적용되는 알고리즘에는 recursion, heuristic, minimax 탐색 방법 등이 도입되어 적용된다. 이 모델은 저 수준의 사고력을 요구하는 간단한 모형에서 출발하여 고 수준의 사고력을 요구하는 복잡한 모형으로 발전시키는 교육 방법을 제시함으로써 사고력 신장의 정도에 따라 초등학교 학생들로부터 중학교, 고등학교 학생들에 이르기 까지 대상을 확대하여 점진적으로 적용할 수 있는 교육 방법이 될 수 있을 것으로 사료된다. 이 교육 프로그램 모형을 실제 교육 현장에서 적용하여 교수-학습 프로그램 유형별로 학습 단계간의 적용 결과를 비교 분석한다.

• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.131-138
• /
• 2007

본 연구는 정보환경에 있는 기업에서 근무하는 개인의 정보역량 측정을 위한 효율적인 측정모형을 개발하였다. 본 모형은 4 개의 측정영역과 12개의 측정요인 그리고 구체적인 측정항목을 포함한다. 개발된 모형의 타당성과 신뢰성은 SPSS software 를 적용한 Pilot Test 를 통한 Factor Analysis and Reliability Analysis 에 의해 검증되었고, 개인 정보역량을 효율적으로 측정할 수 있는 구체적인 측정항목들을 제시하였다. 개발된 측정모형의 실용성과 활용성을 검증하기 위해 실제 기업에서 근무하는 264 명의 인력에 대해 개인 정보역량을 측정하여 그 결과를 제시하였다. 본 측정모형은 산업현장에 있는 인력의 정보역량 향상에 기여할 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1429-1432
• /
• 2011

도시재생 업무분야에서 정보체계의 실질적 활용을 도모하기 위해서는 특화된 정보생산 및 관리 모형이 필요하다. 도시재생 종합 DB는 도시 쇠퇴진단, 잠재력 평가, 우선대상지 선정 등 업무 수행을 위해 요구되는 정보수요와 전문가 및 일반인을 대상으로 하는 다양한 서비스 수요에 기반하고 있다. 본 연구에서는 기존의 연구 성과 및 현재 진행 중인 시스템 모형을 분석하여 구축대상 정보를 구성하고 이를 공간정보 기반에서 재구성하여 효과적으로 활용할 수 있도록 정보 모형을 수립하고 구현방안을 제안하였다. 제시된 정보 모형을 통해 도시재생 정보의 활용성을 높이고 도시재생종합정보시스템의 기능을 확장시킬 수 있을 것으로 기대된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.1162-1165
• /
• 2008

이 논문은 정보영재 교육 중에서 프로그래밍을 위한 사고력 신장에 적합한 교육 프로그램 모형을 개발하고 이의 구현을 위하여 실제적인 예를 보여 교육 프로그램의 타당성과 유효성을 검증하였다. 이 논문은 트리와 트리 탐색을 이용한 사고력 신장 교육 프로그램으로 4단계로 구성되는 교육 프로그램을 제안하였으며, 구성되는 트리의 유형과 탐색 방법에 따라 세 가지 모형으로 세분화된다. 이 모델을 통하여 학생들은 문제를 트리로 표현하는 방법을 학습하게 되며, 트리로 구성된 문제를 해결하기 위하여 각각의 트리 모형에 따른 적절한 트리 탐색 방법을 통하여 문제를 해결하는 방법을 배우게 된다. 이 교육 프로그램 모형을 실제 교육 현장에서 적용하여 각 모형별로 그 결과를 비교 분석한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.1585-1588
• /
• 2005

무선통신 환경에서 TCP의 효율성을 개선하기 위한 ECN 방법을 하나의 페트리 넷 모형으로 표현한 사례가 있다. 이 경우에는 모형이 너무 복잡하여 ECN 방법의 구조를 한눈으로 파악하기 어렵다는 단점이 있다. 본, 논문은 기존의 모형을 추상화하여 계층적으로 표현한 결과를 보인다. 계층적 표현은 시스템 전체 구조를 이해하기가 용이하다는 장점이 있다..

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

본 논문에서는 한국어의 전산처리를 위한 문법 모형 개발의 일부분으로 HPSG에 기반한 문법 모형의 개발을 시도한다. 문법 모형의 개발에는 ALE(Attribute Logic Engine)를 이용하며, 보문 구조와 보조 용언 구문을 분석하기 위한 사전구조 및 문법 규칙을 제시한다. 그리고 문의 종류 (Sentence Type:ST)와 문계(Sentence Level: SL), 시제, 존대 등을 분석해서 표상하기 위한 유형 계층 및 어휘부, 문법 규칙, 문법 원리 등을 제시한다.

• 한국문헌정보학회지
• /
• 제38권1호
• /
• pp.247-261
• /
• 2004

우리나라 중등교육에서 크게 대두되는 사교육비 증가, 교육의 질 저하, 교실붕괴와 같은 문제를 보도한 신문기사와 이에 대해 연구한 논문들을 검토, 종합한 결과 문제는 평준화자체라기보다 평준화로 달라진 교육상황에 합당하게 교육방법을 바꾸지 않는데서 결과한 표면의 현상으로 분석되었다. 평준화로 인해 두드러지게 달라진 상황이란 평준화 이전에 비하여 학력수준이 천차만별인 학생들을 한 교실에서 가르치게 된 점이다. 본 연구는 수업방법을 정보처리학습모형과 같이 학생을 개별로 대응하도록 짜여졌으면서 사고력 창의성 함양에 도움이 되는 학습모형을 사용하여 집단적 강의식 교육방법을 탈피할 것을 촉구하고, 6 단계정보처리 학습모형에서 우리나라 학생들에게 어려움이 많은 정보조직 즉 종합(Synthesis)의 단계를 원리와 방법의 제시로 설파하여 교과담당교사나 사서교사들이 수업에서 참고하도록 하였다.

• 융합정보논문지
• /
• 제10권7호
• /
• pp.14-19
• /
• 2020

확장성 보고서 언어인 XML기술을 회계보고 영역에 응용한 인터넷 표준인 XBRL에 기초한 회계정보처리 모형을 제안하고자 한다. 기업마다 문서의 특성이 상이하기에 의사결정자에게 유용한 정보를 제공하여야 한다는 회계의 목적에 비추어 그 중요성이 크다. 본 연구는 X-Hive 데이터베이스 내에 XBRL로 저장된 XML 계층구조를 기반으로 하는 데이터 마이닝 모형을 제안하고자 한다. 데이터마이닝 분석은 연관규칙으로 실험되었고 XBRL을 기반으로 DC-Apriori 데이터마이닝 방법을 Apriori알고리즘과 X쿼리를 결합하여 제안한다. 마지막으로 제안 모형의 타당성과 유효성에 대해서는 실험을 통해 검증하였다.