Abstract: Disclosed is a projector keystone correction method, including: obtaining first coordinate values of a plurality of position points on a projective plane through an RGBD (Red, Green, Blue-Depth) camera in a first coordinate system; determining second coordinate values of the position points according to a predetermined conversion relation and the first coordinate values in a second coordinate system; and using an included angle between a fitted plane obtained by fitting according to the second coordinate values of the plurality of position points and a coordinate plane of the second coordinate system to achieve keystone correction.

Abstract: A projector, including: a housing; an opto-mechanical system arranged inside the housing; a first light source arranged on the housing and configured to emit target light of a specified wavelength; a semi-transmissive and semi-reflective sheet arranged in the opto-mechanical system and configured to transmit visible light and reflect target light entering the opto-mechanical system, wherein the target light entering the opto-mechanical system is target light reflected back from an obstacle when the target light emitted by the first light source encounters the obstacle; and a light sensor configured to detect target light reflected from the semi-transmissive and semi-reflective sheet, and determine position information of the obstacle according to a first time when the first light source emits the target light and a second time when the light sensor detects the target light reflected from the semi-transmissive and semi-reflective sheet. A projection method is also provided.

Abstract: Provided are a data processing method and device, and a computer-readable storage medium. The data processing method includes: acquiring at least one type of weights and feature data corresponding to each type of the weights; acquiring, according to the at least one type of weights, a classification feature corresponding to each type of the weights; performing calculation according to the at least one type of weights and the feature data corresponding to each type of the weights to obtain a first processing result corresponding to each type of the weights; and performing calculation according to the classification feature and the first processing result corresponding to each type of the weights corresponding to each type of the weights to obtain a second processing result.

Abstract: A convolution processing method and apparatus for a convolutional neural network, and a storage medium are provided. The method includes that: weight values in a sub convolution kernel in the convolutional neural network are classified; for each of the weight values, an indicator storing a corresponding operation to be executed on data and an address representing the weight value are generated according to a classification result of the corresponding weight value; corresponding to-be-processed data is acquired according to the address of the weight value; and a convolution operation is executed on the to-be-processed data according to the indicator to obtain a convolution result.

Abstract: Provided is a communication apparatus and a base station. The apparatus includes a clock management resource pool and a power management resource pool, and further includes at least one of: a baseband resource pool, a general-purpose computing resource pool, or a network exchange processing resource pool. The baseband resource pool includes at least one baseband processing unit, the general-purpose computing resource pool includes at least one computing unit, the clock management resource pool includes at least one clock management unit, the network exchange processing resource pool includes at least one network exchange processing unit, and the power management resource pool includes at least one power management unit.

Abstract: A method or apparatus comprising a verification system using a processor to utilize a first set of verification engines to solve easy properties of an integrated circuit design, such as RTL, running a machine-learning algorithm for a hardness ranking analysis on a plurality of properties based on data from the first set of verification engines, and ranking the plurality of properties by a hardness of verification. The method or apparatus further to order the plurality of properties based on the hardness of verification.

Abstract: Provided is a communication apparatus and a base station. The apparatus includes a clock management resource pool and a power management resource pool, and further includes at least one of: a baseband resource pool, a general-purpose computing resource pool, or a network exchange processing resource pool. The baseband resource pool includes at least one baseband processing unit, the general-purpose computing resource pool includes at least one computing unit, the clock management resource pool includes at least one clock management unit, the network exchange processing resource pool includes at least one network exchange processing unit, and the power management resource pool includes at least one power management unit.

Abstract: A design verification problem includes a design description and a property to be verified. Feature data is identified from the design verification problem and a result is predicted for the design verification problem based on the feature data. A plurality of verification engines is then orchestrated based on the prediction. Supervised machine learning may be used for the result prediction. Feature data and verification results from a plurality of training test cases are used to train a classifier to create a prediction model. The prediction model uses the feature data of the design verification problem to make a result prediction for the design verification model.

Abstract: A method, system or computer usable program product for model checking a first circuit model including receiving a request from a user for a model check of the first circuit model; responsive to receiving the user request, simulating the first circuit model to generate simulation results; hashing the first circuit model simulation results to generate a hash index; comparing the hash index to a database of prior hash indices generated from hashed simulation results of prior circuit models to determine whether the first circuit model hash index matches a prior hash index of any of the prior circuit models to identify a matching prior circuit model; upon a positive match, determining whether the first circuit model is equivalent to the matching prior circuit model; and upon a positive determination of equivalence, providing prior test results of the matching prior circuit model to the user.

Abstract: A method or apparatus comprising a verification system using a processor to utilize a first set of verification engines to solve easy properties of an integrated circuit design, such as RTL, and running a machine-learning algorithm for hardness ranking analysis on a plurality of properties based on data from the first set of verification engines, and ranking the plurality of properties by a hardness of verification. The method of apparatus further to order the plurality of properties based on the hardness of verification.

