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

Research and Application of Machine Learning in automatic program generation

Chinese Journal of Electronics 2020年第6期29卷 1001-1015页

作者： ZHANG Xiaojiang JIANG Ying Yunnan Key Laboratory of Computer Technology Application Kunming University of Science and Technology Faculty of Information Engineering and Automation Kunming University of Science and Technology

With the development of artificial intelligence,machine learning has been applied in more and more *** order to improve the quality and efficiency of software,automatic program generation is becoming a research *** recent years,machine learning has also been gradually applied in automatic program *** trees,language models,and cyclic neural networks have been applied in code generation,code completion and code knowledge *** efficiency of software development has been improved to a certain extent using machine *** at the automatic program generation,this paper analyzes and summarizes the models of machine learning,the modifications involved in the models and the application *** research direction is discussed from the aspects of programmer behavior and automatic program generation of machine learning.

关键词： automatic programming data mining decision trees learning (artificial intelligence) neural nets software engineering programmer behavior cyclic neural networks language models decision trees code knowledge mining code completion code generation automatic program generation machine learning Machine learning Code generation Code completion Code knowledge mining Application effect

来源：评论

学校读者我要写书评

暂无评论

DEVELOPMENT OF USER INTERFACE TO SUPPORT automatic program generation OF NUCLEAR-POWER PLANT ANALYSIS BY MODULE-BASED SIMULATION SYSTEM

JOURNAL OF THE ATOMIC ENERGY SOCIETY OF JAPAN

引用

JOURNAL OF THE ATOMIC ENERGY SOCIETY OF JAPAN 1988年第8期30卷 699-713页

作者： YOSHIKAWA, H MIZUTANI, N NAKAYA, K WAKABAYASHI, J Inst. At. Energy Kvoto Univ. Sharp Co. Ltd. Yokokawa Hewlett Packard Co. Ltd.

Module-based Simulation System (MSS) has been developed to realize a new software work environment enabling versatile dynamic simulation of a complex nuclear power system flexibly. The MSS makes full use of modern software technology to replace a large fraction of human software works in complex, large-scale program development by computer automation. Fundamental methods utilized in MSS and developmental study on human interface system SESS-1 to help users in generating integrated simulation programs automatically are summarized as follows: (1) To enhance usability and “communality” of program resources, the basic mathematical models of common usage in nuclear power plant analysis are programed as “modules” and stored in a module library. The information on usage of individual modules are stored in module database with easy registration, update and retrieval by the interactive management system. (2) Target simulation programs and the input/output files are automatically generated with simple block-wise languages by a precompiler system for module integration purpose. (3) Working time for program development and analysis in an example study of an LMFBR plant thermal-hydraulic transient analysis was demonstrated to be remarkably shortened, with the introduction of an interface system SESS-1 developed as an automatic program generation environment.

关键词： module-based simulation system nuclear power plants dynamic simulation module databases automatic program generation programming human interfaces LMFBR type reactors

来源：评论

学校读者我要写书评

暂无评论

Input-Output Conditions for automatic program generation Using Petri Nets

Input-Output Conditions for Automatic Program Generation Usi...

引用

15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES)

作者： Osogami, Masahiro Yamanishi, Teruya Uosaki, Katsuji Fukui Univ Technol Dept Management Informatioin Sci Fukui 9108505 Japan

ISBN: (纸本)9783642238505

Recently, demand for software has been increasing due to the influence of factory and office automation, so a software crisis has begun. Concerned with this situation, interest of automatic program generation has been increased. An automatic program generation system MAPP(Module Aided programming system by Prolog) uses specifications written in easily understood language, and data structures with customized target objects using the generic Prolog module library. During program generation, using input and output conditions of modules, MAPP tries to compensate for any missing specifications when they are not completely described. In this paper, Petri nets will be used corresponds input-output conditions check of MAPP modules. The reachability of Petri net is mathematically analyzable using state equation, algebraic equation or incidence matrices of Petri nets.

关键词： Input-output conditions Prolog automatic program generation Petri nets reachability analysis

来源：评论

学校读者我要写书评

暂无评论

Assembly Task Modelling Method for automatic Robot program generation 11

Assembly Task Modelling Method for Automatic Robot Program G...

引用

11th International Conference on Control, Mechatronics and Automation (ICCMA)

作者： Sartori, Alberto Mathiesen, Simon Faarvang Sorensen, Lars Caroe Waspe, Ralf Schlette, Christian Univ Southern Denmark SDU Robot Odense Denmark

ISBN: (纸本)9798350315684

