专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

21. 发明授权

US09092561B2 Model checking for distributed application validation 有权
标题翻译：分布式应用程序验证模型检查
公开(公告)号：US09092561B2
公开(公告)日：2015-07-28
申请号：US12908007
申请日：2010-10-20
申请人： Lidan Miao , Peng Song , Li Zhang , Mihail G. Tarta
发明人： Lidan Miao , Peng Song , Li Zhang , Mihail G. Tarta
IPC分类号： G06F11/36 , G06F11/34
CPC分类号： G06F11/3612 , G06F11/3447 , G06F11/3476 , G06F11/3608 , G06F11/3692
摘要： A model checking system is described herein that more effectively verifies and validates the design of distributed applications by providing a model and a generic framework to check application invariant properties, detect anomaly behaviors, and monitor application health. The model checking system checks on-line application behavior against application models derived from formal descriptions of the application. The system formulates the concrete application as an abstract model and a number of rules or properties that are expected to hold for the application under all conditions. The model checker compares the actual application execution with the models and either confirms that the properties hold true or reports that the properties are violated. Thus, the model checking system provides more efficient and thorough validation of distributed applications under more realistic production conditions.
摘要翻译：本文描述了一种模型检查系统，通过提供模型和通用框架来更有效地验证和验证分布式应用程序的设计，以检查应用程序不变属性，检测异常行为和监视应用程序运行状况。模型检查系统根据从应用程序的形式描述导出的应用程序模型检查在线应用程序行为。该系统将具体应用程序作为抽象模型以及预期在所有条件下都适用于应用程序的许多规则或属性。模型检查器将实际应用程序执行与模型进行比较，并确认属性成立或报告属性被违反。因此，模型检查系统在更现实的生产条件下提供了分布式应用程序的更有效和彻底的验证。

22. 发明授权

US08859770B2 Process for preparing [4,6-bis-dimethylamino-2-[4-(4-trifluoromethylbenzoylamino)benzyl]pyrimidin-5-yl]acetic acid 有权
标题翻译：制备[4,6-双 - 二甲基氨基-2- [4-（4-三氟甲基苯甲酰氨基）苄基]嘧啶-5-基]乙酸的方法
公开(公告)号：US08859770B2
公开(公告)日：2014-10-14
申请号：US14116876
申请日：2012-05-07
申请人： Juan M. Rodriguez Dehli , Michael Schul , Christian Stange , Robert Hagenkoetter , Xiao-Jun Wang , Li Zhang , Oriol Massot
发明人： Juan M. Rodriguez Dehli , Michael Schul , Christian Stange , Robert Hagenkoetter , Xiao-Jun Wang , Li Zhang , Oriol Massot
IPC分类号： C07D239/48
CPC分类号： C07D239/48
摘要： The present invention relates to a process for preparing a compound of formula (I).
摘要翻译：本发明涉及制备式（I）化合物的方法。

23. 发明授权

US08826108B1 Pre-scaling soft-decoder inputs 有权
标题翻译：预缩放软解码器输入
公开(公告)号：US08826108B1
公开(公告)日：2014-09-02
申请号：US13287846
申请日：2011-11-02
申请人： Li Zhang , Sudhir Srinivasa , Hongyuan Zhang , Rohit U Nabar , Atul Salhotra
发明人： Li Zhang , Sudhir Srinivasa , Hongyuan Zhang , Rohit U Nabar , Atul Salhotra
IPC分类号： H03M13/03
CPC分类号： H03M13/6591 , H03M13/1111 , H03M13/612 , H03M13/6527 , H03M13/658 , H03M13/6583
摘要： The present disclosure describes techniques for pre-scaling decoder input values. In some aspects a soft-decoding input indicating a reliability of an encoded bit is received, the soft-decoding input is scaled based on a value of the soft-decoding input, and a hardware-based soft-decoder is enabled to use the scaled soft-decoding input to decode the encoded bit. By so doing, resolution of the soft-decoding input can be preserved during subsequent decoding operations improving performance of the hardware-based soft-decoder.
摘要翻译：本公开描述了用于预分解解码器输入值的技术。在一些方面，接收到指示编码比特的可靠性的软解码输入，基于软解码输入的值对软解码输入进行缩放，并且基于硬件的软解码器能够使用经缩放的软解码输入来解码编码位。通过这样做，可以在随后的解码操作期间保持软解码输入的分辨率，从而提高基于硬件的软解码器的性能。

24. 发明申请

