17515399
Sizes of Graphs with Fixed Orders and Spans for Circular-Distance-Two Labelings
A k-circular-distance-two labeling (or k-c-labeling) of a simple graph G is a vertex-labeling, using the labels 0, 1, 2, · · · , k − 1, such that the “circular difference” (mod k) of the labels for adjacent vertices is at least two, and for vertices of distance-two apart is at least one. The σ-number, σ(G), of a graph G is the minimum k of a k-c-labeling of G. For any given positive integers n and k, let G(n, k) denote the set of graphs G on n vertices and σ(G) = k. We determine the maximum size (number of edges) and the minimum size of a graph G ∈ G(n, k). Furthermore, we prove that for any value p between the maximum and the minimum size, there exists a graph G ∈ G(n, k) of size p. These results are analogues of the ones by Georges and Mauro [4] on distance-two labelings.
16699960
Circular chromatic number for iterated Mycielski graphs
Abstract For a graph G , let M( G ) denote the Mycielski graph of G . The t th iterated Mycielski graph of G , M t ( G ), is defined recursively by M 0 ( G )= G , and M t ( G )=M(M t −1 ( G )) for t ⩾1. Let χ c ( G ) denote the circular chromatic number of G . We prove two main results: (1) If G has a universal vertex x , then χ c (M( G ))= χ (M( G )) if χ c (G−x)>χ(G)− 1 2 and G is not a star, otherwise χ c ( M (G))=χ( M (G))− 1 2 ; and (2) χ c (M t ( K m ))= χ (M t ( K m )) if m ⩾2 t −1 +2 t −2 and t ⩾2.
53235721
Establishing pairwise keys in distributed sensor networks
Pairwise key establishment is a fundamental security service in sensor networks; it enables sensor nodes to communicate securely with each other using cryptographic techniques. However, due to the resource constraints on sensor nodes, it is not feasible to use traditional key management techniques such as public key cryptography and key distribution center (KDC). A number of key predistribution techniques have been proposed for pairwise key establishment in sensor networks recently. To facilitate the study of novel pairwise key predistribution techniques, this paper develops a general framework for establishing pairwise keys between sensor nodes using bivariate polynomials. This paper then proposes two efficient instantiations of the general framework: a random subset assignment key predistribution scheme, and a hypercube-based key predistribution scheme. The analysis shows that both schemes have a number of nice properties, including high probability, or guarantee to establish pairwise keys, tolerance of node captures, and low storage, communication, and computation overhead. To further reduce the computation at sensor nodes, this paper presents an optimization technique for polynomial evaluation, which is used to compute pairwise keys. This paper also reports the implementation and the performance of the proposed schemes on MICA2 motes running TinyOS, an operating system for networked sensors. The results indicate that the proposed techniques can be applied efficiently in resource-constrained sensor networks.
31045346
A New Fuzzy Identification Method Based on Adaptive Critic Designs
A new fuzzy identification method for unknown nonlinear discrete systems is presented by introducing adaptive critic designs into the generalized fuzzy hyperbolic model (GFHM). This method minimizes the long-time error other than the immediate error to improve the identification effect. We first represent the GFHM with a neural network structure, and then utilize the adaptive critic designs (ACDs) to get the optimal parameters of the network so that the long-time identification error is minimized. Finally, we give a simulation example to verify the effectiveness of this identification method.
7771298
Robust stability of a class of nonlinear time-varying discrete systems
This paper studies the problem of robust absolute stability of a class of nonlinear discrete-time systems with time-varying matrix uncertainties of polyhedral type and multiple time-varying sector nonlinearities. By using the variational method and the Lyapunov Second Method, criteria for robust absolute stability are obtained in different forms for the given class of systems. Specifically, we determine the parametric class of Lyapunov functions which defines the necessary and sufficient conditions of robust absolute stability. We apply these Lyapunov functions to derive an algebraic criterion for robust absolute stability in the form of solvability conditions of a set of matrix equations.
769378
Efficient Distribution of Key Chain Commitments for Broadcast Authentication in Distributed Sensor Networks
Broadcast authentication is a fundamental security service in distributed sensor networks. A scheme named $\mu$TESLA has been proposed for efficient broadcast authentication in such networks. However, $\mu$TESLA requires initial distribution of certain information based on unicast between the base station and each sensor node before the actual authentication of broadcast messages. Due to the limited bandwidth in wireless sensor networks, this initial unicast-based distribution severely limits the application of $\mu$TESLA in large sensor networks. This paper presents a novel technique to replace the unicast-based initialization with a broadcast-based one. As a result, $\mu$TESLA can be used in a sensor network with a large amount of sensors, as long as the message from the base station can reach these sensor nodes. This paper further explores several techniques that improve the performance, the robustness, as well as the security of the proposed method. The resulting protocol satisfies several nice properties, including low overhead, tolerance of message loss, scalability to large networks, and resistance to replay attacks as well as some known Denial of Service (DOS) attacks.
30709401
T-graphs and the channel assignment problem
Abstract T -colorings arose from the channel assignment problem in communications. Given a finite set T of non-negative integers, a T -coloring of a simple graph G is an assignment of a non-negative integer (channel) on every vertex of G , such that the difference of channels of two adjacent vertices does not fall in T . The T -span of G , denoted by sp T ( G ), is the minimum span among all possible T -colorings of G , where the span of a T -coloring is the difference between the largest and smallest channels used. This article applies T -graphs to explore the sets T that belong to these two collections: G = { T : greedy (or first-fit) algorithm provides T -spans for all complete graphs}, and E = { T : spt ( G ) = sp T ( K χ ( G ) ) for all graphs G , where χ is the chromatic number}. Given T , its T -graph has the vertex set of all non-negative integers so that two vertices are adjacent if their difference does not fall in T . We show that for any a ∈ Z + , the T -graph of aT is isomorphic to a disjoint product of a copies of the T -graph of T , where aT is the set obtained by multiplying every element of T by a . Based on this characterization, the following two results are attained. For any a ∈ Z + , T ∈ E if and only if aT ∈ E , and T ∈ G if and only if aT ∈ G . The second fact has been proven by Cozzens and Roberts (1991) from a different approach. We will completely solve the family of sets T = {0, s , s + 1,…, l } by providing a different proof of the fact T ∈ G (Tesman, 1989), and showing that T ∈ E if and only if l is a multiple of s . In addition, complete solutions for a more general family are obtained: for any a , s , l ∈ Z + with s ⩽ l , T = {0, as , a ( s + 1), a ( s + 2),…, al } ∪ A ∈ E , and T ϵ E if and only if l = ms for some m , where A ⊆{ as + 1, as + 2, …, al - 1}.