• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.542-543
• /
• 2016

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

• The Korean Journal of Applied Statistics
• /
• v.36 no.1
• /
• pp.21-32
• /
• 2023

The amount of money processed in medicine from the Korea Consumer Agency was studied by the various time series models. The medical data set from the Korea Consumer Agency were consisted of counseling, damage relief and conciliation. For the analysis of time series, autoregressive moving average model, vector autoregressive model and the transfer function model were used. We considered the stationarity and cross correlation function for the identification and fitting. As a result, the transfer function model showed a better prediction. Whereas, the vector autoregressive model also provided good information for the degree and duration of the influence of variables.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1166-1169
• /
• 2008

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

• The KIPS Transactions:PartD
• /
• v.14D no.1 s.111
• /
• pp.131-138
• /
• 2007

This study developed an efficient model for measuring personal information competency in an enterprise of the information environment. This model includes four measurement domains, twelve factors and feasible measurement items. This verified the validity and reliability of the developed model by factor analysis and reliability analysis through a pilot test with the application of SPSS software, and presented the concrete measurement items that tn efficiently gauge personal information competency. The developed model was applied to the measurement of 264 workers in an enterprise in order to testify its practicability and utilization, and the measurement results were presented. This model will contribute to improving the information competency of human resources in industrial fields.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1429-1432
• /
• 2011

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1162-1165
• /
• 2008

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1585-1588
• /
• 2005

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

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.217-221
• /
• 1998

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

• Journal of the Korean Society for Library and Information Science
• /
• v.38 no.1
• /
• pp.247-261
• /
• 2004

According to several researches and news reports on the lottery system for a school entrance, the private education fee, lower quality of education and classroom crisis at our real education settings are serious. The author analyses that those problems are not because of the lottery system for a school entrance itself, because of not changing the lecturing to all the students in a class into proper teaching and learning method for school condition regards to the lottery system changed 30 years ago. The lottery system makes that the different levels of students are in one class. The author recommends changing the general lecturing into the teaching and learning method by using the information processing models which are made for individual study. She also interprets the synthesis level of a information processing model for the use of teachers and librarians. The synthesis level is most ambiguous process for students when they organize the information gathered into a report.

• Journal of Convergence for Information Technology
• /
• v.10 no.7
• /
• pp.14-19
• /
• 2020

This study suggests an accounting information processing model based on internet standard XBRL which applies an extensible business reporting language, the XML technology. Due to the differences in document characteristics among various companies, this is very important with regard to the purpose of accounting that the system should provide useful information to the decision maker. This study develops a data mining model based on XML hierarchy which is stored as XBRL in the X-Hive data base. The data ming analysis is experimented by the data mining association rule. And based on XBRL, the DC-Apriori data mining method is suggested combining Apriori algorithm and X-query together. Finally, the validity and effectiveness of the suggested model is investigated through experiments.