US20140191379A1 LOW-K CHIP PACKAGING STRUCTURE 审中-公开
标题翻译： LOW-K芯片包装结构
公开(公告)号：US20140191379A1
公开(公告)日：2014-07-10
申请号：US14233596
申请日：2011-10-21
申请人： Li Zhang , Zhiming Lai , Dong Chen , Jinhui Chen
发明人： Li Zhang , Zhiming Lai , Dong Chen , Jinhui Chen
IPC分类号： H01L23/495
CPC分类号： H01L23/49582 , H01L21/561 , H01L21/568 , H01L23/3107 , H01L24/03 , H01L24/05 , H01L24/11 , H01L24/13 , H01L24/95 , H01L24/96 , H01L2224/02379 , H01L2224/03334 , H01L2224/0382 , H01L2224/0391 , H01L2224/0401 , H01L2224/04105 , H01L2224/05005 , H01L2224/05541 , H01L2224/05558 , H01L2224/05569 , H01L2224/05572 , H01L2224/12105 , H01L2224/13006 , H01L2224/13023 , H01L2224/131 , H01L2224/16225 , H01L2224/32225 , H01L2224/73204 , H01L2224/81191 , H01L2224/81815 , H01L2224/83192 , H01L2224/94 , H01L2924/00014 , H01L2924/0002 , H01L2924/12042 , H01L2924/15311 , H01L2924/15788 , H01L2924/00012 , H01L2924/014 , H01L2224/05552 , H01L2224/03 , H01L2224/11 , H01L2924/00
摘要： A low-k chip packaging structure comprising chip body I (2-1), a chip electrode (2-2), and a chip surface passivation layer (2-3). Chip body I (2-1) has coated thereon thin film layer I (2-3). Thin film layer I (2-3) has arranged on a rear face thereof a support wafer (2-5). A chip electrode (2-2) is transferred to thin film layer I (2-4) around the exterior of the chip via a rewired metal wiring (2-6). The rewired metal wiring (2-6) has arranged at an end thereof a metal column (2-7). The metal column (2-7) has coated thereon thin film layer II (2-8). The top of the metal column protrudes thin film layer II (2-8). The protruding top of the metal column (2-7) has arranged thereon a metal layer (2-9). The metal layer (2-9) has arranged thereon soldering balls (2-10). The low-k chip packaging structure solves the problem of invalid low-k chip due to concentration of stress during chip packaging process and allows for reduced packaging costs and great product reliability.
摘要翻译：包括芯体I（2-1），芯片电极（2-2）和芯片表面钝化层（2-3）的低k芯片封装结构。芯体I（2-1）上涂上薄膜层I（2-3）。薄膜层I（2-3）在其背面设置有支撑晶片（2-5）。芯片电极（2-2）通过重新布线的金属布线（2-6）转移到芯片外部的薄膜层I（2-4）上。重新布线的金属布线（2-6）的一端设有金属柱（2-7）。金属柱（2-7）上涂有薄膜层II（2-8）。金属柱的顶部突出薄膜层II（2-8）。金属柱（2-7）的突出顶部上布置有金属层（2-9）。金属层（2-9）上布置有焊球（2-10）。低k芯片封装结构解决了芯片封装过程中由于应力集中引起的无效低k芯片的问题，可以降低封装成本，提高产品可靠性。

25. 发明授权

US08722623B2 Compositions and methods utilizing fibrin beta chain fragments 有权
标题翻译：使用纤维蛋白β链片段的组合物和方法
公开(公告)号：US08722623B2
公开(公告)日：2014-05-13
申请号：US12678122
申请日：2008-09-17
申请人： Leonid Medved , Li Zhang , Sergiy Yakovlev
发明人： Leonid Medved , Li Zhang , Sergiy Yakovlev
IPC分类号： A61K38/36 , A61P7/04 , C07K14/75 , C07K14/475
CPC分类号： C07K14/75
摘要： A composition including a peptide sequence of the formula βX1-X2, the peptide sequence corresponding to an amino acid sequence of a fibrin beta chain fragment of a Bbeta chain of fibrinogen, wherein X1 represents an N-terminal end of the peptide sequence, and X2 represents a C-terminal end of the peptide sequence, wherein the peptide sequence includes additional amino acids between X1 and X2, wherein the peptide sequence may contain a non-naturally occurring amino acid residue, wherein the peptide sequence is other than a wild-type β15-42 monomer sequence per se, and wherein the peptide sequence is other than (β15-66)2 dimer having two chains with each chain limited to wild type amino acids β15-65 and each chain further including a non-naturally occurring Gly at position 66 of each chain. Methods for treatment and pharmaceutical combinations may include a polypeptide agent such as Thymosin beta 4. In such methods and combinations, a dimer of the peptide sequence may include amino acids 15-66 of the fibrin beta chain.
摘要翻译：包含式＆bgr的肽序列X1-X2的组合物，所述肽序列对应于纤维蛋白原的Bbeta链的纤维蛋白β链片段的氨基酸序列，其中X1表示肽序列的N-末端， X2表示肽序列的C末端，其中肽序列包括X1和X2之间的额外氨基酸，其中肽序列可以含有非天然存在的氨基酸残基，其中肽序列不是野生型型单体序列本身，并且其中所述肽序列不同于具有每条链的每个链限定于野生型氨基酸（15-65）的每个链（＆amp; 15-66）2二聚体，并且每个链进一步包括每个链的位置66处的非天然存在的Gly。用于治疗和药物组合的方法可以包括多肽试剂例如胸腺素β4。在这些方法和组合中，肽序列的二聚体可以包括纤维蛋白β链的氨基酸15-66。

