Abstract:
A call admission control technique is described which is well-suited for wireless systems providing real-time services over a shared downlink. The call admission control technique considers both multiplexing and multi-user diversity gain. The technique accurately determines the multi-user diversity gain by measuring per-user resource allocation and advantageously maximizes user accommodations under quality-of-service (QoS) as well as location-dependent resource availability constraints. In a further aspect, the call admission control technique is combined with delay-based scheduling, which effectively balances between system efficiency (channel exploitation) and user expectation (e.g., QoS). A system embodying the described call admission control and scheduling techniques can advantageously deliver efficient real-time services and remain robust to different load scenarios that vary according to system dynamics and/or user mobility.
Abstract:
There is provided a method for allocating transmission rates in a wireless network, includes the steps of associating transmitters with corresponding receivers for communicating on an interference channel in the wireless network, and allocating a transmission rate to each transmitter for decoding by its corresponding receiver, the allocated transmission rate being equal to a desired rate of a fixed user rate and being no less than a minimum rate of a variable user rate. The step of allocating can include a sequential allocation that meets the minimum rate requirement of all users and assigns excess rates to variable rate users in a sequential fashion according to specified priorities. The step of allocating can include a parallel symmetric rate allocation when all variable rate users have the same priority and that meets minimum rate requirements of all users and is symmetric fair. The step of allocating can include a parallel iterative rate allocation with the sequence of rate allocations obtained for each user being non-decreasing and a rate allocation vector obtained after each iteration meets minimum rate requirements for all users and is max-min fair when all variable rate users have the same priority.
Abstract:
A system and method for bounded model checking of computer programs includes providing a program having at least one reachable property node. The program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program. A reduced BMC sub-problem obtained using BMC unrolling, while using path constraints imposed by the at least one tunnel. For the reachable property node, determining a quantifier-free formula (QFP) in a decidable subset of first order logic. Satisfiability of the QFP is checked, independently and individually, to determine whether the QFP is satisfiable for the subproblem. The decomposing is continued until the a BMC bound is reached.
Abstract:
In accordance with aspects of the present principles, an over-approximation of reachable states of a hybrid system may be determined by utilizing template polyhedra. Policy iteration may be utilized to obtain an over-approximation of reachable states in the form of a relaxed invariant based upon template polyhedra expressions. The relaxed invariant may be used to construct a flowpipe to refine the over-approximation and thereby determine the reachable states of the hybrid system.
Abstract:
A fiber optic network transmits data between a hub node and a plurality of local nodes connected by at least one unidirectional fiber ring. Downstream data streams are carried on wavelength-division-multiplexed optical carriers from the hub node to the local nodes. An optical carrier corresponding to a specific wavelength carries downstream data streams to a specific local node. Downstream data streams are multiplexed onto an optical carrier via orthogonal frequency division multiplexing. A parallel signal detector in each local node detects all downstream optical carriers. A signal processing module demultiplexes the data stream from the optical carrier having the specific wavelength corresponding to the local node. An upstream data stream is multiplexed via orthogonal frequency division multiplexing onto an upstream optical carrier having the same specific wavelength and transmitted from the local node to the hub node. Upstream data awaiting transmission is allocated to specific subcarriers and time slots.
Abstract:
A system and method for reducing energy consumption in an information storage system is disclosed which takes advantage of the redundancy in a typical storage system.
Abstract:
A method for encoding an OFDM signal includes pairing two adjacent subcarriers of an OFDM signal as a group, changing a modulated symbol set of the OFDM signal to a modified symbol set for coding the OFDM signal, and providing a modified baseband OFDM signal with an increased frequency separation between the subcarriers and reducing the total number of subcarriers being used for transmission over each OFDM symbol interval.
Abstract:
A demodulator and demodulation method includes an optical coupler configured to receive an input signal. The optical coupler couples the signal to an even number of branches. Each branch including at least one interferometer configured to split, combine and interfere with an optical signal from one of within the branch or from another branch. A common optical delay is disposed on one of every two branches between the optical coupler and the interferometer of the branch.
Abstract:
Systems and methods are disclosed for clusterizing information by determining similarity matrix for historical information and similarity matrix for current information; generating an aggregated similarity matrix (aggregated kernel); and applying evolutionary spectral clustering on the aggregated kernel to a content stream to produce one or more clusters.
Abstract:
A passive optical network (PON) device, system and method include an optical line terminal (OLT) receiver configured to receive multiple signals at different wavelengths simultaneously and enable multiple transmitters to operate at the same time during one upstream time slot. The optical line terminal employs Orthogonal Frequency Division Multiple Access (OFDMA) to transparently support a plurality of applications and enable dynamic bandwidth allocation among these applications where the bandwidth is allocated in two dimensional frequency and time space.