利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

193 条记录 (耗时 0.035 秒)

    Power rail system
    4.
    发明授权
    Power rail system 失效
    电力轨道系统

    公开(公告)号：US08347541B1

    公开(公告)日：2013-01-08

    申请号：US13417466

    申请日：2012-03-12

    申请人： John Thompson

    发明人： John Thompson

    IPC分类号： F41C27/00

    CPC分类号： F41G11/003 ,  F41C27/00

    摘要： A power supply system for a firearm including a plurality of leads disposed in a rail for providing power to an electric firearm accessory attached thereto and an electric firearm accessory including connectors for electrically connecting to leads disposed in a rail on which the accessory is mounted.

    摘要翻译： 一种用于枪支的电源系统，包括设置在轨道中的多个引线，用于向附接到其上的电动枪具附件提供电力;以及电动枪支附件，其包括用于电连接到设置在其上安装有附件的轨道中的导线的连接器。

    COMPUTER INTEGRATED EXERCISE MACHINE
    5.
    发明申请
    COMPUTER INTEGRATED EXERCISE MACHINE 审中-公开
    电脑综合练习机

    公开(公告)号：US20120264568A1

    公开(公告)日：2012-10-18

    申请号：US13085267

    申请日：2011-04-12

    申请人： Lisa Allowitz-Thompson ,  John Thompson

    发明人： Lisa Allowitz-Thompson ,  John Thompson

    IPC分类号： A63B24/00

    CPC分类号： G06F19/3481 ,  G16H40/63

    摘要： A method and a device are disclosed for an exercise machine having an integrated or removable computing device with a Graphical User Interface (GUI) to enable a user to control and interact with the computing device. In various embodiments, the computing device is configured to access other computers, run software applications related or unrelated to the exercise machine, communicate with other users via voice and/or visual data channels, and substantially perform all functions available using a personal computing device.

    摘要翻译： 公开了一种具有具有图形用户界面（GUI）的集成或可移动计算设备的锻炼机器的方法和设备，以使用户能够控制并与计算设备进行交互。 在各种实施例中，计算设备被配置为访问其他计算机，运行与锻炼机相关或不相关的软件应用，经由语音和/或视觉数据信道与其他用户通信，并且基本上执行使用个人计算设备可用的所有功能。

    SYSTEM AND METHOD OF SURFACING A LENS, SUCH AS A LENS FOR USE WITH EYEGLASSES
    7.
    发明申请
    SYSTEM AND METHOD OF SURFACING A LENS, SUCH AS A LENS FOR USE WITH EYEGLASSES 有权
    镜面的系统和方法，如用于眼镜的镜片

    公开(公告)号：US20110299031A1

    公开(公告)日：2011-12-08

    申请号：US13212048

    申请日：2011-08-17

    申请人： Gordon Keane ,  John Thompson

    发明人： Gordon Keane ,  John Thompson

    IPC分类号： G02C7/02 ,  B24B51/00 ,  G02C7/06

    CPC分类号： G02C7/022 ,  G02C7/02

    摘要： A system and method of forming surfaces on eyeglass lenses is described. In some examples, the surface is a spherical, cylindrical or spherocylindrical surface at a center of the lens and an aspherical surface at a periphery of the lens. In some examples, forming the surface on the lens reduces the thickness of the lens at the periphery of the lens.

    摘要翻译： 描述了在眼镜镜片上形成表面的系统和方法。 在一些示例中，表面是在透镜的中心处的球形，圆柱形或球面圆柱形表面以及在透镜周边处的非球面。 在一些示例中，在透镜上形成表面减小透镜周边处的透镜的厚度。

    SYSTEM AND METHOD FOR VERIFYING RACE-DRIVEN REGISTERS
    9.
    发明申请
    SYSTEM AND METHOD FOR VERIFYING RACE-DRIVEN REGISTERS 有权
    用于验证驾驶注册的系统和方法

    公开(公告)号：US20100095255A1

    公开(公告)日：2010-04-15

    申请号：US12248765

    申请日：2008-10-09

    申请人： John Thompson ,  Micael Bye

    发明人： John Thompson ,  Micael Bye

    IPC分类号： G06F17/50

    CPC分类号： G06F17/5022 ,  G06F17/504

    摘要： Embodiments include a system and method for generating RTL description of an electronic device provided for a design test and a test bench environment to drive stimulus into the electronic device, identifying at least one register to be verified during the design test, authoring a property list including a plurality of properties, wherein each property includes a cause and an effect, creating a new property instance upon receiving an enqueue cause, transitioning a property instance from a waiting state to a pending state based on a dequeue cause, advancing property instances from the pending state to an active state and then to an expired state based on a defined time window, creating a current solution space including a plurality of solutions, wherein each of the plurality of solutions includes a list of unused active effects, inserting property instances into each of the plurality of solutions when the property instance enters to active state, pruning solutions from the current solutions space which have not used a property instance entering the expired state, and computing a new solution space based on the current solution space and target transition.

    摘要翻译： 实施例包括用于生成为设计测试提供的电子设备的RTL描述的系统和方法，以及测试台环境以驱动对电子设备的刺激，识别在设计测试期间要验证的至少一个寄存器，创建属性列表，包括 多个属性，其中每个属性包括原因和效果，在接收到排队原因时创建新的属性实例，基于出队原因将属性实例从等待状态转换到挂起状态，从挂起状态推进属性实例 状态到活动状态，然后基于定义的时间窗口到达期满状态，创建包括多个解的当前解决方案空间，其中多个解决方案中的每个解决方案包括未使用的活动效果的列表，将属性实例插入到 当属性实例进入活动状态时的多个解决方案，从当前解决方案中修剪解决方案 没有使用属性实例进入过期状态的离子空间，以及基于当前解决方案空间和目标转换来计算新的解决方案空间。