公开(公告)号：US08265483B2

公开(公告)日：2012-09-11

申请号：US12203301

申请日：2008-09-03

Applicant: Robert Saperstein ,  Ting Wang ,  Yue-Kai Huang

Inventor： Robert Saperstein ,  Ting Wang ,  Yue-Kai Huang

IPC: H04J14/06 ,  H04B10/08 ,  H04B10/12

CPC classification number: H04J14/06

Abstract: A system to communicate optical data signals in parallel includes an optical splitter to split the data signals into two polarization multiplexed (PM) signals; and two reception channels coupled to the optical splitter, where each reception channel tracks and isolates a PM signal independently.

Abstract translation: 并行地传送光数据信号的系统包括将数据信号分割为两个偏振复用（PM）信号的光分路器; 以及耦合到光分路器的两个接收信道，其中每个接收信道独立地跟踪和隔离PM信号。

公开(公告)号：US08254859B2

公开(公告)日：2012-08-28

申请号：US13111521

申请日：2011-05-19

Applicant: Mohammad A. Khojastepour ,  Narayan Prasad

Inventor： Mohammad A. Khojastepour ,  Narayan Prasad

IPC: H04B1/04

CPC classification number: H04B7/0617 ,  H04B7/0456 ,  H04B7/0632 ,  H04B7/0639

Abstract: A multi-rank beamforming (MRBF) scheme in which the downlink channel is estimated and an optimal precoding matrix to be used by the MRBF transmitter is determined accordingly. The optimal precoding matrix is selected from a codebook of matrices having a recursive structure which allows for efficient computation of the optimal precoding matrix and corresponding Signal to Interference and Noise Ratio (SINR). The codebook also enjoys a small storage footprint. Due to the computational efficiency and modest memory requirements, the optimal precoding determination can be made at user equipment (UE) and communicated to a transmitting base station over a limited uplink channel for implementation over the downlink channel.

Abstract translation: 相应地确定其中估计下行链路信道并由MRBF发射机使用的最佳预编码矩阵的多级波束成形（MRBF）方案。 从具有递归结构的矩阵码本中选择最佳预编码矩阵，其允许有效计算最佳预编码矩阵和对应的信号与干扰和噪声比（SINR）。 该码本还具有小的存储空间。 由于计算效率和适度的存储器要求，可以在用户设备（UE）进行最佳预编码确定，并通过有限的上行链路信道传送到发射基站，以通过下行链路信道实现。

公开(公告)号：US08234538B2

公开(公告)日：2012-07-31

申请号：US11941747

申请日：2007-11-16

Applicant: Ivan B. Djordjevic ,  Milorad Cvijetic ,  Lei Xu ,  Ting Wang

Inventor： Ivan B. Djordjevic ,  Milorad Cvijetic ,  Lei Xu ,  Ting Wang

IPC: H03M13/00

CPC classification number: H03M13/1111 ,  H03M13/255 ,  H03M13/6325

Abstract: An optical communication system includes a bit-interleaved coded modulation (BICM) coder; and a low-density parity-check (LDPC) coder coupled to the BICM coder to generate codes used as component codes and in combination with a coherent detector.

Abstract translation: 光通信系统包括位交织编码调制（BICM）编码器; 以及耦合到BICM编码器的低密度奇偶校验（LDPC）编码器，以生成用作分量代码并与相干检测器组合的代码。

公开(公告)号：US20120151271A1

公开(公告)日：2012-06-14

申请号：US13316123

申请日：2011-12-09

Applicant: Malay GANAI

Inventor： Malay GANAI

IPC: G06F11/36

CPC classification number: G06F11/3612 ,  G06F11/3636

Abstract: A computer implemented testing framework for symbolic trace analysis of observed concurrent traces that uses MAT-based reduction to obtain succinct encoding of concurrency constraints, resulting in quadratic formulation in terms of number of transitions. We also present encoding of various violation conditions. Especially, for data races and deadlocks, we present techniques to infer and encode the respective conditions. Our experimental results show the efficacy of such encoding compared to previous encoding using cubic formulation. We provided proof of correctness of our symbolic encoding.

