• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.325-328
• /
• 2000

프로야구경기의 승패 예측의 문제는 그리 쉬운 일이 아니다. 왜냐하면 경기에 영향을 미치는 요소가 무한하기 때문이다. 예를 들어, 경기당일의 선수들의 컨디션이나 사기, 경기당일의 날씨, 구장요건, 상대팀에 대한 심리적 요인등 사전에 경기영향을 미치는 요소가 무한하다. 본 연구실에서는 과거 경기기록 자료를 기반으로 유용한 규칙을 찾아내어 분류트리를 만들어 학습하는 ID3 알고리즘을 프로야구 승패예측 시스템 구성에 사용하여 보았으나, 이산적인 자료의 처리로 인해 연속적인 경기자료를 고려하지 못하는 문제로 예측율이 더이상 향상되지 않았다. 따라서, 본 논문에서는 휴리스틱 방법을 이용한 경기전 예측과 경기중 예측을 이닝별 득점으로 세분화하여, 실제 경기상황을 고려한 일반적인 예측모형을 만들어 예측율을 향상시키고자 한다. 향후에는 더욱 세분화시켜 Case-based에 의한 예측을 하고자 한다.

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

위치기반 서비스는 일반적으로 사용자에게 매우 유용한 정보를 제공하기 때문에 위치기반 서비스를 제공하는 시스템 개발이 활발히 진행되고 있다. 하지만 위치기반 서비스 시스템 개발 초기에 설계중인 시스템을 최적화하기 위한 방법에 대한 연구는 찾아보기 힘들다. 본 논문은 설계중인 위치기반 서비스 시스템을 분석하는 시뮬레이션 방법을 소개한다. 제안하는 방법은 자연어로 기술된 전통적인 위치기반 서비스 시스템의 페트리 넷 모형을 구축하고, 시뮬레이션을 실행하여 설계 중인 시스템이 사용자가 요구하는 서비스의 질을 만족하는지 그렇지 않은지를 판단한다. 전자의 경우에는 자원을 절약하여 시스템 구축비용을 절감하는 방안을 모색할 수 있으며, 후자의 경우에는 설계 중인 시스템을 최소의 비용으로 보강하는 방안을 시뮬레이션을 통하여 모색할 수 있다 .

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2002.05a
• /
• pp.106-111
• /
• 2002

해상운송에서 규모의 경제 이익을 달성하기 위해 선박의 크기가 대형화되고, 항만이 중심항만과 주변항만으로 양분화 되어감에 따라 컨테이너 터미널의 효율적 운영을 통한 경쟁력 확보가 중요시되고 있다. 컨테이너의 효율적인 적하는 선박의 효율과 양적하에 직접 관여하는 터미널 중심 장비인 켄트리 크레인의 효율을 극대화하도록 계획되어야 한다. 적하 문제는 선박의 크기와 각 터미널에서의 적하량에 종속되는 NP-hard 문제이다 본 연구에서는 컨테이너 적하 문제를 크게 두 개의 단계로 나누어 적하 계획을 수행한다. 무한한 경우의 수를 두 단계로 나눈 계획 시스템에 의해 크기를 줄인다. 첫 번째 단계는 컨테이너를 선박의 각 해치별로 배치하는 단계이고, 두 번째 단계는 각 해치별로 배정된 컨테이너를 특정 슬롯에 배치하는 것이다. 이렇게 분해된 문제의 각 단계에서 유전 알고리즘(Genetic Algorithm)을 사용하여 최적의 적하계획을 세운다. 그리고 정기 컨테이너선의 운항모형을 수립하고, 각 항구에서의 양·적하를 수행하여 구축된 시스템의 적합성을 시뮬레이션하여 평가한다

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.430-440
• /
• 1997

The knowledge repressenatation technique by production rule has been popular method to represent to represent the experts'dxpertise in expert systems.In this paper,we propose a method to verify the integrity of rule base.Proposcd method models rule base as a Petri net and utilizes the systematic strucutural properties of the petri net for berifi-cation.We describe the pricesure to check rule base at both local and global level intermal verification.

• Proceedings of the Safety Management and Science Conference
• /
• 2004.11a
• /
• pp.115-123
• /
• 2004

Replacement problems can be classed as either deterministic of stochastic. Deterministic problems are those in which the timing and the outcome of the replacement action are assumed to be known with certainty. Before proceeding with development of replacement models it is important to note that preventive replacement actions, that is, ones taken before equipment reaches a failed state, require two necessary conditions: (1) The total cost of the replacement must be greater after failure than before. (2) The failure rate of the equipment must be increasing. Equipment is subject to failure. On failure, one of two possible actions can be taken : repair or complete replacement of the failed equipment. In this paper, we proposed optimal overhaul, repair, replacement maintenance model with two-state.

