Abstract: The present disclosure relates to a computer-implemented method for use in an electronic design. The method may include receiving, using at least one processor, an electronic design and analyzing the electronic design. The method may further include generating one or more preconditions representative of metastability effects at the output of at least one synchronizer associated with the electronic design. The method may also include generating, based upon, at least in part, the one or more preconditions, one or more properties configured to analyze a propagation of the metastability effects associated with the at least one synchronizer.

Abstract: A terminal module includes an electrical contact having a body (30) configured to face a butting portion (82) on a mating terminal, oriented such that a coil axis (P) is parallel to the body (30) of the electrical contact member and configured to be sandwiched between the mating terminal and the electrical contact (20) to be tilted toward the coil axis (P) when the mating terminal and the electrical contact (20) approach. At least one of a facing surface (31) on the body (30) of the electrical contact (20) on which the obliquely wound coil spring (60) slides and a contact surface (81) on the butting portion (82) of the mating terminal on which the obliquely wound coil spring (60) slides is formed into an uneven surface for increasing frictional resistance during sliding.

Abstract: An airbag module assembly has an airbag cushion with at least one vent, a housing structure for receiving the airbag cushion, a housing cover for attachment to the housing structure, a vent connector connected to the vent, a pin puller mechanism with a retractable pin, and a flexible conduit extending from the airbag cushion adjacent the vent to the pin puller mechanism. The vent connector extends inside the conduit to a looped end for attachment to the retractable pin. The vent connector can be a rope or wire. The vent is initially in a closed position during deployment of the airbag. The airbag cushion is folded about the conduit during assembly and the vent connector is configured to pass through the flexible conduit when the airbag cushion is folded.

Abstract: Systems and methods for streaming non-process event data to computing devices include identifying non-process event data values based on non-process events. A non-process event may refer to an event associated with the process plant but not caused or generated within the process plant. The systems and methods further include generating one or more alarms or alerts corresponding to the non-process event data values. The systems and methods further include displaying the one or more alarms or alerts or the corresponding non-process event data values at an operator device in accordance with a display object governing a manner in which the one or more alarms or alerts or the corresponding non-process event data values are to be displayed on an operator interface.

Abstract: A method for determining signal electromigration in a circuit includes selecting partitions from a netlist of the circuit is provided, each of the partitions including independent signal paths. The method includes determining a size of a partition, applying input vectors to a signal path in a large partition to obtain a signal toggle in an output, determining a current in the signal path, and identifying an electromigration result from the current flow. The method includes generating an output database for the partition, comprising an electromigration result for the first component, and combining the output database for the partition with a second output database from a second partition, the second output database including a second electromigration result for a second component in the second partition to generate an electromigration report for the netlist of the integrated circuit.

Abstract: A fluid system coupler includes a coupler body having an open end for receiving an adaptor therein. A seal assembly is movably disposed within the coupler body for selective sealing engagement with an adaptor. Lever cams pivot into or out of slots in the coupler body between locked and unlocked positions to fasten or unfasten the adaptor to the coupler. A handle is movably connected to the coupler body. Movement of the handle moves the seal assembly within the coupler body. Movement of the handle also results in movement of the lever cams between the locked and unlocked positions. A poppet assembly is mounted to the seal assembly. The poppet assembly can selectively open or close a fluid passageway through the coupler.

Abstract: A pouch cell (20A, 20) includes a generally rectangular cell housing (20, 21) formed of a metal laminated film, an electrode assembly (60) that is sealed within the cell housing (20, 21), and a current collector device disposed in the cell housing (20, 21). The electrode assembly (60) includes positive electrode portions alternating with negative electrode portions, the positive electrode portions and the negative electrode portions being separated by at least one separator and stacked along a stack axis (66). The current collector device is electrically connected to one of the positive electrode portions and the negative electrode portions and exits the cell housing (20, 21) via an opening (28, 428) formed in the cell housing (20, 21). The opening (28, 428) is formed in a side (22, 24) wall of the cell housing (20, 21) at a location spaced apart from the sealed joint (40) that closes the cell housing (20, 21) and at a location facing the stack axis (66).

Abstract: An electricity storage unit includes: an electricity storage device; a circuit portion on which an electronic component is mounted; a heat dissipation member that dissipates heat from the circuit portion; and a holding member that holds the electricity storage device in a state where the electricity storage device, the circuit portion, and the heat dissipation member are stacked, wherein the holding member is provided with a supporting portion that supports the electricity storage device and abuts against the heat dissipation member.

Abstract: A method and apparatus are provided for positron emission imaging to correct a recorded energy of a detected gamma ray, when the gamma ray is scattered during detection. When scattering occurs, the energy of a single gamma ray can be distributed across multiple detector elements—a multi-channel detection. Nonlinearities in the detection process and charge/light sharing among adjacent channels can result in the summed energies from the multiple crystals of a multi-channel detection deviating from the energy that would be measured in single-channel detection absent scattering. This deviation is corrected by applying one or more correction factors (e.g., multiplicative or additive) that shifts the summed energies of multi-channel detections to agree with a known predefined energy (e.g., 511 keV). The correction factors can be stored in a look-up-table that is segmented to accommodate variations in the multi-channel energy shift based on the level of energy sharing.

