A new technique of generating a test sequence for conformance testing of communication protocols is presented. This approach shows that it is possible to generate optimal length test sequences which include multiple u...
详细信息
A new technique of generating a test sequence for conformance testing of communication protocols is presented. This approach shows that it is possible to generate optimal length test sequences which include multiple unique input output sequences that overlap under certain conditions. In the absence of these conditions, a heuristic technique is used to obtain sub-optimal solutions, which show significant improvement over optimal solutions without overlapping. A comparison is also made of the computational complexity of the author's algorithm with that of existing techniques. A brief discussion of bounds on test sequence length is presented and results are compared against these bounds.< >
Environmental bugs are bugs caused by limitations of precision or capacity in the environment of a piece of software. These bugs may be difficult to activate and even more difficult to find. This paper reports on an e...
详细信息
Environmental bugs are bugs caused by limitations of precision or capacity in the environment of a piece of software. These bugs may be difficult to activate and even more difficult to find. This paper reports on an extension to traditional mutation testing that enables testing specifically for environmental bugs involving integer arithmetic. This method is both simple and effective, and provides some insight into other possible extensions of the mutation-testing methodology that can be used to expose environmental bugs.
A Ho-Kashyap (H-K) associative processor (AP) is shown to have a larger storage capacity than the pseudoinverse and correlation APs and to accurately store linearly dependent key vectors. Prior APs have not demonstrat...
详细信息
A Ho-Kashyap (H-K) associative processor (AP) is shown to have a larger storage capacity than the pseudoinverse and correlation APs and to accurately store linearly dependent key vectors. Prior APs have not demonstrated good performance on linearly dependent key vectors. The AP is attractive for optical implementation. A new robust H-K AP is proposed to improve noise performance. These results are demonstrated both theoretically and by Monte Carlo simulation. The H-K AP is also shown to outperform the pseudoinverse AP in an aircraft recognition case study. A technique is developed to indicate the least reliable output vector elements and a new AP error correcting synthesis technique is advanced.
Several performance criteria are described to enable a fair comparison among the various correlation filter designs: signal-to-noise ratio, peak sharpness, peak location, light efficiency, discriminability, and distor...
详细信息
Several performance criteria are described to enable a fair comparison among the various correlation filter designs: signal-to-noise ratio, peak sharpness, peak location, light efficiency, discriminability, and distortion invariance. The trade-offs resulting between some of these criteria are illustrated with the help of a new family of filters called fractional power filters (FPFs). The classical matched filter, phase-only filter (POF), and inverse filter are special cases of FPFs. Using examples, we show that the POF appears to provide a good compromise between noise tolerance and peak sharpness.
A case study of the application of a distributed control scheme to a power system control is presented. In addition, an investigation has been conducted into voltage control. Combined injection of VAr-compensating dev...
详细信息
A case study of the application of a distributed control scheme to a power system control is presented. In addition, an investigation has been conducted into voltage control. Combined injection of VAr-compensating devices controlled by distributed expert systems has been proposed as a measure to maintain voltage stability in a power system under heavy loading conditions. A simulation study has been carried out by using five workstations that represent a power system and four VAr-compensating devices. The results demonstrate the effectiveness of the proposed system for voltage recovery.< >
A new bidirectional optical associative processor is described for searching a hierarchical database that is stored as an adjacency matrix. The paper discusses how the processor can answer relatively complex queries o...
详细信息
A symbolic neural net is described. It uses a multichannel symbolic correlator to produce input neuron data to an optical neural net production system. It has use in obstacle avoidance, navigation, and scene analysis ...
详细信息
作者：
Casasent, DavidCarnegie Mellon University
Center for Excellence in Optical Data Processing Department of Electrical and Computer Engineering PittsburghPA15213 United States
Optical symbolic substitution offers general purpose optical processors for numeric, logic, and image processing functions. Its realization on an optical correlator is most attractive. This paper addresses the optical...
详细信息
Optical correlators utilizing spatially incoherent light are examined and compared with coherent correlators. Frequency and image domain optical correlator architectures are discussed. The effect of speckle noise and ...
详细信息
暂无评论