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

1. 发明申请

US20060212861A1 Typed intermediate representation for object-oriented languages 有权
公开(公告)号：US20060212861A1
公开(公告)日：2006-09-21
申请号：US11084476
申请日：2005-03-18
申请人： David Tarditi , Juan Chen
发明人： David Tarditi , 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.

2. 发明申请

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。

3. 发明授权

US07627862B2 Typed intermediate language support for languages with multiple inheritance 有权
标题翻译：为具有多重继承的语言提供类型化的中间语言支持
公开(公告)号：US07627862B2
公开(公告)日：2009-12-01
申请号：US11332818
申请日：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.
摘要翻译：介绍了以支持多重继承的语言编写的源代码的类型化中间表示。类型化的中间表示使用路径来表示嵌入到其他对象中的对象。对于每个类，确切的记录类型表示该类的完整对象的布局。近似的记录类型描述了当对象的运行时类型是静态未知时内部对象的布局。地址算术由特殊指令表示，并进行类型检查，以确保正确的指针调整。类型也被赋予类中“方法”指针。这些“this”指针类型是指与对象相关联的路径。

4. 发明申请

US20080193431A1 ACTIVATABLE PHOTODYNAMIC THERAPY AGENTS 有权
标题翻译：可激活的光电治疗剂
公开(公告)号：US20080193431A1
公开(公告)日：2008-08-14
申请号：US11383487
申请日：2006-05-15
申请人： Gang Zheng , Jerry D. Glickson , Britton Chance , Edward James Delikatny , Klara Stefflova , Juan Chen
发明人： Gang Zheng , Jerry D. Glickson , Britton Chance , Edward James Delikatny , Klara Stefflova , Juan Chen
IPC分类号： A61K38/43 , C12N9/00
CPC分类号： A61K41/0071 , A61K38/00 , A61K41/0057 , A61K41/0076 , A61K47/544 , A61K47/549 , A61K47/64 , A61K47/65 , C07K5/1008 , C07K5/101 , C07K5/1021 , C07K5/1024 , C07K7/06
摘要： The present invention relates to the field of conjugates comprising a substrate which is attached to at least one photoactivatable killing agent and at least one first quencher, and methods for their use. More particularly, the present invention relates to photodynamic therapy agents. The invention further relates to methods for decontaminating blood and methods for treating cancer or viral infection in a subject using the conjugates of the present invention.
摘要翻译：本发明涉及包含与至少一种可光活化杀伤剂和至少一种第一猝灭剂连接的底物的缀合物领域及其使用方法。更具体地说，本发明涉及光动力治疗剂。本发明还涉及使用本发明的缀合物来净化血液的方法和用于治疗受试者的癌症或病毒感染的方法。

5. 发明申请

US20070169029A1 Typed intermediate language support for languages with multiple inheritance 有权
公开(公告)号：US20070169029A1
公开(公告)日：2007-07-19
申请号：US11332819
申请日：2006-01-13
申请人： Juan Chen
发明人： Juan Chen
IPC分类号： G06F9/45
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.

6. 发明授权

US06833948B2 Method for implementing power equalization of dense wavelength division multiplexing system 有权
标题翻译：实现密集波分复用系统功率均衡的方法
公开(公告)号：US06833948B2
公开(公告)日：2004-12-21
申请号：US10250715
申请日：2003-07-08
申请人： Juan Chen , Changchun Li
发明人： Juan Chen , Changchun Li
IPC分类号： H01S300
CPC分类号： H04B10/2941 , H04B2210/256 , H04J14/0221
摘要： The invention discloses a method for implementing power equalization of a DWDM system, comprises: Measure and calculate, respectively, a gain spectrum characteristic curve of an optical power booster amplifier unit and a loss spectrum characteristic curve of a loss device with related wavelengths in the DWDM system; Subtracting the loss spectrum characteristic curve from the gain spectrum characteristic curve to obtain a difference curve, taking the complement curve of the difference curve as a loss characteristic target curve of a GFF; Setting in the optical power booster amplifier unit a GFF having loss characteristic curve coinciding with the loss characteristic target curve. The invention synthetically considers gain spectrum of an optical power booster amplifier unit and loss spectrum of a loss device with relating wavelengths to define a loss characteristic curve which a GFF should have. In this way, optical power flatness of every channel is effectively guaranteed. Therefore, transmission link flatness of whole system is guaranteed, and channel optical power equalization property of a system is further improved.
摘要翻译：本发明公开了一种实现DWDM系统功率均衡的方法，包括：分别测量和计算光功率放大器单元的增益谱特性曲线和DWDM中相关波长损耗器件的损耗谱特性曲线系统; 从增益谱特征曲线中减去损耗谱特征曲线，得到差分曲线，将差分曲线的补数曲线作为GFF的损耗特征曲线; 在光功率放大器单元中设置具有与损耗特性目标曲线一致的损耗特性曲线的GFF。本发明综合考虑光功率放大器单元的增益谱和具有相关波长的损耗器件的损耗谱，以定义GFF应具有的损耗特性曲线。这样就可以有效地保证每个通道的光功率平坦度。因此，保证整个系统的传输链路平坦度，进一步提高系统的信道光功率均衡性能。

