Abstract: Provided is a method for multithreaded program output uniqueness testing and proof-generation, based on program constraint construction; according to multithreaded program semantics, a constraint expression is constructed; an output uniqueness verification problem is converted to a constraint solving problem; a constraint solver is used to detect the presence of different outputs, and a counterexample execution path describing different outputs is generated; first, a tested program is stubbed, and the program is executed to obtain an execution path; then, according to multithreaded program execution semantics, the execution path is converted to a first-order logic expression having no quantifiers, the constraint expression encompassing all possible thread interleavings; then, uniqueness verification conditions are constructed for the output of a first run; lastly, the constraint solver is used for verifying whether a path is causing the output value and the run result to be inconsistent.

Abstract: A method and device of sending Buffer Status Reports (BSRs) are provided herein. The method includes: determining the type priority sequence of BSR by a user terminal, and selecting and processing one BSR based on the type priority. A user device is also provided. The provided method and device may reduce resource waste because there is no situation that at least two BSRs sending processes are triggered at one time and at least two BSRs are sent at one time.

Abstract: The present disclosure is directed to a dielectric fluid comprising a farnesene-based oligomer and an antioxidant and devices containing the dielectric fluid.

Abstract: A multi-band multi-path receiving and transmitting device and method, and a base station system are provided. The multi-band multi-path receiving and transmitting device includes a broadband antenna, at least two multi-frequency couplers, a multi-band transceiver, and a signal processing module. The multi-band transceiver is adopted to decrease the number of the transceivers, thereby reducing the material cost and the mounting cost of the base station system.

Abstract: A smart card with two read-write modes includes antenna layer, and an antenna and a chip module circuits on the antenna layer, wherein the antenna and the chip module circuit are electrically connected via an elastic conductive device. The invention also provides a manufacturing method of the aforesaid smart card with two read-write modes, which includes steps of: embedding an antenna on a back side or a front side of an antenna layer; after completing embedding on the antenna layer, add bedding sheets, printed sheets and protection films respectively above and underneath the antenna layer, then laminating to obtain a card base carrier; cutting card from the treated whole-sheet card base carrier to obtain a card base, and milling slots on the obtained card base, then finally encapsulating.

Abstract: Methods and systems for supplying media over communication networks are described. In one embodiment, a media supplier determines whether a media object hosted on a web server will be supplied to a client by streaming or not by streaming. Preferably, if the determination is to stream, the media supplier streams the media object to the client. In some cases, the same media supplier may be capable of supplying clients with media objects hosted on any of at least two web servers.

Abstract: A set-top box (STB) obtains a listing of businesses responsive to a request for a business directory search from a customer. The STB receives, from a customer, a selection of a business from the listing of businesses to call. The STB performs one of: initiating, at the STB, a Voice over Internet Protocol (VoIP) call to a phone number associated with the business and connecting the VoIP call to a mobile device, or other VoIP device, associated with the customer via a VoIP network, or initiating, at the STB, establishment of a call between a phone number associated with the business and a mobile device associated with the customer via a telephone network. The STB sends data associated with the request for the business directory search to a billing server for billing the customer for the request for the business directory search received at the STB.

Abstract: Embodiments of the disclosure provide a radio access method, apparatus, and system, which can implement mutual transmission and processing of collaborative data between sites on a basis of low-cost deployment and high availability, and improve network performance. In the method, a basic DU is deployed in a site, and the method may include: receiving, by a switching device, a first data packet sent by a first basic DU; determining to send the first data packet to a second basic DU for collaborative processing; and sending the first data packet to the second basic DU, so that the second basic DU performs collaborative processing on the first data packet and a second data packet, where the second data packet and the first data packet are of a same data type. Embodiments of the disclosure are applicable to the communications field.

Abstract: A multi-band multi-path receiving and transmitting device and method, and a base station system are provided. The multi-band multi-path receiving and transmitting device includes a broadband antenna, at least two multi-frequency couplers, a multi-band transceiver, and a signal processing module. The multi-band transceiver is adopted to decrease the number of the transceivers, thereby reducing the material cost and the mounting cost of the base station system.

Abstract: A chip stacked package structure includes a first chip and a second chip, where the second chip is stacked with the first chip and the second chip includes a package layer and a first routing layer, where the package layer includes at least two dies and an attaching part configured to attach the at least two dies, where the attaching part is provided with multiple vias, with a part of vias in the multiple vias disposed at an outer periphery of the at least two dies, and the other part of vias in the multiple vias disposed between the at least two dies, and the first routing layer electrically connects the at least two dies; where the package layer is located between the first routing layer and the first chip, an electrically conductive material is provided in the multiple vias.

