公开(公告)号：US20130077972A1

公开(公告)日：2013-03-28

申请号：US13628320

申请日：2012-09-27

Applicant: NEC LABORATORIES AMERICA, INC.

Inventor： Jingjing Zhang ,  Ting Wang ,  Naoto Maeda

IPC: H04L12/12

CPC classification number: H04L12/12 ,  H04Q11/0067 ,  H04Q2011/0079 ,  Y02D50/40 ,  Y02D50/42

Abstract: A method sets certain downstream traffic scheduling rules at an optical line terminal OLT and certain sleep control rules at optical network units ONUs. Both downstream traffic scheduling rules and sleep control rules are common information owned by both the OLT and ONUs. The method sets the traffic scheduling rules that each ONU is allocated with some time slots every cycle if the ONU has downstream traffic. Rather than using a control message to notify ONUs with their queue status, the method lets ONUs infer whether its downstream queue is empty or not based on downstream traffic scheduling and lets the OLT infer the status of an ONU based on sleep control rules.

Abstract translation: 一种方法在光线路终端OLT设置某些下行流量调度规则，并在光网络单元ONU设置某些睡眠控制规则。 下行流量调度规则和睡眠控制规则都是OLT和ONU拥有的常用信息。 如果ONU具有下行流量，则该方法每个周期设置每个ONU分配了一些时隙的流量调度规则。 该方法不是使用控制消息通知其具有队列状态的ONU，而是使ONU根据下游业务调度来推断其下行队列是否为空，并允许OLT根据睡眠控制规则来推断ONU的状态。

公开(公告)号：US08873958B2

公开(公告)日：2014-10-28

申请号：US13628320

申请日：2012-09-27

Applicant: NEC Laboratories America, Inc.

Inventor： Jingjing Zhang ,  Ting Wang ,  Naoto Maeda

IPC: H04J14/02 ,  H04Q11/00 ,  H04L12/12

CPC classification number: H04L12/12 ,  H04Q11/0067 ,  H04Q2011/0079 ,  Y02D50/40 ,  Y02D50/42

Abstract: A method sets certain downstream traffic scheduling rules at an optical line terminal OLT and certain sleep control rules at optical network units ONUs. Both downstream traffic scheduling rules and sleep control rules are common information owned by both the OLT and ONUs. The method sets the traffic scheduling rules that each ONU is allocated with some time slots every cycle if the ONU has downstream traffic. Rather than using a control message to notify ONUs with their queue status, the method lets ONUs infer whether its downstream queue is empty or not based on downstream traffic scheduling and lets the OLT infer the status of an ONU based on sleep control rules.

Abstract translation: 一种方法在光线路终端OLT设置某些下行流量调度规则，并在光网络单元ONU设置某些睡眠控制规则。 下行流量调度规则和睡眠控制规则都是OLT和ONU拥有的常用信息。 如果ONU具有下行流量，则该方法每个周期设置每个ONU分配了一些时隙的流量调度规则。 该方法不是使用控制消息通知其具有队列状态的ONU，而是使ONU根据下游业务调度来推断其下行队列是否为空，并允许OLT根据睡眠控制规则来推断ONU的状态。

公开(公告)号：US20130091495A1

公开(公告)日：2013-04-11

申请号：US13646390

申请日：2012-10-05

Applicant: NEC Laboratories America, Inc.

Inventor： Pranav Garg ,  Franjo Ivancic ,  Gogul Balakrishnan ,  Naoto Maeda ,  Aarti Gupta

IPC: G06F9/44

CPC classification number: G06F11/3684

Abstract: Methods and systems for generating software analysis test inputs include generating a path query to cover a target branch of a program by executing a symbolic test driver concretely and partially symbolically, where at least one symbolic expression is partially concretized with concrete values; determining whether it is feasible to execute the target branch based on whether the generated path query is satisfiable or unsatisfiable using a constraint solver; if the target branch is feasible, generating a new test driver by replacing symbolic values in the symbolic test driver with generated solution values; and if the target branch is not feasible, analyzing an unsatisfiable core to determine whether unsatisfiability is due to a concretization performed during generation of the path query.

Abstract translation: 用于生成软件分析测试输入的方法和系统包括通过执行具体和部分符号地执行符号测试驱动程序来生成覆盖程序的目标分支的路径查询，其中至少一个符号表达式具体化为具体值; 基于所生成的路径查询是否可满足或不满足使用约束求解器来确定是否可行执行目标分支; 如果目标分支是可行的，则通过用生成的解值替换符号测试驱动器中的符号值来生成新的测试驱动器; 并且如果目标分支是不可行的，则分析不令人满意的核心以确定不满足性是否由于在生成路径查询期间执行的具体化。