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

11. 发明授权

US08079023B2 Typed intermediate language support for existing compilers 有权
标题翻译：为现有编译器提供类型化的中间语言支持
公开(公告)号：US08079023B2
公开(公告)日：2011-12-13
申请号：US11726438
申请日：2007-03-22
申请人： Juan Chen
发明人： Juan Chen
IPC分类号： G06F9/44
CPC分类号： G06F8/437
摘要： Described is a technology by which a compiler's intermediate representation is generated in a way that includes type checking to ensure safe execution. Typed representation of virtual method invocation uses an exact class name to represent objects of the class but not those of the subclasses, and a combined class type as an encoding of an existential type to represent objects of the class and subclasses of the class. Typed representation of interface method invocation is also provided, as is testing whether the object can be cast to a class, to an interface and/or to a class vector. Vector store checking is also able to be type checked. The medium-level intermediate representation is translated into a low-level intermediate representation, including choosing data representation for types, and converting medium-level intermediate representation operators into instructions in the low-level representation. Using a typed intermediate representation without scopes and determining the scopes of type variables when performing type checking is also described.
摘要翻译：描述了一种以包括类型检查的方式生成编译器的中间表示以确保安全执行的技术。虚拟方法调用的类型化表示使用精确的类名来表示类的对象，而不是子类的对象，组合类类型作为用于表示类的类和子类的存在类型的编码。还提供了接口方法调用的类型化表示，以及测试对象是否可以转换为类，接口和/或类向量。矢量存储检查也可以进行类型检查。中级中间表示被转换为低级中间表示，包括选择类型的数据表示，以及将中级中间表示算子转换为低级表示中的指令。还描述了在执行类型检查时使用没有范围的类型中间表示和确定类型变量的范围。

12. 发明申请

US20100111532A1 METHOD, SYSTEM AND DEVICE FOR REALIZING DATA TRANSMISSION EXTENSION IN PASSIVE OPTICAL NETWORK 有权
标题翻译：用于实现无源光网络中数据传输扩展的方法，系统和设备
公开(公告)号：US20100111532A1
公开(公告)日：2010-05-06
申请号：US12684412
申请日：2010-01-08
申请人： Juan Chen , Shimin Zou , Jianlin Zhou
发明人： Juan Chen , Shimin Zou , Jianlin Zhou
IPC分类号： H04J14/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）方式实现数据传输扩展。

13. 发明申请

US20090282208A1 SIMPLE STACK TYPES 有权
标题翻译：简单的堆叠类型
公开(公告)号：US20090282208A1
公开(公告)日：2009-11-12
申请号：US12119151
申请日：2008-05-12
申请人： Juan Chen , Chris Hawblitzel , Frances Perry
发明人： Juan Chen , Chris Hawblitzel , Frances Perry
IPC分类号： G06F12/00
CPC分类号： G06F8/437
摘要： Embodiments that facilitate type checking of assembly language instructions are disclosed. In one embodiment, a method includes receiving a low level language instruction in a memory. The instruction includes a word having a first type. The memory includes either a stack or a heap. Each of the stack or heap includes a plurality of positions. The method also includes labeling the plurality of positions in one of the stack or the heap as one or more specified positions and one or more unspecified positions. The method further includes assigning a second type to the memory, the second type including the first type of the word. The word is stored in a specified position or an unspecified position. The method additionally includes determining whether the instruction is well-typed by applying one or more rules to the instruction and to the second type.
摘要翻译：公开了便于装配语言指令的类型检查的实施例。在一个实施例中，一种方法包括在存储器中接收低级语言指令。该指令包括具有第一类型的单词。内存包括堆栈或堆。堆叠或堆中的每一个包括多个位置。该方法还包括将堆叠或堆中的一个中的多个位置标记为一个或多个指定位置和一个或多个未指定位置。该方法还包括向存储器分配第二类型，第二类型包括该单词的第一类型。该词存储在指定的位置或未指定的位置。该方法还包括通过将一个或多个规则应用于指令和第二类型来确定该指令是否是良好类型的。

