• Proceedings of the KIEE Conference
• /
• 1986.07a
• /
• pp.219-226
• /
• 1986

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.474-479
• /
• 2006

컴퓨터 기술이 발전함에 따라 3 차원 입력시스템을 통한 모델링이 가능하게 되었다. 2 차원 시스템은 평면 입력을 공간상의 데이터로 바꾸기 위한 많은 기능과 메뉴들이 존재하지만 3 차원 시스템에서는 그러한 복잡한 기능 없이 입력 데이터가 곧바로 모델링에 적용될 수 있다. 하지만 아직까지 3 차원 입력시스템에서 모델링을 수행하는 디자이너에게 익숙한 스케치 방법을 고려하지 못하고 있는 실정이다. 디자이너에게 가장 익숙한 모델링 방법은 스케치북에 선으로 그림을 그리는 것이기 때문에, 모델을 변형하는 방법은 이를 벗어나지 않도록 해야 한다. 평면 스케치에서 디자이너가 그리는 선은 모델의 윤곽을 잡아주고 모델의 특징이 되는 부분을 표현하게 된다. 이러한 선의 입력을 통한 스케치를 3 차원 모델링에서 그대로 사용하기 위해서는 공간에서의 점이나 면이 아닌 선의 입력을 모델링에 적용할 수 있어야 한다.

• School Mathematics
• /
• v.6 no.3
• /
• pp.283-299
• /
• 2004

It is a very important objective of mathematical education to lead students to apply mathematics to the problem situations and to solve the problems. Assuming that mathematical modeling is appropriate for such mathematical education objectives, we must emphasize mathematical modeling learning. In this research, we focused what mathematical concepts are learned and what reasoning are applied and used through mathematical modeling. In the process of mathematical modeling, the students used several types of reasoning; deduction, induction and abduction. Although we cannot generalize a fact by a single case study, deduction has been used to confirm whether their model is correct to the real situation and to find solutions by leading mathematical conclusion and induction to experimentally verify whether their model is correct. And abduction has been used to abstract a mathematical model from a real model, to provide interpretation to existing a practical ground for mathematical results, and elicit new mathematical model by modifying a present model.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.369-371
• /
• 2001

본 논문에서는 경량전철시스템 기술개발사업에서 개발하고자하는 차량시스템, 신호제어시스템, 전력공급시스템 및 선로구축불의 목표신뢰도를 정의하였다. 이 목표신뢰도의 배분은 국내지하철의 고장유형 및 철도분야에 축적되어있는 고장율을 바탕으로 작성되었다. 특히, 차량시스템분야는 보다 자세히 목표신뢰도를 배분하였다. 이러한 목표신뢰도 배분을 통하여 경량전철 시스템의 각 개발단계마다 이루어지는 개발활동(설계, 제작 및 구매)의 검증을 수행하여야 신뢰성을 확보한 경량전철시스템개발이라는 궁극적인 목적을 달성할 수 있다. 목표신뢰도 배분에 맞추어 경량전철시스템개발동안 제동장치, 추진장치, 출입문장치, 제어장치 등 고장시 열차의 운행을 정지시킬 수 있는 구성품에 대한 신뢰도를 모델링하여 신뢰도 예측 및 분석하고 이에 맞추어 설계검증 및 보안을 한다. 또한 경량전철시스템의 시험선로에서의 주행시험을 통하여 국내 경량전철시스템에 적합한 신뢰도 기준을 마련하고자 한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2011.05a
• /
• pp.501-502
• /
• 2011

국가R&D정보는 R&D과제, 참여인력, 성과, 장비정보등으로 구성되며, 특히 R&D과제의 참여인력정보를 기반으로 한 의미기반서비스를 위해서는 인력 온톨로지의 모델링이 중요하다. 온톨로지 모델링을 어떻게 하느냐에 따라서 구현 가능한 의미기반서비스의 범위가 달라지며, 구성하는 데이터에 대한 이해도와 서비스 종류에 따라 모델링을 다르게 할 수 있다. 국가R&D인력정보기반 의미기반서비스는 인력정보의 현황과 특성에 대한 이해를 통해 연구자들이 협력대상 연구자와 평가위원 후보를 쉽고 효율적으로 탐색 활용할 수 있는 정보이용환경을 제공하는 것을 목표로 한다. 본 논문에서는 보다 지능화된 의미기반 추론서비스 제공을 위한 국가 R&D 인력정보의 온톨로지 모델링 및 활용 사례를 제시하고자 한다.

