Abstract: A network reachability solving algorithm based on formal verification, which abstractly models the network reachability problem, concretely models and refines it through semantic equivalence, and implements the network reachability solving algorithm through logical equivalence transformation. With the help of formal verification tools, the present disclosure ensures the correctness and logical completeness of the reachability solving algorithm through mathematical reasoning. Compared with traditional testing-based schemes, the present disclosure guarantees the correctness and effectiveness of the network reachability algorithm based on formal method.

Abstract: A device for removing circumferential burrs of a wheel with high precision includes an electric cylinder, a lifting table, guide rails, an electric cylinder, a sliding block, a plurality of sensors, a rim burr cutter, a riser burr cutter, and the like. The device can simultaneously remove circumferential burrs from the flange edge, the outer rim and the riser slot edge, which eliminates the error caused by coaxial degree deviation, so that the rotating center of the cutters coincides with the circumferential center of the burrs. The device is configured to provide high-precision removal of burrs from the flange edge, and high-precision removal of burrs from the outer rim and the riser.

Abstract: Disclosed is an aluminum alloy wheel squeeze casting process and an aluminum alloy wheel squeeze casting device. Molten aluminum is injected into a mold cavity from the bottom by adopting a U-shaped pipe, so that the filling is stable and the quality problem of the pore defect of a squeeze cast rim is solved; the squeeze deformation effect of the rim is strengthened using a mold locking ring; and through a secondary pressurization process for the center of the aluminum wheel, the internal dendritic spacing of the aluminum wheel casting is reduced, the yield strength and the elongation in the material mechanical properties of the casting are improved, and a necessary technical foundation is provided for overall weight reduction of the aluminum wheel.

Abstract: Disclosed is a chuck disassembly and transfer device, which is composed of a telescopic cylinder, a cylinder support, a second linear guide rail, a second guide rail sliding seat, a lifting support, a chuck, a lifting chain, a lifting cylinder and the like, wherein the cylinder support and the second linear guide rail are fixed on the frame, the lifting support is connected with the second linear guide rail via the second guide rail sliding seat, and the telescopic cylinder is capable of driving the lifting support and the chuck to move horizontally along the second linear guide rail; the lifting cylinder is fixed on the lifting support, the chuck is connected with an output shaft of the lifting cylinder via the lifting chain, and the lifting cylinder is capable of driving the chuck to move vertically.

Abstract: The present application discloses a multifunctional wheel burr removing device, comprising a synchronous clamping drive system, a first burr brushing system, an upper burr brushing system and a second burr brushing system. The multifunctional wheel burr removing device in use may remove burrs of four parts. And the four parts are as follows: end faces of upper rims, wheel wells, cutting positions of sides of upper rims and fronts of wheels having different diameters and different heights. So the production efficiency is very high; and simultaneously, the device has the characteristics of high automation degree, advanced process, strong generality, safety and stability.

Abstract: A wheel shape follow-up burr brushing device can brush burrs from a front, a back cavity and a spoke root groove of the wheel. The heights of brushes are adjusted, so that the brushes follow up the shape of the front, the back cavity and the spoke root groove of the wheel. The wheel is put onto a positioning roller bed by a manipulator, a positioning clamping cylinder drives four clamping wheels to clamp the wheel, four clamping wheel drive motors drive the wheel to be in a low-speed rotating state; two second cylinders drive a second rotating table to be fed downwards, two first cylinders drive a first rotating table to be fed upwards, and the rotating wheel is matched with the rotating brushes to brush burrs from the front, the back cavity and the spoke root groove of the wheel.

Abstract: The present application discloses a flexible clamping device. A sleeve is fixed on a base, an adjusting shaft is connected with a mandrel and the sleeve respectively, the mandrel is fixed on the upper end face of the adjusting shaft, and the bottom outer wall of the adjusting shaft is in small clearance fit with the inner wall of the sleeve; a lock screw is installed on the upper right side wall of the sleeve, a pinion is installed on the upper left side wall of the sleeve via a rotating shaft, saw teeth are provided on the side wall of a adjusting shaft, and the pinion can be engaged with the side teeth of the adjusting shaft.

Abstract: A wheel corner polishing device includes a station switching system, a valve hole polishing system, a bolt hole polishing system and a rim and cap section synchronous polishing system. The wheel corner polishing device can automatically polish four positions including bolt hole corners, a valve hole corner, outer rim corners and cap section corners of a wheel via upper and lower stations and coordination of the systems.

Abstract: When a wheel clamp is used, width of a wheel is detected first, a first servo motor drives a lead screw to rotate, a supporting block and a lifting plate are automatically adjusted to appropriate heights via a nut, a manipulator puts the wheel onto end face blocks, air-tight devices are pressed down, an oil cylinder drives a chuck so that clamping jaws expand the central hole of the wheel, meanwhile, four air cylinders drive clamping blocks to compact outer side of the wheel, and the wheel is completely positioned; at this moment, a bolt hole of the wheel can be drilled; after machining, second servo motor drives right shaft, right lug plate and a turnover part to rotate certain angles via second decelerator; high pressure oil is introduced into cavities between ipsilateral expansion sleeves and end covers, and left and right shafts are separately locked by ipsilateral expansion sleeves.

Abstract: A wheel outer rim fillet dressing device, wherein after a wheel is roughly positioned, an electric cylinder drives a moving plate to descend to an appropriate position, an adjusting cylinder drives a second sliding table to move away from a first sliding table, the first sliding table moves synchronously with the second sliding table under the action of a second gear rack, thus the distance between a precision positioning post on the first sliding table and a precision positioning post on the second sliding table is adjusted, and the precision positioning posts contact a vertical surface of a cap seam allowance of the wheel and hold the wheel tightly. The adjusting cylinder is restarted, and the outer rim fillets can be dressed when the distance between first and second cutters for dressing wheel outer rim fillets is adjusted to an appropriate position and under the cooperation of the rotating wheel.

