Controllability of Functional Integro-Differential Inclusions with an Unbounded Delay

In this paper, a sufficient condition is established for the controllability of neutral functional integro-differential inclusions with an unbounded delay in Banach spaces. The approach used is a fixed-point theorem for condensing maps due to Martelli and the theory of analytic semigroup of linear operators. Communicated by F. Zirilli Research supported by NNSF of China, by the Teaching and Research Award Program for Outstanding Young Teachers in Higher Education Institutions of the Ministry of Education of China, and by the Qing Lan Talent Engineering Fund QL-05-164 of Lanzhou Jiaotong University. The authors are grateful to Professor F. Zirilli and two anonymous referees for valuable suggestions improving this paper.     

Distributions of Chern Numbers of Complete Intersection Three Folds

((Without abstract)) Submitted: October 1996, final version: April 1997     

产量──密度模型讨论

本文给出产量与密度函数关系     

Quantitative dependence of MR signal intensity on tissue concentration of Gd(HP-DO3A) in the nephrectomized rat.

Cardiac-gated SE 20/224 +/- 20 MR images were obtained from nephrectomized rats before and after intravenously administering 153Gd-Gd(HP-DO3A). The concentration of Gd, [Gd], was linear in dose in myocardium, skeletal muscle, and blood. Under steady-state conditions, where d[Gd]/dt = 0, image intensities (IIN) in regions of interest were compared with the measured [Gd]. IIN was linear in myocardium at less than or equal to 0.61 mumol/g-myocardium (less than or equal to 0.5 mmol/kg dose) and in skeletal muscle at less than or equal to 0.63 mumol/g-muscle (less than or equal to 0.75 mmol/kg). Above 0.6 mumol Gd/g-tissue, IIN did not increase further. The in vivo data were consistent with measured ex vivo and in vivo relaxivities. A 29% greater slope for IIN versus [Gd] in myocardium [14,439 +/- 4350 IIN (mumol/g)] than in muscle [10,258 +/- 5,296 IIN/(mumol/g)] was attributed to a significant difference in blood content: 25% versus 2% weight blood in myocardium and skeletal muscle, respectively. Two components were apparent from plots of ex vivo 1/T1 versus [Gd] in myocardium and muscle, and only one for blood.     

热辐射驱动烧蚀平面金靶的数值定标定律

利用一维辐射流体力学编码数值研究了辐射烧蚀波在平面金靶中的传播情况,并在常温边界条件下得到了辐射流、烧蚀压、质量烧蚀率和特征等离子体密度的定标定律。     

非奇异单圈图的刻划

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

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.