A heat mixed variational theorem for thermoelastic multilayered composites

This paper presents for thermoelastic media the analogue of the Reissner’s mixed variational theorem (RMVT), initially developed for elastic media, by adding the transverse thermal field–temperature increment relation as a constraint via a Lagrange multiplier. The latter is shown to be the transverse (normal) heat flux, which continuity at the laminated composite interfaces can now be fulfilled in a natural way as is the case for transverse stresses in the RMVT. Hence, the resulting new heat mixed variational theorem (HMVT) will be well suited for modelling thermoelastic layered composites. Mixed coupled thermoelastic constitutive equations to be used in conjunction with the HMVT are also presented. Finally, discussions are made on the application of the HMVT to the quasi-static and steady-state classical cases leading to uncoupled heat transfer and thermal-stress analyses.     

Application of aeroelastic modes on nonlinear supersonic panel flutter at elevated temperatures

This paper shows that the use of aeroelastic modes, instead of the traditional in vacuo natural modes, can reduce drastically the number of coupled nonlinear modal equations for the large amplitude nonlinear panel flutter analysis at an arbitrary yawed supersonic flow angle and elevated temperatures. All four types of panel behavior can be predicted and they are flat and stable, aerothermally buckled but dynamically stable, limit cycle oscillations, and chaos.     

Nonlinearity analysis and optimization of HBTs for optical mixer designs

Two types of photo heterojunction bipolar transistor (HBT) to directly down-convert optical signals to electronic signals have been reported in the literature: a conventional photo-HBT in which light penetrates through the area of the base-collector junction and an HBT where light shines through the base-collector edge for higher conversion efficiency. Although the performance in relation to bias conditions has been published, the detailed analyses for identifying the parameters and bias conditions that provide optimum direct down-conversion have not been examined. This paper provides a full explanation of the operation of the down-conversion for both HBT configurations based on low-frequency analyses. Such information is useful for both understanding the nonlinear mechanisms involved and designing for maximum efficiency. In addition, a new circuit has been developed from the basic HBT down-conversion circuit that provides improved performance.     

Development of crumb rubber reinforced bituminous binder under laboratory conditions

Bituminous binders are widely used in the construction of flexible pavements. However, in some applications, the performance of conventional binders is not considered to be satisfactory. Reinforcing these binders with selected polymers prevents premature failure of a pavement by improving the properties of the binder. Another source of reinforcement comes from crumb (ground) rubber produced from waste tyres. After they have been worn-out during their limited service life, millions of used tyres are discarded every year and are hauled to a dump. The fatigue resistance at temperatures below normal service temperatures (25°C), one of the key engineering properties of crumb rubber reinforced binders, has been found to be lower than that of neat binders. This paper is concerned with the development of a rubber reinforced binder. It was shown that the binder has the potential to be used as an all-weather wearing course in flexible roads, whilst at the same time recycling a considerable amount of waste rubber.     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

Laboratory accreditation in the UK

Two complementary national laboratory accreditation schemes are run by the National Physical Laboratory (NPL) to provide official recognition of competent British laboratories and an assurance of quality to their customers. The first of these, the British Calibration Service (BCS), was set up in 1966 to accredit laboratories to calibrate instruments, gauges and reference materials. In 1981 the National Testing Laboratory Accreditation Scheme (NATLAS) was formed to extend the service to all kinds of testing. Both BCS and NATLAS form an integral part of the UK national measurement system and were combined to form the National Measurement Accreditation Service on 1 October 1985.     

Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001