• Proceedings of the Korea Contents Association Conference
• /
• 2004.11a
• /
• pp.564-569
• /
• 2004

Most existing ontologies are suited for static knowledge, so they lack capability of representing procedural knowledge which is essential for an agent's action control or inference in the virtual world. Also they are not prepared to describe objects beyond their fixed ranges of domains as designed. In this paper we propose cyber-microcosm ontology (CMO) which augments procedural aspects and expressive power for multiple forms rather than fixed form as in conventional ontologies. The resulting ontology will provide an enhanced knowledge structure to capture procedural aspects of agents' actions and to facilitate their associated inferencing. The procedural aspects of the CMO are designed based on action frame formed according to diverse elements. They are elaborated in terms of various qualifiers and quantifiers to reflect statistical natures over time and instances.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.388-390
• /
• 2001

기존 인터넷 정보 검색 환경에서 사용자는 특정 목적을 달성하기 위해 비연속적이며 다단계의 정보 검색 과정을 경험해 왔다. 본 논문은 다단계로 구성된 정보 검색 과정을 절차적 정보 검색으로 규정하고 이를 위한 서비스팩(ServicePack) 개념을 정립한다. 또한 모바일 환경에서의 정보검색, 정보 검색 경험들의 축적, 공유, 개인화, 확장 및 재사용의 개념을 서비스팩 개념에 결합한다. 그리고 서비스팩 환경 구축을 위한 프레임웍을 설계하여 제시한다.

• Journal of Software Assessment and Valuation
• /
• v.15 no.2
• /
• pp.25-33
• /
• 2019

In copyright dispute on software, appraisal procedure is needed, which is regarded as an implementation of the right to fast trial. Considering that, in practice, there has been a long discussion of attempting to operate the software appraisal as a summary procedure. This was done usually by reducing the resources devoted to the summary procedure, however, this way inevitably makes difference in a result obtained through the procedure. Therefore, this research reviewed the previous operation of summary procedure in software appraisal, focusing on intrinsic nature of the summary procedure and role of software appraisal in the trial process.

• Journal of Advanced Navigation Technology
• /
• v.20 no.4
• /
• pp.292-297
• /
• 2016

Since continuous descent operations (CDO) is one of several tools available to aircraft operators and air navigation service providers (ANSPs) to increase safety, flight predictability, and airspace capacity while reducing noise, controller-pilot communications, fuel burn and emissions, widespread implementation of CDO would result in significant reductions in the environmental impact and aircraft operation costs in south korea as well. After analyzing each procedure from standard terminal arrival routes used for the Incheon international airport, it can be noticed that one of the procedures has a relatively high altitude constraint at initial approach fix than others, which lead the pilots to use unnecessary drag device in certain situations. Therefore we came to a conclusion that some arrival procedures need to be revised, so unnecessary procedure required during approach can be minimized, thereby reducing fuel consumption, noise and emissions compared to current approach procedures. And it is going to increase the safety margin significantly during approach phase due to reduced workload.

• Journal of Korean Society of Archives and Records Management
• /
• v.10 no.1
• /
• pp.7-29
• /
• 2010

This article intends to establish a creation, management and preservation process of digital oral records. Because oral records is the work that will record memories of survivors, it is necessary of creating, managing and preserving reliable oral records; Oral records is the work that needs cooperations among interviewer, interviewee and cameraman, the formulation of systematic process can be called an essential issues. Moreover creating, managing and preserving digital oral records need the formulation of systematic process. Therefore this article establish creation process and management and preservation process of digital oral records based on examining a generic character of digital oral records.

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

많은 embedded 소프트웨어는 전통적 절차적 언어인 C로 작성되며 embedded 시스템에 특화된 역할을 수행한다. 한편 기존 절차적 언어인 C는 현대의 객체지향적 개발 패러다임과 비교하면 코드의 확장성, 유지 보수성, 재사용성에 있어서 많은 어려움이 있으며 아직도 많이 사용하고 있지만 이 C의 유지 보수성과 확장성, 유연성을 확보하여 보다 생산적이고 유지 보수가 쉬운 패러다임으로서 함수 pooling이라는 개념과 이를 이용한 framework를 구현한다.

