• 정보와 통신
• /
• 제31권7호
• /
• pp.15-23
• /
• 2014

"HTML5 기반 스마트 TV 플랫폼" 표준은 TV 제조사와 플랫폼 사업자 중심으로 파편화된 스마트 TV 앱 생태계 한계를 극복하고 표준 기반의 공통 플랫폼 기술을 통해 앱 생태계를 활성화 촉진시키기 위해 제정된 개방형 TV 플랫폼 기술 표준이다. 본 고에서는 이 표준 기술을 소개하고자 하며 이를 위하여 표준에 정의된 HTML5 기반의 앱 실행환경, TV 디바이스 환경을 고려한 앱 모델, 채널 프로그램과 같은 방송 자원을 접근하기 위한 인터페이스, 앱 스토어를 통한 앱 다운로드 및 실행을 위한 패키징 규칙, 멀티스크린 적응형 스트리밍 등 다양한 스마트 TV 플랫폼 관련 기술들을 설명한다. 또한, 스마트 TV 앱이 표준 기반으로 개발된 다양한 수신기에 동일하게 실행됨을 보장하기 위해 수신기에 대한 표준 구현 적합성 검증이 필요함을 제기하면서, 이를 위한 시험 기준을 정의한 "HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험" 표준에 대해서도 소개한다. 이 표준은 수신기 기능 검증을 위한 테스트 케이스를 정의하고 시험 절차 및 판정 기준 등을 규정한다. 마지막으로, 본 고는 TTA에서 실제로 이 시험 표준을 기반으로 구축한 적합성 시험 환경을 소개한다. 수신기의 표준 기술 검증용으로 시험표준에 따라 개발된 테스트 케이스와 이를 실행하고 그 결과를 수집 관리하기 위해서 구성한 웹 서버, 방송 송출 서버, 적합성 시험 관리 시스템 등의 환경 구성 요소 및 그 인터페이스에 대해서 설명한다.

• 한국통신학회논문지
• /
• 제28권8B호
• /
• pp.699-706
• /
• 2003

본 논문은 국내 ATM망을 대상으로 실시간 VBR 트래픽을 측정하고 그의 특성을 분석하여 기존의 연구에서 ATM VBR 특성이 2-상태 MMPP 모델 기반의 On-Off 특성을 갖는다는 이론의 적합성을 검증한 것으로 분석 결과 국내 ATM 망의 VBR 트래픽 특성은 2-상태 MMPP 모델을 따르지 않으며 On 구간의 도착율 (λ$_1$)은 협약 대역폭 주기 중심에서 0.93~0.96의 확률로 도착하는 거의 결정적(Deterministic) 특성을 가지고, On 구간에서 Off 구간의 천이율 (T$_1$) 및 Off 구간에서 On구간의 천이율(T$_2$)은 마코브 체인의 특성을 따르지 않는 단순 랜덤 변수의 특성을 갖는 것으로 검증되었다. 따라서, 국내 ATM망의 VBR 특성은 MMPP 모델로 표현할 수 없으며 일반적인 On-Off 모델로 표현되어야 함을 확인하였다. 본 연구 결과는 실질적인 ATM망 서비스 회선 트래픽을 대상으로 측정, 분석, 검증한 것이므로 국내 ATM망에 적용하기 위한 모든 장치 및 네트워크 설계에 이 결과가 사용될 수 있으며 국내 ATM망에 적용된 트래픽 관리 기능을 사용하는 모든 ATM망의 트래픽 모델로 사용할 수 있다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• 마케팅과학연구
• /
• 제15권3호
• /
• pp.49-65
• /
• 2005

현대인들은 의식적 혹은 무의식적으로 많은 광고에 노출되고 있다. 이에 기업에서는 매력적인 모델을 광고에 사용함으로써 자사의 광고에 소비자들의 주목도를 높이려는 것이 일반적인 경향이다. 의류의 경우, 소비자는 주로 잡지, 신문, 카탈로그, TV 광고 등의 마케터 주도적 정보원을 통해 정보를 수집하는 것으로 나타나, 마케터가 제시하는 광고가 의류 소비자의 구매행동에 영향을 미친다는 것을 알 수 있다. 따라서 본 연구에서는 의류광고에 사용되는 모델이 소비자에 의해 의류광고에 적합하다고 판단되어지는 경로를 이론적으로 도출하고 이를 실증적으로 검증하였다. 그 결과, 모델의 매력도 차원에는 '관능성'과 '귀염성', 두 차원이 존재하며, 이 차원은 각각 다른 경로로 의류광고 적합도를 향상시키는 것으로 나타났다. 관능성은 '모델답다', '전형적인 모델이다'로 여겨지는 '모델 전형성'을 통해 의류광고 적합도를 향상시키며, 귀염성은 모델 전형성을 거치지 않고 의류광고 적합도에 직접적으로 영향을 미치는 것으로 나타났다. 이러한 결과는 기업이 의류모델을 선정함에 있어 유의한 시사점을 제공한다.

• 대한전자공학회논문지TC
• /
• 제43권1호
• /
• pp.71-78
• /
• 2006

