Analog in-circuit program generator (APG) technology has improved to a state where the quality of tests written by APGs can hardly be met by tests written by humans. The authors propose a new debug methodology for tes...
详细信息
Analog in-circuit program generator (APG) technology has improved to a state where the quality of tests written by APGs can hardly be met by tests written by humans. The authors propose a new debug methodology for tests, in which the root cause for tests that fail during debug is diagnosed and repaired. In order to aid the test developer and to cut debug time the authors have developed a debug environment that supports this methodology. An expert system, named ROSALIND, analyses the results of a debug testplan and is able to take additional measurements on the testhead in order to diagnose failing tests. A research prototype has been implemented and tested. It cuts diagnosis time, facilitates higher test qualities and makes the implementation of revision changes to the board under test much easier.< >
The use of higher-order functions, as a method of abstraction and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motivation for the ideas of higher-orde...
详细信息
The use of higher-order functions, as a method of abstraction and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motivation for the ideas of higher-order functions, and describe their general advantages in EC encodings. We implement grammars using higher-order ideas for two problem domains, music and 3D architectural design, and use these grammars in the grammatical evolution paradigm. We demonstrate four advantages of higher-order functions (patterning of phenotypes, non-entropic mutations, compression of genotypes, and natural expression of artistic knowledge) which lead to beneficial results on our problems.
First, a multiple objective programming model is presented based on dynamic multiple attribute decision-making with interval numbers, and then the attribute weight vectors and the integrated values are computed in ord...
详细信息
First, a multiple objective programming model is presented based on dynamic multiple attribute decision-making with interval numbers, and then the attribute weight vectors and the integrated values are computed in order to judge weather there is dominant alternative. Finally, the method is applied to a practical example and the results show that the method is rational and effective
Component-based software engineering or CBSE represents a new development paradigm: assembling software systems from components. This research area has raised a tremendous amount of interests both in the research comm...
详细信息
Component-based software engineering or CBSE represents a new development paradigm: assembling software systems from components. This research area has raised a tremendous amount of interests both in the research community and in the software industry-a rare phenomenon in the field of software engineering. The paper discusses the technology infrastructure necessary to support CBSE. In particular, the authors present the results produced by the CBSE research project conducted at Andersen Consulting in the context of how their approach and tools automate a component-based development paradigm.
We propose an approach for producing database publishing programs by example. The main idea is to interactively build an example document, representative of the program output. The system infers from this document, wi...
详细信息
ISBN:
(纸本)9780769532615;9780769534206
We propose an approach for producing database publishing programs by example. The main idea is to interactively build an example document, representative of the program output. The system infers from this document, without ambiguity, the publishing program. The end-user does not need to know a programming language, a query language or the database schema.
Most recent general purpose processors feature short vector SIMD instructions, like SSE on Pentium III/4. We automatically generate platform-adapted short vector code for DSP transform algorithms using SPIRAL. SPIRAL ...
详细信息
Most recent general purpose processors feature short vector SIMD instructions, like SSE on Pentium III/4. We automatically generate platform-adapted short vector code for DSP transform algorithms using SPIRAL. SPIRAL represents and generates fast algorithms as mathematical formulas, and translates them into code. Adaptation is achieved by searching in the space of algorithmic and coding alternatives for the fastest implementation on the given platform. We explain the mathematical foundation that relates formula constructs to vector code, and overview the vector code generator within SPIRAL. Experimental results show excellent speed-ups compared to ordinary C code for a variety of transforms and computing platforms. For the DFT on Pentium 4, our automatically generated code compares favorably with the hand-tuned Intel MKL vendor library.
Java is becoming increasingly important as a programming language for applications based on the network centric computing paradigm. While more and more applications are written an Java, a large number of working C++ i...
详细信息
Java is becoming increasingly important as a programming language for applications based on the network centric computing paradigm. While more and more applications are written an Java, a large number of working C++ implementations for standard tasks still exist. Based on a domain model for language interoperability, the paper derives the structure of the necessary bridging code between C++ and Java and describes a mechanism, as well as its implementation for automatic bridging code generation. The paper then provides a top down overview of the bridging code layers, describing how C++ features are remodeled, and how C++ definitions are automatically mapped to Java.
MIL-STD-461D is an applicable standard of the test requirements for the electromagnetic interference control of emissions and susceptibility. MIL-STD-461D contains the test requirements for MIL-STD-462D. The purpose o...
详细信息
MIL-STD-461D is an applicable standard of the test requirements for the electromagnetic interference control of emissions and susceptibility. MIL-STD-461D contains the test requirements for MIL-STD-462D. The purpose of this study is not to review the contents of MIL-STD-461D which is freely available, but reduce the complexity and provide fast access to test requirements for the programming of automated test and measurement systems for emission tests.
暂无评论