Abstract: The present disclosure is directed towards systems and methods of maintaining a session via an intermediary device. A first device intermediary to a client and a plurality of servers receives a packet of a session. The packet of the session includes application protocol data and application session metadata used to maintain a state of an application accessed via the session. The first device marks a session state of the session to an update state. The first device determines that a second device intermediary to the client and the plurality of servers is in a ready state and the session state of the session is in the update state. The first device forwards the application protocol data and the application session metadata of the packet to the second device to maintain, on the second device, the same state of the application accessed via the session provided by the first device.

Abstract: A method for determining an operational characteristic of a vibrating structure gyroscope having a movable mass includes: driving the mass to oscillate along a first, predefined path; rotating the vibrating structure gyroscope so as to oscillate the mass along a second path, wherein the second path is different to the first, predefined path; sensing the oscillation of the mass along the second path so as to generate a sensing signal; converting the sensing signal into an in-phase signal and an out-of-phase signal using a demodulator, wherein the in-phase signal is in phase with the oscillation of the mass along the first path, and the out-of-phase signal is out of phase with the in-phase signal.

Abstract: An array antenna has a plurality of antenna unit cells arranged in rows and columns, or in another configuration. Each unit cell from the plurality of unit cells includes a circularly polarized radiator and a balun. The array antenna further includes a reactive element or a circuit element (such as a capacitor or resistor or even an inductor) on the circularly polarized radiator that is coupled an adjacent unit cell in one of the row and the column. A spacing distance between adjacent unit cells coupled via the circuit element that is at most half of a wavelength at a frequency maximum of the array antenna, wherein the spacing distance reduces likelihood of grating lobes.

Abstract: A system for mounting a sensor on a construction machine is described. The system includes a sensor having a bottom interface and a base for mounting the sensor on a construction machine. The base includes a top interface for rotatably interlocking with the bottom interface of the sensor. The rotatably interlocking of the base with the bottom interface of the sensor causes one or more terminals of the bottom interface of the sensor to communicatively couple to corresponding terminals of the top interface of the base.

Abstract: Systems and methods of securing an integrated circuit assembly includes: arranging a plurality of securing elements within a plurality of orifices fabricated within one or more layer components of a plurality of layer components of an integrated circuit assembly; applying a mechanical compression load against the integrated circuit assembly that uniformly compresses together the plurality of layer components of the integrated circuit assembly; after applying the mechanical compression load to the integrated circuit assembly, fastening the plurality of securing elements while the integrated circuit assembly is in a compressed state based on the mechanical compression load; and terminating the application of the mechanical compression load against the integrated circuit assembly based on the fastening of the plurality of securing elements.

Abstract: A method of controlling a drive train comprising an electric motor (12), a gearbox (1) and an internal combustion engine (13). The gearbox (1) is placed between the electric motor (12) and the internal combustion engine (13) in the drive train. The speed of the electric motor (12) is synchronized to the speed of the internal combustion engine (13) in order to shift the gearbox. The gearbox (1) is shifted between different operation modes by means of controlling the position of a dog clutch (6).

Abstract: Systems and methods are provided for tracking moving objects from a set of measurements. An estimate of a posterior probability distribution for a plurality of track states is determined from an estimate of the posterior probability distribution for a plurality of possible assignments of the set of measurements to a set of tracks representing trajectories of the plurality of moving objects and the set of measurements. A new estimate of the posterior probability distribution for the assignments is determined from the measurements and the estimate of a posterior probability distribution for the track states. A variational lower bound is determined from the new estimate of the posterior probability distribution for the assignments, the estimate of the posterior probability distribution for the track states, and the set of measurements. These steps are iteratively repeated until the variational lower bound is less than a threshold value.

Abstract: Various embodiments are described herein for methods and systems for managing a parking area. In one embodiment, the method comprises receiving a parking authorization request from a parking lot user, the request specifying a parking stall identifier corresponding to a parking stall occupied by the users vehicle, the request further specifying a parking duration parameter identifying a time duration the user's vehicle can occupy the stall; determining a parking duration rule for the stall based on the parking duration parameter, the rule indicating a parking expiration time; at a first time, receiving a first data associated with the parking stall identifier, the first data comprising an occupancy parameter indicating a presence or absence of a parked vehicle at the identified stall; if the occupancy parameter indicates a presence of a parked vehicle, generate a citation alert for the stall if the first time exceeds the parking expiration time.

Abstract: The present disclosure relates to a method for electronic circuit design. Embodiments may include providing, using at least one processor, an electronic design and isolating a combinational loop associated with the electronic design. Embodiments may further include inserting a sequential element in a loop path of the combinational loop, wherein the sequential element has a clock that is at least twice as fast as a fastest system clock associated with the electronic design. Embodiments may also include generating a property that determines whether an input and an output of the sequential element is never different and determining whether the property is true using formal verification.

Abstract: The invention relates to non-Joulian magnetostriction (NJM) materials comprising transition metals, such as iron alloy magnets with non-Joulian magnetostriction (NJM). The invention also relates to reversibly linear non-dissipative transition metals magnets. The materials are capable of simultaneously large actuation in longitudinal and transverse directions, without simultaneous heat loss. The invention relates as well to methods of making non-Joulian magnetostriction (NJM) materials.