Abstract translation: 计算机实现的用于对观察到的并发跟踪的符号跟踪分析的测试框架，其使用基于MAT的减少来获得并发约束的简洁编码，从而根据转换次数进行二次公式化。 我们还提供各种违规情况的编码。 特别地，对于数据竞争和死锁，我们提出了推断和编码各自条件的技术。 我们的实验结果显示与使用立方体制剂的先前编码相比，这种编码的功效。 我们提供了我们符号编码正确性的证明。

公开(公告)号：US08200474B2

公开(公告)日：2012-06-12

申请号：US12397696

申请日：2009-03-04

Applicant: Chao Wang ,  Aarti Gupta

Inventor： Chao Wang ,  Aarti Gupta

IPC: G06F9/45

CPC classification number: G06F11/3612

Abstract: A system and method for dynamic data race detection for concurrent systems includes computing lockset information using a processor for different components of a concurrent system. A controlled execution of the system is performed where the controlled execution explores different interleavings of the concurrent components. The lockset information is used during the controlled execution to check whether a search subspace associated with a state in the execution is free of data races. A race-free search subspace is dynamically pruned to reduce resource usage.

Abstract translation: 用于并行系统的用于动态数据竞争检测的系统和方法包括使用用于并发系统的不同组件的处理器来计算锁定信息。 执行系统的受控执行，其中受控执行探讨并发组件的不同交织。 在受控执行期间使用锁定信息来检查与执行中的状态相关联的搜索子空间是否没有数据竞争。 动态修剪无竞争的搜索子空间，以减少资源的使用。

公开(公告)号：US20120131632A1

公开(公告)日：2012-05-24

申请号：US13287779

申请日：2011-11-02

Applicant: Karthikeyan Sundaresan

Inventor： Karthikeyan Sundaresan

IPC: H04N7/173

CPC classification number: H04N21/6405 ,  H04H20/18 ,  H04H20/33

Abstract: Methods and systems for scheduling multicast transmissions that includes scheduling layered data for one or more multicast transmissions across a plurality of sub-channels using multi-resolution modulation. The sub-channels for each transmission may have diverse or uniform capacities. Scheduling includes allocating sub-channels to the layers of the layered data.

Abstract translation: 用于调度多播传输的方法和系统，其包括使用多分辨率调制来跨多个子信道调度用于一个或多个多播传输的分层数据。 每个传输的子信道可以具有多种或均匀的容量。 调度包括将子信道分配给分层数据的层。

公开(公告)号：US20120117547A1

公开(公告)日：2012-05-10

申请号：US13251463

申请日：2011-10-03

Applicant: GOGUL BALAKRISHNAN ,  Naoto Maeda ,  Franjo Ivancic ,  Nishant Sinha ,  Aarti Gupta ,  Jing Yang

Inventor： GOGUL BALAKRISHNAN ,  Naoto Maeda ,  Franjo Ivancic ,  Nishant Sinha ,  Aarti Gupta ,  Jing Yang

IPC: G06F9/45

CPC classification number: G06F8/4434 ,  G06F8/24 ,  G06F8/443 ,  G06F8/51 ,  G06F8/75

Abstract: A model is provided for transforming a program with a priori given class hierarchy that is induced by inheritance. An inheritance remover is configured to remove inheritance from a given program to produce an analysis-friendly program which does not include virtual-function pointer tables and runtime libraries associated with inheritance-related operations. The analysis-friendly program preserves the semantics of the given program with respect to a given class hierarchy. A clarifier is configured to identify implicit expressions and function calls and transform the given program into at least one intermediate program having explicit expressions and function calls.

