公开(公告)号：US08539451B2

公开(公告)日：2013-09-17

申请号：US12761575

申请日：2010-04-16

Applicant: Franjo Ivancic ,  Malay K. Ganai ,  Sriram Sankaranarayanan ,  Aarti Gupta

Inventor： Franjo Ivancic ,  Malay K. Ganai ,  Sriram Sankaranarayanan ,  Aarti Gupta

IPC: G06F9/44 ,  G06F11/00

CPC classification number: G06F11/3608

Abstract: Methods and systems for verifying the precision of a program that utilizes floating point operations are disclosed. Interval and affine arithmetic can be employed to build a model of the program including floating point operations and variables that are expressed as reals and integers, thereby permitting accurate determination of precision loss using a model checker. Abstract interpretation can be also employed to simplify the model. In addition, counterexample-guided abstraction refinement can be used to refine the values of parametric error constants introduced in the model.

Abstract translation: 公开了用于验证利用浮点运算的程序的精度的方法和系统。 可以采用间隔和仿射算法来构建程序的模型，包括浮点运算和表示为真值和整数的变量，从而可以使用模型检验器精确确定精度损失。 抽象解释也可以用来简化模型。 此外，反例引导的抽象改进可以用于细化模型中引入的参数误差常数的值。

公开(公告)号：US08537693B2

公开(公告)日：2013-09-17

申请号：US12906527

申请日：2010-10-18

Applicant: Karthikeyan Sundaresan ,  Sampath Rangarajan

Inventor： Karthikeyan Sundaresan ,  Sampath Rangarajan

IPC: G01R31/08

CPC classification number: H04L12/1881 ,  H04B7/15592 ,  H04L12/189 ,  H04L47/10 ,  H04W72/005 ,  H04W72/082 ,  H04W84/047

Abstract: Methods and systems for transmitting multicast data in a wireless relay network are described. A tradeoff between the benefits of relay cooperation and session multiplexing can be addressed through careful association of relay stations for resource allocation purposes to maximize the total system throughput. In addition, various complex and greedy scheduling procedures that are based on the distributed pet mutation model and the contiguous permutation model are also described.

Abstract translation: 描述了在无线中继网络中传输组播数据的方法和系统。 中继协议和会话多路复用的优点之间的折衷可以通过中继站的仔细关联来解决，用于资源分配目的，以最大限度地提高总系统吞吐量。 此外，还描述了基于分布式宠物突变模型和连续置换模型的各种复杂和贪心调度程序。

公开(公告)号：US20130230116A1

公开(公告)日：2013-09-05

申请号：US13548268

申请日：2012-07-13

Applicant: Mohammad Ali Khojastepour ,  Xiaodong Wang

Inventor： Mohammad Ali Khojastepour ,  Xiaodong Wang

IPC: H04L25/03

CPC classification number: H04B7/0456 ,  H04B7/0478 ,  H04B7/0639 ,  H04B7/0647 ,  H04L5/0023 ,  H04L25/0202 ,  H04L25/03343 ,  H04L25/03936 ,  H04L27/2601 ,  H04L2025/03426 ,  H04L2025/03808 ,  H04W72/04

Abstract: Systems and methods are for generating a codebook by: generating a multi-resolution codebook by selecting a common precoder index from a low resolution codebook for a group of adjacent resource blocks (RB)s and for each RB within the group, selecting a high-resolution codebook to fine-tune each RB precoder; and generating feedback for the multi-resolution codebook by quantizing channel state variations.

公开(公告)号：US08522226B2

公开(公告)日：2013-08-27

申请号：US12701962

申请日：2010-02-08

Applicant: Sriram Sankaranarayanan ,  Aarti Gupta ,  Gogul Balakrishnan

Inventor： Sriram Sankaranarayanan ,  Aarti Gupta ,  Gogul Balakrishnan

IPC: G06F9/45 ,  G06F9/44 ,  G06F9/445

CPC classification number: G06F8/443 ,  G06F8/433

Abstract: A system and method for discovering a set of possible iteration sequences for a given loop in a software program is described, to transform the loop representation. In a program containing a loop, the loop is partitioned into a plurality of portions based on splitting criteria. Labels are associated with the portions, and an initial loop automaton is constructed that represents the loop iterations as a regular language over the labels corresponding to the portions in the program. Subsequences of the labels are analyzed to determine infeasibility of the subsequences permitted in the automaton. The automaton is refined by removing all infeasible subsequences to discover a set of possible iteration sequences in the loop. The resulting loop automaton is used in a subsequent program verification or analysis technique to find violations of correctness properties in programs.

公开(公告)号：US08520763B2

公开(公告)日：2013-08-27

申请号：US13650477

申请日：2012-10-12

Applicant: NEC Laboratories America, Inc.

Inventor： Ali Tajer ,  Narayan Prasad ,  Xiaodong Wang ,  Sampath Rangarajan

IPC: H04B7/02 ,  H04L1/02

CPC classification number: H04B7/0626 ,  H04B7/022

Abstract: Methods and systems for optimizing the utilities of receiver devices in a wireless communication network are disclosed. Precoder design formulations that maximize a minimum worst-case rate or a worst-case sum rate are described for both full base station cooperation and limited base station cooperation scenarios. In addition, optimal equalizers are also selected to optimize the worst-case sum rate.

Abstract translation: 公开了用于优化无线通信网络中的接收机设备的实用性的方法和系统。 对于完整的基站合作和有限的基站合作情况，都会描述使最小最坏情况速率或最差情况下的总速率最大化的预编码器设计公式。 此外，还选择最佳均衡器来优化最差情况下的和速率。

公开(公告)号：US20130216229A1

公开(公告)日：2013-08-22

申请号：US13755627

申请日：2013-01-31

