公开(公告)号：US08882999B2

公开(公告)日：2014-11-11

申请号：US13163537

申请日：2011-06-17

申请人： David J. Levitt ,  George D. Caffell ,  John H. Mallard ,  Steven E. O'Reilly

发明人： David J. Levitt ,  George D. Caffell ,  John H. Mallard ,  Steven E. O'Reilly

IPC分类号： B04C5/22 ,  B04C9/00 ,  B01D21/00 ,  B01D21/26 ,  B01D17/02 ,  C02F1/00 ,  C02F1/38 ,  B01D17/00

CPC分类号： B04C5/22 ,  B01D17/0217 ,  B01D17/10 ,  B01D21/0006 ,  B01D21/267 ,  B04C9/00 ,  B04C2009/004 ,  C02F1/001 ,  C02F1/38 ,  C02F2201/003 ,  C02F2303/16

摘要： Cleaning assemblies and particulate tolerant fluid bearings that are particularly well suited for use in centrifugal separation enhanced filtration devices are described. In one aspect of the invention, at least one bearing is arranged to carry a circulating cleaning assembly such that the cleaning assembly can rotate around a filter membrane during filtering operation of the filtration device. The bearing is preferably arranged to maintain the circulating cleaning assembly in a substantially coaxial alignment with the filter membrane and in a substantially stable longitudinal position relative to the filter membrane as the circulating cleaning assembly is rotated around the filter membrane. In another aspect of the invention a variety of particulate tolerant bearings are described.

摘要翻译： 描述了特别适用于离心分离增强过滤装置的清洁组件和微粒容许流体轴承。 在本发明的一个方面，至少一个轴承布置成承载循环清洁组件，使得清洁组件可以在过滤装置的过滤操作期间围绕过滤膜旋转。 轴承优选地设置成当循环清洁组件围绕过滤膜膜旋转时，将循环清洁组件保持在与过滤膜基本上同轴对准并且相对于过滤膜的基本上稳定的纵向位置。 在本发明的另一方面，描述了各种颗粒耐受性轴承。

公开(公告)号：US20110120959A1

公开(公告)日：2011-05-26

申请号：US13019114

申请日：2011-02-01

申请人： David J. LEVITT ,  Frank DUTRO

发明人： David J. LEVITT ,  Frank DUTRO

IPC分类号： B01D21/26 ,  B01D36/00 ,  B01D35/16

CPC分类号： B01D29/62 ,  B01D21/0003 ,  B01D21/0006 ,  B01D21/0012 ,  B01D21/2411 ,  B01D21/2488 ,  B01D21/267 ,  B01D21/34 ,  B01D29/115 ,  B01D29/885 ,  B01D29/906 ,  B01D29/908 ,  B01D2201/02 ,  B01D2201/0415 ,  B04C3/06 ,  B04C5/08 ,  B04C9/00 ,  B04C2003/006 ,  B04C2009/004 ,  C02F1/38 ,  C02F2301/024 ,  C02F2301/026

摘要： A variety of improved hydroclone based fluid filtering systems are described. The hydroclones generally include a tank having an internal chamber and a filter (preferably a surface filter) that is positioned within the internal chamber. The filter defines a filtered fluid chamber within the internal chamber of the tank. The hydroclone may be operated such that a vortex of flowing fluid is formed between the chamber wall and the filter with the filter being located in the center of the vortex. With this arrangement, the filter acts as a cross-flow filter. In one aspect of the invention, the filter is a stepped filter. In another aspect of the invention, the filter is an surface filter, as for example, an electroformed metal surface filter. In some preferred embodiments, the openings in the filter are arranged as slots that extend substantially vertically so that they are oriented substantially perpendicular to the flow path of fluid flowing in the adjacent portion of the vortex. In another aspect of the invention, a circulating cleaning assembly is provided in the hydroclone region. The cleaning assembly is arranged to help clean the filter and is driven by the vortex of flowing fluid formed in the hydroclone region of the internal chamber. In yet another aspect of the invention, improved hydroclone intake structures are described. The described hydroclones may be used to filter water and other fluids in a wide variety of applications.

