• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.07a
• /
• pp.395-396
• /
• 2014

최근 급증하는 교통 혼잡으로 인해 시간적/물리적 손실이 크게 발생하고 있다. 이러한 교통난 해소는 시설투자만으로는 근본적인 해결책이 될 수 없다는 판단 하에 지난 수년간 보다 정확한 교통량을 예측하기 위해 다양한 교통량 예측 모델들이 개발되어왔다. 그러나 기존 모델들은 회기분석을 통해 과거 교통량을 분석하고 과거의 교통패턴이 미래에 지속적으로 연장된다는 가정 하에 연구되었기 때문에 실시간으로 급변하는 불규칙한 교통 패턴에 대한 예측의 신뢰성을 떨어트린다. 이를 위해 본 논문에서는 큐잉 네트워크 모델 기반의 교통량 예측 모델을 설계 하고 이를 바탕으로 안드로이드 기반의 애플리케이션을 구현하였다.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.31 no.2
• /
• pp.21-24
• /
• 1994

공학설계에 있어서 보다 합리적인 최적설계 혹은 최적과 근사한 설계안을 얻기 위해서는 최적화모델에 표현할 수 없는 설계과정의 경험적 지식이나 의사결정과정을 지운할 수 있는 지식기반시스템이 결합되어야 할 필요가 있다. 본 글에서는 수치적인 계산결과만을 제공하는 최적화 기법의 한계와 기호처리에 중점을 두고 있는 지식기반시스탬의 한계를 극복하여, 보다 현실적인 최적 설계안을 도출할 수 있는 지식기반 최적설계시스템에 관한 연구현황과 관련기술을 살펴보았다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.136-139
• /
• 2010

실시간 시스템에서는 계산 결과의 논리적 정확성과 결과가 산출되는 시간의 정확성을 요구한다. 이러한 요구사항을 지원하기 위해 UCI Dream Lab에서 제안한 적시 서비스 능력을 보장하는 실시간 객체인 TMO 객체를 토대로 자동 코드 생성기의 설계를 제시한다. 기존의 모델 기반 개발방법론은 시스템을 추상화하고 그 모델을 상세화 과정을 거쳐 구현에 필요한 정보를 갖게 되고, 이를 바탕으로 자동으로 코드를 생성 할 수 있게 된다. 기존의 도구들은 표준 UML을 사용하고, 표준 UML은 시간 제약 조건을 기술하는 방법을 제공하지 않기 때문에 이에 따라 개발된 실시간 시스템 코드 자동 생성기는 완전한 코드를 생성하지 못한다. 본 논문에서는 실시간 시스템 개발에 모델 기반 개발방법론을 적용하기 위해 TMO객체를 이용하여 기존 UML 모델의 구조 모델과 행위 모델에 실시간 특성을 추가해 확장하고 확장된 모델을 토대로 자동 코드 생성기의 설계를 제안한다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.9 no.1
• /
• pp.77-84
• /
• 2004

Recently, as the number of entities participating in the Grid system increased, the response time of LDAP system became inadequate. Consequently, we have to design new LDAP that suitable for high performance Grid environments. For this, researches about analysis of performance LDAP system are needed firstly. However, because researches are focused mostly on read operation optimized environments, so these result of researches are not directly applied to high performance Grid environments that write operation occupies most. In this paper, we provide overall results of analysis of performance of LDAP system with respect to number of node, query arrival rate, probability of read and so on. The analysis is based on in analytic performance model by applying the M/M/1 queuing model. Finally, based on the results, we suggest the direction for the design of high performance LDAP system and this research results can be applied as basic materials to design of GIS in high performance Grid environments as well as.

• Journal of the Society of Disaster Information
• /
• v.18 no.4
• /
• pp.891-898
• /
• 2022

