• The Journal of the Korea Contents Association
• /
• v.9 no.12
• /
• pp.467-476
• /
• 2009

As web technology and educational environments are in rapid progress, web-based cooperative learning systems have gained a lot of interests. Recently some studies have attempted to combine a learning system and simple games that enable learners to actively participate and have high interests in learning. These studies are based on TGT model, a cooperative learning model using games, and mostly remain system design levels. A few implemented systems have many problems because they focus only on pure TGT model. To solve these problems, this paper builds a extended TGT model and a new web-based cooperative learning system using this new model. The extended part contains ideas such as expert learning from Jigsaw II model, improvement scores from STAD model and making game problems by learners. A system using pure TGT model and a suggested system are implemented and used by two classes of middle school students to evaluate our system. The experimental results show that our system outperforms the other system.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.8
• /
• pp.77-83
• /
• 2016

International standards for systems safety have been established in various areas of industry. Such standards recommend that safety design activities be carried out early on in the beginning of systems development. Hazard analysis should be done in close interaction with the conceptual design of the system. This paper focuses on how to verify whether the safety goals are met while considering system design issues. The architecture of the underlying system was first modeled using SysML, a systems modeling language, and then hazard analysis was performed based on architectural information to obtain a system failure model. Thereafter, an integrated model was developed by combining the SysML failure model and the architectural model, and then safety designs were added to prevent system failure. Finally, a simulation of the developed model was performed to see if a system functions even when some components are failing.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.13 no.1
• /
• pp.115-127
• /
• 2000

The purpose of this study is to propose the Design Object Model for implementation of an integrated structural design system for building structures. This study outlines the step-by-step development methodologies of the Design Object Model, which covers classification and modeling of the building design information. The Design Object Model has been efficiently developed through the proposed development methodologies. As a result, the Design Object Model has been proved to be efficient in design information management by representing the information from planning perspective, in recognition of structural member in space by the topology design object, and in representation of analysis s design information.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.2
• /
• pp.267-272
• /
• 2010

This paper suggests an evaluation method through corporate culture's evaluation model considering the relationship and affection between types and elements of corporate culture. 314 data obtained from the members of small and medium enterprises analyzed the relationship by the correlation analysis, and the degree affecting rate the corporate culture types by the regression analysis. Finally, fuzzy system was used to analyze the evaluation model of the corporate culture type. The evaluation model of the corporate culture types in this paper is mixed possibility and necessity sides and showed the usefulness through reviewing the model which has an identification problem of the fuzzy system estimated fuzzy relation matrix for corporate culture types using the model.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 1999.10a
• /
• pp.163-167
• /
• 1999

