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

1. 发明申请

US20120054698A1 LOGIC MODIFICATION SYNTHESIS 有权
标题翻译：逻辑修改合成
公开(公告)号：US20120054698A1
公开(公告)日：2012-03-01
申请号：US12862838
申请日：2010-08-25
申请人： Eli Arbel , David Geiger , Victor Kravets , Smita Krishnaswamy , Ruchir Puri , Haoxing Ren
发明人： Eli Arbel , David Geiger , Victor Kravets , Smita Krishnaswamy , Ruchir Puri , Haoxing Ren
IPC分类号： G06F17/50
CPC分类号： G06F17/505
摘要： A computer-executed method is disclosed which recognizes two circuits, an original and a modified circuit, with the original circuit having a first logic and the modified circuit having a second logic. The second logic is obtained by converting a modified specification into a preliminary gate-level form. The second logic contains at least one desired logic change relative to the first logic in order to realize the modified specification. The method includes detecting an equivalence line in the original circuit, such that the first and second logic are equivalent from the circuit inputs to the equivalence line, and finding at least one point of change amongst the logic gates that are neighboring the equivalence line. Next, accepting the points of change as verified point of change if an observability condition is fulfilled, which means that for every input vector for which an output of the original and modified circuits differ, at least one logic value of the points of change propagate to that output of the original circuit. This observability condition is checked within a Boolean Satisfiability (SAT) formulation. The method also includes deriving a substitute logic for the verified points of change, using SAT techniques, and Boolean equation solving techniques which solve for a change function at each point of change, in such manner that the first logic in the original circuit becomes equivalent to the second logic, and thereby implements the changed specification.
摘要翻译：公开了一种计算机执行方法，其识别具有第一逻辑的原始电路的两个电路，原始电路和修改的电路，并且修改的电路具有第二逻辑。通过将修改的规范转换成初级门级形式来获得第二逻辑。第二逻辑包含相对于第一逻辑的至少一个期望的逻辑变化，以便实现修改的规范。该方法包括检测原始电路中的等效线，使得第一和第二逻辑等效于从等效线路的电路输入，并找到与等价线相邻的逻辑门之间的至少一个变化点。接下来，如果满足可观察性条件，则将变化点接受为经验证的变化点，这意味着对于原始和修正电路的输出不同的每个输入向量，改变点的至少一个逻辑值传播到原始电路的输出。在布尔满足度（SAT）公式中检查此可观察性条件。该方法还包括使用SAT技术，以及在每个变化点解决变化函数的布尔方程求解技术，以使得原始电路中的第一逻辑等同于第二个逻辑，从而实现改变的规范。

2. 发明授权

US08365114B2 Logic modification synthesis 有权
标题翻译：逻辑修改综合
公开(公告)号：US08365114B2
公开(公告)日：2013-01-29
申请号：US12862838
申请日：2010-08-25
申请人： Eli Arbel , David Geiger , Victor Kravets , Smita Krishnaswamy , Ruchir Puri , Haoxing Ren
发明人： Eli Arbel , David Geiger , Victor Kravets , Smita Krishnaswamy , Ruchir Puri , Haoxing Ren
IPC分类号： G06F9/455 , G06F17/50
CPC分类号： G06F17/505
摘要： Two circuits, an original and a modified, are being recognized, with the original circuit having a first logic and the modified circuit having a second logic. The second logic contains at least one desired logic change relative to the first logic. An equivalence line is detected in the original circuit such that the first and second logic are equivalent from the circuit inputs to the equivalence line. At least one point of change is located amongst the logic gates that are neighboring the equivalence line. The points of change are accepted as verified if an observability condition is fulfilled. The observability condition is checked within a Boolean Satisfiability (SAT) formulation. Substitute logic for the verified points of change is derived using SAT and Boolean equation solving techniques, in such manner that the first logic becomes equivalent to the second logic.
摘要翻译：正在识别两个电路，一个原始和一个修改的电路，原始电路具有第一逻辑，并且该修改的电路具有第二逻辑。第二逻辑包含相对于第一逻辑的至少一个期望的逻辑变化。在原始电路中检测到等效线，使得第一和第二逻辑等效于从电路输入到等价线。至少一个变化点位于与等价线相邻的逻辑门之间。如果可观察性条件得到满足，则可以接受更改点。可观察性条件在布尔满足度（SAT）公式中进行检查。通过使用SAT和布尔方程求解技术，使得第一逻辑变为等同于第二逻辑的方式，导出用于验证的变化点的替代逻辑。

