• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.703-705
• /
• 2005

지능형 에이전트란 환경상태를 인지하고 상태정보에 따른 적절한 행위를 자동적으로 수행하는 소프트웨어 객체를 말한다. 본 논문에서는 시맨틱 웹 등장에 따른 시맨틱 서비스를 지능적이고 자동적으로 수행하는 에이전트의 개발에 대해 제안한다. 본 논문에서는 제안하는 시맨틱 서비스 에이전트는 다음과 같은 핵심 요소 기술의 특징을 갖는다. 첫째, 시맨틱 웹 환경의 온톨로지와 메타데이터 및 사용자 프로파일을 자원으로 사용하여 상태정보를 인지하고 행동한다. 둘째, SWRL(Semantic Web Rule Language)기반의 추론엔진을 바탕으로 추론을 통한 지능적인 행동을 수행한다. 셋째, 시맨틱 웹 환경의 확장을 통한 에이전트의 활동 범위를 증가시키기 위해서 메타데이터의 저작기능을 갖는다. 넷째, 시맨틱 서비스 에이전트는 온톨로지 서버 및 시맨틱 미들웨어를 통한 시맨틱 웹 인프라 시스템의 프레임워크를 갖는다. 본 논문에서는 시맨틱 서비스 에이전트의 실제 구현을 통해서 시맨틱 웹 환경이 제공하는 자원을 적극 이용하고 이를 사용자에게 지능적이고 자동적인 서비스로 제공하는 에이전트를 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.292-294
• /
• 2001

VoIP(Voice over IP) system은 현재 크게 2가지 형태로 진행되어가고 있다. 첫 번째는 H.323을 이용한 방법이고, 두 번째는 SIP(Session Initiation Protocol)를 이용한 방법이다. H.323은 실제 데이터를 전송하기전 호처리에 많은 signaling이 이루어지는 관계로 SIP보다 많은 RTT(Round Trip Time)를 소모하게 된다. 따라서 매우 복잡하고, LAN환경을 바탕으로 만들어서 확장성면에서도 여러 문제점을 가지고 있다. 그래서 본 논문은 호처리는 SIP를 이용하고, 실제 음성전송은 RTP(Real-Time Transport Protocol)와 RTCP(RTP Control Protocol)를 이용하는 시스템 구현을 제시한다. RTP는 실시간 특성을 가지는 데이터에 대해서 종단간 전송 서비스를 제공해주는 프로토콜로, 어떠한 인코딩에도 적합한 프레임워크를 제공한다. 그런데, RTP는 완전한 하나의 프로토콜이 되기 위해서는 RTP와 페이로드 포맷이 함께 제공되어야 하므로, 구현시스템은 음성신호를 PCM(Pulse Code Modulation), ADPCM(Adaptive Differential PCM)등의 여러 압축기술을 이용하여 파일을 생성하여 실시간으로 RTP와 RTCP를 이용하여 전송하는 방법을 제시한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 공동추계학술대회
• /
• pp.280-289
• /
• 2005

지능형 에이전트란 환경상태를 인지하고 상태정보에 따른 적절한 행위를 자동적으로 수행하는 소프트웨어 객체를 말한다. 본 논문에서는 시맨틱 웹 환경에서 시맨틱 서비스를 지능적이고 자동적으로 수행하는 에이전트 개발을 통해서 시맨틱 웹 응용사례에 대해 제안한다. 본 논문에서는 제안하는 시맨틱 서비스 에이전트는 다음과 같은 핵심 요소 기술의 특징을 갖는다. 첫째, 시맨틱 웹 환경의 온톨로지와 메타데이터 및 사용자 프로파일을 자원으로 사용하여 상태정보를 인지한다. 둘째, SWRL(Semantic Web Rule Language)기반의 추론엔진을 통해서 인지된 상황 정보를 역방향 추론하고 지능적인 행동의 수행을 결정한다. 셋째, 시맨틱 웹 환경의 확장을 통한 에이전트의 활동 범위를 증가시키기 위해서 사용자 중심의 메타데이터 저작기능을 갖는다. 넷째, 시맨틱 서비스 에이전트는 온톨로지 서버 및 시맨틱 미들웨어를 통한 시맨틱 웹 인프라 시스템의 프레임워크를 갖는다. 본 논문에서는 시맨틱 서비스 에이전트의 실제 구현을 통해서 시맨틱 웹 환경이 제공하는 자원을 적극 이용하고 사용자 요구에 맞춰 이를 사용자에게 지능적이고 자동적인 서비스로 제공하는 에이전트를 제안한다.