• Journal of Intelligence and Information Systems
• /
• v.4 no.2
• /
• pp.85-102
• /
• 1998

현재의 시스템 개발 프로젝트에서 대부분의 기업은 관계형 데이터베이스를 목표 환경으로 채택하고 있지만 설계자들은 기존의 파일 시스템이나 계층형 데이터베이스의 설계 방식을 관계형 데이터베이스 설계 시에도 그대로 적용하려는 경향이 있다. 또한 모델링 시 시스템 특성과는 무관한 업무 중심의 엔티티 관계도를 작성함으로써 구현 시에 모델을 상당 부분 변경하거나 추가해야 하는 오버헤드가 발생하기도 한다. 관계형 데이터베이스의 경우 구조를 어떻게 설계하느냐에 따라 효율의 차이가 크게 나타나므로 성능 향상을 위한 데이터 모델링 기법이 중요한 이슈로 등장하게 되었다. 본 논문에서는 관계형 데이터베이스 성능과 관련하여 이미 연구되고 실험된 내용을 여러 문헌과 자료를 참고하여 조사하였다. 성능 항상을 위한 모델링 기법들을 테이블, 릴레이션쉽, 인덱스 등의 객체별로 분류하여 정리하였고, 조사된 내용 중에서 몇 가지를 선택하여 Oracle DBMS 환경에서 실제로 실험을 실시하였다. 대용량 테이블에 대한 질의를 수행하여 소요되는 시간을 측정하고 그 결과를 분석하였다. 실험을 통해 검증된 결과를 토대로 제안되는 모델링 방법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.166-168
• /
• 2005

워크플로우 관리시스템(Workflow Management System)은 업무 프로세스를 실행하기 위해 사전에 정의된 룰에 따라 태스크들을 수행하는 시스템으로, 프로세스 정의를 interpreter하고 워크플로우 참석자들과 상호작용하며 해당 응용 프로그램을 invoke할 수 있는 시스템이다. 정의된 업무를 수행하기 위해서는 사전에 프로세스 정의 및 모델링이 필요하다. 프로세스 모델링이란 조직의 목표 달성을 위해 다양한 비즈니스 규칙에 의해 정의된 상호연관이 있는 작업들의 수행과정을 정의하는 것으로 본 논문에서는 업무 프로세스를 모델링하고 관리하기 위한 비즈니스 프로세스 모델링 도구를 설계하고 구현하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.293-294
• /
• 2013

다양한 생물체의 행동 원리를 이용하여 모델링한 알고리즘을 생체모방 알고리즘(Biologically Inspired Algorithm)이라고 한다. 본 논문에서는 생체모방 알고리즘 중 동물 집단의 행동을 모델링한 플로킹 알고리즘(Flocking Algorithm)을 이용한 집단 게임 캐릭터의 길찾기 방법을 제안한다. 플로킹 알고리즘의 조타행동은 크게 분리(Separation), 정렬(Alignment), 응집(Cohesion), 회피(Avoidance)로 구성되어 있다. 게임에서의 기존 플로킹 알고리즘은 주로 여러 개의 몬스터나 NPC 들로 구성된 몇 개의 그룹 단위로 독자적인 집단 행동을 하는 경우에 적합하다. 그러나, 게임플레이어가 제어하는 캐릭터가 많은 경우, 기존 알고리즘은 플레이어가 선택한 캐릭터 그룹을 목표지점으로 이동하는 방법으로 적합하지 않다. 따라서 본 논문에서는 게임 플레이어가 제어하는 집단 게임캐릭터의 목표 지점까지의 길찾기를 위한 수정된 정렬 조타행동 알고리즘을 제안한다.

• KIISE Transactions on Computing Practices
• /
• v.23 no.4
• /
• pp.256-261
• /
• 2017

The notion of System of Systems (SoS), which is composed by many independent systems (i.e., Constituent Systems, CS), has emerged in various domains including social infrastructure. It is widely expected that complex requirements, which cannot be achieved in each CS-level, will be achieved in an SoS-level. While verification of SoS-level goal achievement is one of the most important problems, concrete case studies on SoS modeling and verification are still rare. In this paper, we focus on the fact that each CS performs an action for its own purpose by its own decision-making mechanism. We propose a novel Action-Benefit-Cost (ABC) SoS model which caters to the independent decision-making mechanisms of CSs. Using an abstract SoS example, this proposal provides a case study for the modeling and quantitative verification of the ABC SoS model.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.