检索结果-内蒙古大学图书馆

Conference on Digital Avionics Systems (DASC)

作者： J.S. Williamson P.S. Jensen L. Ogata W.H. Graves Wright Research and Development Center Avionics Laboratory Wright Patterson Air Force Base OH USA Lockheed Palo Alto Research Laboratory Palo Alto CA USA

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 programming Aerospace electronics Design engineering Software prototyping Software systems Computer architecture Systems engineering and theory System testing Hardware Software testing

来源：评论

学校读者我要写书评

暂无评论

automatic programming by design specification database for communication software

Automatic programming by design specification database for c...

引用

1989 IEEE Global Telecommunications Conference and Exhibition 'Communications Technology for the 1990s and Beyond'

作者： K. Makuta H. Aoe T. Atsumi T. Yamamoto Totsuka Works Hitachi Limited

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.< >

关键词： automatic programming Spatial databases Design engineering Relational databases Software design High level languages Printing Software debugging Software tools Process design

来源：评论

学校读者我要写书评

暂无评论

automatic programming and Control for Robotic Deburring

Automatic Programming and Control for Robotic Deburring

引用

Proceedings of ISR 2016: 47st International Symposium on Robotics

作者： Julian Ricardo Diaz Posada Shivaram Kumar Alexander Kuss Ulrich Schneider Manuel Drust Thomas Dietz Alexander Verl

In the current industrial scenario, robots are rarely used in contact operations such as machining and finishing as they entail complex programming and control methods. Further, the disparity between accuracy specifications, communication technologies and control methods required for such operations calls for greater efforts in robot programming and control. This paper presents a novel approach to automatically program an industrial robot-based on the CAD model of the product variants and to enable online control to minimize errors during a deburring process. The paper starts with the modeling of the product, process and resource (PPR model) which is used to generate robot motion trajectories taking into account the constraints and the free degrees of freedom (DoFs) of the robotic deburring process. The operator selects the edge of the workpiece to be machined, and an automatic program generation system is designed which programs the robot for the deburring process and enables online compensation. A laser scanner sensor device is used for localizing the workpiece in the robot cell and in the online compensation to perform fine corrections of the robot's movement during the process. Experimental results are used to validate the robotic program generation and control mechanism for a deburring process, and to outline the future potential of this work.

关键词： deburring automatic programming Robot PRODUCT HANDLING Control Methods Robot programming Program generation product variant Standing Orders workpiece control mechanism

来源：评论

学校读者我要写书评

暂无评论

automatic programming assessment and test data generation a review on its approaches

Automatic programming assessment and test data generation a ...

引用

International Symposium on Information Technology, ITSim

作者： Rohaida Romli Shahida Sulaiman Kamal Zuhairi Zamli College of Arts and Sciences (Applied Sciences) Universiti Utara Malaysia UUM Sintok Kedah Malaysia School of Computer Sciences Universiti Sains Islam Malaysia Penang Malaysia School of Electrical and Electronic Engineering Universiti Sains Islam Malaysia Nibong Tebal Penang Malaysia

automatic programming assessment has recently become an important method in assisting lecturers and instructors of programming courses to automatically mark and grade students' programming exercises as well as to provide useful feedbacks on students' programming solutions. As part of the method, test data generation process plays as an integral part to perform a dynamic testing on students' programs. To date, various automated methods for test data generation particularly in software testing field are available. Unfortunately, they are seldom used in the context of automatic programming assessment research area. Nevertheless, there have been limited studies taking a stab to integrate both of them due to more useful features and to include a better quality program testing coverage. Thus, this paper provides a review on approaches that have been implemented in various studies with regard to automatic programming assessment, test data generation and integration of both of them. This review is aimed at gathering different techniques that have been employed to forward an interested reader the starting points for finding further information regarding its trends. In addition, the result of the review reveals the main gap that exists within the context of the considered areas which contributes to our main research topic of interest.

关键词： Testing Manuals programming profession automatic programming Book reviews Plagiarism

来源：评论

学校读者我要写书评

暂无评论

automatic programming of fine-motion for assembly

Automatic programming of fine-motion for assembly

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： J. Juan R. Paul Instituto de Cibernética Barcelona Spain Department of Computer and Information Science University of Pennsylvania Philadelphia PA USA

We develop strategies for fine motion planning for assembly by robot manipulators. In particular we consider the insertion problem. Our strategies are based on the control of orientation and force to achieve fine posi... 详细信息

关键词： automatic programming Robotic assembly Motion planning Strategic planning Robotics and automation Manipulators automatic control Force control Position control Jamming

来源：评论

学校读者我要写书评

暂无评论

automatic programming as code search: A research agenda

Automatic programming as code search: A research agenda

引用

ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, SUITE

作者： Steven P. Reiss Department of Computer Science Brown University Providence RI USA

automatically building programs has been a research goal for over 40 years. Code search technology, particularly code search combined with directed program transformations and validation, has the potential to address many of the problems related to automatic programming. In this position paper we outline an approach to using code search as a tool for generating moderate sized programs, define three problems that will need to be addressed, and describe our first steps toward solving those problems.

关键词： Context Search problems User interfaces Unified modeling language automatic programming Physics

来源：评论

学校读者我要写书评

暂无评论

A comprehensive review of automatic programming methods

引用