14. 发明授权

US07512938B2 Typed intermediate representation for object-oriented languages 有权
标题翻译：面向对象语言的类型化中间表示
公开(公告)号：US07512938B2
公开(公告)日：2009-03-31
申请号：US11084476
申请日：2005-03-18
申请人： David Read Tarditi, Jr. , Juan Chen
发明人： David Read Tarditi, Jr. , Juan Chen
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： Described herein are typed intermediate representations of object-oriented source code that preserve notions of class names, as well as add structure-based information related to classes in the source code. Types in the intermediate representation are divided into corresponding class name-based types and associated structure-based record types. The structure-based record type comprises a layout of objects that are instances of the corresponding class name-based types, where the object comprises one or more data fields and one or more virtual method members. Dynamic types can be abstracted in the form of existential types with sub-classing bounded quantifications. This makes type checking decidable. Existential types bind type variables with sub-classing bounds to represent dynamic types of objects. The layout of those objects can be approximated by structure-based record types. The types of virtual methods in the approximation record types include type variables that represent the dynamic types of those objects to guarantee safety.
摘要翻译：这里描述的是面向对象的源代码的类型化中间表示，其保存类名的概念，以及添加与源代码中的类相关的基于结构的信息。中间表示中的类型分为相应的基于类名的类型和相关的基于结构的记录类型。基于结构的记录类型包括作为相应类名称类型的实例的对象的布局，其中对象包括一个或多个数据字段和一个或多个虚拟方法成员。动态类型可以以具有子类有界量化的存在类型的形式进行抽象。这使得类型检查可以确定。存在类型使用子类绑定绑定类型变量来表示对象的动态类型。这些对象的布局可以通过基于结构的记录类型近似。近似记录类型中的虚拟方法的类型包括表示这些对象的动态类型以确保安全性的类型变量。

15. 发明申请

US20060212847A1 Type checker for a typed intermediate representation of object-oriented languages 审中-公开
标题翻译：类型检查器用于面向对象语言的类型中间表示
公开(公告)号：US20060212847A1
公开(公告)日：2006-09-21
申请号：US11084374
申请日：2005-03-18
申请人： David Tarditi , Juan Chen
发明人： David Tarditi , Juan Chen
IPC分类号： G06F9/44
CPC分类号： G06F8/437
摘要： Described herein are methods and systems for applying typing rules for type checking typed intermediate representations of computer program whose source code was written in an object-oriented language. The typing rules are decidable in part because the typed intermediate representation retains class name-based information related to classes from the source code representation. The class name-based information includes information related to class hierarchies, which in part can be used to express sub-classing. Typing rules are applied to parts of the intermediate representation that are typed based on class name-based types and the corresponding structure-based record types. Thus, some typing rules are described herein that are based on sub-classing bounds of type variables. The typing rules include rules related to method calls including type arguments, coercions, existential type operations such as, open and pack.
摘要翻译：这里描述的是用于为源代码以面向对象语言编写的计算机程序的类型检查型中间表示应用打字规则的方法和系统。打字规则是可以解决的，部分原因是类型化的中间表示形式保留了与源代码表示类相关的基于类名的信息。基于类名的信息包括与类层次相关的信息，其部分可以用于表示子类。键入规则适用于基于类名称类型和相应的基于结构的记录类型键入的中间表示的部分。因此，这里描述了基于类型变量的子类的边界的一些打字规则。打字规则包括与方法调用相关的规则，包括类型参数，强制，存在类型操作，如open和pack。

16. 发明授权

