Abstract: A method implemented as a test grading system (TGS) in a programmable computing system grades simulation tests according to their verification property coverage. The TGS identifies verification properties from one or more of the circuit design (e.g. RTL description), verification properties files and test simulation results, and determines verification property coverage for each test. That is, it finds out which verification properties are covered by each simulation test. According to a specified criterion, the TGS recommends a subset of the available tests based on their verification property coverage.

Abstract: An indicia reading terminal can comprise an image sensor integrated circuit having a two-dimensional image sensor, a hand held housing encapsulating the two-dimensional image sensor, and an imaging lens configured to focus an image of a target decodable indicia onto the two-dimensional image sensor. The two-dimensional image sensor can include a plurality of pixels arranged in repetitive patterns. Each pattern can include at least one pixel sensitive in a first spectrum region, at least one pixel sensitive in a second spectrum region, and at least one pixel sensitive in a third spectrum region. The image sensor integrated circuit can be configured to capture a frame of image data by reading out a plurality of analog signals. Each read out analog signal can be representative of light incident on a group of two or more pixels of the plurality of pixels.

Abstract: An access point allocates a plurality of stations among multiple groups, the multiple groups including a first group and a second group. The access point generates a first beacon frame including network information for the first group, and generates a second beacon frame including network information for the second group. The access point transmits the first beacon frame, and transmits the second beacon frame.

Abstract: An electric machine (10), in particular for the motorized adjustment of movable parts in the motor vehicle, and method for producing an electric machine (10), comprising a housing part (16) in which a printed circuit board (20) for electrically activating the electric machine (10) is arranged, wherein at least one centering pin (44) which reaches into a centering opening (45) in the printed circuit board (20) is arranged in the housing part (16), wherein the centering pin (44) is plastically deformed at the free end (46) thereof in order to form a securing head (56).

Abstract: A first communication device determines that each second communication device in a plurality of second communication devices has respective data to be transmitted to the first communication device. The first communication device transmits a request to the plurality of second communication devices to transmit data to the first communication device simultaneously during a transmit opportunity period of the first communication device. The first communication device receives data transmitted simultaneously by the plurality of second communication devices during the transmit opportunity period of the first communication device.

Abstract: A network interface of an access point device is configured to transmit to one or more first client stations in a first basic service set (BSS) a first value of a first parameter that indicates a time duration during which the access point device will not dissociate a client station due to not receiving at least one frame from the client station, and transmit to one or more second client stations in a second BSS a second value of the first parameter. The first value of the first parameter is at least an order of magnitude larger than the second value of the first parameter.

Abstract: Embodiments described herein relate to providing reduced power consumption in wireless communication systems, such as 802.11 WLAN systems. Timing information regarding power save opportunities (PSOPs) may be provided in communication frames, which may inform mobile devices of expected frame exchange periods during which they may transition to a Doze state. Additional PSOP information may be included in beacon frames, which may inform mobile devices of expected multicast periods during which they may transition to a Doze state. This may operate to provide improvements in terms of power consumption.

Abstract: The invention relates to an array substrate for a display device and to a method for manufacturing an array substrate comprising a thin-film transistor (“TFT”). An array substrate according to an embodiment of the invention comprises a source electrode, a gate electrode and a drain electrode, wherein the gate electrode is located on a first metal layer, the source electrode and the drain electrode are located on a second metal layer, and in the case that dislocation occurs between the first metal layer and the second metal layer, the area of the overlapping region between the source electrode and the gate electrode keeps constant.

Abstract: A method for generating a beamforming training (BFT) unit includes generating a physical layer (PHY) preamble of the BFT unit and generating a first encoding block and a second encoding block using PHY data and MAC data, including at least one of i) using a number of padding bits in a PHY layer of the BFT unit such that the BFT unit consists of the PHY preamble, the first encoding block, and the second encoding block, and ii) generating a MAC protocol data unit (MPDU) having a length such that the BFT unit consists of the PHY preamble, the first encoding block, and the second encoding block.

Abstract: A wireless station includes a transceiver configured to wirelessly receive networking frames over a wireless medium, and a channel access counter configured to track a time period and signal that the time period has expired. The time period begins in response to a first networking frame of the networking frames. The first networking frame is addressed to a receiver other than the wireless station. A length of the time period is based on a first length in response to a type of the first networking frame being an acknowledgment frame type. The length of the time period is based on a second length in response to the type of the first networking frame being a data frame type. The transceiver is configured to wait to access the wireless medium until after the channel access counter signals that the time period has expired.

Abstract: A method for generating OFDM signals is implemented in a device operating according to a communication protocol. The protocol defines non-duplicate mode data units corresponding to single component channels of a BSS channel, and non-duplicate mode data units corresponding to sets of adjacent component channels. Non-duplicate mode data units corresponding to a set of component channels have more lower-edge and/or upper-edge guard tones than non-duplicate mode data units corresponding to single component channels. The method includes determining that a duplicate mode will be utilized for an OFDM transmission in the set of component channels and, in response, generating a duplicate mode data unit. The duplicate mode data unit has fewer lower-edge and/or upper-edge guard tones than a non-duplicate mode data unit corresponding to a set of component channels, and includes one duplicate of the non-duplicate mode data unit corresponding to the single component channel for each adjacent component channel.

