Abstract: A fluid filtration device is provided that can be used for separating solids from fluids. In some embodiments, the fluid filtration device comprises a hollow housing and a hollow filter assembly located within the housing. Fluid to be filtered is provided to the inside of a filter material in the filter assembly and passes outward toward the housing. In some embodiments one or more flow-directing features are located between the filter assembly and the housing, and may aid in the flow of fluid to a filtered outlet after passing through the filter. The flow-directing features may comprise, for example, channels that extend the length of the filter.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: A fluid filtration device is provided that can be used for separating solids from fluids. In some embodiments, the fluid filtration device comprises a hollow housing and a hollow filter assembly located within the housing. Fluid to be filtered is provided to the inside of a filter material in the filter assembly and passes outward toward the housing. In some embodiments one or more flow-directing features are located between the filter assembly and the housing, and may aid in the flow of fluid to a filtered outlet after passing through the filter. The flow-directing features may comprise, for example, channels that extend the length of the filter.

Abstract: 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.

Abstract: A container for harvested fruits and vegetables is shown. The container comprises a bottom and sidewalls supported on a base structure. The sidewalls are formed from side structures. The bottom may be integrally formed with a side structure. A rim and rib may be integrally formed in a side structure. The base structure comprises a slot or pocket that may be integrally formed from a side structure. The slot or pocket may be configured for engagement with a lifting apparatus for the container (e.g. forks of a fork lift). The base structure may comprise a bracket. The bracket of the base structure may be configured to facilitate stacking of one container securely on the rim of another container.

Abstract: 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, a circulating cleaning assembly is provided in the hydroclone region. In yet another aspect of the invention, improved hydroclone intake structures are described.

Abstract: 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.

Abstract: 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, a circulating cleaning assembly is provided in the hydroclone region. In yet another aspect of the invention, improved hydroclone intake structures are described.

Abstract: 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.

Abstract: 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.

Abstract: The present invention relates to the field of rock and soil core sampling and more specifically to the preservation of core sample integrity. A sample capsule is described which comprises heat shrink tubing. The sample capsule is located inside a sampling tool such as a core drill bit and activated by electric film heaters also inside the drill bit. A sample capsule front end cap may also be included. A cache mechanism is described which may store one or more sample capsules and front end caps.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.