US09134575B2 Liquid crystal lens, operation method thereof and photoelectric device 有权
标题翻译：液晶透镜，其操作方法和光电装置
公开(公告)号：US09134575B2
公开(公告)日：2015-09-15
申请号：US13465133
申请日：2012-05-07
申请人： Jaegeon You , Juan Chen
发明人： Jaegeon You , Juan Chen
IPC分类号： G02F1/13 , G02F1/1343 , G02F1/29 , G02B3/14 , G02B27/64
CPC分类号： G02F1/134309 , G02B3/14 , G02B27/64 , G02F1/29 , G02F2001/294 , G02F2203/28
摘要： A liquid crystal lens, a manufacturing method thereof, an operation method thereof and a photoelectric device are provided. The lens comprises: a first electrode layer; a first transparent substrate; a second transparent substrate, provided to a lower surface of the first electrode layer and opposite to the first transparent substrate; a second electrode layer, provided to an upper surface of the first transparent substrate and comprising a first sub-electrode-layer and a second sub-electrode-layer which are separated from each other; and a liquid crystal layer provided between the second transparent substrate and the second electrode layer.
摘要翻译：提供一种液晶透镜，其制造方法，其操作方法和光电装置。透镜包括：第一电极层; 第一透明基板; 第二透明基板，设置在第一电极层的下表面并与第一透明基板相对; 第二电极层，设置在第一透明基板的上表面，并且包括彼此分离的第一子电极层和第二子电极层; 以及设置在第二透明基板和第二电极层之间的液晶层。

17. 发明授权

US08045851B2 Method and apparatus for automatic restoration detection and automatic restoration of optical communication system 有权
标题翻译：光通信系统自动恢复检测和自动恢复的方法和装置
公开(公告)号：US08045851B2
公开(公告)日：2011-10-25
申请号：US11958045
申请日：2007-12-17
申请人： Yiquan Lu , Congqi Li , Hao Wang , Juan Chen
发明人： Yiquan Lu , Congqi Li , Hao Wang , Juan Chen
IPC分类号： G02F1/00
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.
摘要翻译：公开了用于光通信系统的自动恢复检测和自动恢复的方法和装置。在所述方法中，第一站向故障链路的相对侧的第二站发送自动恢复检测消息; 响应于接收到自动恢复请求消息，确定链路已经在两个方向上被修复，并且向第二站发送自动恢复确认消息; 或者响应于接收到自动恢复检测消息，确定从第二站到第一站的链路已经被修复，并且将自动恢复请求消息发送到第二站; 响应于接收到所述自动恢复确认消息，确定所述链路已经在两个方向上被修复; 并切换到正常工作状态。解决了在故障链路中发生激光器泄漏的安全问题。

18. 发明申请