The assembly of parts is a common task in the manufacturing industry. Robotic systems are used to automate repetitive processes, but the long time required for writing and testing programs, limit the application to cases of high-volume production. Modern production systems are expected to quickly adapt to product variants and process changes, and robots should be programmed in a flexible manner to allow for quick reconfiguration. In this paper, we present a method to model assembly tasks in a Digital Twin platform that allows the simulation and control of robots using a Visual programming editor. We enrich geometric data of parts with 3D frame annotations that are used to design assembly steps. Furthermore, we introduce an interface where each step of the assembly sequence is matched with a ServiceNetwork, a reusable program that can solve a specific task. This produces a sequence of blocks in the Visual programming editor, where robot poses are generated automatically based on the assembly data. The presented method allows for the flexible reconfiguration of robotic assembly tasks based on digital product data without the need of teaching robot poses. The process is demonstrated by assembling a product in simulation and comparing it with other methods for task reconfiguration.

关键词： Robotic Assembly Flexible Reconfiguration Assembly Sequence Digital Twin automatic program generation

来源：评论

学校读者我要写书评

暂无评论

A Method of Input-Output Conditions for automatic program generation using Petri Nets

A Method of Input-Output Conditions for Automatic Program Ge...

引用

SICE Annual Conference

作者： Masahiro Osogami Teruya Yamanishi Katsuji Uosaki Department of Management Information Science Fukui University of Technology

ISBN: (纸本)9784907764388

Since the 1980's, object oriented programming and structured programming have been required for increased software productivity. Under these circumstances, interest of studies for automatic program generation such as (Module Aided programming system by Prolog) MAPP has been increased. The system uses specifications written in easily understood language, and data structures with customized target objects using the generic Prolog module library. During program generation, MAPP tries to compensate for any missing specifications which are not completely described using input and output conditions of modules. But such an input-output conditions check has been carried out empirically, and its effectiveness has not been proved. In this paper, a method using Petri nets is proposed to apply to the input-output conditions check of MAPP modules. The method is effective to obtain mathematical backgrounds since the reachability of Petri nets is analyzable using state equation, algebraic equation, and incidence matrices.

关键词： Input-output conditions Prolog automatic program generation Petri nets Reachability analysis

来源：评论

学校读者我要写书评

暂无评论

PLC orchestration automation to enhance human-machine integration in adaptive manufacturing systems

引用

JOURNAL OF MANUFACTURING SYSTEMS 2023年 71卷 172-187页

作者： Mo, Fan Querejeta, Miriam Ugarte Hellewell, Joseph Rehman, Hamood Ur Rezabal, Miren Illarramendi Chaplin, Jack C. Sanderson, David Ratchev, Svetan Univ Nottingham Inst Adv Mfg Nottingham NG8 1BB England Mondragon Unibertsitatea Arrasate Mondragon 20500 Spain TQC Automat Ltd Nottingham NG3 2NJ Nottinghamshire England

Current approaches to manufacturing must evolve to respond to increasing demands for short product life cycles and customised products. Adaptive manufacturing systems integrate advanced technologies, automation, and data-driven methodologies to develop adaptable, efficient, and responsive production processes. Central to this concept is the emphasis on human involvement and fostering synergy between human operators and the manufacturing system. Significant changes to the system's controller are required to achieve adaptivity, with programmable logic controllers (PLCs) being a common controller type. After the necessary changes to the configuration of the manufacturing system, the PLC should be reconfigured to orchestrate the new required behaviour. Automated reconfiguration is vital to rapidly responding to change, but some changes cannot be entirely achieved without human input in collaboration with automated methods. Conventional practices in PLC programming include manual, repetitive coding practices subject to errors. As a result, to ensure operational safety, the changes must be tested before being deployed to operations, ensuring it is error -free. This paper presents a methodology to automatically reconfigure the simulation environment and controller in response to a new product request. We automate the PLC code generation and testing practices to support and free up the operators when performing repetitive manufacturing reconfiguration tasks. The methodology is based on human learning, software automation, customised program development, knowledge graphs, and Graph Neural Networks (GNNs). The presented solution is a generic, vendor-agnostic, and interoperable solution that facilitates information exchange among multiple heterogeneous environments. Lastly, we have validated the methodology as a proof of concept at an adaptive assembly cell at the University of Nottingham in the United Kingdom.

关键词： PLC automatic program generation Structural testing Adaptive manufacturing systems Industry 4.0 Knowledge graph Graph neural network

来源：评论

学校读者我要写书评

暂无评论

Mechanical derivation of fused multiply-add algorithms for linear transforms

