Abstract: Systems and techniques for offline platform information technology cyber-physical risk mitigation are described herein. System configuration data may be obtained for a platform information technology (PIT) computing system. A system model may be generated for the PIT computing system using the system configuration data. An attack path and mitigation data set may be generated from vulnerability and mitigation data. A risk profile may be generated for the PIT computing system by evaluating the attack path and mitigation data set using the system model. A security mitigation action may be automatically triggered based on a vulnerability detected in the risk profile.

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

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

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