Lazy symbolic model checking
    52.
    发明授权
    Lazy symbolic model checking 有权
    懒惰的符号模型检查

    公开(公告)号:US06725431B1

    公开(公告)日:2004-04-20

    申请号:US09608746

    申请日:2000-06-30

    Applicant: Jin Yang

    Inventor: Jin Yang

    CPC classification number: G06F17/504

    Abstract: Methods for formal verification of circuits and other finite-state systems may improve efficiency and capacity of popular binary decision diagram (BDD) based algorithms. A lazy pre-image computation method builds new transition relation partitions on-demand only for relevant next internal variables of a state predicate, and conjoins only next state relations for relevant next internal variables to a pre-image including the state predicate. A lazy backward reachability analysis method makes iterative use of the lazy pre-image computation method to compute the set of states reachable to a given set of states in zero or more transitions. A lazy equivalence checking method makes iterative use of the lazy pre-image computation method to compute conditions that necessarily must be satisfied to disprove equivalence. These methods may provide for symbolic model checking of circuits and other finite state systems previously too large to be completed successfully using BDD based algorithms.

    Abstract translation: 电路和其他有限状态系统的形式验证方法可以提高流行二进制决策图(BDD)算法的效率和容量。 懒惰的预图像计算方法仅对相关的状态谓词的下一个内部变量按需构建新的过渡关系分区,并且将相关的下一个内部变量的下一个状态关系仅结合到包含状态谓词的前置映像。 懒惰的后向可达性分析方法使得迭代使用懒惰预图像计算方法来计算在零个或多个转换中可达到一组给定状态的状态集合。 懒惰等价检查方法迭代使用懒惰预图像计算方法来计算必须满足的条件以反驳等价性。 这些方法可以提供电路和其他有限状态系统的符号模型检查,该系统以前太大,无法使用基于BDD的算法成功完成。

    Receiving method and apparatus for use in a spread-spectrum
