An important aspect of Mathematical Morphology is the description of set operators by a formal language, the Binary Morphological Language, whose vocabulary are dilations, erosions, antidilations, antierosions, union ...
详细信息
ISBN:
(纸本)081941624X
An important aspect of Mathematical Morphology is the description of set operators by a formal language, the Binary Morphological Language, whose vocabulary are dilations, erosions, antidilations, antierosions, union and intersection. This language is complete (i.e. it can represent any set operator) and expressive (i.e. many useful operators can be represented as phrases with relatively few words). Since the sixties special machines, the Binary Morphological Machines (BMMach's), have been built to implement the BML with increasing efficiency. However, designing useful BMMach programs is not an elementary task. Recently, much research effort has been addressed to automating the programming of BMMach's. The goal is to find suitable knowledge representation formalisms to describe operations over geometric structures and to translate them into BMMach programs.
This paper investigates the representation of program for program reuse. 1. A new gene structure is proposed: head + body + tail, which allows the program with necessary complexity and putting some learning mechanism ...
详细信息
ISBN:
(纸本)9781424406043
This paper investigates the representation of program for program reuse. 1. 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. 2. A new homeotic gene structure is proposed it not only can call for subroutines easily, but also can automatically perform programming. 3. 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. 4. 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.
The paper focuses on automatic programming and how to synthesize stochastic local search algorithms using automatic design of algorithms through evolution (ADATE). The main goal is to provide support for the hypothesi...
详细信息
The paper focuses on automatic programming and how to synthesize stochastic local search algorithms using automatic design of algorithms through evolution (ADATE). The main goal is to provide support for the hypothesis that automatic programming can generate competitive heuristic algorithms. A well studied and highly optimized SAT solver, G2WSAT, is used as a case study. The results indicate that automatic programming is an effective design tool for heuristics and that there may be many well studied optimization problems that could benefit from the ADATE system and the specification methodology that we describe.
automatic programming, as supported by recent language-model based AI systems, potentially allows a new approach to making computation a useful tool for learning, a goal of the Boxer project. This paper shows that the...
详细信息
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 ...
详细信息
Defining and processing screen displays at present is typically a tedious and system dependent task. In this paper, four fundamental primitive-type functions are proposed for managing input and output for a display co...
详细信息
To meet the burgeoning software demands of the future the computer will have to take a more active role In the writing of its own software. Many computer tools have been developed that enable the machine to help human...
详细信息
ISBN:
(纸本)9781450339216
To meet the burgeoning software demands of the future the computer will have to take a more active role In the writing of its own software. Many computer tools have been developed that enable the machine to help human software developers. It would be preferable, and in the not too distant future it will be necessary, for the machine to actually take over a substantial part of software development. automatic programming seeks to do this by moving the human developer up from the implementation level of programming (e.g. COBOL, where the human has to include such details as data and control structures), to a level of programming that is less specific, where it is left to the computer decide the best way to fill in implementation. This article provides a survey of current research and development in automatic programming and a discussion of future directions In this field.
ISFI, an automatic programming system, accepts a nonprocedural specification of the desired behavior of a computer program. This specification is augmented by ISFI until computations to accomplish this behavior can be...
详细信息
ISFI, an automatic programming system, accepts a nonprocedural specification of the desired behavior of a computer program. This specification is augmented by ISFI until computations to accomplish this behavior can be derived, and then compilable code is generated. ISFI's graphical interface (IGI) permits input, modification, and exploration of the specification, including the part added by ISFI in the process of solving the programming problem. This interface supports the special requirements of an automatic programming system, the needs of programmers debugging any large complex computer system, the normal requirements of an interactive user interface, and the potential graphics to aid the visual thinking process of humans. The ways in which IGI addresses these issues are described and some enhancements are suggested.< >
The booming personalized and customized demands of customers in Industry 4.0 pose a great challenge for manufacturing enterprises in terms of flexibility and responsiveness. Nowadays, many effective dynamic scheduling...
详细信息
The booming personalized and customized demands of customers in Industry 4.0 pose a great challenge for manufacturing enterprises in terms of flexibility and responsiveness. Nowadays, many effective dynamic scheduling approaches have been proposed for manufacturing systems to quickly respond to changes in customer demands, where, however, the implementation of an automatic programming method with high control accuracy and low control delay is still challenging. The above unaddressed issue brings about a lot of labor-intensive and time-consuming manual offline programming work when adjusting the scheduling scheme to meet dynamic customer demands, resulting in limited flexibility and responsiveness in current manufacturing systems. To bridge this gap, a bi-level adaptive control architecture enabled by an automatic programming method is proposed and embedded into a digital twin manufacturing cell (DTMC). The bi-level architecture aims to automatically map an input task scheduling scheme with a batch of jobs into a group of control programs through a behavior model network and a set of event models embedded in DTMC. It also provides an adaptive program modification mechanism to quickly adapt to the dynamic adjustment of the scheduling scheme caused by the changing of customer demands or production conditions, thus equipping DTMC with strong flexibility and responsiveness. Based on the bi-level architecture, a DTMC prototype system is developed, where its application and evaluation examples demonstrate the feasibility and effectiveness of the proposed method.
In this paper, a parameterized automatic programming solution whose advantage depends on the automatic feature recognition of digital image is proposed and applied to the development of automatic programming software ...
详细信息
In this paper, a parameterized automatic programming solution whose advantage depends on the automatic feature recognition of digital image is proposed and applied to the development of automatic programming software for composite grinding. This solution can overcome the difficulty of recognizing intersecting feature of complicated rotational part. And a 7-layer CNN classifier is utilized to decide whether the part has the internal features or not, which makes the proposed feature recognition method more intelligent than retrieving the unknown objects blindly. The emphasis of the research is the geometric data extraction algorithm which is the synthesis of border following algorithm, corner detection algorithm and a variety of morphological processing. Under the condition of 12000 x 12000 pixel dimension and 200-dpi resolution of input image, the relative errors between the extracted and actual values of various geometric data are all less than 0.05% for the rotational parts of maximum diameter 500 mm and maximum length of 1500 mm. And all the extracted values of geometric data rounded to integers can fully meet the requirements of NC programming. The automatic programming software based on the proposed solution has excellent portability and practicability, which is independent of any CAD tools or data exchange standards. After the programs generated by the automatic programming software are validated in simulation software NCSIMUL, the software is integrated into HNC-848 CNC system and applied in the prototype of H377 composite grinding center.
暂无评论