A test sequence generation method is proposed for testing the conformance of a protocol implementation to its specification in a remote testing system where both external synchronization and input/output operation costs are taken into consideration. The method consists of a set of transformation rules that constructs a duplexU digraph from a given finite state machine (FSM) representation of a protocol specification; and an algorithm that finds a rural postman tour in the duplexU digraph to generate a synchronizable test sequence utilizing multiple UIO sequences. If the protocol satisfies a specific property, namely, the transitions to be tested and the UIO sequences to be employed form a weakly-connected subgraph of the duplexU digraph, the proposed algorithm yields a minimum-cost test sequence. X.25 DTE and ISO Class 0 transport protocols are shown to possess this property. Otherwise, the algorithm yields a test sequence whose cost is within a bound from the cost of the minimum-cost test sequence. The bound for the test sequence generated from the Q.931 network-side protocol is shown to be the cost sum of an input/output operation pair and an external synchronization operation 相似文献
This paper is concerned with the problem of robust state feedback \(H_\infty \) stabilization for a class of uncertain two-dimensional (2-D) continuous state delayed systems. The parameter uncertainties are assumed to be norm-bounded. Firstly, a new delay-dependent sufficient condition for the robust asymptotical stability of uncertain 2-D continuous systems with state delay is developed. Secondly, a sufficient condition for \(H_\infty \) disturbance attenuation performance of the given system is derived. Thirdly, a stabilizing state feedback controller is proposed such that the resulting closed-loop system is robustly asymptotically stable and achieves a prescribed \(H_\infty \) disturbance attenuation level. All results are developed in terms of linear matrix inequalities. Finally, two examples are provided to validate the effectiveness of the proposed method. 相似文献
In this paper, the impact of varying path loss exponent (PLE) on user association probability, decoupled uplink coverage probability as well as decoupled uplink average spectral efficiency in downlink uplink decoupled (DUDe) multi-tier heterogeneous networks, is investigated. We investigate the effect of the difference in path loss exponents in both macro and small cell environments over uplink network performance. It is assumed that the mobile user connected to the macro base station experience different path loss exponent as compared to when connected to small base station. It is observed that the difference of path loss exponents in both cases has significant effect on the user association probability, decoupled uplink coverage probability as well as decoupled uplink average spectral efficiency. Moreover, in order to further support key findings and make sound comparison between coupled and DUDe performance in varying PLE environment, generalized analytical expressions for coupled association probabilities, along with coupled uplink coverage probability and coupled uplink average spectral efficiency have been derived. The analytical results evaluated in this paper are compared with the computer simulation and found in good agreement. Our analysis shows that decoupling technique performs suboptimal for cases where the environments around macro and small base stations are different with respect to each other. The work explained in this paper highlights the limitation of applying DUDe technique in realistic conditions where the PLEs of cellular tiers are not exactly equal to one another.
Orthogonal frequency division multiplexing (OFDM) is perhaps the most spectrally efficient, robust transmission technique discovered so far for communication systems, and it also mitigates the problem of multipath environment. High peak-to-average power ratio (PAPR) has always been a major drawback of the OFDM systems. In this article, a new precoding technique has been proposed based on Vandermonde-like matrix (VLM) and selective mapping (SLM) to reduce PAPR in OFDM systems. VLM precoding reduces the autocorrelation of the input sequences while SLM takes an advantage of the fact that the PAPR is very sensitive to phase shifts of the signal. The main advantage of this proposed scheme is to achieve a significant reduction in PAPR without increasing the system complexity. Computer simulations show that, the proposed method outperforms the existing precoding techniques without degrading the error performance of the system. 相似文献
In this paper, we introduce the quantization index hierarchy, which is used for efficient coding of quantized wavelet and wavelet packet coefficients. A hierarchical classification map is defined in each wavelet subband, which describes the quantized data through a series of index classes. Going from bottom to the top of the tree, neighboring coefficients are combined to form classes that represent some statistics of the quantization indices of these coefficients. Higher levels of the tree are constructed iteratively by repeating this class assignment to partition the coefficients into larger subsets. The class assignments are optimized using a rate-distortion cost analysis. The optimized tree is coded hierarchically from top to bottom by coding the class membership information at each level of the tree. Context-adaptive arithmetic coding is used to improve coding efficiency. The developed algorithm produces PSNR results that are better than the state-of-art wavelet-based and wavelet packet-based coders in literature. 相似文献
Individual cognitive radio nodes in an ad-hoc cognitive radio network (CRN) have to perform complex data processing operations for several purposes, such as situational awareness and cognitive engine (CE) decision making. In an implementation point of view, each cognitive radio (CR) may not have the computational and power resources to perform these tasks by itself. In this paper, wireless distributed computing (WDC) is presented as a technology that enables multiple resource-constrained nodes to collaborate in computing complex tasks in a distributed manner. This approach has several benefits over the traditional approach of local computing, such as reduced energy and power consumption, reduced burden on the resources of individual nodes, and improved robustness. However, the benefits are negated by the communication overhead involved in WDC. This paper demonstrates the application of WDC to CRNs with the help of an example CE processing task. In addition, the paper analyzes the impact of the wireless environment on WDC scalability in homogeneous and heterogeneous environments. The paper also proposes a workload allocation scheme that utilizes a combination of stochastic optimization and decision-tree search approaches. The results show limitations in the scalability of WDC networks, mainly due to the communication overhead involved in sharing raw data pertaining to delegated computational tasks. 相似文献
Long fast Fourier transforms (FFTs) are required in applications such as orthogonal frequency division multiplexing, radars and sonars. It is highly desirable to reduce the size and power requirements of the FFT so as to realise single chip long FFT-based systems targeting portable applications. Presented here is a novel technique to reduce the coefficient memory almost by a factor of four by exploiting the relationships among the coefficient values thereby significantly reducing the area and power requirements of the hardware 相似文献
Network Mobility (NEMO) handles mobility of multiple nodes in an aggregate manner as a mobile network. The standard NEMO suffers from a number of limitations, such as inefficient routing and increased handoff latency. Most previous studies attempting to solve such problems have imposed an extra signaling load and/or modified the functionalities of the main entities. In this paper, we propose a more secure and lightweight route optimization (RO) mechanism based on exploiting the firewall in performing the RO services on behalf of the correspondent nodes (CNs). The proposed mechanism provides secure communications by making an authorized decision about the mobile router (MR) home of address, MR care of address, and the complete mobile network prefixes underneath the MR. In addition, it reduces the total signaling required for NEMO handoffs, especially when the number of mobile network nodes and/or CNs is increased. Moreover, our proposed mechanism can be easily deployed without modifying the mobility protocol stack of CNs. A thorough analytical model and network simulator (Ns‐2) are used for evaluating the performance of the proposed mechanism compared with NEMO basic support protocol and state‐of‐the‐art RO schemes. Numerical and simulation results demonstrate that our proposed mechanism outperforms other RO schemes in terms of handoff latency and total signaling load on wired and wireless links. 相似文献
World Radio Conference WRC-1992 has allocated the frequency band 21.4–22.0?GHz to regions 1 and 3 to be utilised to carry direct broadcasting satellite (DBS) services. This high-frequency band is more susceptible to rain attenuation, leading to degradation of the signal quality. Moreover, this frequency band is assigned to two different services, i.e. satellite broadcasting and fixed mobile services at the same regions; hence, the impact of intersystem interference in a depredated signal is a critical issue in the DBS receiver. In this study, the effects of rain attenuation on the DBS downlink signals as well as the impact of the potential interference on the reception quality will be estimated. An interference scenario will be introduced to investigate the system performance in both propagation mechanisms of clear-sky and rain conditions. 相似文献