communication system
    53.
    发明授权
    Receiving method and apparatus for use in a spread-spectrum communication system 失效
    用于扩频通信系统的接收方法和装置

    公开(公告)号:US5671221A

    公开(公告)日:1997-09-23

    申请号:US490193

    申请日:1995-06-14

    Applicant: Jin Yang

    Inventor: Jin Yang

    CPC classification number: H04B1/7115 H04B1/709 H04B1/7113 H04B1/7117 H04B1/712

    Abstract: The present invention involves a receiving method and apparatus for use in a communication system wherein a spread-spectrum signal containing information bits is transmitted within an environment tending to produce multipath fading. The receiving apparatus includes a channel estimator which estimates channel coefficients, preferably corresponding to the level of correlation between the various multipath components of the spread-spectrum signal and a cell-correlation signal. A channel selector is configured to select one or more of the multipath components based on the channel coefficients, typically choosing multipath components with the greatest level of correlation, a condition which is indicative of a high signal-to-noise power ratio. The channel selector also identifies time delay values representing the time delay between such selected multipath components, such time delay values being used by a spread-spectrum receiver to identify the selected multipath components for presentation on plural diversity branches. A combiner combines the diversity branches in a predetermined manner, typically by weighted summation using weighting factors produced by the channel selector. A decoder extracts information from the combined signal.

    Abstract translation: 本发明涉及一种在通信系统中使用的接收方法和装置,其中包含信息比特的扩频信号在趋向于产生多径衰落的环境中传输。 接收装置包括信道估计器,其估计信道系数,优选地对应于扩频信号的各种多径分量与小区相关信号之间的相关性水平。 信道选择器被配置为基于信道系数来选择一个或多个多径分量,通常选择具有最高相关级别的多径分量,表示高信噪比功率比的条件。 信道选择器还识别表示这种选择的多径分量之间的时间延迟的时间延迟值,这种时间延迟值被扩频接收机用于识别所选择的多径分量以便呈现在多个分集分支上。 组合器以预定的方式组合分集分支,通常通过使用由频道选择器产生的加权因子进行加权求和。 解码器从组合信号中提取信息。

    Method and device for feeding back acknowledgment information during switching of backhaul link subframe configuration
    55.
    发明授权
    Method and device for feeding back acknowledgment information during switching of backhaul link subframe configuration 有权
    用于在回程链路子帧配置切换期间反馈确认信息的方法和装置

    公开(公告)号:US09119191B2

    公开(公告)日:2015-08-25

    申请号:US13989136

    申请日:2011-11-08

    CPC classification number: H04W72/0406 H04L1/1854 H04L1/1861

    Abstract: The disclosure provides a method and a device for feeding back Acknowledgment (ACK) information during switching of backhaul link subframe configuration, and the method includes during the switching of the backhaul link subframe configuration, if Uplink (UL) ACK/Negative ACK (NACK) information, which corresponds to a last transmission before the switching of one or more Downlink (DL) Hybrid Automatic Repeat Request (HARQ) transmissions, is not fed back on a UL subframe which is before the switching, feeding back the ACK/NACK information on an available UL subframe which is after the switching since Nms after the last transmission, wherein N is an integer. The disclosure achieves the effect of correctly feeding back the ACK information during switching of the backhaul link subframe configuration.

    Abstract translation: 本发明提供一种在回程链路子帧配置切换期间反馈确认(ACK)信息的方法和装置,并且该方法包括在回程链路子帧配置的切换期间,如果上行链路(UL)ACK /否定ACK(NACK) 对应于在一个或多个下行链路(DL)混合自动重传请求(HARQ)传输的切换之前的最后传输的信息不在切换之前的UL子帧上反馈,将ACK / NACK信息反馈到 在最后传输之后Nms之后切换之后的可用UL子帧,其中N是整数。 本发明实现了在回程链路子帧配置的切换期间正确地反馈ACK信息的效果。

    Method, system and relay node for processing uplink control information on backhaul link
    57.
    发明授权
    Method, system and relay node for processing uplink control information on backhaul link 有权
    用于处理回程链路上行链路控制信息的方法,系统和中继节点

    公开(公告)号:US08917652B2

    公开(公告)日:2014-12-23

    申请号:US13695210

    申请日:2011-04-21

    CPC classification number: H04L5/0053

    Abstract: The disclosure discloses a method, system and RN for processing UCI on a backhaul link. The method comprises that: the RN determines Q′ which is the number of the coded modulation symbols of the backhaul UCI according to the number of SC-FDMA symbols occupied by a GP, wherein the GP comprises RN state switch time deltaT and/or the time interval deltat which is reserved for avoiding the interference caused by RN uplink transmission, and deltaT is the switch time required by the RN to switch from an uplink reception state to an uplink transmission state and/or from the uplink transmission state to the uplink reception state; and the RN codes the backhaul UCI into a Q=Q′×Qm bits sequence, wherein Qm is the number of bits comprised in each coded modulation symbol in the modulation order of the backhaul uplink subframe. The disclosure improves the performance of the system.

    Abstract translation: 本公开公开了一种用于在回程链路上处理UCI的方法,系统和RN。 该方法包括:RN根据GP占用的SC-FDMA符号的数量确定Q'是回程UCI的编码调制符号的数量,其中GP包括RN状态切换时间deltaT和/或 为避免由RN上行传输引起的干扰而保留的时间间隔增量,deltaT是RN从上行接收状态切换到上行链路传输状态和/或从上行链路传输状态切换到上行链路接收所需的切换时间 州; 并且RN将回程UCI编码为Q = Q'×Qm比特序列,其中Qm是在回程上行链路子帧的调制阶数中的每个编码调制符号中包含的比特数。 本公开改善了系统的性能。

    Data offloading with distributed IP management and routing
    58.
    发明授权
    Data offloading with distributed IP management and routing 有权
    使用分布式IP管理和路由进行数据卸载

    公开(公告)号:US08824433B2

    公开(公告)日:2014-09-02

    申请号:US12842310

    申请日:2010-07-23

    CPC classification number: H04W28/08 H04W8/18 H04W48/16

    Abstract: A method performed by a wireless node includes receiving policies for data offloading; identifying a user associated with a data flow to which a user device is attached; determining whether data offloading is permitted for the user based on the policies; and performing data offloading when it is determined that data offloading is permitted for the user, wherein data offloading includes routing the data flow away from at least one of a higher layer traffic aggregation device relative to the wireless node or a higher hierarchical controlling device relative to the wireless node.

    Abstract translation: 由无线节点执行的方法包括接收用于数据卸载的策略; 识别与用户设备附接到的数据流相关联的用户; 基于策略确定用户是否允许数据卸载; 并且当确定允许用户进行数据卸载时执行数据卸载,其中数据卸载包括相对于无线节点或相对于无线节点的较高级别的控制设备将数据流远离至少一个高层业务聚合设备 无线节点。

    Transferring method, relay station and base station for uplink feedback information in relay link
    59.
    发明授权
    Transferring method, relay station and base station for uplink feedback information in relay link 有权
    转发方法,中继站和基站用于中继链路中的上行反馈信息

    公开(公告)号:US08792422B2

    公开(公告)日:2014-07-29

    申请号:US13259654

    申请日:2010-06-08

    Abstract: The present invention provides a method for transmitting relay link uplink feedback information, a relay station and a base station, and the method comprises: determining timing relationship for transmitting the uplink feedback information according to relay subframe configuration (S202); a relay station determining an uplink relay subframe for transmitting the uplink feedback information according to the timing relationship (S204), and transmitting the uplink feedback information via the uplink relay subframe (S206). The present invention ensures the reliability of downlink communication between the base station and the relay station, and the transmission of this feedback information would not cause effect on user equipment.

    Abstract translation: 本发明提供一种发送中继链路上行反馈信息,中继站和基站的方法,所述方法包括:根据中继子帧配置确定发送上行反馈信息的定时关系(S202); 确定用于根据所述定时关系发送所述上行链路反馈信息的上行链路中继子帧的中继站(S204),并且经由所述上行链路中继子帧发送所述上行链路反馈信息(S206)。 本发明确保了基站与中继站之间的下行链路通信的可靠性,并且该反馈信息的传输不会对用户设备产生影响。

    Low latency handover between wireless communication networks using different radio access technologies

    公开(公告)号:US08537781B2

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

    申请号:US13217090

    申请日:2011-08-24

    Abstract: A communications system for providing a user's mobile station (MS) with an Internet Protocol (IP) connectivity, has an IP network gateway for allocating an IP address to the MS to enable it to access an IP network. First and second base stations are respectively configured to support communications of the MS over first and second radio access networks using different radio access technologies. A first access gateway provides an interface between the IP network gateway and the first radio access network, whereas a second access gateway provides an interface between the IP network gateway and the second radio access network. A handover interface is provided between the first access gateway and the second access gateway for enabling the MS to switch between the first and second radio access networks with minimum latency.

Patent Agency Ranking