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

81. 发明申请

US20100057647A1 ACCOMMODATING LEARNED CLAUSES IN RECONFIGURABLE HARDWARE ACCELERATOR FOR BOOLEAN SATISFIABILITY SOLVER 审中-公开
标题翻译：适用于可重构硬件加速器中的有针对性的条款，适用于布鲁塞尔满意度解决方案
公开(公告)号：US20100057647A1
公开(公告)日：2010-03-04
申请号：US12203948
申请日：2008-09-04
申请人： John Davis , Zhangxi Tan , Fang Yu , Lintao Zhang
发明人： John Davis , Zhangxi Tan , Fang Yu , Lintao Zhang
IPC分类号： G06F15/18 , G06N5/04
CPC分类号： G06N20/00
摘要： A hardware accelerator is provided for Boolean constraint propagation (BCP) using field-programmable gate arrays (FPGAs) for use in solving the Boolean satisfiability problem (SAT). An inference engine may perform implications. Learned clauses may be generated during conflict analysis. Operations pertaining to learned clauses may include clause insertion and clause deletion (e.g., by invalidation) from a learned clause inference engine, and “garbage collection” in which unused or invalidated clauses may be removed from an inference engine.
摘要翻译：提供了用于布尔约束传播（BCP）的硬件加速器，使用现场可编程门阵列（FPGA）来解决布尔可满足性问题（SAT）。推理引擎可能会产生影响。在冲突分析期间可能会生成学习的子句。关于学习条款的操作可以包括来自学习子句推理引擎的子句插入和子句删除（例如，通过无效），以及可以从推论引擎中去除未使用或无效的子句的“垃圾回收”。

82. 发明申请

US20090254505A1 RECONFIGURABLE HARDWARE ACCELERATOR FOR BOOLEAN SATISFIABILITY SOLVER 有权
标题翻译：可重构硬件加速器，适用于布鲁塞尔满意度解决方案
公开(公告)号：US20090254505A1
公开(公告)日：2009-10-08
申请号：US12099160
申请日：2008-04-08
申请人： John Davis , Zhangxi Tan , Fang Yu , Lintao Zhang
发明人： John Davis , Zhangxi Tan , Fang Yu , Lintao Zhang
IPC分类号： G06N5/04
CPC分类号： G06N5/04
摘要： A hardware accelerator is provided for Boolean constraint propagation (BCP) using field-programmable gate arrays (FPGAs) for use in solving the Boolean satisfiability problem (SAT). An inference engine may perform implications. Block RAM (BRAM) may be used to store SAT instance information. Computation may be co-located with the BRAM memory, taking advantage of the high on-chip bandwidth and low latency of an FPGA. SAT instances may be partitioned into multiple groups that can be processed by multiple inference engines in parallel. New SAT instances can be inserted into FPGA without invoking the time-consuming FPGA re-synthesizing process.
摘要翻译：提供了用于布尔约束传播（BCP）的硬件加速器，使用现场可编程门阵列（FPGA）来解决布尔可满足性问题（SAT）。推理引擎可能会产生影响。块RAM（BRAM）可用于存储SAT实例信息。计算可能与BRAM存储器共存，利用FPGA的高片上带宽和低延迟。 SAT实例可以被划分成多个可由多个推理引擎并行处理的组。新的SAT实例可以插入到FPGA中，而无需调用耗时的FPGA重新合成过程。

83. 发明授权

US07580148B2 Systems and methods for producing portraits 有权
标题翻译：用于制作肖像的系统和方法
公开(公告)号：US07580148B2
公开(公告)日：2009-08-25
申请号：US11681327
申请日：2007-03-02
申请人： John Grosso , Johnny Grosso , Garrett Alroy , John Davis
发明人： John Grosso , Johnny Grosso , Garrett Alroy , John Davis
IPC分类号： G06F15/00 , G03G15/16
CPC分类号： H04N1/00442 , H04N1/00132 , H04N1/00137 , H04N1/00143 , H04N1/00145 , H04N1/00148 , H04N1/00161 , H04N1/00167 , H04N1/00172 , H04N1/00188 , H04N1/00448 , H04N1/00453 , H04N1/00461 , H04N1/34 , H04N1/41
摘要： A system of producing digital portraits and associated methods are provided. One method includes capturing a plurality of images with a digital recording device and displaying the images in the predetermined groups, such as in groups of two or three images. The customer selects desired images, which can be digitally modified in a variety of ways, and the selected images are electronically transmitted to a digital printer. The digital printer is maintained by an unrelated and distinct third-party host.
摘要翻译：提供了一种生产数字肖像和相关方法的系统。一种方法包括用数字记录装置拍摄多个图像，并以预定的组显示图像，例如以两个或三个图像的组。客户选择所需的图像，其可以以各种方式进行数字修改，并且所选择的图像被电子地传送到数字打印机。数字打印机由不相关且不同的第三方主机维护。