• IE interfaces
• /
• v.8 no.2
• /
• pp.161-169
• /
• 1995

In this paper, a threshold policy is considered for the Markovian queueing system with server vacations. The threshold policy considered in this paper has the following form: "when the number of customers present in the system increases to N, the server is turned on and serves customers until the system becomes empty". In this paper, we show how the finite capacity or finite population queueing system under a threshold policy can be modeled by the stochastic Petri net. The performance evaluation of the model is carried out using the software called "SPNP". Some examples are also presented in which it is shown that how the optimal threshold policies can be obtained under a linear cost structure.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.139-141
• /
• 2012

이 논문에서는 한국인 급성심근경색증 환자에 대한 KAMIR 데이터를 기반으로 ST분절상승 심근경색이 처음 발병한 환자의 사망에 영향을 미치는 위험요소들을 찾고, 이를 기반으로 ST분절상승 급성심근경색환자의 1년 이내 사망을 예측하는 모델을 제시한다. 총 22개의 속성 중에서 속성 선택 알고리즘을 적용한 결과 나이, 심장박출계수, 크레아티닌, 고감도 C-반응성 단백질 등 4개의 속성이 선택되었고, 이 속성들을 이용하여 더욱 정확한 예측 모델을 구축할 수 있었다. 제시된 모델을 통해서 고위험군 환자의 위험성을 평가하고 예후를 추정할 수 있을 것으로 기대한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.815-820
• /
• 2000

Variable Reference Graph 는 C 언어로 작성된 프로그램으로부터 상호 절차적인 자료 흐름 분석 정보를 수평적 방향 그래프(directed graph)로 자동 생성해주는 역공학(reverse engineering) 도구들 중 하나이다. 본 논문에서는 판독성 있는 구조적 정보를 제공하기위한 그래픽 표현의 전략을 바탕으로 JAVA 로 구현된 그래픽 사용자 인터페이스(graphic user interface) 및 그래프 레이아웃 알고리즘(graph layout algorithm)을 기술한다. 이 알고리즘은 4 단계로 구성되어 있다: 정보 모형, 레벨 알고리즘, 순서 알고리즘, 위치 알고리즘. 각 단계별에서 수행되는 주요 알고리즘을 살펴 본다. 특히, 이 알고리즘들은 사이클(cycle) 및 비사이클(acyclic) 방향 그래프, 그리고 트리(tree)를 수평적 계층 구조를 생성하는데 사용될 수 있다. 본 논문에서 구현된 Variable Reference Graph 는 소프트웨어 재공학 도구를 개발하는 RESORT(RESearch on object-oriented SOftware Reengineering Technology) 과제에서 개발되었다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.01a
• /
• pp.27-30
• /
• 2021

경제 성장과 함께 자동차의 수요가 늘어남에 따라 교통사고 발생 빈도는 꾸준히 증가하고 있다. 이에, 본 연구에서는 교통사고를 야기하는 도로 및 기상환경과 같은 조건을 활용하여 기계학습 모델을 통해 서울시 교통사고 사상자 수를 예측하는 모형을 찾고자 한다. 활용한 데이터는 도로교통 공단에서 제공하는 교통사고 사상자 수 정보를 포함하는 데이터로 2015년부터 2018년도까지 데이터를 학습에 사용하였고 2019년도 데이터를 테스트 평가에 사용하였다. 실증연구를 통해 트리 기반의 모델 별 성능을 비교하였으며 본 연구에 대한 결과는 사고 발생 시 우선순위에 의한 구조활동이 가능하게 함과 도로상황 및 기상을 고려한 안전운전 가이드 지식으로 활용될 수 있다.

• The Journal of the Korea Contents Association
• /
• v.13 no.8
• /
• pp.474-481
• /
• 2013

The purpose of this study is that pre-service teacher are able to design creative instruction based on NFTM-TRIZ for building up their continuous creative thinking and promoting their creative instruction activities. NFTM-TRIZ is a educational technology system to form and develop creative thinking from child to adult continuously based on TRIZ theory. TRIZ is the thinking technique of creative problem solving that can be the tool of inventory solutions by finding and get over the key of contradiction that is necessary to obtain ideal final results of suggested problems. The subjects for this study were 90 pre-service teachers who are attending third and fourth graders of Teachers' College in G university and are taking 'Curriculum and Educational Evaluation'. The creativity program for this study was carried out for ten minutes at the end of lectures. The verification for this study results were performed two faces. First, pre-service teachers presented teaching and learning plan for one time used 8 Steps' Teaching and Learning Model based on NFTM-TRIZ. Second, researcher got feedback from them about this creative program.