引用

IEEE TRANSACTIONS ON SIGNAL PROCESSING 2007年第9期55卷 4458-4473页

作者： Voronenko, Yevgen Pueschel, Markus Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA

Several computer architectures offer fused multiply-add (FMA), also called multiply-and-accumulate (MAC) instructions, that are as fast as a single addition or multiplication. For the efficient implementation of linear transforms, such as the discrete Fourier transform or discrete cosine transforms, this poses a challenge to algorithm developers as standard transform algorithms have to be manipulated into FMA algorithms that make optimal use of FMA instructions. We present a general method to convert any transform algorithm into an FMA algorithm. The method works with both algorithms given as directed acyclic graphs (DAGs) and algorithms given as structured matrix factorizations. We prove bounds on the efficiency of the method. In particular, we show that it removes all single multiplications except at most as many as the transform has outputs. We implemented the DAG-based version of the method and show that we can generate many of the best-known hand-derived FMA, algorithms from the literature as well as a few novel FMA algorithms.

关键词： automatic program generation discrete cosine transform (DCT) discrete Fourier transform (DFT) fast algorithm implementation multiply-and-accumulate (MAC) instruction multiply and accumulate (MAC)

来源：评论

学校读者我要写书评

暂无评论

A Conditional Dependency Based Probabilistic Model Building Grammatical Evolution

引用

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 2016年第7期E99D卷 1937-1940页

作者： Kim, Hyun-Tae Kang, Hyun-Kyu Ahn, Chang Wook Sungkyunkwan Univ Dept Comp Engn Suwon 16419 South Korea Konkuk Univ Dept Comp Engn Chungju 27478 South Korea

In this paper, a new approach to grammatical evolution is presented. The aim is to generate complete programs using probabilistic modeling and sampling of (probability) distribution of given grammars. To be exact, probabilistic context free grammars are employed and a modified mapping process is developed to create new individuals from the distribution of grammars. To consider problem structures in the individual generation, conditional dependencies between production rules are incorporated into the mapping process. Experiments confirm that the proposed algorithm is more effective than existing methods.

关键词： grammatical evolution probabilistic modeling context-free grammars automatic program generation

来源：评论

学校读者我要写书评

暂无评论

AN automatic GENERATOR FOR COMPILER TESTING

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1982年第4期8卷 343-353页

作者： BAZZICHI, F SPADAFORA, I CNUCE CTR COMP PISA ITALY UNIV PISA IST SCI INFORMAZ I-56100 PISA ITALY

One important problem in software production is to control the functional correctness of programs. Such control is essential for complex, widely distributed programs, such as compilers. Many tools are available for the automatic generation of compilers, but the end result must be tested as not all the components are realized automatically. Different methods have been studied and developed to test compilers, but none has solved the problem completely and efficiently. A new method for testing compilers is described in which the compiler is exercised by compilable programs, automatically generated by a test generator. A tabular description of the source language drives the generator. The description is in a formalism which extends context-free grammars in a context-dependent direction, while still retaining the structure and readability of BNF. The generator produces a set of programs which cover all grammatical constructions of the source language, unless user supplied directives indicate otherwise. These programs can be used to evaluate the performance of different compilers of the same source language. Figures.

关键词： Translator Testing automatic program generation automatic Test generation Compiler Testing generation Of Compilable programs

来源：评论

学校读者我要写书评

暂无评论

COMPILATION OF NONPROCEDURAL SPECIFICATIONS INTO COMPUTER-programS

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1983年第3期9卷 267-279页

作者： PRYWES, NS PNUELI, A WEIZMANN INST SCI IL-76100 REHOVOTISRAEL

Nonprocedural languages are easier to use and require fewer programming skills than such procedural languages as PL/1 or COBOL because they are descriptive and devoid of procedural controls. In addition, describing data is independent of the memory, database, or other device, and the user is not distracted by the need to design efficient representations of algorithms. A nonprocedural program is much shorter than a procedural program and the generated programs are more reliable. The compilation process includes the representation of the specification by a dependency graph which expresses the data flow interdependencies between graphs. Two classes of algorithms detect any problems and then produce an intermediate design of an object program in a language independent form. The MODEL language, a very high level nonprocedural langauge, is used in the compilation of a program specification, after which PL/1 and COBOL code is generated. Three characteristics necessary for a practical and useful system are: 1. automatic handling of all input/output activities, 2. global checking of completeness and consistency, and 3. compiling.

关键词： Very High Level Languages automatic program generation Compilers And Generators Dataflow Languages Nonprocedural Languages program Specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：