非奇异单圈图的刻划

边数等于顶点个数的连通图称为单圈图.本文修正了文献[1]中关于奇异单圈图的充要条件,并且利用该条件证明了文献[2]中一个关于非奇异单圈图的猜想.     

Nonlinear second-order equations with functional implicit impulses and nonlinear functional boundary conditions

In this paper we deal with nonlinear second-order boundary value problems with impulses. The impulsive functions depend implicitly on the different considered variables and the boundary value conditions are nonlinear. In both cases functional dependence on the solution is allowed. The existence results follow from the existence of a pair of well-ordered lower and upper solutions.     

Shadowing with multidimensional time in Banach spaces

We study linear dynamical systems with multidimensional time in Banach spaces. Using Taylor functional calculus we prove that under additional assumptions hyperbolic systems have shadowing property.     

A Fubini theorem

Let I₀ be the σ-ideal of subsets of a Polish group generated by Borel sets which have perfectly many pairwise disjoint translates. We prove that a Fubini-type theorem holds between I₀ and the σ-ideals of Haar measure zero sets and of meager sets. We use this result to give a simple proof of a generalization of a theorem of Balcerzak-Ros?anowski-Shelah stating that I₀ on N² strongly violates the countable chain condition.     

Silicon etching in Cl2 environment

The ion-beam-assisted etching of silicon in Cl₂ environment is considered. The theoretically calculated dependences of silicon etching rate on the flux of Cl₂ molecules at different ion current densities are compared with experimentally measured. The composition of the adsorbed layer is determined. It is found that SiCl₂ molecules prevail in the adsorbed layer. The reciprocal of relative concentration of SiCl₂ molecules in the adsorbed layer linearly depends on the ion-to-neutral flux ratio.     

Synthesis and magnetic properties of multilayer Ni/Cu and NiFe/Cu nanowires

Highly ordered composite nanowires with multilayer Ni/Cu and NiFe/Cu have been fabricated by pulsed electrodeposition into nanoporous alumina membrane. The diameter of wires can be easily varied by pore size of alumina, ranging from 30 to 100 nm. The applied potential and the duration of each potential square pulse determine the thickness of the metal layers. The nanowires have been characterized by transmission electron microscopy (TEM), magnetic force microscopy (MFM), and vibrating sample magnetometer (VSM) measurements. The MFM images indicate that every ferromagnetic layer separated by Cu layer was present as single isolated domain-like magnet. This technique has potential use in the measurement and application of magnetic nanodevices.     

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.     

Magnetic,structural and electrical properties of ordered and disordered Co50Fe50 films

Co₅₀Fe₅₀ films with thickness varying from 100 to 500 Å were deposited on a glass substrate by sputtering process, respectively. Two kinds of CoFe films were studied: one was the as-deposited film, and the other the annealed film. The annealing procedure was to keep the films at 400 °C for 5 h in a vacuum of 5×10⁻⁶ mbar. From the X-ray study, we find that the as-deposited film prefers the CoFe(1 1 0) orientation. Moreover, the body-centered cubic (bcc) CoFe(1 1 0) line is split into two peaks: one corresponding to the ordered body-centered tetragonal (bct) phase, and the other, the disordered bcc phase. After annealing, the peak intensity of the ordered bct phase becomes much stronger, while that of the disordered bcc phase disappears. The annealing has also caused the ordered CoFe(2 0 0) line to appear. When the amount of the ordered bct phase in Co₅₀Fe₅₀ is increased, the saturation magnetization (M_s) and coercivity (H_c) become larger, but the electrical resistivity (ρ) decreases. From the temperature coefficient of resistance (TCR) measurement, we learn that the bct grains in the CoFe film start to grow at temperature 82 °C.