Abstract: A software performance verification system extracts a partial code as part of a code of a program configuring software, generates a feature vector based on the partial code, and generates, as a verification result of the partial code, information based on output obtained from a performance verification model through input of the partial code as a verification target to the performance verification model that is a machine learning model having been trained by use of learning data that includes the feature vector of the partial code for learning and performance information indicative of the performance of software implemented on the basis of the partial code. The software performance verification system generates, for example, a feature vector having metrics values acquired from the partial code as the elements of the feature vector. The performance verification model outputs, for example, the probability of there being a problem with a process to be implemented on the basis of the partial code.

Abstract: A device and method for adjustable heat dissipation in a channel cooling section are provided. The device for heat dissipation may include: a plurality of flat tubes arranged adjacent to each other inside the channel cooling section. Each of the flat tubes may be surrounded by a heater on an outer ring. A side insulation structure may be provided on both sides of each of the flat tubes, and a top insulation structure may be provided at a top of each of the flat tubes. The method for heat dissipation may include performing a first disassembly on the each section of flat tube one by one in sequence.

Abstract: A method for intelligently measuring vehicle speed based on a binocular stereo vision system includes: training a Single Shot Multibox Detector neural network to obtain a license plate recognition model; calibrating the binocular stereo vision system to acquire parameters of two cameras; detecting the license plates in the captured video frames with the license plate recognition model, locating the license plate position; performing feature point extraction and stereo matching by a feature-based matching algorithm; screening and eliminating the matching point pairs, and reserving the coordinates of the matching point pair closest to the license plate center; performing stereo measurement on the screened matching point pair to get the spatial coordinates of the position; calculating and obtaining the speed of the target vehicle.

Abstract: The shape of an object is measured with high accuracy. A measurement system includes a frame recognition unit configured to detect one or more frames indicating a straight line portion from a captured image, a depth measurement unit configured to perform depth measurement, and a dimension estimation unit configured to calculate a length of a frame on a basis of the captured image and a result of the depth measurement. The measurement system may have a function of specifying a range in which a measurement target object is present from the captured image.

Abstract: An antiskid-style sole includes a sole body (1) and a number of projections (2) disposed on the sole body (1). The projections (2) are elastic columnar parts. A cavity (22) is disposed in the middle of end surface (23) of the projection (2), and the wall of the cavity (22) is in the shape of cambered surface or inclined surface.

Abstract: An antiskid-style sole includes a sole body (1) and a number of projections (2) disposed on the sole body (1). The projections (2) are elastic columnar parts. A cavity (22) is disposed in the middle of end surface (23) of the projection (2), and the wall of the cavity (22) is in the shape of cambered surface or inclined surface.