• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 하계학술대회논문집
• /
• pp.241-244
• /
• 2003

공중 무선랜 서비스의 확산으로 무선랜은 무선 인터넷의 중요한 매체로 이용되고 있다. 그러나 사용자의 프라이버시(Privacy) 문제나 접근제어(Access Control) 같은 인증 (Authentication) 문제와 함께 과금(Accounting) 및 빌링(Billing)의 문제가 중요한 이슈로 대두되고 있다. 본 논문에서는 공중 무선랜의 이동환경을 위한 Diameter 기반 선불 과금 모델을 제안하고, 그에 대한 검증 결과를 함께 제시한다. 최종적으로 제안된 선불 과금 모델은 공중 무선랜에서의 패킷과금을 지원하기 위한 요구사항들을 충족시키고, 글로벌 로밍 서비스를 위한 이동성을 향상하는 기반 기술로서 이용되기를 기대한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.516-518
• /
• 2000

기존의 객체 분석 메소드에서는 사용자 이해 수준에서 요구사항이 명세되지 않으며 또한 요구사항이 만족되는가를 검증하기도 어렵다. 요구사항이 잘 반영된 좋은 품질의 분석 모델을 개발하기 위해서는 사용자 수준에서 이해될 수 있는 요구사항을 명세해야 하며, 이를 기반으로 클래스를 식별하는 작업이 필요하다. 이를 개선하기 위해 정보 구조 모델링 기반 분석 클래스 식별 절차를 제안하였다. 비교 연구결과, 본 논문에서 제안한 절차는 정적 모델 명세에 치중된 경향은 있으나, 제품의 반복성이 우수하며, 품질 부-부특성들을 평가하는 것이 가능하여, 좋은 품질의 분석 모델을 개발할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.745-747
• /
• 2001

인터넷과 개인휴대통신의 발달과 더불어 유.무선 인증서비스는 PKI틀 기반으로 다양하게 구현되고 있다. 그러나 유.무선이 혼재된 형태의 통신망에서 Client간의 통신에 필요한 인증체계에 대한 연구는 초기단계이며 특히, Ad Hoc 통신망과 같이 가변적인 Topology를 형성하는 특수한 상황에서 지속적인 인증서비스를 제공할 수 있는 연구는 미미한 실정이다. 국가비상사태와 같은 긴급을 요하는 상황에서 신속히 구성되는 무선 Ad Hoc 통신망을 기반으로 한 인증체계를 구축하기 위하여 인증서 검증모델을 중심으로 유.무선PKI 통합모델을 제안한다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권4호
• /
• pp.256-261
• /
• 2017

사회 기반 시설을 비롯하여 다양한 도메인에서 하나의 시스템이 아닌 다수의 독립 시스템으로 구성된 시스템 오브 시스템즈(System of Systems, 이하 SoS)의 개념이 대두되고 있다. 단일 시스템으로는 만족하기 어려운 복잡한 요구사항을 SoS 수준에서 보다 효과적으로 만족할 수 있을 것으로 기대되기 때문이다. SoS를 구성하는 독립 시스템을 구성 시스템(Constituent System, 이하 CS)이라 부르며, 다수의 CS와 그들의 상호작용을 고려하여 제한된 자원 안에서 SoS 수준의 목표 달성 여부를 검증하는 것이 SoS 공학의 핵심 문제 중 하나이다. 최근 SoS 개발을 위한 기초 연구는 활발하게 이루어졌으나, SoS 모델링 및 검증에 대한 구체적인 사례 기반 연구는 거의 존재하지 않는다. 본 연구는 SoS와 CS가 자신의 목표를 달성하기 위해 독립적으로 의사결정을 수립한다는 특성에 기반을 두어, 개별 행동의 비용과 이익대비 효용을 기준으로 의사결정을 하는 행동-이익-비용(Action-Benefit-Cost) SoS 모델을 제안하고, SoS 예제의 모델링과 정량적 검증 사례 연구를 수행한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.325-326
• /
• 2008

서비스 로봇은 인간과 상호 교감을 하기 때문에 감성기반 인터렉션을 가지고 있어야 한다. 그리고 로봇이 인지하는 상황과 환경이 같을지라도 감정 기반 행동 결정 모델의 출력이 달라질수 있도록 한다. 이는 설계하고자 하는 감정 기반 행동 결정 모델의 특성을 변화함으써 해결하고자 하며, 감정 모델의 특성은 성격을 의미한다. 따라서 사람과 같이 성격을 달리함으로써 로봇이 감정을 느끼고 이에 따른 반응을 행동으로 옮길 때, 성격을 반영한 결과를 보이게 된다. 본 논문에서 제안하는 감정 엔진 모델은 reaction dynamics와 internal dynamics, emotional dynamics, behavior dynamics, 성격 등의 다섯 가지 요소로 구성되어 있다. 모든 dynamics는 성격에 영향을 받아 결과를 출력한다. 실험을 위하여 시뮬레이터를 구현하여 성능을 검증하고, 실제 로봇에 적용하기 위하여 3D 캐릭터기반의 헤드 로봇 시스템을 사용하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권9호
• /
• pp.375-384
• /
• 2021