Abstract: This disclosure relates to service discovery using a dynamically configurable Bloom filter. According to some embodiments, various parameters of the Bloom filter may be determined by a first wireless device. The parameters may include a number of services advertised using the Bloom filter, a false positive rate of the Bloom filter, a set of hash functions used with the Bloom filter, and/or a size of the Bloom filter. The Bloom filter may be generated according to the determined parameters. The Bloom filter, along with some or all of the parameters of the Bloom filter, may be transmitted by the first wireless device. A second wireless device may use the Bloom filter as part of a service discovery process to determine whether or not a desired service is available via the first wireless device.

Abstract: The present invention provides an interaction device including an interaction interface, where a display area is formed of multiple display boundaries among which a corner area is formed between every two adjacent display boundaries; an interface interaction unit, for generating two first boundaries at a position that is corresponding to at least one corner area in the display area, where the two first boundaries and corner sides display boundaries form a main menu selection area which includes a selectable object; a processing unit, configured to, when the selectable object in the main menu selection area is selected and moves towards a position where any one of the two first boundaries is located and the selected selectable object crosses over a predetermined position, replace the selected selectable object in the main menu selection area with predetermined upper level selectable objects or lower level selectable objects correlated to the selected selectable object.

Abstract: A method for optimizing the flexible constraints of an electric power system includes a step S1 of expressing the total power generation cost of the electric power system by using the sum of quadratic functions of active power outputs of all generator sets in the system and constructing an objective function, a step S2 of selecting a multi-dimensional flexible optimization model or a flexible power generation cost optimization model according to the practical situation of the electric power system and the practical purpose of optimization, a step S3 of determining the operating conditions of the electric power system, and a step S4 of carrying out load flow calculation.

Abstract: A method and system are disclosed for calibrating a mid-voltage node in an integrated circuit including an input-output circuit having charge-recycling stacked voltage domains including at least first and second voltage domains. In one embodiment, the method comprises transmitting data through the input-output circuit, including transmitting a first portion of the data across the first voltage domain, and transmitting a second portion of the data across the second voltage domain. The method further comprises measuring a specified characteristic of the data transmitted through the input-output circuit; and based on the measured specified characteristic, adjusting a voltage of said mid-voltage node to a defined value. The voltage of the mid-voltage node may be adjusted to accomplish a number of objectives, for example, to achieve a desired trade-off between power and performance, or so that the two voltage domains have the same performance.

Abstract: The present invention relates to a process for preparing acrylic acid comprising (i) providing a stream comprising a formaldehyde source and acetic acid and (ii) contacting this stream with an aldol condensation catalyst comprising a zeolitic material, wherein the framework structure of the zeolitic material in (ii) includes Si and O, and has a molar Al:Si ratio of 0:1 to 0.001:1, and wherein the framework structure of the zeolitic material in (ii), in addition to Si and any Al, comprises one or more elements selected from the group consisting of tetravalent elements Y other than Si and trivalent elements X other than Al.

Abstract: An apparatus and methods are provided for initiating a network connection between a first device and a second device. While one or more high-power network interfaces of the first device are in a dormant state, the first device communicates with a second device via the first device's low-power network interface. The first device can determine, based on the communication, whether to establish a network connection with the second device via a high-power network interface of the first device. Next, if the first device is to establish the network connection with the second device via the high-power network interface, the device can wake the first high-power network interface and connect to the second device via the first high-power network interface.

Abstract: A process for preparing acrylic acid, comprising (i) providing a stream S4 comprising a formaldehyde source and acetic acid; (ii) contacting stream S4 with an aldol condensation catalyst comprising a zeolitic material comprising aluminum in the framework structure to obtain a stream S6 comprising acrylic acid, the framework structure of the zeolitic material in (ii) comprising YO2 and Al2O3, and Y being a tetravalent element; where the total content of alkali metal and alkaline earth metal in the zeolitic material in (ii), calculated as alkali metal oxide and alkaline earth metal oxide, is from 0% to 0.1% by weight, based in each case on the total weight of the zeolitic material, and where the aldol condensation catalyst in (ii) comprises, outside the framework structure of the zeolitic material present therein, from 0% to 1% by weight of vanadium, based on vanadium as vanadium(V) oxide.

Abstract: An apparatus for use in decoding a bar code symbol may include an image sensor integrated circuit having a plurality of pixels, timing, and control circuitry for controlling an image sensor, gain circuitry for controlling gain, and analog to digital conversion circuitry for conversion of an analog signal to a digital signal. The apparatus may also include a printed circuit board for receiving the image sensor integrated circuit. The connection between the image sensor integrated circuit and the printed circuit board characterized by a plurality of conductive adhesive connectors disposed between a plurality of electrode pads and a plurality of contact pads, where the conductive adhesive connectors provide electrical input/output and mechanical connections between the image sensor integrated circuit and the printed circuit board. The apparatus may be operative for processing image signals generated by the image sensor integrated circuit for attempting to decode the bar code symbol.

Abstract: In a method for generating a physical layer (PHY) data unit for transmission via a communication channel, the PHY data unit is generated according to a first PHY format when the PHY data unit is to be transmitted in a regular mode, wherein the first PHY format corresponds to a first bandwidth. The PHY data unit is generated according to a second PHY format when the PHY data unit is to be transmitted in an extended range mode, wherein the second PHY format corresponds to a second bandwidth. A preamble of the PHY data unit is modulated such that a receiving device can auto-detect whether the PHY data unit was transmitted at the first bandwidth or the second bandwidth.