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

51. 发明授权

US06553362B2 Case-reduced verification condition generation system and method using weakest precondition operator expressed using strongest postcondition operators 失效
公开(公告)号：US06553362B2
公开(公告)日：2003-04-22
申请号：US09907327
申请日：2001-07-16
申请人： James Benjamin Saxe , Charles Gregory Nelson , David Luke Detlefs
发明人： James Benjamin Saxe , Charles Gregory Nelson , David Luke Detlefs
IPC分类号： G06N500
CPC分类号： G06F8/433 , G06F9/44589
摘要： The instructions in a computer program are converted into a form of weakest precondition so as to produce a verification condition that is to be evaluated by a theorem prover. In generating the weakest precondition, labels are introduced for values of variables at control join points. In two preferred embodiments, the computer program is converted into a set of guarded commands prior to the application of weakest precondition operators. In one embodiment, as part of the process of generating the verification condition, assignment commands that assign values to variables are removed from the program through use of a “dynamic single assumption” technique. In another embodiment, the weakest precondition is expressed in terms of strongest postconditions. In both embodiments, a simplified verification condition is produced in which duplications of sets of instructions following a choice operator is avoided.

52. 发明授权

US5828185A High frequency HID lamp system with lamp driven at a frequency above the audible and below the lowest lamp resonant frequency 失效
标题翻译：高频HID灯系统，灯具频率高于听觉低于最低灯谐振频率
公开(公告)号：US5828185A
公开(公告)日：1998-10-27
申请号：US647384
申请日：1996-05-09
申请人： Mark Fellows , Gregory Nelson , Robertus A. J. Keyser , Dale E. Work , Josephus C. M. Hendricx , Oscar J. Deurloo , Aswin J. G. Linden , Peter A. Seinen , Andrew Jackson
发明人： Mark Fellows , Gregory Nelson , Robertus A. J. Keyser , Dale E. Work , Josephus C. M. Hendricx , Oscar J. Deurloo , Aswin J. G. Linden , Peter A. Seinen , Andrew Jackson
IPC分类号： H01J61/02 , H01J61/12 , H01J61/30 , H01J61/34 , H01J61/56 , H01J61/82 , H05B41/00 , H05B41/298 , H05B37/02
CPC分类号： H01J61/125 , H01J61/025 , H01J61/30 , H01J61/34 , H01J61/56 , H01J61/827 , H05B41/00 , H05B41/2988
摘要： A high pressure gas discharge lamp system includes a high pressure discharge lamp selected to have a lowest lamp resonant frequency above the audible, on a current basis above about 19 kHz and on a power basis of above about 38 kHz. The ballast circuit energizes the discharge device so as to have a fundamental frequency below the lowest lamp resonant frequency and above the audible, while keeping the magnitude of any harmonics above the lowest lamp resonant frequency sufficiently small so as to avoid acoustic resonance. By operating below the lowest lamp resonant frequency, greatly simplifying ballast construction and cost. According to one embodiment, the discharge vessel encloses a discharge space which is circular cylindrical and having a L:ID ratio of about 1:1 to maximize the lowest lamp resonant frequency. According to another embodiment, two or more discharge devices are operated concurrently by the ballast, each having a lowest lamp resonant frequency of above the audible, and the ballast operating frequency so as to increase light output while still avoiding acoustic resonance.
摘要翻译：高压气体放电灯系统包括高压放电灯，其被选择为在高于约19kHz的电流基础上以及高于约38kHz的功率基础上具有低于可听见的最低灯谐振频率。镇流器电路使放电装置通电，使基频低于最低灯谐振频率和声音之上，同时保持高于最低灯谐振频率的任何谐波的幅度足够小，以避免声共振。通过低于最低灯谐振频率的操作，极大地简化了镇流器的构造和成本。根据一个实施例，放电容器包围圆柱形并具有大约1:1的L：ID比的放电空间，以最大化最低的灯谐振频率。根据另一实施例，通过镇流器同时操作两个或更多个放电装置，每个镇流器具有低于可听见的最低灯谐振频率和镇流器工作频率，以便在仍然避免声共振的同时增加光输出。

53. 发明申请

