Abstract: Methods of verifying a property of a hardware design for an integrated circuit to implement a product of power functions of the form x0t0× . . . ×xntn, wherein t0 . . . tn are fixed, rational numbers, x0 . . . xn are floating point inputs, and n is an integer greater than or equal to one. A first verification phase comprises formally verifying that, for any first non-exception input set X=X0, . . . , Xn and any second non-exception input set Y=Y0, . . . , Yn in an input space wherein corresponding inputs have a same mantissa and (t0X0.exp+ . . . +tnXn.exp)?(t0Y0.exp+ . . . +tnYn.exp) is an integer, an instantiation of the hardware design generates outputs X? and Y? with a same mantissa and X?exp?(t0X0.exp+ . . . +tnXn.exp)=Y?exp?(t0Y0.exp+ . . . +tnYn.exp); and second verification phase comprises verifying the property for the hardware design for a subset of input sets in the input space, the subset of input sets selected based on exponents sets wherein (t0X0.exp+ . . . +tnXn.exp)?(t0Y0.exp+ . . . +tnYn.

Abstract: Aspects of the present invention relate to a valve seat (20) for a poppet valve of an internal combustion engine, wherein the poppet valve comprises a head and a stem behind the head, the valve seat comprising: an aperture (21) configured to form a seal with the head of the poppet valve when the poppet valve is in a closed position; and a peripheral body (22) defining, at least in part, one or more ports (23) shaped like e.g. grooves and sized to enable injection of liquid or gas from a cylinder head of the internal combustion engine into a gas stream behind the head of the poppet valve.

Abstract: Aspects of the present invention relate to a valve seat (20) for a poppet valve of an internal combustion engine, wherein the poppet valve comprises a head and a stem behind the head, the valve seat comprising: an aperture (21) configured to form a seal with the head of the poppet valve when the poppet valve is in a closed position; and a peripheral body (22) defining, at least in part, one or more ports (23) shaped like e.g. grooves and sized to enable injection of liquid or gas from a cylinder head of the internal combustion engine into a gas stream behind the head of the poppet valve.

Abstract: A heat exchanger comprising a plurality of A channels in a heat exchanger matrix running in a first direction wherein each A channel is formed along its length as a waveform with an identical wavelength, channel width, wave angle, and wall thickness. Adjacent A channels running in an orthogonal direction are 180 degrees out of phase. The plurality of A channels form the plurality of B channels running in a cross-flow direction with the outer walls of the A channels. The B channels exist as the negative space between adjacent 180 degree out of phase A channels.

Abstract: An electromagnetic coil that can withstand high temperatures and operate efficiently and methods of making the same are provided. In preferred embodiments the electromagnetic coil comprises: a bobbin made entirely of ceramic; a coiled conductor wrapped around the bobbin; a potting resin applied to the coiled conductor during winding wherein, the resin is a siloxane polymer mixed with a metal oxide or a cyanate ester; and an overwind made of glass fiber yarn.

Abstract: A heat exchanger assembly that in a preferred embodiment comprises: an inlet duct lower wall interfacing with a bypass duct; an outlet duct lower wall interfacing with a bypass duct; a heat exchanger coupled between the inlet duct lower wall and the outlet duct lower wall wherein the heat exchanger is at a compound angle with respect to an inlet duct air flow direction; and a fairing coupled to the top of the heat exchanger wherein the fairing forms the inlet duct upper wall and the outlet duct upper wall.

Abstract: Heat exchanger assemblies including turning vanes are taught herein. In preferred embodiments, the heat exchanger assembly comprises: an inlet duct; a heat exchanger coupled to the inlet duct and a plurality of turning vanes coupled to the heat exchanger and protruding into the inlet duct. The intake plane of the heat exchanger is at an angle between 0 degrees and 90 degrees to the primary flow direction of the inlet duct. The plurality of turning vanes comprise: a straight leading edge of length L that is parallel to the primary flow direction of the inlet duct; a convex lower surface that transitions a bottom of the leading edge to an upper wall of a lower channel of the heat exchanger; and a concave upper surface that transitions a distal point of the turning vane to a second channel of the heat exchanger.

Abstract: A heat exchanger assembly that in a preferred embodiment comprises: an inlet duct lower wall interfacing with a bypass duct; an outlet duct lower wall interfacing with a bypass duct; a heat exchanger coupled between the inlet duct lower wall and the outlet duct lower wall wherein the heat exchanger is at a compound angle with respect to an inlet duct air flow direction; and a fairing coupled to the top of the heat exchanger wherein the fairing forms the inlet duct upper wall and the outlet duct upper wall.

Abstract: An electromagnetic coil that can withstand high temperatures and operate efficiently and methods of making the same are provided. In preferred embodiments the electromagnetic coil comprises: a bobbin made entirely of ceramic; a coiled conductor wrapped around the bobbin; a potting resin applied to the coiled conductor during winding wherein, the resin is a siloxane polymer mixed with a metal oxide or a cyanate ester; and an overwind made of glass fiber yarn.

Abstract: A method for emulating devices communicating over one or more networks includes intercepting and recording protocols used in communications between real network devices and statistically analyzing the recorded protocols. The method further includes developing, based on the statistical analysis, a behavioral specification for at least one master honeypot. In some examples, the development of the behavioral specification includes generating a Markov chain based on the statistical analysis, which is used to guide the probabilistic selection of properties of packets to be sent from the at least one master honeypot to at least one remote monkey honeypot. Each packet includes an unencrypted header and an encrypted payload, and each encrypted payload includes a response specification to be executed by the at least one remote monkey honeypot upon receipt of the packet from the at least one master honeypot.

Abstract: Broadcast server and method for transmitting electronic program guide data to set top boxes via a broadcast network. The broadcast server is arranged to prepare a list of unique entries and associated identifications of the text items received, and to provide a compressed list to the plurality of set top boxes. The broadcast server repeats the following steps for each text item in the list: determining whether a next text item has a number of shared consecutive characters at the start in common with a compressed text item from the compressed list, identifying said compressed text item as a source of shared consecutive characters and determining the number of shared consecutive characters; storing for the next text item an identification, a reference to the source of shared consecutive characters, the number of shared consecutive characters, and the remaining non-shared text in the compressed list.

Abstract: A confined space exercise device (2) having at least two chambers (4, 6) in fluid communication with each other, means (10) for introducing fluid into at least one of the chambers (and variable resistance means to hinder the flow of fluid from one chamber to the other whereby application of pressure to one chamber is required to cause movement of fluid from that chamber to the other.