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

1. 发明授权

US08955043B2 Type-preserving compiler for security verification 有权
标题翻译：用于安全验证的类型保留编译器
公开(公告)号：US08955043B2
公开(公告)日：2015-02-10
申请号：US12694295
申请日：2010-01-27
申请人： Nikhil Swamy , Juan Chen , Ravi Kumar Chugh
发明人： Nikhil Swamy , Juan Chen , Ravi Kumar Chugh
IPC分类号： G06F7/04 , G06F9/45 , G06F21/54 , G06F21/14
CPC分类号： G06F8/436 , G06F21/14 , G06F21/54
摘要： Described is a source program code language that facilitates the association of security proofs obtained from a solver (e.g., a Z3 theorem prover) with the program code. The code may include affine types, dependent types and/or refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies the target code with respect to the security policies. If verified as complying with security policy, a verified program corresponding to the translated program may then be installed and run.
摘要翻译：描述了一种源程序代码语言，其有助于从求解器（例如，Z3定理证明器）获得的安全证明与程序代码的关联。代码可以包括仿射类型，依赖类型和/或细化类型。退化过程用对应于证明的依赖对类型替换每个细化类型。目标代码类型检查器验证关于安全策略的目标代码。如果验证为符合安全策略，则可以安装并运行与转换的程序相对应的已验证程序。

2. 发明申请

US20130230326A1 METHOD, SYSTEM, AND RELAY APPARATUS FOR REALIZING PASSIVE OPTICAL NETWORK REACH EXTENSION 有权
标题翻译：用于实现被动光网络扩展的方法，系统和继电器
公开(公告)号：US20130230326A1
公开(公告)日：2013-09-05
申请号：US13862853
申请日：2013-04-15
申请人： Xing HU , Hongli JIANG , Juan CHEN , Teng MA , Hanguo LI
发明人： Xing HU , Hongli JIANG , Juan CHEN , Teng MA , Hanguo LI
IPC分类号： H04B10/07
CPC分类号： H04B10/07 , H04J3/0682 , H04J3/1652 , H04Q11/0067 , H04Q2011/009
摘要： Embodiments of the present invention disclose a method and a system for realizing PON reach extension, and a relay apparatus for realizing this method. The method includes: extracting an overhead in an upstream data stream that is sent by an ONU to an OLT, obtaining a payload in the upstream data stream through de-mapping, and storing it into a buffer; extracting bandwidth authorization information in an downstream data stream that is sent by the OLT to the ONU; and reorganizing a stored payload according to the bandwidth authorization information and inserting a corresponding overhead to generate a new upstream data stream and send it to the OLT.
摘要翻译：本发明的实施例公开了一种实现PON到达扩展的方法和系统，以及用于实现该方法的中继装置。该方法包括：将ONU发送的上游数据流中的开销提取到OLT，通过解映射获取上游数据流中的有效载荷，并将其存入缓冲区; 提取由OLT向ONU发送的下游数据流中的带宽授权信息; 并根据带宽授权信息重新组织存储的有效载荷，并插入相应的开销以生成新的上游数据流，并将其发送到OLT。

3. 发明授权

US08184987B2 Method, system and device for realizing data transmission extension in passive optical network 有权
标题翻译：在无源光网络中实现数据传输扩展的方法，系统和设备
公开(公告)号：US08184987B2
公开(公告)日：2012-05-22
申请号：US12684412
申请日：2010-01-08
申请人： Juan Chen , Shimin Zou , Jianlin Zhou
发明人： Juan Chen , Shimin Zou , Jianlin Zhou
IPC分类号： H04B10/02
CPC分类号： H04J3/1694 , H04L7/041
摘要： A method, a device, and a system for realizing data transmission extension in a passive optical network (PON) are provided. Between a burst-mode clock and data recovery (BCDR) module and an electrical-optical (E/O) amplification module, the device includes a delimiter matching module and a preamble buffering and compensating module. The delimiter matching module is adapted to receive a data frame sent by the BCDR module and determine a location of a delimiter in the data frame. An optical-electrical (O/E) amplification module performs O/E conversion, amplification, and shaping on the data frame. The BCDR module then performs clock and data recovery processing on the data frame. The preamble buffering and compensating module is adapted to receive and buffer the data frame output from the delimiter matching module, insert a compensation preamble in the data frame according to the location of the delimiter in the data frame determined by the delimiter matching module, and send the data frame to the E/O amplification module according to a retiming clock of a downstream direction. Therefore, the data transmission extension is realized in an optical-electrical-optical (OEO) manner.
摘要翻译：提供了一种在无源光网络（PON）中实现数据传输扩展的方法，设备和系统。在突发模式时钟和数据恢复（BCDR）模块和电光（E / O）放大模块之间，该装置包括定界符匹配模块和前导码缓冲和补偿模块。分隔符匹配模块适于接收由BCDR模块发送的数据帧，并确定数据帧中定界符的位置。光电（O / E）放大模块在数据帧上执行O / E转换，放大和整形。然后，BCDR模块对数据帧执行时钟和数据恢复处理。前导码缓冲和补偿模块适于接收和缓冲从定界符匹配模块输出的数据帧，根据分隔符在由分隔符匹配模块确定的数据帧中的位置，在数据帧中插入补偿前导码，并发送根据下行方向的重新定时时钟向E / O放大模块提供数据帧。因此，以光电（OEO）方式实现数据传输扩展。

