• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.5
• /
• pp.595-610
• /
• 1999

This paper presents a visual simulation tool for verification and validation(V&V) of design implications of the Object Behavior Chart developed in accordance with the existing real-time object's behavior design method. This tool can simulates the dynamic interactions using the executable simulation machine, that is EFSM(Extended Finite State Machine) and can detect various logical and temporal errors in the visual object behavior charts before a concrete implementation is made. For this, a LOTOS prototype specification is automatically generated from the visual Object Behavior Chart, and is translated into an EFSM. This system is implemented in Visual C++ version 4.2 and currently runs on PC Windows 95 environment. For simulation purpose, LOTOS was chosen because of it's excellence in specifying communication protocols. Our research contributes to the support tools for seamlessly integrating methodology-based graphical models and formal-based simulation techniques, and also contributes to the automated V&V of the Visual Models.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1789-1804
• /
• 1999

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

• Progress in Medical Physics
• /
• v.4 no.2
• /
• pp.37-47
• /
• 1993

The quality of radiation for a high energy x-ray beam can be specified by its attenuation curve in a selected material. The inverse Laplace transform of the attenuation curve can be used as an approximate indication of the energy spectrum of the beam. We have made a comparative investigation of the estimated spectrum obtained by the Laplace transform analysis of the transmitted exposure data measured in an absorption study of a 6MV x-ray beam. Two of existing transform pair models have been investicated and discussed.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.11a
• /
• pp.88-91
• /
• 2008

국내에서 SLA를 도입한 지 수 년이 지났지만 SLA에 대한 의미 있는 성과를 제시하는 사례는 많지 않았다. L그룹도 SLA를 도입하였지만 SLA와 연계된 대가산정 모델의 적용에 있어 다양한 이슈가 있어 왔고, 이를 해결하고자 수 년 간 계약모델을 지속적으로 발전시켜 SLA기반 장기계약모델(SLA V3.0)을 개발하여 적용하게 되었다. L그룹의 사례는 SLA 도입을 고려하고 있거나 현재 도입 중에 있는 조직들이 겪고 있는 다양한 이슈들에 대해 의미 있는 시사점을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.61-63
• /
• 2006

앞으로 도래하게 될 유비쿼터스 기술은 사람의 생활을 편리하게 만들어 줄 것이다. 또한 이미 많은 나라에서도 유비쿼터스 기술개발에 많은 투자를 하고 있다. 본 논문에서는 이러한 유비쿼터스 기술을 바탕으로 제공될 서비스와 서비스 시나리오에 대해 연구하였다. 누구(서비스를 제공받는 사람)에게 어떠한 서비스를 제공해야 하는가의 문제와 실제 서비스가 어떠한 과정으로 실행되어지는가의 문제는 앞으로 유비쿼터스 환경에서 반드시 풀어야 할 문제이다. 따라서 시스템 개발을 위한 서비스 결정 모델과 서비스의 상태전이를 통해 원활한 서비스 제공을 하기 위한 모델을 제시하였으며 유비쿼터스 환경을 갖춘 고등학교라는 특정 도메인을 대상으로 서비스 시나리오에 모델을 적용 및 프로토콜을 적용한 사례연구를 하였다.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2011.05a
• /
• pp.68-69
• /
• 2011

마그네슘 판재의 온간 스프링백 거동 예측을 위한 재료 거동 모델을 고찰하였다. V-굽힘 시험에 관한 기존 문헌의 결과와 비교하여 재료 모델의 타당성을 토하였다. 스프링백 거동의 정량화를 위해 온간 S-rail 프레스금형에 의한 성형 시험을 수행하였다. 성형 시험은 다양한 온도, 속도, 성형깊이 조건에서 수행하였으며 시험 결과를 서로 비교하였다. 재료 모델을 사용하여 S-레일 성형에 따른 스프링백 예측을 위한 유한요소해석을 수행하고 그 결과를 시험 측정값과 비교하였다. 이로부터 재료 모델의 한계와 가능성을 고찰하였다.

• Proceedings of the KIPE Conference
• /
• 2012.07a
• /
• pp.130-131
• /
• 2012

