• Journal of Communications and Networks
• /
• v.16 no.4
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• 한국정보통신설비학회:학술대회논문집
• /
• 2008.08a
• /
• pp.525-530
• /
• 2008

There are a few core technologies to enable high-performance $4^{th}$ generation (4G) broadband wireless communication system. A multiple input multiple output (MIMO) provides high-rate transmission through expended channels by multiple array antennas in both sender and receiver side. Also orthogonal frequency division multiplexing (OFDM) is well-known as the most appropriate technique for high data rate transmission such as Mobile WiMAX and WLAN. Efficient decrease of inter-carrier interference (ISI) and inter-carrier interference (ICI) are the reasons for why OFDM is suitable for high-performance transmission, 4G mobile communication. In this paper, we mainly focus on two of objects, combination between MIMO and OFDM, and OFDM channel simulator using Ray-tracing algorithm. The results of this paper can be used implementation of a Wireless Software Platform for 4G Mobile Communication Systems.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.906-907
• /
• 2014

금형이나 부품절삭가공 등에 사용하고 있는 공작기계(밀링, 선반)는 Gcode라는 좌표값에 따라 공작기계를 동작시킨다. 공작기계가 많을 경우에는 휴대용 데이터 캐리어(data carrier) 이용하여 각각의 공작기계에 Gcode 데이터를 다운로딩 하고 있다. 현재에는 이러한 불편함을 해소하기 위하여 고가의 최신기술을 도입한 UTP, Wi-Fi, USB, CF 등을 기반으로 Gcode 데이터를 전송하는 시스템을 개발하고 있지만, 과거에 구입한 구형장비의 경우에는 RS-232를 사용하고 있어 데이터 전송이 불편함이 있다. 본 논문에서는 ATmega128을 활용하여 WGTE(Wireless Gcode Transfer Equipment)를 개발하여 시중에 상용화 되고 있는 고가의 장비를 대신할 수 있는 블루투스(bluetooth) 기반의 WGTE를 개발하고자 한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.6
• /
• pp.1150-1155
• /
• 2007

Orthogonal Frequency Division Multiplexing (OFDM) is an emerging multi-carrier modulation scheme, which has been adopted for several wireless standards such as IEEE 802.11a and HiperLAN2. A well-known problem of OFDM is its sensitivity to frequency offset between the transmitted and received carrier frequencies. This frequency offset introduces inter-carrier interference (ICI) in the OFDM symbol. This paper investigates three methods for combating the effects of ICI: ICI self-cancellation (SC), maximum likelihood (ML) estimation, and extended Kalman filter (EKF) method. These three methods are compared in terms of bit error rate performance.

• International journal of advanced smart convergence
• /
• v.9 no.1
• /
• pp.172-176
• /
• 2020

The implementation of a low phase noise voltage controlled oscillator (VCO) is important for the signal integrity of wireless communication terminal. A low phase noise wideband VCO for a wireless local area network (WLAN) application is presented in this paper. A 6-bit coarse tune capacitor bank (capbank) and a fine tune varactor are used in the VCO to cover the target band. The simulated oscillation frequency tuning range is from 8.6 to 11.6 GHz. The proposed VCO is desgned using 65 nm CMOS technology with a high quality (Q) factor bondwire inductor. The VCO is biased with 1.8 V VDD and shows 9.7 mA current consumption. The VCO exhibits a phase noise of -122.77 and -111.14 dBc/Hz at 1 MHz offset from 8.6 and 11.6 GHz carrier frequency, respectively. The calculated figure of merit(FOM) is -189 dBC/Hz at 1 MHz offset from 8.6 GHz carrier. The simulated results show that the proposed VCO performance satisfies the required specification of WLAN standard.

• Journal of Communications and Networks
• /
• v.17 no.4
• /
• pp.419-427
• /
• 2015

