20-relative neighborhood graphs are hamiltonian

For any two points p and q in the Euclidean plane, define LUN_pq = { v | v ∈ R², d_pv < d_pq and d_qv < d_pq}, where d_uv is the Euclidean distance between two points u and v . Given a set of points V in the plane, let LUN_pq(V) = V ∩ LUN_pq. Toussaint defined the relative neighborhood graph of V, denoted by RNG(V) or simply RNG, to be the undirected graph with vertices V such that for each pair p,q ∈ V, (p,q) is an edge of RNG(V) if and only if LUN_pq (V) = ?. The relative neighborhood graph has several applications in pattern recognition that have been studied by Toussaint. We shall generalize the idea of RNG to define the k-relative neighborhood graph of V, denoted by kRNG(V) or simply kRNG, to be the undirected graph with vertices V such that for each pair p,q ∈ V, (p,q) is an edge of kRNG(V) if and only if | LUN_pq(V) | < k, for some fixed positive number k. It can be shown that the number of edges of a kRNG is less than O(kn). Also, a kRNG can be constructed in O(kn₂) time. Let E_c = {e_pq| p ∈ V and q ∈ V}. Then G_c = (V,E_c) is a complete graph. For any subset F of E_c, define the maximum distance of F as max_epq∈Fd_pq. A Euclidean bottleneck Hamiltonian cycle is a Hamiltonian cycle in graph G_c whose maximum distance is the minimum among all Hamiltonian cycles in graph G_c. We shall prove that there exists a Euclidean bottleneck Hamiltonian cycle which is a subgraph of 20RNG(V). Hence, 20RNGs are Hamiltonian.     

绝缘表面和气体导电与湿度的关系

湿度对绝缘体表面电导和气体电导有一定的影响，但通常在湿度传感器的研究中忽略了气体电导的贡献。本文通过特殊设计装置来区分表面电导和气体电导，并分别从实验和理论上进行了定性的研究。     

The spectrum of BSA(v, 3, λ; α) with α = 2,3

In this article, a kind of auxiliary design BSA^* for constructing BSAs is introduced and studied. Two powerful recursive constructions on BSAs from 3‐IGDDs and BSA^*s are exploited. Finally, the necessary and sufficient conditions for the existence of a BSA(v, 3, λ; α) with α = 2, 3 are established. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 61–76, 2007     

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     

产量──密度模型讨论

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

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

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

非奇异单圈图的刻划

边数等于顶点个数的连通图称为单圈图.本文修正了文献[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.