• The KIPS Transactions:PartA
• /
• v.10A no.4
• /
• pp.339-346
• /
• 2003

This paper provides a framework for information assurance within collaborative design, based on a technique we call role-based viewing. Such role-based viewing is achieved through integration of multi-resolution geometry and security models. 3D models are geometrically partitioned, and the partitioning is used to create multi-resolution mesh hierarchies. Extracting a model suitable for access rights for individual designers within a collaborative design environment Is driven by an elaborate access control mechanism. 

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.1
• /
• pp.60-66
• /
• 2001

We designed a role-based access control model that can resolve the complicated tasks of control requirements. The designed access control model can control permissions efficiently use of a role-based access control. It guarantees the confidentiality integrity and availa information making use of identity-based and rule-based access controls. It can also centre information flow. Our access control model protects resources from unauthorized accesses b multi-level security policies such as role, security level, integrity level and ownership.

• Convergence Security Journal
• /
• v.1 no.1
• /
• pp.1-7
• /
• 2001

This paper design a role-based access control model that can resolves the complicated problems of access control requirements. In this paper, we designed an access control model which can control a permission making use up role-based access control, can guard the confidentiality, integrity and availability of information and can control illegal information flow. The designed access control model can protect resources from unauthorized accesses based on the role, multi-level security policies of security level, integrity level and ownership.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.10
• /
• pp.410-417
• /
• 2018

System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.1
• /
• pp.29-35
• /
• 2011

In this paper, an integrated simulation model for designing multi-agent system based DEMS (distributed energy management system) in stand-alone micro-grid system is proposed. In the design of the EMS(energy management system), the multi-agent based DEMS are more effective than conventional centralized EMS, but it is difficult to design the DEMS by general design tools for power system because of various states of a microgrid system during operation of stand-alone mode. Also, since performance test of the DEMS using a real system is inefficient, an integrated simulation model is required for designing an effective multi-agent system based DEMS. The proposed model consists of Matlab/SimPowerSystems based simulation model of the microgrid system and the Multi-agnet based DEMS designed by Matlab/StateFlow tool. In order to show the effect of the proposed model, the model outputs are analyzed for specified operation conditions.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.7
• /
• pp.902-906
• /
• 2004

A separation principle of the Takagj-Sugeno (T-S) fuzzy-model-based observer-control is investigated. When the premise variables are able to be measured or directly computed from the outputs of the T-S fuzzy system and the fuzzy inference rules for the plant, control, and observer share the premise parts, the T-S fuzzy-model-based observer and the T-S fuzzy-model-based control can be separately designed such that the global stabilizability is guaranteed by the fuzzy observer-based output-feedback control. In this case, the global separation principle is well established. On the other hand, when the premise variables are unmeasurable or cannot be computed from the outputs, they should also be estimated. We examine the separation principle of this case. If the decay rates of the T-S fuzzy-model-based control and observer are sufficiently fast, the global separation is assured. Otherwise we show that the separation principle holds locally.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.97-100
• /
• 2010

3차원 정보모델에 기반한 설계 자동화 프로그램의 개발은 좀 더 완성도가 높은 설계안을 도출할 수 있는 방안을 제시할 수 있다. 콘크리트 교량의 설계 과정에서 정형화된 구조 검토 단계 부분을 자동화하고 설계자로 하여금 좀 더 창의적인 설계가 가능하도록 지원하는 시스템을 개발하였다. 특히, 3차원 Building Information Modeling 기반의 프리스트레스트 콘크리트 박스 거더교에 대한 설계 자동화 시스템을 개발하였다. 이를 위하여 3차원 렌더링 알고리즘을 사용하여, 사용자가 원하는 단면 위치 및 분류 체계에 따라 설계를 자동으로 수행할 수 있도록 적용하였다. 또한 생성된 도면은 데이터 호환이 가능함으로써, 사용자의 편의성이 향상될 것으로 판단된다. 이는 설계자동화 분야에서 강교에 국한되었던 점을 콘크리트교를 포함한 주요 교량으로 확대하고 설계 성과품으로 3차원 모델을 도출할 뿐 아니라 2차원 도면을 연계하도록 구성하여 토목 엔지니어의 기술력을 향상시킬 것으로 기대된다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.11a
• /
• pp.337-339
• /
• 2011

본 연구에서는 EPUB기반의e-Book 콘텐츠를 스마트러닝환경에서학습객체로 활용하고자한다. 이를 위해e-Book의 표준인 EPUB을 분석하여 SCORM의 콘텐츠 모델을 적용하여 확장 설계하였으며, 더블린코어와 LOM 메타데이터를 Collection Map을 이용하여 EPUB 기반의 학습객체메타데이터인ELOM을 설계하였다. EPUB기반의 학습객체가 LMS에서 추적관리가 가능하도록 SCORM2004의 CMI 데이터 모델을 바탕으로 학습객체 특성에 맞는 기본 데이터 모델을 정의하였다. 설계된 학습객체의 운용 가능성을 평가하기 위해 EPUP기반 오픈소스 콘텐츠인 모비딕의 bodymatter를 학습객체로 재구현한 후 ADL의 SCORM2004 $4^{th}$ Test Suite1.1.1을 이용하여 검증하였다. 본 연구에서 설계된 ELOM은 스마트 스크린으로 확장하여 적용할 수 있다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.3
• /
• pp.208-214
• /
• 2001

본 논문은 시변 입력 지연을 포함한 Takagi-Sugeno (TS) 퍼지 시스템으로 표현 가능한 비선형 시스템을 위한 체계적인 제어기의 설계 기법을 제안한다. 입력 지연은 화학 공정 시스템, 인터넷 기반 가상 실험실, 자율 이동 로봇의 원격 제어등, 실제의 산업 현장에서 매우 빈번히 발생하는 현상이며 제어 시스템의 성능을 감소시키며, 안정성을 저해하는 요소로 알려져 있다. 따라서 본 논문에서 다루고자 하는 문제는 매우 실제적인 문제이며 반드시 해결하여야 할 문제이다. 본 논문은 Lyapunov-Razumikhin 안정 이론에 기반하여 TS 퍼지 모델 기반 제어기의 설계 조건을 제시한다. 최종적인 제어기의 설계 조건은 선형 행렬 부등식의 형태로 주어진다. TS 퍼지모델 기반 제어기가 안정화시킬 수 있는 입력지연의 상한 값을 최대화하기 위하여 이중 최적화 기법을 도입한다. 제안된 제어기 설계 기법의 우수성과 타당성을 입증하기 위하여 모의 실험을 수행하였다. 컴퓨터 시뮬레이션 결과, 본 논문에서 제안한 타당성을 입증할 수 있다.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2049-2051
• /
• 2003

본 논문에서는 불확실성을 포함할지도 모르는 비선형 시스템의 추적 제어에 효과적인 퍼지모델기반 제어기에 대한 지능형 디지털 재설계 기법을 제안한다. TS 퍼지모델은 불확실 비선형 시스템의 퍼지모델링에 적용되었다. 안정화와 추적을 위한 퍼지모델기반 제어기를 설계하기 위해 확장 병렬 분산 보상 기법이 이용되었다. 설계된 연속시간 제어기는 지능형 디지털 재설계 기법을 이용해 등가의 이산시간 제어기로 변환되었다. 본 논문에서 제안한 지능형 디지털 재설계방법은 전형적인 단일 링크 유연 로봇 시스템에 적용하여 그 응용 가능성과 효용성을 입증한다.