• Journal of Korean Society of Steel Construction
• /
• v.13 no.5
• /
• pp.577-586
• /
• 2001

The objective of this study is the development of sizing and system shape discrete optime design algorithm which is based on the genetic algorithms (GAs). The algorithm can perform both size and shape optimum designs of space trusses. The developed algorithm was implemented in a computer program. The algorithm is known to be very efficient for the discrete optimization The genetic process selects the next design points based on the survivability of the current design points The evolutionary process evaluates the survivability of the design points selected from the genetic process in the genetic process of the simple genetic algorithms there are three basic operators : reproduction cross-over and mutation operators. The efficiency and validity of the developed discrete optimum design algorithm was verified by applying the algorithm to optimum design examples.

• The Journal of the Korea Contents Association
• /
• v.14 no.10
• /
• pp.840-849
• /
• 2014

The paper shows that algorithm education positively affects algorithmic thinking for elementary students. Experiments are conducted on thirty five sixth graders without prior experience of algorithm. The experimental group is given eleven sessions of lesson for four weeks in which algorithmic solution is sought for graph coloring problems. After four weeks of experiments questionnaires are distributed to the students in order to measure differences in algorithmic interest and algorithmic thinking ability. The following results are obtained: Firstly, it may be observed that algorithm education with graph coloring may be effective in reinforcing students' interest in algorithms. Secondly, the experiment shows that algorithmic thinking ability may be enhanced from participating in graph coloring activities. In conclusion, algorithm education with graph coloring problem helps students develop algorithmic thinking ability as well as cultivate students' interest in algorithmic thinking.

• Journal of Korean Society of Steel Construction
• /
• v.13 no.6
• /
• pp.673-681
• /
• 2001

The objective of this study is the development of size, shape and topology discrete optimum design algorithm which is based on the genetic algorithm. The algorithm can perform both shape and topology optimum designs of trusses. The developed algorithm was implemented in a computer program. For the optimum design, the objective function is the weight of trusses and the constraints are stress and displacement. The basic search method for the optimum design is the genetic algorithm. The algorithm is known to be very efficient for the discrete optimization. The genetic algorithm consists of genetic process and evolutionary process. The genetic process selects the next design points based on the survivability of the design points selected form the genetic process. The evolutionary process evaluates the survivability of the design points. The evolutionary process evaluates the survivability of the design points selected form the genetic process. The efficiency and validity of the developed size, shape and topology discrete optimum design algorithm was verified by applying the algorithm to optimum design examples.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.424-428
• /
• 1997

원전 운전에는 그 수행에 필요한 많은 직무가 있고, 직무가 어떤 것인가에 의해 운전원에게 할당되는 직무와 기계 즉, 자동화된 설비에 할당되는 직무로 분류된다. 차세대 원전에 적용할 전자식 절차서에서는 단순, 반복적인 직무는 자동화 설비에, 인간의 판단과 같은 고도의 사고를 요구하는 직무는 운전원에게 할당하여, 인지해야 하는 정보의 수가 많고, 해당 운전상황을 정확하게 판단해야 하는 비정상 및 비상 운전시 운전원의 작업부담 (Work-load) 를 줄이고자 하는 방향으로 개발이 진행되고 있다. 본 논문에서는 기존 원전에서 적용하고 있는 절차서의 수행과정을 절차서 수행에 필요한 직무가 어떤 것들이며, 운전원의 어떤 행위에 의해 수행되는지의 관점에서 이들을 정성적으로 분석, 전자식 절차서 시스템에 적용할 절차서 수행 모델을 개발하고, 아울러 전자식 절차서 인간-기계 연계 화면에서 제공하고자 하는 주요 운전변수들의 표시형태를 확인, 구현해 보았다.