Coded polarization-multiplexed iterative polar modulation
    251.
    发明授权
    Coded polarization-multiplexed iterative polar modulation 有权
    编码偏振复用迭代极化调制

    公开(公告)号:US08588623B2

    公开(公告)日:2013-11-19

    申请号:US12860659

    申请日:2010-08-20

    Abstract: Systems and methods for optical communication that use a transmitter/receiver. The systems and methods include receiving a modulated, encoded input stream. Channel memory is reduced using coarse digital backpropagation and other channel impairments are removed using turbo equalization. Symbols are detected in the input stream that conform to a non-uniform, polar constellation having a Gaussian source distribution to produce a stream of encoded data. The stream of encoded data is decoded with one or more low density parity check (LDPC) decoders.

    Abstract translation: 使用发射机/接收机的光通信系统和方法。 系统和方法包括接收经调制的编码的输入流。 使用粗数字反向传播减少信道存储,并且使用turbo均衡消除其他信道损伤。 在符合具有高斯源分布的非均匀极坐标的输入流中检测符号以产生编码数据流。 编码数据流用一个或多个低密度奇偶校验(LDPC)解码器解码。

    Systems and methods for determining personal characteristics
    253.
    发明授权
    Systems and methods for determining personal characteristics 有权
    用于确定个人特征的系统和方法

    公开(公告)号:US08582807B2

    公开(公告)日:2013-11-12

    申请号:US12790979

    申请日:2010-05-31

    CPC classification number: G06K9/00248 G06K9/4628 G06K2009/00322

    Abstract: Systems and methods are disclosed for determining personal characteristics from images by generating a baseline gender model and an age estimation model using one or more convolutional neural networks (CNNs); capturing correspondences of faces by face tracking, and applying incremental learning to the CNNs and enforcing correspondence constraint such that CNN outputs are consistent and stable for one person.

    Abstract translation: 公开了用于通过生成基线性别模型和使用一个或多个卷积神经网络(CNN)的年龄估计模型来确定来自图像的个人特征的系统和方法; 通过面部跟踪获取面部对应关系,并将增量学习应用于CNN,并执行对应约束,使得CNN输出对于一个人来说是一致和稳定的。

    Secure communication over passive optical network (PON) with quantum encryption
    254.
    发明授权
    Secure communication over passive optical network (PON) with quantum encryption 有权
    通过无源光网络(PON)与量子加密进行安全通信

    公开(公告)号:US08582769B2

    公开(公告)日:2013-11-12

    申请号:US12846915

    申请日:2010-07-30

    CPC classification number: H04L9/0852

    Abstract: Systems and methods to communicate securely includes communicating quantum encryption data on a first wavelength-division multiplexing passive optical network (WDM-PON); and communicating data over separate classical channels of a second WDM-PON, wherein the second WDM-PON synchronizes with the first WDM-PON while providing data communication over the classical channels.

    Abstract translation: 用于安全通信的系统和方法包括在第一波分复用无源光网络(WDM-PON)上传送量子加密数据; 以及在第二WDM-PON的单独的经典信道上传送数据,其中所述第二WDM-PON与所述第一WDM-PON同步,同时在经典信道上提供数据通信。

    Method and System for Correlated Tracing with Automated Multi-Layer Function Instrumentation Localization
    255.
    发明申请
    Method and System for Correlated Tracing with Automated Multi-Layer Function Instrumentation Localization 有权
    相关跟踪与自动多层功能仪器定位的方法与系统

    公开(公告)号:US20130290936A1

    公开(公告)日:2013-10-31

    申请号:US13873610

    申请日:2013-04-30

    CPC classification number: G06F11/3636 G06F11/3604

    Abstract: A system for automatically instrumenting and tracing an application program and related software components achieves a correlated tracing of the program execution. It includes tracing of endpoints that are the set of functions in the program execution path that the developers are interested. The tracing endpoints and related events become the total set of functions to be traced in the program (called instrument points). This invention automatically analyzes the program and generates such instrumentation points to enable correlated tracing. The generated set of instrumentation points addresses common questions that developers ask when they use monitoring tools.

    Abstract translation: 用于自动测试和跟踪应用程序和相关软件组件的系统实现了程序执行的相关跟踪。 它包括跟踪开发人员感兴趣的程序执行路径中的一组函数的端点。 跟踪终点和相关事件成为程序中要追踪的功能的总数(称为仪器点)。 本发明自动分析程序并生成这样的仪器点以实现相关跟踪。 生成的仪器仪表组解决了开发人员在使用监控工具时所要求的常见问题。

    Systems and methods for model checking the precision of programs employing floating-point operations
    256.
    发明授权
    Systems and methods for model checking the precision of programs employing floating-point operations 有权
    用于模型检查使用浮点运算的程序精度的系统和方法

    公开(公告)号:US08539451B2

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

    申请号:US12761575

    申请日:2010-04-16

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

    Multicast scheduling systems and methods for leveraging cooperation gains in relay networks
    257.
    发明授权
    Multicast scheduling systems and methods for leveraging cooperation gains in relay networks 有权
    组播调度系统和方法,用于利用中继网络中的协作增益

    公开(公告)号:US08537693B2

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

    申请号:US12906527

    申请日:2010-10-18

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

    Control structure refinement of loops using static analysis

    公开(公告)号:US08522226B2

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

    申请号:US12701962

    申请日:2010-02-08

    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.

    Robust linear precoder designs for multi-cell downlink transmission
    260.
    发明授权
    Robust linear precoder designs for multi-cell downlink transmission 有权
    用于多小区下行链路传输的鲁棒线性预编码器设计

    公开(公告)号:US08520763B2

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

    申请号:US13650477

    申请日:2012-10-12

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

Patent Agency Ranking