• 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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.389-391
• /
• 2011

This paper has been studied about design of linear 25Watt Power amplifier for VDR(VHF Data Radio). VDR's frequency band is 117.975~137MHz, and CSMA(Carrier Sense Multiple Access), D8PSK(Differential Eight Phase Shift Keyed), 25KHz's channel bandwidth use. It also stated in DO-281A MOPS output power, symbol constellation error, spurious emissions, adjacent channel power must be met. HPA is designed to meet DO-281A standard.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.36D no.7
• /
• pp.34-41
• /
• 1999

In this paper, hot carrier induced performance degradation of peripheral circuits in memory devices such as static type imput buffer, latch type imput buffer and sense amplifier circuit has been measured and analyzed. The used design and fabrication of the peripheral circuits were $0.8 {\mu}m$ standard CMOS process. The analysis method is to find out which device is most significantly degraded in test circuits by using spice simulation, and then to characterize the correlation between device and circuit performance degradation. From the result of the performance degradation of static type input buffer, the trip point was increased due to the transconductance degradation of NMOS. In the case of latch type input buffer, there was a time delay due to the transconductance degradation of NMOS device. Finally, hot carrier induced the decrease of half-Vcc voltage and the increased of sensing voltage in sense amplifier circuits have been measured.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.95-98
• /
• 2006

Data collected by sensors in field are transmitted to the base station gathering all of data. Because sensors have to gather data in surroundings and periodically transmit data to the base station, it makes energy consumed much. In this paper, we propose the scheme that is to avoid traffic congestion with achievement of energy efficiency, so collected data is transmitted efficiently. This is to adjust transmission rate differently in case of increasing or decreasing traffic and minimize the energy consumption with setting ideal options up basic CSMA(Carrier Sense Multiple Access) protocol in each sensor. Through the simulation, we find the ideal CSMA options and apply the proposed scheme of traffic control mechanism to them, then show energy efficiency and effective traffic control mechanism.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.1
• /
• pp.145-150
• /
• 2006

The paper deals with integrated navigation and sense & avoid systems for small unmanned aerial vehicles (UAV). First an introduction to the current UAV activities of the institute is given. It is followed by an overview about the integrated navigation system developed for small UAVs. The system is based on a tightly-coupled GPS/INS architecture. But instead of using delta-ranges, time-differenced carrier phases are used to aid the INS. Finally, results from navigation filter validation in flight tests are presented. After that an overview about sense and avoid strategies for application in small unmanned aircraft is given. From this a guideline for developing such a system for the institute's UAVs is presented.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.40 no.7
• /
• pp.675-683
• /
• 1991

When alpha particles are incident into the substrate, we have calculated the advanced current caused by collecting charges as a function of time, the energy of alpha particle, and the carrier concentration of the substrate. Employing SPICE, we have compared two circuits of which one has dummy cell and another has dummy line instead of dummy cell, and both are connected to the bit line node including sense amplifier and cell within the memory device. From the numerical analysis, (it may be conjectured that)the smaller energy of alpha particle and the lower concentration of the substrate, the more possibility of misoperation due to alpha particles. It may be also found that the effects of alpha particle are substantially reduced in the circuit without dummy cell.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.310-312
• /
• 2005

무선 Ad-hoc 네트워크상에서 hidden node problem을 해결하기 위해 도입된 RTS/CTS의 사용여부는 네트워크의 처리량(throughput)에 영향을 미친다. 이는 RTS/CTS가 hidden node problem을 해결해주지만 거기에서 발생하는 overhead 때문에 처리량이 떨어질 수도 있기 때문이다. 기존 관련 연구에서는 RTS/CTS의 사용여부를 패킷의 크기에 따라 달리 해야 한다고 말하고 있다. 그리고 이를 구현하기 위해서 RTSThreshold라는 값을 사용하고 있다. 만약 이 값보다 패킷의 크기가 작으면 RTS/CTS는 사용 되지 않고, 만약 이 값보다 패킷의 크기가 크면 RTS/CTS가 사용된다. 이렇게 RTS/CTS의 사용여부를 결정해주는 RTSThreshold값을 결정하기 위해선 네트워크의 처리량에 영향을 줄 수 있는 모든 인자들을 고려해 보아야 할 것이다. 조사한 바에 의하면 이미 관련 연구에서 physical preamble의 크기, 노드의 수, 그리고 data rate와 RTSThreshold와의 관계를 연구 했었지만, 그밖에 네트워크의 처리량에 영향을 줄 수 있는 carrier sense range나 네트워크의 크기와의 관계는 연구가 되지 않았었다. 따라서 본 논문에서는 이 두가지 인자와 RISThreshold와의 관계를 살펴보고자 모의실험을 수행하였고 그 결과를 분석하였다. 두 인자가 어느 정도 RTSThreshold를 결정하는데 영향을 줄 것이라 예상했었지만, 실험 결과를 분석한 결과 carrier sense range나 네트워크의 크기는 RTSThreshold를 결정하는데 크게 영향을 주지 않는 것으로 나타났다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.11
• /
• pp.2451-2456
• /
• 2011

This paper is a study on the high power amplifier to fulfill standards of the MOPS. VDR's frequency band is 117.975~137MHz, and CSMA(Carrier Sense Multiple Access), D8PSK(Differential Eight Phase Shift Keyed), 25KHz's channel bandwidth use. It also stated in DO-281A MOPS output power, symbol constellation error, spurious emissions, adjacent channel power must be met. We designed and measured the performance. The 38dB of the IM3 satisfies the MOPS standard.

• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.7-14
• /
• 2012

In this paper, performance of IEEE 802.11 carrier-sense multiple access with collision-avoidance (CSMA/CA) protocols in saturated traffic conditions is presented taking into account the impact of imperfect channel sensing. The imperfect channel sensing includes both missed-detection and false alarm and their impact on the performance of IEEE 802.11 is analyzed and expressed as a closed form. To include the imperfect channel sensing at the physical layer, we modified the state transition probabilities of well-known two state Markov process model. Simulation results closely match the theoretical expressions confirming the effectiveness of the proposed model. Based on both theoretical and simulated results, the probability of detection is concluded as a dominant factor for the performance of IEEE 802.11.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.130-134
• /
• 2007

DCF(Distributed Coordination Function) of IEEE 802.11 WLAN(Wireless Local Area Network) MAC Layer apply to CSMA/CA(Carrier Sense Multiple Access with Collision Avoidance) for solution of collision when the station try to access at the same time. But DCF happens falling performance as increasing a number of stations. In this paper, we suggest algorithm that improved performance in congestion. And we compare DCF, DCF+ and proposed algorithm respect to saturation throughput, delay, collision rate and drop rate using NS2(Network Simulator 2) simulation tool.