On bulk-service MAP/PH L,N /1/N G-Queues with repeated attempts

We consider a retrial queue with a finite buffer of size N, with arrivals of ordinary units and of negative units (which cancel one ordinary unit), both assumed to be Markovian arrival processes. The service requirements are of phase type. In addition, a PH^L,N bulk service discipline is assumed. This means that the units are served in groups of size at least L, where 1≤ L≤ N. If at the completion of a service fewer than L units are present at the buffer, the server switches off and waits until the buffer length reaches the threshold L. Then it switches on and initiates service for such a group of units. On the contrary, if at the completion of a service L or more units are present at the buffer, all units enter service as a group. Units arriving when the buffer is full are not lost, but they join a group of unsatisfied units called “orbit”. Our interest is in the continuous-time Markov chain describing the state of the queue at arbitrary times, which constitutes a level dependent quasi-birth-and-death process. We start by analyzing a simplified version of our queueing model, which is amenable to numerical calculation and is based on spatially homogeneous quasi-birth-and-death processes. This leads to modified matrix-geometric formulas that reveal the basic qualitative properties of our algorithmic approach for computing performance measures. AMS Subject Classification: Primary 60K25 Secondary 68M20 90B22.     

Velocity Quantization Approach of the One-Dimensional Dissipative Harmonic Oscillator

Given a constant of motion for the one-dimensional harmonic oscillator with linear dissipation in the velocity, the problem to get the Hamiltonian for this system is pointed out, and the quantization up to second order in the perturbation approach is used to determine the modification on the eigenvalues when dissipation is taken into consideration. This quantization is realized using the constant of motion instead of the Hamiltonian. PACS: 03.20.+i, 03.30.+p, 03.65.−w,03.65.Ca     

Secret Sharing Schemes with Detection of Cheaters for a General Access Structure

In a secret sharing scheme, some participants can lie about the value of their shares when reconstructing the secret in order to obtain some illicit benefit. We present in this paper two methods to modify any linear secret sharing scheme in order to obtain schemes that are unconditionally secure against that kind of attack. The schemes obtained by the first method are robust, that is, cheaters are detected with high probability even if they know the value of the secret. The second method provides secure schemes, in which cheaters that do not know the secret are detected with high probability. When applied to ideal linear secret sharing schemes, our methods provide robust and secure schemes whose relation between the probability of cheating and the information rate is almost optimal. Besides, those methods make it possible to construct robust and secure schemes for any access structure.     

More compact invariant manifolds appearing in the non-linear coupling of oscillators

Near partially elliptic rest points of generic families of vector fields or transformations, many types of normally hyperbolic invariant compact manifolds can appear, diffeomorphic to intersections of quadrics. To cite this article: M. Chaperon et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

A high-current electron beam ion trap as an on-line charge breeder for the high precision mass measurement TITAN experiment

The precision of atomic mass measurements in a Penning trap is directly proportional to the charge state q of the ion and, hence, can be increased by using highly charged ions (HCI). For this reason, charge breeding with an electron beam ion trap (EBIT) is employed at TRIUMF’s Ion Trap for Atomic and Nuclear science (TITAN) on-line facility in Vancouver, Canada. By bombarding the injected and trapped singly charged ions with an intense beam of electrons, the charge state of the ions is rapidly increased inside the EBIT. To be compatible with the on-line requirements of short-lived isotopes, very high electron beam current densities are needed. The TITAN EBIT includes a 6 Tesla superconducting magnet and is designed to have electron beam currents and energies of up to 5 A and 60 keV, respectively. Once operational at full capacity, most species can be bred into a He-like configuration within tens of ms. Subsequently, the HCI are extracted, pass a Wien filter to reduce isobaric contamination, are cooled, and injected into a precision Penning trap for mass measurement. We will present the first results and current status of the TITAN EBIT, which has recently been moved to TRIUMF after assembly and commissioning at the Max-Planck-Institute (MPI) for Nuclear Physics in Heidelberg, Germany.     

A Characterization of Cosmological Time Functions

A characterization of time functions on a spacetime is made by using theMöbius equation. It is shown that a time function characterized in this wayyields past timelike geodesic incompleteness and local Lorentzian warpedproduct decomposition of spacetime, provided that the stress-energy tensoris a fluid. Also, by imposing additional assumptions on the stress-energytensor and global analytic structure of the spacetime, more restrictivedecompositions closer to Robertson–Walker spacetimes are obtained.     

Characterization of high-order harmonic radiation on femtosecond and attosecond time scales

We characterize the temporal structure of high-order harmonic radiation on both the femtosecond and attosecond time scales. The harmonic emission is characterized by mixed-color two-photon ionization with an infrared femtosecond laser using a Mach–Zehnder interferometer where both pump and probe arms travel completely separate paths. In a first experiment, we measure the duration and chirp of individual harmonics. In a second experiment, we resolve, for the first time with this type of setup, the attosecond beating of several harmonics generated under conditions similar to the first experiment. We suggest that the results of both measurements can be combined to determine the full attosecond time structure of the harmonic emission. PACS 32.80.Rm; 42.65.Ky     

Dynamic mechanical analysis

Using dynamic mechanical analysis (DMA) we have studied thermal degradation for a system containing a diglycidyl ether of bisphenol A (DGEBA) and 1,3-bisaminomethylcylohexane (1,3-BAC). The changes of dynamic mechanical properties during thermal degradation indicated a shift of the glass transition temperature (T _g) to higher temperatures and a decrease in the peak value of the dynamic loss factor (tan δ) with an increasing of aging time. The value of dynamic storage modulus (E′) at the rubbery state showed an increase with aging time, whiteE′ at the glassy state only underwent a moderate change with increased thermal degradation. From these results it can be argued that thermal degradation during the stage prior to the onset of the severe degradation involves structural changes in the epoxy system, as further crosslinking and loss of dangling chains in the crosslinked network.     

Physical content of preparation-question structures and Brouwer-Zadeh lattices

We give a criterion to compare the physical content of different mathematical structures derived from a preparation-question structure. Then this criterion is used in order to compare the physical content of the (Jauch-Piron's) property lattice with the physical content of the poset of testable properties. We prove that for complete preparation-question structures these two structures carry the same physical content; moreover the set of testable properties has the algebraic structure of the Brouwer-Zadeh lattice. For more general preparation-question structures the physical content of the poset of testable property can be larger than that of the property lattice. Physically relevant examples of the possible cases are given.