3. 发明申请

US20080202115A1 Machine and integrated hybrid drive with regenerative hydraulic force assist 审中-公开
标题翻译：机械和集成混合动力驱动与再生液压力辅助
公开(公告)号：US20080202115A1
公开(公告)日：2008-08-28
申请号：US11711530
申请日：2007-02-27
申请人： David Geiger
发明人： David Geiger
IPC分类号： B60T17/22
CPC分类号： B60T1/10 , B30B1/18 , B30B1/32 , Y10T74/173
摘要： A mechanical-hydraulic machine and an integrated hybrid drive with a regenerative force assist for eliminating pumps and intensifiers and reducing the energy consumption, operating costs, investment costs, weight and size of machines and improving their performance. The integrated hybrid drive is comprised of common mechanical and hydraulic components. The regenerative hydraulic force assist converts gravitational and deceleration forces of the machine into fluid pressure, stores the fluid pressure and applies the fluid pressure to clamping of dies or molds and/or performing machine operations. A closed loop control system controls the flow of fluid between the hydraulic drive and regenerative force assist.
摘要翻译：机械液压机和集成混合动力驱动器，具有再生力辅助，用于消除泵和增压器，降低能耗，运行成本，投资成本，机器重量和尺寸，提高其性能。集成的混合动力驱动器由常见的机械和液压部件组成。再生液压力辅助将机器的重力和减速力转换成流体压力，存储流体压力并将流体压力施加到模具或模具的夹紧和/或执行机器操作。闭环控制系统控制液压驱动和再生力辅助之间的流体流动。

4. 发明授权

US07120677B1 System and method for integrated processing of information from a plurality of data systems 失效
标题翻译：用于综合处理来自多个数据系统的信息的系统和方法
公开(公告)号：US07120677B1
公开(公告)日：2006-10-10
申请号：US09712930
申请日：2000-11-16
申请人： Nancy Berger , Leslie Brown , Victoria Elliot , David Geiger , John Hedges , Amanda Martin , Valerie Matthews , John Morton , Steve Peacock , Keith Romano , Jeffrey Seymour , Gina Smith
发明人： Nancy Berger , Leslie Brown , Victoria Elliot , David Geiger , John Hedges , Amanda Martin , Valerie Matthews , John Morton , Steve Peacock , Keith Romano , Jeffrey Seymour , Gina Smith
IPC分类号： G06F15/16
CPC分类号： G06Q10/06
摘要： Systems and methods to integrate processing of information from a plurality of data systems. In an embodiment, a system includes a network connection, which can receive information sent to and from a terminal. The network connection is coupled to a first network, and the first network is coupled to the terminal. The system can also include a plurality of data system connections, where each data system connection of the plurality of data system connections can receive information sent to and from a respective data system of a plurality of data systems. A server is coupled to the network connection and the plurality of data system connections. In an embodiment, the server includes a processor and a memory coupled to the processor. The memory can include a plurality of data system instructions objects, where each data system instructions object of the plurality of data system instructions objects corresponds to a respective data system of the plurality of data systems. Each data system instructions object can manage communications between the terminal and the respective data system of the plurality of data systems.
摘要翻译：整合来自多个数据系统的信息处理的系统和方法。在一个实施例中，系统包括网络连接，其可以接收发送到终端的信息。网络连接耦合到第一网络，并且第一网络耦合到终端。该系统还可以包括多个数据系统连接，其中多个数据系统连接的每个数据系统连接可以接收发往和从多个数据系统的相应数据系统发送的信息。服务器耦合到网络连接和多个数据系统连接。在一个实施例中，服务器包括处理器和耦合到处理器的存储器。存储器可以包括多个数据系统指令对象，其中多个数据系统指令对象中的每个数据系统指令对象对应于多个数据系统中的相应数据系统。每个数据系统指令对象可以管理终端与多个数据系统的相应数据系统之间的通信。