84. 发明申请

US20080308498A1 CHROMATOGRAPHY COLUMN AND METHOD OF MAINTENANCE 有权
标题翻译：色谱柱和维护方法
公开(公告)号：US20080308498A1
公开(公告)日：2008-12-18
申请号：US11763477
申请日：2007-06-15
申请人： John Davis , Stefan K. Eriksson
发明人： John Davis , Stefan K. Eriksson
IPC分类号： B01D15/16 , B01D15/10
CPC分类号： B01D15/10 , B01D15/22 , G01N30/6021
摘要： A chromatography column and method of maintenance is described which does not require the use of a hoist or crane for disassembly. The method provides improved operator safety by reducing the need for the operator to work below a suspended or supported load within the column. Furthermore, the removal or replacement of column components is facilitated by providing access to the interior of the column and by the provision of a handling device.
摘要翻译：描述了色谱柱和维护方法，其不需要使用提升机或起重机来拆卸。该方法通过减少操作者在柱内悬挂或支撑的负载下方的工作的需要来提供改进的操作员安全性。此外，通过提供对塔的内部的通道和通过提供处理装置来促进塔部件的移除或更换。

85. 发明授权

US07406905B2 System for driving a wire loop cutting element 有权
公开(公告)号：US07406905B2
公开(公告)日：2008-08-05
申请号：US11495308
申请日：2006-07-28
申请人： Kinton Lawler , John Davis , Michael Piecyk
发明人： Kinton Lawler , John Davis , Michael Piecyk
IPC分类号： B26D1/44
CPC分类号： B26D1/547 , B23D57/0061 , B23D57/0084 , Y10T83/7239 , Y10T83/9292
摘要： This invention is directed toward a system for driving a wire loop cutting element. More particularly, the disclosed invention employs a frame and pulleys to drive a wire loop cutting element.

86. 发明授权

US07373935B2 Carbide wire blade 失效
标题翻译：硬质合金线刀
公开(公告)号：US07373935B2
公开(公告)日：2008-05-20
申请号：US11495309
申请日：2006-07-28
申请人： Kinton Lawler , John Davis
发明人： Kinton Lawler , John Davis
IPC分类号： B28D1/08
CPC分类号： B23D61/185
摘要： This invention relates to a carbide wire blade that is suitable for use in sawing through subsea structures. The carbide wire blade employs a tungsten carbide cutter, a vibration dampening member, and the first cylindrical spacer, slideably mounted on a solid cylindrical body.
摘要翻译：本发明涉及一种适用于通过海底结构锯切的硬质合金线锯。硬质合金线刀片采用碳化钨切割机，减振部件和第一圆柱形间隔件，可滑动地安装在实心圆柱体上。

87. 发明申请

US20080023225A1 Wear indication apparatus and method 审中-公开
标题翻译：磨损指示装置及方法
公开(公告)号：US20080023225A1
公开(公告)日：2008-01-31
申请号：US11890977
申请日：2007-08-07
申请人： Gerald Lynde , John Davis
发明人： Gerald Lynde , John Davis
IPC分类号： E21B12/02
CPC分类号： E21B12/02 , B24B49/08 , E21B10/00
摘要： Apparatus and method for monitoring the wear of a downhole tool, and providing indication of the degree of wear to an operator at the well surface. Rotating torque can exhibit a drop when wear of the cutting element matrix progresses to wear pads within the matrix. Other wear indicators can also be built into the cutting element matrix. Progression of wear down to the indicator can be directly measured at the well surface, or relayed to the surface via a downhole communication system.
摘要翻译：用于监测井下工具磨损的装置和方法，以及向井表面的操作者提供磨损程度的指示。当切割元件矩形的磨损进行到磨损基体内时，旋转扭矩可能会下降。其他磨损指标也可以内置在切割元素矩阵中。可以在井表面直接测量到指示器的磨损程度，或通过井下通信系统中继到地面。

88. 发明申请