7. 发明授权

US08133482B2 Activatable photodynamic therapy agents 有权
标题翻译：可活化的光动力治疗剂
公开(公告)号：US08133482B2
公开(公告)日：2012-03-13
申请号：US11383487
申请日：2006-05-15
申请人： Gang Zheng , Jerry P. Glickson , Britton Chance , Edward James Delikatny , Klara Stefflova , Juan Chen
发明人： Gang Zheng , Jerry P. Glickson , Britton Chance , Edward James Delikatny , Klara Stefflova , Juan Chen
IPC分类号： A61K38/43 , A61K38/46 , A61K38/47 , A61K38/48 , C12N9/00
CPC分类号： A61K41/0071 , A61K38/00 , A61K41/0057 , A61K41/0076 , A61K47/544 , A61K47/549 , A61K47/64 , A61K47/65 , C07K5/1008 , C07K5/101 , C07K5/1021 , C07K5/1024 , C07K7/06
摘要： The present invention relates to the field of conjugates comprising a substrate which is attached to at least one photoactivatable killing agent and at least one first quencher, and methods for their use. More particularly, the present invention relates to photodynamic therapy agents. The invention further relates to methods for decontaminating blood and methods for treating cancer or viral infection in a subject using the conjugates of the present invention.
摘要翻译：本发明涉及包含与至少一种可光活化杀伤剂和至少一种第一猝灭剂连接的底物的缀合物领域及其使用方法。更具体地说，本发明涉及光动力治疗剂。本发明还涉及使用本发明的缀合物来净化血液的方法和用于治疗受试者的癌症或病毒感染的方法。

8. 发明授权

US07975121B2 Simple stack types 有权
标题翻译：简单堆栈类型
公开(公告)号：US07975121B2
公开(公告)日：2011-07-05
申请号：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.
摘要翻译：公开了便于装配语言指令的类型检查的实施例。在一个实施例中，一种方法包括在存储器中接收低级语言指令。该指令包括具有第一类型的单词。内存包括堆栈或堆。堆叠或堆中的每一个包括多个位置。该方法还包括将堆叠或堆中的一个中的多个位置标记为一个或多个指定位置和一个或多个未指定位置。该方法还包括向存储器分配第二类型，第二类型包括该单词的第一类型。该词存储在指定的位置或未指定的位置。该方法还包括通过将一个或多个规则应用于指令和第二类型来确定该指令是否是良好类型的。

9. 发明授权

US06706974B2 Plane splits filled with lossy materials 失效
标题翻译：飞机分裂充满有损耗材料
公开(公告)号：US06706974B2
公开(公告)日：2004-03-16
申请号：US10053810
申请日：2002-01-18
申请人： Juan Chen , Adam J. Norman , Ponniah Ilavarasan
发明人： Juan Chen , Adam J. Norman , Ponniah Ilavarasan
IPC分类号： H05K111
CPC分类号： H05K1/0234 , H05K1/0227 , H05K1/095 , H05K1/167 , H05K2201/093 , H05K2201/09663 , H05K2201/0969
摘要： A method of reducing electromagnetic interference and improving signal quality in printed circuit boards with plane splits is described. The use of a lossy slot filling is described. The lossy filling is applied above plane splits and squeezed into the slots. The lossy material helps to damp antenna resonance.
摘要翻译：描述了一种降低电磁干扰并提高具有平面分割的印刷电路板中的信号质量的方法。描述了使用有损插槽填充。有损填充应用于平面分裂上方并挤压入槽中。有损耗的材料有助于减少天线谐振。

10. 外观设计

USD1016519S1 Towel rack 有权
公开(公告)号：USD1016519S1
公开(公告)日：2024-03-05
申请号：US35516423
申请日：2023-02-08
申请人： Juan Chen
设计人： Juan Chen
摘要： 1. Towel rack
1.1 : Perspective
1.2 : Perspective
1.3 : Front
1.4 : Back
1.5 : Left
1.6 : Right
1.7 : Top
1.8 : Bottom
The parts shown by means of broken lines in the reproductions are not part of the claimed design.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式