Three hybrid optical/digital methods for computing the geometric moments are reviewed. These methods have an optical processor producing the transform of the input image and a digital processor computing the various s...
详细信息
Optical neural networks for multi-target tracking, inference processors, imaging spectrometer data and matrix inversion are described, and initial results are presented.
Optical neural networks for multi-target tracking, inference processors, imaging spectrometer data and matrix inversion are described, and initial results are presented.
An optical symbolic processor that performs logic, numeric, morphological and propositional calculus operations is described and initial laboratory results are presented.
An optical symbolic processor that performs logic, numeric, morphological and propositional calculus operations is described and initial laboratory results are presented.
An optical laboratory matrix–vector processor is used to solve parabolic differential equations (the transient diffusion equation with two space variables and time) by an explicit algorithm. This includes optical mat...
详细信息
An optical laboratory matrix–vector processor is used to solve parabolic differential equations (the transient diffusion equation with two space variables and time) by an explicit algorithm. This includes optical matrix–vector nonbase-2 encoded laboratory data, the combination of nonbase-2 and frequency-multiplexed data on such processors, a high-accuracy optical laboratory solution of a partial differential equation, new data partitioning techniques, and a discussion of a multiprocessor optical matrix–vector architecture.
Optical processing techniques are presented that provide the necessary input data for multi-target trackers. We detail optical processing techniques for the detection of sub-pixel targets. We also detail optical proce...
详细信息
A hybrid optical/digital correlator filter synthesis architecture for distortion-invariant pattern recognition and scene analysis is described. Distortion-invariant correlation filter synthetic discriminant function d...
详细信息
We consider various types of optical computer generated holograms (CGHs) using various encoding techniques. The application chosen is their use as optical matched spatial filters (MSFs) in an optical frequency plane c...
详细信息
Mutation analysis is a software testing methodology designed to substantiate the correctness of a program Phi . The mutation approach is to induce syntactically correct changes in Phi , thereby creating a set of mutan...
详细信息
ISBN:
(纸本)0897912586
Mutation analysis is a software testing methodology designed to substantiate the correctness of a program Phi . The mutation approach is to induce syntactically correct changes in Phi , thereby creating a set of mutant programs. The goal of a tester is to construct a set of test data T that distinguishes the output of Phi (T) from that of all mutant programs. Test data sensitive enough to distinguish all mutant programs is deemed adequate to infer the probable correctness of Phi . An algorithm is proposed which was designed to exploit the architecture of a vector processor like the Cyber 205 or Cray X/MP. The algorithm manages the simultaneous execution of multiple mutant Fortran 77 programs. This is accomplished by viewing the execution of these mutants as a sequence of vector instructions. The algorithm promises potential to greatly increase the performance of a mutation-based testing system, as well as points towards a general method of simultaneous program execution against multiple data sets.< >
The authors describe how software testing using mutation analysis can be performed efficiently on an SIMD machine. They develop a technique that permits unified scheduling of multiple mutant programs on a very large S...
详细信息
The authors describe how software testing using mutation analysis can be performed efficiently on an SIMD machine. They develop a technique that permits unified scheduling of multiple mutant programs on a very large SIMD machine. They believe that supercomputers with novel architectures can be used to enhance software productivity by using techniques like the one proposed.< >
The important issues and major features of visual languages are summarized, and their impact on softwareengineering, especially software specification techniques, are discussed. The potential of using visual language...
详细信息
The important issues and major features of visual languages are summarized, and their impact on softwareengineering, especially software specification techniques, are discussed. The potential of using visual languages for software specifications to improve software reliability, modifiability, reusability, and understandability is also considered.< >
暂无评论