The filtered-X LMS algorithm is the most popular method for adaptive filter design in the field of active acoustic and vibration control because of its simplicity and good robust performance. However, no investigation...
详细信息
This report summarises and builds on the results of the "Directions and Methodologies for Empirical softwareengineering Research" group discussion. In particular, we considered the strengths, weaknesses, op...
This report summarises and builds on the results of the "Directions and Methodologies for Empirical softwareengineering Research" group discussion. In particular, we considered the strengths, weaknesses, opportunities and threats to empirical softwareengineering research in light of the discussions and presentations during the workshop. The following sections describe each of these aspects of our discussion in turn. In addition, to finalise our discussion we agreed on a three-point plan for future work.
The classification-tree method developed by Grochtmann and Grimm facilitates the identification of test cases from functional specifications via the construction of classification trees. Their method has been enhanced...
详细信息
The filtered-X LMS algorithm is the most popular method for adaptive filter design in the field of active acoustic and vibration control because of its simplicity and good robust performance. However, no investigation...
详细信息
The filtered-X LMS algorithm is the most popular method for adaptive filter design in the field of active acoustic and vibration control because of its simplicity and good robust performance. However, no investigation has been conducted on whether the filtered-X LMS algorithm has generic advantages over that of the conventional LMS algorithm in terms of their different structures. In this paper, a heuristic explanation is provided to show that, under certain conditions, the additional filter in the filtered-X LMS algorithm can increase the system's damping and move the closed-loop poles into deeper left halfplane, and hence increases the robust stability margin. In the illustrative example of a disturbed communication channel, Mont Carlo simulation results demonstrate that the filtered-X has a better robust performance than that of the conventional LMS.
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and verify the system in its entirety is t...
详细信息
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and verify the system in its entirety is to build and evaluate an abstract model(s) of aspects of the system that are perceived as important. Using a model will not provide proof of the system, but it can help to find shortcomings and errors at an early stage. Executing the model should also give a measure of confidence in the final product. Many systems today are built from communicating components so that the task of the developers is becoming fitting these components together to form the required system. We show how a formal model can be sympathetic to this type of architecture using our tool, RolEnact and explain how this may be related to a COM implementation.
There is a continuing need for software engineers to design better-quality systems more quickly. Component-based technologies promise to make this possible, but modern systems are too complex for a full analysis of th...
详细信息
There is a continuing need for software engineers to design better-quality systems more quickly. Component-based technologies promise to make this possible, but modern systems are too complex for a full analysis of their behaviour to be practical. We propose that a reasonable alternative is to analyse abstract models of the essential features of a system. Since these models are abstract, they need contain only those details that are relevant to the aspect of the system under consideration. Consequently, they can be small enough to be constructed quickly and analysed thoroughly using formal methods. Tools are required which are accessible to the novice but which remain powerful enough to build models with a formal foundation so that they can be used by system designers who have limited expertise in the use of formal methods. We propose our tool, RolEnact, as a candidate for this role.
This paper describes the results of the working group investigating the issues of empirical studies for evolving systems. The groups found that there were many issues that were central to successful evolution and this...
详细信息
This paper describes the results of the working group investigating the issues of empirical studies for evolving systems. The groups found that there were many issues that were central to successful evolution and this concluded that this is a very important area within softwareengineering. Finally nine main areas were selected for consideration. For each of these areas the central issues were identified as well as success factors. In some cases success stories were also described and the critical factors accounting for the success analyzed. In some cases it was later found that a number of areas were so tightly coupled that it was important to discuss them together.
Repetitive, or multipass, processes are a class of 2D systems of both practical and algorithmic/theoretical interest whose dynamics cannot be analysed or controlled using standard (1D) systems theory. Recently it has ...
详细信息
Summary form only given, as follows. More and more software developers are recognizing the need for solutions that make it possible to share code between different applications in the same domain. Reusing code increas...
详细信息
Summary form only given, as follows. More and more software developers are recognizing the need for solutions that make it possible to share code between different applications in the same domain. Reusing code increases not only the productivity of the developers but also the reliability and maintainability of the software products. Many software companies have ended up with a repository of enterprise components modelling the core business of the company, or with a product-line architecture that captures the common aspects of a family of software products. In both cases, object-orientation (OO) offers a technology that enables these solutions. The workshop studies the problems in designing reuse-oriented architectures (ROA) within the OO paradigm and the OO techniques that support this. The design of such systems is much harder than the design of individual applications, because ROAs need to be valid for unforeseen applications. Instead of a closed world of application concepts, the designer must analyze the variable aspects of a domain. The workshop covers a wide range of topics related to the development of ROAs, including: Design methods for OO product-lines/frameworks; Case studies of existing ROAs; Patterns and architectural styles supporting ROAs; Component-based ROAs; Evaluation of ROAs; Tools supporting the creation and reuse of product-line platforms and frameworks; Documentation of product-line platforms and frameworks; Practical experiences with reuse in OO; and Re-engineering legacy systems into ROAs.
暂无评论