A Language for Teaching Discrete-event Simulation

Courses which teach discrete-event simulation are based on many different simulation languages. The requirements for a language to support teaching simulation are discussed. In particular, it is recommended that such languages separate into distinct modules those aspects of simulation which are taught as separate topics. Implementation of the separation is discussed. The SEESIM language, developed as a teaching aid, is described, and examples of its use are given. Straightforward use of SEESIM can be learned quickly, yet the language provides facilities for a staged introduction to advanced concepts of simulation.     

Stereocontrolled spirocyclic bislactams derived from pyroglutamic acid

The synthesis of rigid spirocyclic bislactams derived from pyroglutamic acid has been established.     

Application of pressure sensitive paint measurement to a low-solidity cascade diffuser of a transonic centrifugal compressor

A pressure sensitive paint (PSP) measurement has been known as a pressure field measurement technique based on the oxygen quenching phenomenon of luminescence of specific luminophores. A PSP measurement was applied for pressure field measurement in a low-solidity circular cascade diffuser of a single-stage transonic centrifugal compressor with 5 in pressure ratio for HFC134a gas. The oxygen concentration was about 500 ppm. Ru (bath-phen) was adsorbed on a silica-gel thinlayer chromatography sheet, and the sheet was pasted onto the side-wall between the cascade vanes. A drastic change in luminescent intensity was recognized during a surge condition. Also the pressure variations based on luminescent intensity agreed well with the pressure fluctuations measured using a semiconductor pressure sensor with high-frequency-response. It was shown that a PSP measurement worked well to investigate the unsteady pressure fields in a circular cascade diffuser of a transonic centrifugal compressor. Moreover, the time response of PSP becomes clear as a problem to be overcome for the present.     

Algebraic K-theory of non-linear projective spaces

In the spirit of “The Fundamental Theorem for the algebraic K-theory of spaces: I” (J. Pure Appl. Algebra 160 (2001) 21–52) we introduce a category of sheaves of topological spaces on n-dimensional projective space and present a calculation of its K-theory, a “non-linear” analogue of Quillen's isomorphism K_i(P_Rⁿ)₀ⁿK_i(R).     

Generalized Longo–Rehren Subfactors and α-Induction

We study the recent construction of subfactors by Rehren which generalizes the Longo–Rehren subfactors. We prove that if we apply this construction to a non-degenerately braided subfactor N⊂M and α^±-induction, then the resulting subfactor is dual to the Longo–Rehren subfactor M⊗M ^opp⊂R arising from the entire system of irreducible endomorphisms of M resulting from α^plusmn;-induction. As a corollary, we solve a problem on existence of braiding raised by Rehren negatively. Furthermore, we generalize our previous study with Longo and Müger on multi-interval subfactors arising from a completely rational conformal net of factors on S ¹ to a net of subfactors and show that the (generalized) Longo–Rehren subfactors and α-induction naturally appear in this context. Received: 11 September 2001 / Accepted: 7 October 2001     

Operations in A-theory

A construction for Segal operations for K-theory of categories with cofibrations, weak equivalences and a biexact pairing is given and coherence properties of the operations are studied. The model for K-theory, which is used, allows coherence to be studied by means of (symmetric) monoidal functors. In the case of Waldhausen A-theory it is shown how to recover the operations used in Waldhausen (Lecture Notes in Mathematics, Vol. 967, Springer, Berlin, 1982, pp. 390-409) for the A-theory Kahn-Priddy theorem. The total Segal operation for A-theory, which assembles exterior power operations, is shown to carry a natural infinite loop map structure. The basic input is the un-delooped model for K-theory, which has been developed from a construction by Grayson and Gillet for exact categories in Gunnarsson et al. (J. Pure Appl. Algebra 79 (1992) 255), and Grayson's setup for operations in Grayson (K-theory (1989) 247). The relevant material from these sources is recollected followed by observations on equivariant objects and pairings. Grayson's conditions are then translated to the context of categories with cofibrations and weak equivalences. The power operations are shown to be well behaved w.r.t. suspension and are extended to algebraic K-theory of spaces. Staying close with the philosophy of Waldhausen (1982) Waldhausen's maps are found. The Kahn-Priddy theorem follows from splitting the “free part” off the equivariant theory. The treatment of coherence of the total operation in A-theory involves results from Laplaza (Lecture Notes in Mathematics, Vol. 281, Springer, Berlin, 1972, pp. 29-65) and restriction to spherical objects in the source of the operation.     

Complete ideals and singularities of space curves

We consider complete ideals supported on finite sequences of infinitely near points, in regular local rings with dimensions greater than two. We study properties of factorizations in Lipman special *-simple complete ideals. We relate it to a type of proximity, linear proximity, of the points, and give conditions in order to have unique factorization. Several examples are presented. Received: 2 February 2000 / in final form: 14 March 2001 / Published online: 18 January 2002