Purpose: There is not much time left for mandatory BIM implementation for all sectors and stages of the construction industry. Therefore, it is necessary to find a way to secure technology to substantially improve the productivity of BIM work. In the research, we proposed a method to automatically verify related construction standards for major objects produced by BIM modeling procedures so that engineers can verify construction standards in the BIM-based design process. Method: We defined a modeling work procedure for BIM-based road design work and prepared a method for constructing related design standards in a database. In addition, a process map for developing a BIM-based design basis review automation system was also presented. Result: A BIM-based design standard review automation module was developed using Civil3D and Dynamo. And it was confirmed by the test application that it is possible to quickly judge whether the BIM object manufactured in the design process conforms to the construction design standard. Conclusion: BIM-based design standard review automation technology can improve the productivity of BIM model production work and secure the quality of the BIM model.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.2
• /
• pp.67-76
• /
• 2004

The problems of developing web based adaptive hypermedia for education using XML are discussed in this paper. We define two different markup languages using XML. The one structures the domain model and the another describes the user model. These language can be easily extended and authored, with the result of obtaining a simple methodology for data structuring in the field of web based educational adaptive hypermedia. Also, We have suggested three learning rules that automatically restructures hypertext networks according to their user browsing behavior. The user profile is contained in a user model, while the knowledge about the domain can be represented in the form of a concept based domain model. Accordingly.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.400-402
• /
• 2004

임베디드 시스템 개발의 성공여부는 정점 하드웨어에서 소프트웨어쪽으로 비중이 옮겨지고 있다. 그런데 임베디드 소프트웨어 개발은 하드웨어를 설계하고 구현하는 것에 드는 비용보다 더 않은 비용으로도 효과적이지 못한 실정이다. 또한 임베디드 소프트웨어 개발자들에게는 제한된 자원과 절러 가지 환경 변수를 고려해야 하는 부담이 따른다. 모델기반의 개발 방법은 비용-효율적이고 고품질의 소프트웨어를 개발하기 위한 연구이다. 본 논문은 임베디드 소프트웨어인 로봇 작동 프로그램을 모델기반으로 개발한 경험과 결과를 소개함으로써 임베디드 소프트웨어 개발자들이 쉽게 모델기반의 개발 방법을 적용할 수 있도록 한다.

• 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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.8A
• /
• pp.1378-1387
• /
• 2001

인터넷 서비스의 다양화와 네트워크의 대형화로 인하여 서브 도메인(Subdomain) 및 도메인을 포함한 인터넷 전체에 걸쳐 적용할 수 있는 계층적 구조의 보안 모델의 정의와 이 모델을 기반으로 하는 보안 정책 프로토콜의 표준화가 요구되고 있다. 이 논문에서는 기존 보안 정책 서버 구조를 기존의 Internet-Draft 문서를 통해 분석하고 그것을 바탕으로 계층적 보안 정책 구조를 제시한 후 보안 정책 연동 프로토콜을 설계한다. 이를 위해 보안정책 프로토콜을 확장하고 그룹개념을 위한 질의와 레코드를 확장 설계하고 계층적 보안 모델에서 효과적인 보안정책 상속 및 수정을 위한 갱신 레코드를 정의한다. 또한 동일한 정책 속성을 갖는 호스트들의 모임을 그룹으로 정의하고, 이 개념을 기반으로 효율적인 연동 메커니즘을 설계한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1460-1463
• /
• 2012

본 논문은 대형복합 체계인 국방무기체계를 설계 프로세스에 따라 SysML 을 적용하여 개발하는 방법 및 사례에 대해 다룬다. ISO-IEC 15288 에 제시된 기술 프로세스의 핵심 단계인 요구사항 분석, 기능 분석, 이키텍처 설계를 모델 기반으로 수행하는 것은 이해관계자 사이의 의사소통을 원할히 유지하는 효과적인 방법이다. 더불어 SysML 을 기반으로 작성된 체계 모델은 S/W 설계를 위해 많이 사용되는 UML 과 설계 일관성을 유지하기 용의하다. 본 논문은 SysML 을 통해 체계 개발에 필요한 단계별 모델의 종류와 사용방법을 대공유도무기 사례를 통해 제안하고자 한다.