• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.197-199
• /
• 2011

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

• Satellite Communications and Space Industry
• /
• v.15 no.1
• /
• pp.101-107
• /
• 2008

IMT-Advanced 서비스는 지난 2007년 10월 WRC-07 회의에서 IMT-Advanced를 위한 새로운 주파수가 할당되고 IMT-Advanced 기술 개발 경쟁이 본격적으로 이루어지면서 차세대 이동통신의 주도권을 잡기 위한 표준화 경쟁도 시작되었다. IMT-Advanced 서비스 및 시스템의 표준화는 ITU가 중심이 되어 2009년 10월까지 후보 기술을 제안 받고 2011년 2월까지 이루어질 예정이다. 한편 3GPP, 2GPP2, IEEE802.16 등 기준 IMT-2000 표준 기술을 제안한 표준화 단체 중심으로 IMT-Advanced 표준 기술 개발 경쟁이 치열하게 전개되고 있다. 지난 2008년 1월에 합의하기로 한 최소 기술 요구사항은 각 표준화 단체를 배경으로 한 국가 및 제조업체사이에 표준화 기술의 의견 차이가 매우 커서 2008년 6월로 미루어졌다. IMT-Advanced 기술 요구 사항은 국내 IMT-Advanced 기술 경쟁력을 확보하는 기준이 되는 문서로서 최소 기술 요구사항의 파라미터 값은 향후 IMT-Advanced 시스템의 개발 및 상용화 시기 그리고 기존 IMT-Advanced 기술 요구 사항에 대한 표준화 단체의 기술 개발 현황과 차이를 확인하고 주요 이슈 및 쟁점을 분석하였다.

• Electronics and Telecommunications Trends
• /
• v.23 no.2 s.110
• /
• pp.162-167
• /
• 2008

ITU-R WP 5D에서는 차세대 이동통신 시스템인 IMT-Advanced 시스템에 대한 표준화를 진행하고 있다. 이 표준화는 IMT-Advanced를 위한 표준화 일정, 서비스 요구사항, 기술적 요구사항, 평가 방법 등을 포함하며 최종적으로 각 사항들은 IMT-Advanced 후보 기술 제출 요청을 위해 외부 표준화 기관 등에 발송될 예정이다. 이중 IMT.TECH은 IMT-Advanced에서의 기술적 요구사항을 규정하며 IMT-Advanced 시스템 평가를 위한 최소 기술 요구사항, 주요 기술적인 항목에 대한 정의, 평가를 위한 항목 등을 주요 내용으로 한다. 본 고는 2008년 1월 WP 5D 1차 회의까지 작성된 IMT.TECH 문서의 주요 내용을 소개하고, 차후 일정 및 대응 방안에 대하여 논한다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.27 no.1
• /
• pp.33-41
• /
• 2016

Radio Frequency Identification(RFID) can provide visibility and efficiency throughout the entire supply chain in fashion apparel and footwear. The technical analysis of RFID performance is necessarily required to create a sealess omni-channel service using customer experience. Especially, several tagged-item performance specifications, for example read range and multi-read rate, strongly depend on the attached material and real-operating environment. This paper suggests minimum performance requirements for RFID tags embedded inside a pair of shoes to negotiate tagged-item performance between retailers and suppliers.

• Review of KIISC
• /
• v.30 no.4
• /
• pp.17-21
• /
• 2020

본 논문에서는 국제전기통신연합(ITU)의 정보통신기술 표준을 담당하고 있는 ITU-T에서 보안 분야 표준을 제정하고 있는 SG17에서의 양자암호통신 표준화 동향을 소개하고자 한다. 양자암호통신은 더 이상 쪼갤 수 없는 물리량의 최소 단위인 양자(Quantum)의 특성을 이용해 도청 불가능한 암호키(Key)를 생성, 송신자와 수신자 양쪽에 나눠주는 기술인 양자 키 분배 기술을 기반으로 하며, 이 양자 키 분배 기술을 통신망에 적용하여 보안 서비스를 제공하기 위한 보안 요구 사항과 관련된 상호호환성을 보장하기 위한 표준화가 ITU-T SG17에서 진행중에 있으며, 본고에서 관련 표준화 현황을 살펴보았다.