5. 发明授权

US06851261B2 Servoactuator having motor-driven actuator with hydraulic force amplification 有权
标题翻译：伺服驱动器具有液压力放大的电动执行器
公开(公告)号：US06851261B2
公开(公告)日：2005-02-08
申请号：US10318368
申请日：2002-12-12
申请人： David Geiger
发明人： David Geiger
IPC分类号： F15B15/00 , B29C45/66 , B29C45/67 , F15B3/00 , F15B11/032 , F15B15/20 , F15B15/26 , F16D25/0632 , F16H25/20 , H02K7/00 , H02K7/06 , F15B7/00
CPC分类号： F15B15/088 , F15B11/0325 , F15B15/262 , F15B2211/20561 , F15B2211/212 , F15B2211/27 , F15B2211/3058 , F15B2211/6313 , F15B2211/6336 , F15B2211/6651 , F15B2211/7052 , F15B2211/7053 , F15B2211/7121 , F15B2211/7128 , F15B2211/72 , F15B2211/76 , F15B2211/7653 , F15B2211/775 , H02K7/00 , H02K7/06
摘要： A servoactuator (20) is operatively arranged to control the movement of an output member (21) in either of two directions in response to a command signal. The servoactuator includes an electric motor (25); a motor controller (24); a first transmission mechanism (34); a hydrostatic second transmission mechanism (35); a transfer mechanism (36) operatively arranged to selectively couple the motor output shaft to the output member either through the first transmission mechanism to impart a high-speed low-force drive to the output member, or through the second transmission mechanism to impart a low-speed high-force drive to the output member; at least one feed-back transducer (29, 32); and a servo control loop (30, 33) closed about the motor, controller, transmission mechanisms, transfer mechanism, feedback transducer and output member for selectively controlling at least one of the position, velocity or force of the output member as a function of the command signal.
摘要翻译：伺服致动器（20）可操作地布置成响应于命令信号控制输出构件（21）在两个方向中的任一方向上的移动。伺服驱动器包括电动机（25）; 电机控制器（24）; 第一传动机构（34）; 静液压第二传动机构（35）; 传送机构（36），其可操作地布置成通过第一传动机构选择性地将马达输出轴连接到输出构件，以向输出构件施加高速低力驱动，或者通过第二传动机构赋予低对输出部件进行高速驱动; 至少一个反馈换能器（29,32）; 以及围绕马达，控制器，传动机构，传送机构，反馈换能器和输出构件闭合的伺服控制回路（30,33），用于选择性地控制输出构件的位置，速度或力中的至少一个作为命令信号。

6. 发明授权

US06368099B1 Oven-pallet alignment and profiled heating of preforms 失效
标题翻译：烤箱 - 托盘对齐和预成型件的异型加热
公开(公告)号：US06368099B1
公开(公告)日：2002-04-09
申请号：US09558046
申请日：2000-04-26
申请人： Paul F. Kresak , Andrea L. Diamond , Svemir Dzafic , David Geiger , Christian Georgescu , Peter B. Kamka , Lian Zhang , Robert D. Schad , Gary Hughes
发明人： Paul F. Kresak , Andrea L. Diamond , Svemir Dzafic , David Geiger , Christian Georgescu , Peter B. Kamka , Lian Zhang , Robert D. Schad , Gary Hughes
IPC分类号： B29C4968
CPC分类号： B29C49/6409 , B29C49/06 , B29C49/36 , B29C49/4205 , F27B17/00 , F27D3/00
摘要： The present invention relates to a system for thermally profiling preforms prior to blow molding. The system includes a pallet for holding a plurality of preforms and a station, such as a heating oven, for thermally conditioning the preforms. In a first embodiment, the pallet comprises a self aligning pallet which is movable towards and away from the heating oven. In a second embodiment, the pallet holding the preforms is fixed in position and the heating oven is movable towards and away from the preforms. The pallet further includes rotatable mandrels for supporting the preforms and a programmable motor for rotating the preforms a desired amount and at a desired speed.
摘要翻译：本发明涉及一种用于在吹塑之前热成型预型件的系统。该系统包括用于保持多个预成型件的托盘和用于热调节预成型件的工位，例如加热炉。在第一实施例中，托盘包括能够朝向和远离加热炉移动的自对准托盘。在第二实施例中，保持预成型件的托盘被固定在适当位置，并且加热炉可朝向和远离预成型件移动。托盘还包括用于支撑预成型件的可旋转心轴和用于以预期速度旋转预制件的可编程马达。

