SyRust: automatic testing of Rust libraries with semantic-aware program synthesis

Background: Detection technology is a product development technique that serves as a basis for quality assurance. As electric energy meters (EEMs) are measurement instruments whose use is mandatory in several nations, their accuracy, which directly depends on their reliability and proper functioning, is paramount. In this study, to eliminate electromagnetic interference, a device is developed for testing a set of EEMs under a constant magnetic field interference. The detection device can simultaneously test 6 electric meters; moreover, in the future, it will be able to measure the influence of magnetic field strength on the measurement accuracy of EEMs, thereby improving the production efficiency of electric meter manufacturers. Methods: In this study, we first design a 3D model of the detection device for a single meter component; then, we establish a network, which includes a control system, and perform the planning of the path of a block that generates a constant magnetic field. Finally, we control the three-axis motion and rotation of the block using a PLC to implement detection for the five sides of the EEM. Results & Discussion: The proposed device can accurately determine whether an EEM can adequately function, within the error range prescribed by a national standard, under electromagnetic interference; this can enable reliable, automatic testing and fault detection for EEMs. Experiments show that our device can decrease the labor cost for EEM manufacturers.

Download Full-text

Automatic testing of integrated circuits

Electronics and Power ◽

10.1049/ep.1977.0211 ◽

1977 ◽

Vol 23 (5) ◽

pp. 380 ◽

Cited By ~ 2

Author(s):

H.P. Bette

Keyword(s):

Integrated Circuits ◽

Automatic Testing

Download Full-text

Accelerating search-based program synthesis using learned probabilistic models

ACM SIGPLAN Notices ◽

10.1145/3296979.3192410 ◽

2018 ◽

Vol 53 (4) ◽

pp. 436-449 ◽

Cited By ~ 3

Author(s):

Woosuk Lee ◽

Kihong Heo ◽

Rajeev Alur ◽

Mayur Naik

Keyword(s):

Probabilistic Models ◽

Program Synthesis

Download Full-text

Reconciling enumerative and deductive program synthesis

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386027 ◽

2020 ◽

Cited By ~ 2

Author(s):

Kangjing Huang ◽

Xiaokang Qiu ◽

Peiyuan Shen ◽

Yanjun Wang

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

A Theoretical Model with Which to Safely Optimize the Configuration of Hydraulic Suspension of Modular Trailers in Special Road Transport

Applied Sciences ◽

10.3390/app11010305 ◽

2020 ◽

Vol 11 (1) ◽

pp. 305

Author(s):

Rubén Escribano-García ◽

Marina Corral-Bobadilla ◽

Fátima Somovilla-Gómez ◽

Rubén Lostado-Lorza ◽

Ash Ahmed

Keyword(s):

Theoretical Model ◽

Wind Turbine ◽

Optimization Algorithm ◽

Hydraulic Cylinder ◽

Road Transport ◽

Automatic Testing ◽

Transport Systems ◽

The Road ◽

Proposed Model ◽

On The Road

The dimensions and weight of machines, structures, and components that need to be transported safely by road are growing constantly. One of the safest and most widely used transport systems on the road today due to their versatility and configuration are modular trailers. These trailers have hydraulic pendulum axles that are that are attached in pairs to the rigid platform above. In turn, these modular trailers are subject to limitations on the load that each axle carries, the tipping angle, and the oil pressure of the suspension system in order to guarantee safe transport by road. Optimizing the configuration of these modular trailers accurately and safely is a complex task. Factors to be considered include the load’s characteristics, the trailer’s mechanical properties, and road route conditions including the road’s slope and camber, precipitation and direction, and force of the wind. This paper presents a theoretical model that can be used for the optimal configuration of hydraulic cylinder suspension of special transport by road using modular trailers. It considers the previously mentioned factors and guarantees the safe stability of road transport. The proposed model was validated experimentally by placing a nacelle wind turbine at different points within a modular trailer. The weight of the wind turbine was 42,500 kg and its dimensions were 5133 × 2650 × 2975 mm. Once the proposed model was validated, an optimization algorithm was employed to find the optimal center of gravity for load, number of trailers, number of axles, oil pressures, and hydraulic configuration. The optimization algorithm was based on the iterative and automatic testing of the proposed model for different positions on the trailer and different hydraulic configurations. The optimization algorithm was tested with a cylindrical tank that weighed 108,500 kg and had dimensions of 19,500 × 3200 × 2500 mm. The results showed that the proposed model and optimization algorithm could safely optimize the configuration of the hydraulic suspension of modular trailers in special road transport, increase the accuracy and reliability of the calculation of the load configuration, save time, simplify the calculation process, and be easily implemented.

Download Full-text