• 디지털콘텐츠학회 논문지
• /
• 제8권1호
• /
• pp.93-106
• /
• 2007

웹 응용이 급격히 증가하고 있고, 그 구조 또한 매우 복잡해지고 있다. 그러나 사용자가 복잡한 웹 응용 컨텐츠를 항해할 때, 현재 위치를 파악하지 못하거나 또는 원하는 정보를 얻지 못하는 경우가 잦다. 따라서 웹 응용 컨텐츠 항해를 모델링하기 위한 체계적인 접근 방법이 필요하다. 본 연구에서는 웹 응용의 적응하는 문맥-기반 컨텐츠 항해 모델링 프레임워크를 제안한다. 본 프레임워크에서는 항해 분석, 항해 설계, 그리고 항해 실현 둥의 활동을 수행한다. 항해 분석 활동에서는 항해 관점에 초점을 두고 유즈케이스를 사용하여 영역 분석을 한다. 항해 설계 활동은 항해 정보 모델, 프로파일, 그리고 항해 인터페이스 모델을 생성한다. 마지막으로, 항해 실현 활동에서는 웹 응용 메타 모델을 정의하고 웹 페이지 항해 모델과 컴포넌트 항해 모델을 정의한다. 또한 본 연구에서는 항해 모델의 유효성을 검사하기 위한 정형적인 정의와 규칙을 제시한다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.587-604
• /
• 2021

라이브러리는 독립적으로 실행되지 않고 많은 응용 프로그램에서 사용되므로, 라이브러리의 취약점을 사전에 탐지하는 것은 중요하다. 라이브러리 취약점을 탐지하기 위해 동적 분석 방법인 퍼징이 사용되고 있다. 퍼징 기술은 코드 커버리지 및 크래시 발생 횟수 측면에서 개선된 결과를 보여주지만, 그 효과를 라이브러리 퍼징에 적용하기는 쉽지 않다. 특히, 라이브러리의 다양한 상태를 재현하려면 특정 함수 시퀀스를 호출하고 퍼저의 입력을 전달하여 라이브러리 코드를 실행하는 퍼징 대상 파일과 시드 코퍼스가 필요하다. 그러나 퍼징 환경(시드 코퍼스, 퍼징 대상 파일)을 준비하는 것은 라이브러리에 대한 이해와 퍼징에 대한 이해가 동시에 필요한 어려운 일이다. 이에, 본 논문에서는 테스트 프레임워크를 활용하여 라이브러리 퍼징의 용이성을 확보하고, 코드 커버리지와 크래시 탐지 성능을 향상하기 위한 개선 방법을 제안한다. 본 논문에서 제안한 시스템은 9개의 오픈 소스 라이브러리에 적용하여 기존 연구들과 비교를 통한 개선 효과를 검증하였다. 실험 결과 코드 커버리지 31.2%, 크래시 탐지 기준 58.7%의 개선효과를 확인하였고, 3개의 알려지지 않는 취약점을 탐지하였다.

• 인터넷정보학회논문지
• /
• 제15권3호
• /
• pp.21-30
• /
• 2014

고혈압은 전 세계의 심혈관 및 뇌혈관 질환의 중요한 사망 원인으로서 지속적인 혈압관리가 필요하다. 본 연구에서는 급성장하고 있는 모바일 헬스케어 환경에서 지속적으로 혈압 관리를 받을 수 있는 생체정보 교환 서비스 모델로서 HL7 FHIR을 선택하였다. 개발한 HL7 FHIR 프레임워크는 매니저(스마트폰)과 에이전트(혈압계) 간에 블루투스 헬스기기 프로파일과 통하여 IEEE 11073-10407 PHD 프로토콜로 통신하여 혈압정보를 획득한다. 테스트 결과 고혈압 환자의 혈압 모니터링, 측정기록관리, 문서 생성, 측정정보전송을 성공적으로 수행하였다. 실제 임상환경에서는 TCP/IP 프로토콜을 통해 측정정보를 전송할 수 있으므로 모바일 헬스케어에서 지속적인 연구와 활성화가 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.523-530
• /
• 2009

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

• 한국멀티미디어학회논문지
• /
• 제12권11호
• /
• pp.1640-1651
• /
• 2009

