-
公开(公告)号:US20070234288A1
公开(公告)日:2007-10-04
申请号:US11655729
申请日:2007-01-19
申请人: Kevin Lindsey , Paul Colton , Robin Debreuil , Donald Washburn
发明人: Kevin Lindsey , Paul Colton , Robin Debreuil , Donald Washburn
IPC分类号: G06F9/44
摘要: Systems and methods of representing and extracting type information from typeless and dynamically-typed programming languages are provided. These systems and methods can be immune to source file edits and the order in which those edits are executed. Deriving type information from these languages allows tools to perform operations, for example, refactoring, intellisense, recognition of semantic errors, etc. These systems and methods can be implemented using processes that, implicitly or explicitly, gather type information for the program, and can also accept user input as well.
摘要翻译: 提供了从无类型和动态类型编程语言表示和提取类型信息的系统和方法。 这些系统和方法可以免受源文件编辑和执行这些编辑的顺序。 从这些语言派生类型信息允许工具执行操作,例如重构,智能感知,语义错误识别等。这些系统和方法可以使用隐式或明确地收集程序的类型信息的过程来实现,并且可以 也接受用户输入。
-
公开(公告)号:US20060253508A1
公开(公告)日:2006-11-09
申请号:US11372685
申请日:2006-03-10
申请人: Paul Colton , Kevin Lindsey , Roland Muschenetz , Robin Debreuil
发明人: Paul Colton , Kevin Lindsey , Roland Muschenetz , Robin Debreuil
CPC分类号: G06F8/52
摘要: A system and method for converting byte code of a first type into byte code of a second type. Byte code of a first type and markup language code are received as inputs. The first byte code is converted into constituent byte code data elements that can comprise any logical unit or grouping of at least a portion of a software application. The markup language code is converted into constituent markup language data elements that can comprise individual markup language tags and references to data or functionality in the first byte code. The first byte code data elements and markup language data elements are mapped to data elements of a second byte code type. The second byte code data elements are assembled into a resulting second byte code.
-
公开(公告)号:US20070006788A1
公开(公告)日:2007-01-11
申请号:US10557291
申请日:2004-05-19
申请人: Kevin Lindsey
发明人: Kevin Lindsey
IPC分类号: B63B1/32
CPC分类号: B60F3/0038
摘要: The planing surface of amphibious vehicle hull (2), with reference to (FIG. 2), comprises at least one discontinuity, e.g. wheel arch recesses (12) to (15). The wheels may be retractable. Access is required to the full arch aperture during vehicle manufacture, but not in use. To maximize the planing area, planing plates (9, 11) are provided. These are fixed in position in both land and marine modes; but may be removable for maintenance. At least one plate may comprise at least part of a strake (22, 25) attached to, or incorporated in, its underside. Such strake section(s) may be sacrificial, and may be made from rubber. A trim tab (30, FIG. 9), may be provided aft of a rear planing plate, and may be hinged thereto. The plates may include water drains and jacking apertures. A ride plate (38, FIG. 1) may be provided between two planing plates, and may be integral therewith.
摘要翻译: 参考(图2)的水陆两用车身(2)的刨面包括至少一个不连续部分,例如, 轮拱凹槽(12)至(15)。 车轮可以伸缩。 在车辆制造过程中,需要进入全拱门孔,但不使用。 为了最大化刨削面积,提供刨平板(9,11)。 这些在陆地和海洋两种模式下都是固定的; 但可以进行维护。 至少一个板可以包括连接到其下侧或并入其下侧的板条(22,25)的至少一部分。 这种片状部分可以是牺牲的,并且可以由橡胶制成。 修剪片(图9中的30)可以设置在后平面板的后面,并且可以铰接到其上。 板可以包括排水和顶起孔。 可以在两个刨花板之间设置一个骑板(38,图1),并且可以与其一体。
-
公开(公告)号:US20060060575A1
公开(公告)日:2006-03-23
申请号:US10943726
申请日:2004-09-17
申请人: Kevin Lindsey , Steven Pope
发明人: Kevin Lindsey , Steven Pope
IPC分类号: F23Q7/00
CPC分类号: F23Q1/06
摘要: A fireworks safety lighter includes a housing, an energy source such as a battery to selectively power an ignition source in communication with an ignition area. The ignition source may include a motor which turns a spark wheel in contact with a flint or a filament heater. A fuse guide directs an inserted fuse of a firework into the ignition area. Sparks from the flint or heat from the filament heater ignite the fuse in the ignition area.
摘要翻译: 烟火安全打火机包括壳体,诸如电池的能量源,以选择性地对与点火区域连通的点火源供电。 点火源可以包括使火花轮与火石或灯丝加热器接触的马达。 保险丝引导件将插入的烟火的保险丝引导到点火区域。 来自火石的火花或来自灯丝加热器的热量点燃点火区域中的保险丝。
-
公开(公告)号:US4872291A
公开(公告)日:1989-10-10
申请号:US289433
申请日:1988-12-22
申请人: Kevin Lindsey
发明人: Kevin Lindsey
CPC分类号: B23Q1/015 , Y10T408/91 , Y10T409/309576
摘要: A very stiff mounting device, particularly for a machine tool or measuring instrument, is constructed from six rod-like members the ends of which are rigidly coupled together to form a tetrahedral structure and mounting means comprising a rigid member fixedly coupled to three of said rod-like members, said three rod-like members not being co-planar.
摘要翻译: 特别是用于机床或测量仪器的非常硬的安装装置由六个杆状构件构成,六个杆状构件的端部刚性地联接在一起以形成四面体结构,并且安装装置包括固定地连接到所述杆 所述三个杆状构件不是共面的。
-
公开(公告)号:US20060230070A1
公开(公告)日:2006-10-12
申请号:US11373014
申请日:2006-03-10
申请人: Paul Colton , Kevin Lindsey , Roland Muschenetz , Robin Debreuil
发明人: Paul Colton , Kevin Lindsey , Roland Muschenetz , Robin Debreuil
IPC分类号: G06F17/00
CPC分类号: G06F8/52
摘要: A system and method for converting byte code of a first type into byte code of a second type. Byte code of a first type is received as input. The first byte code is converted into constituent byte code data elements that can comprise any logical unit or grouping of at least a portion of a software application. The first byte code data elements are mapped to data elements of a second byte code type. The second byte code data elements are assembled into a resulting second byte code.
摘要翻译: 一种用于将第一类型的字节码转换为第二类型的字节码的系统和方法。 作为输入接收第一类型的字节码。 第一字节代码被转换成可以包括软件应用的至少一部分的任何逻辑单元或分组的组成字节码数据元素。 第一字节代码数据元素被映射到第二字节代码类型的数据元素。 第二字节代码数据元素被组合成所得到的第二字节代码。
-
公开(公告)号:US5473852A
公开(公告)日:1995-12-12
申请号:US118256
申请日:1993-09-09
申请人: Kevin Lindsey
发明人: Kevin Lindsey
摘要: A very stiff mounting structure comprises at least three pyramidally disposed rod-like members rigidly coupled together at one end and with their other ends rigidly coupled to a base either to stiffen the base and/or to mount a device such as a tool or instrument with respect to it. Three pyramidally disposed members (1a, 1b, 1c, FIG. 10) may be mounted on a tetrahedral base 22 or another three-dimensional base 22' (FIG. 11), or four such members on respective corners of a square pyramid, to form therewith a framework in which to mount, for example, a machine tool or measuring instrument, the base preferably being formed of similar rod-like members; or the base may be a plate or other structure of a separately existing machine or other entity.
摘要翻译: 非常坚固的安装结构包括至少三个金字塔状设置的棒状构件,其一端刚性地联接在一起,并且其另一端刚性地联接到基座,以加固基座和/或安装诸如工具或仪器的装置, 尊重它 三个棱锥形配置的构件(1a,1b,1c,图10)可以安装在四面体底座22或另一个三维底座22'(图11)上,或四个这样的构件在方形金字塔的各个角上, 由此形成其中安装例如机床或测量仪器的框架,该基座优选地由类似的杆状构件形成; 或者基座可以是单独存在的机器或其他实体的板或其他结构。
-
公开(公告)号:US4944606A
公开(公告)日:1990-07-31
申请号:US405938
申请日:1989-08-07
申请人: Kevin Lindsey , Stuart T. Smith
发明人: Kevin Lindsey , Stuart T. Smith
CPC分类号: F16C33/20 , F16C29/02 , Y10T29/49655
摘要: A plain bearing slide system has a carriage mounted on a slide by use of bearing pads. Each bearing pad is coated with a layer of polymeric material having a convex surface, and is arranged to ride on a counterface. The combined thickness of the layer and a layer providing the counterface is such that the difference between the static and dynamic coefficients of friction is substantially less than the difference associated with the material when used in bulk bearings. A slide system using PTFE, and with a combined thickness of the layers of 2 to 3 micrometers, operated as a measuring instrument under ambient conditions such that the PTFE is substantially non-eroding, has proved capable of providing measurements to an accuracy of 0.05 nanometers.
摘要翻译: 滑动轴承滑动系统具有通过使用轴瓦来安装在滑块上的滑架。 每个轴承瓦片都涂覆有一层具有凸面的聚合物材料,并被布置成骑在对面上。 提供相对面的层和层的组合厚度使得静摩擦系数和动态摩擦系数之间的差异明显小于当用于散装轴承时与材料相关的差异。 使用PTFE,并且具有2至3微米的层的组合厚度的滑动系统在环境条件下用作测量仪器,使得PTFE基本上不侵蚀,已经证明能够提供测量到0.05纳米的精度 。
-
-
-
-
-
-
-