7. 发明授权

US6146134A Oven-pallet alignment and profiled heating of preforms 失效
公开(公告)号：US6146134A
公开(公告)日：2000-11-14
申请号：US313974
申请日：1999-05-20
申请人： Paul F Kresak , Andrea L Diamond , Svemir Dzafic , David Geiger , Christian Georgescu , Peter B Kamka , Lian Zhang , Robert D Schad , Gary Hughes
发明人： Paul F Kresak , Andrea L Diamond , Svemir Dzafic , David Geiger , Christian Georgescu , Peter B Kamka , Lian Zhang , Robert D Schad , Gary Hughes
IPC分类号： B29C49/06 , B29C49/36 , B29C49/42 , B29C49/64 , F27B17/00 , F27D3/00 , F27B9/00
CPC分类号： B29C49/6409 , B29C49/36 , B29C49/4205 , F27B17/00 , F27D3/00 , B29C49/06
摘要： The present invention relates to a system for thermally profiling preforms prior to blow molding. The system includes a pallet for holding a plurality of preforms and a station, such as a heating oven, for thermally conditioning the preforms. In a first embodiment, the pallet comprises a self aligning pallet which is movable towards and away from the heating oven. In a second embodiment, the pallet holding the preforms is fixed in position and the heating oven is movable towards and away from the preforms. The pallet further includes rotatable mandrels for supporting the preforms and a programmable motor for rotating the preforms a desired amount and at a desired speed.

8. 发明申请

US20130333894A1 SUBSEA ACTUATION SYSTEM 有权
标题翻译：子系统执行系统
公开(公告)号：US20130333894A1
公开(公告)日：2013-12-19
申请号：US14002003
申请日：2012-03-06
申请人： David Geiger , Raymond S. Scheffler
发明人： David Geiger , Raymond S. Scheffler
IPC分类号： E21B34/04
CPC分类号： E21B34/04 , E21B33/0355 , F15B7/006 , F15B15/18 , F15B2211/20515 , F15B2211/20538 , F15B2211/20561 , F15B2211/27 , F15B2211/625 , F15B2211/6313 , F15B2211/6336 , F15B2211/7053 , F15B2211/785
摘要： A subsea drilling, production or processing actuation system comprising a variable speed electric motor (10) adapted to be supplied with a current, a reversible hydraulic pump (8, 28) driven by the motor, a hydraulic piston assembly (92, 101, 111, 121, 131) connected to the pump and comprising a first chamber (2), a second chamber (3) and a piston (4) separating the first and second chambers and configured to actuate a valve (91) in a subsea system, a fluid reservoir (14) connected to the pump and the hydraulic piston assembly, the pump, hydraulic piston assembly and reservoir connected in a substantially closed hydraulic system, and a pressure compensator (13, 65) configured to normalize pressure differences between outside the hydraulic system and inside the hydraulic system.
摘要翻译：一种海底钻井，生产或加工致动系统，包括适于提供电流的可变速电动机（10），由电动机驱动的可逆液压泵（8,28），液压活塞组件（92,101,111 ，121,131），其连接到所述泵并且包括第一室（2），第二室（3）和分离所述第一室和所述第二室并且构造成致动海底系统中的阀（91）的活塞（4）连接到泵和液压活塞组件的液体储存器（14），连接在基本上闭合的液压系统中的泵，液压活塞组件和储存器以及压力补偿器（13,65），其被配置成使液压系统和液压系统内部。

