Abstract: A multitenant solver execution service provides managed infrastructure for defining and solving large-scale optimization problems. In embodiments, the service executes solver jobs on managed compute resources such as virtual machines or containers. The compute resources can be automatically scaled up or down based on client demand and are assigned to solver jobs in a serverless manner. Solver jobs can be initiated based on configured triggers. In embodiments, the service allows users to select from different types of solvers, mix different solvers in a solver job, and translate a model from one solver to another solver. In embodiments, the service provides developer interfaces to, for example, run solver experiments, recommend solver types or solver settings, and suggest model templates. The solver execution service relieves developers from having to manage infrastructure for running optimization solvers and allows developers to easily work with different types of solvers via a unified interface.

Abstract: Methods, apparatus, systems for video processing, including video encoding or video decoding are described. One example method includes performing a conversion between a video comprising a video picture that includes a video slice and a bitstream of the video. The bitstream conforms to a format rule specifying that, in case a slice type of the video slice is type P and temporal motion vector prediction is enabled, usage of reference picture resampling (RPR) for a reference picture in a collocated reference picture list is disabled. The reference picture is indicated by a reference index of a collocated picture of the video slice used for the temporal motion vector prediction.

Abstract: A voltage tracking circuit is provided. The voltage tracking circuit includes first and second P-type transistors and a control circuit. The drain of the first P-type transistor is coupled to a first voltage terminal. The gate and the drain of the second P-type transistor are respectively coupled to the first voltage terminal and a second voltage terminal. The control circuit is coupled to the first and second voltage terminals and generates a control voltage according to the first voltage and the second voltage. The sources of the first and second P-type transistors are coupled to an output terminal of the voltage tracking circuit, and the output voltage is generated at the output terminal. In response to the second voltage being higher than the first voltage, the control circuit generates the control signal to turn off the first P-type transistor.

Abstract: The present disclosure provides a counting chamber and an application thereof, and a method and a system for analyzing particles in a test sample. The method includes obtaining a full volume image of the test sample using an image acquisition device, wherein an imaging field of the full volume image is capable of reflecting an entire volume of the test sample in a sample container. The method further includes determining an analysis parameter of the particles in the test sample based on the full volume image, wherein the analysis parameter of the particles includes at least a count of the particles.

Abstract: A magnetoresistive random access memory (MRAM) device includes a first array region and a second array region on a substrate, a first magnetic tunneling junction (MTJ) on the first array region, a first top electrode on the first MTJ, a second MTJ on the second array region, and a second top electrode on the second MTJ. Preferably, the first top electrode and the second top electrode include different nitrogen to titanium (N/Ti) ratios.

Abstract: Methods, systems, apparatus for video processing are described. A method for processing video includes performing a conversion between a video and a bitstream of the video according to a format rule, and wherein the format rule specifies whether a syntax element in a sequence parameter set (SPS) based on a value of a general constraint flag.

Abstract: A hybrid random access memory for a system-on-chip (SOC), including a semiconductor substrate with a MRAM region and a ReRAM region, a first dielectric layer on the semiconductor substrate, multiple ReRAM cells in the first dielectric layer on the ReRAM region, a second dielectric layer above the first dielectric layer, and multiple MRAM cells in the second dielectric layer on the MRAM region.

Abstract: A virtual machine management method and apparatus, a device, and a readable storage medium. The virtual machine management method is applied to a private cloud, and comprises: acquiring a SELinux label, the SELinux label comprising five elements: User, Role, Type, Sensitivity, and Category (S101); setting elements other than Category in the SELinux label as default values (S102); assigning different values to Category according to a preset Category variable combination so as to obtain multiple non-duplicate label groups (S103); and configuring each label group to a virtual machine in the private cloud, so that virtual machines configured with the same label group communicate with each other, and virtual machines configured with different label groups are isolated from each other (S104).

Abstract: The present disclosure relates to a fracturing propping agent and a preparation method thereof. The fracturing propping agent comprises the following raw materials: dry sludge, quartz sand, coal ash, bauxite and clay.

Abstract: An additive manufacturing device for an aerospace truss includes a raw material input unit, a longitudinal beam forming unit, a longitudinal beam traction unit, a cross beam forming unit and a truss support unit. The raw material input unit stores pre-impregnated wires and pre-impregnated tapes, and a motor drives rollers to convey the pre-impregnated wires and the pre-impregnated tapes forward; the longitudinal beam forming unit is composed of three sets of forming molds, and the pre-impregnated tapes form V-shaped longitudinal beams through heating molds; a stepper motor used in the longitudinal beam traction unit drives three sets of roller traction devices through steering gears to pull formed longitudinal beams; the cross beam forming unit is composed of a motion module and a printing module, and a truss cross beam is printed through a 3D printing method of molten deposition.