Abstract: The present application discloses a vertical lathe chuck mounting rack, which is composed of a decelerator A, a motor A, a rack, a motor B, a decelerator B, a linear guide rail C, a ball screw, a cylinder, a guide rail sliding seat C, a flange and the like, wherein the motor A is capable of driving a horizontal rack to move horizontally on a cross beam along a linear guide rail B. The motor B is capable of driving a lifting rack to move vertically along the linear guide rail C. The cylinder is capable of driving a telescopic rack to move horizontally along a linear guide rail A.

Abstract: Disclosed is a wheel milling window device, composed of a bottom plate, guide blocks, clamping slide blocks, mounting keys, hydraulic cylinders, hydraulic pipelines, connecting blocks, pressure claws, first rotating shafts, second rotating shafts, end face blocks, a mandrel, a mandrel seat, a locking jackscrew, a mandrel height adjusting post, a mandrel guide post, a mandrel guide post locking screw, a locking ring, circumferential positioning posts and circumferential slide blocks. The device can reduce the manufacturing cost, shorten the manufacturing period, effectively reduce the time for replacing a fixture and improve the efficiency of milling a wheel window.

Abstract: Disclosed is an aluminum alloy wheel squeeze casting process and an aluminum alloy wheel squeeze casting device. Molten aluminum is injected into a mold cavity from the bottom by adopting a U-shaped pipe, so that the filling is stable and the quality problem of the pore defect of a squeeze cast rim is solved; the squeeze deformation effect of the rim is strengthened using a mold locking ring; and through a secondary pressurization process for the center of the aluminum wheel, the internal dendritic spacing of the aluminum wheel casting is reduced, the yield strength and the elongation in the material mechanical properties of the casting are improved, and a necessary technical foundation is provided for overall weight reduction of the aluminum wheel.

Abstract: Disclosed is a bushing assembly height checking fixture, which is composed of a jacket, set screws, a measuring cylinder and a positioning cylinder. When the bushing assembly height checking fixture is used, the lower cone of the positioning cylinder is fitted with the orifice edge of an inner shaft hole of a bushing, and the checking fixture is positioned radially; the bottom surface of the jacket is flush with the assembly positioning end face of a workpiece, and the checking fixture is positioned axially; then the bottom surface of the measuring cylinder is flush with the end face of the bushing, the position of the top surface of the measuring cylinder is observed, and if the top surface of the measuring cylinder is in the middle of the top step of the jacket, it shows that the height after the workpiece is assembled is qualified.

Abstract: A device for removing circumferential burrs of a wheel with high precision includes an electric cylinder, a lifting table, guide rails, an electric cylinder, a sliding block, a plurality of sensors, a rim burr cutter, a riser burr cutter, and the like. The device can simultaneously remove circumferential burrs from the flange edge, the outer rim and the riser slot edge, which eliminates the error caused by coaxial degree deviation, so that the rotating center of the cutters coincides with the circumferential center of the burrs. The device is configured to provide high-precision removal of burrs from the flange edge, and high-precision removal of burrs from the outer rim and the riser.

Abstract: A wheel shape follow-up burr brushing device is composed of lower guide posts, lower cylinders, a first lifting table, a first servo motor, a lower rotating table, back cavity brush adjustment cylinders, I-shaped sliding blocks, a concave block, front brush adjustment cylinders and the like. The heights of brushes are adjusted, so that the contour formed by six brushes can be consistent with the back cavity of a wheel in shape, and the brushes follow up the shape of the back cavity of the wheel; the inclination angle of the brush and the depth of the brush entering the groove can be adjusted, so that the brush follows up the shape of a spoke root groove; and the heights of the brushes can be adjusted to match the shape of the front of the wheel, so that the brushes follow up the shape of the front of the wheel.

Abstract: The present disclosure provides a low-pressure cast aluminum wheel mold. The back cavity of a top mold (1) is divided into three parts: the back cavity in a rim area is open, and the wall thickness of the top mold is progressively increased by 15-25 mm from bottom to top; the back cavity in a spoke area is machined in a profile-followed manner, and the top mold has an equal wall thickness of 20-30 mm; at each R angle position where the rim is connected with a spoke, the top mold is provided with a boss (11), the axial wall thickness of the boss (11) is 40-60 mm, and the radial wall thickness is 30-50 mm.

Abstract: The present application discloses a four-directional drilling machine, comprising a main frame, a main machine platform, flange-type hydraulic cylinders, linear bearings, hydraulic piston rods, guide rods, nuts A, an upper pressure plate, drill bushings A, nuts B, monoblock drilling machines A, an upper supporting plate, positioning stop blocks, adjustable base assemblies, a left supporting plate, a drill bushing B, a right supporting plate and the like.

Abstract: A double-station wheel burr removing device includes clamping drive systems, lifting drive systems, an upper rim burr removing system, a valve hole burr removing system, a rotary switching system and the like, which in use can simultaneously remove burrs on two wheels having different heights and different diameters at the end face of the upper rim, the valve hole, the lateral cutting position of the upper rim and the riser.

Abstract: The present invention provides a wheel burr removing device, which includes a frame, cylinders, guide posts, brush systems I, brush systems II and a clamping rotating system. The device in the present invention not only can be used for adjusting the angles of brushes II according to the size and the shape of the wheel so as to focus on removing burrs at the root of the rim, but also can be used for specifically removing burrs at the roots of flanges and the middle parts of spokes; meanwhile, the device has the characteristics of high automation degree, advanced process, simple structure and high safety and stability.