Core object-oriented type system for semi-structured data
    11.
    发明授权
    Core object-oriented type system for semi-structured data 有权
    用于半结构化数据的核心面向对象类型系统

    公开(公告)号:US08112740B2

    公开(公告)日:2012-02-07

    申请号:US12139693

    申请日:2008-06-16

    IPC分类号: G06F9/44

    CPC分类号: G06F8/437

    摘要: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

    摘要翻译: 本文公开了采用结构子类型的类型系统。 核心类型系统支持多种结构类型,如流,选择,交集和序列。 核心类型系统的一部分是新的不变类型,它表示动态类型与其静态类型相同的值,以及限制基本类型范围的类型限制。 此外,向类型系统介绍了一种简化的代表结构版本,称为结构代理及其验证方法。 为了进一步促进类型安全,引入了严格的静态检查界面。

    Core object-oriented type system for semi-structured data
    12.
    发明授权
    Core object-oriented type system for semi-structured data 有权
    用于半结构化数据的核心面向对象类型系统

    公开(公告)号:US08060859B2

    公开(公告)日:2011-11-15

    申请号:US12139712

    申请日:2008-06-16

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/437

    摘要: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

    摘要翻译: 本文公开了采用结构子类型的类型系统。 核心类型系统支持多种结构类型,如流,选择,交集和序列。 核心类型系统的一部分是新的不变类型,它表示动态类型与其静态类型相同的值,以及限制基本类型范围的类型限制。 此外,向类型系统介绍了一种简化的代表结构版本,称为结构代理及其验证方法。 为了进一步促进类型安全,引入了严格的静态检查界面。

    Golf putter assembly
    13.
    发明申请
    Golf putter assembly 审中-公开
    高尔夫推杆组合

    公开(公告)号:US20090137333A1

    公开(公告)日:2009-05-28

    申请号:US11998209

    申请日:2007-11-28

    IPC分类号: A63B69/36 A63B53/04

    摘要: A golf putter assembly includes a putter including a head, a display unit disposed in the putter, and a detecting unit disposed in the putter and electrically coupled to the display unit. The detecting unit is operable to detect and record a stationary starting position of a golf ball. The detecting unit is further operable to detect, during a practice swing, an instantaneous speed of the head as the head moves past the starting position, and to calculate what would be an initial speed of the golf ball if the golf ball was actually hit by the head with reference to the instantaneous speed of the head detected thereby. The detecting unit further performs control such that the initial speed of the golf ball as calculated is displayed on the display unit.

    摘要翻译: 一种高尔夫球棒组合体包括一个推杆,包括头部,设置在推杆内的显示单元,以及设置在推杆内并电耦合到显示单元的检测单元。 检测单元可操作以检测和记录高尔夫球的固定起始位置。 检测单元还可操作以在练习摆动期间当头部移动经过起始位置时检测头部的瞬时速度,并且如果高尔夫球实际上被高尔夫球击中,则计算出高尔夫球的初始速度是多少 头部参考由此检测到的头部的瞬时速度。 检测单元进一步执行控制,使得所计算的高尔夫球的初始速度显示在显示单元上。

    System and method for extending a compiler through a composer
    19.
    发明授权
    System and method for extending a compiler through a composer 有权
    通过作曲家扩展编译器的系统和方法

    公开(公告)号:US07441237B2

    公开(公告)日:2008-10-21

    申请号:US10396654

    申请日:2003-03-25

    IPC分类号: G06F9/44

    CPC分类号: G06F8/41

    摘要: A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e.g., markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.

    摘要翻译: 提供了一种用于通过编辑器将附加翻译逻辑连接到编译器以扩展编译器的能力的系统和方法。 通常,作曲家可以是为编译器附加组件提供组件化和多态性的使用,以扩展编译器功能的软件库。 一个或多个作曲家可以通过源代码文件中的引用来访问编译过程。 例如,编译器设计后创建的数据类型和/或表达式(例如,标记语言)的附加翻译逻辑可以通过编辑器使编译器可访问,从而扩展现有的编译器。 本发明减轻了与常规编译器扩展方案相关的问题,并提供了编译代码优化,而不必基本上考虑单个查询的所有操作。

    Organic polymer light emitting diode device and applied display
    20.
    发明申请
    Organic polymer light emitting diode device and applied display 审中-公开
    有机高分子发光二极管装置及应用显示

    公开(公告)号:US20060147749A1

    公开(公告)日:2006-07-06

    申请号:US11220668

    申请日:2005-09-08

    IPC分类号: H01L51/50 H05B33/12

    摘要: A polymeric light emitting diode (PLED) device comprises: a substrate; a positive electrode formed above the substrate; a hole transportation layer formed above the positive electrode; an organic light emitting composite layer formed above the hole transportation layer, comprising a plurality of organic light emitting layers, wherein every organic light emitting layer has an polymeric host material with a higher energy gap, and at least one of the organic light emitting layers is doped with an polymeric material with a lower energy gap; and a negative electrode formed above the organic light emitting composite layer.

    摘要翻译: 聚合物发光二极管(PLED)装置包括:基板; 形成在基板上方的正电极; 形成在正极上方的空穴输送层; 在空穴传输层上形成的有机发光复合层,包括多个有机发光层,其中每个有机发光层具有具有较高能隙的聚合物主体材料,并且至少一个有机发光层为 掺杂有较低能隙的聚合材料; 以及形成在有机发光复合层上方的负极。