http://eprints.ecs.soton.ac.uk/6850/1/thesis.pdf
; Walters, R. J. (2002) A Graphically based language for constructing, executing and analysing models of software systems. PhD thesis, University of Southampton.
Description
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing. Consequently, it is more important than ever that the developers understand how their systems behave if problems are to be avoided. However, acquiring this understanding is a problem: the systems are sufficiently complex that developers need help to analyse and understand them and, at the time this analysis is most crucial, the system is unavailable because it has yet to be built. We already have maturing technologies which address issues associated with the interconnection of software components at the procedural level, but they do not address issues related to the behaviour of these compound systems. Formal, executable models can help here by providing developers with a platform on which to establish the feasibility of a proposed design for a system. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This report describes a new modelling tool in which the traditional model generation technique of writing “programming language like” code is replaced with a model generation tool which uses a graphical representation of models. Despite appearing informal, the system retains sufficient formality to permit the models to be executed using the tool, or converted into code for analysis by a traditional model checking tool. less
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing. Consequently, it is more important than ever that the developers understand how their systems behave if problems are to be avoided. However, acquiring this understanding is a problem: the systems are sufficiently complex that developers need help to analyse and understand them and, at the time this analysis is most crucial, the system is unavailable because it has ye ... more
http://eprints.ecs.soton.ac.uk/6852/1/TournamentNegotiation.pdf
; Henderson, P., Crouch, S., Walters, R. J. and Ni, Q. (2002) A Comparison of some Negotiation Algorithms using a Tournament-Based Approach. In: 3rd International Symposium on Multi-Agent Systems, Large Complex Systems, and E-Business (MALCEB 2002), October 7th-10th, 2002, Erfurt, Thuringia, Germany. pp. 580-593.
Description
This paper provides some results and analysis of several negotiation algorithms. We have used a tournament-based approach to evaluation and applied this within a community of Buyers and Sellers in a simulated car hire scenario. An automated negotiation environment has been developed and the various negotiation algorithms made to compete against each other. In a single tournament, each algorithm was used as both a Buyer-negotiator and a Seller-negotiator. Each negotiating algorithm accommodates the parameters for negotiation as a set of desirable goals, represented as examples of product specifications. It was the task of each negotiating algorithm to get the best deal possible from every one of their opposites (i.e. Buyer versus Seller) in the sense of being close to the examples they were given as goals. One algorithm proved to be superior to the others against which it was made to compete. less
This paper provides some results and analysis of several negotiation algorithms. We have used a tournament-based approach to evaluation and applied this within a community of Buyers and Sellers in a simulated car hire scenario. An automated negotiation environment has been developed and the various negotiation algorithms made to compete against each other. In a single tournament, each algorithm was used as both a Buyer-negotiator and a Seller-negotiator. Each negotiating algorithm accommodates t ... more
http://eprints.ecs.soton.ac.uk/6853/1/compsac02.pdf
; Walters, R. J. (2002) A graphically based language for constructing, executing and analysing models of software systems. In: 26 th Annual International Computer Software and Applications Conference, 26-29 August 2002, Oxford, England. pp. 363-369.
Description
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that developers need help to analyse and understand them. However, at design time, when this understanding is crucial, the system is unavailable because it has yet to be built. Formal, executable models can help with this problem by providing developers with a platform on which to establish the feasibility of a proposed design. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This paper describes a modelling tool in which the traditional model generation technique of writing “programming language like” code is replaced with a model generation tool which uses a graphical representation of models whilst retaining sufficient formality to permit the models to be executed, or converted into code for analysis by a traditional model checking tool. less
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that developers need help to analyse and understand them. However, at design time, when this understanding is crucial, the system is unavailable because it has yet to be built. Formal, executable models can help with this problem by providing developers with a platform on which to establish the feasibility of a proposed des ... more
http://eprints.ecs.soton.ac.uk/6855/1/WilcockASP.pdf
; Wilcock, R. and Al-Hashimi, B. M. (2002) Analogue Filter IP Cores for Design Reuse. In: IEE Conference on Analog Signal Processing, November 2002, Oxford, UK. 2.1-2.6.
Description
This paper addresses important considerations concerning the design of analogue filters, to ensure their suitability for use in a system on chip environment as intellectual property filter cores. We argue that switched-current is the most suitable circuit design technique and furthermore that the wave filter design methodology is favourable over an integrator approach. To speed up the design process some level of automation is clearly necessary and a system implemented in the SKILL language and within the Cadence Design Framework is particularly attractive given the access to powerful circuit analysis tools. A design flow is presented encompassing all of these attributes. less
This paper addresses important considerations concerning the design of analogue filters, to ensure their suitability for use in a system on chip environment as intellectual property filter cores. We argue that switched-current is the most suitable circuit design technique and furthermore that the wave filter design methodology is favourable over an integrator approach. To speed up the design process some level of automation is clearly necessary and a system implemented in the SKILL language and ... more
http://eprints.ecs.soton.ac.uk/6857/1/IEE-Proc-vol149no5Sept2002page194.pdf
; Ship, K. S., Goddard, K. F. and Sykulski, J. K. (2002) Field optimisation in a synchronous generator with high temperature superconducting field winding and magnetic core. IEE Proceedings (Science, Measurement and Technology), 149 (5). pp. 194-198. ISSN 1350-2344
http://eprints.ecs.soton.ac.uk/6858/1/PMAPS2002-paper.pdf
; Sykulski, J. K. (2002) Reducing computational effort in field optimisation problems (invited paper). In: PMAPS Probabilistic Methods Applied to Power Systems, 22-26 September, 2002, Naples, Italy. pp. 125-130.
http://eprints.ecs.soton.ac.uk/6859/1/SSKH-01.pdf
; Sykulski, J. K. (2002) Finite element aided design of electrical machines: achievements and challenges (invited paper). In: EPE-PEMC Power Electronics and Motion Control, 9-11 September 2002, Cavtat & Dubrovnik, Croatia. p. 107.
http://eprints.ecs.soton.ac.uk/6860/1/Demenko-full.pdf
; Demenko, A. and Sykulski, J. K. (2002) 3D eddy current calculations in electromechanical energy converters. In: EPE-PEMC Power Electronics and Motion Control, 9-11 September 2002, Cavtat & Dubrovnik, Croatia. p. 108.