4. 发明申请

US20110185345A1 Type-Preserving Compiler for Security Verification 有权
标题翻译：类型保存编译器进行安全验证
公开(公告)号：US20110185345A1
公开(公告)日：2011-07-28
申请号：US12694295
申请日：2010-01-27
申请人： Nikhil Swamy , Juan Chen , Ravi Kumar Chugh
发明人： Nikhil Swamy , Juan Chen , Ravi Kumar Chugh
IPC分类号： G06F9/45 , G06F9/445
CPC分类号： G06F8/436 , G06F21/14 , G06F21/54
摘要： Described is a source program code language that facilitates the association of security proofs obtained from a solver (e.g., a Z3 theorem prover) with the program code. The code may include affine types, dependent types and/or refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies the target code with respect to the security policies. If verified as complying with security policy, a verified program corresponding to the translated program may then be installed and run.
摘要翻译：描述了一种源程序代码语言，其有助于从求解器（例如，Z3定理证明器）获得的安全证明与程序代码的关联。代码可以包括仿射类型，依赖类型和/或细化类型。退化过程用对应于证明的依赖对类型替换每个细化类型。目标代码类型检查器验证关于安全策略的目标代码。如果验证为符合安全策略，则可以安装并运行与转换的程序相对应的已验证程序。

5. 发明申请

US20110135597A1 Uses of Mammalian Cytokine; Related Reagents 有权
标题翻译：哺乳动物细胞因子的使用; 相关试剂
公开(公告)号：US20110135597A1
公开(公告)日：2011-06-09
申请号：US13026601
申请日：2011-02-14
申请人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Kevin W. Moore , Tatyana Churakova , Hong-Nhung Y. Nguyen , Jason R. Chan
发明人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Kevin W. Moore , Tatyana Churakova , Hong-Nhung Y. Nguyen , Jason R. Chan
IPC分类号： A61K38/20 , A61K39/395 , A61K31/7088 , A61P17/02 , A61K38/00 , C07K16/24 , C07K2/00
CPC分类号： A61K31/7088 , A61K38/1793 , A61K38/20 , A61K48/00 , A61K2039/505 , C07K16/2866 , C07K2317/565 , C07K2317/74 , C12N15/1136 , C12N2310/11 , C12N2310/14
摘要： Provided are methods of treatment for skin disorders. In particular, treatment, the skin disorders are generally inflammatory skin disorders, including improper wound healing. Provided are methods of using of a cytokine molecule.
摘要翻译：提供了治疗皮肤病的方法。特别是治疗时，皮肤病通常是炎性皮肤病，包括不适当的伤口愈合。提供使用细胞因子分子的方法。

6. 发明授权

US07627863B2 Typed intermediate language support for languages with multiple inheritance 有权
公开(公告)号：US07627863B2
公开(公告)日：2009-12-01
申请号：US11332819
申请日：2006-01-13
申请人： Juan Chen
发明人： Juan Chen
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F9/4492
摘要： A typed intermediate representation of source code written in a language that supports multiple inheritance is presented. The typed intermediate representation uses paths to represent objects embedded in other objects. For each class, an exact record type represents layout of complete objects of that class. An approximated record type describes layout of inner objects when the runtime types of the objects are statically unknown. Address arithmetic is represented by special instructions and type-checked to ensure proper pointer adjustment. Types are also given to “this” pointers of methods within classes. These “this” pointer types refer to the paths associated with the object.

7. 发明申请

US20090285777A1 Uses of Mammalian Cytokine; Related Reagents 有权
标题翻译：哺乳动物细胞因子的使用; 相关试剂
公开(公告)号：US20090285777A1
公开(公告)日：2009-11-19
申请号：US12507642
申请日：2009-07-22
申请人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Kevin W. Moore , Tatyana Churakova , Hong-Nhung Y. Nguyen , Jason R. Chan
发明人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Kevin W. Moore , Tatyana Churakova , Hong-Nhung Y. Nguyen , Jason R. Chan
IPC分类号： A61K39/395 , A61K38/20 , A61K31/7088 , C07K16/28 , A61P17/02
CPC分类号： A61K31/7088 , A61K38/1793 , A61K38/20 , A61K48/00 , A61K2039/505 , C07K16/2866 , C07K2317/565 , C07K2317/74 , C12N15/1136 , C12N2310/11 , C12N2310/14
摘要： Provided are methods of treatment for skin disorders. In particular, treatment, the skin disorders are generally inflammatory skin disorders, including improper wound healing. Provided are methods of using of a cytokine molecule.
摘要翻译：提供了治疗皮肤病的方法。特别是治疗时，皮肤病通常是炎性皮肤病，包括不适当的伤口愈合。提供使用细胞因子分子的方法。

