Abstract:
Data is stored in a distributed data storage system comprising a plurality of disks. When a disk fails, system reliability is restored by executing a set of reconstructions according to a schedule. System reliability is characterized by a dynamic Normalcy Deviation Score. The schedule for executing the set of reconstructions is determined by a minimum intersection policy. A set of reconstructions is received and divided into a set of queues rank-ordered by redundancy level ranging from a lowest redundancy level to a highest redundancy level. For reconstructions in each queue, an intersection matrix is calculated. Diskscores for each disk are calculated. The schedule for the set of reconstructions is based at least in part on the intersection matrices, the Normal Deviation Scores, and the diskscores.
Abstract:
A method for error correction and a decoder using low density parity check (LDPC) codes includes initializing extrinsic probability information between variable nodes and check nodes in a bipartite graph including generating a Bernoulli sequence according to a probability of a bit having a value one. Parity checking is performed in accordance with a parity check equation. If the parity check equation is not satisfied, then extrinsic information is updated in check nodes from variable nodes using a parity node update logic circuit in a first half iteration, extrinsic information is updated in variable nodes from check nodes using a variable node update logic circuit in a second half iteration, and the variable nodes are updated with a probability based upon the extrinsic information passed between check nodes and variable nodes wherein the probability represents a likelihood that an ith bit is a one. Information bits are passed when the parity check equation is satisfied or a predetermined number of iterations has been reached.
Abstract:
An information retrieval architecture for performing a multi-dimensional search for a lookup value associated with a set of input values, the set of input values organized into one or more fields, the information retrieval architecture including a plurality of classification modules, each classification module storing the lookup values, each lookup value being associated with a set of input values; and a preprocessing module which receives a set of input values and selectively limits search of the plurality of classification modules to a subset of the classification modules.
Abstract:
Systems and methods to assign one or more resources in a multi-user cellular Orthogonal Frequency-Division Multiple Access (OFDMA) uplink includes specifying a resource allocation problem for one or more resources; converting the resource allocation problem into an assignment problem; solving the assignment problem through an auction; and allocating one or more resources to cellular users to maximize a system utility.
Abstract:
Transmission is scheduled in a multi-cell multi-carrier wireless network. Assignments are determined for subcarriers by determining marginal gains for receivers, determining a receiver and an associated base station corresponding to a highest marginal gain, and assigning the receiver to the base station. These steps may be iteratively repeated until each of the receivers is assigned to a base station. The subcarriers are then allocated to the receivers by selecting the receiver with the highest gain. Alternatively, assignments are determined for subcarriers by determining a maximum additional queue size reduction, determining an assignment for each of the subcarriers, determining a receiver associated with a base station that has the determined maximum additional queue size reduction, assigning the receiver to the base station, and allocating the subcarriers to the receivers in the base stations.
Abstract:
A method includes estimating quadrature amplitude modulated QAM symbols in an LDPC encoded OFDM signal for transmission, performing channel estimation by training sequence to determine channel coefficients in reception of the LDPC encoded OFDM signal; and obtaining channel information detection and decoding of the LDPC encoded signal.
Abstract:
Systems and methods are disclosed for deciding a satisfiability problem with linear and non-linear operations by: encoding non-linear integer operations into encoded linear operations with Boolean constraints by Booleaning and linearizing, combining the linear and encoded linear operations into a formula, solving the satisifiability of the formula using a solver, wherein the encoding and solving includes at least one of following: a. Booleanizing one of the non-linear operands by bit-wise structural decomposition b. Linearizing a non-linear operator by selectively choosing one of the operands for Booleanization c. Solving using an incremental lazy bounding refinement (LBR) procedure without re-encoding formula, and verifying the linear and non-linear operations in a computer software.
Abstract:
A method for training a learning machine having a deep network with a plurality of layers, includes applying a regularizer to one or more of the layers of the deep network; training the regularizer with unlabeled data; and training the deep network with labeled data. Also, an apparatus for use in discriminative classification and regression, including an input device for inputting unlabeled and labeled data associated with a phenomenon of interest; a processor; and a memory communicating with the processor. The memory includes instructions executable by the processor for implementing a learning machine having a deep network structure and training the learning machine by applying a regularizer to one or more of the layers of the deep network; training the regularizer with unlabeled data; and training the deep network with labeled data.
Abstract:
A turbo equalizer includes a Bahl-Cocke-Jelinek-Raviv (BCJR) equalizer configured to receive a transmitted signal and partially cancel inter-symbol interference (ISI) due to polarization-mode dispersion (PMD). A low-density parity check (LDPC) decoder is coupled to the BCJR equalizer to receive channel bit reliabilities therefrom. The LDPC decoder iteratively provides extrinsic soft information feedback to the BCJR equalizer to compensate for PMD.
Abstract:
Systems and methods are disclosed to detect unsafe system states by capturing and analyzing data from a plurality of sensors detecting parameters of the system; and applying temporal difference (TD) learning to learn a function to approximate an expected future reward given current and historical sensor readings.