Abstract translation: 提供了一个模型，用于使用由继承引发的先验给定的类层次结构来转换程序。 继承去除器配置为从给定的程序中删除继承，以生成一个不包含与继承相关的操作相关联的虚拟函数指针表和运行时库的分析友好的程序。 分析友好的程序保留给定程序相对于给定类层次结构的语义。 澄清器被配置为识别隐式表达式和函数调用，并将给定程序转换成具有显式表达式和函数调用的至少一个中间程序。

公开(公告)号：US20120114341A1

公开(公告)日：2012-05-10

申请号：US12943574

申请日：2010-11-10

Applicant: JUNQIANG HU ,  Ting Wang

Inventor： JUNQIANG HU ,  Ting Wang

IPC: H04B10/06

CPC classification number: H04B10/6161 ,  H04B10/25133 ,  H04B10/6162 ,  H04B10/697

Abstract: A system and method are disclosed which compensate for chromatic dispersion and polarization mode dispersion in a digital signal. The signal is adjusted for chromatic dispersion in the frequency-domain. The signal is then converted to the time-domain and at least a portion of the signal is estimated to produce channel parameters. The channel parameters are converted to the frequency domain and used to compensate for polarization mode dispersion in the signal.

Abstract translation: 公开了一种补偿数字信号中的色散和偏振模色散的系统和方法。 在频域中调整色散的信号。 然后将信号转换为时域，估计信号的至少一部分以产生信道参数。 通道参数转换为频域，用于补偿信号中的偏振模色散。

公开(公告)号：US20120109873A1

公开(公告)日：2012-05-03

申请号：US13251215

申请日：2011-10-01

Applicant: Pengcheng Xiong ,  Yun Chi ,  Shenghuo Zhu ,  Junichi Tatemura ,  Vahit Hakan Hacigumus

Inventor： Pengcheng Xiong ,  Yun Chi ,  Shenghuo Zhu ,  Junichi Tatemura ,  Vahit Hakan Hacigumus

IPC: G06N7/02

CPC classification number: G06Q10/06316 ,  G06Q10/0633 ,  G06Q30/01

Abstract: An admission control system for a cloud database includes a machine learning prediction module to estimate a predicted probability for a newly arrived query with a deadline, if admitted into the cloud database, to finish its execution before said deadline, wherein the prediction considers query characteristics and current system conditions. The system also includes a decision module applying the predicted probability to admit a query into the cloud database with a target of profit maximization with an expected profit determined using one or more service level agreements (SLAs).

Abstract translation: 用于云数据库的准入控制系统包括：机器学习预测模块，用于在所述截止期限之前估计具有截止日期的新到达查询的预测概率（如果被允许进入云数据库）以完成其执行，其中所述预测考虑查询特性， 当前系统条件。 该系统还包括一个决策模块，将预测的概率应用于使用一个或多个服务水平协议（SLA）确定的预期利润的利润最大化目标的云数据库中进行查询。

公开(公告)号：US20120087419A1

公开(公告)日：2012-04-12

申请号：US12901076

申请日：2010-10-08

Applicant: MOHAMMAD A. KHOJASTEPOUR ,  Karthikeyan Sundaresan ,  Sampath Rangarajan

Inventor： MOHAMMAD A. KHOJASTEPOUR ,  Karthikeyan Sundaresan ,  Sampath Rangarajan

IPC: H04L27/00

CPC classification number: H04L25/0208 ,  H04B7/0684 ,  H04L25/0228

Abstract: Methods and systems that enable the determination of accurate channel estimates by measuring only power values of pilot signal transmissions at a receiver are described. Various measurement procedures that are based on average power measurements or short term, per-symbol measurements can be employed. Furthermore, procedures utilizing adaptive pilots generated with receiver feedback and deterministic pilots generated without receiver feedback are also described.

Abstract translation: 描述通过仅测量接收机处的导频信号传输的功率值来确定准确的信道估计的方法和系统。 可以采用基于平均功率测量或短期，每符号测量的各种测量程序。 此外，还描述了利用由接收机反馈产生的自适应导频和无接收机反馈产生的确定性导频的程序。