8. 发明授权

US07575741B2 Methods of treating cutaneous ulcers and grafts using IL-23 失效
标题翻译：使用IL-23治疗皮肤溃疡和移植物的方法
公开(公告)号：US07575741B2
公开(公告)日：2009-08-18
申请号：US12026437
申请日：2008-02-05
申请人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Jason R. Chan
发明人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Jason R. Chan
IPC分类号： A61K38/19
CPC分类号： A61K31/7088 , A61K38/1793 , A61K38/20 , A61K48/00 , A61K2039/505 , C07K16/2866 , C07K2317/565 , C07K2317/74 , C12N15/1136 , C12N2310/11 , C12N2310/14
摘要： Provided are methods of treatment for skin disorders. In particular, treatment, the skin disorders are generally inflammatory skin disorders, including improper wound healing. Provided are methods of using of a cytokine molecule.
摘要翻译：提供了治疗皮肤病的方法。特别是治疗时，皮肤病通常是炎性皮肤病，包括不适当的伤口愈合。提供使用细胞因子分子的方法。

9. 发明申请

US20080240713A1 METHOD AND APPARATUS FOR AUTOMATIC RESTORATION DETECTION AND AUTOMATIC RESTORATION OF OPTICAL COMMUNICATION SYSTEM 有权
标题翻译：用于自动恢复检测和自动恢复光通信系统的方法和装置
公开(公告)号：US20080240713A1
公开(公告)日：2008-10-02
申请号：US11958045
申请日：2007-12-17
申请人： Yiquan Lu , Congqi Li , Hao Wang , Juan Chen
发明人： Yiquan Lu , Congqi Li , Hao Wang , Juan Chen
IPC分类号： H04B10/08
CPC分类号： H04B10/0775 , H04B10/03
摘要： Methods and apparatuses for automatic restoration detection and automatic restoration of optical communication system are disclosed. In the methods, a first station sends an automatic restoration detection message to a second station at the opposite side of a failed link; in response to receiving an automatic restoration request message, determines that the link has been repaired in two directions, and sends an automatic restoration confirmation message to the second station; or in response to receiving the automatic restoration detection message, determines that the link from the second station to the first station has been repaired, and sends the automatic restoration request message to the second station; in response to receiving the automatic restoration confirmation message, determines that the link has been repaired in two directions; and switching to normal working states. The safety problem that the laser leakage occurs in the failed link is solved.
摘要翻译：公开了用于光通信系统的自动恢复检测和自动恢复的方法和装置。在所述方法中，第一站向故障链路的相对侧的第二站发送自动恢复检测消息; 响应于接收到自动恢复请求消息，确定链路已经在两个方向上被修复，并且向第二站发送自动恢复确认消息; 或者响应于接收到自动恢复检测消息，确定从第二站到第一站的链路已经被修复，并且将自动恢复请求消息发送到第二站; 响应于接收到所述自动恢复确认消息，确定所述链路已经在两个方向上被修复; 并切换到正常工作状态。解决了在故障链路中发生激光器泄漏的安全问题。

10. 发明申请

US20080145361A1 USES OF MAMMALIAN CYTOKINE; RELATED REAGENTS 失效
标题翻译：使用马匹兰细胞因子; 相关试剂
公开(公告)号：US20080145361A1
公开(公告)日：2008-06-19
申请号：US12026437
申请日：2008-02-05
申请人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Kevin W. Moore , Tatyana Churakova , Hong-Nhung Y. Nguyen , Jason R. Chan
发明人： Edward P. Bowman , Shi-Juan Chen , Daniel J. Cua , Kevin W. Moore , Tatyana Churakova , Hong-Nhung Y. Nguyen , Jason R. Chan
IPC分类号： A61K39/395 , A61K38/16 , A61K35/00 , A61P17/02 , B65D69/00 , A61K31/7088
CPC分类号： A61K31/7088 , A61K38/1793 , A61K38/20 , A61K48/00 , A61K2039/505 , C07K16/2866 , C07K2317/565 , C07K2317/74 , C12N15/1136 , C12N2310/11 , C12N2310/14
摘要： Provided are methods of treatment for skin disorders. In particular, treatment, the skin disorders are generally inflammatory skin disorders, including improper wound healing. Provided are methods of using of a cytokine molecule.
摘要翻译：提供了治疗皮肤病的方法。特别是治疗时，皮肤病通常是炎性皮肤病，包括不适当的伤口愈合。提供使用细胞因子分子的方法。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式