Automating the Ada programming process

Author(s):  
Fred Grossman ◽  
Robert J. Klerer ◽  
Charles B. Engle
Keyword(s):  
Author(s):  
Thomas W. Price ◽  
David Hovemeyer ◽  
Kelly Rivers ◽  
Ge Gao ◽  
Austin Cory Bart ◽  
...  

1997 ◽  
Vol 5 (2) ◽  
pp. 181-211 ◽  
Author(s):  
Elena Zannoni ◽  
Robert G. Reynolds

Traditional software engineering dictates the use of modular and structured programming and top-down stepwise refinement techniques that reduce the amount of variability arising in the development process by establishing standard procedures to be followed while writing software. This focusing leads to reduced variability in the resulting products, due to the use of standardized constructs. Genetic programming (GP) performs heuristic search in the space of programs. Programs produced through the GP paradigm emerge as the result of simulated evolution and are built through a bottom-up process, incrementally augmenting their functionality until a satisfactory level of performance is reached. Can we automatically extract knowledge from the GP programming process that can be useful to focus the search and reduce product variability, thus leading to a more effective use of the available resources? An answer to this question is investigated with the aid of cultural algorithms. A new system, cultural algorithms with genetic programming (CAGP), is presented. The system has two levels. The first is the pool of genetic programs (population level), and the second is a knowledge repository (belief set) that is built during the GP run and is used to guide the search process. The microevolution within the population brings about potentially meaningful characteristics of the programs for the achievement of the given task, such as properties exhibited by the best performers in the population. CAGP extracts these features and represents them as the set of the current beliefs. Beliefs correspond to constraints that all the genetic operators and programs must follow. Interaction between the two levels occurs in one direction through the extraction process and, in the other, through the modulation of an individual's program parameters according to which, and how many, of the constraints it follows. CAGP is applied to solve an instance of the symbolic regression problem, in which a function of one variable needs to be discovered. The results of the experiments show an overall improvement on the average performance of CAGP over GP alone and a significant reduction of the complexity of the produced solution. Moreover, the execution time required by CAGP is comparable with the time required by GP alone.


AKSEN ◽  
2021 ◽  
Vol 6 (1) ◽  
pp. 19-31
Author(s):  
Andrey Caesar Effendi ◽  
LMF Purwanto

The use of digital technology today can be said to be inseparable in our daily lives. Digital technology isslowly changing the way we communicate with others and the environment. Socialization that is usuallyface-to-face in the real world now can be done to not having to meet face-to-face in cyberspace. Thisliterature review aims to see a change in the way of obtaining data that is growing, with the use of digitaltechnology in ethnographic methods. The method used in this paper is to use descriptive qualitativeresearch methods by analyzing the existing literature. So it can be concluded that the use of digitalethnography in the architectural programming process can be a new way of searching for data at thearchitectural programming stage.


2013 ◽  
Vol 850-851 ◽  
pp. 657-660
Author(s):  
Jin Wei Tu ◽  
Cheng Zhong Huang

Technology macro-program application in numerical control is the secondary development tool which numerical control system manufacturers supported to the customers. It is the highest manual approach of numerically controlled lathe programming. This article introduces the programming process of macro-program parabola machining. Through practicing and researching the key functionality of the macro-program parabola machining, we can effective and reasonable master this ability and greatly increase the working ability of numerical control lathe.


2014 ◽  
Vol 490-491 ◽  
pp. 288-293
Author(s):  
Tao Liu ◽  
Xia Qin Wang ◽  
Jun Wu ◽  
Yong Wei Wang

With the development of scroll technology, the requirements of more efficient and more accurate processing method for scroll compressor parts become more urgent. This paper proposes a method to improve the machining effect of scroll compressor. The approach is based on 3-point arc approximation method which divides combined profile of scroll wrap into subparagraph arcs that can be interpolated on CNC System. This approach simplifies the programming process and improves the curve fitting effect. The results indicate that the fitting error is in the predetermined range, and the interpolation points of cutter center track are significantly less than those based on CAD/CAM software. The method presented in this paper is of significance to the NC machining of novel precise scroll profile.


2018 ◽  
Vol 2 (2) ◽  
Author(s):  
Ahmad Dimyati

ABSTRAKPenelitian ini bertujuan untuk mengetahui (1) metode identifikasi masalah Public Relations pada LAZ Dompet Dhuafa; (2) proses perencanaan dan pemrograman LAZ Dompet Dhuafa; (3) strategi aksi dan komunikasi LAZ Dompet Dhuafa; dan (4) proses evaluasi program LAZ Dompet Dhuafa. Penelitian ini menggunakan metode kualitatif dengan pendekatan studi kasus eksploratif jenis single case holistic. Data primer dalam penelitian ini diperoleh melalui wawancara mendalam, sementara data sekunder bersumber dari studi pustaka dan dokumentasi. Hasil penelitian menunjukkan bahwa LAZ Dompet Dhuafa tidak melakukan riset khusus terkait perencanaan program; riset yang dilakukan hanya melalui fakta-fakta baru di lapangan melalui program-program yang sudah ada sebelumnya. Perencanaan program tematik dan nontematik LAZ Dompet Dhuafa dilakukan melalui rapat kerja tahunan, sementara pesan utama yang ingin disampaikan kepada pihak eksternal disampaikan melalui website resmi dan media sosial. Adapun evalusi program yang dilakukan tidak melibatkan publik eksternal. Kata Kunci: Manajemen Public Relations, zakat, Dompet Dhuafa ABSTRACTThis study aims to determine (1) the method of identifying problems of Public Relations at LAZ Dompet Dhuafa; (2) the planning and programming process of LAZ Dompet Dhuafa; (3) the strategy of action and communication of LAZ Dompet Dhuafa; and (4) the evaluation process of the LAZ Dompet Dhuafa program. This study uses a qualitative method with an explorative case study approach and single case holistic. The primary data in this study were obtained through in-depth interviews, while the secondary data were obtained from literature and documentation. The results of the study show that LAZ Dompet Dhuafa does not conduct specific research related to program planning; the research only carried out through new facts in the field through the pre-existing programs. The planning of thematic and non-thematic program is carried out through annual work meetings, while the main message to be conveyed to public (external) is delivered through the official website and social media. Meanwhile, the evaluation of the program did not involve the external public. Keywords: Public Relations management, zakat, Dompet Dhuafa


Sign in / Sign up

Export Citation Format

Share Document