Research On Machine Learning Approach Of Radl Specification?Radl Algorithm Automatic Generating System

In recent years,with the development of information technology,more and more researchers begin to pay attention to the task of software automation.Algorithm design automation is a very important part of software automation.Algorithm design refers to the process from problem specification to problem solving algorithm.Algorithm design automation refers to the automation of this process.Algorithm design automation is a basic research task,which has great research value.It has a wide range of applications in the actual development process,such as reducing the problem search space,shortening the development cycle,designing well structured programs and so on.Nowadays,although under the guidance of software engineering,using a variety of algorithm design methods can develop effective algorithms,in the face of complex algorithm design methods and a large number of algorithms at this stage,more still need to rely on developers to combine previous experience to constantly try to design algorithms.Although some scholars try to realize the automation of algorithm design with the help of machine learning algorithms such as deep learning,the degree of automation of the system is not high due to the problems such as too large range of solutions and jumbled data,so new theoretical methods and systems are urgently needed to guide and realize the automation of algorithm design.Therefore,this paper adopts PAR method and par platform,which are the "new high reliable software development method and its supporting platform" successfully researched by the software formalization and automation academic team led by Professor Xue Jinyun.On the basis of this research,the automation of Radl protocol to Radl algorithm is studied,and a new algorithm design theory is proposed.Facing the third generation of artificial intelligence and precision intelligence,the automatic generation system of Radl protocol to Radl algorithm is developed by using the reinforcement learning algorithm and combining the semiotic expert system framework.This paper mainly does the following aspects of work,with a certain degree of innovation:1.proposing a new algorithm design method.2.realizing Radl specification?Radl algorithm automatic generating system for array type problems by machine learning,facing the the third generation of artificial intelligence and precision intelligence.