摘要翻译： 描述了各种改进的基于水力旋流器的流体过滤系统。 水力旋流器通常包括具有内部腔室和位于内部腔室内的过滤器（优选地是表面过滤器）的罐。 过滤器在罐的内部室内限定了过滤的流体室。 可以操作水力旋流器，使得在室壁和过滤器之间形成流动流体的涡流，并且过滤器位于涡流的中心。 通过这种布置，过滤器用作交叉流过滤器。 在本发明的一个方面，过滤器是阶梯式过滤器。 在本发明的另一方面，过滤器是表面过滤器，例如电铸金属表面过滤器。 在一些优选实施例中，过滤器中的开口被布置为基本上垂直延伸的槽，使得它们基本上垂直于在涡流的相邻部分中流动的流体的流动路径定向。 在本发明的另一方面，循环清洗组件设置在水力旋流器区域中。 清洁组件被布置成帮助清洁过滤器并且由内腔的水力旋流器区域中形成的流动流体的涡流驱动。 在本发明的另一方面，描述了改进的水力旋流器进气结构。 所描述的水力旋流器可用于在各种应用中过滤水和其它流体。

公开(公告)号：US06797219B1

公开(公告)日：2004-09-28

申请号：US09724300

申请日：2000-11-28

申请人： Nicholas M. Vander Wal ,  Richard A. Kroko ,  John C. Duba, Jr. ,  Kenneth J. Knister ,  David J. Levitt

发明人： Nicholas M. Vander Wal ,  Richard A. Kroko ,  John C. Duba, Jr. ,  Kenneth J. Knister ,  David J. Levitt

IPC分类号： B29C7100

CPC分类号： E04F15/02429 ,  B28B7/0008 ,  B28B19/00 ,  Y10T29/49629 ,  Y10T29/49993

摘要： A method for manufacturing tiles for use in a raised floor system is disclosed. The tiles comprise an outer shell and an inner core material. The method includes constructing the shells at a manufacturing facility, transporting the shells to a remote location associated with a job site, and filling the shells with a fill material at the remote location. A method is also disclosed for providing a rack to hold the tiles during the manufacturing process, stacking shells in a vertical orientation on the rack, and filling the shells with a core material while on the rack.

摘要翻译： 公开了一种用于制造用于高架地板系统的瓦片的方法。 瓦片包括外壳和内芯材料。 该方法包括在制造设施处构造壳体，将壳体运送到与作业现场相关联的远程位置，以及在远程位置用填充材料填充壳体。 还公开了一种用于在制造过程中提供用于保持瓦片的机架的方法，在机架上以垂直取向堆叠壳体，并且在机架上用芯材料填充壳体。

公开(公告)号：US08489367B2

公开(公告)日：2013-07-16

申请号：US12569909

申请日：2009-09-30

申请人： Gadiel Auerbach ,  David J. Levitt

发明人： Gadiel Auerbach ,  David J. Levitt

IPC分类号： G06F7/60 ,  G06F17/10

CPC分类号： G06F17/5009 ,  G06F11/3608

摘要： A reference model may be defined to refer to a matrix of a target computerized system. The reference model may comprise a reference index and a reference matrix. The reference index may have a non-deterministic value enabling the reference matrix to refer to the matrix using a fewer number of cells. The disclosed subject matter may enable a more efficient model checking process of a computerized device by using a reference model that is relatively easy to define or maintain or by using a reference model that is configured to be more efficient for model checking as it uses non-determinism.

摘要翻译： 可以定义参考模型以指代目标计算机化系统的矩阵。 参考模型可以包括参考索引和参考矩阵。 参考索引可以具有使得参考矩阵能够使用更少数量的单元来引用矩阵的非确定性值。 所公开的主题可以通过使用相对容易定义或维护的参考模型或通过使用被配置为对于模型检查更有效的参考模型来实现计算机化设备的更有效的模型检查过程， 决定论。

公开(公告)号：US08201697B2

公开(公告)日：2012-06-19

申请号：US13019114

申请日：2011-02-01

申请人： David J. Levitt ,  Frank Dutro

发明人： David J. Levitt ,  Frank Dutro

IPC分类号： B01D21/26