Applicant: NEC Laboratories America, Inc.

Inventor： Neda Cvijetic ,  Milorad Cvijetic ,  Ting Wang

IPC: H04B10/2575

CPC classification number: H04B10/25753 ,  H04B10/25754

Abstract: Systems and methods are provided for network communication using wireless base stations and an optical orthogonal frequency division multiple access (OFDMA) signal generated on an optical wavelength, with the optical OFDMA signal being composed of a plurality of OFDMA subcarriers. A multi-level modulator modulates each of the plurality of OFDMA subcarriers. A single optical wavelength propagates each of the plurality of OFDMA subcarriers to different base stations; a passive optical splitter delivers the optical OFDMA signal to different base stations; and an OFDMA subcarrier de-multiplexer delivers and extracts traffic for each of the base stations in an electronic-domain, wherein the extracted traffic is remodulated in a wireless signal format. Antennas at each of the base stations transmit wireless signals, and the wireless signals are recovered and processed from the base stations.

Abstract translation: 提供了使用无线基站的网络通信和在光波长上生成的光学正交频分多址（OFDMA）信号的系统和方法，其中OFDMA信号由多个OFDMA子载波组成。 多电平调制器调制多个OFDMA子载波中的每一个。 单个光波长将多个OFDMA子载波中的每一个传播到不同的基站; 无源光分路器将光OFDMA信号传送到不同的基站; 并且OFDMA子载波去复用器在电子域中传送和提取每个基站的业务，其中所提取的业务以无线信号格式被重新调制。 每个基站的天线发送无线信号，并且从基站恢复和处理无线信号。

公开(公告)号：US20130209035A1

公开(公告)日：2013-08-15

申请号：US13668193

申请日：2012-11-02

Applicant: NEC Laboratories America, Inc.

Inventor： Fatih Yaman ,  Eduardo Mateo ,  Lei Xu ,  Shaoliang Zhang ,  Ting Wang

IPC: G02B6/34

CPC classification number: G02B6/34 ,  G02B6/29319 ,  G02B6/29394

Abstract: Systems and methods are disclosed for enhancing optical communication by performing dispersion compensation in an optical fiber using a fiber Bragg grating (FBG); and providing increased degrees of freedoms (DOFs) to distinguish forward and backward propagating fields with a passive component.

Abstract translation: 公开了通过使用光纤布拉格光栅（FBG）在光纤中执行色散补偿来增强光通信的系统和方法; 并提供增加的自由度（DOF）来区分带有被动元件的前向和后向传播场。

公开(公告)号：US08503878B2

公开(公告)日：2013-08-06

申请号：US12700979

申请日：2010-02-05

Applicant: Chonggang Wang ,  Wei Wei ,  Ting Wang

Inventor： Chonggang Wang ,  Wei Wei ,  Ting Wang

IPC: H04J14/00

CPC classification number: H04L5/0007 ,  H04J14/0298 ,  H04L5/0044 ,  H04L5/0064 ,  H04L45/00 ,  H04L45/28 ,  H04L45/306

Abstract: Each of a plurality of data flows is classified as having a respective data flow type, and each data flow is assigned to one of a plurality of subcarrier groups, based on the data flow's type, wherein each subcarrier group comprises a respective plurality of subcarriers. First data flows assigned to a first subcarrier group are transmitted exclusively on respective subcarriers in the first subcarrier group, and second data flows assigned to a second subcarrier group are transmitted together on all of the subcarriers in the second subcarrier group.

Abstract translation: 多个数据流中的每一个被分类为具有各自的数据流类型，并且基于数据流的类型将每个数据流分配给多个子载波组中的一个，其中每个子载波组包括相应的多个子载波。 分配给第一子载波组的第一数据流在第一子载波组中的各个子载波上专门发送，并且分配给第二副载波组的第二数据流在第二子载波组中的所有子载波上一起发送。

公开(公告)号：US20130185419A1

公开(公告)日：2013-07-18

申请号：US13554632

申请日：2012-07-20

Applicant: Yueping Zhang ,  Vishal Singh ,  Ye Wang ,  Guofei Jiang

Inventor： Yueping Zhang ,  Vishal Singh ,  Ye Wang ,  Guofei Jiang

IPC: H04L12/26

CPC classification number: H04L43/04 ,  H04L41/142 ,  H04L43/045 ,  H04L43/08 ,  H04L43/0858 ,  H04L67/36

Abstract: A method for determining the state of an entire network, including state of applications and infrastructure includes receiving network control messages in an OpenFlow network, passing normal network control messages through OFSense, a control plane middleware, and constructing from the network control messages an application level connectivity graph to infer network delay between any two communicating server in the network and estimating an application response time of a given server in the network; and providing state of the network for enabling intelligent detection and diagnosis of infrastructure and application performance.

Abstract translation: 一种用于确定整个网络的状态的方法，包括应用和基础设施的状态包括在OpenFlow网络中接收网络控制消息，通过OFSense传递正常网络控制消息，控制平面中间件，以及从网络控制消息构建应用级别 连接图，以推断网络中任何两个通信服务器之间的网络延迟，并估计网络中给定服务器的应用程序响应时间; 并提供网络的状态，以实现基础设施和应用程序性能的智能检测和诊断。

公开(公告)号：US08488498B2

公开(公告)日：2013-07-16

申请号：US12859453

申请日：2010-08-19

Applicant: Guosen Yue ,  Xiadong Wang

Inventor： Guosen Yue ,  Xiadong Wang

IPC: H04B7/00

CPC classification number: H04L1/1867 ,  H04L1/0041 ,  H04L1/009 ,  H04L2001/0093

Abstract: A method for the retransmission and coding of multicast broadcast services.

Abstract translation: 一种多播广播服务的重传和编码方法。