9. 发明授权

US08328077B1 PV cell mass reflow 有权
标题翻译： PV电池质量回流
公开(公告)号：US08328077B1
公开(公告)日：2012-12-11
申请号：US13286295
申请日：2011-11-01
申请人： Dennis Willie , Chris Stratas , David Geiger
发明人： Dennis Willie , Chris Stratas , David Geiger
IPC分类号： B23K31/02
CPC分类号： B23K3/06 , B23K1/0016
摘要： In one embodiment, a method for soldering photovoltaic solar cells includes providing a first and second PV cell, a holder, soldering ribbon and a mass reflow oven. The method further includes placing the soldering ribbon in a fixture groove in the holder. The method further includes placing the first and second PV cell in the holder such that the soldering ribbon is position in a desired position on the first and second PV cell. The method further includes placing the holder and the first and second PV cell with the soldering ribbon into the mass reflow oven. The method further includes heating the holder and the first and second PV cell with the soldering ribbon in the mass reflow oven to solder the first and second PV cell. The method further includes cooling the holder and the first and second PV cell with the soldering ribbon.
摘要翻译：在一个实施例中，用于焊接光伏太阳能电池的方法包括提供第一和第二PV电池，保持器，焊接带和质量回流炉。该方法还包括将焊带放置在保持器中的固定槽中。该方法还包括将第一和第二PV电池放置在保持器中，使得焊带位于第一和第二PV电池上的期望位置。该方法还包括将保持器和具有焊接带的第一和第二PV电池放置到质量回流炉中。该方法还包括在质量回流炉中用焊盘将保持器和第一和第二PV电池加热以焊接第一和第二PV电池。该方法还包括用焊带来冷却保持器和第一和第二PV电池。

10. 发明申请

US20100232964A1 ELECTRO-HYDRAULIC ACTUATOR FOR CONTROLLING THE PITCH OF A BLADE OF A WIND TURBINE 审中-公开
标题翻译：用于控制风力涡轮机叶片的电动液压致动器
公开(公告)号：US20100232964A1
公开(公告)日：2010-09-16
申请号：US12734539
申请日：2007-11-09
申请人： David Geiger
发明人： David Geiger
IPC分类号： F01D7/00
CPC分类号： F03D7/0224 , F05B2260/76 , F05B2270/604 , Y02E10/723
摘要： The present invention provides an improvement for use in a wind turbine (20) having a plurality of variable-pitch blades (24) mounted on a hub (23) for rotation relative to a nacelle (22). The improvement broadly includes: a electro-hydraulic actuator (25) for controlling the pitch of one of the blades, the actuator including: a motor (26) adapted to be supplied with a current; a pump (27) driven by the motor and arranged to provide a hydraulic output as a function of the current supplied to the motor; and a hydraulic actuator (28) operatively arranged to selectively vary the pitch of the associated blade as a function of the hydraulic output of the pump; and wherein the motor, pump and actuator are physically arranged within the hub of the wind turbine.
摘要翻译：本发明提供了一种用于风力涡轮机（20）的改进，风力涡轮机（20）具有安装在轮毂（23）上的多个可变桨距叶片（24），用于相对于机舱（22）旋转。改进之处主要包括：用于控制其中一个叶片的间距的电动液压致动器（25），所述致动器包括：适于提供电流的电动机（26）; 由马达驱动并被布置成提供作为提供给马达的电流的函数的液压输出的泵（27）以及液压致动器（28），其可操作地布置成根据所述泵的液压输出来选择性地改变所述相关叶片的桨距; 并且其中电动机，泵和致动器物理地布置在风力涡轮机的轮毂内。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式