Abstract: Disclosed is a method for data traffic optimization within a virtual environment. The method may be implemented within a data center hosting virtual machines and using virtual switches for routing data traffic. The method includes instructing a virtual switch associated with a virtual machine to redirect one or more data packets directed to or from a first address associated with the virtual machine to a second address associated with data optimization virtual machine, wherein the redirection is based at least in part on an access control list, receiving, at the data optimization virtual machine, the one or more data packets redirected by the virtual switch, selectively performing one or more transformations on the one or more data packets to create one or more transformed data packets, and transmitting the one or more transformed data packets to the first address.

Abstract: The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.

Abstract: The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.

Abstract: Novel high frequency power distribution systems are disclosed. The system of the present invention uses a relatively high frequency AC (e.g. 100 kHz or higher) and distributes it by a high frequency bus which includes magnetic coupling. AC/DC converters are magnetically connected to the bus by way of associated magnetic coupling and rectify the AC to obtain DC power to be used by a respective load. The bus includes an inductive element which, in one embodiment, forms a series resonant circuit with a capacitive element of the AC/DC converter when it is magnetically connected to the bus.

Abstract: An aiming post light for artillery and mortar operations at night wherein an ordinary GI flashlight is converted with solid state circuitry to use a blinking light emitting diode (LED) as a light source, enabling ordinary flashlight batteries to last for months of constant use instead of the few hours life in use with previous post lights.