26. 发明申请

US20140120940A1 Method and system of resource reconfiguration for cognitive-radio system 有权
标题翻译：认知无线电系统资源重构方法与系统
公开(公告)号：US20140120940A1
公开(公告)日：2014-05-01
申请号：US14129343
申请日：2012-04-12
申请人： Longtao Ren , Xing Liu , Yan Li , Li Zhang , Ting Miao , Dong Zhou
发明人： Longtao Ren , Xing Liu , Yan Li , Li Zhang , Ting Miao , Dong Zhou
IPC分类号： H04W16/14
CPC分类号： H04W16/14 , H04W28/16
摘要： The disclosure provides a method and system of resource reconfiguration for a cognitive-radio system. The method includes that: a reconfiguration module of a wireless communication system acquires a reconfiguration command according to a received spectrum refarming indication or by monitoring a network condition of the wireless communication system (101); and sends the reconfiguration command to a base station to implement resource reconfiguration by executing the reconfiguration command via the base station (102). With the disclosure, proper radio resource reconfiguration is performed by a reconfiguration module of each wireless communication system according to utilization of spectral resources in the system, so that the utilization of spectral resources in a primary system and between RATs may be coordinated, thereby enhancing the resource utilization rate of each wireless communication system and the spectrum utilization rate of the primary system, such as a broadcast and television system, and leading to a more balanced network load.
摘要翻译：本公开提供了一种用于认知无线电系统的资源重配置的方法和系统。该方法包括：无线通信系统的重新配置模块根据接收的频谱重构指示或通过监视无线通信系统（101）的网络状况来获取重新配置命令; 并且通过经由基站（102）执行重新配置命令，将重新配置命令发送到基站以实现资源重新配置。通过本公开，根据系统中的频谱资源的利用，由每个无线通信系统的重配置模块执行适当的无线电资源重配置，从而可以协调主系统和RAT之间的频谱资源的利用，从而增强每个无线通信系统的资源利用率和诸如广播和电视系统的主要系统的频谱利用率，并且导致更平衡的网络负载。

27. 发明授权

US08700752B2 Optimized efficient LPAR capacity consolidation 有权
标题翻译：优化的高效LPAR容量整合
公开(公告)号：US08700752B2
公开(公告)日：2014-04-15
申请号：US12611266
申请日：2009-11-03
申请人： Eric Bouillet , Randy Scott Johnson , Tedrick Neal Northway , Li Zhang , Clea Anne Zolotow
发明人： Eric Bouillet , Randy Scott Johnson , Tedrick Neal Northway , Li Zhang , Clea Anne Zolotow
IPC分类号： G06F15/177
CPC分类号： G06F9/5077 , Y02D10/22 , Y02D10/36
摘要： A method and system for optimizing a configuration of a set of LPARs and a set of servers that host the LPARs. Configuration data and optimization characteristics are received. By applying the configuration data and optimization characteristics, a best fit of the LPARs into the servers is determined, thereby determining an optimized configuration. The best fit is based on a variant of bin packing or multidimensional bin packing methodology. The optimized configuration is stored. In one embodiment, comparisons of shadow costs are utilized to determine an optimal placement of the LPARs in the servers. LPAR(s) in the set of LPARs are migrated to other server(s) in the set of servers, which results in the LPARs and servers being configured in the optimized configuration.
摘要翻译：一种用于优化一组LPAR和托管LPAR的一组服务器的配置的方法和系统。接收配置数据和优化特性。通过应用配置数据和优化特性，确定LPAR到服务器中的最佳拟合，从而确定优化的配置。最适合的是基于垃圾箱包装或多维箱装箱方法的变体。存储优化的配置。在一个实施例中，利用阴影成本的比较来确定LPAR在服务器中的最佳布局。一组LPAR中的LPAR将迁移到服务器集中的其他服务器，这导致LPAR和服务器在优化配置中配置。

28. 发明授权

