Other

Andrew J Mayer

Katrina Jean Ray

Victor W Marek

Harvey E Svetlik

Sean A Weaver

A method and apparatus for lining a host pipe with a shape memory polymer liner in which the liner is fed through a manufacturing assembly including a pipe tensioner, followed by a deformation tool, prior to entering the host pipe, the liner being pulled through the host pipe from a leading end, the component parts of the manufacturing assembly acting to temporarily reduce the liner outside diameter during the pulling operation, while allowing the liner to revert to at least the internal diameter of the host pipe upon removal of the pulling load. The liner being used is a shape memory polymer which exhibits the ability to return from a deformed shape to an original shape induced by an external stimulus.

Apparatus and method for in-situ fabrication of bi-layer composite pipe by deformation manufacture of compression-fit, shape memory polymer pipe (SMPP) mechanically united with host pipe

A SAT filter builder and method for building a SAT filter is provided. Hash functions are utilized to map elements of a domain subset to a set of literals which are in turn used to create a set of equations. These equations are conjoined to provide a satisfiability instance. The satisfiability instance is provided to an equation solver and the solution is provided to an array to build the filter. A query tool is also provided which allows the filter built by the SAT filter to test an element for set membership. The query tool utilizes the same hash functions used by the SAT filter builder to map the element to be tested to a set of literals. These literals are used to create an equation. The solution identified by the SAT builder tool is then provided to the equation created by the query tool and set membership is determined by determining whether the equation provided by the query tool is satisfied by the solution provided by the SAT filter builder.

Growing community of inventors

Jacksonville, FL, United States of America

Andrew J Mayer