본 논문은 확장 칼만 필터(EKF)를 이용하여 배터리의 SOC(State-of-Charge) 추정 방법을 제안하였다. EKF는 정확한 모델에서만 제대로 동작 할 수 있다. 따라서, 본 논문은 EKF의 적용을 위해 높은 정확도를 가진 전기적 배터리 모델에 대해 설명한다. 배터리 모델은 4.2V, 40Ah의 리튬폴리머 전지에서 추출되었다. 배터리는 Bulk 커패시터, 두 개의 R-C회로, 직렬 저항을 사용하여 모델링하였다. EKF를 모델에 적용하기 위해 캐패시터 전압은 개방 회로 전압(OCV)을 나타내는데 사용된다. EKF는 충/방전 기기인 Maccor 8500에 의해 얻을 실험 데이터로 테스트하였다. 테스트 결과에서 추정의 오차가 최대 5% 정도로 줄일 수 있다는 것을 보여준다.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2007.04a
• /
• pp.165-166
• /
• 2007

신경망을 이용하여 반구형 유도결합형 플라즈마 장비에 대한 전자온도의 예측모델을 개발하였다. 신경망으로는 Radial Basis Function Network을 이용하였고, 신경망의 예측성능은 유전자 알고리즘을 이용하여 최적화하였다. 체계적인 모델링을 위해 $2^4$ 전 인자 (Full Factorial) 실험획법을 이용하여 $Cl_2$ 플라즈마에서의 데이터를 수집하였다. 최적화된 전자온도 모델의 예측성능은 0.143 eV이었다. 개발된 모델을 이용하여 공정변수에 따른 예측온도의 영향을 고찰하였다. 소스전력과 압력의 변화에 따른 전자온도의 변화는 작았다. 그러나 $Cl_2$ 유량과 특히 척위치의 증가에 따른 전자온도의 증가는 현저하였으며, 이는 고이온밀도의 형성에 기인하는 것으로 해석되었다.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.592-595
• /
• 2024

엄청난 성능에도 불구하고, 심층 신경망은 예측결과에 대한 설명이 없는 블랙 박스로 작동한다는 비판을 받고 있다. 이러한 불투명한 표현은 신뢰성을 제한하고 모델의 대한 과학적 이해를 방해한다. 본 연구는 여러 개의 교사 신경망으로부터 설명 중심의 학생 신경망으로 지식 증류를 통해 해석 가능성을 향상시키는 것을 제안한다. 구체적으로, 인간이 정의한 개념 활성화 벡터 (CAV)를 통해 교사 모델의 개념 민감도를 방향성 도함수를 사용하여 계량화한다. 목표 개념에 대한 민감도 점수에 비례하여 교사 지식 융합을 가중치를 부여함으로써 증류된 학생 모델은 양호한 성능을 달성하면서 네트워크 논리를 해석으로 집중시킨다. 실험 결과, ResNet50, DenseNet201 및 EfficientNetV2-S 앙상블을 7 배 작은 아키텍처로 압축하여 정확도가 6% 향상되었다. 이 방법은 모델 용량, 예측 능력 및 해석 가능성 사이의 트레이드오프를 조화하고자 한다. 이는 모바일 플랫폼부터 안정성이 중요한 도메인에 걸쳐 믿을 수 있는 AI 의 미래를 여는 데 도움이 될 것이다.

• Annual Conference of KIPS
• /
• 2022.05a
• /
• pp.549-552
• /
• 2022

최근 소셜미디어 리뷰 데이터를 활용한 약물 이상 반응 탐지 연구가 활발히 진행되고 있지만, 약물을 복용하기 전 증상과 약물 이상 반응을 구분하지 못한다는 한계가 있다. 본 논문에서는 약물 이상 반응 탐지에서 약물 복용 전의 증상을 구분할 수 있는 Filtering Clinical BERT(FC-BERT) 모델을 제안하였다. FC-BERT 는 약물 복용 전 증상과 다른 약물에 대한 부작용 표현을 제거하기 위해 약물명이 나오기 전 모든 문장을 제거하는 필터링과 약물-부작용 쌍을 추출하는 모델을 사용했다. 성능 평가 실험을 위해 문장에 대한 ADE(Adverse Drug Event) 여부가 들어있는 ADE Corpus V2 데이터를 활용하였고 SPARK NLP 라이브러리에서 제공하는 ADE Pipeline 모델과 비교하여 성능 평가를 실시하였다. 실험 결과 필터링을 활용한 FC-BERT 모델이 기존 모델보다 정확도, 평균 정밀도, 평균 재현율, 평균 F1-score 가 모두 높은 결과를 보여주었다. 본 논문에서 제시한 모델은 기존 연구의 한계점을 보완하여 보다 정확한 약물 부작용 시그널을 탐지하는데 기여할 수 있을 것이다.