Abstract: Disclosed is a detection device for a working surface. The detection device (100) comprises: a plurality of hydraulic supports (101), a laser ranging set (102), a displacement sensor (103), a hydroelectric signal conversion module (104), and a support controller (105) which are disposed on a working surface. The laser ranging set (102) is disposed below a top beam of a first target hydraulic support among the plurality of hydraulic supports and parallel to a post of the first target hydraulic support, and is configured to determine error length and send the error length to the hydroelectric signal conversion module (104). The displacement sensor (103) is configured to at least obtain the degrees of inclination of the hydraulic supports (101) and send the degrees of inclination to the hydroelectric signal conversion module (104).

Abstract: A coefficient encoding method, a coefficient decoding method, corresponding devices, and a storage medium are provided. In the coefficient decoding method, the value of said coefficient is determined according to the syntax elements obtained by decoding, wherein the syntax elements include: a non-zero flag, an M absolute values greater than Xi flag, a modulo result flag, a residual value flag, and a sign flag; the absolute value of said coefficient is the sum of the sum of corresponding numerical values preset for the coded value of the non-zero flag, the coded value of the M absolute values greater than Xi flag, and the coded value of the modulo result flag, and the product of the encoded value of the residual value flag and N; the value of said coefficient is a value determined according to the absolute value of said coefficient and a sign flag indicating positive or negative.

Abstract: A method for encoding a video includes: acquiring an encoding block; acquiring a transform block of the encoding block by processing the encoding block; acquiring flag information of a previous quantization coefficient quantized before a coefficient to be coded in the transform block; determining a target quantizer from N quantizers according to the flag information of the previous quantization coefficient and quantizing the coefficient to be coded using the target quantizer to acquire a current quantization coefficient, the N quantizers being quantizers corresponding to dependent quantization (DQ).

Abstract: Provided are a coefficient coding/decoding method, an encoder and a decoder.

Abstract: A method of bitstream verifying includes at the encoder side, the coded picture data of a spliced bitstream, containing a library bitstream and a main bitstream, is processed by different operations in the hypothetical bitstream buffer to simulate the data fulfillment level of the bitstream buffer. This is used to check whether the hypothetical bitstream buffer is overflowed or underflowed and verify the qualification of the bitstream. A method of managing bitstream at the decoder side is exploited to decode the library picture, which is inserted in the spliced bitstream, at a proper time. This ensures that a bitstream buffer with a limited capacity neither overflows nor underflows and the decoder can decode and present the picture of the main bitstream at a proper temporal order, which avoids lag of the main bitstream picture and waste of the decoded picture buffer.

Abstract: Disclosed in the present invention is a method of bitstream verifying. At the encoder side, the coded picture data of a spliced bitstream, containing a library bitstream and a main bitstream, is processed by different operations in the hypothetical bitstream buffer to simulate the data fulfillment level of the bitstream buffer. This is used to check whether the hypothetical bitstream buffer is overflowed or underflowed and verify the qualification of the bitstream. The purpose of the verification method is to check whether a bitstream produced by an encoder meets the constraint of the buffer. At the decoder side, a mechanism of managing bitstream corresponding to the present method of bitstream verifying is exploited to decode the library picture, which is inserted in the spliced bitstream, at a proper time. This ensures that a bitstream buffer with a limited capacity neither overflows nor underflows and the decoder can decode and present the picture of the main bitstream at a proper temporal order.

Abstract: The invention belongs to the field of plasma chemistry technology, and it involves a method of methanol conversion. Some electric discharge methods, such as dielectric barrier discharge (DBD), corona discharge, pulse corona discharge, glow discharge, etc. were used to selectively excite methanol molecule. The reactant residence time, temperature, pressure and carrier gas/methanol mole proportion were regulated to convert methanol to the objective products. The present invention mainly used methanol as raw material to synthesis ethylene glycol (EG). This method is a one-step synthesis technology, non-catalyst, environmental pollution-free and high selectivity to the EG. Moreover, methanol was a sustainable resource which can be obtained by many approaches. In this invention, ethanol, n-propanol were also obtained together with EG by the optimizing of reaction conditions, so this technology has great industrial prospects.