A polynomial algorithm for the three-machine open shop with a bottleneck machine

The paper considers the three‐machine open shop scheduling problem to minimize themakespan. It is assumed that each job consists of at most two operations, one of which is tobe processed on the bottleneck machine, the same for all jobs. A new lower bound on theoptimal makespan is derived, and a linear‐time algorithm for finding an optimalnon‐preemptive schedule is presented.

Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

There have been few genuine success stories about industrial use of formal methods. Perhaps the best known and most celebrated is the use of Z by IBM (in collaboration with Oxford University's Programming Research Group) during the development of CICS/ESA (version 3.1). This work was rewarded with the prestigious Queen's Award for Technological Achievement in 1992 and is especially notable for two reasons: 1) because it is a commercial, rather than safety- or security-critical, system and 2) because the claims made about the effectiveness of Z are quantitative as well as qualitative. The most widely publicized claims are: less than half the normal number of customer-reported errors and a 9% savings in the total development costs of the release. This paper provides an independent assessment of the effectiveness of using Z on CICS based on the set of public domain documents. Using this evidence, we believe that the case study was important and valuable, but that the quantitative claims have not been substantiated. The intellectual arguments and rationale for formal methods are attractive, but their widespread commercial use is ultimately dependent upon more convincing quantitative demonstrations of effectiveness. Despite the pioneering efforts of IBM and PRG, there is still a need for rigorous, measurement-based case studies to assess when and how the methods are most effective. We describe how future similar case studies could be improved so that the results are more rigorous and conclusive.

A model to predict the life of pneumatic conveyor bends

A new approach to the prediction of bend lifetime in pneumatic conveyors, subject to erosive wear is described. Mathematical modelling is exploited. Commercial Computational Fluid Dynamics (CFD) software is used for the prediction of air flow and particle tracks, and custom code for the modelling of bend erosion and lifetime prediction. The custom code uses a toroidal geometry, and employs a range of empirical data rather than trying to fit classical erosion models to a particular circumstance. The data used was obtained relatively quickly and easily from a gas-blast erosion tester. A full-scale pneumatic conveying rig was used to validate a sample of the bend lifetime predictions, and the results suggest accuracy of within ±65%, using calibration methods. Finally, the work is distilled into user-friendly interactive software that will make erosion lifetime predictions for a wide range of bends under varying conveying conditions. This could be a valuable tool for the pneumatic conveyor design or maintenance engineer.

An introduction to China's rail transport Part 1: History, present and future of China's railways

In this paper an introduction is given to the history, current situation and future plans of China's railway industry. The history of China's railway is divided into four development phases: the phase in Imperial China, the phase in the Republic of China and the phases before and after the economic rejuvenation of the People's Republic of China. An introduction to the current situation and future plans includes the major projects under construction and development trends of China's railways. The environment of China's railways is also presented. This is the first of two papers on the railway scene in China.

An introduction to China's rail transport Part 2: Urban rail transit systems, highway transport and the reform of China's railways

In this paper, an introduction is provided to some of the components of China's transport system. The authors include the urban rail transit systems, the highway transport systems and its competition for China's railways and the reform of China's railway industry. This is the second of two papers on the situation of rail transport in China.

Thermal analysis of LEDS for liquid crystal display's backlighting

This paper investigated the thermal design of the light emitting diode (LED)onto the board and its packaging. The LED was a 6-lead MultiLED with three chips designed for LCD backlighting and other lighting purposes. A 3D finite element model of this LED was built up and thermal analysis was carried out using the multi physics software package PHYSICA. The modeling results were presented as temperature distributions in each LED, and the predicted junction temperature was used for thermal resistance calculation. The results for the board structure indicated that (1) removing the foil attach decreased the thermal resistance, (2) Increasing the copper foil thickness reduced the thermal resistance. package design indicated that the SMT designed LED with integrated slug gave lower thermal resistance. Pb-free solder material gave lower thermal resistance and junction temperature when compared with conductive adhesive

Contractual termination of leases: lessons from the Commonwealth: Pt. 3

This, the third part of a three-part article on the contractual termination of leases, examines, with reference to UK and Commonwealth case law, the connection between contractual termination and the provisions of legislation including the the Landlord and Tenant Act 1954 Pt II relating to forfeiture and termination of business tenancies. Considers why contractual termination by acceptance of a repudiatory breach is a necessary development to protect tenants in the event of a landlord's significant default.

Zone based systems design framework for the realisation of efficient block cipher based message authentication code algorithms

A zone based systems design framework is described and utilised in the implementation of a message authentication code (MAC) algorithm based on symmetric key block ciphers. The resulting block cipher based MAC algorithm may be used to provide assurance of the authenticity and, hence, the integrity of binary data. Using software simulation to benchmark against the de facto cipher block chaining MAC (CBC-MAC) variant used in the TinySec security protocol for wireless sensor networks and the NIST cipher block chaining MAC standard, CMAC; we show that our zone based systems design framework can lead to block cipher based MAC constructs that point to improvements in message processing efficiency, processing throughput and processing latency.