US20110020242A1 HIGH-DENSITY LIPOPROTEIN-LIKE PEPTIDE-PHOSPHOLIPID SCAFFOLD ("HPPS") NANOPARTICLES 审中-公开
标题翻译：高密度脂蛋白样肽 - 磷脂酰胆碱（“HPPS”）纳米颗粒
公开(公告)号：US20110020242A1
公开(公告)日：2011-01-27
申请号：US12747815
申请日：2008-12-12
申请人： Gang Zheng , Zhihong Zhang , Ian Corbin , Juan Chen
发明人： Gang Zheng , Zhihong Zhang , Ian Corbin , Juan Chen
IPC分类号： A61K49/14 , C07K17/02 , A61K49/00 , A61K9/14 , A61P35/00
CPC分类号： A61K49/0082 , A61K47/6917 , A61K47/6919 , A61K49/0002 , A61K49/0032 , A61K49/0056 , B82Y5/00 , G01N33/54346 , G01N33/587 , G01N2800/00
摘要： The present invention provides a non-naturally occurring High-Density Lipoprotein-like peptide-phospholipid scaffold (“HPPS”) nanoparticle. More particularly, the invention provides a non-naturally occurring peptide-lipid nanoscaffold comprising: (a) at least one phospholipid; (b) at least one unsaturated lipid, preferably an unsaturated sterol ester, further preferably an unsaturated cholesterol ester, further preferably cholsteryl oleate; and (c) at least one peptide, the peptide comprising an amino acid sequence capable of forming at least one amphipathic a-helix; wherein the components a), b) and c) associate to form the peptide-phospholipid nanoscaffold. In embodiments of the present invention, a cell surface receptor ligand is incorporated into the HPPS. In one embodiment, the cell surface receptor ligand is covalently bonded to the peptide scaffold of the HPPS nanoparticles. In other embodiments, a cell surface receptor ligand is coupled to a lipid anchor and is displayed on the surface of the HPPS nanoparticles by incorporation of the lipid anchor into the phospholipids monolayer of the HPPS nanoparticle. The present invention also provides pharmaceutical formulations comprising HPPS nanoparticles and methods of making the HPPS nanoparticles.
摘要翻译：本发明提供非天然存在的高密度脂蛋白样肽 - 磷脂支架（“HPPS”）纳米颗粒。更具体地，本发明提供非天然存在的肽 - 脂质纳米支架，其包含：（a）至少一种磷脂; （b）至少一种不饱和脂质，优选不饱和甾醇酯，更优选不饱和胆固醇酯，更优选油酸胆甾醇酯; 和（c）至少一种肽，所述肽包含能够形成至少一种两亲性α-螺旋的氨基酸序列; 其中组分a），b）和c）缔合形成肽 - 磷脂纳米支架。在本发明的实施方案中，将细胞表面受体配体掺入HPPS中。在一个实施方案中，细胞表面受体配体共价键合到HPPS纳米颗粒的肽支架上。在其它实施方案中，将细胞表面受体配体偶联到脂质锚定物上，并通过将脂质锚点掺入HPPS纳米颗粒的磷脂单层中而显示在HPPS纳米颗粒的表面上。本发明还提供了包含HPPS纳米颗粒的药物制剂和制备HPPS纳米颗粒的方法。

19. 发明申请

US20080235675A1 Typed intermediate language support for existing compilers 有权
标题翻译：为现有编译器提供类型化的中间语言支持
公开(公告)号：US20080235675A1
公开(公告)日：2008-09-25
申请号：US11726438
申请日：2007-03-22
申请人： Juan Chen
发明人： Juan Chen
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： Described is a technology by which a compiler's intermediate representation is generated in a way that includes type checking to ensure safe execution. Typed representation of virtual method invocation uses an exact class name to represent objects of the class but not those of the subclasses, and a combined class type as an encoding of an existential type to represent objects of the class and subclasses of the class. Typed representation of interface method invocation is also provided, as is testing whether the object can be cast to a class, to an interface and/or to a class vector. Vector store checking is also able to be type checked. The medium-level intermediate representation is translated into a low-level intermediate representation, including choosing data representation for types, and converting medium-level intermediate representation operators into instructions in the low-level representation. Using a typed intermediate representation without scopes and determining the scopes of type variables when performing type checking is also described.
摘要翻译：描述了一种以包括类型检查的方式生成编译器的中间表示以确保安全执行的技术。虚拟方法调用的类型化表示使用精确的类名来表示类的对象，而不是子类的对象，组合类类型作为用于表示类的类和子类的存在类型的编码。还提供了接口方法调用的类型化表示，以及测试对象是否可以转换为类，接口和/或类向量。矢量存储检查也可以进行类型检查。中级中间表示被转换为低级中间表示，包括选择类型的数据表示，以及将中级中间表示算子转换为低级表示中的指令。还描述了在执行类型检查时使用没有范围的类型中间表示和确定类型变量的范围。

20. 发明授权

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定理证明器）获得的安全证明与程序代码的关联。代码可以包括仿射类型，依赖类型和/或细化类型。退化过程用对应于证明的依赖对类型替换每个细化类型。目标代码类型检查器验证关于安全策略的目标代码。如果验证为符合安全策略，则可以安装并运行与转换的程序相对应的已验证程序。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式