US20070256389A1 Sheet Metal Web Stiffener And Chord Nailing Restrictor For Wooden I-Joist 审中-公开
标题翻译：钣金网加固器和和弦钉子限制器木制I-Joist
公开(公告)号：US20070256389A1
公开(公告)日：2007-11-08
申请号：US11381441
申请日：2006-05-03
申请人： John Davis
发明人： John Davis
IPC分类号： E04C3/30
CPC分类号： E04C3/18 , E04B5/12 , E04C3/125
摘要： A monolithic sheet metal chord nailing restricting and web stiffening device features a chord plate combined with a web stiffening structure configured for lateral attachment to the web of a wooden I-joist. The chord plate is positioned on the bottom of the web stiffening structure and features a nail restricting hole having a diameter that corresponds to a predetermined diameter of a chord nail as defined by wooden I-joist manufacturers. The web stiffening structure has a web plate for attachment to the web and a buckling opposing web stiffening rib. Once the web stiffening structure is attached to the web above the bearing rest the nail restricting hole restricts chord nailing position and nail shaft diameter to manufacturer defined limits. Two devices may be combined by a web front bridge plate for simultaneous attachment of two opposite devices along an I-joist end.
摘要翻译：单片钣金和弦钉子限制和腹板加强装置具有一个弦板，其结合有一个腹板加强结构，用于横向附接到木质I型托梁的腹板。弦板定位在腹板加强结构的底部，并具有指甲限制孔，其具有对应于由木制I型制造商定义的弦钉的预定直径的直径。腹板加强结构具有用于连接到腹板的腹板和弯曲的相对腹板加强筋。一旦腹板加强结构附着在轴承座上方的腹板上，指甲限制孔将弦钉位置和钉轴直径限制在制造商限定的限度内。两个装置可以通过腹板前桥板组合，用于沿着I型梁端同时附接两个相对的装置。

89. 发明申请

US20060229087A1 Location-based cell determination for mobile communication networks 审中-公开
标题翻译：移动通信网络的基于位置的小区确定
公开(公告)号：US20060229087A1
公开(公告)日：2006-10-12
申请号：US11103721
申请日：2005-04-12
申请人： John Davis , Marvin Fuller
发明人： John Davis , Marvin Fuller
IPC分类号： H04Q7/20
CPC分类号： H04W36/26
摘要： The geographic location of user equipment operating in a cellular communication network is determined, and handover is performed at least in part in response to the geographic location of the user equipment.
摘要翻译：确定在蜂窝通信网络中操作的用户设备的地理位置，并且至少部分地响应于用户设备的地理位置来执行切换。

90. 发明申请

US20060181954A1 CIRCUIT AND METHOD FOR WRITING A BINARY VALUE TO A MEMORY CELL 失效
标题翻译：将二进制值写入存储单元的电路和方法
公开(公告)号：US20060181954A1
公开(公告)日：2006-08-17
申请号：US11057281
申请日：2005-02-11
申请人： Paul Bunce , John Davis , Donald Plass
发明人： Paul Bunce , John Davis , Donald Plass
IPC分类号： G11C8/00
CPC分类号： G11C7/22 , G11C2207/2263
摘要： A circuit and a method for writing a binary value to a memory cell are provided. The circuit includes a first field-effect transistor having a first drain, a first drain, and a first gate operably coupled between the first drain and the first source. The first drain is operably coupled to a first memory cell. The first gate configured to receive a first data signal. The circuit further includes a second field-effect transistor having a second drain, a second source, and a second gate operably coupled between the second drain and the second source. The drain source is operably coupled to the first memory cell. The second gate is configured to receive a second data signal. The circuit further includes a first signal inverter having a first input terminal and a first output terminal. The first output terminal is operably coupled to both of the first and second sources. The first signal inverter is configured to output a first control signal on the first output terminal when the first input terminal receives a second control signal. When the first control signal has a second logic level and the first data signal has a first logic level and the second data signal has the second logic level, the first and second field-effect transistors induce the first memory cell to store a first binary value.
摘要翻译：提供了一种将二进制值写入存储单元的电路和方法。电路包括具有第一漏极，第一漏极和第一栅极的第一场效应晶体管，其可操作地耦合在第一漏极和第一源极之间。第一漏极可操作地耦合到第一存储器单元。第一门被配置为接收第一数据信号。电路还包括第二场效应晶体管，其具有可操作地耦合在第二漏极和第二源之间的第二漏极，第二源极和第二栅极。漏源可操作地耦合到第一存储单元。第二门被配置为接收第二数据信号。电路还包括具有第一输入端和第一输出端的第一信号反相器。第一输出端子可操作地耦合到第一和第二源两者。第一信号反相器被配置为当第一输入端子接收到第二控制信号时，在第一输出端子上输出第一控制信号。当第一控制信号具有第二逻辑电平且第一数据信号具有第一逻辑电平且第二数据信号具有第二逻辑电平时，第一和第二场效应晶体管感应第一存储器单元以存储第一二进制值。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式