Verification device for formalized verification of software reliability
By introducing shock absorption and heat dissipation and dust removal functions into the formal verification device, the problems of easy damage and short service life of the equipment are solved, and higher stability and service life are achieved.
Patent Information
- Application Number
- CN202411735875.6
- Authority / Receiving Office
- CN · China
- Patent Type
- Applications(China)
- Current Assignee / Owner
- Filing Date
- 2024-11-29
- Publication Date
- 2025-03-07
- Estimated Expiration
- Not applicable · inactive patent
AI Technical Summary
Existing formal verification devices for software reliability lack shock absorption, are susceptible to damage caused by bumps and falls, and dust and high temperatures can shorten the service life of the equipment.
A verification device including a housing, a verification board, a CPU integrated board, a heat dissipation and dust removal mechanism and a pick-up and placement mechanism is designed. The device adopts first and second shock absorber springs and devices, combined with heat dissipation and dust removal motors and fans, as well as components such as pick-up and placement blocks and slide rails to improve the stability and service life of the equipment.
The equipment is protected from damage caused by shock absorption devices, the heat dissipation and dust removal function extends the equipment's life, and the pick-up and placement mechanism improves the convenience and safety of the equipment.
Smart Images
Figure CN119576074A_ABST
Abstract
Description
Technical Field
[0001] The present invention relates to the technical field of software verification, and in particular to a verification device for formal verification of software reliability. Background Art
[0002] Formal verification of software reliability is an important area in software engineering. It involves using mathematical and logical methods to prove whether certain properties of a software system hold. Formal verification is to use formal languages to construct specifications for software systems. These specifications correspond to artifacts at different stages of the software life cycle and characterize the models and properties of the system at different levels of abstraction. Formal verification is to prove the logical relationships between different formal specifications. These logical relationships reflect the various correctness requirements that need to be met between software artifacts at different stages of software development.
[0003] Formal methods are closely related to computer science theory, and their development is closely linked to the development of programming languages and program theory. As a discipline, it studies the mathematical foundations of formal methods, the expressive power of formal systems, the reasoning systems of formal systems, and their reliability and completeness.
[0004] The verification device using formal verification in the existing technology has no shock absorption function during operation and is easily damaged by bumps and falls. In addition, dust and high temperature will reduce the service life of the equipment. Therefore, we propose a verification device for formal verification of software reliability. Summary of the invention
[0005] The main purpose of the present invention is to provide a verification device for formal verification of software reliability, which can effectively solve the problem in the background technology that there is no shock absorption function and dust reduces the service life of the equipment.
[0006] To achieve the above-mentioned purpose, the technical solution adopted by the present invention is: a verification device for formal verification of software reliability, comprising a shell, a verification board, a CPU integrated board, a heat dissipation and dust removal mechanism and a pick-and-place mechanism, the shell comprising a shell body, a handle and a pick-and-place block, the verification board comprising a verification board body, the CPU integrated board comprising a first shock-absorbing spring and a second shock absorber, the heat dissipation and dust removal mechanism comprising a connecting rod, the pick-and-place mechanism comprising a slide rail, a circular hole is provided on one side surface of the shell body, one end of the handle is connected to the circular hole, a number of the pick-and-place blocks are respectively slidably matched with a number of slide rails, a side surface of the verification board body is welded to a side surface of the shell body, one end of a number of the first shock-absorbing springs are connected to the other side surface of the verification board body, and one end of a number of the second shock absorbers are respectively welded to a side surface of a number of connecting rods.
[0007] Preferably, the shell also includes a signal transmission port and a heat dissipation and dust removal plate, one end of the signal transmission port is connected to one side surface of the shell body, one side surface of the heat dissipation and dust removal plate is welded to the other side surface of the shell body, and one side surface of several of the pick-and-place blocks are respectively welded to the two side surfaces of the shell body, wherein there are two pick-and-place blocks, and the pick-and-place blocks make the picking and placing of the device more convenient and safer, protecting the device from being lost or falling.
[0008] Preferably, the verification board also includes verification buttons and a display screen, one end of several of the verification buttons are connected to the surface of one side of the verification board body, and the display screen is installed on the surface of one side of the verification board body. There are four verification buttons, the verification buttons control the operation of the device, and the display screen displays the verification data.
[0009] Preferably, the CPU integrated board also includes a CPU integrated board body, a first shock absorber and a second shock absorber spring, the other ends of several of the first shock absorber springs are respectively connected to one end of several of the first shock absorbers, the other ends of several of the first shock absorbers are welded to one side surface of the CPU integrated board body, one ends of several of the second shock absorber springs are connected to the other side surface of the CPU integrated board body, and the other ends of several of the second shock absorber springs are respectively connected to the other ends of several second shock absorbers, wherein there are four first shock absorber springs, four first shock absorber springs, four first shock absorber springs, four second shock absorber springs and four second shock absorbers, and the first shock absorber springs, four first shock absorber springs, four first shock absorber springs, four second shock absorber springs and four second shock absorbers can protect the device from being damaged by vibrations such as bumps and falls, thereby improving the stability of the device.
[0010] Preferably, the heat dissipation and dust removal mechanism also includes a heat dissipation and dust removal mechanism body, a heat dissipation and dust removal motor and a heat dissipation and dust removal fan. The other side surfaces of several of the connecting rods are respectively welded to the two ends of the heat dissipation and dust removal mechanism body, and one ends of several of the heat dissipation and dust removal motors are welded to the lower surface of the heat dissipation and dust removal mechanism body. Several of the heat dissipation and dust removal motors are respectively provided with several rotating shafts at the other ends, and several of the heat dissipation and dust removal fans are respectively rotatably matched with the several rotating shafts, wherein there are two connecting rods, and there are six heat dissipation and dust removal motors and six heat dissipation and dust removal fans each. The connecting rods are responsible for connecting the heat dissipation and dust removal mechanism body. The heat dissipation and dust removal motor and the heat dissipation and dust removal fan provide heat dissipation and dust removal functions for the equipment, thereby improving the service life of the equipment.
[0011] Preferably, the pick-and-place mechanism also includes a pick-and-place mechanism body, a mounting rod and mounting bolts. One side surface of several of the slide rails are welded to one side surface of the pick-and-place mechanism body, one side surfaces of several of the mounting rods are respectively welded to the other two side surfaces of the pick-and-place mechanism body, and the other side surfaces of several of the mounting rods are provided with several mounting holes, and several of the mounting bolts are respectively rotatably matched with the several mounting holes, wherein there are two slide rails and two mounting rods, and four mounting bolts. The slide rails are responsible for cooperating with the pick-and-place block to make the picking and placing of the equipment more convenient, and the mounting rods and mounting bolts make the loading and unloading of the equipment more convenient.
[0012] Compared with the prior art, the present invention has the following beneficial effects:
[0013] In the present invention, the pick-and-place block and the slide rail make the pick-and-place of the device more convenient and safe, protecting the device from being lost or falling. The heat dissipation and dust removal motor and the heat dissipation and dust removal fan provide heat dissipation and dust removal functions for the device, thereby increasing the life of the device.
[0014] The first shock-absorbing spring, the first shock absorber, the second shock-absorbing spring and the second shock absorber can protect the device from being damaged by vibrations such as bumps and falls, thereby improving the stability of the device. The verification button controls the operation of the device, the display screen displays the verified data, and the mounting rod and the mounting bolts make loading and unloading of the device more convenient. BRIEF DESCRIPTION OF THE DRAWINGS
[0015] Figure 1 It is a schematic diagram of the overall structure of a verification device for formal verification of software reliability according to the present invention;
[0016] Figure 2 A schematic diagram of a top view of a verification device for formal verification of software reliability according to the present invention;
[0017] Figure 3 for Figure 2 Sectional view at AA;
[0018] Figure 4 The figure is a schematic diagram of the internal structure of a verification device for formal verification of software reliability according to the present invention.
[0019] In the figure: 100, housing; 110, handle; 120, signal transmission port; 130, heat dissipation and dust removal plate; 140, pick-and-place block; 200, verification plate; 210, verification button; 220, display screen; 300, CPU integrated board; 310, first shock-absorbing spring; 320, first shock absorber; 330, second shock-absorbing spring; 340, second shock absorber; 400, heat dissipation and dust removal mechanism; 410, connecting rod; 420, heat dissipation and dust removal motor; 430, heat dissipation and dust removal fan; 500, pick-and-place mechanism; 510, slide rail; 520, mounting rod; 530, mounting bolt. DETAILED DESCRIPTION
[0020] In order to make the technical means, creative features, objectives and effects achieved by the present invention easy to understand, the present invention is further explained below in conjunction with specific implementation methods.
[0021] In the description of the present invention, it should be noted that the terms "upper", "lower", "inner", "outer", "front end", "rear end", "two ends", "one end", "the other end" and the like indicate positions or positional relationships based on the positions or positional relationships shown in the drawings, and are only for the convenience of describing the present invention and simplifying the description, and do not indicate or imply that the equipment or elements referred to must have a specific orientation, be constructed and operated in a specific orientation, and therefore cannot be understood as limiting the present invention. In addition, the terms "first" and "second" are used for descriptive purposes only and cannot be understood as indicating or implying relative importance.
[0022] In the description of the present invention, it should be noted that, unless otherwise clearly specified and limited, the terms "installed", "provided with", "connected", etc. should be understood in a broad sense. For example, "connected" can be a fixed connection, a detachable connection, or an integral connection; it can be a mechanical connection or an electrical connection; it can be a direct connection, or it can be indirectly connected through an intermediate medium, or it can be the internal communication of two components. For ordinary technicians in this field, the specific meanings of the above terms in the present invention can be understood according to specific circumstances.
[0023] Embodiment 1:
[0024] Please refer to Figure 1 As shown in FIG. 4 , the present invention is a verification device for formal verification of software reliability, comprising a shell 100, a verification board 200, a CPU integrated board 300, a heat dissipation and dust removal mechanism 400 and a pick-and-place mechanism 500. The shell 100 comprises a shell body, a handle 110 and a pick-and-place block 140. The verification board 200 comprises a verification board body. The CPU integrated board 300 comprises a first shock-absorbing spring 310 and a second shock absorber 340. The heat dissipation and dust removal mechanism 400 comprises a connecting rod 410. The pick-and-place mechanism 500 comprises a slide rail 510. A circular hole is provided on one side surface of the shell body. One end of the handle 110 is connected to the circular hole. A plurality of pick-and-place blocks 140 are respectively slidably matched with a plurality of slide rails 510. A surface on one side of the verification board body is welded to a surface on one side of the shell body. One ends of a plurality of first shock-absorbing springs 310 are all connected to the other side surface of the verification board body. One ends of a plurality of second shock absorbers 340 are respectively welded to the surface on one side of a plurality of connecting rods 410.
[0025] Furthermore, the housing 100 also includes a signal transmission port 120 and a heat dissipation and dust removal plate 130, one end of the signal transmission port 120 is connected to one side surface of the housing body, one side surface of the heat dissipation and dust removal plate 130 is welded to the other side surface of the housing body, and one side surface of a plurality of pick-and-place blocks 140 are respectively welded to the two side surfaces of the housing body, wherein there are two pick-and-place blocks 140, and the pick-and-place blocks 140 make the picking and placing of the device more convenient and safer, protecting the device from being lost or falling.
[0026] Furthermore, the verification board 200 also includes verification buttons 210 and a display screen 220. One end of several verification buttons 210 is connected to the surface of one side of the verification board body, and the display screen 220 is installed on the surface of one side of the verification board body. There are four verification buttons 210. The verification buttons 210 control the operation of the device, and the display screen 220 displays the verification data.
[0027] Furthermore, the CPU integrated board 300 also includes a CPU integrated board body, a first shock absorber 320 and a second shock absorber spring 330, the other ends of the several first shock absorber springs 310 are respectively connected to one end of the several first shock absorbers 320, the other ends of the several first shock absorbers 320 are welded to the surface of one side of the CPU integrated board body, one ends of the several second shock absorber springs 330 are connected to the other side surface of the CPU integrated board body, and the other ends of the several second shock absorber springs 330 are respectively connected to the other ends of the several second shock absorbers 340, wherein there are four first shock absorber springs 310, the first shock absorber 320, the second shock absorber spring 330 and the second shock absorber 340, and the first shock absorber spring 310, the first shock absorber 320, the second shock absorber spring 330 and the second shock absorber 340 can protect the device from being damaged by vibration such as bumps and falls, thereby improving the stability of the device.
[0028] Furthermore, the heat dissipation and dust removal mechanism 400 also includes a heat dissipation and dust removal mechanism body, a heat dissipation and dust removal motor 420 and a heat dissipation and dust removal fan 430. The other side surfaces of a number of connecting rods 410 are respectively welded to the two ends of the heat dissipation and dust removal mechanism body, and one end of a number of heat dissipation and dust removal motors 420 are welded to the lower surface of the heat dissipation and dust removal mechanism body. The other ends of a number of heat dissipation and dust removal motors 420 are respectively provided with a number of rotating shafts, and a number of heat dissipation and dust removal fans 430 are respectively rotatably cooperated with the number of rotating shafts, wherein there are two connecting rods 410, and there are six heat dissipation and dust removal motors 420 and heat dissipation and dust removal fans 430. The connecting rods 410 are responsible for connecting the heat dissipation and dust removal mechanism body. The heat dissipation and dust removal motors 420 and the heat dissipation and dust removal fans 430 provide heat dissipation and dust removal functions for the equipment, thereby improving the service life of the equipment.
[0029] Furthermore, the picking and placing mechanism 500 also includes a picking and placing mechanism body, a mounting rod 520 and a mounting bolt 530. One side surface of several slide rails 510 are welded to one side surface of the picking and placing mechanism body, one side surface of several mounting rods 520 are respectively welded to the other two side surfaces of the picking and placing mechanism body, and the other side surfaces of several mounting rods 520 are provided with several mounting holes. Several mounting bolts 530 are respectively rotatably matched with the several mounting holes, wherein, there are two slide rails 510 and two mounting rods 520, and there are four mounting bolts 530. The slide rail 510 is responsible for cooperating with the picking and placing block 140 to make the picking and placing of the equipment more convenient. The mounting rod 520 and the mounting bolt 530 make the loading and unloading of the equipment more convenient.
[0030] Embodiment 2:
[0031] Please refer to Figure 1 —4, the present invention is a verification device for formal verification of software reliability, wherein the model of the heat dissipation and dust removal motor 420 is BFF-180SH-17140-42V, the pick-up and placement block 140 and the slide rail 510 make the equipment placement more convenient and safe, and protect the equipment from being lost or falling, and the heat dissipation and dust removal motor 420 and the heat dissipation and dust removal fan 430 provide heat dissipation and dust removal functions for the equipment, thereby improving the life of the equipment. The first shock-absorbing spring 310, the first shock absorber 320, the second shock-absorbing spring 330 and the second shock absorber 340 can protect the equipment from vibration damage such as knocking and falling, thereby improving the stability of the equipment, the verification button 210 controls the operation of the equipment, the display screen 220 displays the verified data, and the mounting rod 520 and the mounting bolt 530 make the loading and unloading of the equipment more convenient.
[0032] The above shows and describes the basic principles and main features of the present invention and the advantages of the present invention. It should be understood by those skilled in the art that the present invention is not limited to the above embodiments. The above embodiments and descriptions are only for explaining the principles of the present invention. Without departing from the spirit and scope of the present invention, the present invention may have various changes and improvements, which fall within the scope of the present invention to be protected. The scope of protection of the present invention is defined by the attached claims and their equivalents.
Claims
1. A verification device for formal verification of software reliability, comprising a housing (100), a verification board (200), a CPU integrated board (300), a heat dissipation and dust removal mechanism (400) and a pick-and-place mechanism (500), characterized in that: The shell (100) comprises a shell body, a handle (110) and a pick-and-place block (140); the verification board (200) comprises a verification board body; the CPU integrated board (300) comprises a first damping spring (310) and a second damper (340); the heat dissipation and dust removal mechanism (400) comprises a connecting rod (410); the pick-and-place mechanism (500) comprises a slide rail (510); a circular hole is provided on one side surface of the shell body; one end of the handle (110) is connected to the circular hole; a plurality of the pick-and-place blocks (140) are respectively slidably matched with a plurality of slide rails (510); a surface of one side of the verification board body is welded to a surface of one side of the shell body; one end of a plurality of the first damping springs (310) are each connected to the other side surface of the verification board body; and one end of a plurality of the second dampers (340) are respectively welded to the surface of one side of a plurality of connecting rods (410).
2. A verification device for formal verification of software reliability according to claim 1, characterized in that: The housing (100) further comprises a signal transmission port (120) and a heat dissipation and dust removal plate (130); one end of the signal transmission port (120) is connected to a surface of one side of the housing body; one surface of the heat dissipation and dust removal plate (130) is welded to another surface of the housing body; and one surface of a plurality of the pick-and-place blocks (140) are respectively welded to two side surfaces of the housing body.
3. A verification device for formal verification of software reliability according to claim 1, characterized in that: The verification board (200) further comprises verification buttons (210) and a display screen (220), one end of a plurality of the verification buttons (210) are connected to a surface of one side of the verification board body, and the display screen (220) is mounted on a surface of one side of the verification board body.
4. A verification device for formal verification of software reliability according to claim 1, characterized in that: The CPU integrated board (300) further comprises a CPU integrated board body, a first shock absorber (320) and a second shock absorber spring (330), the other ends of a plurality of the first shock absorbers (310) are respectively connected to one end of a plurality of the first shock absorbers (320), the other ends of a plurality of the first shock absorbers (320) are welded to one side surface of the CPU integrated board body, one ends of a plurality of the second shock absorbers (330) are respectively connected to the other side surface of the CPU integrated board body, and the other ends of a plurality of the second shock absorbers (330) are respectively connected to the other ends of a plurality of the second shock absorbers (340).
5. A verification device for formal verification of software reliability according to claim 1, characterized in that: The heat dissipation and dust removal mechanism (400) also includes a heat dissipation and dust removal mechanism body, a heat dissipation and dust removal motor (420) and a heat dissipation and dust removal fan (430); the other side surfaces of several connecting rods (410) are respectively welded to the two ends of the heat dissipation and dust removal mechanism body; one ends of several heat dissipation and dust removal motors (420) are welded to the lower surface of the heat dissipation and dust removal mechanism body; the other ends of several heat dissipation and dust removal motors (420) are respectively provided with several rotating shafts; and several heat dissipation and dust removal fans (430) are respectively rotatably matched with the several rotating shafts.
6. A verification device for formal verification of software reliability according to claim 1, characterized in that: The pick-and-place mechanism (500) also includes a pick-and-place mechanism body, a mounting rod (520) and a mounting bolt (530); one side surface of several of the slide rails (510) are welded to one side surface of the pick-and-place mechanism body; one side surface of several of the mounting rods (520) are respectively welded to the other two side surfaces of the pick-and-place mechanism body; the other side surfaces of several of the mounting rods (520) are provided with a plurality of mounting holes; and several of the mounting bolts (530) are respectively rotatably matched with the plurality of mounting holes.