On the Oberwolfach problem with two similar length cycles

For all in greater than or equal to 3, the Oberwolfach problem is solved for the case where the 2-factors consist of two cycles of lengths in and m + 1, and for the case where the 2-factors consist of two cycles of lengths m and m + 2.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Multi-threading and message communication in Qu-Prolog

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.

Parametric signal regeneration

We present an ultra-high bandwidth all-optical digital signal regeneration device concept utilising non-degenerate parametric interaction in a one-dimensional waveguide. Performance is analysed in terms of re-amplification, re-timing, and re-shaping (including centre frequency correction) of time domain multiplexed signals. Bandwidths of 10-100 THz are achievable. (C) 2001 Published by Elsevier Science B.V.

Precipitation hardening of Cu-Fe-Cr alloys - Part I - Mechanical and electrical properties

This research is part of a project whose scope was to investigate the engineering properties of new non-commercial alloy formulations based on the Cu rich corner of the Cu-Fe-Cr ternary system with the primary aim of exploring the development of a new cost-effective high-strength, high-conductivity copper alloy. The literature indicated that Cu rich Cu-Cr and Cu-Fe alloys have been thoroughly investigated. A number of commercial alloys have been developed and these are used for a variety of applications requiring combinations of high-strength, high-conductivity and resistance to softening. Little evidence was found in the literature that the Cu rich corner of the Cu-Fe-Cr system had previously been investigated for the purpose of developing high-strength, high-conductivity copper alloys resistant to softening. The aim of these present investigations was to explore the possibility that new alloys could be developed that combined the properties of both sets of alloys, ie large precipitation hardening response combined with the ability to stabilise cold worked microstructures to high temperatures while at the same maintain high electrical conductivity. To assess the feasibility of this goal the following alloys were chosen for investigation: Cu-0.7wt%Cr-0.3wt%Fe, Cu-0.7wt%Cr-0.8wt%Fe, Cu-0.7wt%Cr-2.0wt%Fe. This paper reports on the mechanical property investigation which indicated that the Cu-0.7wt%Cr-0.3wt%Fe, and Cu-0.7wt%Cr-2.0wt%Fe alloys were worthy of further investigation. (C) 2001 Kluwer Academic Publishers.

Precipitation hardening of Cu-Fe-Cr alloys - Part II - Microstructural characterisation

This research is part of a project whose scope was to investigate the engineering properties of new non-commercial alloy formulations based on the Cu rich corner of the Cu-Fe-Cr ternary system with the primary aim of exploring the development of a new cost-effective high-strength, high-conductivity copper alloy. Promising properties have been measured for the following alloys: Cu-0.7wt%Cr-0.3wt%Fe and Cu-0.7wt%Cr-2.0wt%Fe. This paper reports on the microstructural characterisation of these alloys and discusses the mechanical and electrical properties of these alloys in terms of their microstructure, particularly the formation of precipitates. These alloys have evinced properties that warrant further investigation. Cost modelling has shown that Cu-0.7wt%Cr-0.3wt%Fe is approximately 25% cheaper to produce than commercial Cu-1%Cr. It has also been shown to be more cost efficient on a yield stress and % IACS per dollar basis. The reason for the cost saving is that the Cu-0.7%Cr-0.3%Fe alloy can be made with low carbon ferro-chrome additions as the source of chromium rather than the more expensive Cu-Cr master-alloy. For applications in which cost is one of the primary materials selection criteria, it is envisaged that there would be numerous applications in both cast and wrought form, where the Cu-0.7%Cr-0.3%Fe alloy would be more suitable than Cu-1%Cr. (C) 2001 Kluwer Academic Publishers.

Quaternary Cu-0.7%Cr-0.3%Fe-X alloys

This research is part of a project whose scope was to investigate the engineering properties of new non-commercial alloy formulations based on the Cu rich corner of the Cu-Fe-Cr ternary system with the primary aim of exploring the development of a new cost-effective high-strength, high-conductivity copper alloy. The aim of the present work was to increase the electrical conductivity and strength of the Cu-0.7wt%Cr-0.3wt%Fe alloy through selective minor additions (less than or equal to0.15 wt%) of elements expected to promote precipitation of dissolved Fe: Ti, B, P, Ni & Y. Such quaternary alloys with reduced Fe in solid solution would be expected to have properties equivalent to or better than those of the Cu-1%Cr reference alloy (Alloy Z). The investigation showed that none of the trace element additions significantly improved the size of the age hardening response or the peak aged electrical conductivity of Alloy A, although further work is required on the influence of Ti. Additions of P and B were detrimental. Other trace additions had little or no effect apart from causing some slight changes to the precipitation kinetics. The mechanical properties of the Cu-0.7%Cr-0.3%Fe alloy made with less expensive high carbon ferrochrome were found to be inferior to those of the equivalent alloy made with low carbon ferrochrome. (C) 2001 Kluwer Academic Publishers.