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 ...
详细信息
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 been shown that the modelling of the boundary conditions, also known as the process initial conditions, is a crucial feature in the analysis and control of these processes. This paper presents some further results on the effects of so-called 'dynamic' process initial conditions on the controllability and stability properties of discrete linear repetitive processes. Previous work has shown that these dynamic process initial conditions alone can destroy the stability properties of these processes. Hence their effects must be 'adequately' accounted for the process modelling stage in order to ensure that subsequent analysis does not lead to incorrect results/conclusions. The main results developed in this paper can be summarised as follows. (i) Computationally efficient stability tests which can, in effect, be applied using standard, or 1D, linear systems tests. (ii) Characterisation of so-called pass controllability in the form of matrix rank based conditions. (iii) Conditions under which the dynamic process initial conditions can be selected to ensure stability and pass controllability.
Repetitive, or multipass, processes are a class of systems characterised by a series of sweeps through a set of dynamics defined over a finite fixed duration. The class of so-called discrete linear repetitive processe...
详细信息
ISBN:
(纸本)9783952426906
Repetitive, or multipass, processes are a class of systems characterised by a series of sweeps through a set of dynamics defined over a finite fixed duration. The class of so-called discrete linear repetitive processes have strong structural links with well studied classes of 2D linear systems and also with standard (1D) linear systems. One possible approach to the (control related) analysis of these processes is to embed their basic 2D structure in a 1D representation. This paper develops such a representation and uses it to characterise the key systems theoretic property of controllability for this class of linear repetitive processes.
software process improvement practice and research have predominantly assumed a vertical approach to definition and change. Our studies show that vertical approaches have inherent difficulties. We have developed a new...
详细信息
software process improvement practice and research have predominantly assumed a vertical approach to definition and change. Our studies show that vertical approaches have inherent difficulties. We have developed a new approach called horizontal change (HOC-A) that provides a new environment for change in software development organizations. We describe some of the difficulties of the vertical process improvement approaches and demonstrate, with examples, how the horizontal change approach addresses these difficulties.
We present novel approaches to electromagnetic design of high-temperature superconducting quarter-wave parallel coupled-line microstrip filters. The dielectric constant of substrate materials used in high-temperature ...
详细信息
We present novel approaches to electromagnetic design of high-temperature superconducting quarter-wave parallel coupled-line microstrip filters. The dielectric constant of substrate materials used in high-temperature superconductor technology is too large to be accurately treated by traditional microwave circuit design software packages with analytical/empirical models. We employ electromagnetic field simulation and develop a look-up table method and a powerful space mapping optimization technique, which dramatically reduce the CPU time for the design process.< >
The authors present the design principles of MCFS, an expert system building tool based on the idea of combining multiple criteria reasoning with the concepts of fuzzy logic. An important feature of MCFS is its abilit...
详细信息
The authors present the design principles of MCFS, an expert system building tool based on the idea of combining multiple criteria reasoning with the concepts of fuzzy logic. An important feature of MCFS is its ability to handle multiple criteria reasoning by structuring the deduction process into a hierarchy of logical levels. Within each level, the rules are organized into sets of rules and rule set groups. The concepts of fuzzy logic are introduced by allowing uncertainty within each rule, each set of rules, and each rule set group. MCFS has been fully implemented and applied to several domains of knowledge such as computer system selection and procurement, solution of nonlinear simultaneous equations, neck-tie selection, and longevity estimation. Experiments with these applications indicate that, compared to standard expert system tools, MCFS produces expert systems which are easier to build and better match the human expert.< >
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capita...
详细信息
ISBN:
(数字)9783540478843
ISBN:
(纸本)9783540437031
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for computerscience. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and softwareengineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in softwareengineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.
暂无评论