MANET 네트워크 모델을 위한 라우팅 기법은 네트워크 인프라를 요구하지 않는 무선 네트워크 기능, 이동성 지원, 그리고 동적인 라우팅 정보 관리 기능을 필요로 하며, 따라서 USN에 적용 가능한 라우팅 기법 중의 하나가 되고 있다 제안된 MANET 라우팅 기법들 중에서는 DYMO 라우팅 프로토콜이 네트워크 부하가 작고 간단하며 확장성이 향상되어 표준화가 진행 중에 있다. 본 논문에서는 다양한 운영체제 환경에서 동작되도록 DYMO 라우팅 프로토콜을 설계 구현하였으며 구현된 DYMO의 적합성을 검증하는 적합성 테스트 도구를 개발하여 구현 내용을 검증하였다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 한국공간정보시스템학회 2005년도 GIS/RS 공동 춘계학술대회
• /
• pp.101-104
• /
• 2005

TTA(Telecommunications Technology Association: 한국정보통신기술협회)에서는 2004년 말에 우리나라 교통 분야 지리정보 데이터 표준 모델을 발표한 바 있다. 이 TTA 모델은 지리정보의 수요증대와 더불어 적절한 교통 분야 지리정보 데이터의 공유, 교환 및 활용을 도모하기 위하여 구축뿐만 아니라 응용측면을 고려한 데이터 모델이므로 본 연구에서는 TTA 교통데이터 모델을 기반으로 국제적 지리정보 엔코딩 표준방식인 Geography Markup Language (GML) 처리가 가능한 시험적인 응용 시스템을 구축하여 웹 기반에서의 TTA 교통모델의 실무적 적합성을 검토해 보고자 한다. 본 연구 결과로 응용 도메인에서의 OGC 국제 표준인 GML의 적합성을 검증해 볼 수 있었고, 이러한 결과는 인터넷을 통한 응용 분야에서 별도로 구축된 지리정보의 공유 및 교환이 손쉽게 이루어지기 때문에 각각의 주요 응용 분야에서의 GIS 데이터의 공유를 위한 기반 구조가 될 것으로 생각한다.

• 한국정보통신학회논문지
• /
• 제10권8호
• /
• pp.1435-1442
• /
• 2006

안전성에 대한 이상적인 평가방법은 운영체제내의 모든 가능한 연산을 대상으로 실행 결과의 안정성 여부를 검사하는 것이다. 하지만 이는 현실적으로 불가능하다. 그러나 정형기법을 사용할 경우 운영체제 동작논리상의 안전성 보장 여부를 이론적으로 증명할 수 있다. 따라서 본 논문에서는 보안커널의 안정성 검증방법에 대하여 논하고, 정형검증의 대표적인 도구들에 대하여 비교분석을 수행하였다. 그리고 보안커널에 기반한 다중레벨 접근통제모델인 수정된 BLP(Bell & LaPadula) 모델을 검증하기에 적합한 PVS(Prototype Verification System) 검증도구를 선정하였다. 마지막으로 PVS 검증도구를 활용하여 정형명세를 작성하고, 작성된 정형명세의 검증을 통하여 수정된 BLP 모델이 안전한 보안모델이라는 것을 검증하였다.

• 항공우주시스템공학회지
• /
• 제16권6호
• /
• pp.45-53
• /
• 2022

항공전자 시스템에서는 하드웨어 장비가 변경되면 통신 방식 및 ICD 변경이 빈번히 발생하며, 소프트웨어 또한 그에 맞게 수정이 필요하다. 이는 개발 일정 및 비용에 큰 영향을 주는 요소이다. 따라서 최근 항공전자 산업에서는 소프트웨어의 이식성을 높이기 위해 개방형 아키텍처를 도입하고 있으며, 관련 연구 또한 활발히 진행되고 있다. 본 논문에서는 개방형 항공전자 아키텍처 중 하나인 FACE를 준수하기 위한 데이터 모델링 방안 및 고려사항에 대하여 설명한다. 또한, 항전 장비 중 하나인 VOR/ILS에서 출력하는 데이터에 대해 FACE 데이터 모델을 설계 및 구현하고, FACE Conformance Test Suite(CTS) 프로그램을 이용하여 데이터 모델이 FACE를 준수하여 설계되었다는 것을 검증한다.

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.123-130
• /
• 2007

본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

• 한국지리정보학회지
• /
• 제14권4호
• /
• pp.116-127
• /
• 2011

본 논문에서는 로지스틱 회귀분석 기법을 이용하여 산사태 취약성 분석을 수행하였다. 예측모델의 성능은 모델의 적합도 검증을 통해 사용된 데이터가 모델에 얼마나 잘 반영되어 구축되었는지에 대한 적합도 평가뿐만 아니라 예측성능에 대한 평가가 필요하다. 따라서 이 논문에서는 모델에 대한 객관적인 결과를 얻기 위해 이와 같은 두 가지 측면에 대하여 예측성능 평가를 적용하였다. 연구지역은 2006년도 집중 호우로 많은 산사태가 발생한 강원도 인제 일대를 대상으로 하였다. 산사태 관련인자들은 지형도, 토양도, 임상도로부터 추출하였다. 예측모델에 대한 평가는 누적이득차트 곡선의 하부영역을 계산하였다. 예측모델의 적합도 평가에서는 87.9% 교차검증을 통한 예측정확도 평가 결과 84.8%로 두 평가 결과간의 큰 차이를 보이지 않으며 좋은 성능의 결과를 산출하였다. 이는 산사태와 관련성이 높은 유발인자와 예측모델 성능에서 기인된 결과로 해석 될 수 있다.