딥러닝 기법은 영상 처리 분야에서 높은 성능을 입증 받아 다양한 분야에서 적용되고 있다. 이러한 딥러닝 모델의 검증에 가장 널리 사용되는 방법으로는 홀드아웃 검증 방법, k-겹 교차 검증 방법, 부트스트랩 방법 등이 있다. 이러한 기존의 기법들은 데이터 셋을 분할하는 과정에서 클래스 간의 비율에 대한 균형을 고려하지만, 같은 클래스 내에서도 존재하는 다양한 특징들의 비율은 고려하지 않고 있다. 이러한 특징들을 고려하지 않을 경우, 일부 특징에 편향된 검증 결과를 얻게 될 수 있다. 따라서 본 논문에서는 기존 검증 방법들을 개선하여 영상 분류를 위한 데이터 특징 커버리지 기반의 딥러닝 모델 검증 기법을 제안한다. 제안하는 기법은 딥러닝 모델의 학습과 검증을 위한 훈련 데이터 셋과 평가 데이터 셋이 전체 데이터 셋의 특징을 얼마나 반영하고 있는지 수치로 측정할 수 있는 데이터 특징 커버리지를 제안한다. 이러한 방식은 전체 데이터 셋의 특징을 모두 포함하도록 커버리지를 보장하여 데이터 셋을 분할할 수 있고, 모델의 평가 결과를 생성한 특징 군집 단위로 분석할 수 있다. 검증결과, 훈련 데이터 셋의 데이터 특징 커버리지가 낮아질 경우, 모델이 특정 특징에 편향되게 학습하여 모델의 성능이 낮아지며, Fashion-MNIST의 경우 정확도가 8.9%까지 차이나는 것을 확인하였다.

• 한국정밀공학회지
• /
• 제23권9호
• /
• pp.39-46
• /
• 2006

• 대한전자공학회논문지SD
• /
• 제47권9호
• /
• pp.24-29
• /
• 2010

본 논문에서는 30 nm 채널 길이와 5 nm의 채널 반지름을 갖는 실리콘 기반의 나노와이어 MOSFET의 고주파 모델링을 다루고 있다. 3차원 소자 시뮬레이션을 이용하여 실리콘 나노와이어 MOSFET의 Y-parameter와 Z-parameter를 100 GHz까지 확보하였으며 이를 이용하여 모델 파라미터에 필요한 수식을 구하였다. 모델과 파라미터 추출 수식을 이용하여 회로 검증용 tool인 HSPICE에 의하여 검증이 이루어졌으며 quasi-static 기반의 고주파 모델이 100 GHz의 높은 주파수까지도 소자의 특성을 정확히 예측함을 확인하였다. 모델 검증은 MOSFET의 포화 영역 ($V_{gs}$ = $_{ds}$ = 1 V)과 선형 영역 ($V_{gs}$ = 1 V, $V_{ds}$ = 0.5 V)의 바이어스 조건에서 이루어졌으며 두 바이어스 조건에서의 Y-parameter에 대한 모델의 오차는 약 1 %로 매우 작은 값을 보여 준다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2014년도 전력전자학술대회 논문집
• /
• pp.478-479
• /
• 2014

본 논문에서는 온도변화에 따른 리튬폴리머 배터리 모델에 대해 검증 및 분석을 진행하였다. 리튬폴리머 배터리의 전기적 모델은 1차 R-C 등가회로를 기반으로 구성하였고, Matlab/Simulink를 이용하여 배터리 모델을 구현하였다. FTP-72 충 방전 사이클의 전류패턴을 이용하여 $0^{\circ}C$, $25^{\circ}C$, $40^{\circ}C$ 온도 변화에 따른 실제 리튬폴리머 배터리와 배터리 모델의 단자전압을 비교 분석하였다, 최대오차율은 $0^{\circ}C$에서 5.24%, $25^{\circ}C$에서 1.23%, $40^{\circ}C$에서 0.77%로 나타났으며, 이를 통해 여러 온도 환경에서도 제안한 배터리 모델이 높은 정확도를 갖는 것을 검증하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (중)
• /
• pp.963-966
• /
• 2003

IPv6-IPv4 변환시스템은 기존의 IPv4 네트워크와 신규 구축되는 IPv6 네트워크 간의 통신을 가능하게 하는 게이트웨이 기반 기술이다. 이러한 IPv6-IPv4 변환시스템에서는 네트워크 간의 모든 트래픽을 변환해야 하므로 높은 성능을 요구된다. 이에 본 연구에서는 이전 연구에서 구현된 게이트웨이 기반 IPv6-IPv4 변환시스템과 변환기의 성능분석에 적용될 수 있는 큐잉 모델을 제시하고 부과되는 트래픽에 따른 처리 성능을 산출하는 분석적인 방법을 제시하였다. IPv6-IPv4 변환시스템의 분석 모델의 경우, 도착간격은 지수분포를 따르고, 서비스시간은 M/M/l/K 모델 기반의 일반분포를 따른다. 또한 IPv6-IPv4 변환시스템의 변환기는 트래픽에 대한 변환 처리를 담당하는 핵심 모듈로서, 순차적인 단계로 이루어진다. 즉, 변환시스템의 변환기 자체의 분석 모델의 도착간격은 지수분포를 따르고, 서비스시간은 M/G/l/K 모델 기반의 일반분포를 따른다. 이렇게 제안된 모델에 대해 상세하게 설명하였으며, 이를 검증하기 위해서 모델을 적용하여 근사한 결과와 실제 측정 결과를 비교하였다.