Abstract: A battery terminal cover (1) is mounted on a battery (2) to be installed in a vehicle and includes a body (10) to be fixed to the battery (2), a movable portion (20) coupled to the body (10) via hinges (50) and rotatably displaceable to a shielding position to cover a screw member bolt (6) mounted on the battery (2) and an open position to be overlapped on the body portion (10), and a tool restricting portion (30) provided on the movable portion (20) and configured to restrict the rotation of a tool (T) by interfering with the tool before the tool rotated about the screw member (6) contacts the vehicle with the movable portion (20) set at the open position.

Abstract: A method for modifying a brake application of a combination vehicle comprises receiving a temperature signal of a first brake pad of a first brake assembly and receiving a temperature signal representative of a temperature of a second brake pad of a second brake assembly. The temperatures are compared to a first predetermined temperature. The method will determine if service brakes of the trailer are being applied by a driver and compare a wheel speed of the trailer with the wheel speed of a tractor of the combination vehicle. The method will determine a brake drag exists on the trailer in response to both the first and the second brake pad temperature being greater than the first predetermined temperature, the trailer wheel speed being less than the tractor wheel speed and the service brakes not being applied by the driver.

Abstract: At least some embodiments are a method including connecting a mobile computer system to a vehicle computer system, wherein the vehicle computer system does not include a display device. Mission control data is received from the vehicle computer system, the mission control data generated by one or more vehicle I/O sensors coupled to the vehicle computer system. The mission control data is displayed on a display device of the mobile computer system.

Abstract: A stand device for arranging in an operating room and for locally moving a medical device can incorporate a braking device having at least one brake to adjust a degree of freedom of movement of the medical device or a support system holding the device, wherein the stand device can further comprise a control device connected to the braking device to evaluate an external force acting on the stand device or a movement caused by the external force and configured to control the braking device and to adjust the degree of freedom of movement. The medical device can be moved without operating a switch/pushbutton. Furthermore, the disclosure relates to control devices and a methods for positioning the medical device.

Abstract: Methods, systems, and computer-readable media for providing a virtualization layer for mobile applications are presented. A computing device may parse code of an application to identify a first set of one or more classes in the application. The computing device may transmit code usable by the first set of one or more classes to a module accessible to the application and create a second set of one or more classes in the application to replace the first set of one or more classes, wherein the second set of one or more classes does not inherit from the first set of one or more classes in an object hierarchy. In some embodiments, the second set of one or more classes provides at least one different function from the first set of one or more classes. The computing device may execute the application comprising the second set of one or more classes.

Abstract: At each step of a workflow performed by an operator that involves a plurality of input mechanisms in a radiation therapy system, the operator is assisted in the process of selecting the next input mechanism in a way that greatly reduces the number of possible input mechanisms that can be chosen. A first subset of input mechanisms is made visually prominent via a first visual technique and a second subset of the input mechanisms is made visually prominent via a second visual technique. The first subset includes input mechanisms that are available for selection at that particular step in the workflow and the second subset includes recommended input mechanisms that are the most likely to be the next input mechanism that should be actuated by the operator at that particular step in the workflow.

Abstract: Methods, systems, and techniques for performing automated drilling of a wellbore. The wellbore is drilled in response to a first drilling parameter target (such as weight on bit) that includes a first drilling parameter offset modified by a first drilling parameter perturbation signal. A first drilling performance metric (such as rate of penetration) is measured and is indicative of a response of the drilling to the first drilling parameter target. An output of a first objective function is determined using the measured first drilling performance metric. A first correlation between the output of the first objective function and the first drilling parameter perturbation signal, and an integral of the first correlation, are determined. The first drilling parameter target is updated using the integral modified by the first drilling parameter perturbation signal. The wellbore is drilled in response to the updated first drilling parameter target.

Abstract: Illustrative systems and methods enable a virtual machine (“VM”) to be powered up at any hypervisor regardless of hypervisor type, based on live-mounting VM data that was originally backed up into a hypervisor-independent format by a block-level backup operation. Afterwards, the backed up VM executes anywhere anytime without needing to find a hypervisor that is the same as or compatible with the original source VM's hypervisor. The backed up VM payload data is rendered portable to any virtualized platform. Thus, a VM can be powered up at one or more test stations, data center or cloud recovery environments, and/or backup appliances, without the prior-art limitations of finding a same/compatible hypervisor for accessing and using backed up VM data. An illustrative media agent maintains cache storage that acts as a way station for data blocks retrieved from an original backup copy, and stores data blocks written by the live-mounted VM.

Abstract: A satellite communication system includes a communication terminal, and a ground station. The ground station is configured to communicate with the communication terminal through a satellite communication path between the ground station and the communication terminal via a satellite. The ground station includes a diversity switch, and an electronic controller. The diversity switch is configured to switch the satellite communication path from a first satellite communication path to a second satellite communication path different from the first satellite communication path. The electronic controller is configured to determine whether a predetermined switching condition is satisfied based on signal attenuations of the first and second satellite communication paths. The electronic controller is further configured to control the diversity switch to switch the satellite communication path upon elapsing a first predetermined time period after determining that the predetermined switching condition is satisfied.

Abstract: A system and method to determine a flow direction automatically so that counter-flow motion may be detected without user calibration is disclosed. The system and method utilize information available from existing video compression algorithms to sense motion and determine a flow direction. Once a flow direction for an area is determined, the system and method can detect counter-flow motion using compressed video without any decompression, thereby improving the speed of detection and simplifying the computational complexity. These improvements facilitate counter-flow alarms and expand the information available to a user monitoring the video.