CPC分类号： B01D29/62 ,  B01D21/0003 ,  B01D21/0006 ,  B01D21/0012 ,  B01D21/2411 ,  B01D21/2488 ,  B01D21/267 ,  B01D21/34 ,  B01D29/115 ,  B01D29/885 ,  B01D29/906 ,  B01D29/908 ,  B01D2201/02 ,  B01D2201/0415 ,  B04C3/06 ,  B04C5/08 ,  B04C9/00 ,  B04C2003/006 ,  B04C2009/004 ,  C02F1/38 ,  C02F2301/024 ,  C02F2301/026

摘要： A variety of improved hydroclone based fluid filtering systems are described. The hydroclones generally include a tank having an internal chamber and a filter (preferably a surface filter) that is positioned within the internal chamber. The filter defines a filtered fluid chamber within the internal chamber of the tank. The hydroclone may be operated such that a vortex of flowing fluid is formed between the chamber wall and the filter with the filter being located in the center of the vortex. With this arrangement, the filter acts as a cross-flow filter. In one aspect of the invention, the filter is a stepped filter. In another aspect of the invention, the filter is an surface filter, as for example, an electroformed metal surface filter. In some preferred embodiments, the openings in the filter are arranged as slots that extend substantially vertically so that they are oriented substantially perpendicular to the flow path of fluid flowing in the adjacent portion of the vortex. In another aspect of the invention, a circulating cleaning assembly is provided in the hydroclone region. The cleaning assembly is arranged to help clean the filter and is driven by the vortex of flowing fluid formed in the hydroclone region of the internal chamber. In yet another aspect of the invention, improved hydroclone intake structures are described. The described hydroclones may be used to filter water and other fluids in a wide variety of applications.

摘要翻译： 描述了各种改进的基于水力旋流器的流体过滤系统。 水力旋流器通常包括具有内部腔室和位于内部腔室内的过滤器（优选地是表面过滤器）的罐。 过滤器在罐的内部室内限定了过滤的流体室。 可以操作水力旋流器，使得在室壁和过滤器之间形成流动流体的涡流，并且过滤器位于涡流的中心。 通过这种布置，过滤器用作交叉流过滤器。 在本发明的一个方面，过滤器是阶梯式过滤器。 在本发明的另一方面，过滤器是表面过滤器，例如电铸金属表面过滤器。 在一些优选实施例中，过滤器中的开口被布置为基本上垂直延伸的槽，使得它们基本上垂直于在涡流的相邻部分中流动的流体的流动路径定向。 在本发明的另一方面，循环清洗组件设置在水力旋流器区域中。 清洁组件被布置成帮助清洁过滤器并且由内腔的水力旋流器区域中形成的流动流体的涡流驱动。 在本发明的另一方面，描述了改进的水力旋流器进气结构。 所描述的水力旋流器可用于在各种应用中过滤水和其它流体。

公开(公告)号：US20110220586A1

公开(公告)日：2011-09-15

申请号：US13045349

申请日：2011-03-10

申请人： David J. Levitt

发明人： David J. Levitt

IPC分类号： B01D29/64 ,  B01D29/35 ,  B01D29/60

CPC分类号： B01D29/6476 ,  B01D29/117 ,  B01D29/23 ,  B01D29/601 ,  B01D29/606 ,  B01D29/6415 ,  B01D29/906 ,  B01D46/0041 ,  B01D46/0043 ,  B01D46/0065 ,  B01D46/2403 ,  B01D46/442 ,  B01D46/446 ,  B01D63/06 ,  B01D65/02 ,  B01D2201/184 ,  B01D2313/48 ,  B01D2321/2041 ,  B01D2321/30

摘要： Fluid filtration devices and methods of filtering fluids are described. The devices generally include a housing and an annular filter assembly, wherein the filter assembly is located inside the housing and comprises a filter material. The filter material may be, for example, an electroformed nickel screen having a smooth working surface and expanding pores. A rotating cleaning assembly comprising a distributor and wipers may be located inside the filter assembly.