There have been increases in the elderly population worldwide, and this has been accompanied by rapid growth in the health-care market, as there is an ongoing need to monitor the health of individuals. Wireless body area networks (WBANs) consist of wireless sensors attached on or inside the human body to monitor vital health-related problems, e.g., electrocardiograms (ECGs), electroencephalograms (EEGs), and electronystagmograms (ENGs). With WBANs, patients' vital signs are recorded by each sensor and sent to a coordinator. However, because of obstructions by the human body, sensors cannot always send the data to the coordinator, requiring them to transmit at higher power. Therefore, we need to consider the lifetime of the sensors given their required transmit power. In the IEEE 802.15.6 standard, the transmission topology functions as a one-hop star plus one topology. In order to obtain a high throughput, we reduce the transmit power of the sensors and maintain equity for all sensors. We propose the multiple-hop transmission for WBANs based on the IEEE 802.15.6 carrier-sense multiple-access with collision avoidance (CSMA/CA) protocol. We calculate the throughput and variance of the transmit power by performing simulations, and we discuss the results obtained using the proposed theorems.

• ETRI Journal
• /
• v.45 no.1
• /
• pp.45-59
• /
• 2023

In this paper, to optimize the average delay and power allocation (PA) for system users, we propose a resource scheduling scheme for wireless networks based on Cyclic Prefix Orthogonal Frequency Division Multiplexing (CP-OFDM) according to the first fifth-generation standards. For delay minimization, we solve a throughput maximization problem that considers CPOFDM systems with carrier aggregation (CA). Regarding PA, we consider an approach that involves maximizing goodput using an effective signal-to-noise ratio. An algorithm for jointly solving delay minimization through computation of required user rates and optimizing the power allocated to users is proposed to compose the resource allocation approach. In wireless network simulations, we consider a scenario with the following capabilities: CA, 256-Quadrature Amplitude Modulation, millimeter waves above 6 GHz, and a radio frame structure with 120 KHz spacing between the subcarriers. The performance of the proposed resource allocation algorithm is evaluated and compared with those of other algorithms from the literature using computational simulations in terms of various Quality of Service parameters, such as the throughput, delay, fairness index, and loss rate.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.2
• /
• pp.295-302
• /
• 2014

OFDM technique uses multiple sub-carriers for the data transmission. Therefore, inter carrier interference is generated because of nonlinear high power amplifier and carrier frequency offset. Wireless OFDM transmission over Doppler fading channels also causes inter carrier interference. The interference increases the bit error rate in receiver. Sub-carrier allocation methods in LTE and WiMAX standards are different. The performance of OFDM systems using different sub-carrier allocation, gauged by the bit error rate, is analyzed considering the nonlinear high power amplifier, carrier frequency offset and Doppler fading channels.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.1343-1345
• /
• 2002

In this paper, we introduce the MC-CDMA (Multi-Carrier CDMA) system with MD (multi-detector). Due to unknown functional form of noise in wireless channel environments, it is not easy to design the detector through estimating the functional form of noise. Instead, we design the MD, which is constructed based on DGT (Data Grouping Technique) and quantiles estimated through RMSA (Robbins-Monro Stochastic Approximation) algorithm.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38A no.1
• /
• pp.33-43
• /
• 2013

This paper proposes a distributed MAC protocol called Carrier Sensing Multiple Access with Collision Resolution (CSMA/CR) considering fully-connected single hop network environments for next-generation wireless LAN with high density of stations. The proposed CSMA/CR is compatible with the conventional MAC protocols by observing the operation of CSMA/CA and is able to detect a collision promptly without RTS/CTS exchange by applying the technique of CSMA/CD to wireless environments. Moreover, once a collision is detected, the dedicated resource is allocated to the next transmission and so the collision that may occur again is resolved. We investigate some implementation issues for the practicality of CSMA/CR and compare it with the typical distributed MAC protocols. The simulation results show that the proposed CSMA/CR has a low overhead as detecting a collision without the RTS/CTS exploitation and achieves always the best throughput regardless of the number of access stations, by using the reservation-based collision resolution technique.