컴퓨터가 일반화됨에 따라 대기질 관리 및 연구 분야에서 수치모델 이용이 보편화되고 있다. 현재 사용되는 대기오염 수치모델의 종류는 매우 다양하며, 구동에 필요한 전산시스템의 규모도 다양하다. 연구용 및 대형 모델들은 활용 분야가 넓고 신뢰도가 높은 반면 대형 전산시스템과 고도의 전문 인력을 요구한다. 그러나, 국내 대부분의 대기질 관련 기관의 사용 가능한 전산시스템과 담당 인력을 고려할 때 대형 모델의 사용이 일반화되기에는 한계가 있다.(중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.239-241
• /
• 2000

이동에이전트 시스템의 상용화 시작과 더불어 이동에이전트 시스템에 대한 신뢰성 향상의 노력이 시작되었다. 이러한 노력에 부응하여 이동에이전트 시스템 XMAS에서는 신뢰성 향상을 위한 방법으로 트랜잭션 개념을 도입하고 있다. 트랜잭션 개념의 도입으로 이동에이전트 수행결과의 일관성 유지가 가능하여 데이터에 대한 신뢰성 향상을 기대할 수 있다. 이동에이전트는 기존 트랜잭션 모델과는 다른 다양한 특성을 갖는다. 따라서 이동에이전트가 하나의 트랜잭션으로 처리되기 위해서는 기존 트랜잭션 모델과는 다른 트랜잭션 처리방법이 고려되어야 한다. 본 논문에서는 기존 트랜잭션 모델에서 발견되지 않는 이동에이전트의 특성을 알아보고 이러한 특성들이 트랜잭션 모델과 트랜잭션 처리방법에 미치는 영향을 살펴본다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.23-28
• /
• 2002

최근에 분산 시스템과 같이 이기종의 컴퓨팅 환경을 효율적으로 통합하는 방법에 관한 다양한 연구가 진행되고 있다. 네트워크 보안에서는 각 보안 시스템들이 효율적인 침입탐지와 차단을 위해서 분산화되고 있으며 분산된 보안 시스템들을 조정하고 통합하기 위해서 분산인공지능(Distributed Artificial Intelligence)의 개념을 도입하고 있다. 본 논문에서는 분산침입탐지 시스템(Distributed Intrusion Detection System)과 침입차단 시스템(firewall)이 계약망 프로토콜(Contract Net Protocol)에 의해 상호 연동하여 외부 네트워크에서 유입된 패킷의 정보를 통해 침입을 탐지하고 차단하는 네트워크 보안 모델을 설계하였다. 본 연구진이 구성하고 있는 시뮬레이션 환경에서는 네트워크에 존재하는 다양한 보안 모델들을 계층적으로 구성하기 위해 DEVS 방법론을 사용하였다. 보안 시스템의 연동은 계약망 프로토콜에 의해 이루어지는데 네트워크에 분산되어 있는 각각의 전문성을 가진 침입탐지 에이전트들이 중앙 콘솔에 비드(bid)글 제출하고 중앙 콘솔은 최상의 비드를 제출한 에이전트를 선택하여 침입을 탐지하게 된다. 그리고 탐지된 정보를 참조하여 침입차단 시스템은 능동적으로 침입을 차단하게 된다. 이와 같은 모델의 설계를 통해서 기존의 침입탐지 시스템들이 탐지하지 못한 침임을 탐지하게 되고 보안시스템에서의 오류발생빈도를 감소시키며 탐지의 속도를 향상시킬 수 있다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.03a
• /
• pp.112-115
• /
• 1998

본 논문은 퍼지 추론 시스템 모델의 최적화를 제시한다. 비선형적이고 복잡한 실시스템의 특성을 해석하는 방법으로써 시스템의 정적 혹은 동적 특성을 묘사하기 위해 퍼지 모델이 사용된다. 그러나 퍼지 시스템의 동정은 경험적 방법에 의해 규칙을 추출하기 때문에, 보다 논리적이고 체계적인 방법에 의한 추출 방법의 고찰이 필요하다. 제안된 규칙베이스 퍼지모델은 GA 및 퍼지규칙의 이론을 이용한 시스템 구조와 파라미터 동정을 시향한다. 두형태의 퍼지모델 방법은 간략추론 및 선형추론에 의해 시행된다. 본 논문에서는 퍼지 추론 시스템의 전반부 파라미터 동정을 통해 퍼지 입력공간을 정의함으로써 비선형 시스템을 표현한다. 전반부 파라미터의 동정세는 유전자 알고리즘을 사용하고, 후번부는 표준가우스 소거법을 사용하여 동정한다. 최적화는 유전자 알고리즘에 기초한 자동-동조 방법이며, 학습 및 데이터의 성능결과의 상호 균형을 얻기 위한 하중값을 가진 성능지수가 제시된다.

• Journal of Bio-Environment Control
• /
• v.5 no.2
• /
• pp.111-119
• /
• 1996

The purpose of this study is to construct the main system of simulator for the environment control of agricultural production facilities. The model describing the system was based on the energy and mass balance in an unsteady - state situation. The model consist of the three major parts : the main model, the light model, and the environmental control model, and each part was separated to be developed individually. The main model which is the core of this system includes the thermal model, the soil model, the ventilation model, the cultivation model, and the carbon dioxide model. And also the environmental control model includes the thermal curtain model, the heater/cooler model and the underground heat exchanger model. The equations used in this model were written in analog programming methods using PCSMP The simulator was evaluated through comparison between simulated and measured temperatures controlled during daytime and night. The results showed good agreements between the predicted and measured temperatures.