Abstract: A device for attaching to a surface of a wind turbine blade is described. The device comprises a plurality of sections to be arranged end-to-end along a portion of the blade. Each section of the device comprises: a baseplate for bonding to the surface of the blade; a first panel extending from the baseplate; first and second end walls extending respectively along transverse edges of the baseplate and the first panel; a first tab extending from the first end wall; and a second tab extending from the second end wall, the second tab being transversely offset from the first tab. The tabs are arranged such that when the sections are positioned end-to-end with a first end wall of a first section adjacent to a second end wall of a second section, the first tab of the first section overlaps the second end wall of the second section, whilst the second tab of the second section overlaps the first end wall of the first section.

Abstract: A disc brake includes a caliper; a pad pressed against a disc by a movable portion of the caliper and including a mounting ear portion provided to be protruded in a longitudinal direction of the pad; a pad spring including a guide plate configured to guide the mounting ear portion, and a first biasing member configured to press the mounting ear portion of the pad toward outside of the disc; and a second biasing member provided at the pad to bias the pad in a direction away from the disc. The guide plate of the pad spring has a surface that abuts on the mounting ear portion of the pad pressed by the first biasing member. The pad spring includes a folded region protruded in an axial direction of the disc from the surface abutting on the mounting ear portion of the pad, and folded in a direction toward the outside of the disc and away from the mounting ear portion. The folded region includes an abutting portion which the second biasing member provided at the pad abuts on.

Abstract: A method and apparatus for counteracting spin of the crusher head on cone or gyratory crushers is provided. An annular rubber muscle element is secured relative to said bowl frame and positioned between the bowl frame and a surface of the head, and which can be selectively placed into contact under pressure with the surface of the head to prevent spin during start up but which is then released during normal crushing operation.

Abstract: A method and system for creating an index of content without interfering with the source of the content includes an offline content indexing system that creates an index of content from an offline copy of data. The system may associate additional properties or tags with data that are not part of traditional indexing of content, such as the time the content was last available or user attributes associated with the content. Users can search the created index to locate content that is no longer available or based on the associate attributes.

Abstract: A media presentation and distribution system (MPDS) communicatively coupled to a client device, which handles media content distribution via a content delivery network, to a client device associated with a user: identifies candidate time intervals in programming media content played at the client device based on at least a request received from the client device. The MPDS retrieves media content from a media store in the MPDS. The media content is retrieved based on at least one of the user intent information and a plurality of targeting parameters associated with the user. The MPDS dynamically generates personalized media content that corresponds to the candidate time intervals in the programming media content and further instructs playback of the dynamically generated personalized media content at the identified candidate time intervals based on the specified version of the programming media content played at the client device.

Abstract: The present disclosure relates to a method for electronic design. Embodiments may include displaying, at a graphical user interface, at least a portion of a cover trace or an assertion counter-example associated with an electronic design. Embodiments may also include allowing, at the graphical user interface, a user to analyze the cover trace or the assertion counter-example during a debugging session. Embodiments may further include identifying a dead-end state during the analysis and converting one or more constraints used in the debugging session to soft constraints. Embodiments may further include identifying at least one trace, based upon, at least in part, the soft constraints and displaying at least one unsatisfied constraint associated with the identified trace at the graphical user interface.

Abstract: A biogas cleaning method for purifying a biogas waste stream to form a combustible clean biofuel uses a biogas cleaning system that includes a gas control system, a deoxidizer catalyst bed, a hydrosulfurization catalyst bed, a hydrogen sulfide adsorption bed and a thermal sensor controller. The biogas cleaning method includes using a biogas source to introduce a biogas waste stream into the biogas cleaning system, blending hydrogen with the biogas waste stream, combusting the blended hydrogen and biogas stream to remove oxygen, hydrogenating the heated biogas waste stream to convert sulfur species to hydrogen sulfide and adsorbing the hydrogen sulfide from the biogas stream. In some embodiments, a biogas cleaning system also includes a sulfur polisher adsorption bed, a chlorine removal adsorption bed, a siloxane removal adsorption bed, a heat exchanger loop and a biogas precooler.

Abstract: A fuel authorization system enables data to be exchanged between vehicles and a fuel vendor, to verify that the vehicle is authorized to receive fuel. Each fuel island is equipped with a camera and a short range radio (RF) component. Participating vehicles are equipped with fuel authorization component including an IR transmitter and a RF component that can establish a data link with the fuel island's RF unit. When the camera senses a vehicle in the fuel lane, an RF query is sent to the vehicle. Participating vehicles respond with an IR transmission. An RF data link is then established between the enrolled vehicle and the fuel vendor to verify that the vehicle is authorized to receive fuel. Once the verification is complete, the fuel dispenser is enabled. In some embodiments, the IR data link is not required, as the camera can distinguish between multiple fuel lanes.

Abstract: A cement solidification device for waste includes a slurrying vessel 14 that dissolves and slurries waste 11 containing harmful substances and deliquescent compounds in solvent water 12 to obtain slurried material 13; an iron-based additive supply unit 16 that adds an iron-based additive 15 to the slurrying vessel 14; a cement kneading vessel 20 that adds a cement solidifying agent 17 from a cement-solidifying agent supply unit 18 to the slurried material 13 in which the iron-based additive 15 is mixed to obtain a cement kneaded product 19; and a cement solidification unit 22 that cures the cement kneaded product 19 to form a cement solidified product 21.