• Journal of Digital Contents Society
• /
• v.6 no.2
• /
• pp.131-135
• /
• 2005

Nowadays, the demand for the wireless technology has gradually increased to support the services of high speed wired internet and also the interest of a mobile terminal convergence has increased. In the next generation, the mobile terminal could merge with the celluar phone, wireless LAN, portable internet, digital multimedia brodcasting, mobile game and sensor(smart-tag and biometrics) through the unified single user interface. Moreover, the system is supported to multi-mode at difference networks, which have variable functions and high performance for available service. Inthis paper, we investigate the minimum requirements and the core technologies of the next generation mobile terminals.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.333-336
• /
• 2003

The purpose of this study is to analyze the customer's demands to domestic customized apartments. The research method involves a survey on occupants and potential customers of customized apartments. The results of this study are as follows: 1) Customers' first request to customized apartments is investigated to be various option of space and finish materials. 2) In case of finish materials, customers are investigated to want a selection range of $4\~6$ for their customized apartments.

• 정보화사회
• /
• s.136
• /
• pp.36-39
• /
• 2000

올해로 창립 11년째를 맞고 있는 포스데이타는 현재 850여명의 전문인력에, 자본금 3백 50억원, 매출액 1천8백여억원의 기업이다. 포스데이타의 주력사업은 기업이나 정부기관의 정보시스템을 개발해주는 것이다. 즉, 컴퓨터(하드웨어), 소프트웨어, 통신 등 모든 정보관련 기술을 활용, 최소의 비용으로 이용자의 요구사항에 맞는 최적의 정보시스템을 구축, 제공하는 것이다. 곧 정보화와 관련된 종합서비스를 제공하고 있는 것이다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.348-352
• /
• 2005

본 논문은 조선소에서 계획기간동안 각 플랜트의 생산일정에 따른 블록의 모든 수송요구량이 미리 알려져 있는 정적인(static) 수송환경을 고려한 트랜스포터 일정계획문제를 다룬다. 조선소 내에서 블록들의 수송은 몇 가지 특성을 가진다. 500톤을 초과하는 거대 블록들은 2대 이상이 결합된 새로운 형태의 트랜스포터를 이용하여 운반된다. 운반이 요구되는 블록들 중 일부는 계획기간동안 규정된 출발요구시각에 pick-up되기를 요구하는 반면 나머지 블록들은 계획기간동안 규정된 도착요구시각 전에 delivery되기를 요구한다. 이러한 트랜스포터의 결합 및 시간 제약은 문제를 더욱 복잡하게 하는 요인이 된다. 본 논문에서는 계획기간 내에 모든 블록운반 요구사항들(출발지와 도착지, pick-up과 delivery 시각, 톤수, 결선 등)을 만족시키는 트랜스포터 일정계획문제를 다룬다. 트랜스포터 일정계획문제에서 중요한 주제는 총 로지스틱스 시간 (공차운행시간, delay 시간 및 tardy 시간)을 최소화하기 위해 계획기간 내에 최소의 트랜스포터 운영대수로 각 트랜스포터에 어떤 블록을 할당하고 어떤 순서로 운반할 것인 지를 결정하는 것이다. 이에 본 논문에서는 주어진 트랜스포터 일정계획문제를 해결하기 위해, 1단계에서 최소비용 네트워크 흐름문제를 근간으로 트랜스포터의 최소사용대수를 구하고 이를 기초로 2단계에서 각 트랜스포터에의 블록 할당과 운반순서를 결정하는 2단계 휴리스틱 알고리즘을 제안한다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.54 no.7
• /
• pp.3-11
• /
• 2017

UAV system has the limitation to allocate enough spectrum bandwidth for the operation of multiple UAVs due to the market expansion. In addition, the communication environment of UAV network varies dynamically due to the UAV's mobility. Thus, to operate the stable UAV system and maximize the transmission data rate, it needs to allocate the resource effectively in the limited bandwidth considering the given network environment. In this paper, we propose the resource allocation algorithm which can maximize the network throughput as well as satisfy the minimum data requirement for the UAV system operation in the given network environment based on TDMA(Time Division Multiple Access). By performance analysis, we show that the proposed algorithm can allocate the resource to satisfy the high network throughput as well as the minimum data requirement in the given network environment.