US20230111093A1 NICOTINE POD ASSEMBLIES AND NICOTINE E-VAPING DEVICES 有权
公开(公告)号：US20230111093A1
公开(公告)日：2023-04-13
申请号：US18053074
申请日：2022-11-07
申请人： Dean TWITE , Yannick HOURMAND , Bipin PATIL , Rangaraj S. SUNDAR , Gregory NELSON , Niall GALLAGHER , Jarrett KEEN , Phillip DIANA , James YORKSHADES
发明人： Dean TWITE , Yannick HOURMAND , Bipin PATIL , Rangaraj S. SUNDAR , Gregory NELSON , Niall GALLAGHER , Jarrett KEEN , Phillip DIANA , James YORKSHADES
IPC分类号： A24F40/42 , A24F40/44
摘要： A nicotine pod assembly for a nicotine e-vaping device may include a first section and a second section connected to the first section. The first section may define a pod outlet and be configured to hold a nicotine pre-vapor formulation. The second section may define a pod inlet and be configured to heat the nicotine pre-vapor formulation. The pod inlet is in fluidic communication with the pod outlet via a flow path. The flow path may include a first diverged portion, a second diverged portion, and a converged portion. A nicotine e-vaping device may include a device body defining a through hole configured to receive the nicotine pod assembly such that a pod inlet for the air flow is exposed when the nicotine pod assembly is seated within the through hole.

54. 发明授权

US10113396B2 Fracturing fluids and methods of treating hydrocarbon formations 有权
公开(公告)号：US10113396B2
公开(公告)日：2018-10-30
申请号：US15084833
申请日：2016-03-30
申请人： Scott Gregory Nelson , Hong Sun , Jia Zhou , Leiming Li , Xiaolan Wang , Qi Qu
发明人： Scott Gregory Nelson , Hong Sun , Jia Zhou , Leiming Li , Xiaolan Wang , Qi Qu
IPC分类号： E21B43/267 , E21B37/06 , C09K8/52 , E21B33/134 , C09K8/62 , C09K8/70 , C09K8/80 , E21B43/26 , C09K8/76 , E21B33/138 , C09K8/575 , C09K8/68 , E21B43/04 , C09K8/035 , C09K8/12 , C09K8/34 , E21B21/00
摘要： A method of fracturing a subterranean formation penetrated by a well comprises: forming a fracturing composition comprising a carrier fluid; and a superabsorbent polymer component comprising one or more of the following: a first composite of a proppant and a first superabsorbent polymer in an unhydrated form, the first superabsorbent polymer being at least partially embedded in a void area of the proppant; a coated superabsorbent polymer; a superabsorbent material having a three-dimensional network; or a second composite of a second superabsorbent polymer and a slow-release breaker; and pumping the hydraulic fracturing composition into the subterranean formation to create or enlarge a fracture.

55. 发明申请

US20160264840A1 CEMENT SLURRY COMPOSITIONS, METHODS OF MAKING AND METHODS OF USE 审中-公开
标题翻译：水泥浆组合物，制备方法和使用方法
公开(公告)号：US20160264840A1
公开(公告)日：2016-09-15
申请号：US14643167
申请日：2015-03-10
申请人： Scott Gregory Nelson
发明人： Scott Gregory Nelson
IPC分类号： C09K8/487 , C09K8/42 , E21B33/138
CPC分类号： C09K8/426 , C04B28/02 , C04B2103/0062 , C09K8/467 , C04B20/0076 , C04B2103/0049 , C04B24/2623 , C04B24/2641 , C04B24/2652
摘要： A cement slurry for use in a wellbore during wellbore cementing includes an aqueous cement slurry and a preformed synthetic polymer swellable in the aqueous cement slurry.
摘要翻译：在井眼胶结期间用于井眼的水泥浆包括水性水泥浆和在水泥浆中可膨胀的预制合成聚合物。

56. 发明申请