본 논문에서는 브러시 스트로크 프로파일을 이용한 새로운 스트로크 기반 표현기법을 소개한다. 우리가 제안하는 알고리즘은 이미지 검색기법에 기반하고 있으며 단순하지만 다양한 페인팅 스타일을 생성할 수 있는 유연성과 확장성이 있는 알고리즘 이다. 이를 위해 우리는 실제 스트로크 데이터를 수집하여 구축한 확장 가능한 데이터베이스를 사용한다. 그리고 인력영상을 데이터베이스에 있는 스트로크의 조합으로 재생산 한다. 이때 적합한 스트로크를 결정하는 검색 프로세스와 검색된 스트로크를 캔버스에 그릴지 말지를 판단하는 판단 프로세스를 알고리즘에 포함시킨다. 또한 우리는 물리적인 시뮬레이션 없이 사용할 수 있는 시각적 효과가 좋은 효율적인 브러시 스트로크 모델 및 표현기술을 제안한다. 제안된 알고리즘은 다양한 사용자 파라미터를 제어함으로써 다양한 회화적 작품의 변이를 만들어 낼 수 있고 스트로크 데이터베이스의 구성을 변경함으로써 다양한 회화적 매체의 스타일을 갖는 결과물을 생산할 수 있는 확장성 있는 프레임워크를 제공한다.

• 인터넷정보학회논문지
• /
• 제16권5호
• /
• pp.29-38
• /
• 2015

에너지 저장장치(Energy Storage System)은 전력 수요가 적을 때 전력을 저장해 두었다가 수요가 발생하거나 비상시 저장된 전력을 사용함으로 전기 에너지를 저장하여 필요할 때 사용 가능함으로써 에너지 이용 효율 향상, 전력공급 시스템 안정화 및 신재생 에너지 활용도 향상 효과를 가지는 시스템이다. 최근 세계적으로 에너지의 효율적인 소비에 대한 관심이 증대되면서 전력의 안정적인 공급을 원하는 수요자와 전력 수요 평준화를 원하는 공급자의 요구를 충족시켜줄 수 있는 에너지 저장장치의 필요성이 증대되고 있다. 현재 에너지 저장장치를 구성하는 Power Conditioning System(PCS), Battery Management System(BMS), 배터리 셀은 제조사별로 상이한 규격을 가진다. 이로 인해 각 핵심 부품 간 인터페이스가 규격화되어 있지 않아, 에너지 저장장치의 구성 및 운영에 난점으로 작용하고 있다. 본 논문에서는 제조사별로 상이한 특징을 가지는 부품들의 설정과 효율적 운영에 필요한 정보를 수용하여 에너지 저장장치를 구성할 수 있는 XML 기반의 에너지 시스템 전용 프로파일 시스템의 설계와 분석방안을 제안한다. 제조사별 PCS, BMS, 배터리 셀과 그 외의 주변 기기들의 설정 정보 및 운영 정보를 분석하여 프로파일 규격을 정의하고, 에너지 저장장치에 적용할 수 있는 프로파일 어댑터 소프트웨어를 설계 및 구현한다. 프로파일 어댑터를 통해 생성된 프로파일은 설정 프로파일과 운영 프로파일로 구성되며, 추후 확장성을 고려하여 표준 XML의 규격을 따른다. 구현된 프로파일 시스템의 검증은 에너지 저장장치 시스템에 적용되어 기본적인 충 방전 동작을 통해 정상 동작 결과를 제안한다.

• 대한기계학회논문집A
• /
• 제39권12호
• /
• pp.1287-1295
• /
• 2015

최근 산업 자동화 분야에서는 고속 통신을 지원하면서도 여러 장치로 구성된 시스템을 통합하고 관리하는 데 유리한 필드버스 방식의 통신 기술이 널리 활되는 추세이다. 운동하는 물체의 위치를 감지할 뿐만 아니라, 외부 제어기가 통신을 통해 다수의 엔코더에 대해 동시에 설정을 변경하거나 위치와 관련된 다양한 정보를 요청하는 환경에서 동작하는 스마트 엔코더의 경우에는 필드버스 지원이 필수적인 기능으로 인식된다. 본 논문에서는 CAN 네트워크 기반의 상위 응용 계층을 정의하는 CANopen 표준 중 엔코더의 장치 프로파일인 CiA 406 표준을 지원하기 위해 오픈 소스 CANopen 프레임워크인 CanFestival 을 확장, 구현하였다. 구현된 CiA 406 모듈의 동작은 CANopen 마스터 장치와 CiA 406 모듈을 적한 가상 CANopen 엔코더와의 실험을 통해 검증하였다.