• Proceedings of the KIEE Conference
• /
• 2005.07a
• /
• pp.453-455
• /
• 2005

디지털 보호계전기의 성능 검증은 정특성 성능 검증, 동특성 성능 검증, 내 환경 성능 검증으로 나누어진다. 이 중 동특성 성능 검증에 대한 중요성이 증가하고 있으나, 실시간 디지털 시뮬레이터에 대한 접근의 어려움으로 인해서 해당 기술의 보급이 용이하지 않았다. 전력연구원에서는 이러한 점을 해결하고 관련 기술의 보급을 위해서 디지털 보호계전기 동특성 성능 검증의 기반을 마련하였으며, 이 기반은 성능 검증을 위한 계통 모델과 성능 검증 절차서로 각각 구성되어 있다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.559-561
• /
• 2022

In order to secure the stability of tap water production and supply, we have built a system that can be pre-verified before applying AI-based composite sensors to the water purification plant, which is a demonstration site. We have collected and analyzed data related to the drug input of the GO-RYEONG water purification plant for about two years from December 2019 to December 2021. The outliers of each tag were removed through data preprocessing such as outliers and derived variable, and the cycle was set as average data for 60 minutes of each one-minute period, and the model was learned using the PLS model.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.182-183
• /
• 2011

본 논문은 DFR 측정기반 산업단지 부하모델링에 관한 연구이다. 기존 국내에서 사용되고 있는 개별 부하모델의 단점을 보완하고 국내 산업단지 부하의 특성을 정확하게 파악하기 위하여 측정기반 접근법에 의한 부하모델을 선정하였다. 선정된 부하모델은 정적 부하모델과 동적 부하모델을 결합한 복합 부하모델로, 이러한 부하모델을 구축하기 위하여 국내 산업단지 A 변전소에 고장기록계(DFR)을 설치하였다. DFR 측정 데이터 기반 부하모델 구축에 앞서, 계통 해석 프로그램인 PSS/E로 DFR이 설치된 A 변전소를 모델링하여 취득된 데이터로 선정된 부하모델을 검증하였다.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.340-347
• /
• 2007

"유비쿼터스 컴퓨팅"과 "상황인지 컴퓨팅"이 점차 확산되어짐에 따라 유비쿼터스 환경이 급격하게 발전하면서 변화하고 있다. 이러한 변화로 인해 사용자 정보와 사용자 주변의 환경 정보를 파악하여, 적절한 시간에 적절한 서비스를 제공할 수 있는 기술과 인간과 컴퓨터 관계가 증가하면 할 수 록 인간과 인간의 관계처럼 좀 더 자연스러운 관계를 유지 할 수 있는 상황인지 컴퓨팅이라는 개념이 나타나기 시작하였다. 이러한 상황인지 컴퓨팅을 통하여 상황을 인지하고 사용자에게 필요한 정보를 제공하기 위해서는 상황을 정의 할 수 있는 상황인지 모델이 필요하다. 그러나 현재, 상황을 인지하기 위한 상황인지 모델에 관한 연구는 미비한 상태이다. 본 논문에서는 5W1H를 이용하여 상황을 정의하고, RFMatrix를 이용하여 주변 환경과 사람들과의 관계를 반영한 RFMatrix 기반의 상황인지 모델을 제안한다. 또한 제안된 RFMatrix모델의 유용성을 검증하기 위해 학습공간의 실험을 통하여 정확성을 검증하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1233-1236
• /
• 2004

보안 시스템에서 접근 통제 모델을 사용하는 가장 중요한 목적은 시스템 및 사용자에 대한 안정성을 보장하기 위해서이다. 본 논문에서 다루고 있는, SPR은 보안 시스템의 행위를 유한 상태 기계(FSM) 기반의 보안모델로 표현한 후, 보안 모델에 대한 초기 상태의 안전성을 검사하고 초기 상태에서 다음 상태로 전이가 존재할 경우에 그 상태들에 대응하는 모든 상태들에 대해서 보안기준을 만족하는지 검증하는 도구이다. 본 논문에서는 SPR를 사용하여 현재 많은 사람들이 이용하는 Windows 운영 체제의 NTFS에 기반을 둔 보안모델의 안전성을 검증하는 방법을 소개한다

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.845-846
• /
• 2009

컴포넌트 기반 개발 방법은 컴포넌트의 재사용으로 인한 개발 비용의 절감뿐만 아니라, 컴포넌트 분석의 재사용으로 인한 검증비용의 절감과 시스템의 질적 향상을 도모할 수 있는 장점을 지니고 있는 반면, 컴포넌트들간 상호작용의 복잡도의 증대로 인한 결함률이 높아질 수 있다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로한 컴포넌트 정제 과정에서 정제 전, 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 정제과정 전 단계에 걸쳐 사용되어 컴포넌트 간의 상호작용으로 인한 잠재적인 결함을 조기에 발견하고 해결하는 데 기여할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.05a
• /
• pp.644-646
• /
• 2023

스마트팩토리는 협동 로봇과 같은 프로그래머블한 설비의 유기적인 협업을 통해 최적화된 공정을 수행한다. 따라서 수집되는 센서 데이터의 특징과 환경 조건의 복잡도가 높아, 예지보전을 위한 AI 소프트웨어의 개발 시 요구사항 기반의 체계적인 개발 및 검증이 필수적이다. 본 논문에서는 AI 소프트웨어의 요구사항을 사용자와 시스템 관점에서 정의하고, AI 모델 개발 프로세스와 스마트팩토리 예지보전 측면에서 분석한다. 도출된 요구사항을 CNN 기반의 협동 로봇 기어 마모 예측 모델의 개발에 적용하여 데이터 관리와 모델 신뢰성 관점의 요구사항을 분석 및 검증하였다.

• Korean Journal of Construction Engineering and Management
• /
• v.25 no.1
• /
• pp.50-61
• /
• 2024

The market for compact houses is growing due to the demand for floor plans prioritizing user needs. However, clients often have difficulty communicating their spatial requirements to professionals including architects because they lack the means to provide evidence, such as spatial configurations or cost estimates. This research aims to create a framework that can translate sketched data-driven spatial requirements into 3D building components in BIM models to facilitate spatial understanding and provide building performance analysis to aid in budgeting in the early design phase. The research process includes developing a process model, implementing, and validating the framework. The process model describes the data flow within the framework and identifies the required functionality. Implementation involves creating systems and user interfaces to integrate various systems. The validation verifies that the framework can automatically convert sketched space requirements into walls, floors, and roofs in a BIM model. The framework can also automatically calculate material and energy costs based on the BIM model. The developed frame enables clients to efficiently create 3D building components based on the sketched data and facilitates users to understand the space and analyze the building performance through the created BIM models.

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

본 논문에서는 모델 기반 카메라 추적 시 필요한, 사전 정의 된 실측 모델의 정확성이 카메라 추적의 정확성에 미치는 영향에 대하여 논의한다. 이를 위하여 모델 기반과 특징점 기반의 카메라 추적에 가중치를 두고 혼합시켜 이용하는 하이브리드 카메라 추적 방법을 사용하고, 이 방법을 활용한 상호작용형 모델링(interactive modeling)을 이용하여 실측 모델을 제작한다. 또한, 상호작용형 모델링 과정에서 생기는 실측 모델의 오차로 인해 발생하는 카메라 추적 오차를 Cramer-Rao 하한(lower bound)을 이용하여 정의하고, 이 둘의 상관관계를 실험적으로 도출한다. 이를 통해 사전 정의된 실측 모델이 가질 수 있는 오차의 하한을 실험적으로 검증한다.