Work is in progress to completely replace, in 2008/9, the existing JET CFC tiles with a configuration of plasma facing materials consistent with the ITER design. The ITER-like Wall (ILW) will be created with a combination of beryllium (Be), tungsten (W), W-Coated CFC and Be-Coated inconel tiles, with the material depending on the local anticipated heat flux and geometry. It is part of an integrated package of JET enhancements whose aim is to develop an understanding of the ITER materials issues and develop the techniques required to operate with inductive and advanced scenarios as close as possible to ITER parameters. Over 4000 tiles will be replaced and the ILW will accommodate additional heating up to at least 50 MW for 10 s. This paper describes the scientific background to the project, the technical objectives, the material configuration selected, the R&D behind the practical realisation of the objectives and the generic problems associated with the Be tiles (power handling capacity and disruption induced eddy currents). One of the objectives is to maintain or improve the existing CFC tile power handling performance which has been achieved in most cases by hiding bolt holes, optimising tile size and profile and introducing castellations on plasma facing surfaces.
Abstract. This paper z reports on the experiences of IBM ttursley in using the Z notation and the B-Method [Abr95] [Abr93] in developing new function for IBM's CICS product 4 [IBM94]. A major constraint on the project was the need to produce code that not only corresponded to its required function, but also met a number of stringent non-functional requirements in areas such as integration, performance and maintenance. The Z notation was used to capture the required function, and the resulting specification was hand-translated into AMN. The B-Toolkit, with project-specific extensions, was then used for the development down to PL/X code. The success of this endeavour is discussed here. The use of Z and the B-Method were very successful in addressing the new functional requirements. Meeting the non-functional requirements, however, was more difficult.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.