US20160264838A1 CEMENT SPACER SYSTEM FOR WELLBORES, METHODS OF MAKING, AND METHODS OF USE 有权
标题翻译：用于井筒的水泥分离器系统，制造方法和使用方法
公开(公告)号：US20160264838A1
公开(公告)日：2016-09-15
申请号：US14643117
申请日：2015-03-10
申请人： Scott Gregory Nelson
发明人： Scott Gregory Nelson
IPC分类号： C09K8/42 , E21B33/13
CPC分类号： C09K8/424 , C04B28/02 , C04B2103/0043 , C09K8/40 , C09K8/467 , C04B24/2623 , C04B24/2641 , C04B24/2652 , C04B24/2664 , C04B24/38 , C04B24/383 , C04B2103/40 , C04B40/0028 , C04B40/0035
摘要： A cement spacer fluid for use in a wellbore includes an aqueous cement spacer carrier fluid and a preformed synthetic polymer swellable in the aqueous cement spacer carrier fluid in an amount effective to displace a drilling fluid during a cementing operation. Preferably, the polymer is particulate, and forms a hydrated pack of particles. A method of cementing a wellbore comprising a drilling fluid includes injecting the cement spacer fluid into the wellbore to displace the drilling fluid; injecting a cement slurry into the wellbore subsequent to injecting the cement spacer fluid; and hardening the cement in the slurry to cement the wellbore.
摘要翻译：用于井眼的水泥间隔液包括含水水泥间隔物载体流体和预先形成的合成聚合物，其在水泥水泥隔离物载体流体中可膨胀，其量可有效地在固井操作期间移动钻井液。优选地，聚合物是颗粒，并形成水合的颗粒包装。固定包括钻井流体的井眼的方法包括将水泥间隔物流体注入到井眼中以置换钻井液; 在注入水泥间隔液之后，将水泥浆注入井眼; 并使浆料中的水泥硬化以使井筒水泥化。

57. 发明申请

US20100277489A1 DETERMINE INTENDED MOTIONS 有权
标题翻译：确定预期的动作
公开(公告)号：US20100277489A1
公开(公告)日：2010-11-04
申请号：US12434532
申请日：2009-05-01
申请人： Kevin Geisner , Relja Markovic , Stephen Gilchrist Latta , Gregory Nelson Snook , Kudo Tsunoda , Darren Alexander Bennett
发明人： Kevin Geisner , Relja Markovic , Stephen Gilchrist Latta , Gregory Nelson Snook , Kudo Tsunoda , Darren Alexander Bennett
IPC分类号： G09G5/00
CPC分类号： A63F13/213 , A63F13/42 , A63F2300/1093 , A63F2300/6045 , A63F2300/64 , A63F2300/69 , G06F3/011 , G06F3/017 , G06T13/40
摘要： It may be desirable to apply corrective data to aspects of captured image or the user-performed gesture for display of a visual representation that corresponds to the corrective data. The captured motion may be any motion in the physical space that is captured by the capture device, such as a camera. Aspects of a skeletal or mesh model of a person, that is generated based on the image data captured by the capture device, may be modified prior to animation. The modification may be made to the model generated from image data that represents a target or a target's motion, including user gestures, in the physical space. For example, certain joints of a skeletal model may be readjusted or realigned. A model of a target may be modified by applying differential correction, magnetism principles, binary snapping, confining virtual movement to defined spaces, or the like.
摘要翻译：可能期望将校正数据应用于捕获图像的方面或用户执行的手势以显示对应于校正数据的视觉表示。捕获的运动可以是由捕获装置捕获的物理空间中的任何运动，例如相机。可以在动画之前修改基于捕获设备捕获的图像数据生成的人的骨骼或网格模型的方面。可以对在物理空间中表示目标或目标的运动（包括用户手势）的图像数据生成的模型进行修改。例如，可以重新调整或重新对准骨骼模型的某些关节。可以通过应用差分校正，磁性原理，二进制捕捉，将虚拟运动限定到定义的空间等来修改目标的模型。

58. 发明申请

