Dual Characterizations of Set Containments with Strict Convex Inequalities

Characterizations of the containment of a convex set either in an arbitrary convex set or in the complement of a finite union of convex sets (i.e., the set, described by reverse-convex inequalities) are given. These characterizations provide ways of verifying the containments either by comparing their corresponding dual cones or by checking the consistency of suitable associated systems. The convex sets considered in this paper are the solution sets of an arbitrary number of convex inequalities, which can be either weak or strict inequalities. Particular cases of dual characterizations of set containments have played key roles in solving large scale knowledge-based data classification problems where they are used to describe the containments as inequality constraints in optimization problems. The idea of evenly convex set (intersection of open half spaces), which was introduced by W. Fenchel in 1952, is used to derive the dual conditions, characterizing the set containments.     

Periodic solutions of second-order differential inclusions systems with p-Laplacian

Some existence results are obtained for periodic solutions of nonautonomous second-order differential inclusions systems with p-Laplacian.     

Electronic properties of model quantum-dot structures in zero and finite magnetic fields

We have computed electronic structures and total energies of circularly confined two-dimensional quantum dots and their lateral dimers in zero and finite uniform external magnetic fields using different theoretical schemes: the spin-density-functional theory (SDFT), the current-and-spin-density-functional theory (CSDFT), and the variational quantum Monte Carlo (VMC) method. The SDFT and CSDFT calculations employ a recently-developed, symmetry-unrestricted real-space algorithm allowing solutions which break the spin symmetry. Results obtained for a six-electron dot in the weak confinement limit and in zero magnetic field as well as in a moderate confinement and in finite magnetic fields enable us to draw conclusions about the reliability of the more approximative SDFT and CSDFT schemes in comparison with the VMC method. The same is true for results obtained for the two-electron quantum dot dimer as a function of inter-dot distance. The structure and role of the symmetry-breaking solutions appearing in the SDFT and CSDFT calculations for the above systems are discussed. Received 16 October 2001 and Received in final form 17 January 2002     

Characteristics of transmission of electrons in a quantum wire tangentially attached to a superconductor ring threaded by magnetic flux

We present numerical investigations of the transmission properties of electrons in a normal quantum wire tangentially attached to a superconductor ring threaded by magnetic flux. A point scatterer with a δ -function potential is placed at node to model scattering effect. We find that the transmission characteristics of electrons in this structure strongly depend on the normal or superconducting state of the ring. The transmission probability as a function of the energy of incident electrons, in the case of a superconductor ring threaded by one quantum magnetic flux, emerges one deep dip, imposed upon the first broad bump in spectrum. This intrinsic conductance dip originates from the superconductor state of the ring. When increasing the magnetic flux from one quantum magnetic flux to two, the spectrum shifts toward higher energy region in the whole. This conductance dip accordingly shifts and appears in the second bump. In the presence of a point-scatterer at the node, the spectrum is substantially modified. Based on the condition of the formation of the standing wave functions in the ring and the broken of the time-reserve symmetry of Schr?dinger equation after switching magnetic flux, the characteristics of transmission of electrons in this structure can be well understood. Received 6 November 2001     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

Propagation of mesons in asymmetric nuclear matter in a density-dependent coupling model

We study the propagation of the light mesons σ,ω,ρ, and a₀(980) in dense hadronic matter in an extended derivative scalar coupling model. Within the scheme proposed it is possible to unambiguously define effective density-dependent couplings at the Lagrangian level. We first apply the model to study asymmetric nuclear matter with fixed isospin asymmetry, and then we pay particular attention to hypermatter in β-equilibrium. The equation of state and the potential contribution to the symmetry coefficient arising from the mean-field approximation are investigated. Received: 16 October 2001 / Accepted: 10 January 2002     

Controlling global stochasticity of Hamiltonian systems by nonlinear perturbation

A method of controlling global stochasticity in Hamiltonian systems by applying nonlinear perturbation is proposed. With the well-known standard map we demonstrate that this control method can convert global stochasticity into regular motion in a wide chaotic region for arbitrary initial condition, in which the control signal remains very weak after a few kicks. The system in which chaos has been controlled approximates to the original Hamiltonian system, and this approach appears robust against small external noise. The mechanism underlying this high control efficiency is intuitively explained. Received 15 January 2002 Published online 6 June 2002     

Tunneling and EPR linewidths due to dislocations in Mn acetate

We compute the width and shape of the EPR and tunneling resonances due to dislocations in Mn₁₂ acetate crystals. Uncorrelated dislocations produce the Gaussian shape of resonances while dislocations bound in pairs produce the Lorentzian shape. We stress that the uniaxial spin Hamiltonian together with crystal defects can explain the totality of experimental data on Mn₁₂. Received 2 August 2001 / Received in final form 15 March 2002 Published online 17 September 2002     

Constructions of External Difference Families and Disjoint Difference Families

External difference families (EDFs) are a type of new combinatorial designs originated from cryptography. In this paper, some earlier ideas of recursive and cyclotomic constructions of combinatorial designs are extended, and a number of classes of EDFs and disjoint difference families are presented. A link between a subclass of EDFs and a special type of (almost) difference sets is set up.