Abstract: Techniques for video processing, including video coding, video decoding and video transcoding are described. One example method includes performing a conversion between a video including a video picture including a video tile including one or more slices and a bitstream of the video according to a rule. The rule specifies that a second slice in a tile that includes a first slice in a picture has a height that is represented in a unit of coding tree units. The first slice has a first slice index, and the second slice has a second slice index that is determined based on the first slice index and a number of explicitly provided slice heights in the video tile. The height of the second slice is determined based on the first slice index and the second slice index.

Abstract: A magnetoresistive random access memory (MRAM) structure, including a substrate and multiple MRAM cells on the substrate, wherein the MRAM cells are arranged in a memory region adjacent to a logic region. An ultra low-k (ULK) layer covers the MRAM cells, wherein the surface portion of ultra low-k layer is doped with fluorine, and dents are formed on the surface of ultra low-k layer at the boundaries between the memory region and the logic region.

Abstract: An FPGA-based USB3.0/3.1 control system, including: a USB control module including a USB3.0 control module and/or a USB3.1 control module; a PCS logic module connected to the USB control module via a PIPE interface; an FPGA Serdes serial communication module connected to the PCS logic module; and an external daughter card module connected to the FPGA Serdes serial communication module, wherein the PCS logic module, the FPGA Serdes serial communication module and the external daughter card module are connected in sequence to achieve a port physical layer function for testing the USB 3.0 control module and the USB 3.1 control module. The control system solves the cumbersome problems of incomplete emulation verification, test mode limitations, and unchangeable hardware functions in the prior art.

Abstract: An electronic circuit includes a first switched capacitor circuit and a second switched capacitor circuit. The first switched capacitor circuit charges and discharges a first flying capacitor to power a load. The second switched capacitor charges and discharges a second flying capacitor to power the load. When the first switched capacitor operates in a dead time, the second switched capacitor powers the load with the second flying capacitor.

Abstract: Methods and systems are provided for implementing quality estimation for automatic speech recognition, and more specifically training an ASR model, and training a QE model to perform word error rate prediction upon the trained ASR model. The ASR model may be a transformer learning model having an architecture including an encoder including multi-head attention layers, and a memory encoder including a masking multi-head attention layer. The QE model may include a binary classification model and a regression model, where the binary classification model is based on a discrete statistical distribution, and the regression model is based on a continuous statistical distribution. Training the ASR model may produce output having variable word error rates, and the QE model may be trained based on empirical word error rates of the ASR model. The QE model may predict performance of the ASR model without labor-intensive labeling to generate ground truth.

Abstract: Provided is a urate oxidase preparation. The urate oxidase preparation includes polyethylene glycol-modified urate oxidase as an active ingredient and a buffer reagent as an excipient.

Abstract: Provided is a method for preparing a polyethylene glycol-modified urate oxidase, at least 11 of the following amino acid sites of the polyethylene glycol-modified urate oxidase have a PEG modification: T1, K3, K4, K30, K35, K76, K79, K97, K112, K116, K120, K152, K179, K222, K231, K266, K272, K285, K291, and K293, and the preparation method includes: performing a coupling reaction between urate oxidase and polyethylene glycol, wherein the polyethylene glycol is provided in the form of an acidic solution, and a molar ratio of the urate oxidase to the polyethylene glycol is 1: (56 to 94), to obtain the polyethylene glycol-modified urate oxidase.

Abstract: A switched capacitor converter circuit includes: plural capacitors and plural switches which switch the connections of the plural capacitors periodically. In a first period, the plural switches control a first capacitor to be electrically connected between a first power and a second power, and control a second capacitor and a third capacitor to be electrically connected in series between the second power and a ground level. In a second period, the plural switches control the first capacitor and the second capacitor to be electrically connected in series between the second power and the ground, and control the third capacitor and the second capacitor to be electrically connected in parallel with the second power, thereby a second current of the second power is 4 times of a first current of the first power.

Abstract: A scramble and descramble hardware implementation method based on data bit width expansion. After expansion, redundant terms are eliminated, and scramble/descramble operation results within the current operation cycle and the value of the shift register after shifting are calculated at once. The present method exhibits advantageous effects with respect to the scramble and descramble polynomial defined by USB3.1 and PCI-Express3.0 protocols, and can obtain a relatively small hardware delay, so that the system can work at a higher frequency.

Abstract: The present invention is related to a method for proximity sensing and an applied electronic device thereof. The present invention provides that a movement signal is generated according to a detection data, a move baseline data and a move threshold and cooperated with a proximity signal for generating a judgement signal to judge if the human body or the object body is close to the electronic device.