An automatic programming method for robot system simulation is introduced. The method integrates 'reuse' technology and artificial intelligence to generate the robot simulation program. The overall simulation ...
详细信息
An automatic programming method for robot system simulation is introduced. The method integrates 'reuse' technology and artificial intelligence to generate the robot simulation program. The overall simulation method for a general system is first proposed. Then a language translator, EXPC, and an expert system, EXPV, are briefly reported. EXPC translates C-based language to C language. EXPV calculates manipulator variables from sensing results. The overall structure of the automatic programming system is presented to show how the system works. Control definition, as an example of a C-based language, is presented.< >
This paper discusses a planner that generates automatically high-level programs (or plans) for inspecting mechanical parts with coordinate measuring machines. The system's input is a solid model of a toleranced pa...
详细信息
This paper discusses a planner that generates automatically high-level programs (or plans) for inspecting mechanical parts with coordinate measuring machines. The system's input is a solid model of a toleranced part, and the output a collection of setups, probes and probe orientations associated with the surface features to be inspected. The problem is formulated as state space search. The state contains a collection of inspection plans, represented as a set of 4-tuples of the form (setup, probe, probe direction, surface feature). The initial plans may be invalid, or unnecessarily expensive. The state evolves through the application of operators, which impose geometric and optimization constraints so as to produce a valid and nearly optimal plan. The paper discusses the planner architecture and implementation, and presents experimental results.< >
automatic programming is not only one of the central goals of computer science, but also the goal computer science workers are striving for. Some science workers have been exploring and researching in this field for a...
详细信息
RWTH Aachen University in Germany offers a bridge course that introduces students of a variety of study programs to the basics of imperative programming. Due to the high number of students and limited availability of ...
详细信息
ISBN:
(纸本)9781665455381
RWTH Aachen University in Germany offers a bridge course that introduces students of a variety of study programs to the basics of imperative programming. Due to the high number of students and limited availability of tutors, it is hard to provide instant individual feedback to all students, to notice how difficult the tasks are for the students, and to reliably monitor their progression during the course. This motivated us to use an automatic Program Assessment System (APAS) to provide instant formative feedback to students and to systematically assess the course’s tasks. In this paper, we present our study in which we investigated (1) if the use of our APAS influences the students’ perceived difficulty of the programming tasks, (2) whether the use of our APAS increases the students’ progression speed, and (3) if the number of automated assessments triggered by the students can serve as an indicator of a task’s perceived difficulty. The results did not allow us to identify any meaningful differences between the study and control group with regards to the perceived difficulty and the progression speed. We found that the number of automated assessments can serve as a rough indicator for the task’s perceived difficulty. We also found initial indication that the use of the automated assessment helps to ensure that the students complete the tasks in full and as intended by the teachers and might improve code quality. This needs to be further investigated in future work.
This paper investigates the representation of program for program reuse. A new gene structure is proposed: head + body + tail, which allows the program with necessary complexity and putting some learning mechanism int...
详细信息
ISBN:
(纸本)1424406048
This paper investigates the representation of program for program reuse. A new gene structure is proposed: head + body + tail, which allows the program with necessary complexity and putting some learning mechanism into the search process. A new homeotic gene structure is proposed, it not only can call for subroutines easily, but also can automatically perform programming. The concept of different homeotic gene, a multi-cellular structure is proposed. It can be used to describe the complex multi-level programs and to implement the complex subroutine calls. An estimation of distribution mutation operator for guiding search is proposed. It fuses statistic learning mechanism into the search process to accelerate the convergent process and improve the quality of solutions. Numerical experiments show that the new methods of automatic programming is very practical
Costs associated with software development and maintenance are usually high, especially when the software is designed for parallel MIMD machines or requires complex algorithmic structures. Thus, there is a strong moti...
详细信息
Costs associated with software development and maintenance are usually high, especially when the software is designed for parallel MIMD machines or requires complex algorithmic structures. Thus, there is a strong motivation from the economic sector in seeing the emergence of methods for the generation of standard (possibly not optimal) code in order to solve numerical or combinatorial problems. We first present a general description of the possible approaches. Then we focus our attention upon the case relating to the parallel asynchronous programming. Finally, we propose a simultaneous rooting/scheduling heuristic that allows a gain of up to 50% of the total duration time with regard to the MCP heuristic followed by rooting.< >
Genetic programming is an automatic programming technique that evolves computer programs to solve, or approximately solve, problems. This paper presents two examples in which genetic programming creates a computer pro...
详细信息
Genetic programming is an automatic programming technique that evolves computer programs to solve, or approximately solve, problems. This paper presents two examples in which genetic programming creates a computer program for controlling a robot so that the robot moves to a specified destination point in minimal time. In the first approach, genetic programming evolves a computer program composed of ordinary arithmetic operations and conditional operations to implement a time-optimal control strategy. In the second approach, genetic programming evolves the design of an analog electrical circuit consisting of transistors, diodes, resistors, and power supplies to implement a near-optimal control strategy.
This paper presents the development of a simulation tool to assist the modeler of prelaunch countdown sequences define the problem and then automatically write the corresponding code in the target simulation language ...
详细信息
This paper presents the development of a simulation tool to assist the modeler of prelaunch countdown sequences define the problem and then automatically write the corresponding code in the target simulation language GPSS/PC. Included in this paper are a description of the automatic Network programming System (ANPS) and a sample problem using ANPS.
The APTAS software development environment, which provides automatic programming support for both rapid prototyping and target software system development in Ada, is described. APTAS utilizes domain-specific knowledge...
详细信息
The APTAS software development environment, which provides automatic programming support for both rapid prototyping and target software system development in Ada, is described. APTAS utilizes domain-specific knowledge base support for automatic code synthesis from high-level system specifications. Each domain knowledge base includes both generic system architectures, in the form of templates, and design rules which capture carefully developed implementation strategies of various high-level specifications. Early users of this system will be systems and software engineers whose responsibility is to develop avionics system architectures. With the APTAS system, engineers will be able to quickly compare and contrast various architectural designs, including hardware and software tradeoffs, by testing instrumented, operational prototypes. The engineer will specify the system in a high-level specification language tailored to the functional area. Drawing from a knowledge base germane to the specifications APTAS will then interpret the specification in order to synthesize executable code. The high-level design language CIDL is a key element of APTAS, since it provides all the resources required to specify and test real-time, parallel processing systems needed for avionics applications.< >
automatic program generation by a design specification database is discussed. It is noted that, in the area of communication software, modular design techniques and high-level language compilers and debuggers have bee...
详细信息
automatic program generation by a design specification database is discussed. It is noted that, in the area of communication software, modular design techniques and high-level language compilers and debuggers have been introduced, but few tools for supporting the software design process have been implemented. It is proposed that the design specifications be standardized and each design specification be put in a database of relational table forms for the purpose of supporting the design process. The types of design specifications needed to be incorporated in the design specification database and the elements of each table format are discussed. On the basis of these considerations, a design specification database support system was developed. This support system includes a feature for automatically generating program codes of the module interface, a document printing feature, and a table editor of the design specification database.< >
暂无评论