摘要翻译： 描述了流体过滤装置和过滤流体的方法。 这些装置通常包括壳体和环形过滤器组件，其中过滤器组件位于壳体内部并且包括过滤材料。 过滤材料可以是例如具有平滑工作表面和膨胀孔的电铸镍筛网。 包括分配器和擦拭器的旋转清洁组件可以位于过滤器组件内部。

公开(公告)号：US20110077915A1

公开(公告)日：2011-03-31

申请号：US12569909

申请日：2009-09-30

申请人： Gadiel Auerbach ,  David J. Levitt

发明人： Gadiel Auerbach ,  David J. Levitt

IPC分类号： G06F17/16

CPC分类号： G06F17/5009 ,  G06F11/3608

摘要： A reference model may be defined to refer to a matrix of a target computerized system. The reference model may comprise a reference index and a reference matrix. The reference index may have a non-deterministic value enabling the reference matrix to refer to the matrix using a fewer number of cells. The disclosed subject matter may enable a more efficient model checking process of a computerized device by using a reference model that is relatively easy to define or maintain or by using a reference model that is configured to be more efficient for model checking as it uses non-determinism.

摘要翻译： 可以定义参考模型以指代目标计算机化系统的矩阵。 参考模型可以包括参考索引和参考矩阵。 参考索引可以具有使得参考矩阵能够使用更少数量的单元来引用矩阵的非确定性值。 所公开的主题可以通过使用相对容易定义或维护的参考模型或通过使用被配置为对于模型检查更有效的参考模型来实现计算机化设备的更有效的模型检查过程， 决定论。

公开(公告)号：US07632416B2

公开(公告)日：2009-12-15

申请号：US11506714

申请日：2006-08-18

申请人： David J. Levitt

发明人： David J. Levitt

IPC分类号： B01D21/26 ,  C02F1/38

CPC分类号： B01D29/62 ,  B01D21/0003 ,  B01D21/0006 ,  B01D21/0012 ,  B01D21/2411 ,  B01D21/2488 ,  B01D21/267 ,  B01D21/34 ,  B01D29/115 ,  B01D29/885 ,  B01D29/906 ,  B01D29/908 ,  B01D2201/02 ,  B01D2201/0415 ,  B04C3/06 ,  B04C5/08 ,  B04C9/00 ,  B04C2003/006 ,  B04C2009/004 ,  C02F1/38 ,  C02F2301/024 ,  C02F2301/026

摘要： A variety of improved hydroclone based fluid filtering systems are described. The hydroclones generally include a tank having an internal chamber and a filter (preferably a surface filter) that is positioned within the internal chamber. The filter defines a filtered fluid chamber within the internal chamber of the tank. The hydroclone may be operated such that a vortex of flowing fluid is formed between the chamber wall and the filter with the filter being located in the center of the vortex. With this arrangement, the filter acts as a cross-flow filter. In one aspect of the invention, the filter is a stepped filter. In another aspect of the invention, the filter is an surface filter, as for example, an electroformed metal surface filter. In some preferred embodiments, the openings in the filter are arranged as slots that extend substantially vertically so that they are oriented substantially perpendicular to the flow path of fluid flowing in the adjacent portion of the vortex. In another aspect of the invention, a circulating cleaning assembly is provided in the hydroclone region. The cleaning assembly is arranged to help clean the filter and is driven by the vortex of flowing fluid formed in the hydroclone region of the internal chamber. In yet another aspect of the invention, improved hydroclone intake structures are described. The described hydroclones may be used to filter water and other fluids in a wide variety of applications.

摘要翻译： 描述了各种改进的基于水力旋流器的流体过滤系统。 水力旋流器通常包括具有内部腔室和位于内部腔室内的过滤器（优选地是表面过滤器）的罐。 过滤器在罐的内部室内限定了过滤的流体室。 可以操作水力旋流器，使得在室壁和过滤器之间形成流动流体的涡流，并且过滤器位于涡流的中心。 通过这种布置，过滤器用作交叉流过滤器。 在本发明的一个方面，过滤器是阶梯式过滤器。 在本发明的另一方面，过滤器是表面过滤器，例如电铸金属表面过滤器。 在一些优选实施例中，过滤器中的开口被布置为基本上垂直延伸的槽，使得它们基本上垂直于在涡流的相邻部分中流动的流体的流动路径定向。 在本发明的另一方面，循环清洗组件设置在水力旋流器区域中。 清洁组件被布置成帮助清洁过滤器并且由内腔的水力旋流器区域中形成的流动流体的涡流驱动。 在本发明的另一方面，描述了改进的水力旋流器进气结构。 所描述的水力旋流器可用于在各种应用中过滤水和其它流体。

