Takaaki Tateishi - Kanagawa-ken, JP Marco Pistoia - Hawthorne NY, US Omer Tripp - Herzelyia, IL Ryan Berg - Littleton MA, US Robert Wiener - Littleton MA, US
Assignee:
International Business Machines Corporation - Armonk NY
International Classification:
G06F 11/00 G06F 11/30 H04L 29/06 H04L 9/32
US Classification:
726 22, 713166, 713180, 713188
Abstract:
An illegal pattern and a computer program having a method are received. The method has one or more return statements, and a number of basic blocks. The method is normalized so that each return statement of the target method relating to the illegal pattern returns a constant Boolean value. A first path condition and a second path condition for one or more corresponding paths is determined such that one or more corresponding basic blocks return a constant Boolean value of true for the first path condition and a constant Boolean value of false for the second path condition. An unsatisfiability of each path condition is determined using a monadic second-order logic (M2L) technique. Where the unsatisfiability of either path condition is false, the method is reported as not being a validator. Where the unsatisfiability of either path condition is true, the method is reported as being a validator.
A hub moment sensor is disclosed for an aircraft having a horizontal rotor, a rotor fixed mast for supporting the rotor above the aircraft body, and a support ring formed on the aircraft body for attachment to the rotor fixed mast. The sensor comprises an annular flange formed on the end of the rotor fixed mast remote from the rotor, and coupling means for securing the flange to the support ring, the coupling means including stress measuring means, whereby the moments acting on the aircraft may be sensed.
The work done by a sucker rod pump is read through the use of a pendulum potentiometer mounted on the walking beam of the pump and a load sensing pin located at the lower end of the wire line which is suspended from the horsehead. Meters mounted in a portable reading instrument show the maximum rod pull, the minimum rod pull, the stroke of the pump, and the area of the force-versus-stroke diagram. A display of the shape of the force-versus-stroke diagram may be given through the use of an X-Y plotter.
Reusable Gasket For Use In And In Combination With A Molding Apparatus
A reusable gasket for use in and in combination with a molding apparatus for casting articles of acrylic monomer plastic or the like. The gasket comprises a mold and casting release surface for contact with a cast plastic article and the two mold surfaces and includes a core of elastomeric material completely, but loosely encased in a tube impervious to passage therethrough by the material of the core and the material of the plastic article to be cast. The impervious tube may be of polytetrafluoroethylene, polyamide, polyethylene, or like material. The mold and casting release surface is preferably silver. A plurality of gasket members are placed in end-to-end relationship between a pair of plate members in a molding apparatus to define a casting cavity. A plug in the form of a wedge may be used to close a gap between adjacent ends of two gasket members through which casting material may be flowed into the cavity prior to closing the gap.
Arnold S. Louis - Hastings-on-Hudson NY Robert P. Wiener - White Plains NY
Assignee:
Litton Systems, Inc. - Mount Vernon NY
International Classification:
H01L 1010 H01C 1038
US Classification:
338 39
Abstract:
A pneumatically actuated pressure transducer has a wiper assembly which is movable from an off position through a range of positions wherein the transducer has a varying voltage output. The pressure transducer comprises a high thermal conductivity substrate which forms a base for a potentiometer element and a resistance path coated onto the substrate. The resistance path includes a first area of low resistance material and a second area of high resistance material which meet in a chevron shaped transition zone. An insulating material coated onto the substrate defines the off position for the transducer.
Name / Title
Company / Classification
Phones & Addresses
Robert S Wiener Executive Officer
Exit Realty The Destinations Real Estate
832 Hibiscus Street; #116, West Palm Beach, FL 33401
Robert Wiener Owner
Colony Stores Furniture Stores
467 Main St, Hackensack, NJ 07601 Website: brucethebedking.com,
Robert Wiener Owner
Main Street Sofabed CO Furniture Stores
467 Main St, Hackensack, NJ 07601
Robert Wiener Owner
JRD Management Management Services
875 Mamaroneck Ave # 3, Mamaroneck, NY 10543
Robert R. Wiener Owner
Trust F/B/O Robert R. Wiener Business Services
875 Mamaroneck Ave, Mamaroneck, NY 10543 914 899-8000
Great Neck, New YorkIndependent Contractor at AXA Advisors, LLC I have worked in the Insurance industry for 20 years specializing in Life
Insurance, Long Term Care and Retirement planning.