US08639643B2 Classification of a document according to a weighted search tree created by genetic algorithms 有权
标题翻译：根据由遗传算法创建的加权搜索树的文档分类
公开(公告)号：US08639643B2
公开(公告)日：2014-01-28
申请号：US13119936
申请日：2008-10-31
申请人： Ren Wu , Sheng-Wen Yang , Yuhong Xiong , Li Zhang
发明人： Ren Wu , Sheng-Wen Yang , Yuhong Xiong , Li Zhang
IPC分类号： G06F15/18 , G06N3/00 , G06N3/12
CPC分类号： G06F17/30707
摘要： A device for classifying a document comprises a module to generate a data tree structure and configured to assign terms to a first plurality of nodes of the data tree structure, where each of the first plurality of nodes is assigned a weight. In assigning the weights of the first plurality of nodes, a first generation of combinations of possible weights assignable as the weights of the first plurality of nodes is obtained, and a second generation of combinations of possible weights assignable as the weights of the first plurality of nodes is obtained by performing the genetic algorithms in the first generation of combinations of possible weights. The device determines whether the document is in a document class based at least the weights of the first plurality of nodes.
摘要翻译：用于对文档进行分类的设备包括用于生成数据树结构并被配置为向数据树结构的第一多个节点分配术语的模块，其中第一多个节点中的每一个被分配权重。在分配第一多个节点的权重时，获得可分配为第一多个节点的权重的可能权重的组合的第一代，以及可分配的可能权重的组合的第二代，可分配为第一多个节点的权重通过在第一代可能权重的组合中执行遗传算法来获得节点。该装置至少基于第一多个节点的权重来确定文档是否在文档类中。

29. 发明申请

US20130325423A1 Trim Line Determination In A Deep Draw Manufacturing of A Sheet Metal Part 审中-公开
标题翻译：钣金零件深冲制造中的修剪线测定
公开(公告)号：US20130325423A1
公开(公告)日：2013-12-05
申请号：US13482703
申请日：2012-05-29
申请人： Xinhai Zhu , Li Zhang
发明人： Xinhai Zhu , Li Zhang
IPC分类号： G06G7/48
CPC分类号： G06F17/5018
摘要： Methods and systems of determining a trim line in deep draw manufacturing of a sheet metal part are disclosed. A computerized model of a sheet metal part and the addendum surface geometry are defined. At least one flange portion in the computerized model is identified. Perform a numerical simulation of unfolding of the flange towards the addendum surface by applying a first set of numerical loads to each pair of adjacent finite elements. The first set of numerical loads is configured for flattening out the pair of finite elements with a bending moment determined using relative orientations of the pair finite elements and material properties of the part. A second set of numerical loads is applied to close any remaining gap between the unfolded flange and the addendum thereafter. The outer edge of the flange portions in their final unfolded configuration is designated as a trim line.
摘要翻译：公开了一种在钣金零件的深冲制造中确定修剪线的方法和系统。定义了钣金件和附件表面几何形状的计算机化模型。识别计算机化模型中的至少一个凸缘部分。通过对每对相邻的有限元施加第一组数值载荷来执行法兰朝向齿顶表面展开的数值模拟。第一组数值载荷被配置为使用一对有限元素的相对取向和部件的材料特性确定的弯曲力矩平坦化一对有限元。应用第二组数值载荷来封闭展开的法兰和附件之间的剩余间隙。凸缘部分的最终展开构型的外边缘被指定为修剪线。

30. 发明授权

US08593310B1 Data-driven variable length encoding of fixed-length data 有权
标题翻译：固定长度数据的数据驱动可变长度编码
公开(公告)号：US08593310B1
公开(公告)日：2013-11-26
申请号：US13686815
申请日：2012-11-27
申请人： Li Zhang
发明人： Li Zhang
IPC分类号： H03M7/40
CPC分类号： H03M7/40
摘要： A data-driven encoder receives fixed-length bit fields and generates variable length bit fields that are, on average, smaller than the fixed-length bit fields. The data-driven encoder removes leading zeros from a fixed-length bit field and appends a prefix code to the remaining bits that identifies the number of remaining bits. In an embodiment, the data-driven encoder may further append leading zeros before the prefix code to produce variable length bit fields having sizes that are integer multiples of bytes. The decoder identifies the original fixed-length bit fields from the variable length encoded bit fields.
摘要翻译：数据驱动编码器接收固定长度的位字段，并生成平均小于固定长度位字段的可变长度位字段。数据驱动编码器从固定长度位字段中删除前导零，并将附加前缀码添加到标识剩余位数的剩余位。在一个实施例中，数据驱动编码器还可以在前缀码之前附加前导零，以产生具有大小为整数倍的字节的可变长度位字段。解码器从可变长度编码比特字段中识别原始固定长度比特字段。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式