US20070090387A1 Solid state light sheet and encapsulated bare die semiconductor circuits 审中-公开
标题翻译：固态光片和封装的裸片半导体电路
公开(公告)号：US20070090387A1
公开(公告)日：2007-04-26
申请号：US11585724
申请日：2006-10-24
申请人： John Daniels , Gregory Nelson
发明人： John Daniels , Gregory Nelson
IPC分类号： H01L33/00
CPC分类号： G02F1/133603 , H01L24/75 , H01L33/52 , H01L33/56 , H01L2924/07802 , H01L2924/12041 , H01L2924/12044 , H01L2924/00
摘要： An electronically active sheet includes a bottom substrate having a bottom electrically conductive surface. A top substrate having a top electrically conductive surface is disposed facing the bottom electrically conductive surface. An electrical insulator separates the bottom electrically conductive surface from the top electrically conductive surface. At least one bare die electronic element is provided having a top conductive side and a bottom conductive side. Each bare die electronic element is disposed so that the top conductive side is in electrical communication with the top electrically conductive surface and so that the bottom conductive side is in electrical communication with the bottom electrically conductive surface.
摘要翻译：电子活性片材包括具有底部导电表面的底部基底。具有顶部导电表面的顶部衬底面向底部导电表面设置。电绝缘体将底部导电表面与顶部导电表面分开。提供至少一个裸电子元件，其具有顶部导电侧和底部导电侧。每个裸模电子元件被设置为使得顶部导电侧与顶部导电表面电连通，并且使得底部导电侧与底部导电表面电连通。

59. 发明申请

US20060260569A1 V-QUAD ENGINE AND METHOD OF CONSTRUCTING SAME 有权
标题翻译： V型发动机及其构造方法
公开(公告)号：US20060260569A1
公开(公告)日：2006-11-23
申请号：US11136081
申请日：2005-05-23
申请人： Gregory Nelson
发明人： Gregory Nelson
IPC分类号： F02B75/22 , G01L23/22
CPC分类号： F02B75/22 , F02B73/00 , F02P15/08
摘要： A V-quad engine has two juxtaposed V-twin cylinder banks connected to a common crankshaft and fuel and ignition systems that cause the front cylinders in the two banks to fire simultaneously and the rear cylinders in the two banks to fire simultaneously. Conventional V-twin components are used for many components of the V-quad engine. Master-slave rocker shaft assemblies are provided with angularly adjustable links to drive the left bank rocker shafts in unison with the right bank rocker shafts.
摘要翻译： V型发动机具有两个并置的V型双气缸组，其连接到公共曲轴，燃料和点火系统，使两个组中的前气缸同时起动，两个气缸中的后气缸同时起动。传统的V型双组件用于V型发动机的许多部件。主从摇臂轴组件设有角度可调节的连杆，以使右侧摇臂轴与右侧摇臂轴一致地驱动左岸摇臂。

60. 发明申请

US20060252336A1 Photo-radiation source 失效
标题翻译：光辐射源
公开(公告)号：US20060252336A1
公开(公告)日：2006-11-09
申请号：US11409410
申请日：2006-04-20
申请人： John Daniels , Gregory Nelson
发明人： John Daniels , Gregory Nelson
IPC分类号： H01J9/00 , H01J9/24
CPC分类号： F21K9/90 , F21Y2105/10 , F21Y2115/10 , G03G15/6582 , H01L25/0753 , H01L2924/0002 , Y10S428/917 , H01L2924/00
摘要： A method of manufacturing a photo-radiation source comprising the steps of providing a first planar conductor; disposing a formation of light emitting chips on the first planar conductor, each chip having a cathode and an anode, one of the cathode and anode of each chip being in contact with the first planar conductor. The method of manufacturing a photo-radiation source also includes the steps of disposing a second planar conductor on top of a formation of light emitting chips so that the second planar conductor is in contact with the other of the cathode and anode of each chip; and binding the first planar conductor to the second planar conductor to permanently maintain the formation of light emitting chips without the use of solder or wiring bonding for making an electrical and mechanical contact between the chips and either of the first planar conductor and the second planar conductor.
摘要翻译：一种制造光辐射源的方法，包括以下步骤：提供第一平面导体; 在第一平面导体上设置发光芯片的形式，每个芯片具有阴极和阳极，每个芯片的阴极和阳极中的一个与第一平面导体接触。制造光辐射源的方法还包括以下步骤：将第二平面导体设置在发光芯片形成的顶部，使得第二平面导体与每个芯片的阴极和阳极中的另一个接触; 并且将所述第一平面导体绑定到所述第二平面导体以永久地保持所述发光芯片的形成，而不使用焊料或布线接合，以在所述芯片与所述第一平面导体和所述第二平面导体中的任一个之间进行电和机械接触。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式