A flow analyzer can be very helpful in the process of program understanding, by providing the programmer with different views of the code. As the documentation is often incomplete or inconsistent, it is extremely usef...
详细信息
A flow analyzer can be very helpful in the process of program understanding, by providing the programmer with different views of the code. As the documentation is often incomplete or inconsistent, it is extremely useful to extract the information a programmer may need directly from the code. Program understanding activities are interactive, thus program analysis tools may be asked for quick answers by the maintainer. Therefore the control on the trade-off between accuracy and efficiency should be given to the user. The paper presents an approach to interprocedural reaching definitions flow analysis based on three levels of precision depending on the sensitivity to the calling context and the control flow. A lower precision degree produces an overestimate of the data dependencies in a program. The result is anyhow conservative (all dependencies which hold are surely reported), and definitely faster than the more accurate counterparts. A tool supporting reaching definition analysis in the three variants has been developed. The results on a test suite show that three orders of magnitude can be gained in execution times by the less accurate analysis, but 57.4% extra dependencies are on average added. The intermediate variant is much more precise (1.6% extra dependencies), but gains less in times (one order of magnitude).
The aim of the experiment presented in this paper is to present an insight into the evaluation of the potential benefits of introducing a function clone detection technology in an industrial software development proce...
The aim of the experiment presented in this paper is to present an insight into the evaluation of the potential benefits of introducing a function clone detection technology in an industrial software development process. To take advantage of function clone detection, two modifications to the software development process are presented. Our experiment consists of evaluating the impact that these proposed changes would have had on a specific software system if they had been applied over a 3 year period (involving 10000 person-months), where 6 subsequent versions of the software under study were released. The software under study is a large telecommunication system. In total 89 million lines of code have been analyzed. A first result showed that, against our expectations, a significant number of clones are being removed from the system over time. However, this effort is insufficient to prevent the growth of the overall number of clones in the system. In this context the first process change would have added value. We have also found that the second process change would have provided programmers with a significant number of opportunities for correcting problems before customers experienced them. This result shows a potential for improving the software system quality and customer satisfaction
The internal competition between categories in the Fuzzy Adaptive Resonance Theory (ART) neural model can be biased by replacing the original choice function with one that contains a tuning parameter under external co...
详细信息
ISBN:
(纸本)0780341236
The internal competition between categories in the Fuzzy Adaptive Resonance Theory (ART) neural model can be biased by replacing the original choice function with one that contains a tuning parameter under external control. The competition can be biased so that, for example, categories of a desired size can be favored. This attentional tuning mechanism allows recalling for a same input different categories under different circumstances, even when no additional learning tales place. A new tuning parameter is unnecessary, since the readily available vigilance parameter can control both attentional tuning and vigilance. The modified Fuzzy ART has the self-stabilization property for analog inputs, whether vigilance is fixed or variable.
The internal competition between categories in the fuzzy adaptive resonance theory (ART) neural model can be biased by replacing the original choice function with one that contains a tuning parameter under external co...
详细信息
The internal competition between categories in the fuzzy adaptive resonance theory (ART) neural model can be biased by replacing the original choice function with one that contains a tuning parameter under external control. The competition can be biased, so that, for example, categories of a desired size can be favored. This attentional tuning mechanism allows recalling for a same input different categories under different circumstances, even when no additional learning tabes place. A new tuning parameter is unnecessary, since the readily available vigilance parameter can control both attentional tuning and vigilance. The modified fuzzy ART has the self-stabilization property for analog inputs, whether vigilance is fixed or variable.
Punctured convolutional codes allow an easy implementation of variable-rate encoders/decoders and compared to conventional codes of the same rate, the decoding complexity is significantly reduced. The puncturing techn...
详细信息
Punctured convolutional codes allow an easy implementation of variable-rate encoders/decoders and compared to conventional codes of the same rate, the decoding complexity is significantly reduced. The puncturing technique has been applied to trellis-coded modulation, yielding PSK and QAM codes. Most of these codes have a free squared-Euclidean distance which is almost as large as that of the best known Ungerboeck codes. Hence, the advantages provided by the puncturing technique with binary convolutional codes are essentially maintained with trellis-coded modulation over additive white Gaussian noise channels. In this paper, the performance of punctured QAM trellis codes over Rayleigh fading channels is presented. It is shown that compared to Ungerboeck codes, a significant coding gain of several dB can be achieved. We also show that our codes are nearly as good as Du and Vucetic (1991) 16-QAM codes which have been specifically designed for fading channels. Furthermore, they offer more flexibility and are simpler to decode than Du and Vucetic codes.
This paper describes the use of a six-port active load measurement system to determine the optimal large-signal loading of transistors for the design of microwave oscillators providing maximum output power. Our system...
详细信息
This paper describes the use of a six-port active load measurement system to determine the optimal large-signal loading of transistors for the design of microwave oscillators providing maximum output power. Our system has been used to measure the optimal large-signal terminating impedance for a potentially unstable microwave transistor and to apply the device line characterization technique. This technique, which is used to characterize a negative resistance monoport and predict the level of oscillator output power, is implemented for the first time using active loading. An oscillator designed using our measurements generated an output power of 11.3 dBm at a frequency of 3.5 GHz. This result is in good agreement with the value predicted from the device line technique and our measurement system.
Variable speed electrical drives are very complex systems which makes difficult their study when detailed analysis is required along with their global behavior. With the help of advanced software tools for circuit ana...
详细信息
Variable speed electrical drives are very complex systems which makes difficult their study when detailed analysis is required along with their global behavior. With the help of advanced software tools for circuit analysis and for modeling a drive system following a modular approach, it becomes much easier to study those complex systems. This paper presents a methodology for use with Matlab/Simulink environment in which the main parts of an electrical drive are modeled as interlinked functional blocks. The complete drive system (from supply to mechanical load) is analysed as a set of independent but integrated modules.
Electrical drives are very complex systems which makes difficult their study when detailed analysis is required along with their global behaviour. With the help of advanced software tools for circuit analysis and the ...
详细信息
Electrical drives are very complex systems which makes difficult their study when detailed analysis is required along with their global behaviour. With the help of advanced software tools for circuit analysis and the modelling of a drive system following a modular approach, it becomes much easier to study those complex systems. This paper presents a methodology for use with the Matlab/Simulink environment in which the main parts of an electrical drive are modelled as interlinked functional blocks. The complete drive system (from supply to mechanical load) is analysed as a set of independent but integrated modules.
An implantable multiprogrammable microstimulator that is intended to restore normal bladder functions (retention and incontinence) to spinal cord injured patients is presented. The implantable microstimulator circuitr...
详细信息
An implantable multiprogrammable microstimulator that is intended to restore normal bladder functions (retention and incontinence) to spinal cord injured patients is presented. The implantable microstimulator circuitry is externally controlled and is powered by a single encoded radio frequency carrier and has four bipolar (eight monopolar) independently controlled channels. It offers a higher degree of reprogrammability and flexibility and can be used in any neuromuscular applications. The implant system is adaptable to the patient's needs and to future developments in stimulation algorithms, without changing the implant. Features of the microstimulator include its capabilities to generate a wide range of waveforms and to combine up to four different programmable frequencies in each wave train. By using a forward error detection and correction communication protocol, the reliability of the implant is increased. The chip has been designed for structural testability by means of a scan-based test approach and uses circuit techniques to reduce power consumption and ensure long-term stability.
暂无评论