This paper describes an automatic multi-objective adjustment system for optical axes using genetic algorithms. It is difficult for conventional systems to automatically adjust optical axes, because it requires high-pr...
详细信息
ISBN:
(纸本)0769522866
This paper describes an automatic multi-objective adjustment system for optical axes using genetic algorithms. It is difficult for conventional systems to automatically adjust optical axes, because it requires high-precision positioning and angle setting with mu m resolution. Moreover multiple goals that have a trade-off relation must be satisfied simultaneously by the adjustment. In order to overcome this problem, we propose a multi-objective adjustment system using genetic algorithms. In experiments, simultaneous alignment for the positioning and the angles (parallelism) of optical axes, which is difficult with conventional methods, could be realized within three hours.
This article introduces an application of higher order functions as structure abstractions of recursive(1) functions as a method to reduce a search effort needed for the automatic programming (evolving) of common type...
详细信息
This article introduces an application of higher order functions as structure abstractions of recursive(1) functions as a method to reduce a search effort needed for the automatic programming (evolving) of common types of recursive functions. We will shortly describe a functional paradigm based language specially designed for automatic programming. Henceforward we introduce the structure abstraction functions (AR-functions) and the results of experiments.
In this paper we propose an automatic updating system for urban vector maps that is able to detect changes between the old dataset (consisting of both vector and raster maps) and the present time situation represented...
详细信息
ISBN:
(纸本)3540288694
In this paper we propose an automatic updating system for urban vector maps that is able to detect changes between the old dataset (consisting of both vector and raster maps) and the present time situation represented in a raster map. In order to automatically detect as much changes as possible and to extract vector data for new buildings we present a system composed of three main parts: the first part detects changes between the input, vector map and the new raster map (based on edge matching), the second part locates new objects (based on color segmentation), and the third part extracts new objects boundaries to be used for updating the vector map (based on edge detection, color segmentation and adaptive edge linking). Experiments on real datasets illustrate the approach.
This paper describes conversion of a surface valency lexicon of Czech verbs to a surface valency lexicon of adjectives that can be derived from these verbs and that use their (possibly modified) valency frames. After ...
详细信息
ISBN:
(纸本)3540287892
This paper describes conversion of a surface valency lexicon of Czech verbs to a surface valency lexicon of adjectives that can be derived from these verbs and that use their (possibly modified) valency frames. After preparing the necessary data by hand, the conversion can be fully automatic and every change of the source lexicon can be automatically reflected in the destination lexicon. We have successfully converted the verb valency lexicon "Brief" with about 15,000 verbs to a valency lexicon of about 27,000 deverbal adjectives. The paper also describes some interesting peculiarities in the process of creating passive adjectives and their valency frames.
Size-change termination (SCT) automatically identifies termination of first-order functional programs. The SCT principle: a program terminates if every infinite control flow sequence would cause an infinite descent in...
详细信息
Recent work in avoiding the state explosion problem in hardware verification during breath-first symbolic traversal (BFST) based on Binary Decision Diagrams (BDDs) applies hints to constrain the transition relation of...
详细信息
ISBN:
(纸本)3540291059
Recent work in avoiding the state explosion problem in hardware verification during breath-first symbolic traversal (BFST) based on Binary Decision Diagrams (BDDs) applies hints to constrain the transition relation of the circuit being verified [14]. Hints are expressed as constraints on the primary inputs and states of a circuit modeled as a finite transition system and can often be found with the help of simple heuristics by someone who understands the circuit well enough to devise simulation stimuli or verification properties for it. However, finding good hints requires one to constrain the transition system so that small intermediate BDDs arise during computations that produce large numbers of reachable states. Thus, the ease of finding good hints is limited by the user's ability to predict their usefulness. In this paper we present a method to statically and automatically determine good hints. Working on the control flow graph(s) of a behavioral model of the circuit being analyzed, our algorithm extracts sets of related execution paths. Each set has a corresponding enabling predicate which is a candidate hint. Program slicing is employed to identify execution paths. Abstract interpretation and model checking are used to ascertain properties along these paths. Hints generated automatically using our technique result in orders-of-magnitude reductions in time and space requirements during state space exploration compared to BFST and are usually as good as those produced by someone who understands the circuit.
The goal of this presentation is to illustrate the benefits of using an automated, model-based approach for improving system test design and generation. Our approach, TDE/UML, automatically generates system tests from...
详细信息
ISBN:
(纸本)3540290109
The goal of this presentation is to illustrate the benefits of using an automated, model-based approach for improving system test design and generation. Our approach, TDE/UML, automatically generates system tests from behavioral models of an application using the Unified Modeling Language (UML.). TDE/UML builds on and combines existing techniques for data coverage and graph coverage. We focus here on the results of applying TDE/UML in diverse Siemens projects: its cost benefits and its fault detection capabilities.
We describe an approach taken for automatically associating entries from an on-line encyclopedia with concepts in an ontology or a lexical semantic network. It has been tested with the Simple English Wikipedia and Wor...
详细信息
ISBN:
(数字)9783540319009
ISBN:
(纸本)3540262199
We describe an approach taken for automatically associating entries from an on-line encyclopedia with concepts in an ontology or a lexical semantic network. It has been tested with the Simple English Wikipedia and WordNet, although it can be used with other resources. The accuracy in disambiguating the sense of the encyclopedia entries reaches 91.11% (83.89% for polysemous words). It will be applied to enriching ontologies with encyclopedic knowledge.
This study considers our thinking is comprised of the set of something. Something in this study is cited as existences resident in our mind. This study considers the existences can be defined by certain rules. What ar...
详细信息
ISBN:
(纸本)9781586035563
This study considers our thinking is comprised of the set of something. Something in this study is cited as existences resident in our mind. This study considers the existences can be defined by certain rules. What are they? In this study, they are what cannot be negated, nor affirmed. The rules are introduced to the limits of our thinking, by using Whole, Part, Static, Dynamic, Synchronous, Asynchronous, Memory, Assimilation, Awareness and Mind, as axiom. In this study, these concepts are defined but their rationality cannot be verified by humans. This study proposes a hypothesis of the world comprised Of Such rules. By the rules of this world, how Software is introduced by human intelligence is observed theoretically. "Lyee" is meant to be this theoretical axiomatic observation. With this theoretical observation, we expect a new awareness of software is established. With this effect, for example, we can obtain universal algorithm independent of programming languages and programs. With this algorithm, we can realize automatic programming language conversion and program's diagnosis. In this paper, a theoretical observation of Lyee is proposed. Other rules and examples of concrete cases not discussed herein can be referred to other papers.
We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a compiler written in compositional style, which ...
详细信息
ISBN:
(纸本)3540291385
We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a compiler written in compositional style, which brings the advantage that any program fragment can be abstracted out and compiled to an intermediate form. These forms can be put together at run-time to build complete programs. This principle provides a high level of flexibility in writing program generators. However, this comes at the price of inefficient run-time compilation. Using source-level transformations, we optimize the run-time generation of byte code from fragments, achieving speedups of 5-15%. We discuss the optimization process and give several examples.
暂无评论