公开(公告)号：US07562325B1

公开(公告)日：2009-07-14

申请号：US12236543

申请日：2008-09-24

申请人： Eli Arbel ,  Oded Fuhrmann ,  Cynthia Rae Eisner ,  Alexander Itskovich ,  David J. Levitt

发明人： Eli Arbel ,  Oded Fuhrmann ,  Cynthia Rae Eisner ,  Alexander Itskovich ,  David J. Levitt

IPC分类号： G06F17/50

CPC分类号： G06F17/505 ,  G06F2217/62

摘要： A system for clustering Boolean functions for clock gating according to various exemplary embodiments can include a computer configured to identify at least two small gating groups within a clock tree representative of an electrical network and at least two gating functions of the at least two small gating groups, wherein the at least two gating functions are Boolean functions; perform hierarchical clustering on the at least two gating functions using a similarity measure that describes a distance between the at least two gating functions such that the clustering forms a merge function of a cluster generated and displayed in a form of a dendrogram; assign to each gating domain a merit value according to a power consumption profile of the gating domain using a merit function; and partition the cluster into gating groups using the dendrogram to construct a directed acyclic graph to determine a partition which maximize the overall power saving.

摘要翻译： 根据各种示例性实施例的用于对用于时钟选通的布尔函数进行聚类的系统可以包括计算机，其被配置为识别表示电网的时钟树内的至少两个小门控组，以及至少两个小选通组的至少两个门控功能 ，其中所述至少两个门控函数是布尔函数; 使用描述所述至少两个门控功能之间的距离的相似度测量来对所述至少两个门控功能执行层次聚类，使得所述聚类形成以树形图形式生成和显示的聚类的合并功能; 根据使用优点函数的门控域的功耗曲线，向每个选通域分配优值; 并使用树形图将群集分成门控组，以构建有向无环图，以确定最大化整体节能的分区。

公开(公告)号：US08370553B2

公开(公告)日：2013-02-05

申请号：US12906495

申请日：2010-10-18

申请人： Gadiel Auerbach ,  Fady Copty ,  David J. Levitt ,  Viresh Paruthi

发明人： Gadiel Auerbach ,  Fady Copty ,  David J. Levitt ,  Viresh Paruthi

IPC分类号： G06F12/00

CPC分类号： G06F13/364

摘要： A mechanism is provide for formally verifying random priority-based arbiters. A determination is made as to whether a random priority-based arbiter is blocking one of a set of output ports or a set of input ports. Responsive to the first predetermined time period expiring before the processor determines whether the random priority-based arbiter is blocking, a determination is made as to whether the random priority-based arbiter is blocking one of the set of output ports or the set of input ports within a second predetermined time period using the random seed and at least one of property strengthening or underapproximation. Responsive to the processor determining that the random priority-based arbiter satisfies a non-blocking specification such that not one of the set of output ports or the set of input ports is blocked within the second predetermined time period, the random priority-based arbiter is validated as satisfying the non-blocking specification.

摘要翻译： 提供了一种正式验证随机优先级仲裁器的机制。 确定随机优先级仲裁器是否阻塞一组输出端口或一组输入端口中的一个。 响应于在处理器确定基于随机优先级的仲裁器是否阻塞之前到期的第一预定时间段，确定基于随机优先级的仲裁器是否阻塞该组输出端口或输入端口组中的一个 在第二预定时间段内使用所述随机种子和性能加强或不足近似中的至少一种。 响应于所述处理器确定所述基于随机优先级的仲裁器满足非阻塞规范，使得所述一组输出端口或所述一组输入端口中的一个在所述第二预定时间段内被阻止，所述基于随机优先级的仲裁器是 验证满足非阻塞规范。