Abstract: A smart card with two read-write modes includes antenna layer, and an antenna and a chip module circuits on the antenna layer, wherein the antenna and the chip module circuit are electrically connected via an elastic conductive device. The invention also provides a manufacturing method of the aforesaid smart card with two read-write modes, which includes steps of: embedding an antenna on a back side or a front side of an antenna layer; after completing embedding on the antenna layer, add bedding sheets, printed sheets and protection films respectively above and underneath the antenna layer, then laminating to obtain a card base carrier; cutting card from the treated whole-sheet card base carrier to obtain a card base, and milling slots on the obtained card base, then finally encapsulating.

Abstract: Methods and systems for supplying media over communication networks are described. In one embodiment, a media supplier determines whether a media object hosted on a web server will be supplied to a client by streaming or not by streaming. Preferably, if the determination is to stream, the media supplier streams the media object to the client. In some cases, the same media supplier may be capable of supplying clients with media objects hosted on any of at least two web servers.

Abstract: Provided are a performance evaluation system and method for laboratory leaning, relating to the field of education management and evaluation, in particular a performance evaluation system and method for laboratory learning for students using glass equipment as laboratory equipment. The present invention takes into consideration the shortcomings of the current performance evaluation method for laboratory learning and provides a performance evaluation system and method for laboratory learning that include an attendance statistics module, a monitoring module, an equipment management module, a laboratory data image recognition module, a laboratory data input interface module, a laboratory sample testing module, a laboratory data processing and analysis module, a laboratory knowledge computer written exam module, a student interface module, a teacher interface module, and a central processing module.

Abstract: Epoxidized fatty acid alkyl esters produced, at least in part, from a natural-oil soap stock and methods for making such epoxidized fatty acid alkyl esters. Epoxidized fatty acid alkyl esters can be employed in plasticizer compositions in combination with at least one epoxidized natural oil. Such plasticizers can be employed in preparing polymeric compositions comprising a polymeric resin, such as polyvinyl chloride, and the plasticizer. Such polymeric compositions can, in turn, be employed in making various articles of manufacture, such as coatings or jackets for wires and cables.

Abstract: A method and device of sending Buffer Status Reports (BSRs) are provided herein. The method includes: determining the type priority sequence of BSR by a user terminal, and selecting and processing one BSR based on the type priority. A user device is also provided. The provided method and device may reduce resource waste because there is no situation that at least two BSRs sending processes are triggered at one time and at least two BSRs are sent at one time.

Abstract: A chip stacked package structure includes a first chip and a second chip, where the second chip is stacked with the first chip and the second chip includes a package layer and a first routing layer, where the package layer includes at least two dies and an attaching part configured to attach the at least two dies, where the attaching part is provided with multiple vias, with a part of vias in the multiple vias disposed at an outer periphery of the at least two dies, and the other part of vias in the multiple vias disposed between the at least two dies, and the first routing layer electrically connects the at least two dies; where the package layer is located between the first routing layer and the first chip, an electrically conductive material is provided in the multiple vias.

Abstract: A multi-band multi-path receiving and transmitting device and method, and a base station system are provided. The multi-band multi-path receiving and transmitting device includes a broadband antenna, at least two multi-frequency couplers, a multi-band transceiver, and a signal processing module. The multi-band transceiver is adopted to decrease the number of the transceivers, thereby reducing the material cost and the mounting cost of the base station system.

Abstract: Embodiments of the present invention provide a method and apparatus for determining a connection relationship between an antenna feeding port of a base station and an antenna port. The method includes: receiving, via one antenna port, a signal sent by a base station, and acquiring the signal via a Smart Bias-Tee in an antenna and a port of a remote control unit in the antenna, where the antenna port, the Smart Bias-Tee, and the port of the remote control unit are in a one-to-one correspondence; determining, according to the Smart Bias-Tee and the port of the remote control unit that acquire the signal, the antenna port that receives the signal; and sending, to the base station, identification information of the antenna port that receives the signal, and/or identification information of an antenna corresponding to the antenna port. Then accuracy and convenience in determining the connection relationship can be improved.

Abstract: A multi-band multi-path receiving and transmitting device and method, and a base station system are provided. The multi-band multi-path receiving and transmitting device includes a broadband antenna, at least two multi-frequency couplers, a multi-band transceiver, and a signal processing module. The multi-band transceiver is adopted to decrease the number of the transceivers, thereby reducing the material cost and the mounting cost of the base station system.

Abstract: A method and device of sending Buffer Status Reports (BSRs) includes determining the type priority sequence of BSR by a user terminal, and selecting and processing one BSR based on the type priority. A user device is also provided. In the process of implementing the provided method and device, the terminal may select and process one BSR when the sum of the BSR qualified for triggering the sending and the BSR marked as pending is greater than one.