The interaction of polyacid-modified composite resins ("compomers") with aqueous fluoride solutions

OBJECTIVE: The aim of this study was to investigate how the release of fluoride from two compomers and a fluoridated composite resin was affected by exposure to KF solution. MATERIAL AND METHODS: Two compomers (Dyract AP and Compoglass F) and one fluoridated composite (Wave) were prepared as discs (6 mm diameter and 2 mm thick), curing with a standard dental lamp. They were then stored in either water or 0.5% KF for 1 week, followed by placement in water for periods of 1 week up to 5 weeks total. Fluoride was determined with and without TISAB (to allow complexed and decomplexed fluoride to be determined), and other ion release (Na, Ca, Al, Si, P) was determined by ICP-OES. RESULTS: Specimens were found not to take up fluoride from 100 ppm KF solution in 24 h, but to release additional fluoride when stored for up to five weeks. Compomers released more fluoride cumulatively following exposure to KF solution (p<0.001), all of which was decomplexed, though initial (1 week) values were not statistically significant for Dyract AP. Other ions showed no variations in release over 1 week, regardless of whether the specimens were exposed to KF. Unlike the compomers, Wave showed no change in fluoride release as a result of exposure to KF. CONCLUSIONS: Compomers are affected by KF solution, and release more fluoride (but not other ions) after exposure than if stored in water.

Low temperature X-ray structures of two crystalline forms (I) and (II) of the pyrimidine derivative and sodium channel blocker BW1003C87: 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine

The X-ray crystal structures of two crystalline forms of 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine, C10H7Cl3N4 (code name BW1003C87) (I) and (II), have been carried out at liquid nitrogen temperature. A detailed comparison of the two structures is given. Both are centrosymmetric, with structure (I) in the triclinic space group P (1) over bar unit cell a = 6.4870(10), b = 9.216(2), c = 12.016(2) angstrom, alpha = 75.78(3)degrees, beta = 89.95(3)degrees, gamma = 83.45(3)degrees, V = 691.5(2) angstrom(3), Z = 2 and density (calculated) = 1.544 Mg/m(3); and (II) in the monoclinic space group P2(1)/c, unit cell a = 12.000(2), b = 7.518(2), c = 13.450(3) angstrom, beta = 97.87(3)degrees, V = 1202.0(5) angstrom(3), Z = 4, Density (calculated) = 1.600 Mg/m(3). Structure (I) includes a solvated CH3OH in the lattice. Final R indices [I > 2sigma(I)] are R1 = 0.0427, wR2 = 0.1075 for (I) and R1 = 0.0487, wR2 = 0.1222 for (II). R indices (all data) are R1 = 0.0470, wR2 = 0.1118 for (I) and R1 = 0.0623, wR2 = 0.1299 for (II). 5-Phenyl-2,4 diaminopyrimidine and 6-phenyl-1,2,4 triazine derivatives, which include lamotrigine (3,5-diamino-6-(2,3-dichlorophenyl)-1,2,4-triazine), have been investigated for some time for their effects on the central nervous system. Both lamotrigine and 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine (code name BW1003C87), the subject of the present study, are anticonvulsant as well as neuroprotective in models of brain ischaemia and in a model of white matter ischaemia. BW1003C87 is a sodium channel blocker which also reduces the release of the neurotransmitter glutamate. The three dimensional structures reported here form part of a newly developed data base for the detailed investigation of members of this drug family and their biological activities.

Safe spaces and sense of identity: views and experiences of lesbian, gay and bisexual young people

Empirical data on the life experiences of contemporary school-age lesbian, gay and bisexual (LGB) young people in Britain remains somewhat sparse. This paper reports the preliminary findings of a study conducted at a recently-initiated LGB youth Summer School. To further an appreciation of issues of concern to today's LGB teenagers, in-depth interviews were conducted with 10 Summer School participants (five female and five male, aged 15-18 years). The aim was to elicit their views and experiences relating to their need for support such as that offered by the Summer School. Themes drawn from participants' interviews are presented. Key issues included: being positioned as different by their majority heterosexual peers; feelings of isolation and loneliness in their peer groups and families; difficulties in finding others like themselves for companionship; and the importance of meeting more LGB people of their own age.

Applications of DNP-NMR for the measurement of heteronuclear T1 relaxation times

Measurement of heteronuclear spin-lattice relaxation times is hampered by both low natural abundance and low detection sensitivity. Combined with typically long relaxation times, this results in extended acquisition times which often renders the experiment impractical. Recently a variant of dynamic nuclear polarisation has been demonstrated in which enhanced nuclear spin polarisation, generated in the cryo-solid state, is transferred to the liquid state for detection. Combining this approach with small flip angle pulse trains, similar to the FLASH-T(1) imaging sequence, allows the rapid determination of spin-lattice relaxation times. In this paper we explore this method and its application to the measurement of T(1) for both carbon-13 and nitrogen-15 at natural abundance. The effects of RF inhomogeneity and the influence of proton decoupling in the context of this experiment are also investigated.