Abstract: A method and device for adjusting rate of data transmission in Ethernet is provided. The method comprises: connection status of a data transmission link in the Ethernet is monitored; and a rate of data transmission in Ethernet is adjusted according to the monitored connection status. By way of monitoring the connection status of the data transmission link in Ethernet and then adjusting the rate of data transmission in Ethernet according to the monitored connection status, the problem in the related art that stability and reliability of data transmission are affected by a data transmission link failure in Ethernet is solved, thus greatly improving stability and reliability of data transmission, and improving user experience.

Abstract: A data stream and data packet transmission method and device are described, relating to the field of interface data transmission technologies. The method includes: a home end detects whether data to be transmitted is a data stream or a data packet; when it is detected that the data stream and the data packet exist simultaneously, the data stream is preferentially transmitted; and upon completion of transmission of the data stream, then the data packet is transmitted. According to the embodiments of the disclosure, when the data stream and the data packet exist simultaneously, high efficiency transmission of the data stream may be achieved with no need of extra external time for scheduling operations, effectiveness of transmission of the data stream is enhanced, and data transmission efficiency through the interface is improved.

Abstract: A method, system or computer usable program product for model checking a first circuit model including determining whether the first circuit model is functionally equivalent to one of a set of prior circuit models stored in persistent memory, and in response to determining functional equivalence, utilizing a processor to provide test results for the functionally equivalent prior circuit model.

Abstract: The present invention discloses a method and device for arbitrating priority levels. The method comprises: setting a plurality of first stage polling arbiters and a second stage priority level arbiter respectively, wherein the number of the first stage polling arbiters is equal to the number of priority levels contained in a plurality of source ends; receiving task request signals for requesting tasks from the plurality of source ends and assigning request tasks with the same priority level to the same first stage polling arbiter; each of the first stage polling arbiters polling the received request tasks with the same priority level respectively to obtain one request task and transmitting the request task to the second stage priority level arbiter; and the second stage priority level arbiter receiving the plurality of request tasks and outputting an output result of request tasks with the highest priority level to a destination end.

Abstract: A method, system or computer usable program product for model checking a first circuit model including receiving a request from a user for a model check of the first circuit model; responsive to receiving the user request, simulating the first circuit model to generate simulation results; hashing the first circuit model simulation results to generate a hash index; comparing the hash index to a database of prior hash indices generated from hashed simulation results of prior circuit models to determine whether the first circuit model hash index matches a prior hash index of any of the prior circuit models to identify a matching prior circuit model; upon a positive match, determining whether the first circuit model is equivalent to the matching prior circuit model; and upon a positive determination of equivalence, providing prior test results of the matching prior circuit model to the user.

Abstract: A data stream and data packet transmission method and device are described, relating to the field of interface data transmission technologies. The method includes: a home end detects whether data to be transmitted is a data stream or a data packet; when it is detected that the data stream and the data packet exist simultaneously, the data stream is preferentially transmitted; and upon completion of transmission of the data stream, then the data packet is transmitted. According to the embodiments of the disclosure, when the data stream and the data packet exist simultaneously, high efficiency transmission of the data stream may be achieved with no need of extra external time for scheduling operations, effectiveness of transmission of the data stream is enhanced, and data transmission efficiency through the interface is improved.

Abstract: A method and device for adjusting rate of data transmission in Ethernet is provided. The method comprises: connection status of a data transmission link in the Ethernet is monitored; and a rate of data transmission in Ethernet is adjusted according to the monitored connection status. By way of monitoring the connection status of the data transmission link in Ethernet and then adjusting the rate of data transmission in Ethernet according to the monitored connection status, the problem in the related art that stability and reliability of data transmission are affected by a data transmission link failure in Ethernet is solved, thus greatly improving stability and reliability of data transmission, and improving user experience.

Abstract: A design verification problem includes a design description and a property to be verified. Feature data is identified from the design verification problem and a result is predicted for the design verification problem based on the feature data. A plurality of verification engines is then orchestrated based on the prediction. Supervised machine learning may be used for the result prediction. Feature data and verification results from a plurality of training test cases are used to train a classifier to create a prediction model. The prediction model uses the feature data of the design verification problem to make a result prediction for the design verification model.

Abstract: A method, system or computer usable program product for model checking a first circuit model including determining whether the first circuit model is functionally equivalent to one of a set of prior circuit models stored in persistent memory, and in response to determining functional equivalence, utilizing a processor to provide test results for the functionally equivalent prior circuit model.

Abstract: The present invention discloses a method and device for arbitrating priority levels. The method comprises: setting a plurality of first stage polling arbiters and a second stage priority level arbiter respectively, wherein the number of the first stage polling arbiters is equal to the number of priority levels contained in a plurality of source ends; receiving task request signals for requesting tasks from the plurality of source ends and assigning request tasks with the same priority level to the same first stage polling arbiter; each of the first stage polling arbiters polling the received request tasks with the same priority level respectively to obtain one request task and transmitting the request task to the second stage priority level arbiter; and the second stage priority level arbiter receiving the plurality of request tasks and outputting an output result of request tasks with the highest priority level to a destination end.