Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

Numerical flow visualization of first cycle and cyclic motion of a rigid fling-clapping wing

A flow visualization of the two-dimensional rigid fling-clap motions of the flat-plate wing is performed to get the knowledge of fling-clapping mechanism that might be employed by insects during flight. In this numerical visualization, the time-dependent Navier-Stokes equations are solved for two types of wing motion; ‘fling followed by clap and pause motion’ and ‘cyclic fling-clapping motion’. The result is observed regarding the main flow features such as the sequential development of the two families of separation vortex pairs and their movement. For the ‘fling followed by clap and pause motion’, a strong separation vortex pair of counterrotation develops in the opening between the wings in the fling phase and they then move out from the opening in the following clap phase. For ‘the cyclic fling-clapping motion’, the separation vortex pair developed in the outside space in the clap phase move into the opening in the following fling phase. The separation vortex pair in the opening developed in the fling phase of the cyclic motion is observed to be stronger than those of the ‘fling followed by clap and pause motion’. Regarding the strong fling separation vortex and the weak clap separation vortex above it in the opening, the flow pattern of the fling phase of the cyclic fling and clap motion is different to that of the fling phase of the first cycle. The flow pattern of the third cycle of the cyclic fling-clapping motion is observed to be almost same as that of the second cycle. Therefore, a periodicity of the flow pattern is established after the second cycle.     

Allocating unfunded liability in pension valuation under uncertainty

This paper studied the cost allocation for the unfunded liability in a defined benefit pension scheme incorporating the stochastic phenomenon of its returns. In the recent literature represented by Cairns and Parker [Insurance: Mathematics and Economics 21 (1997) 43], Haberman [Insurance: Mathematics and Economics 11 (1992) 179; Insurance: Mathematics and Economics 13 (1993) 45; Insurance: Mathematics and Economics 14 (1994) 219; Insurance: Mathematics and Economics 14 (1997) 127], Owadally and Haberman [North American Actuarial Journal 3 (1999) 105], the fund level is modeled based on the plan dynamics and the returns are generated through several stochastic processes to reflect the current realistic economic perspective to see how the contribution changed as the cost allocation period increased. In this study, we generalize the previous constant value assumption in cost amortization by modeling the returns and valuation rates simultaneously. Taylor series expansion is employed to approximate the unconditional and conditional moments of the plan contribution and fund level. Hence the stability of the plan contribution and the fund size under different allocation periods could be estimated, which provide valuable information adding to the previous works.     

Anchoring Properties of Nematic Liquid Crystals Studied Using the Attenuated Total Reflection Method

By using the attenuated total reflection method associated with the excitation of surface plasmons, the tilt angle of the liquid crystal director and its gradient at the surface are measured in a planar nematic cell as a function of the applied voltage. The surface anchoring anisotropy δπ of the liquid crystal and the surface elastic constant k_s, are found to be δπ = 0.288 erg/cm and k_s, = 9·12 × 10^-11 erg, respectively, when the boundary condition suggested by Barbero et al is used. The theoretical and experimental values obtained with this boundary condition and that of Mada are discussed. The results show that the boundary condition proposed by Barbero et al is in better agreement with the experiment.     

Optical spectroscopy of Yb/Er codoped NaY(WO4)2 crystal

Erbium and ytterbium codoped double tungstates NaY(WO₄)₂ crystals were prepared by using Czochralski (CZ) pulling method. The absorption spectra in the region 290-2000 nm have been recorded at room temperature. The Judd-Ofelt theory was applied to the measured values of absorption line strengths to evaluate the spontaneous emission probabilities and stimulated emission cross sections of Er³⁺ ions in NaY(WO₄)₂ crystals. Intensive green and red lights were measured when the sample were pumped by a 974 nm laser diode (LD), especially, the intensities of green upconversion luminescence are very strong. The mechanism of energy transfer from Yb³⁺ to Er³⁺ ions was analyzed. Energy transfer and nonradiative relaxation played an important role in the upconversion process. Photoexcited luminescence experiments are also fulfilled to help analyzing the transit processes of the energy levels.     

Multipartite Entanglement Preparation and Quantum Communication with Atomic Ensembles

We propose an experimentally feasible scheme to generate Greenberger-Horne-Zeilinger type of maximal entanglement among three atomic ensembles, and show one of the applications, controlled secure direct communication. The scheme involves laser manipulation of atomic ensembles, quarter- and half-wave plates, beam splitters, polarizing beam splitters and single-photon detectors, which are within the reach of current experimental technology.     

Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix

In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space W_p^k(ℝ^s) (1≤p≤∞) to a vector refinement equation with a general dilation matrix. The criterion is constructive and can be implemented. Rate of convergence of vector cascade algorithms in a Sobolev space W_p^k(ℝ^s) will be investigated. When the dilation matrix is isotropic, a characterization will be given for the L_p (1≤p≤∞) critical smoothness exponent of a refinable function vector without the assumption of stability on the refinable function vector. As a consequence, we show that if a compactly supported function vector φ∈L_p(ℝ^s) (φ∈C(ℝ^s) when p=∞) satisfies a refinement equation with a finitely supported matrix mask, then all the components of φ must belong to a Lipschitz space Lip(ν,L_p(ℝ^s)) for some ν>0. This paper generalizes the results in R.Q. Jia, K.S. Lau and D.X. Zhou (J. Fourier Anal. Appl. 7 (2001) 143–167) in the univariate setting to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C20, 41A25, 39B12. Research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC Canada) under Grant G121210654.     

A completion of the spectrum for large sets of disjoint transitive triple systems

In this paper, we give a recursive construction from an LTTS(v + 2) to an LTTS(16v + 2) for v 3. Furthermore, the existence of LTTS(2ⁿ + 2) is proved. Thereby, we completely solve the existence problem of LTTS)(v) (large set of pairwise disjoint transitive triple systems of order v).