APPLIED SOFT COMPUTING 2023年 143卷

作者： Arslan, Sibel Ozturk, Celal Sivas Cumhuriyet Univ Dept Software Engn TR-58140 Sivas Turkiye Erciyes Univ Dept Software Engn TR-38280 Kayseri Turkiye

automatic programming (AP) is one of the most attractive branches of artificial intelligence because it provides effective solutions to problems with limited knowledge in many different application areas. AP methods can be used to determine the effects of a system's inputs on its outputs. Although there is increasing interest in solving many problems using these methods for a variety of applications, there is a lack of reviews that address the methods. Therefore, the goal of this paper is to provide a comprehensive literature review of AP methods. At the same time, we mention the main characteristics of the methods by grouping them according to how they represent solutions. We also try to give an outlook on the future of the field by highlighting possible bottlenecks and perspectives for the benefit of the researchers involved.& COPY;2023 Elsevier B.V. All rights reserved.

关键词： Artificial intelligence Evolutionary computation automatic programming Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Investigating the best automatic programming method in predicting the aerodynamic characteristics of wind turbine blade

引用

ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE 2023年第PartA期123卷

作者： Arslan, Sibel Koca, Kemal Sivas Cumhuriyet Univ Dept Software Engn TR-58140 Sivas Turkiye Abdullah Gul Univ Dept Mech Engn TR-38080 Kayseri Turkiye

automatic programming (AP) is a subfield of artificial intelligence (AI) that can automatically generate computer programs and solve complex engineering problems. This paper presents the accuracy of four different AP methods in predicting the aerodynamic coefficients and power efficiency of the AH 93-W-145 wind turbine blade at different Reynolds numbers and angles of attack. For the first time in the literature, Genetic programming (GP) and Artificial Bee Colony programming (ABCP) methods are used for such predictions. In addition, Airfoil Tools and JavaFoil are utilized for airfoil selection and dataset generation. The Reynolds number and angle of attack of the wind turbine airfoil are input parameters, while the coefficients CL, CD and power efficiency are output parameters. The results show that while all four methods tested in the study accurately predict the aerodynamic coefficients, Multi Gene GP (MGGP) method achieves the highest accuracy for R2Train and R2Test (R2 values in CD Train: 0.997-Test: 0.994, in CL Train: 0.991-Test: 0.990, in PE Train: 0.990-Test: 0.970). By providing the most precise model for properly predicting the aerodynamic performance of higher cambered wind turbine airfoils, this innovative and comprehensive study will close a research gap. This will make a significant contribution to the field of AI and aerodynamics research without experimental cost, labor, and additional time.

关键词： automatic programming Genetic programming Artificial bee colony programming Aerodynamic coefficients Power efficiency Wind turbine blade

来源：评论

学校读者我要写书评

暂无评论

Immune Plasma programming: A new evolutionary computation-based automatic programming method

引用

APPLIED SOFT COMPUTING 2024年 152卷

作者： Arslan, Sibel Sivas Cumhuriyet Univ Dept Software Engn TR-58140 Sivas Turkiye

Immune plasma therapy, one of the treatment modalities, has proven effective in combating the now rapidly spreading COVID-19 and many other pandemics. The immune plasma algorithm (IPA), inspired by the application phases of this treatment modality, is a recently proposed metaheuristic algorithm. Since its introduction, it has achieved promising results in engineering applications. In this paper, we propose for the first time immune plasma programming (IPP) based on the structure of IPA as a new evolutionary computation -based automatic programming (AP) method. It is compared with well-known AP methods such as artificial bee colony programming, genetic programming, and cartesian ant programming using symbolic regression test problems. It is also compared with baseline methods, many of which are based on recurrent neural networks and a real-word problem is solved. The control parameters of IPP are also tuned separately. The results of the experiments and statistical tests have shown that the prediction accuracy and convergence speed of the models produced by IPP are high. Therefore, IPP has been proposed as a method that can be used to solve various problems.

关键词： automatic programming Immune plasma programming Immune plasma algorithm Genetic programming Symbolic regression

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of automatic programming Techniques

引用

INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS 2019年第2期43卷 281-289页

作者： Arslan, Sibel Ozturk, Celal Erciyes Univ Engn Fac Comp Engn Dept Kayseri Turkey

automatic programming, an evolutionary computing technique, forms the programs automatically and is based on higher level features that can be easily specified than normal programming languages. Genetic programming (GP) is the first and best-known automatic programming technique that is applied to solve many practical problems. Artificial Bee Colony programming (ABCP) is one of the latest proposed automatic programming method that combines evolutionary approach with swarm intelligence. GP is an extension version of Genetic Algorithm (GA) and ABCP is based on Artificial Bee Colony (ABC) algorithm. The main differences of these automatic programing techniques and their conventional algorithms (GA and ABC) are modeling solution. In ABC same as GA, the solutions are represented fixed code blocks. In GP and ABCP, the positions of food sources are expressed in tree structure that is composed of different combinations of terminals and functions that are specifically defined as problems. This paper presents a review on GP and ABCP and they are worked in symbolic regression, prediction and feature selection problems which are widely tackled by researchers. The results of the ABCP compared with results of GP show that this algorithm is a powerful optimization technique for structural design.

关键词： automatic programming genetic programming artificial bee colony programming symbolic regression prediction feature selection

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：